Mastering the Open File
lichess.org·3d·
Discuss: Hacker News
🎮Verification Games
Dam sabotage blamed on pro-Russia hackers
newsinenglish.no·1d·
Discuss: Hacker News
🛡️seL4
Violence as Disease
traum-und-verantwortung.de·1d·
Discuss: Hacker News
➡️Category Theory
Show HN: Simple VSCode ext to edit Postgres fixtures
marketplace.visualstudio.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Crypto Firm Bullish Surges 143% in Debut After $1.1 Billion IPO
bloomberg.com·2d·
Discuss: Hacker News
🍎Apple
Mosfet Dreams
blog.ajith.fyi·4d·
Discuss: Hacker News
🐫Embedded OCaml
Can't open bank account due to silly address mismatch
news.ycombinator.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Need Feedback: Chat with Google Search Console
asktheconsole.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Scaling the Memory Wall: The Rise and Roadmap of HBM
semianalysis.com·4d·
Discuss: Hacker News
⚙️Operating System Design
How AI Is Revolutionizing Hospital Staff Scheduling in 2025
shiftly.cloud·1d·
Discuss: Hacker News
🤖Program Synthesis
GPT-5 Pushes Vibe Coding Beyond My Wildest Dreams
parkerortolani.blog·5d·
Discuss: Hacker News
📦Unikernel Systems
Data brokers just gave us another reason to hate them
9to5mac.com·1d
🍎Apple
Should you be coding with agents?
algorithmictradeoff.substack.com·4d·
Discuss: Substack
🤖Program Synthesis
OpenAI Moves Fast and Breaks ChatGPT
spyglass.org·3d·
Discuss: Hacker News
🔬Unikernels
Cross-Subject and Cross-Montage EEG Transfer Learning via Individual Tangent Space Alignment and Spatial-Riemannian Feature Fusion
arxiv.org·3d
💻CS
Noob looking for 1st server + PC upgrade. Will old rig work? Not sure what parts to get, if any. Why doesn't /r/BuildAhomeServerForMe exist?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
NAS for multiple USB external drives
reddit.com·13h·
Discuss: r/homelab
🏠HomeLab
Understanding the Security Landscape of MCP
apideck.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
An AI Native Dependency Manager
github.com·4d·
Discuss: Hacker News
📦Unikernel Systems
MESAHA-Net: Multi-Encoders based Self-Adaptive Hard Attention Network with Maximum Intensity Projections for Lung Nodule Segmentation in CT Scan
arxiv.org·4d
💻CS