not so secretly wishing emacs to be bought by microsoft
June 30, 2025 at 1:45 PM
not so secretly wishing emacs to be bought by microsoft
marketing senjata perang plis kalian stop kerja dulu
June 22, 2025 at 12:59 AM
marketing senjata perang plis kalian stop kerja dulu
my next project will be something something lean4 👨🍳👨🍳👨🍳👨🍳
April 20, 2025 at 4:18 AM
my next project will be something something lean4 👨🍳👨🍳👨🍳👨🍳
ideally hh200 version 1 releases shortly after hackney 2.0 (HTTP2/3 support in their roadmap) ⏳
April 12, 2025 at 10:09 AM
ideally hh200 version 1 releases shortly after hackney 2.0 (HTTP2/3 support in their roadmap) ⏳
a localhost and a dream let’s get it done
March 29, 2025 at 3:27 AM
a localhost and a dream let’s get it done
so before elixir, erlang didn’t have a worldclass frontend huh
March 1, 2025 at 12:37 PM
so before elixir, erlang didn’t have a worldclass frontend huh
python really took off because of semicolon fatigue
January 9, 2025 at 9:18 AM
python really took off because of semicolon fatigue
it’s a makefile recipe until it needs for-loops/conditionals,
a php script until it needs dependencies,
then a package managed project
a php script until it needs dependencies,
then a package managed project
December 15, 2024 at 5:50 AM
it’s a makefile recipe until it needs for-loops/conditionals,
a php script until it needs dependencies,
then a package managed project
a php script until it needs dependencies,
then a package managed project
this cloud formation must have a name 🤔
November 30, 2024 at 2:10 PM
this cloud formation must have a name 🤔
always in the back of my head that ini (the config file format) is old, but TIL toml popularity means we’re not gonna miss it if it’s dead
November 30, 2024 at 7:01 AM
always in the back of my head that ini (the config file format) is old, but TIL toml popularity means we’re not gonna miss it if it’s dead
the 2 camps of open source maintainers: who call your users adjectives & who entertain smallest nits
November 25, 2024 at 9:45 PM
the 2 camps of open source maintainers: who call your users adjectives & who entertain smallest nits
dua kata seram “verified ffi”
"A Verified Foreign Function Interface between Coq and C", by me, Kathrin Stark and Andrew W. Appel will appear at POPL 2025! www.cs.princeton.edu/~appel/paper...
this is the culmination of years of research (and most of my grad school work), so I'm excited to see it finally published! 🎉
this is the culmination of years of research (and most of my grad school work), so I'm excited to see it finally published! 🎉
November 22, 2024 at 4:03 AM
dua kata seram “verified ffi”