🔬 Unikernels

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

Amazon Is Selling M4 MacBook Airs for $200 Off
amazon.com·4d
🍎Apple
A Comprehensive Review of JFS (Journaled File System)
machaddr.substack.com·4d·
Discuss: Substack
🖥️Self-hosted Infrastructure
Apple Warns Investors About Risk of Massive Deal With Google Ending
macrumors.com·1d·
Discuss: Hacker News
🍎Apple
Installing Windows 3.1 on DR DOS 6.0
rubenerd.com·5d·
Discuss: Hacker News
💾Retro Computing
LLVM integrated assembler: Engineering better fragments
maskray.me·6d·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
Rao Reading Algorithm
raohacker.com·4d·
Discuss: Hacker News
➡️Category Theory
Can you tell if that song AI-generated?
apnews.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Every Single Human. Like. Always.
randsinrepose.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Singularity Cipher: A Topology-Driven Cryptographic Scheme Based on Visual Paradox and Klein Bottle Illusions
arxiv.org·3d
🐫OCaml
A Machine Learning Approach for Honey Adulteration Detection using Mineral Element Profiles
arxiv.org·1d
🔍Formal Verification
VMware ESXi with GPU rtx5060
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Lost puppy in need of a wise wizard, where to look?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Inference Gateway – Open-Source
github.com·6d·
Discuss: Hacker News
📦Unikernel Systems
UnsafeChain: Enhancing Reasoning Model Safety via Hard Cases
arxiv.org·3d
🛡️seL4
Survey of NLU Benchmarks Diagnosing Linguistic Phenomena: Why not Standardize Diagnostics Benchmarks?
arxiv.org·4d
🔬Static Analysis
Designing for Self-Regulation in Informal Programming Learning: Insights from a Storytelling-Centric Approach
arxiv.org·2d
🎮Verification Games
RATE: An LLM-Powered Retrieval Augmented Generation Technology-Extraction Pipeline
arxiv.org·3d
🐫OCaml
The role of LLMs in academic reviewing
sigarch.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
RLVMR: Reinforcement Learning with Verifiable Meta-Reasoning Rewards for Robust Long-Horizon Agents
arxiv.org·2d
🎮Verification Games
The Pragmatic Mind of Machines: Tracing the Emergence of Pragmatic Competence in Large Language Models
arxiv.org·1d
🐫OCaml