one of the painful truths of the tech industry is it is mostly the latter people doing the evil stuff since they have the actual ability to write software that works and it turns out liking nix doesn't magically give you class consciousness
February 17, 2026 at 2:38 PM
one of the painful truths of the tech industry is it is mostly the latter people doing the evil stuff since they have the actual ability to write software that works and it turns out liking nix doesn't magically give you class consciousness
Reposted by elucent
Shakashuri Blowdown
February 11, 2026 at 4:39 AM
Shakashuri Blowdown
remarkable phenomenon where haskell users forget other people whose feelings and priorities are different than theirs exist
it kills me that people try to pretend that python is even remotely a good software development ecosystem
python is fucking. BULLSHIT
they don't even have a central documentation platform or framework or even useful types. it's just fuckin a few examples and that's all you get. not worth a damn
python is fucking. BULLSHIT
they don't even have a central documentation platform or framework or even useful types. it's just fuckin a few examples and that's all you get. not worth a damn
February 15, 2026 at 3:15 AM
remarkable phenomenon where haskell users forget other people whose feelings and priorities are different than theirs exist
constraint graph type inference is so finicky and hard to debug and i'm re-nearing my wit's end with it but. god, the slickness when it does work, it makes it all worth it
luckily once my patience for weird nonlocal unification bugs wanes my next pivot will be working on the borrow checker :)
luckily once my patience for weird nonlocal unification bugs wanes my next pivot will be working on the borrow checker :)
January 28, 2026 at 7:07 AM
constraint graph type inference is so finicky and hard to debug and i'm re-nearing my wit's end with it but. god, the slickness when it does work, it makes it all worth it
luckily once my patience for weird nonlocal unification bugs wanes my next pivot will be working on the borrow checker :)
luckily once my patience for weird nonlocal unification bugs wanes my next pivot will be working on the borrow checker :)
fixed enough generics bugs to write a generic userspace hashtable implementation in Clover :)
January 28, 2026 at 1:18 AM
fixed enough generics bugs to write a generic userspace hashtable implementation in Clover :)
ive been really relishing writing aggressively generic code lately and seeing it work first try*
*accidentally pass the test despite doing at least one illegal downcast from i64 to i32
*accidentally pass the test despite doing at least one illegal downcast from i64 to i32
January 24, 2026 at 10:52 PM
ive been really relishing writing aggressively generic code lately and seeing it work first try*
*accidentally pass the test despite doing at least one illegal downcast from i64 to i32
*accidentally pass the test despite doing at least one illegal downcast from i64 to i32
a nice consequence of UFCS is that since methods don't belong to types, the traits required by methods aren't tacitly required to instantiate the type. like how Foo here lacks a write() implementation, but we can still define both a Vec of Foo, and implement write() for other Vecs
January 22, 2026 at 7:16 PM
a nice consequence of UFCS is that since methods don't belong to types, the traits required by methods aren't tacitly required to instantiate the type. like how Foo here lacks a write() implementation, but we can still define both a Vec of Foo, and implement write() for other Vecs
okay sweet now ADL is working!!!
one of the goals of clover is that generics should really act like compile-time multimethods, so method lookup is even more permissive than C++, to the extent that multiple instantiations can be required if a function is used in multiple compile-time contexts
one of the goals of clover is that generics should really act like compile-time multimethods, so method lookup is even more permissive than C++, to the extent that multiple instantiations can be required if a function is used in multiple compile-time contexts
January 22, 2026 at 2:24 AM
okay sweet now ADL is working!!!
one of the goals of clover is that generics should really act like compile-time multimethods, so method lookup is even more permissive than C++, to the extent that multiple instantiations can be required if a function is used in multiple compile-time contexts
one of the goals of clover is that generics should really act like compile-time multimethods, so method lookup is even more permissive than C++, to the extent that multiple instantiations can be required if a function is used in multiple compile-time contexts
the bluesky experience is a hundred back to back posts of takes like this alternating with people posting their five star letterboxd review of sinners
my son just blew my mind. he said, “Why do new movies not have a complete or satisfying ending? Old movies do, but new movies have a false ending that feels like they’re leading you on.”
he’s right.
the more you think about it, the more right he is.
#film
he’s right.
the more you think about it, the more right he is.
#film
January 20, 2026 at 8:09 PM
the bluesky experience is a hundred back to back posts of takes like this alternating with people posting their five star letterboxd review of sinners
what is the human condition if not one massive yakshave
January 19, 2026 at 7:47 PM
what is the human condition if not one massive yakshave
pldev is a battle between your limited executive function and the idea that one day 12-24 months from now you might be able to make a shitty SDL game in a language that is not meaningfully better than C++, instead of making it in C++ today
January 19, 2026 at 7:46 PM
pldev is a battle between your limited executive function and the idea that one day 12-24 months from now you might be able to make a shitty SDL game in a language that is not meaningfully better than C++, instead of making it in C++ today
okay i even have a proper plan for how to do ADL now and it's still kicking my ass
why did i have to pick template generics as my language feature to get weirdly reactionary about
why did i have to pick template generics as my language feature to get weirdly reactionary about
January 19, 2026 at 7:44 PM
okay i even have a proper plan for how to do ADL now and it's still kicking my ass
why did i have to pick template generics as my language feature to get weirdly reactionary about
why did i have to pick template generics as my language feature to get weirdly reactionary about
despite my ADL-related woes i am reasonably proud of this new language feature in Clover: maximalist type inference for templates. you can freely omit type parameters in type annotations, constructors, and even the type definition itself!
January 18, 2026 at 6:33 PM
despite my ADL-related woes i am reasonably proud of this new language feature in Clover: maximalist type inference for templates. you can freely omit type parameters in type annotations, constructors, and even the type definition itself!
everything be going so good and then i remember i need to figure out how argument-dependent lookup will work in my programming language
January 18, 2026 at 6:19 PM
everything be going so good and then i remember i need to figure out how argument-dependent lookup will work in my programming language
functional programming always feels kinda like string theory to me, like yeah we have to begrudgingly tolerate that these guys are technically doing computer science, but over time i just have less and less patience for people still insisting fetch is gonna happen any day now
January 14, 2026 at 7:46 PM
functional programming always feels kinda like string theory to me, like yeah we have to begrudgingly tolerate that these guys are technically doing computer science, but over time i just have less and less patience for people still insisting fetch is gonna happen any day now
am i the only one who mostly thinks that ai slopware repository is good. obviously nobody is going to literally stop using the linux kernel over it, but applying pressure to projects that would otherwise be ambivalent is a strategic necessity right now
January 9, 2026 at 6:24 PM
am i the only one who mostly thinks that ai slopware repository is good. obviously nobody is going to literally stop using the linux kernel over it, but applying pressure to projects that would otherwise be ambivalent is a strategic necessity right now
tragic thing about modern america is you basically can't be mad at the system as a guy in your 20s. because then you'd already have been called out by billy joel of all people
January 9, 2026 at 5:53 PM
tragic thing about modern america is you basically can't be mad at the system as a guy in your 20s. because then you'd already have been called out by billy joel of all people
dude bluesky is crazy
January 5, 2026 at 12:37 AM
dude bluesky is crazy
do you think now they're gonna have to kidnap 12 more presidents of sovereign latin-american nations for the jury of his peers
January 3, 2026 at 4:10 PM
do you think now they're gonna have to kidnap 12 more presidents of sovereign latin-american nations for the jury of his peers
initially i thought this video would just be wrong, but after watching it, i think the much better word is "embarrassing". the worst part is i can't tell if this guy doesn't know about the structural and factual errors in it, or simply doesn't care so long as they further his language politics
This Haskell + C programmer says that Rust looks better when you compare it to C++, but it is still far worse than Haskell: www.youtube.com/watch?v=1iPW...
This is 100% correct. We Rust programmers are stupid people who've failed to learn Haskell.
I tried 4 times.
I gave up. Rust saved me.
This is 100% correct. We Rust programmers are stupid people who've failed to learn Haskell.
I tried 4 times.
I gave up. Rust saved me.
Rust and the price of ignoring theory
YouTube video by James Faure
www.youtube.com
December 23, 2025 at 3:39 AM
initially i thought this video would just be wrong, but after watching it, i think the much better word is "embarrassing". the worst part is i can't tell if this guy doesn't know about the structural and factual errors in it, or simply doesn't care so long as they further his language politics
Reposted by elucent
extremely funny last name for a guy whose job is documenting the failures of a famously litigious corporation
Kevin Perjurer (suddenly getting serious 195 minutes into a special): On September 12, 2009, Autonomous Waste Compactor, Wall-E, my friend, died. He fucking died.
November 25, 2025 at 12:37 AM
extremely funny last name for a guy whose job is documenting the failures of a famously litigious corporation
Reposted by elucent
The kitten regretted running away from home, but now she’s afraid to go back and not be welcome anymore.
November 11, 2025 at 3:32 AM
The kitten regretted running away from home, but now she’s afraid to go back and not be welcome anymore.
glad to see more people hearing the good news
just learned about the agouti (animal which is like if hieronymus bosch painted a capybara)
November 2, 2025 at 2:54 PM
glad to see more people hearing the good news
mischievous finding from a conversation in plcord today: zig's fancy new compiler backend - the entire point of which is to compile faster than the existing LLVM one - takes more than *twice as long* as clang -O0 in total user time 🙃
benchmark is 10k quicksort functions
clover ofc trashes both 😎
benchmark is 10k quicksort functions
clover ofc trashes both 😎
October 5, 2025 at 2:40 AM
mischievous finding from a conversation in plcord today: zig's fancy new compiler backend - the entire point of which is to compile faster than the existing LLVM one - takes more than *twice as long* as clang -O0 in total user time 🙃
benchmark is 10k quicksort functions
clover ofc trashes both 😎
benchmark is 10k quicksort functions
clover ofc trashes both 😎