It'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!

I've had some GNOME issues again, and did a very small writeup:GNOME Wayland Desktop Portal/Nautilus/Screen Sharing Issues #GNOME #Linux #Wayland #Desktop

Details that make interfaces feel better: Really good article, and well-crafted site :) #Design #CSS #TheWeb

Don't let them farm you 🧑‍🌾

I 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.

Just discovered an actually-useful Nutrient Ranking Tool, and thought I'd share :) #Nutrition #LessWrong #AminoAcids

PSA: If you're writing CSS, value simplicity, and don't know about Fluid (Type) Scales yet, you should check them out :) #CSS #Design #Simplicity

Today I researched Fluid Scales in Tailwind :) #Tailwind #CSS #TIL

Anyone 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!

Reason number 627383 having a blog is awesome... Leo from Beekeeb read my 36 key / RSI post and included a pre-release Toucan 36, keeb in my chocofi order. totally unexpected. totally awesome. thanks Jenny & Leo! shop.beekeeb.com for some awesome hand made keebs.

Today I learned that field-sizing: content exists :) #CSS #TIL

Wrote a piece about functional programming in TypeScript on the frontend for the company blog: funktionale-programmierung.de/en/2026/03/0... :)

Today, I had a short research spree on the state of Lean->Wasm compilation. Pretty interesting! #Lean #Wasm

For the first tutorial after lunch at #BOBkonf2026, @beathagenlocher.com presents "Functional Programming in TypeScript" on track A. Read more here: bobkonf.de/2026/hagenlo...

Hey :) I've greatly expanded upon an older note of mine. Check it out! #Simplicity #Writing

Async Link Fetching in Emacs #TIL #Emacs #DoomEmacs

Just uploaded a bunch of my already-written/accumulated notes :) #Writing

Finally fixed a minor slide annoyance of mine: Non-working QR codes #Slidev #QRCode #slides #Vue

Learned something about package.json postinstall scripts :) #npm #JavaScript #TypeScript #bun #pnpm #TIL

Especially this here for Nix Flakes :) #Nix #Simplicity #FunctionalProgramming

I've added a bit more barebones Nix stuff that can be confusing at first :) #Nix #OS #ProgrammingLanguage #nixpkgs #NixOS #FunctionalProgramming #DeclarativeProgramming

Apparently this is a thing: Desktop Environments in the browser #OS #TheWeb

Just found a better sqlite cli: [litecli](https://litecli.com/) #TIL #sqlite

Auth #Auth #BetterAuth #ZITADEL #StackAuth #Logto #kanidm

I wrote a very simple introductory note I'd really enjoyed reading some years ago: Setting Up A Server (with NixOS and Clan) #ssh #TheInternet #IP

I've recently set up Immich on my home server (with Clan), and half-finished a note on this :) #NixOS #Clan #Immich #HetznerStorageBox #Samba/CIFS #FileSystemMount

Trader/Non-trader in Chrome Web Store #EU #ChromeWebStore

Diffing two directories #TIL #shell

New stuff #TIL #Emacs

mas.to/@zekjur/1160... This is wild.

OAuth Playground #OAuth #PKCE #Learning #Auth

<a name=\ #HTML #TheWeb #TIL

Okay, I get the hype: npmx.dev is pretty cool.

Which brought me to write about Dynamic Scoping, too :) #Racket #Lisp #ProgrammingLanguages #LexicalScoping

Inspired by my TypeScript macro finding yesterday, I started a note about Macros :) #Lisp #Racket #Emacs #Clojure #DSLs #CommonLisp #Rust

TypeScript Macros #TypeScript #Macros #FunctionalProgramming #Immutable.js

selfhostblocks #Clan #NixOS #Selfhosting

The European Commission continues to push to extend Chat Control 1.0, threatening your fundamental right to privacy. MEPs on the Civil Liberties Committee (LIBE) need to hear from you directly: fightchatcontrol.eu now allows you to contact them all at once. Speak up today!

Just started a Bun note with me forgetting @bun/types in my tsconfig.json #bun #JavaScript #TypeScript

I've added a note about (me learning) Auth :) #Auth #Authn #Authz #OAuth #OIDC #PKCE

Hey, I've just started a new note about Clan (https://clan.lol) :) #NixOS #Clan #InfrastructureasCode #Selfhosting

We’re back. Save the date: www.localfirstconf.com

I'm now switching windows with run-or-raise, cause that's better ^^ #Simplicity #Flow #GNOME

I added a note about "How People Learn" (a course named after the ed report) #Learning #Education #Coding #Psychology

Hey, I wrote a new piece about another bug that has plagued me for a while :) #GNOME #Linux #AMD #Framework #Framework16 #NixOS #KernelParameters

Using dig #DNS #dig #JuliaEvans

I added some pitfalls/learnings to my Emacs config bits page :) #Emacs #Doom Emacs #completion

Threading Macros And Pipes #Macros #Racket #Functional Programming #Simplicity #Declarative Programming

Backing up my stuff from Github #git #Github #Codeberg #Gitlab #Gitea #Forgejo

dash.el for nice list operations #Emacs #Macros #Syntax #Functional Programming