🔬 Unikernels

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

How Science may help us smell the past (2017)
cen.acs.org·4h·
Discuss: Hacker News
💾Retro Computing
Amazon is backing a streamer that lets you use AI to make your own TV shows. Read its pitch to Hollywood studios.
businessinsider.com·18h·
Discuss: Hacker News
🎮Verification Games
In the Search for Beauty: Smilga on the Origins of Non-Euclidean Geometry (1970)
mirtitles.org·2d·
Discuss: Hacker News
➡️Category Theory
Transcribe entire folders of audio with elevenlabs with a beginner friendly GUI
reactorcore.itch.io·22h·
Discuss: Hacker News
🍎Apple
AI Abuse to Skirt Copyright Law
nickybay.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Fixing Stuff on Prod
posthero.us·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Pricing AI Proofs-of-Concept: free pilots will kill you
arnon.dk·22h·
Discuss: Hacker News
✓Automated Theorem Proving
The Ultimate Git Tutorial (Git 2.50)
reddit.com·1d·
Discuss: r/programming
🤖Program Synthesis
Need help with MS-01 Proxmox network connectivity
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Playing with Gemini CLI: Riddles, Magic and Some Security Vibes
veganmosfet.github.io·3d·
Discuss: Hacker News
🛡️seL4
VeasyGuide: Personalized Visual Guidance for Low-vision Learners on Instructor Actions in Presentation Videos
arxiv.org·1d
🎮Verification Games
RIS-LAD: A Benchmark and Model for Referring Low-Altitude Drone Image Segmentation
arxiv.org·2d
🐫OCaml
Strategic Motivators for Ethical AI System Development: An Empirical and Holistic Model
arxiv.org·2d
🤖Program Synthesis
Novel Pivoted Cholesky Decompositions for Efficient Gaussian Process Inference
arxiv.org·2d
💻CS
Show HN: Blueboots – A retro themed Fedora OS built with one Containerfile
github.com·6d·
Discuss: Hacker News
⚙️Operating System Design
HP EliteDesk 800 G4 as beginner setup
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
First Home lab
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Empowering Educators in the Age of AI: An Empirical Study on Creating custom GPTs in Qualitative Research Method education
arxiv.org·1d
🎮Verification Games
Can large language models assist choice modelling? Insights into prompting strategies and current models capabilities
arxiv.org·1d
🔠Type-Level Programming
Suppressing Gradient Conflict for Generalizable Deepfake Detection
arxiv.org·1d
🎮Verification Games