Links tagged “programming”
102 links, newest first.
github.com
one of Rust's 2026 language-design goals, from the source.
matklad.github.io
Memory Safety's Hardest Problem - matklad on why aliasing and concurrency, not buffer overflows, are the part nobody has solved.
imperialviolet.org
We have proof automation now - Adam Langley verifies a zstd implementation in Lean. Formal methods just became something you might actually use.
tangled.org
Gleam is now on Tangled - an established language moves its git hosting to ATProto. Watch the decentralisation of OSS infrastructure.
rtfeldman.com
The Roc compiler's 487-day port of 300,000 lines from Rust to Zig, now at feature parity, with hot code loading and faster incremental builds as the payoff.
purplesyringa.moe
Quadrupling code performance with a "useless" if - branch prediction, aliasing and autovectorisation, taken apart with benchmarks.
maurycyz.com
Regressive JPEGs - later scans in a progressive JPEG can overwrite what was already drawn, so a single file can show a different image while it loads, and animate if you push it. The format taken apart byte by byte.
newsletter.kentbeck.com
Kent Beck: the point was never the typing, it was keeping options open and moving cost later in time.
nega.tv
The Low-Tech AI of Elden Ring - how a AAA fakes its enemy "AI" with simple tricks and no ML in sight.
fergusfinn.com
What happens when you run a CUDA kernel? - the whole journey from launch to silicon, one layer at a time.
queue.acm.org
You Don't Know Jack About Formal Verification - formal methods from a practitioner, minus the folklore.
cs.cornell.edu
CS 6120: Advanced Compilers, self-guided: Cornell's graduate compilers course, open and timeless. Bookmark, then actually do it.
norvig.com
Teach Yourself Programming in Ten Years (1998)
recurse.com
Recent blog post Announcing $10,000 fall Fellowship grants Jul 8, 2019 — Funding to work on ambitious projects at RC this fall.
