Comment by rsaarelm on Hello, is it you I'm looking for? · 2020-02-05T17:34:11.824Z · score: 5 (3 votes) · LW · GW

The problem is that we think statements have a somewhat straightforward relation to reality because we can generally make sense of them quite easily. In reality it turns out that that ease comes from a lot of hidden work our brain does being smart on the spot every time it needs to fit a given sentence to the given state of reality, and nobody really appreciated this until people started trying to build AIs that do anything similar and repeatedly ended up with things with no ability to distinguish between things that are realistically plausible and incoherent nonsense.

I'm not really sure how to communicate this effectively beyond gesturing at the sorry history of the artificial intelligence research program from the 1950s onwards despite thousands of extremely clever people putting their minds to it. The sequences ESrogs suggests in the sibling reply also deal with stuff like this.

Comment by rsaarelm on Hello, is it you I'm looking for? · 2020-01-30T06:30:02.492Z · score: 6 (4 votes) · LW · GW

Your first problem is that you need a theory for just how do statements relate to the state of the world. Have you read Wittgenstein's Philosophical Investigations?

Overall, this basically sounds like analytical philosophy plus 1970s style AI. Lots of people have probably figured this would be a nice thing to have, but once you drop out of the everyday understanding of language and try to get to the bottom of what's really going on, you end up in the same morass where AI research and modern philosophy are stuck in.

Comment by rsaarelm on What plausible beliefs do you think could likely get someone diagnosed with a mental illness by a psychiatrist? · 2020-01-16T17:16:46.419Z · score: 5 (3 votes) · LW · GW

"The Soviet Union is politically dysfunctional"

Comment by rsaarelm on Another argument against cryonics · 2019-12-31T09:31:16.757Z · score: 1 (1 votes) · LW · GW

Let's say you're afflicted by a severe illness and have, say, 5 % odds of surviving. If you end up dying of it, all of your organs will be damaged beyond repair. However, as of now they're still fine and safe for organ donation. How do you feel about cutting to the chase and committing suicide right here and now so you can produce a fresh dead body with superior utilitarian value?

Comment by rsaarelm on How time tracking can help you prioritize · 2019-12-18T16:25:35.729Z · score: 5 (4 votes) · LW · GW

Stochastic time tracking is an interesting approach where you don't need to start and stop timers on your own. The system pings you at random intervals and you answer what you're currently doing. Then you count each sample point as the average sampling interval spent doing the task that was sampled.

Comment by rsaarelm on Do you get value out of contentless comments? · 2019-11-22T10:16:32.528Z · score: 5 (3 votes) · LW · GW

I like comments that don't look like they could have been generated by a chatbot. I feel like whenever I'm being fine with the "Good post!" comments, I'm setting up an environment where after a while a portion of the comments will actually be chatbot spam.

Comment by rsaarelm on Creationism and Many-Worlds · 2019-11-15T06:24:26.268Z · score: 6 (4 votes) · LW · GW

No mention of the anthropic principle? Lots of existing thinking in these lines under that term.

Comment by rsaarelm on Literature on memetics? · 2019-11-09T07:21:30.458Z · score: 3 (2 votes) · LW · GW

I remember a sort of consensus from the 00s that memetics had failed as a research program and the big-name people like Dawkins and Blackmore moving on to other stuff. Here's one summary I found. People still find the metaphor compelling, so it might just be that right now nobody has a good idea how to study the thing rigorously.

Comment by rsaarelm on bgaesop's Shortform · 2019-10-29T17:42:20.407Z · score: 1 (1 votes) · LW · GW

The description sounded like both parties were assuming chakras involved some actual mystical energy and were doing the invisible garage dragon dance. The parapsychology angle to this one is simple that even without knowing about a specific rebuttal, chakras are a well-known mystical concept, parapsychology research has been poking at most of the obvious mystical claims, and if parapsychology had verified that some supernatural phenomenon is actually real, we'd have heard of it.

If they were talking about the non-mystical model, the first person could've just said that it's a possibly helpful visualization shorthand for doing relaxation and biofeedback exercises and there's no actual supernatural energies involved.

Comment by rsaarelm on bgaesop's Shortform · 2019-10-29T07:54:37.964Z · score: 3 (2 votes) · LW · GW

Hmm, no, let’s not do that. It makes me un­com­fortable. I can’t tell why, but I don’t want to do it, so let’s not

After 100 years of parapsychology research, it's pretty obvious to anyone with a halfway functioning outside view that any quick experiment will either be flawed or say chakras are not real, so I'm not sure whether to take this as face value of the person thinking chakras are real-real and genuinely not being able to say why they don't want to do the experiment, or just saying a polite-speak version of "we both know doing the experiment will show chakras aren't real and will make me lose face, you're making a status grab against me for putting me on the spot by demanding the experiment so fuck you and fuck your experiment."

