Biconnected components
emi-h.com·1d·
Discuss: Hacker News, r/programming
🕸️Graph Algorithms
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·1d·
Discuss: Hacker News, r/programming
📚Stack Allocation
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·19h
🌿Trie Structures
connect-four-ai: A high-performance, perfect Connect Four solver
reddit.com·1d·
Discuss: r/rust
🧩Constraint Solvers
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·6h·
Discuss: DEV
🔗Concurrency Primitives
Transitive Dependency Version Resolution in Rust and Java: Comparing the Two
hackernoon.com·1d
📦Dependency Analysis
Parallelism Strategies in Deep Learning
afmck.in·12h·
Discuss: Hacker News
🔀SIMD Programming
Space-Deniable Proofs
eprint.iacr.org·17h
📜Proof Languages
Automated Cost-Benefit Analysis for Network Infrastructure Optimization via Graph Neural Networks
dev.to·14h·
Discuss: DEV
🔗Graph Rewriting
MicroAlloc
bogdanthegeek.github.io·1d
🧠Memory Allocators
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·1d
🔮Clojure
Need feedback on my AI cli tool
github.com·8h·
Discuss: r/golang
⚡Live Coding
WSU football player shot at party, Washington student identified as suspect: Police
nytimes.com·2h
📚Factor
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
🎯Pattern Matching
Speeding Up NestJS Tests with DB Transactions
medium.com·10h·
Discuss: Hacker News
🧪Compiler Testing
Rustchain: Transpile Anything Into Rust (and Back Out Again)
reddit.com·59m·
Discuss: r/programming
🏗️Cranelift
Creating a database of motivated proofs
gowers.wordpress.com·5h·
Discuss: Hacker News
⚖️Inference Rules
How Meta Animates Billions of AI-generated Images
blog.bytebytego.com·12h
🎭Program Synthesis
Clean Design, Strong Client: The way of the Elasticsearch's Java SDK
dev.to·1d·
Discuss: DEV
🔧API Design
Building a Debugger • Sy Brand & Tim Misiak
buzzsprout.com·20h·
Discuss: r/programming
🔍Debugging Compilers