IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·4d·
Discuss: Hacker News, r/programming
🔤DSLs
C and C++: The Hidden Power Behind Modern Programming
github.com·1d·
Discuss: r/programming
🔤DSLs
Video Compression Basics
rastergrid.com·2d·
Discuss: Hacker News
💾Retro Computing
The world has a running Rational R1000/400 computer again (2019)
datamuseum.dk·2d·
Discuss: Hacker News
🔧Unikernel Development
Why I'm lukewarm on graph neural networks
singlelunch.com·14h·
Discuss: Hacker News
📚Automata Learning
Beyond package management: How Nix refactored my digital life
jimmyff.co.uk·23h·
Discuss: Hacker News, r/programming
❄️Nixified Development
ML Systems: Motivating Dense Models
jacobkahn.me·5d·
Discuss: Hacker News
🧮Lambda Calculus
Reflections on Random Kitchen Sinks
archives.argmin.net·3d·
Discuss: Hacker News
📚Automata Learning
ClockBench – Visual Reasoning AI Benchmark
github.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
With Ceph Erasure Coding can you dedicate data blocks to SSD's and parity blocks to HDD's?
reddit.com·15h·
Discuss: r/homelab
💾Retro Computing
Deep Learning-Enhanced for Amine Emission Monitoring and Performance Analysis in Industrial Carbon Capture Plants
arxiv.org·1d
🧠Automated Reasoning
Beyond Vibe Coding: A practical guide to AI-assisted development
beyond.addy.ie·2d·
Discuss: Hacker News
🤖Program Synthesis
LLMs encode theory-of-mind: a study on sparse parameter patterns
nature.com·4d·
Discuss: Hacker News
📚Automata Learning
Semiconductor Fabs II: The Operation
lesswrong.com·1d
💾Retro Computing
Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch
databend.com·3d·
Discuss: Hacker News
💎Refinement Types
Semantically Reflected Programs
arxiv.org·5d
💎Refinement Types
Observability’s Overlooked Fourth Pillar: Key for Agentic AI
thenewstack.io·4d
👁️System Observability
Transferable Belief Model on Quantum Circuits
arxiv.org·4d
🧠Automated Reasoning
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·1d·
Discuss: Substack
🤖Program Synthesis
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·5d·
Discuss: Hacker News
🔬Unikernels