Comment by rsaarelm on Vaniver's Shortform · 2019-10-29T06:10:02.068Z · score: 20 (3 votes) · LW · GW

John McCarthy's The Doctor's Dilemma

Comment by rsaarelm on bgaesop's Shortform · 2019-10-28T13:30:56.509Z · score: 5 (3 votes) · LW · GW

If you take the paper at face value, wouldn't you expect a lot of the chronically depressed rats to be jumping at the chance to trade off the ability to remember appointments with no longer subjectively suffering from depression?

Comment by rsaarelm on Sets and Functions · 2019-10-11T05:58:43.798Z · score: 5 (4 votes) · LW · GW

The analogy to geographic maps might confuse someone who knows geographic maps but not mathematical maps since "a map is a thing connecting cities in one country with cities in another country" has nothing to do with how you use a geographic map.

Comment by rsaarelm on Sets and Functions · 2019-10-11T05:31:41.644Z · score: 4 (3 votes) · LW · GW

Throws me off a bit early on, you go directly from dog being an actual dog to dog being an arbitrary variable name. At this point I think of dog as "some x such that x is a dog", so {dog} and {cat} are different because one has an x that is a dog and another has a y that is a cat which is not a dog.

Comment by rsaarelm on The sentence structure of mathematics · 2019-10-08T06:12:32.887Z · score: 17 (6 votes) · LW · GW

Do you know the monads are like burritos problem? Do you have a plan for how this sequence isn't going to end up being "mathematics is like burritos"?

Comment by rsaarelm on Introduction to Introduction to Category Theory · 2019-10-07T10:04:53.274Z · score: 12 (7 votes) · LW · GW

I'm still buying the CT hype, so very interested to see more of this. However, I've been buying the hype for some 10+ years now and trying to learn CT on and off, and still can't point to a single instance of being able to use it either to approach a problem or understand something better, so I'm pretty skeptical about this being teachable to a mathematically naive audience in a way that they can internalize much anything about it that's both correct and usable in some practice that isn't advanced math study.

Comment by rsaarelm on Why I Am Not a Technocrat · 2019-08-21T05:04:22.673Z · score: 1 (1 votes) · LW · GW

Couldn't come up with a way to view the article. Downvoted without reading.

Comment by rsaarelm on What woo to read? · 2019-07-30T09:03:08.286Z · score: 1 (1 votes) · LW · GW

Aro med­i­ta­tion course

Seconding this one. For people who don't want to wait for the weekly drip of e-mails, the contents can also be found here.

Comment by rsaarelm on What are good resources for learning functional programming? · 2019-07-05T09:06:17.032Z · score: 2 (2 votes) · LW · GW

Very non-comprehensive, but from things I've read and liked:

How: What I Wish I Knew When Learning Haskell

What: Chris Okasaki, Purely Functional Data Structures


Comment by rsaarelm on Ethics as Warfare: Metaphysics and Morality of the Era of Transhumanism · 2019-05-22T08:49:34.981Z · score: 10 (4 votes) · LW · GW

There's a bit of a subtext here of trying to figure out whether you're coming from a different tradition or are an internet crazy person. This forum doesn't have much of a culture that can tell Christian intellectual tradition apart from schizophrenia, so terse comments that assume shared idiom won't go over very well.

FWIW, I'm finding the book quite interesting and non-crazy so far. Thanks for the link.

For constructive examples of the culture gap, I'm not sure I've seen the way the book uses 'spiritual' as describing various real-world processes (sex is not spiritual but fertilization is spiritual, using antidepressants is not spiritual but recovering from depression via long-term natural cognition is spiritual) before, and that looks like some role-playing game magic system worldbuilding to me. The only scholarly use for the word I'd expect would be calling worship and prayer spiritual activities. I guess the book's way of use comes from something like Aristotle's teleology?

Comment by rsaarelm on Subagents, akrasia, and coherence in humans · 2019-03-27T12:07:06.144Z · score: 6 (3 votes) · LW · GW

So, just to check, we are still talking about the Kegan stage 4 that according to Kegan, 35 % of the adult population has attained? Are you saying that getting to stage 4 actually is actually the same as attaining stream entry, or just that the work to get to stream entry involves similar insights?

Comment by rsaarelm on The tech left behind · 2019-03-16T06:30:54.403Z · score: 1 (1 votes) · LW · GW

