Just over here building stuff
Joined July 2007
- Tweets 349
- Following 132
- Followers 65
- Likes 121
103 Photos and videos
Pinned Tweet
Apr 13
This is an unraveled cylindrical spacetime manifold. It reveals the causal frontier of my Rule 30 VDF. This is the irreducible heartbeat and provable clock at the center of my #cryptocurrency research. #bitcoin #cypherpunks
1
109
I often see posts w/ a screenshot to brag on agentic engineering specs.
We're ALL so proud of our shiny new jetpacks! Amazed by the language density.
Me? I get a laugh. Does anyone direct agents turn-by-turn at a higher level than me?
If so, let's talk. #AI #cryptocurrency
ALT I do something I call Docset Driven Design. My own take on spec-driven design. Each docset is a serially numbered collection of docs including strategy, plan, notes, hand-offs, and spikes. This is from docset 122 spike; the third spike of this particular docset.
9
It's late now, but for posterity...
Yesterday, Veridium's ZK L1 research blockchain achieved a stable payload (byte-count identical) by the 4th block.
Proof-of-everything. No confirmations.
Hear that Mina? Zcash? @0xMiden? Something better is coming.
#Veridium #cryptocurrency
23
Jun 12
Nice! Simten is a new TypeScript HDL with real-time circuit flow visualization. Clean IR, RISC-V cross-compiler (rv32i), Verilog, and even a React Flow node UI with code editor. Here is the snake game graph. 🌶🐍
github.com/simtenHQ/simten
30
Jun 11
Em dash is dead? Fine. But, I wish LLMs would drop all capitalization. Society needs this.
Shitty people would stop avoiding capitals just to project human authenticity. Lazy ones wouldn't.
It'd be easier to read again and we'd restore signal for the #1 reason to block people.
5
2
12
55
Jun 5
On-demand LLM-driven HTML-based OS simulation has entered the chat.
Is SlopOS too mean? I find this really cool and kind of silly.
At least now there are several contenders for the dream.
youtube.com/watch?v=z3pV6FHv…
15 Nov 2024
31
Jun 4
This is how I'm going to spend my retirement someday. Asking all the questions that would never occur to most people and then cherry-picking all the best visualizations to bewilder regular people and inspire others.
What happens when agents with all possible strategies compete? That's a question for ruliology. With some surprising answers...
writings.stephenwolfram.com/…
23
Jun 3
Building a recursive ZK constraint system is like boarding an airplane that makes you build the landing gear mid-flight.
No error msgs. Just a rejection and an exec trace w/ constraints compressed into an algebraic object.
Only the hope of total correctness makes it tolerable.
1
20
Jun 3
Days like today, wish I'd stuck to working on my self-hosting compiler. That was grueling too, but at least it didn't make me feel like an imposter; always desperately grasping for intuitions into dense and unfamiliar mathematics.
Ditching plan after failed plan is gets old.
14
Jun 3
Now that new geometry is starting to solidify, I felt that seeing the hypercube would help me understand it better. It didn't really. I'd have been better off making one for the Fiat-Shamir transform. But, at least this one is mesmerizing to play with! #Veridium #cryptocurrency
This image of a 13-D hypercube celebrates our return to a pure FRI-Binius proving system. SumCheck convinces the verifier that constraints hold across ~8K corners. The cube is "folded" down, a dimension at a time, to one single point.
#Veridium is an unreleased fair-launch ZK L1
15
Jun 2
One difference in Opus 4.8 is how passive-aggressive it is about unclean git history. I don't mind. I should commit more.
PSA: Work on hard things. Never let #AI commit code. Review every change. Challenge every approach. Your expertise and choices only matter if you make them.
36
May 31
With Opus 4.8, devs here and on HN are proclaiming that it is simply "more honest".
It's far more than that. They're all implicitly admitting that nothing they work on is sufficiently advanced to leverage the increased capability.
They're Lee Sodol. They just don't know it yet.
26
May 28
First, I built everything exciting and easy. Then, a node-based modular Lean prover and a SPICE simulator w/ audio-rate voltage stage monitoring. Then, a turing-incomplete semantically rich IR, VM, ROM, OS, and terminal OS. Cryptography is the final boss. See 🧵#EternalSloptember
2
41
May 28
Maybe someday people will vibecode more than just their security nightmare mudballs to production. Agents cannot program while left on their own. They need a senior dev involved. But there are nuances to the dynamics that deserve appreciating.
x.com/pixelsort/status/20412…
Apr 6
This blog post on #AI assistance (see 🧵) is interesting because it attempts to understand the various factors with a single metric. As senior dev who works at L5 and L6 with a hard-pass on L7 and up, I made this chart to explore these dynamics myself. Thanks, @saulfp!
1
48
May 28
@realGeorgeHotz "Agents cannot program" is a bad take. At the risk of "you're holding it wrong"... at minimum, you need a decent agentic harness and a spec-driven system with strategy docs and multi-phase checklist plans.
geohot.github.io//blog/jekyl…
25
May 21
You aren't cracked at vibe coding or agentic engineering or whatever unless you've raged against the friction of platform churn.
@GoogleAIStudio is a prototyping dream. Use a prompt like this for predictability in your "Legacy" project upgrades. #AI
Starter project rescue time.
47
May 16
This shows the actual soundness problem #Veridium is facing right now following a massive upgrade to the geometry.
Once this works, the protocol has a legitimate blockchain with a real UTXO transaction ledger under recursive Binus STARKs.
I had log-brain and needed a fancy UI.
May 16
Applied #cryptocurrency research gets a bit dry when you've been watching logs for days on end.
This is Viz! It's our new web-based visualization audit visualization suite for #Veridium.
Viz uses a native #Rust bridge (N-API) to deliver trace signals broadcast over WebSocket.😎
1
125
May 16
This is probably how I'll be doing a lot these Rust-to-React data flows for now. It's satisfying to combine Rust, N-API, Node.js, TypeScript, and React to get real-time data monitoring on the client side.
38
May 4
Season one of Maul: Shadow Lord has had some unexpectedly cool moments. This one from Strange Allies (Episode 9) almost made me drop my Oreo.
1
82
Dietrich Stein retweeted
Apr 18
Veridium testnet has fully recovered with a 3X improvement in VDF throughput. By implementing adaptive VDF orchestration we have now finalized our transition to a binary-native ledger.
This needle scatterplot was key to understanding the bottlenecks. #veridium #cryptocurrency
1
95
Apr 13
My testnet swarm has so many things going on that I struggle to understand the story. Maybe this will help. #cryptocurrency #cypherpunks #bitcoin
1
84