Modern X86 Assembly Language Programming • Daniel Kusswurm & Matt Godbolt • GOTO 2025
youtube.com·2d
📏Picolibc
Flag this post
The Easiest Way to Build a Type Checker
🔍Type Inference
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
🔓Lock-Free Programming
Flag this post
Claude Loves a Challenge, Bonus Secret Menu Attached. (Ultimate Guide to Claude, from Claude, Saving Face and Rising to the Occasion).
💬Prompt Engineering
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🧮SMT Solvers
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.org·2d
📊Profile-Guided Optimization
Flag this post
Pitch Multiplication (2017)
🔢Homomorphic Encryption
Flag this post
The Engineering Guide to Efficient LLM Inference: Metrics, Memory, and Mathematics
pub.towardsai.net·2d
📊Profile-Guided Optimization
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
🎭Program Synthesis
Flag this post
Perennial Technical Reading List
🌲Splay Trees
Flag this post
Evolution Strategies at the Hyperscale
🔲Cellular Automata
Flag this post
Zig in 30 Minutes
🦀Rust Macros
Flag this post
Loading...Loading more...