Great Ideas in Theoretical Computer Science
ocw.mit.edu·3d·
Discuss: Hacker News
💻CS
Seeing the unseen: Trinity team builds game-changing particle impact machine
tcd.ie·4d·
Discuss: Hacker News
🐫Embedded OCaml
How AI Is Revolutionizing Hospital Staff Scheduling in 2025
shiftly.cloud·2d·
Discuss: Hacker News
🤖Program Synthesis
From Tech Lash to Tech Fash – Aug 19th
tech-organizing-reflections.github.io·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
UK Court Ruling Leaves Wikipedia Facing Years Of Uncertainty Under Online Safety Act
techdirt.com·3d·
Discuss: Hacker News
🍎Apple
Sam 2: Segment Anything in Images and Videos
openreview.net·4d·
Discuss: Hacker News
⚙️Operating System Design
Does GPT-2 Know Your Phone Number? (2020)
bair.berkeley.edu·5d·
Discuss: Hacker News
🎮Verification Games
Got 100 Rejections, No FAANG Internship – Still Made Senior SWE
fullstackinsider.com·5d·
Discuss: DEV, Hacker News
🧗Climbing Tech
Task Files
quexxon.net·5d·
Discuss: Hacker News
❄️Nixified Development
AI Models Are the Gold, Forward-Deployed Engineers Are the Gold Miners
emcap.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Your iPhone battery can last longer with this new iOS 26 feature
9to5mac.com·1d
🍎Apple
HiFACTMix: A Code-Mixed Benchmark and Graph-Aware Model for EvidenceBased Political Claim Verification in Hinglish
arxiv.org·2d
✓Automated Theorem Proving
CognitiveArm: Enabling Real-Time EEG-Controlled Prosthetic Arm Using Embodied Machine Learning
arxiv.org·5d
🏹Effect Systems
Democratizing Diplomacy: A Harness for Evaluating Any Large Language Model on Full-Press Diplomacy
arxiv.org·5d
🐫OCaml
SharpXR: Structure-Aware Denoising for Pediatric Chest X-Rays
arxiv.org·4d
🔠Type-Level Programming
Panamaram: Personal Finance Expense Tracker
github.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
An (m,k)-firm Elevation Policy to Increase the Robustness of Time-Driven Schedules in 5G Time-Sensitive Networks
arxiv.org·3d
📡Network Protocol Design
New Apple products launching next month, here’s what’s coming
9to5mac.com·3d
🍎Apple
Gaze-Based Indicators of Driver Cognitive Distraction: Effects of Different Traffic Conditions and Adaptive Cruise Control Use
arxiv.org·2d
🔄Finite State Machines
PROPS: Progressively Private Self-alignment of Large Language Models
arxiv.org·5d
💻CS