@syscallnull

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

Joined May 2025
  • Tweets272
  • Following357
  • Followers24
26Media
Include

Only show posts containing:

Exclude

Hide posts containing:

Time range
-
Minimum likes
Declarative programming is powered by extensional equality.
Replying to @justinskycak
That's the wrong order. Do proofs and logic first, then all the math that builds on those.
2
161
Replying to @GeoffreyHuntley
Everything is going back to first order predicate logic.
3
164
Replying to @grhmc
imagine all the :-
44
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
Replying to @norpadon
@norpadon
61
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
Load more