Teach Kids Electronics Using Dough: Light Up Caterpillar Project
newsletter.infiniteretry.com·1d·
Discuss: Hacker News
💾Retro Computing
Procedural Island Generation (III)
brashandplucky.com·3d·
Discuss: Hacker News
🐫OCaml
Enrich Your Soil – Enrich Your Life
worldsensorium.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
LIGO Verifies Hawking's Theorem
as.cornell.edu·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Groq Raises $750M as Inference Demand Surges
groq.com·3d·
Discuss: Hacker News
🧩Parser Combinators
NASA Selects Blue Origin to Deliver VIPER Rover to Moon’s South Pole
nasa.gov·1d·
Discuss: Hacker News, r/space
🧗Climbing Tech
The collapse of Your Party is bloody hilarious
spiked-online.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Everyone has a Chinese peptide dealer now
sfstandard.com·2d·
Discuss: Hacker News
🧗Climbing Tech
Esther Minano: Making Postgres scale to zero with CNPG
xata.io·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Researchers show how future Moon missions could uncover dark matter
ipmu.jp·1d·
Discuss: Hacker News
🔧Unikernel Development
Three years of apathy, lassitude, and failure
samkriss.substack.com·3d·
Discuss: Substack
🛡️seL4
Your very own humane interface: Try Jef Raskin’s ideas at home
arstechnica.com·1d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
What will AI look like in 2030?- study commissioned by DeepMind
epoch.ai·4d·
Discuss: Hacker News
🧠Automated Reasoning
Worst Clock Ever Teaches You QR Codes
hackaday.com·2d
🐫Embedded OCaml
What Is the Forced Organ Donation Hypothetical?
betonit.ai·1d·
Discuss: Hacker News
🛡️seL4
Convergence to equilibrium for fully discretizations of nonlocal Cahn-Hilliard equation
arxiv.org·5d
🐫OCaml
Gambit: An efficient implementation of the Scheme programming language
github.com·6d·
Discuss: Hacker News
🐫OCaml
We Built the First AI-Generated Genomes
arcinstitute.org·2d·
Discuss: Hacker News
🤖Program Synthesis
Proposed LLM Optimization Metric: Minimum ticks to get to a certain thought
blog.hermesloom.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Low-Altitude UAV Tracking via Sensing-Assisted Predictive Beamforming
arxiv.org·3d
🧩Separation Logic