Explaining Financial Models by Deleting Transactions
building.nubank.comยท1d
๐ฐTigerBeetle
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.orgยท2d
๐Lock-Free Programming
Flag this post
The "Vibe-Coding" Epidemic
๐ญProgram Synthesis
Flag this post
One Weird Hashing Trick
๐งฎVector Databases
Flag this post
Why DynamoDB Fails Most Real-World Apps
๐ฐTigerBeetle
Flag this post
Explorations of RDMA in LLM Systems
โกRDMA
Flag this post
The Law of Leaky Abstractions
๐Linear Types
Flag this post
Messing with bots
๐Binary Exploitation
Flag this post
Welcome to DataHaskell
๐งRust for Linux
Flag this post
Claude Code hooks are crazy
๐ปCLI Tools
Flag this post
A catalog of side effects
๐ฆRust Macros
Flag this post
Loading...Loading more...