beat @beathagenlocher.com · 24/09/20261) It’s a thought experiment. They tend to be simple and unrealistic. If you don’t want to actually let that experiment happen in your thought, so may be it. 2) Talk to any person who studied psychology and they'll tell you you’re wrong. 3) Well, I hope so! I'd still be more worried than before. 110
beat @beathagenlocher.com · 24/09/2026Eehm, yes? But my level of worry would _also_ go up quite a bit 000
beat @beathagenlocher.com · 24/09/2026Sad, I would've hoped for a more productive response than that 🤷 (Like: Surely, in the scenario where the aliens arrive and knock at your door first, and you show them cats, this isn’t with certainty the only possible world path from then on. But if you’re not willing to engage in this, fine :)) 100
beat @beathagenlocher.com · 23/09/2026Would you be worried about superintelligent aliens arriving on earth? They dont have any resources or anything. They just have an IQ of 300, there's 20 of them, and they collaborate about as good as smart and nice humans. Would that worry you in any capacity? 220
beat @beathagenlocher.com · 16/09/2026Haven’t tried it, but a friend mentioned he's thinking of buying this. Sounds like it may solve that problem? www.augmental.tech/voxaugmental.techAugmental Vox: Speak without being heardAugmental Vox is a discreet, skin-worn wearable microphone that hears your voice through your body, not the room — for private dictation, even in noisy places. 000
beat @beathagenlocher.com · 15/09/2026umm, please do that?! Sounds like it would fit the Security Capacity Buildout specification of project Tailwind well enough, for example (coefficientgiving.org/tailwind/ini...)? I'd love to see this being built. Also happy to support with writing up the grant application or so :)coefficientgiving.orgInitiativesEach idea below is a high-priority initiative to reduce the potentially catastrophic risks from AI, endorsed by a grantmaker who has thought about the problem and wants to fund a solution. 110
beat @beathagenlocher.com · 15/09/2026I am telling people that so regularly in conversations and they always are super surprised. 020
beat @beathagenlocher.com · 29/08/2026I think an okay heuristic is that if you think you need a super well-tailored resume, the person hiring you doesn't know you well enough (yet). And that’s your biggest lever 100
beat @beathagenlocher.com · 29/08/2026Fair, then nothing to add. (maybe giving the job chapter of designing your life a read is sill gonna be helpful on a micro-level for approaching networking, but you might be already doing that) All the best for the search! :) 110
beat @beathagenlocher.com · 29/08/2026What’s your process? Reading job ads, then applying to them? 100
beat @beathagenlocher.com · 07/08/2026Not in German! And in English you can write it without spaces, both of which let you distinguish your writing against the very consistent ' — ' of LLMs (for now) 010
beat @beathagenlocher.com · 15/04/2026No worries, German has got you covered. Here goes: Busenfreundesliteraturempfehlungsleseniveausunterschätzungsbetretenheit 000
Reposted by beatMartin Kleppmann @martin.kleppmann.com · 14/04/2026It's very exciting that AI can now take substantial real-world software like zlib and prove it correct (github.com/kim-em/lean-...). @kirancodes.me found a bug by fuzzing, but it was outside of the boundary of what was verified (kirancodes.me/posts/log-wh...). That doesn't diminish the excitement!kirancodes.meLean proved this program was correct; then I found a bug.AI agents are getting very good at finding vulnerabilities in large-scale software systems. 5453
beat @beathagenlocher.com · 10/04/2026I've had some GNOME issues again, and did a very small writeup:GNOME Wayland Desktop Portal/Nautilus/Screen Sharing Issues #GNOME #Linux #Wayland #Desktop 110
beat @beathagenlocher.com · 07/04/2026But yeah, I only got it to work after basically writing the whole repo by hand, then asking it to distill the learnings into a skill, and then adjusting the skill some more. 000
beat @beathagenlocher.com · 07/04/2026It's relatively specific to the domain I used it for/played around with, but have a go if you like: gist.github.com/haglobah/1eb... Created out of playing around with how well I can replicate my working via a claude skill in github.com/haglobah/fun...gist.github.comalgebraic-dev.mdGitHub Gist: instantly share code, notes, and snippets. 100
beat @beathagenlocher.com · 06/04/2026Buuut is very happy to use them once you spell it out very explicitly in a skill :) 100
beat @beathagenlocher.com · 05/04/2026Yep, same :) (to the former—never met him (but imagine him being cool)) 000
beat @beathagenlocher.com · 05/04/2026Details that make interfaces feel better: Really good article, and well-crafted site :) #Design #CSS #TheWeb 120
beat @beathagenlocher.com · 26/03/2026(found while thinking about how to incorporate www.inkandswitch.com/cambria/ into an app)inkandswitch.comProject Cambria: Translate your data with lensesChanging schemas in distributed software is hard. Could adopting bidirectional lenses help? 000
beat @beathagenlocher.com · 26/03/2026I just spent 1 1/2 hours reading this absolutely amazing blog post by @iankduncan.com: www.iankduncan.com/engineering/... And if you're likely to get nerdsniped by me mentioning #distributedsystems, #functionalprogramming, you definitely should read it too.iankduncan.comWhat Functional Programmers Get Wrong About Systems - Ian DuncanType systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live. 110
beat @beathagenlocher.com · 26/03/2026Just discovered an actually-useful Nutrient Ranking Tool, and thought I'd share :) #Nutrition #LessWrong #AminoAcids 110
beat @beathagenlocher.com · 18/03/2026Caveat: Simple, not necessarily super easy: www.youtube.com/watch?v=SxdO...youtube.com"Simple Made Easy" - Rich Hickey (2011)YouTube video by Strange Loop Conference 110
beat @beathagenlocher.com · 18/03/2026PSA: If you're writing CSS, value simplicity, and don't know about Fluid (Type) Scales yet, you should check them out :) #CSS #Design #Simplicity 210
beat @beathagenlocher.com · 18/03/2026Today I researched Fluid Scales in Tailwind :) #Tailwind #CSS #TIL 100
Reposted by beatDavid Gasquez @davidgasquez.com · 18/03/2026Anyone knows if there is a chart with all the AT Protocol apps users over time? Would love to see popular and trending apps using AT Protocol! 261
beat @beathagenlocher.com · 18/03/2026Oh, right, it does! :) I switched to Colemak DH, this made things easier, I think. But also (1) my timeouts for combos are pretty low so it's _very_ hard to type them by accident (2) they're mostly on two keys over another, and I can't type these in a fast way either way. 010
beat @beathagenlocher.com · 18/03/2026- I have moved most of my symbols to combos which I trigger by hitting two keys with one finger - After trying hyprland/workspaces for a while, I found something like run-or-raise (and jus GNOME, actually) to be faster and simpler for window switching Maybe some of this resonates, too :) 100
beat @beathagenlocher.com · 18/03/2026A few quick notes (stuff I do and you don’t, and which you may enjoy :)) - I found the strain to be way lower when standing an having my kb attached to my legs (Ben Vallack does this actually when sitting in a video) 210
beat @beathagenlocher.com · 18/03/2026Resonates a lot! Thanks for writing this up; now I have somewhere to point to when they ask me about my setup until I write my version of this post :) 000