The Caligra c100 "developer terminal" is available for pre-order
caligra.com·2d·
Discuss: Hacker News
🍎XNU Internals
The Story of Mel
irreal.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
Meta Poaches Two More Apple AI Executives
macrumors.com·17h·
Discuss: Hacker News
🍎Apple
How I used ChatGPT to analyze, debug, and rewrite a broken plugin from scratch - in an hour (7/2025)
zdnet.com·1d·
Discuss: r/programming
✓Automated Theorem Proving
Commodore, Apple, and the early computer days ↦
sixcolors.com·2d·
Discuss: Hacker News
💾Retro Computing
The “Working from China” Problem
magoo.medium.com·23h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AI That Thinks Offline, Skia Animations, and a Glimpse of the Future
thereactnativerewind.com·2d·
Discuss: Hacker News
🔬Unikernels
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
PHP License Update
wiki.php.net·3d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nixified Development
maxsim-cpu: Maximising Maxsim Efficiency
mixedbread.com·3d·
Discuss: Hacker News
💾Retro Computing
Mailstation Development
fybertech.net·3d·
Discuss: Hacker News
🔬Unikernels
DPNO: A Dual Path Architecture For Neural Operator
arxiv.org·16h
💻CS
Least expensive way to get more RAM?
reddit.com·2d·
Discuss: r/homelab
💾Retro Computing
BlueGlass: A Framework for Composite AI Safety
arxiv.org·3d
🔄Finite State Machines
Which OS would you choose today to set up a bioinformatics server that won't become obsolete in the next years?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
COLI: A Hierarchical Efficient Compressor for Large Images
arxiv.org·2d
🐫OCaml
Show HN: Ggc – A terminal-based Git CLI written in Go
github.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
I want a NAS, but I'm analysis-paralysis-stuck!
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
I want a NAS, but I'm analysis-paralysis-stuck!
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
STAGED: A Multi-Agent Neural Network for Learning Cellular Interaction Dynamics
arxiv.org·1d
🤖Program Synthesis