🔬 Unikernels

Library OS, Minimalist Systems, MirageOS, Single-Purpose VMs

I Created a Pop Star Using AI, and She's Dropping an Album in 2065
lumavemusic.com·5h·
Discuss: Hacker News
🍎Apple
ESP32-P4-WIFI6 Development Board with Wi-Fi 6 and Bluetooth 5 Support
linuxgizmos.com·1d·
Discuss: Hacker News
📦Unikernel Systems
The String Theory [David Foster Wallace, 1996]
esquire.com·1d·
Discuss: Hacker News
➡️Category Theory
Consistent MySQL Structure.sql Diffs for Rails
lovro-bikic.github.io·15h·
Discuss: Hacker News
🔄Reproducible Builds
A report card for Indian IT companies
thedailybrief.zerodha.com·5h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
RailsConf workshop recording and Ruby Friends v1.2
masilotti.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: Why Is Finding Internal Experts So Hard? I Built an AI to Change That
exploredarkmatter.com·1d·
Discuss: Hacker News
🎮Verification Games
How JIT builds of CPython work
savannah.dev·3d·
Discuss: Hacker News
⚙️PL Implementation
What’s new in NotebookLM: Video Overviews and an upgraded Studio
blog.google·3d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
Show HN: An AI agent and interface that maps your chat, designed for deep dives
proread.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Files Are Living Rent-Free in Someone's Cloud Forever (and That's Weird)
medium.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Sex toy maker Lovense threatens legal action after fixing security flaws that exposed users’ data
techcrunch.com·9h·
Discuss: Hacker News
🍎Apple
Large-Scale Linear Energy System Optimization: A Systematic Review on Parallelization Strategies via Decomposition
arxiv.org·2d
🏹Effect Systems
Why not? Developing ABox Abduction beyond Repairs
arxiv.org·2d
✓Automated Theorem Proving
Hebbian Memory-Augmented Recurrent Networks: Engram Neurons in Deep Learning
arxiv.org·2d
🐫Embedded OCaml
AWS Serverless implementation of all of the OpenAI API documentation examples
github.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Probabilistic Directed Distance Fields for Ray-Based Shape Representations
arxiv.org·2d
🔠Type-Level Programming
Uncovering the Fragility of Trustworthy LLMs through Chinese Textual Ambiguity
arxiv.org·20h
✓Automated Theorem Proving
Show HN: An AI agent that learns your product and guides your users
news.ycombinator.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Empromptu.ai – No code, AI app builder with RAG, model, evals etc.
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds