Premier League: 10 talking points from the weekend’s action
theguardian.com·15h
👑Isabelle
Verizon's I'm A Teapot Error And Other Technology Fails
thecodist.com·2h
🔓Hacking
Language Support for Marginalia Search
marginalia.nu·22h
🔍BitFunnel
How we trained an ML model to detect DLL hijacking
securelist.com·14h
🔗Binary Similarity
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·15h
📏Code Metrics
Three important things to get right for successful AI Coding
kau.sh·1d
⚡Proof Automation
Breaking decompilers with single-function, and no-main() C codebases
joshua.hu·4d·
Discuss: Hacker News
🧠Lisp Dialects
A PhD in Snapshots
rbharath.github.io·21h·
Discuss: Hacker News
🧠Machine Learning
The Geek Code (1993)
github.com·2d·
Discuss: Hacker News
📜Binary Philology
Autoreview: The Dragon Hatchling – The Missing Link Between the Transformer and
arxiviq.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
The little Random that could
blog.julik.nl·1d·
Discuss: Hacker News
🧪CBOR Fuzzing
The Role of AI in Next-Gen Chip Design
dev.to·22h·
Discuss: DEV
🔧Hardware Verification
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·18h
🎯Performance Proofs
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
SoK: Kicking CAN Down the Road. Systematizing CAN Security Knowledge
arxiv.org·18h
🔐Capability Systems
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔢Denotational Semantics
FSMA: Scalable and Reliable LoRa for Non-Terrestrial Networks with Mobile Gateways
arxiv.org·18h
🕸️Mesh Networking
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·18h
🧮Kolmogorov Complexity
Components of JWTs Explained
fusionauth.io·1d·
Discuss: Hacker News
🌐Network Protocols
Enhanced QD Display Color Gamut via Adaptive Nanoparticle Composition Optimization
dev.to·2d·
Discuss: DEV
🌈Color Archaeology