It really needs a personal computer to schedule the repetitions, and we're only now getting to the point where every schoolchild having their own handheld computer is a somewhat practical proposition.

Comment by rsaarelm on What math do i need for data analysis? · 2019-01-23T08:07:33.216Z · score: 2 (2 votes) · LW · GW

You want basic undergraduate probability and linear algebra and some calculus on the side, but you should get along with those. Also some practice with reading academic texts so that you can try to extract some useful meaning from it without understanding every part helps. Also you need some general familiarity with how academic math papers are written, the concepts in 2.1 aren't complex (high-dimensional space make random points stick together in clumps less), but the way the book writes it is going to be unfamiliar if you haven't been exposed to academic math writing much before.

Not sure what's a good place to get that other than "go to university, minor in math". Khan Academy?

Comment by rsaarelm on What math do i need for data analysis? · 2019-01-20T15:58:17.655Z · score: 3 (2 votes) · LW · GW

Check out John Hopcroft's Foundations of Data Science

Comment by rsaarelm on State Machines and the Strange Case of Mutating API · 2018-12-25T10:51:59.812Z · score: 1 (1 votes) · LW · GW

You can do the linear typing thing in Rust. Have a hidden internal handle and API wrapper objects on top of it that get consumed on method calls and can return different wrappers holding the same handle. I took a shot at doing a toy implementation for the TCP case:

type internal_tcp_handle = usize;  // Hidden internal implementation

/// Initial closed state
pub struct Tcp(internal_tcp_handle);

