Nullable but Not Null
efe.me·22h·
Discuss: Lobsters, Hacker News, r/programming
🛡️seL4
Building iBoot
nyansatan.github.io·4d·
Discuss: Hacker News
🍎XNU Internals
Motet for the Record
laphamsquarterly.org·4d·
Discuss: Hacker News
💾Retro Computing
FARM Stack Guide: How to Build Full-Stack Apps with FastAPI, React & MongoDB
datacamp.com·3d·
Discuss: r/programming, r/reactjs
⎈Kubernetes
Show HN: An API for human-powered browser tasks
browser-work.com·4d·
Discuss: Hacker News
👁️System Observability
Say No to Gnulib
rgbcu.be·6d·
Discuss: Hacker News
❄️Nixified Development
Agents Are Not Tools
discuss.google.dev·2d·
Discuss: Hacker News
✓Automated Theorem Proving
LLM Just Got Pwned: The Hidden Danger in MCP Sampling
yassworks.github.io·4d·
Discuss: Hacker News
🛡️seL4
How much longer will AI fever last?
thefuturefactory.com·1d·
Discuss: Hacker News
💾Retro Computing
My Heroku Values (2015)
brandur.org·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Perplexity for Mac now supports MCP, and you should check it out
9to5mac.com·16h
🍎Apple
How are you cooling your homelab?
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
A lightweight TCP in UDP tunnel using eBPF for MPTCP
github.com·2d·
Discuss: Hacker News
📡Network Protocol Design
DeepMind and OpenAI achieve IMO Gold. What does it all mean?
garymarcus.substack.com·3d·
Discuss: Substack
🎮Verification Games
HOComp: Interaction-Aware Human-Object Composition
arxiv.org·3d
💻CS
Emergent Cognitive Convergence via Implementation: A Structured Loop Reflecting Four Theories of Mind (A Position Paper)
arxiv.org·3d
🎮Verification Games
Aligned Manifold Property and Topology Point Clouds for Learning Molecular Properties
arxiv.org·3d
🐫OCaml
Parameter-Efficient Fine-Tuning of 3D DDPM for MRI Image Generation Using Tensor Networks
arxiv.org·1d
🐫OCaml
Build support
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Post-Disaster Affected Area Segmentation with a Vision Transformer (ViT)-based EVAP Model using Sentinel-2 and Formosat-5 Imagery
arxiv.org·2d
🤖Program Synthesis