Giant Lenses in the Sky
aerosociety.com·7h·
Discuss: Hacker News
📦Unikernel Systems
Alternate-day fasting reduces fat more than time-restricted eating for non-obese
sciencedirect.com·8h·
Discuss: Hacker News
🏹Effect Systems
Shielding High-Demand Systems from Fraud
ipsator.com·1d·
Discuss: r/programming
📡Network Protocol Design
2025 Lasker Award Winners
laskerfoundation.org·1d·
Discuss: Hacker News
🐫OCaml
Debugging vs Printing
hackaday.com·2d
👁️System Observability
An Inline Cache Isn't Just a Cache
mgaudet.ca·3d·
Discuss: Hacker News
💎Refinement Types
Government Accountability Office Gets Schooled by the Department of Education
eatingpolicy.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Land vs. Expand in the AI Era
guruchahal.substack.com·13m·
Discuss: Substack
⚙️Operating System Design
Get Excited About Postgres 18
crunchydata.com·1d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·3d·
Discuss: Hacker News
🏹Effect Systems
Rich Answered That
gist.github.com·4d·
Discuss: Lobsters, Hacker News, Hacker News
🧮Lambda Calculus
Fclones – Efficient Duplicate File Finder
github.com·1d·
Discuss: Hacker News
❄️Nix
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·5d·
Discuss: Hacker News
💎Refinement Types
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·5d·
Discuss: Hacker News
🐳Containerization
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·2d
🐫OCaml
Demanding DARPA: Transparency on AI Autonomy
news.ycombinator.com·21h·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: Oboe, a generalized AI-powered learning platform
news.ycombinator.com·3d·
Discuss: Hacker News
🎮Verification Games
From Vision to Validation: A Theory- and Data-Driven Construction of a GCC-Specific AI Adoption Index
arxiv.org·4d
🤖Program Synthesis
Upcoming changes for bcachefs; notes for users distributions
lore.kernel.org·1d·
Discuss: Hacker News, r/linux
🔧Unikernel Development
Billion-Line Days Demand Billion-Test Nights
momentic.ai·4d·
Discuss: Hacker News
🤖Program Synthesis