impl Tcp {
    pub fn connect_unauthenticated(self) -> Result<AuthTcp, Tcp> {
        // Consume current API wrapper,
        // return next state API wrapper with same handle.

    pub fn connect_password(self, _user: &str, pass: &str) -> Result<AuthTcp, Tcp> {
        // Can fail back to current state if password is empty.
        if pass.is_empty() { Err(self) } else { Ok(AuthTcp(self.0)) }

/// Authenticated state.
pub struct AuthTcp(internal_tcp_handle);

impl AuthTcp {
    pub fn connect_tcp(self, addr: &str) -> Result<TcpConnection, AuthTcp> {
        if addr.is_empty() { Err(self) } else { Ok(TcpConnection(self.0)) }

    pub fn connect_udp(self, addr: &str) -> Result<UdpConnection, AuthTcp> {
        if addr.is_empty() { Err(self) } else { Ok(UdpConnection(self.0)) }

pub struct TcpConnection(internal_tcp_handle);

pub struct UdpConnection(internal_tcp_handle);

fn main() {
    // Create unauthenticated TCP object.
    let tcp = Tcp(123);
    println!("Connection state: {:?}", tcp);

    // This would be a compiler error:
    // let tcp = tcp.connect_tcp("").unwrap();
    // 'tcp' is bound to an API that doesn't support connect operations yet.

    // Rebind the stupid way, unwrap just runtime errors unless return is Ok.
    let tcp = tcp.connect_unauthenticated().unwrap();
    // Now 'tcp' is bound to the authenticated API, we can open connections.
    println!("Connection state: {:?}", tcp);

    // The runtime errory way is ugly, let's handle failure properly...
    if let Ok(tcp) = tcp.connect_tcp("") {
        println!("Connection state: {:?}", tcp);
    } else {
        println!("Failed to connect to address!");
    // TODO Now that we can use connected TCP methods on 'tcp',
    // implement those and write some actual network code...
Comment by rsaarelm on Outline of Metarationality, or much less than you wanted to know about postrationality · 2018-10-18T08:11:10.985Z · score: 9 (2 votes) · LW · GW

That's the way where you try to make another adult human recognize the thing based on their own experiences, which is how we've gone about this since the Axial Age. Since 1970s, the second approach of how would you program an artificial intelligence to do this has been on the table. If we could manage this, it would in theory be a lot more robust statement of the case, but would also probably be much, much harder for humans to actually follow by going through the source code. I'm guessing this is what Chapman is thinking when he specifies "can be printed in a book of less than 10kg and followed consciously" for a system intended for human consumption.

Of course there's also a landscape between the everyday language based simple but potentially confusion engendering descriptions and the full formal specification of a human-equivalent AGI. We do know that either humans work by magic or a formal specification of a human-equivalent AGI exists even when we can't write down the book of probably more than 10 kg containing it yet. So either Chapman's stuff hits somewhere in the landscape between the present-day reasoning writing that piggybacks on existing human cognition capabilities and the Illustrated Complete AGI Specification or it does not, but it seems like the landscape should be there anyway and getting some maps of it could be very useful.

Comment by rsaarelm on Outline of Metarationality, or much less than you wanted to know about postrationality · 2018-10-18T07:11:11.769Z · score: 7 (2 votes) · LW · GW

That's a lot of reiteration of the problem with Chapman's writing which was a reason I pointed to the reading list to begin with. Not trying to pull a "you must read all this before judging Chapman" Gish gallop, but trying to figure out if there's some common strain of what Nietzsche, Heidegger, Wittgenstein, Dreyfus, Hofstadter and Kegan are going on about that looks like what Chapman is trying to go for. Maybe the idea is just really hard, harder than the Sequences stuff, but at least you got several people doing different approaches to it so you have a lot more to work with.

And it might be there isn't and this is all just Chapman flailing about. When someone builds a working AGI with just good and basic common-sense rationality ideas, I'll concede that he probably was. In the meantime, it seems kind of missing the point to criticize an example whose point is that it's obvious to humans as being obvious to humans. I took the whole point of the example that we're still mostly at the level of "dormitive principle" explanations for how humans figure this stuff out, and now we have the AI programming problem that gives us some roadmap for what an actual understanding of this stuff would look like, and suddenly figuring out the eggplant-water thing from first principles isn't that easy anymore. (Of course now we also have the Google trick of having a statistical corpus of a million cases of humans asking for water from the fridge where we can observe them not being handed eggplants, but taking that as the final answer doesn't seem quite satisfactory either.)

The other thing is the Kegan levels and the transition from a rule-following human who's already doing pretty AI complete tasks, but very much thinking inside the box to the system-shifting human. A normal human is just going to say "there are alarm bells ringing, smoke coming down the hallway and lots of people running towards the emergency exits, maybe we should switch from the weekly business review meeting frame to the evacuating the building frame about now", while the business review meeting robot will continue presenting sales charts until it burns to a crisp. The AI engineer is going to ask, "how do you figure out which inputs should cause a frame shift like that and how do you figure out which frame to shift to?" The AI scientists is going to ask, "what's the overall formal meta-framework of designing an intelligent system that can learn to dynamically recognize when its current behavioral frame has been invalidated and to determine the most useful new behavioral frame in this situation?" We don't seem to really have AI architectures like this yet, so maybe we need something more heavy-duty than SEP pages to figure them out.

So that's a part of what I understand Chapman is trying to do. Hofstadter-like stuff, except actually trying to tackle it somehow instead of just going "hey I guess this stuff is a thing and it actually looks kinda hard" like Hofstadter went in GEB. And then the background reading has the fun extra feature that before about the 1970s nobody was framing this stuff in terms of how you're supposed to build an AI, so they'll be coming at it from quite different viewpoints.

Comment by rsaarelm on Outline of Metarationality, or much less than you wanted to know about postrationality · 2018-10-15T23:54:26.971Z · score: 4 (3 votes) · LW · GW

I like to link to his recommended reading list instead of the main site for gesturing towards what Chapman seems to be circling around while never quite landing on. It's still not a clear explanation of the thing, but at least that's more than one person's viewpoint on the landscape.

Comment by rsaarelm on An Invitation to Measure Meditation · 2018-10-01T06:07:03.915Z · score: 10 (3 votes) · LW · GW

Maybe set up something on your phone that pings you a few times each day at random times to track your mood across the day. Whenever you get a ping, write down the time, and then for example what you were doing, your subjective mood, subjective energy level and how spaced out or focused you're feeling.

Comment by rsaarelm on Warrior rationalists · 2018-05-06T05:28:32.592Z · score: 2 (1 votes) · LW · GW

Reminded me of a blog post from a while back, Thoughts on the STEM "class"

It’s interesting to think about the (many) ways in which the modern “bay-area rationalist techno-libertarian” culture (i.e. Scott Alexander’s Grey Tribe, and to a lesser extent all of STEM academia) is effectively an outgrowth not of the bourgeoisie “entrepreneurial” class identified with the American upper-middle, but rather of the historical-and-present military officer class.

(More commentary from down the tumblr chain here)

Comment by rsaarelm on Some Simple Observations Five Years After Starting Mindfulness Meditation · 2018-04-21T06:17:15.462Z · score: 2 (1 votes) · LW · GW

You know, I’ve gotten everything I can get out of this, and it’s not very valuable any more.

Were you aware of the progress models like the eight jhanas or the sixteen stages of insight? Both of those promise some very interesting sounding effects beyond your basic increased concentration skill and reflective awareness in exchange for more serious effort put in.

Comment by rsaarelm on Categories of Sacredness · 2018-03-01T06:00:41.642Z · score: 6 (2 votes) · LW · GW

Link was region-blocked for me, I guess this is the same thing.