Finding links between gcc source code and the C Standard
shape-of-code.comยท2h
๐Proof Carrying Code
Flag this post
Integer Set Library (ISL) - A Primer
jeremykun.comยท4h
๐งฎAlgebraic Datatypes
Flag this post
ECO: Enhanced Code Optimization via Performance-Aware Prompting for Code-LLMs
arxiv.orgยท5d
๐E-graphs
Flag this post
The Intel i386 turns 40 years old โ 275,000 transistors running at 16MHz changed personal computing forever
tomshardware.comยท11h
๐งฒRISC-V Archaeology
Flag this post
valderman/haste-compiler
github.comยท23h
๐Functional Compilers
Flag this post
Skia: Exposing Shadow Branches
โกCPU Microarchitecture
Flag this post
LoC Is a Dumb Metric for Functions
๐Code Metrics
Flag this post
Rust is not about memory safety
๐ฆRust Macros
Flag this post
The design space of AI coding tools
โกProof Automation
Flag this post
The Case for the Return of Fine-Tuning
โจEffect Handlers
Flag this post
A Quest for the Perfect Word Vault
๐บFormat Archaeology
Flag this post
What Bill Gatesโ first commercial code (Altair BASIC) looks like under the hood
โ๏ธRISC-V Microcode
Flag this post
The Spherical Cows of Programming
๐Shell Calculus
Flag this post
Loading...Loading more...