An engineer’s path from data loss to software preservation
softwareheritage.org·1d
🔄Archival Workflows
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·2d
🦀Rust Verification
Breaking Disassembly — Abusing symbol resolution in Linux programs to obfuscate library calls ️🎭
blog.elmo.sg·5d
🔗Static Linking
PCIE 5.0 x16 to x8x8 bifurcation
c-payne.com·7h·
Discuss: r/homelab
🖥️Terminal Renaissance
Abhigyan Khaund on the Systems Engineering Behind AI Applications
hackernoon.com·1d
🌊Stream Processing
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Slopsquatting: AI's Contribution to Supply Chain Attacks
hackerone.com·21h
🔒WASM Capabilities
Hierarchical Modeling (H-Nets)
cartesia.ai·1d·
Discuss: Hacker News
🌀Hyperbolic Geometry
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·1d
🎯Performance Proofs
Asymmetry of Verification and Verifier's Law
jasonwei.net·1d·
Discuss: Hacker News
🔮Proof Search
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·1d·
Discuss: Hacker News
🌊Stream Processing
Using AI-Created Prototypes to Align Product and Engineering
jeremybelcher.co·1d·
Discuss: Hacker News
📟CLI Design
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·1d·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
Solving the Context Rot Problem for Coding Agents
install.md·21h·
Discuss: Hacker News
🌳Incremental Parsing
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·6h·
Discuss: Hacker News
✨Effect Handlers
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·13h
💻Local LLMs
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.com·7h·
Discuss: Hacker News
🦋Format Metamorphosis
You Are in a Box
jyn.dev·3d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Why We Develop EloqDB Mainly in C++
eloqdata.com·3h·
Discuss: Hacker News
🦀Rust Borrowing
Finding Order-Preserving Subgraphs
arxiv.org·1d
🕸️Graph Algorithms