Rust Coreutils 0.3.0: Up to 3.7x Faster Than GNU Tools
heise.de·4d
🦀Rust Verification
Flag this post
Vibe coding needs a spec, too
stackoverflow.blog·20h
🔌Interface Evolution
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·1d
🧮Theoretical Computer Science
Flag this post
Challenging the Fastest OSS Workflow Engine
🔄Sync Engine
Flag this post
Oops, My UUIDs Collided
🧪Binary Fuzzing
Flag this post
Nim 2.2.6
🌳Incremental Parsing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
How to organize your Rust tests
🦀Rust Verification
Flag this post
What are you doing this weekend?
📊Static Analysis
Flag this post
Org Mode as Architecture Notebook
🔩Systems Programming
Flag this post
Averaging 10 PRs a day with Claude Code
⚡Proof Automation
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
✨Effect Handlers
Flag this post
Opportunistic Mutation in Roc
📏Code Metrics
Flag this post
Vectorizing for Fun and Performance
⚡SIMD Vectorization
Flag this post
Loading...Loading more...