Pinned
austin ๐ต๐ธ
austin ๐ต๐ธ
@stdlib.bsky.social
we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu) overengineering @ersc.io / #jj-vcs maintainer / used to work on the Glasgow Haskell Compiler
364 followers84 following700 posts
austin ๐ต๐ธ reposted
Was talking at work today about how my slides for austinsystems.org are normally handwritten and ran back across this (extra) slide from my old cryptography talk in particular. schnorr signatures in one page ๐ฅด
bonus original version written in Serial Killer Script bsky.app/profile/stdl...
austin ๐ต๐ธ reposted
austin ๐ต๐ธ reposted
austin ๐ต๐ธ reposted
austin ๐ต๐ธ reposted
austin ๐ต๐ธ reposted
Replying to @elcarcajou.bsky.social
If a bunch of people decide to attack a datacentre construction site because it's endangered the water source of their community, I hope that if our analysis is AI is just capitalism evolving, I hope we'll also be there for people who revolt against extraction & to protect their health as workers
This is the kind of stuff I'm talking about. "Programming is art and art is the most human thing ever" okay so is working at a cannery or being a mechanic also "art" or is it not? If your principles hinge on this I think that's an important question blog.glyph.im/2026/10/prog...
"Proletarianization" of computer programmers through eg AI is an opportunity to remove the veil and realize there is no actual "higher form" of labor. There is the working class, and then there is a mode of production that alienates them all equally. The charade is over.
This is the kind of stuff I'm talking about. "Programming is art and art is the most human thing ever" okay so is working at a cannery or being a mechanic also "art" or is it not? If your principles hinge on this I think that's an important question blog.glyph.im/2026/10/prog...
"Proletarianization" of computer programmers through eg AI is an opportunity to remove the veil and realize there is no actual "higher form" of labor. There is the working class, and then there is a mode of production that alienates them all equally. The charade is over.
austin ๐ต๐ธ reposted
I liked Deno's design quite a bit so this is a shame, but celld was my main recent interest. I guess if workerd ends up actually being usable for self hosting then it's fine. deno.com/blog/cloudfl...
austin ๐ต๐ธ reposted
austin ๐ต๐ธ reposted
Decent article and also a great example of why 99% of the people on lobsters are intellectually unserious and can be ignored lobste.rs/s/9fjar3/rea...
Decent article and also a great example of why 99% of the people on lobsters are intellectually unserious and can be ignored lobste.rs/s/9fjar3/rea...
I just did this with EmbeddingGemma 2 as well, and it only came out like 3 hours ago. (To be fair the architecture is already known)
It's insane but now you can just buy access to a frontier model for ~48hrs and have it blast out an optimized impl of another model. Jax/CUDA/whatev. Don't like vLLM/llama.cpp? Claude printed me a Jev-compatible server for Clef in 100% cuTile-python last night. now I can just use it locally forever
austin ๐ต๐ธ reposted
We aren't quite ready to invest in lava lamps, but we are thinking deeply about randomization ersc.io/blog/when-ra...
austin ๐ต๐ธ reposted
austin ๐ต๐ธ reposted
austin ๐ต๐ธ reposted
austin ๐ต๐ธ reposted
hi friends I'm very excited to announce Halfspace, my experimental cross-platform IDE for solid modeling with distance fields! This has been in progress since midway through last year, and it's finally "done enough" to make it more public.
I have advanced this to GCC 13.5+binutils 2.41+LLVM 23. funny bit, just linking mimalloc into the build I improved performance by 15% because musl "ping pongs" back to the OS by giving it memory back too eagerly. 300k mmap syscalls to compile 1 (one) .c file! musl's allocator is bad at any speed
Last night I had 6-astra-max plan out and begin working on a port of the full source nix/guix bootstrap to raw Buck2 BUILD files and it apparently completed this morning! will be interesting to evaluate how it did here
austin ๐ต๐ธ reposted
When I first made up this term it was because I literally could not remember the term "octopus merge" and now wife guys are out there explaining feverishly. Life is so beautiful
my husband just interrupted putting dishes away because he wanted to show me something called a โjj megamergeโ. iโm scared iโm losing my husband to jj.
austin ๐ต๐ธ reposted
Qualcomm released the compiler for their IDL used for "FastRPC", called QAIC, and it is written in Haskell? good to see some people still have taste! github.com/qualcomm/QAIC