The Caligra c100 "developer terminal" is available for pre-order
caligra.com·1d·
Discuss: Hacker News
🍎XNU Internals
Reverse Engineering the Miele Diagnostic Interface
medusalix.github.io·15h·
Discuss: Hacker News
💾Retro Computing
Grace Hopper: Who Made Programming Possible For Everyone, Everywhere
karthikwritestech.com·1d·
Discuss: r/programming
🔤DSLs
Show HN: GitHub-style Markdown note app to test README content
readmenote.com·1d·
Discuss: Hacker News
🍎Apple
Steve Jobs, the Xerox Alto, and computer typography
righto.com·18h·
Discuss: Hacker News
💾Retro Computing
Game of Trees Hub
gothub.org·2d·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
My Bank Keeps on Undermining Anti-Phishing Education
moritz-mander.de·18h·
Discuss: Hacker News
🎮Verification Games
Links? Links!
infrequently.org·2d·
Discuss: Hacker News
👁️System Observability
Really interesting and pragmatic approach to main and branches - are people using it?
martinfowler.com·4d·
Discuss: r/programming
👁️System Observability
Using AMD MI300X for High-Throughput, Low-Cost LLM Inference
herdora.com·5d·
Discuss: Hacker News
📦Unikernel Systems
Claudeputer
github.com·22m·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: SilentArena – Learn ransomware behavior safely (C-based)
github.com·19h·
Discuss: Hacker News
🛡️seL4
Multiplicative Modular Nim (MuM)
arxiv.org·3d
🐫OCaml
Efficient Adaptation of Pre-trained Vision Transformer underpinned by Approximately Orthogonal Fine-Tuning Strategy
arxiv.org·2h
➡️Category Theory
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·5d·
Discuss: Hacker News
🐫OCaml
Multimodal Coordinated Online Behavior: Trade-offs and Strategies
arxiv.org·1d
🏹Effect Systems
Real-Time Bayesian Detection of Drift-Evasive GNSS Spoofing in Reinforcement Learning Based UAV Deconfliction
arxiv.org·2d
📡Network Protocol Design
A modular, LLM-agnostic fullstack agent framework
github.com·4d·
Discuss: Hacker News
🐫OCaml
Study finds AI tools made open source software developers 19 percent slower
arstechnica.com·3d·
Discuss: Hacker News, r/LocalLLaMA, r/embedded, r/technews
👁️System Observability
Are Developers Out of a Job?
argmin.net·5d·
Discuss: Hacker News
👁️System Observability