Giant Lenses in the Sky
aerosociety.com·1h·
Discuss: Hacker News
📦Unikernel Systems
A Practical Guide to Online Privacy
blog.clear-byte.com·4h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Alternate-day fasting reduces fat more than time-restricted eating for non-obese
sciencedirect.com·2h·
Discuss: Hacker News
🏹Effect Systems
Build, run and debug iOS and Mac apps in Zed instead of Xcode
luxmentis.org·1d·
Discuss: Hacker News
🍏Darwin
2025 Lasker Award Winners
laskerfoundation.org·19h·
Discuss: Hacker News
🐫OCaml
Debugging vs Printing
hackaday.com·2d
👁️System Observability
An Inline Cache Isn't Just a Cache
mgaudet.ca·2d·
Discuss: Hacker News
💎Refinement Types
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·3d·
Discuss: Hacker News
🏹Effect Systems
Richard Feynman and the Connection Machine
longnow.org·2d·
Discuss: Hacker News
🔄Finite State Machines
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
🚀 Looking for Feedback on ClearWork: Real-World Process Mapping, Future-State Design & Agentic Workflows
clearwork.io·2d·
Discuss: DEV, Hacker News
👁️System Observability
Demanding DARPA: Transparency on AI Autonomy
news.ycombinator.com·15h·
Discuss: Hacker News
🩹Self-Healing Systems
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·4d
🤖Program Synthesis
Upcoming changes for bcachefs; notes for users distributions
lore.kernel.org·1d·
Discuss: Hacker News, r/linux
🔧Unikernel Development
Collecting my thoughts about notation and user interfaces
interconnected.org·2d·
Discuss: Hacker News
🔄Finite State Machines
Can Multiple Responses from an LLM Reveal the Sources of Its Uncertainty?
arxiv.org·5d
📚Automata Learning
Your APIs Are Costing More Than You Think
thenewstack.io·1d
👁️System Observability
A Low-Rank tensor framework for THB-Splines
arxiv.org·1d
🐫OCaml