Tags
active-inference1 post
active-learning1 post
agents2 posts
-
Who audits the auditor?
Jun 2026
-
A social-good protocol, built by an agent fleet
Jun 2026
ai2 posts
autograd1 post
-
Autograd is part of the API
Aug 2026
autonomy1 post
bridges3 posts
-
The bridge that paid twice
Jun 2026
-
An invariant is not an end-to-end proof
Jun 2026
-
The post-quantum proof that Shor breaks anyway
Jun 2026
brownfield1 post
chess2 posts
circom1 post
claude1 post
compatibility1 post
-
Date and time bugs are systems bugs
Aug 2026
coreutils1 post
-
Date and time bugs are systems bugs
Aug 2026
cow-protocol1 post
cryptography6 posts
-
The on-chain randomness landscape, or: how to pick a chess position fairly
Jun 2026
-
The other side of the wall: FHE where ZK stops
Jun 2026
-
Verifiable isn't trustless: a coin flip on Sui
Jun 2026
-
What a ZK proof proves (and what it doesn't)
Jun 2026
-
Building ZK dark chess: real fog of war on a public chain
Jun 2026
-
The post-quantum proof that Shor breaks anyway
Jun 2026
defi5 posts
devops1 post
-
Running an OP Stack L2 with reth
Jun 2026
edge-ml1 post
eip-7121 post
energy1 post
ethereum2 posts
evaluations2 posts
fhe1 post
flashloan1 post
foundry2 posts
-
Rebuilding a perps DEX from its docs
Jun 2026
-
An AMM built to be attacked
Apr 2026
gambling1 post
-
Anatomy of a fake dice game
Jun 2026
hardware2 posts
inference1 post
-
A default is executable policy
Aug 2026
infrastructure1 post
intents1 post
interpretability1 post
invariants1 post
llms1 post
materials2 posts
memecoin1 post
-
Anatomy of a memecoin honeypot
Jun 2026
mev3 posts
ml5 posts
mlx1 post
-
A default is executable policy
Aug 2026
move2 posts
networking1 post
numerical-correctness1 post
-
Autograd is part of the API
Aug 2026
open-source2 posts
optimism1 post
-
Running an OP Stack L2 with reth
Jun 2026
oracle1 post
perps1 post
-
Rebuilding a perps DEX from its docs
Jun 2026
post-quantum1 post
power-systems1 post
prototyping1 post
pytorch1 post
-
Autograd is part of the API
Aug 2026
randomness3 posts
rdma1 post
reorg1 post
-
The bridge that paid twice
Jun 2026
research1 post
reth1 post
-
Running an OP Stack L2 with reth
Jun 2026
risc-zero1 post
robotics1 post
rollup1 post
-
Running an OP Stack L2 with reth
Jun 2026
rug1 post
-
Anatomy of a memecoin honeypot
Jun 2026
rust4 posts
sampling1 post
-
A default is executable policy
Aug 2026
scada1 post
security15 posts
-
Who audits the auditor?
Jun 2026
-
An arbitrage bot with no slippage is a sandwich
Jun 2026
-
Rebuilding a perps DEX from its docs
Jun 2026
-
A social-good protocol, built by an agent fleet
Jun 2026
-
The index fund that held the wrong asset
Jun 2026
-
Anatomy of a memecoin honeypot
Jun 2026
-
The bridge that paid twice
Jun 2026
-
Anatomy of a fake dice game
Jun 2026
-
The on-chain randomness landscape, or: how to pick a chess position fairly
Jun 2026
-
Verifiable isn't trustless: a coin flip on Sui
Jun 2026
-
What a ZK proof proves (and what it doesn't)
Jun 2026
-
An invariant is not an end-to-end proof
Jun 2026
-
The post-quantum proof that Shor breaks anyway
Jun 2026
-
A benchmark can measure its own metadata
May 2026
-
An AMM built to be attacked
Apr 2026
smart-contracts1 post
solidity12 posts
-
Who audits the auditor?
Jun 2026
-
An arbitrage bot with no slippage is a sandwich
Jun 2026
-
Rebuilding a perps DEX from its docs
Jun 2026
-
A social-good protocol, built by an agent fleet
Jun 2026
-
Anatomy of a memecoin honeypot
Jun 2026
-
The bridge that paid twice
Jun 2026
-
Anatomy of a fake dice game
Jun 2026
-
How CoW Protocol settles a trade (and what my TWAP router got wrong)
Jun 2026
-
The on-chain randomness landscape, or: how to pick a chess position fairly
Jun 2026
-
What a ZK proof proves (and what it doesn't)
Jun 2026
-
Building ZK dark chess: real fog of war on a public chain
Jun 2026
-
An invariant is not an end-to-end proof
Jun 2026
static-analysis1 post
-
Who audits the auditor?
Jun 2026
sui2 posts
systems4 posts
-
Upstream is a different kind of test
Aug 2026
-
Date and time bugs are systems bugs
Aug 2026
-
Correctness under hidden failure modes
Aug 2026
-
197 passing tests, four real-hardware bugs
Aug 2026
testing2 posts
tooling1 post
-
Who audits the auditor?
Jun 2026