Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔨Compilers
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.to·1d·
Discuss: DEV
🌐WebAssembly
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
🌐WebAssembly
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·7h·
Discuss: Hacker News
🔨Compilers
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🐍python
Flag this post
The Same App in React and Elm: A Side-by-Side Comparison
cekrem.github.io·2d·
Discuss: r/programming, r/reactjs, r/webdev
🌐WebAssembly
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·13h·
Discuss: Lobsters, Hacker News
🦀Rust language programming
Flag this post
Oops, My UUIDs Collided
alexsci.com·8h·
Discuss: Hacker News
🛡️AI Safety
Flag this post
Learning Rust from C and C++
reddit.com·19h·
Discuss: r/rust
🦀Rust language programming
Flag this post
Teddy Bear Trash Compactor
internet.place·3d·
Discuss: Lobsters
🌐WebAssembly
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·20h·
Discuss: Hacker News
🦀Rust language programming
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·2h·
Discuss: Hacker News
🌐WebAssembly
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·1d·
Discuss: Hacker News
🦀Rust language programming
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
Discuss: r/javascript, r/programming
💻programming
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🌐WebAssembly
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·9h·
Discuss: Hacker News
🔨Compilers
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
💻programming
Flag this post
Three Meanings of Reference
sandordargo.com·17h·
Discuss: Hacker News, r/cpp
💻programming
Flag this post
You Don't Need Types in Ruby
zhisme.com·1d·
Discuss: Hacker News
🌐WebAssembly
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·13h·
Discuss: DEV
🌐WebAssembly
Flag this post