A Man Read 3,599 Books Over 60 Years, and Now His Family Has Shared the Entire List Online
openculture.com·1d·
Discuss: Hacker News
❄️Nix
Entr(1) – Run arbitrary commands when files change
eradman.com·1d·
Discuss: Hacker News
🛡️seL4
Show HN: MagicQuill – Edit Images with AI Brushes
magicquillai.app·3d·
Discuss: Hacker News
🍎Apple
GenosDB: Distributed Graph-Based Database
genosdb.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Helion Energy's 1st Nuclear Fusion Plant in WA Promises Zero-Carbon Electricity
rudebaguette.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Apache Flink 2.1.0 Released
flink.apache.org·4d·
Discuss: Hacker News
🔄Finite State Machines
Ask HN: How to Extract Shell Commands from Raw PTY Sessions? (Rewindtty)
news.ycombinator.com·23h·
Discuss: Hacker News
🌐NetworkProtocols
Online Software for an Interstellar Civilization
gatlin.io·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Introducing Cerebras Code
cerebras.ai·4d·
Discuss: Hacker News
💻CS
Gemini Embedding: Powering RAG and context engineering
developers.googleblog.com·5d·
Discuss: Hacker News
🏹Effect Systems
Effect of Non-Nutritive Sweeteners on the Gut Microbiota
pmc.ncbi.nlm.nih.gov·2d·
Discuss: Hacker News
➡️Category Theory
Unit Testing in NestJS for Node Using Suites (Formerly Automock)
blog.appsignal.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
Stabilization of Age-Structured Competing Populations
arxiv.org·4d
📡Network Protocol Design
SkyEye: When Your Vision Reaches Beyond IAM Boundary Scope in AWS Cloud
arxiv.org·6d
🖥️Self-hosted Infrastructure
diffSPH: Differentiable Smoothed Particle Hydrodynamics for Adjoint Optimization and Machine Learning
arxiv.org·6d
💻CS
The two people shaping the future of OpenAI’s research
technologyreview.com·5d·
Discuss: Hacker News, r/technews
💻CS
Modos Paper Monitor Developer Kit
crowdsupply.com·17h·
Discuss: Hacker News
🐫Embedded OCaml
Efficient Neural Combinatorial Optimization Solver for the Min-max Heterogeneous Capacitated Vehicle Routing Problem
arxiv.org·6d
💻CS
DeepGo: Predictive Directed Greybox Fuzzing
arxiv.org·6d
🎮Verification Games
Why not? Developing ABox Abduction beyond Repairs
arxiv.org·6d
✓Automated Theorem Proving