Ever copy code and watch it fail for no reason? I made a scrubber for that 🧽
codecleanse.us·2h·
Discuss: r/programming
✨Code Formatters
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
🧪Compiler Testing
Planarizing matchings
11011110.github.io·1d
🎨Graph Coloring
A Kevin week
blog.mitrichev.ch·22h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
The future of microoptimization
goldenstack.net·2d·
Discuss: Hacker News
🔬Nanopasses
In Defense of C++
dayvster.com·1d·
Discuss: r/cpp
⚡Zig
Building a Simple Stack-Based Virtual Machine in Go
blog.phakorn.com·12h·
Discuss: r/golang, r/programming
📚Stack Data Structures
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
Ian Bos
hackaday.com·8h
🐹Minimal Go
Algebraic Types are not Scary
blog.aiono.dev·8h·
Discuss: Lobsters, Hacker News
✅Type Checking
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🧮Theorem Provers
Power Query Secret Tip to Lightning-Fast Approximate Matches
geeky-gadgets.com·6h
📊Query Optimizers
How We Reimagined SQL Query Building to Be Smarter, Safer, and Simpler (Introducing `mysql2-dx` v1.1.0)
npmjs.com·7h·
Discuss: DEV
🛡️Error Handling
Effective Software Engineering with Claude Code
reddit.com·6h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Caffeinated Commits- Day 1 & 2
dev.to·1d·
Discuss: DEV
📋Souffle Datalog
Baking with Rails at scale: recipes in Ruby, cookware from Go, C, and Rust
evilmartians.com·19h
💬Smalltalk VMs
LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.org·15h
🗺️Region Inference
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·8h·
Discuss: Hacker News
📡Network Serialization
Find The Longest Word In A Sentence: A JavaScript Solution
dev.to·10h·
Discuss: DEV
📝Rope Editors