Orbit Optima: All-in-one Braille laptop computer
orbitresearch.com·16h·
Discuss: Hacker News
💾Retro Computing
Cyclists: Rivendell Has Crafted the Rear Derailleur of the Century
outsideonline.com·16h·
Discuss: Hacker News
🧗Climbing Tech
When Moon Dust Becomes a Weapon – Universe Today
universetoday.com·12h·
Discuss: Hacker News
🛡️seL4
PostMessage Chrome Extension – 3 Powerful Examples You Can Build
puupnewsapp.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Why is the a difference between the LLMs evaluation benchmark score and its users response?
chat.deepseek.com·3d·
Discuss: r/programming
🧪Property-Based Testing
SQL Injection as a Feature
idiallo.com·4d·
Discuss: Hacker News
🔬Static Analysis
Data-driven tips for YC startup founders
jaredheyman.medium.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Finding the shape of my thoughts
sachachua.com·2d·
Discuss: Hacker News
🍎Apple
CitrixBleed‑2 (CVE‑2025‑5777)
news.ycombinator.com·3d·
Discuss: Hacker News
🛡️seL4
Evolution of HTTP
developer.mozilla.org·3d·
Discuss: Hacker News
📡Network Protocol Design
Building a Sleeper Computer from an SGI Indy
buu342.me·6d·
Discuss: Hacker News
💾Retro Computing
The First Large Visual Memory Model
memories.ai·1d·
Discuss: Hacker News
🔄Finite State Machines
SSL and Domain Monitor Feedback Requested – What do you think of this app?
statusnow.dev·2d·
Discuss: Hacker News
📡Network Protocol Design
Type Checking with Symbolic Execution
bullno1.com·6d·
Discuss: Hacker News
🔬Static Analysis
On "ChatGPT Psychosis" and LLM Sycophancy
lesswrong.com·3d·
Discuss: Hacker News
🐫OCaml
Figgie Auto: An algorithmic sandbox for Jane Street's game, "Figgie"
github.com·3d·
Discuss: Hacker News
🎮Verification Games
CompLeak: Deep Learning Model Compression Exacerbates Privacy Leakage
arxiv.org·2d
🛡️seL4
Sanity check: help me confirm my plan to start my Home lab? TrueNAS (or Unraid) vs Proxmox vs Ugreen and lost in the sauce.
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
BetterCheck: Towards Safeguarding VLMs for Automotive Perception Systems
arxiv.org·2d
🔄Finite State Machines
GhostUMAP2: Measuring and Analyzing (r,d)-Stability of UMAP
arxiv.org·2d
🐫OCaml