Proving that every program halts
ntietz.comยท2d
๐Ÿ‘‘Isabelle
Self-referential structs that can actually move in Rust
reddit.comยท2dยท
Discuss: r/rust
๐Ÿฆ€Rust Borrowing
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.devยท1dยท
Discuss: Hacker News, r/javascript, r/webdev
๐Ÿฆ€Rust Macros
Proficient Python: A free interactive online course
blog.pamelafox.orgยท1dยท
Discuss: www.blogger.com, Hacker News
๐Ÿ”—Concatenative Programming
BNFGen: A random text generator based on context-free grammars
baturin.orgยท2hยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Implementing Ray Tracing In One Weekend in F#
heftymouse.meยท3dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Using PhantomData and Zero-Sized Types
dev.toยท4hยท
Discuss: DEV
๐Ÿ”’Type Safety
Coping with Complexity
slott56.github.ioยท4d
๐Ÿ”—Concatenative Programming
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.skยท11hยท
Discuss: Hacker News
๐ŸงฉWASM Modules
Why Dyad?: A Perspective for Modelica Users
juliahub.comยท4hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.comยท12h
โฌ†๏ธLambda Lifting
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toยท5hยท
Discuss: DEV
๐Ÿ“Code Metrics
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750762127113200๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Hypercubical manifolds in homotopy type theory
arxiv.orgยท15h
๐Ÿ”ถCubical Type Theory
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท10hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
The Interactive Handbook on Data Structures and Algorithms
cartesian.appยท1dยท
Discuss: Lobsters, Hacker News, Hacker News
๐ŸŒณTrie Structures
What Is "Modern" Programming?
lemire.meยท7hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Driving the Rust Compiler to Compile Single Files as Shellcode
kirchware.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
The collective waste caused by poor documentation
shanrauf.comยท18hยท
Discuss: Hacker News
๐Ÿ“ฆDeflate
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.orgยท4dยท
Discuss: Hacker News, r/programming
๐Ÿ’ปProgramming languages