Creating high quality electronics schematics
blog.poly.nomial.co.uk·6d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
My favorite mouse costs less than USD 10
manualdousuario.net·2d·
Discuss: Hacker News
🐫Embedded OCaml
Marc Andreessen's 'Cold War' Warning: U.S. Must AI Race
sovereignnations.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Water Cremation (Alkaline Hydrolysis)
en.wikipedia.org·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Apple returns blood oxygen monitoring to the latest Apple Watches
theverge.com·2d·
Discuss: Hacker News
🍎Apple
Scaling Job Seeker Tools to $1000 MRR per Month with No Ad Spend
proofstories.io·5d·
Discuss: Hacker News
🍎Apple
LLMs tell bad jokes because they avoid surprises
danfabulich.medium.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
UK expands police facial recognition rollout with 10 new vans heading to a town near you
theregister.com·3d·
Discuss: Hacker News
🛡️seL4
The Trials Of Trying To Build An Automatic Filament Changer
hackaday.com·5d
🏠HomeLab
Solar Sailing Serendiep (WHY2025)
cdn.media.ccc.de·4d
⎈Kubernetes
Show HN: React Massive Table
github.com·4d·
Discuss: Hacker News
🔄Finite State Machines
How we stopped a € 50 million project from destroying a forest (and other ways to pick fights with corporations and governments) (WHY2025)
cdn.media.ccc.de·4d
🍎Apple
SparcStation 1+ Finally Gets Attention
hackaday.com·6d
💾Retro Computing
Learning More by Seeing Less: Line Drawing Pretraining for Efficient, Transferable, and Human-Aligned Vision
arxiv.org·4d
➡️Category Theory
TeamMedAgents: Enhancing Medical Decision-Making of LLMs Through Structured Teamwork
arxiv.org·4d
🎮Verification Games
Through Their Eyes: User Perceptions on Sensitive Attribute Inference of Social Media Videos by Visual Language Models
arxiv.org·4d
🏹Effect Systems
Multi-level Advantage Credit Assignment for Cooperative Multi-Agent Reinforcement Learning
arxiv.org·4d
🎮Verification Games
"Getting a Little Rusty" – A guide for vibe coders who need to read Rust
github.com·4d·
Discuss: Hacker News
🔬Static Analysis
Verification Method for Graph Isomorphism Criteria
arxiv.org·4d
✓Automated Theorem Proving
Shaping a Profession, Building a Community: A Practitioner-Led Investigation of Public Interest Technologists in Civil Society
arxiv.org·4d
💻CS