Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·1d
💎Information Crystallography
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·1d
📞Session Types
Re-factoring a large Flask template to accommodate Jinja and AI coding
circusscientist.com·1d
🌀Brotli Internals
Vibe-Coding vs. AI-Assisted Development
adaptivealchemist.com·22h·
Discuss: Hacker News
⚡Incremental Computation
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
The Day I Hacked XCTrack
blog.syrac.org·19h·
Discuss: Hacker News
🔐PKI Archaeology
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
A Year of Gentoo
arch.dog·20h·
Discuss: Lobsters, Hacker News
❄Nix
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com·13h·
Discuss: Hacker News, r/hardware
🖥️Terminal Renaissance
Running new applications on old glibc
lightofdawn.org·2d·
Discuss: Hacker News
🔗Static Linking
Beating the L1 cache with value speculation (2021)
mazzo.li·4d·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.com·22h·
Discuss: Hacker News
🔩Systems Programming
Vexing Exceptions
ericlippert.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Why Your Resume Fails CI/CD: 10 Tools to Debug It for ATS Parsers
dev.to·23h·
Discuss: DEV
🤖Archive Automation
Completing urgent fixes anywhere with GitHub Copilot coding agent and mobile
github.blog·2d
📜Proof Carrying Code
Why it took 4 years to get a lock files specification
snarky.ca·6h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
VLLM Predicted Outputs
cascadetech.ai·13h·
Discuss: Hacker News
💻Local LLMs