Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

Dynamic Levels of Detail in Evolve
evolvebenchmark.com·3d·
Discuss: Hacker News
🖥️Terminal Renaissance
C++26: range support for std:optional
sandordargo.com·3d·
💧Liquid Types
Google Agent Development Kit (ADK) for TypeScript
github.com·5h·
Discuss: Hacker News
💧Liquid Types
Padding
reddit.com·15h·
Discuss: r/golang
🔧KAITAI
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
🌳Incremental Parsing
Letting Claude make art with code
nuudeli.com·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Cold Calculation
kae3g.codeberg.page·1h·
Discuss: Hacker News
Incremental Computation
A Manifesto for the Programming Desperado
github.com·1d·
Discuss: Hacker News
💻Programming languages
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
Python 3.12.12, 3.11.14, 3.10.19 and 3.9.24 are now available!
pythoninsider.blogspot.com·1d
🔍Z3 Parsing
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com·1h·
Discuss: Hacker News
Cache Theory
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3d·
Discuss: Hacker News
🎯Performance Proofs
Responsible Vibe Coding
dev.to·4h·
Discuss: DEV
📏Code Metrics
Generalized Orders of Magnitude (GOOMs)
github.com·4h·
Discuss: Hacker News
🕸️Tensor Networks
Static Bundle Object: Modernizing Static Linking
medium.com·4d·
🔗Static Linking
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
English - the hottest programming language of the future
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Stryker Mutator
github.com·3h·
Discuss: Hacker News
🔧Binary Parsers
Ship Broken Things
matmul.net·2d·
Discuss: Hacker News
🔗Topological Sorting