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·14h·
Discuss: Hacker News
🔍Formal Verification
ErnieApp – Privacy Knowledge Manager
ernieapp.com·2d·
Discuss: Hacker News
🍎Apple
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
Sex tests brought in after data showed 50-60 DSD athletes in finals, World Athletics says
theguardian.com·1d·
Discuss: Hacker News
🔤DSLs
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 the West gets wrong about Chinese innovation
monocle.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
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
Internet scale routing with NixOS (nixcon2025)
cdn.media.ccc.de·2d
📡Network Protocol Design
Chord generating MIDI controller using RP2350
github.com·2d·
Discuss: Hacker News
🍎Apple
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
Be Careful When Assigning ArenaAllocators (2024)
openmymind.net·5d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
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