← Feed

Posts

• Post #4301558

  Presented without comment. Search engines in 2026.

• Post #4301557

  corgi tomorrow

• Post #4301556

  implementing a ratatui ui using sixels

• Post #4301555

  Hahaha oh my god github.com doesn't support ipv6, what the fuck

• Post #4301554

  I should probably do a writeup of the very very many crimes I have done in the last few months.

• Post #4301553

  lol javascript, it's been a minute since I had to look at it, and ick. ICK

• Post #4301552

  hahahaha using sixels to render high dpi user interfaces is so very very slow and so very very funny

• Post #4301551

  corgi cries, I stand near it, it sleeps. repeat ad absurdum

• Post #4301550

  doggo likes blanket

• Post #4301549

  I have successfully put the corgi puppy to sleep. That was a challenge.

• Post #4301548

  I see. Puppies don't sleep.

• Post #4301547

  Corgi

• Post #4301546

  The corgi has been granted a name: Goomba.

• Post #4301545

  corgi puppies make the funniest sounds

• Post #2052117

  The worst thing I've learned at my age is that the drunk me and the sober me have the same opinions. This is not making me want to drink, tbh

• Post #2052113

  Fuck.

• Post #2052112

  We got sum types, we got product types, it's time for quotient types and refinement types.

• Post #2052111

  I have found a mechanism to wrangle a float into a coherent type system. Yay for quotient types

• Post #1771883

  Well it has finally happened. I have fucked my sleep schedule so badly it's 6:30 and I'm wide awake lol

• Post #1771882

  There's a perverse elegance to Erlang.

• Post #1771881

  oh shit trees have leaves now

• Post #1771880

  For those following along at home: I have now slept for 13 hours. Sleep tax paid

• Post #1771879

  One benefit of hacking together your own text selection code is that you have full control over just how badly the user experience is for RTL languages. So far so bad

• Post #1771878

  I’m actively drafting free software licensing designed for EU law. What’s some things you find are missing from existing copyleft and/or permissive licenses? (This will be a license family)

• Post #1771877

  good morning or night

• Post #1649215

  Swizzling in 2026, too. What a fucking rollercoaster of a day.

• Post #1649214

  Turns out time cube was real all along: https://ncatlab.org/nlab/show/cubical+type+theory

• Post #1649212

  My wedding itinerary ends with this:

• Post #1649207

  Made Claude write code that can convert any font to one with programming ligatures, and it even supports custom ligatures on the fly. This is neaaaat.

• Post #1649203

  casually jamming https://styx.bearcove.eu into Markdown frontmatter