zygo_histo_morpheus

Yeah the way I got out was a bit cryptic, although I think there are multiple ways. I'm shameless enough to use a walkthrough when I've been stuck for a while, otherwise I'd be having an even harder time.

It can be hard to bootstrap yourself up from zero followers. I'd recommend posting something just so that people have an idea of the kind of thing they can expect if they follow you from checking out your profile. But you probably won't get much engagement from your own posts at first, so it will probably be more fun to just reply to other accounts.

Bluesky has a feature where you can set up customized feeds to filter for any kind of content you want. The person who saw your post might have seen it in the "newskies" feed which just contains every first post that any account makes for example. So one way to get engagement can be to write posts that show up in a certain feed that people follow, like there exist some feeds that are based around certain topics that usually trigger based on your post containing certain keywords. Most people just use the following feed though, I think.

Planescape: Torment

I haven't played a lot infinity engine games and I've struggled with understanding what the game expects of me in terms of gameplay. Hopefully I'll internalize that eventually but I've been enjoying the writing and vibes so far even if the gameplay feel a bit frustrating and a bit like a chore at the moment.

Bluesky is funny because they genuinely have some great user based moderation tools but on the official moderation side they're really bad in all honesty. The sum of these two parts are a better experience than most websited on the internet at the end of the day

Twitter has historically been used as a platform by a lot of different fandoms and the network effect is strong enough that they haven't managed to leave en masse until now

As long as you have your windows license key you can change your mind later so really you can do whatever. I'd recommend giving 100% linux a try if that seems fun. Obviously you're gonna want to back up any interesting files that you have on windows either way.

Ah ok just read the article and not the proposal. I'm surprised that they went that far but as I wrote I think that lifetime annotations are a good idea, hope the C++ people find a way to add them to the language that actually works well, which sounds like an incredibly difficult task.

I'm a bit skeptical that a borrow checker in C++ can be as powerful as in rust, since C++ doesn't have lifetime annotations. Without lifetime annotations, you have to do a whole program analysis to get the equivalent checks which isn't even possible if you're e.g. loading dynamic libraries, and prohibitively slow otherwise. Without that you can only really do local analysis which is of course good but not that powerful.

Lifetime annotations in the type system is the right call, since it allows library authors to impose invariants related to ownership on their consumers. I doubt C++ will add it to their typesystem though.

Vim sort of already has this feature via set foldmethod=syntax. This doesn't work exactly like the author suggests but you can also use set foldmethod=expr and then set foldexpr to a more complicated expression to only get nested function/method bodies, via tree sitter for example if you're on neovim.

My favorite example of haskell arcane wizardry is löb. It's mentioned in this list but not really done justice imo.

To add on this, this doesn't necessarily mean that there are fewer programing jobs in total. If people work 10% more efficently, that means that the cost of labor is only 91% of what it was before meaning that people might be able to afford to finance more programing projects. One thing that does matter is for example things like entry level jobs disappearing or the nature of the work changing. Doing less boring gruntwork can make the job more fun, but otoh digitization sometimes results in the worker having less agency in what they do since they have to fit everything into a possibly inflexible digital system.

No, the podcast can absolutely missrepresent the thing that it's sumarizing. The podcast also adds commentary, and I think it's especially this commentary that I find unreliable.