← Feed

Posts

• View post

  when you (yes you. mastodon.) harass open source maintainers off the internet for trying to make their projects sustainable against the new firehose of required security patches without breaking everything by doing an enormous verification effort using llms, those are still people. i know how it feels to get tweeted about by palantir executives; *this* is how scary mastodon's harassment of the rsync maintainer feels. CUT IT THE FUCK OUT, and think of the human on the other side. even t...

• View post

  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

• View post

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

• View post

  a thread

• View post

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

• View post

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

• View post

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