Oceans: Theory to Implementation
gikster.dev·2d·
Discuss: Hacker News
🐫OCaml
RinaWarp Terminal v1.0.9 Beta Access – Now Available
rinawarp-terminal.vercel.app·4d·
Discuss: Hacker News
🔬Unikernels
LTX Video Breaks The 60-Second Barrier, Redefining AI Video As A Longform Medium
forbes.com·1d·
Discuss: Hacker News
🔬Unikernels
The Component Manifesto
lifeiscontent.net·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
How to Use Open Source Without Losing Your Code, Users, or Sanity
shiftmag.dev·1d·
Discuss: r/programming
📦Unikernel Systems
2025 One Hertz Challenge: Metronalmost is Gunning for Last Place
hackaday.com·1d
🍎XNU Internals
‘State of Virtualization’ Report Reflects Shifting Strategies
thenewstack.io·20h
🖥️Self-hosted Infrastructure
MCP: A Practical Security Blueprint for Developers
thenewstack.io·1d
🛡️seL4
Unmoved mover
en.wikipedia.org·1d·
Discuss: Hacker News
➡️Category Theory
My Participation in the METR AI Productivity Study
domenic.me·1d·
Discuss: Hacker News
👁️System Observability
The best displays to pair with your new Mac
9to5mac.com·5d
💾Retro Computing
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·8h
✓Automated Theorem Proving
Subjective Evaluation Profile Analysis of Science Fiction Short Stories and its Critical-Theoretical Significance
arxiv.org·8h
🔬Static Analysis
Read GitHub repos in one second in VSCode
github.com·1d·
Discuss: Hacker News
❄️Nixified Development
Stadia Maps MCP Server – Location Context for AI
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: 1-click analytics for startups (https://arka.so)
news.ycombinator.com·1d·
Discuss: Hacker News
🔬Static Analysis
Graph Representations for Reading Comprehension Analysis using Large Language Model and Eye-Tracking Biomarker
arxiv.org·8h
➡️Category Theory
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.org·8h
✓Automated Theorem Proving
RefSTAR: Blind Facial Image Restoration with Reference Selection, Transfer, and Reconstruction
arxiv.org·2d
🐫OCaml
Google’s Android head confirms Chrome OS and Android are merging
arstechnica.com·2d·
Discuss: Hacker News
🔬Unikernels