The Easiest Way to Build a Type Checker
jimmyhmiller.com·14h·
Discuss: Hacker News
🧩Types
Flag this post
Zig in 30 Minutes
gist.github.com·14h·
Discuss: Hacker News
🦀Rust Compiler Internals
Flag this post
10000
jro.sg·21h
🔍Binary Analysis
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·16h·
Discuss: Hacker News
✏️Code Editors
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·12h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·23h·
Discuss: r/programming
🧵Concurrency
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.com·16h·
🗄️libSQL
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·12h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·23h·
Discuss: Lobsters
💻Programming languages
Flag this post
Parallel Threads in Racket v9.0
blog.racket-lang.org·26m·
Discuss: Hacker News
🧵Concurrency
Flag this post
Selling Bitcoin right here is a tragic error. The case for selling is based upon:
threadreaderapp.com·15h
🏛️Bretton Woods
Flag this post
Rust/Tokio vs. Go for a server side app that requires high performance/low latency.
reddit.com·10h·
Discuss: r/rust
Tokio
Flag this post
Rust Isn't the Future of Systems Programming – It's Just the Hype Cycle
freedium-mirror.cfd·4h·
Discuss: Hacker News
🦀Rust
Flag this post
Quantum ground states: Scalable counterdiabatic driving technique enables reliable and rapid preparation
phys.org·20h
🧮SMT Solvers
Flag this post
An overview of memory management in Go (2021)
medium.com·16h·
Discuss: Hacker News
🏊Memory Pools
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·11h·
Discuss: Hacker News
📟Terminals
Flag this post
Trying Out C++26 Executors
mropert.github.io·14h·
Glommio
Flag this post
Error handling with axum and enum_convert
github.com·17h·
Discuss: r/rust
🌐Axum
Flag this post
Introspection in LLMs: A Proposal For How To Think About It, And Test For It
lesswrong.com·18h
🏆LLM Benchmarking
Flag this post
A VS Code Fork for Writing
debamitro.github.io·5h
🎯Cursor IDE
Flag this post