🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Zoho Launches Zia LLM
zoho.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
What async communication patterns lead to better outcomes for engineers?
rdel.substack.com·15h·
Discuss: Substack
🔄Reproducible Builds
Show HN: Macuse – Give Your AI Superpowers on macOS
macuse.app·1d·
Discuss: Hacker News
🍎Apple
Introducing XMLUI
blog.jonudell.net·11h·
Discuss: Hacker News
🧱Immutable Infrastructure
History and Overview of Graphics APIs on Apple macOS (2024)
catskull.net·1d·
Discuss: Hacker News
💾Retro Computing
Building production-ready apps with LLMs
blog.leap.new·4d·
Discuss: r/programming
🔄Reproducible Builds
Finally have FTTH at home, however the router I was planning to use temporarily doesn't work, so I had to bring out the big guns
i.redd.it·22h·
Discuss: r/homelab
🏠HomeLab
Let Me Cook You a Vulnerability: Exploiting the Thermomix TM5
synacktiv.com·3d·
Discuss: Lobsters, Hacker News
💾Retro Computing
Show HN: Claude Memory Visualizer
github.com·1d·
Discuss: Hacker News
💾Retro Computing
A Sloth could do complex tasks in NixOS
lemosjose.github.io·3d·
Discuss: Hacker News
❄️Nix
Linux and Secure Boot certificate expiration
lwn.net·1d·
Discuss: Hacker News
🔬Unikernels
China proves that open models are more effective than all the GPUs in the world
theregister.com·4h·
Discuss: Hacker News
🔬Unikernels
A Vulnerable Simulator for Drone Penetration Testing
hackaday.com·1d
👁️System Observability
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·3d
🔬Static Analysis
Grappling with the Existential Panic over AI
easydns.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
LanePerf: a Performance Estimation Framework for Lane Detection
arxiv.org·1d
💻CS
Building a Low-Power, Low-Cost Home Lab for Self-Hosting, Plex, and ML Workflows - Feedback on HP ProDesk 600 G5 SFF Setup?
reddit.com·15h·
Discuss: r/homelab
🏠HomeLab
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·6d·
Discuss: Hacker News
🐫OCaml
Evaluating LLMs in Medicine: A Call for Rigor, Transparency
arxiv.org·4d
🔍Formal Verification
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·3d
🎮Verification Games