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·18h
🔍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
Selling Bitcoin right here is a tragic error. The case for selling is based upon:
threadreaderapp.com·13h
🏛️Bretton Woods
Flag this post
Trying Out C++26 Executors
⚡Glommio
Flag this post
Quantum ground states: Scalable counterdiabatic driving technique enables reliable and rapid preparation
phys.org·17h
🧮SMT Solvers
Flag this post
Introspection in LLMs: A Proposal For How To Think About It, And Test For It
lesswrong.com·15h
🏆LLM Benchmarking
Flag this post
Thankful for Memory Managed Languages
⚙️Language Runtimes
Flag this post
Angular v21 Adds Signal Forms, New MCP Server
thenewstack.io·16h
📘Typescript
Flag this post
Loading...Loading more...