Rust Coreutils 0.3.0: Up to 3.7x Faster Than GNU Tools
heise.de·5d
🦀Rust Verification
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
🔗Combinatory Logic
Flag this post
What are you doing this weekend?
📊Static Analysis
Flag this post
Challenging the Fastest OSS Workflow Engine
🔄Sync Engine
Flag this post
Org Mode as Architecture Notebook
🔩Systems Programming
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
✨Effect Handlers
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
🔄Language Evolution
Flag this post
Opportunistic Mutation in Roc
📏Code Metrics
Flag this post
Vectorizing for Fun and Performance
⚡SIMD Vectorization
Flag this post
Dependency Management in Database Design
dolthub.com·3d
🔗Topological Sorting
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
🧠Intelligence Compression
Flag this post
Averaging 10 PRs a day with Claude Code
⚡Proof Automation
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
🔒Linear Types
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
🤖Archive Automation
Flag this post
GHC: From Bug to Merge
🔤Type Theory
Flag this post
Loading...Loading more...