Rogueblox
rogueblox.net·2d·
Discuss: Hacker News
🎮Verification Games
Rerun 0.24 – Light Mode, Streaming Video, Tagged Components
rerun.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
Remote Code Execution Discovered in XTool AnyScan App: Risks to Phones and Vehicles
nowsecure.com·5d·
Discuss: Hacker News
🍎XNU Internals
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev·5d·
Discuss: Hacker News, r/programming
🖥️Self-hosted Infrastructure
Pro AI – Human Segregation
onlyluck.substack.com·8h·
Discuss: Substack
🍎Apple
Human-level AI is not inevitable. We have the power to change course | Garrison Lovely
theguardian.com·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·4d·
Discuss: Hacker News
🎮Verification Games
What people said about an OpenZFS bug
despairlabs.com·5d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
UNAS PRO VS UGREEN 4800 PLUS
reddit.com·1d·
Discuss: r/homelab
📦Unikernel Systems
LiLM-RDB-SFC: Lightweight Language Model with Relational Database-Guided DRL for Optimized SFC Provisioning
arxiv.org·5d
🔤DSLs
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·4d
✓Automated Theorem Proving
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org·4d
✓Automated Theorem Proving
Replay institutional trades for debugging and testing (QuantReplay, open-source)
github.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Everyone's racing to build AI tools, what about interaction with AI socially
news.ycombinator.com·10h·
Discuss: Hacker News
🎮Verification Games
Learning Pluralistic User Preferences through Reinforcement Learning Fine-tuned Summaries
arxiv.org·16h
🔠Type-Level Programming
Smart Routing for Multimodal Video Retrieval: When to Search What
arxiv.org·16h
🐫Embedded OCaml
iOS 26’s Photos app has a helpful new feature for events: Here’s how it works
9to5mac.com·23h
🍎Apple
Janet Feature Demos
github.com·5d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Time Series Forecastability Measures
arxiv.org·16h
👁️System Observability
Looking for Home Network Design Best Practices & Setup Templates
reddit.com·6d·
Discuss: r/homelab
🏠HomeLab