Enhancing Firefox's Find-in-Page for Keyboard Navigation
h.43z.one·15h·
Discuss: Hacker News
❄️Nix
European Cloud Hosting with Exoscale
exoscale.com·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How we discovered, and recovered from, Postgres corruption on the matrix.org homeserver
matrix.org·4d·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
More than you wanted to know about how Game Boy cartridges work
abc.decontextualize.com·4d·
Discuss: Lobsters, Hacker News
💾Retro Computing
Make ChatGPT Less Human
chromamine.com·1d·
Discuss: Hacker News
🐫OCaml
Cursor for QA – TestChimp Launches AI Test Assistant in the Browser
testchimp.io·4d·
Discuss: Hacker News
👁️System Observability
Software Development at 800 Words Per Minute
neurrone.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Computer Architecture Extending The Von Neumann Model With A Dedicated Reasoning Unit For Native Artificial General Intelligence(TU Munich, Pace U.)
semiengineering.com·3d·
Discuss: Hacker News
🍎XNU Internals
Who Is LLM?
martinfowler.com·4d·
Discuss: Hacker News
🛡️seL4
FileMock - Client-side mock file generator
reddit.com·16h·
Discuss: r/programming
❄️Nixified Development
Benchmarking Retrieval-Augmented Generation (RAG) Systems
amirkabbara.substack.com·3d·
Discuss: Substack
🛡️seL4
Show HN: AnkiTTS (Anki Text to Speech)
github.com·3d·
Discuss: Hacker News
🔬Unikernels
Strategyproofness and Monotone Allocation of Auction in Social Networks
arxiv.org·4d
✓Automated Theorem Proving
2025 One Hertz Challenge: 16-Bit Tower Blinks at One Hertz
hackaday.com·3d
🍎XNU Internals
BrisT1D Dataset: Young Adults with Type 1 Diabetes in the UK using Smartwatches
arxiv.org·1d
🔠Type-Level Programming
LLM Meets the Sky: Heuristic Multi-Agent Reinforcement Learning for Secure Heterogeneous UAV Networks
arxiv.org·2d
📡Network Protocol Design
Oso Focuses on Fine-Grained Authorization To Thwart AI Risks
thenewstack.io·2d
🛡️seL4
I built an open source wisprflow
github.com·1d·
Discuss: Hacker News
🍎Apple
Amazon Q: Now with Helpful AI-Powered Self-Destruct Capabilities
lastweekinaws.com·3d·
Discuss: Hacker News
🛡️seL4
I'm 22 and spent a month optimizing CUDA kernels on my 5-year-old laptop. Results: 93K ops/sec beating NVIDIA's cuBLAS by 30-40%
github.com·2d·
Discuss: r/programming
👁️System Observability