I (a software engineer) tried to learn basic electronics by building fireflies 🤓
a64.in·4d·
Discuss: r/programming
💾Retro Computing
Researchers Map Where Solar Energy Delivers the Biggest Climate Payoff
rutgers.edu·16h·
Discuss: Hacker News
🏹Effect Systems
Show HN: I built an AI that turns scripts into AI stock footage
autostockfootage.com·22h·
Discuss: Hacker News
💾Retro Computing
Bragi and OpenAI team up to offer ChatGPT-enabled headphones
9to5mac.com·3d
🔬Unikernels
How to Future-Proof Your Work and Life with a Personal OS
thenextshift.beehiiv.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Let's Upgrade a 2010 iMac – The Retro Millennial
retropunk.substack.com·1d·
Discuss: Substack
💾Retro Computing
Kintsugi: Decentralized E2EE Key Recovery
arxiv.org·3d
🌐NetworkProtocols
10 years of sustainable open source
about.readthedocs.com·5d·
Discuss: Hacker News
🔬Unikernels
How to Name Files
github.com·1d·
Discuss: Hacker News
🍎Apple
Stack Overflow's 2025 Developer Survey Reveals Trust in AI at an All Time Low
stackoverflow.co·3d·
Discuss: Hacker News, r/webdev
🤖Program Synthesis
Large Language Models
davidtemplin.name·3d·
Discuss: Hacker News
🔠Type-Level Programming
Rules for AI coding assistants working with the Linux kernel codebase
lore.kernel.org·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Neural Autoregressive Modeling of Brain Aging
arxiv.org·1d
➡️Category Theory
Windows 11 is a minefield of micro-aggressions in the shipping lane of progress
theregister.com·4d·
Discuss: Hacker News
🔬Unikernels
Tracking Moose using Aerial Object Detection
arxiv.org·3d
👁️System Observability
Ask HN: How to visualize all human thought
news.ycombinator.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
DeepJIVE: Learning Joint and Individual Variation Explained from Multimodal Data Using Deep Learning
arxiv.org·4d
🏹Effect Systems
ART: Adaptive Relation Tuning for Generalized Relation Prediction
arxiv.org·1d
🐫Embedded OCaml
Deciding what hardware to use for upcoming homelab project
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
An LLM Driven Agent Framework for Automated Infrared Spectral Multi Task Reasoning
arxiv.org·3d
✓Automated Theorem Proving