Beat Hagenlocher

Signalling: 'Please be harsh with me—I'll value it tremendously.'

A few days ago, I read Explaining British Naval Dominance During the Age of Sail and have been thinking about it quite regularly since.

Recently, I came upon The Quiet Rich, specifically the article on Work Boundaries.

A sheet on the logistics of working together (pretty barebones, but hopefully useful) | "How I'd like to work"

For quite some time I've been a bit jealous of the [[NeoVim]] people for having something like Typr or DuckyType available to them.

Saving by hand is just less simple

How I'm using VS Code

Just came upon this wonderful piece again: The high-return activity of raising others’ aspirations Already raised someone's aspirations today?

Oh my god, this looks great: https://www.youtube.com/watch?

Just got reminded (via the LessWrong Community Weekend) of this wonderful piece: The Goddess of Everything Else (Video Version)

Nice talk about Deutsche Bahn. - Talk: https://www.youtube.com/watch?

At the DSA, I made a promise: > When the first attendant of one of my programming workshops would be finished with reading the first book for [[Learning to Program]] I proposed, I would start to draft the guide to Software Engineering I would've liked to…

A mastery guide for the ugly side of programming

Lol.

TIL that holding Ctrl on https://chatgpt.com shows all available keyboard shortcuts.

We're currently thinking about which course to teach at a possible next SchülerAkademie next year.

A collection of links we mentioned at our TDF mechanical keyboards workshop/meetup

TIL about a nice new thing: cmdchallenge - Twelve Days of Shell (easy) - Command Challenge (mid) - Without /bin version (hard) There are pretty cool ways to learn how to .

In search for a small phone: Switching from a Pixel 4a to a iPhone 13 mini

Just got reminded of a real gem by Joel Spolsky: Things You Should Never Do, Part I (You shouldn't rewrite your software from scratch.)

And oh my god, he's got a list of his Personal systems, protocols, workflows, policies, methods, and checklists he calls Techne (nice word, by the way!).

Just got recommended Eli Tyre—and he's got a nice write-up of types of Capital (I already thought in those three types of Capital before, though—probably not the most novel idea on earth ^^) But then, I went on a [[roaming the web]] research spree encompa…

I mean, I knew him from him being mentioned in [[Moral Ambition]] for founding the Charity Entrepreneurship stuff, but: He's also got a website where he tries (or tried?)

A collection of things I mentioned to people at DSA Roßleben 2025

mechanical, split, 36 keys, standing desk

We were promised bicycles for the mind, but we got aircraft carriers instead.

I've just finished reading The Hydrogen Sonata, the now sixth (?

Oh, and the lean packaged in [[Doom Emacs]] appears to be the Lean 3 Mode.

Day 2 of the Zurihac 2025, and I'm trying out Lean.

Currently at ZuriHac setting up a PureScript development environment with [[Nix]]—and of course, it's not issue-free. shell nix shell nixpkgs#purescript nixpkgs#spago spago init spago build errors.

Aand Super-Productivity's sync broke again.

Aaand I've just had my first day at local-first conf!

I just came home from my first day of Local-first Conference—the less official [[Unconference]] part, and I had a pretty great day.

Over the last few weeks, I've grown more and more uncomfortable with the amount of different tasks I've been keeping in my head right now.

A tutorial

I've just reread some of Stepan Parunashvili's articles, and damn, he's good.