PanVK now uses AFBC by default
collabora.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Toyota Exec Thinks Hydrogen 'Will Take over Diesel'
thedrive.com·2d·
Discuss: Hacker News
❄️Nix
Show HN: Tutrilo – lightweight training management for small providers
tutrilo.com·2d·
Discuss: Hacker News
🍎Apple
Google signed me out of YouTube, Gmail redirects to Google subdomain/Gmail
workspace.google.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Gene editing is changing the meat in our diet
abc.net.au·2d·
Discuss: Hacker News
🍎Apple
User Segmentation
fusionauth.io·3d·
Discuss: Hacker News
⚙️Operating System Design
Tech Stack for Indie Hackers: Keep It Simple and Iterate Fast
blog.andreyfadeev.com·6d·
Discuss: Hacker News
📦Unikernel Systems
From Permission to Contract: Dual Enforcement and Rising Risk in Open Source
shujisado.org·3d·
Discuss: Hacker News
📦Unikernel Systems
What Every Parent Should Know About the AI Future
debliu.substack.com·3d·
Discuss: Substack
🎮Verification Games
I Put ChatGPT into Jail and Let Him Code Anyays
indiehackers.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Cybercriminals pwn 850k+ Americans' healthcare data
theregister.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: Spring Boot and OpenAPI Generator – type-safe clients with generics
github.com·5d·
Discuss: Hacker News
💎Refinement Types
Mental math posts
johndcook.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Beware the AI Prophets and their maelstrom of hype, grifters, techno-messiahs, and pseudo-intellectuals
hedgehogreview.com·3d·
Discuss: Hacker News
🎮Verification Games
Adios Chicos, 25 Years of KDE
jriddell.org·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/linux
🔧Unikernel Development
Work in Progress
i.redd.it·6d·
Discuss: r/homelab
🖥Self-Hosting
On the Regularity and Fairness of Combinatorial Multi-Armed Bandit
arxiv.org·3d
🧩Parser Combinators
Physics-informed sensor coverage through structure preserving machine learning
arxiv.org·5d
🧩Separation Logic
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.org·5d
🔄Reproducible Builds
Toys can tell us a lot about how tech will change our lives
theregister.com·2d·
Discuss: Hacker News
💾Retro Computing