I just wanted to teach my kid to code — ended up building a full AI app.
vibelf.com·1d·
Discuss: r/programming
🎮Verification Games
It is 1939 and you want to use public-key cryptography
shkspr.mobi·1d·
Discuss: Hacker News, shkspr.mobi
🛡️seL4
Show HN: Novaflow (YC S25) – AI Data Analyst for Life Science Researchers
novaflowapp.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Rtrvr
rtrvr.ai·12h·
Discuss: Hacker News
🔄Reproducible Builds
Writing Custom Open-Source UI for Vivaldi Browser
velzie.rip·1d·
Discuss: Hacker News
📦Unikernel Systems
The REM-arkable Misadventures of LIST
masswerk.at·6d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
Adapting Teaching and Assessment Strategies in the Age of LLMs
kstan.gitlab.io·13h·
Discuss: Hacker News
🎮Verification Games
Qthreads – large numbers of threads conveniently and easily
github.com·3d·
Discuss: Hacker News
❄️Nixified Development
QuantoniumOS: A Hybrid Computational Framework
github.com·5d·
Discuss: Hacker News
📦Unikernel Systems
What Factors Affect LLMs and RLLMs in Financial Question Answering?
arxiv.org·10h
✓Automated Theorem Proving
Warp Goes Agentic: A Developer Walk-Through of Warp 2.0
thenewstack.io·2d
🛡️seL4
APC 7900B PDU Per-Outlet Monitoring?
reddit.com·9h·
Discuss: r/homelab
🏠HomeLab
Cisco UCS 220 M5 for 89€?
reddit.com·19h·
Discuss: r/homelab
🏠HomeLab
Measuring the Impact of LLMs on Experienced Developer Productivity
hackaday.com·2d
👁️System Observability
Data Science Weekly – Issue 607
datascienceweekly.substack.com·3d·
Discuss: Substack
👁️System Observability
Show HN: Petrichor – a free, open-source, offline music player for macOS
github.com·4d·
Discuss: Hacker News
🍎Apple
Apple planning new Mac external display, MacBooks, iPads, and more for early 2026
9to5mac.com·3d
🍎Apple
Ask HN: How do you handle charging users for AI usage?
news.ycombinator.com·15h·
Discuss: Hacker News
✓Automated Theorem Proving
Update to my home lab!
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Unifi NAS Pro or Synology RS1219 for XCP-NG NFS storage
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab