🔬 Unikernels

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

Common Expression Language – Fast, safe expression language
cel.dev·3h·
Discuss: Hacker News
⚙️PL Implementation
Patch Package OTP 26.2.5.14 Released – Erlang News
erlangforums.com·4d·
Discuss: Hacker News
❄️Nixified Development
How to create a PDFs API using Puppeteer with auto-deploy to AWS Lambda
buglesstack.com·20h·
Discuss: Hacker News
🔄Reproducible Builds
(Gradient) Descent into Mediocrity
hey.paris·5h·
Discuss: Hacker News
💾Retro Computing
Caches and Abstractions
parallelprogrammer.substack.com·5d·
Discuss: Substack, r/programming
⚙️Operating System Design
Show HN: MakePostAI AI that helps creators generate viral posts, reels and ideas
makepostai.com·14h·
Discuss: Hacker News
🍎Apple
The Curious Case of the UNIX workstation layout
thejpster.org.uk·3d·
Discuss: Hacker News
💾Retro Computing
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·3d·
Discuss: Hacker News
🛡️seL4
When Everything Is Vibing
computerworld.com·2d·
Discuss: Hacker News
💾Retro Computing
I am a Rust compiler engineer looking for a new job
nnethercote.github.io·4d·
Discuss: Hacker News
❄️Nixified Development
Preventing an Extractive Green Hydrogen Industry: Risks and Benefits of Grid Expansion and Green Hydrogen in and for Kenya
arxiv.org·5h
🖥️Self-hosted Infrastructure
Mixture of Autoencoder Experts Guidance using Unlabeled and Incomplete Data for Exploration in Reinforcement Learning
arxiv.org·5h
🎮Verification Games
Rethinking Suicidal Ideation Detection: A Trustworthy Annotation Framework and Cross-Lingual Model Evaluation
arxiv.org·5h
🐫OCaml
DeSamba: Decoupled Spectral Adaptive Framework for 3D Multi-Sequence MRI Lesion Classification
arxiv.org·5h
🐫Embedded OCaml
Show HN: Duende: Web UX for guiding Gemini as it improves your source code
github.com·1d·
Discuss: Hacker News
🛡️seL4
HPE Smart Array P420 on desktop
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Artificial Intelligence for Green Hydrogen Yield Prediction and Site Suitability using SHAP-Based Composite Index: Focus on Oman
arxiv.org·5h
✓Automated Theorem Proving
Time-RA: Towards Time Series Reasoning for Anomaly with LLM Feedback
arxiv.org·5h
✓Automated Theorem Proving
QUTCC: Quantile Uncertainty Training and Conformal Calibration for Imaging Inverse Problems
arxiv.org·5h
➡️Category Theory
Open Source Is Too Important To Dilute
thenewstack.io·4d
📦Unikernel Systems