🔬 Unikernels

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

Tour de force: Vivaldi and Renault team up for the best on-road experience
vivaldi.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Universal Tool Calling Protocol (UTCP)
utcp.io·1d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: A Scarce Cryptoasset Rooted in Private ETH Destruction
worm.cx·3d·
Discuss: Hacker News
⚙️Operating System Design
Programming Languages: Application and Interpretation
plai.org·2d·
Discuss: Hacker News
⚙️PL Implementation
Augmented Engineering: How Shopify Tackles Large-Scale Problems With AI
aviator.co·1d·
Discuss: r/programming
🔄Reproducible Builds
Practical notes on getting LLMs to generate new ideas
seangoedecke.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Coded my homelab from scratch using Ansible
i.redd.it·3d·
Discuss: r/homelab
🏠HomeLab
BioAnalyst: A Foundation Model for Biodiversity
arxiv.org·1d
🔠Type-Level Programming
WordPress Turmoil and the FAIR Package Manager
thenewstack.io·1d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: KisanAI – WhatsApp Agricultural Assistant
github.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Illuminating the Three Dogmas of Reinforcement Learning under Evolutionary Light
arxiv.org·9h
✓Automated Theorem Proving
A Leap-on-Success Exhaustive Search Method to Find Optimal Robust Minimum Redundancy Arrays (RMRAs): New Array Configurations for Sensor Counts 11 to 20
arxiv.org·9h
🔍Formal Verification
A Multi-View High-Resolution Foot-Ankle Complex Point Cloud Dataset During Gait for Occlusion-Robust 3D Completion
arxiv.org·9h
🔄Finite State Machines
Ralph Wiggins as a "Software Engineer"
ghuntley.com·2d·
Discuss: Hacker News, Hacker News
🤖Program Synthesis
Exploring User Security and Privacy Attitudes and Concerns Toward the Use of General-Purpose LLM Chatbots for Mental Health
arxiv.org·9h
🐫OCaml
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·1d
✓Automated Theorem Proving
Agentic Large Language Models for Conceptual Systems Engineering and Design
arxiv.org·2d
🤖Program Synthesis
3DGAA: Realistic and Robust 3D Gaussian-based Adversarial Attack for Autonomous Driving
arxiv.org·1d
🎮Verification Games
MP1: Mean Flow Tames Policy Learning in 1-step for Robotic Manipulation
arxiv.org·1d
🔄Finite State Machines
Supporting SEN\'{C}OTEN Language Documentation Efforts with Automatic Speech Recognition
arxiv.org·9h
🐫OCaml