How Hyper Built a 1m-Accurate Indoor GPS
andrewhart.me·1d·
Discuss: Hacker News
🍎Apple
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.uk·5d·
Discuss: Hacker News
🎮Verification Games
How are you handling Git branching for database migrations?
harness.io·1d·
Discuss: Hacker News, r/devops
🔄Reproducible Builds
Tokamak DI container v2 merged
ziggit.dev·3d·
Discuss: Hacker News
📦Unikernel Systems
Rebooting WarGames‘ WOPR with a Pi and Gemini
hackaday.com·4h
💾Retro Computing
Agent Interaction Guidelines
linear.app·16h·
Discuss: Hacker News
✓Automated Theorem Proving
Lobsters Interview with Technomancy
lobste.rs·5d·
Discuss: Lobsters
💾Retro Computing
Synthetic aperture waveguide holography for compact MR displays w large étendue
nature.com·1d·
Discuss: Hacker News
🐫OCaml
Interfaces for representing uncertainty
digitalseams.com·3d·
Discuss: Hacker News
🎮Verification Games
Architecture, Community, and the Spirit of Plan 9
news.ycombinator.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Low-Cost Test-Time Adaptation for Robust Video Editing
arxiv.org·1d
🔬Unikernels
Evaluating the cognitive reality of Spanish irregular morphomic patterns: Humans vs. Transformers
arxiv.org·1d
🐫OCaml
To Rack or Not to Rack?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
MemTool: Optimizing Short-Term Memory Management for Dynamic Tool Calling in LLM Agent Multi-Turn Conversations
arxiv.org·1d
🐫Embedded OCaml
An LLM Driven Agent Framework for Automated Infrared Spectral Multi Task Reasoning
arxiv.org·1d
✓Automated Theorem Proving
Smooth Reading: Bridging the Gap of Recurrent LLM to Self-Attention LLM on Long-Context Tasks
arxiv.org·3d
🎮Verification Games
Recommendations for SATA SSD Bay/Hub (Raspberry Pi)
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Predicting Cognition from fMRI:A Comparative Study of Graph, Transformer, and Kernel Models Across Task and Rest Conditions
arxiv.org·2d
🐫OCaml
HIAL: A New Paradigm for Hypergraph Active Learning via Influence Maximization
arxiv.org·2d
➡️Category Theory
Apple publishes Human-Centered Machine Learning workshop videos
9to5mac.com·6d
🍎Apple