The Easiest Way to Build a Type Checker
🧩Types
Flag this post
Zig in 30 Minutes
🦀Rust Compiler Internals
Flag this post
10000
jro.sg·23h
🔍Binary Analysis
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
✏️Code Editors
Flag this post
Pitch Multiplication (2017)
🔢Algebraic Data Types
Flag this post
Glibc Math Code Sees 4x Improvement On AMD Zen By Changing FMA Implementation
phoronix.com·25m
⚡Glommio
Flag this post
Selling Bitcoin right here is a tragic error. The case for selling is based upon:
threadreaderapp.com·18h
🏛️Bretton Woods
Flag this post
Build a Lua Interpreter in Rust
🦀Rust
Flag this post
Parallel Threads in Racket v9.0
🧵Concurrency
Flag this post
Quantum ground states: Scalable counterdiabatic driving technique enables reliable and rapid preparation
phys.org·22h
🧮SMT Solvers
Flag this post
Trying Out C++26 Executors
⚡Glommio
Flag this post
Introspection in LLMs: A Proposal For How To Think About It, And Test For It
lesswrong.com·21h
🏆LLM Benchmarking
Flag this post
Loading...Loading more...