← Feed

Posts

• Post #2550224

  OH: "I think #Lean is cool because it's like they trapped a graduate student in the compiler and they just prove your array accesses are in bound for you" @Vierkantor blink twice if you are trapped in a compiler

• Post #1949862

  this is a very good post about why i don't really use fedi anymore: the software provides no recourse for posts one doesn't like on federated timelines, besides harassment. and oh boy have i seen the harassment. I've seen the things people have done based on third hand accusations. i have seen the ruined lives. any community even slightly adjacent to fedi has to deal with the persistent threat of harassment from fedi. chaos, e.g. has a huge problem with this. for exampl...

• Post #1949861

  a thread

• Post #1728830

  extending an enormous "bruh" to the people who are making a spreadsheet of all the mainstream programming languages and tools that you "shouldn't use" because they have some tests written by Claude that probably wouldn't have been written without it (ie. it increases correctness). cmon man. yes there are people writing slop but almost all people who give a shit and work on production systems don't (and are probably busy getting their d...

• Post #1728829

  apparently the db app sells sncf reservations for the same price as ice reservations. an interesting development in making French trains ... exist to me.

• Post #1672465

  my #lixcon2026 talk about build system yuri has been released: https://media.ccc.de/v/lixcon-2026-2-nix-and-buck2-from-enemies-to-lovers-with-snowydeer slides: https://jade.fyi/lixcon2026 we build #nix store paths entirely outside of nix using deps from nix, then re-import them (with correct deps!) into nix once built. this powers writing a docker image in 6 lines of code without devs touching nix language at all. you can use a new parameter in #lix 2.95's CLI to import store paths bu...

• Post #310160

  "i would rather debug a linker" is sure a phrase to describe just how bad something else is