Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Discover C++26’s compile-time reflection
lemire.me·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp, r/programming
🦀Rust Macros
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
The collective waste caused by poor documentation
shanrauf.com·22h·
Discuss: Hacker News
📦Deflate
Go 1.25's JSON evolution
golangweekly.com·1d
🔌Interface Evolution
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·23h·
Discuss: DEV
🌊Stream Processing
Function Currying in Modern JavaScript: Why, When, and How
dev.to·2d·
Discuss: DEV
🧬Functional Programming
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·15h·
Discuss: Hacker News
🧩WASM Modules
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
What The Heck Just Happened?
code.thheller.com·1d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·15h·
Discuss: DEV
⚡Performance Tools
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
Escape from Lambda Function Name Hardcoding Hell: Type-Safe Serverless Development with sls_enum
dev.to·2d·
Discuss: DEV
λLambda Formalization
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·20h
🌀Fractal Compression
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Using PhantomData and Zero-Sized Types
dev.to·9h·
Discuss: DEV
🔒Type Safety