@syscallnull

https://xitter.cf/t.co/Jc11tVcs5E

Joined May 2025
  • Tweets272
  • Following357
  • Followers24
26Media
Declarative programming is powered by extensional equality.
I love how agents can go through my git objects and find the thing I accidentally nuked. Would be too much of pain to do otherwise.
1
11
Moving my machine to zfs, once again trying to figure out the fixpoint of nixos modules, and now I'm reading a book on Order Theory. How does this keep happening?
2
20
So what Elon is saying is that we only have to work for 10 more years?
1
7
If anyone is interested, I think QEMU is the bomb. That is all.
7
I've been doing too much Linux lately. ZFS, qemu, initrd, LUKS, and nixos. I want to get back to math-world.
26
So a coding agent is: a finite set of tools, and a finite set of predicates over the state, which is mostly just the file system.
9
zfs and nixos go together
21
Linux, from just sets
7
new life goal: be more retarded
9
Only an llm can love qemu documentation qemu-project.gitlab.io/qemu/…
10
I like this guy's approach to math youtube.com/watch?v=mEcaYmNN…

Does The Art of Problem Solving Teach Algebra Properly?

NOTE: IMPORTANT ANNOUNCEMENT AT THE END. AoPS is famous for "chal...

youtube.com
9
Tech bros need to remember that they exist within a nation that has a people, not a blank economic zone Middle class America needs to remember that national strength comes from economic and technological strength This is a careful synthesis between these that we must strike
103
253
45
2,801
130,905
Ok, this is pretty funny
5
Downloading a random disk image from ubuntu and I have no idea what's inside. How do I mount the thing to see what is inside?
1
How much of qemu is just understanding disk images?
3
Qemu for life.
1
Each time I try to use an MCP, I find that the an AI skill describing the API is easier and less wonky.
11
Wait a second … the ff in ffmpeg is for Fast Fourier? Is that right?!
14
Why is the idea of 'binding' important? It means we give a name to some value, and then can refer to it in our computations. If we don't have a name for it, we can't refer to it, we can't compute with it. If it's a free variable, we don't control it.
11
Load more