Teach Kids Electronics Using Dough: Light Up Caterpillar Project
newsletter.infiniteretry.com·2d·
Discuss: Hacker News
💾Retro Computing
Takeaways from CNBC's Investigation into Walmart Marketplace
cnbc.com·12h·
Discuss: Hacker News
🔍Formal Verification
Procedural Island Generation (III)
brashandplucky.com·3d·
Discuss: Hacker News
🐫OCaml
ErnieApp – Privacy Knowledge Manager
ernieapp.com·2d·
Discuss: Hacker News
🍎Apple
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
Study identifies genetic loci that link brain structure and various psychiatric disorders
medicalxpress.com·3d·
Discuss: Hacker News
🏹Effect 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
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
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
Show HN: Cardinal Maps – FOSS Android Maps App
github.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Low-Altitude UAV Tracking via Sensing-Assisted Predictive Beamforming
arxiv.org·3d
🧩Separation Logic
Software Engineering Leadership in Flux
lesswrong.com·3d
👁️System Observability
Chord generating MIDI controller using RP2350
github.com·2d·
Discuss: Hacker News
🍎Apple