Using terminal-notifier in Claude Code to get custom notifications
andreagrandi.it·2d·
Discuss: Hacker News
❄️Nix
Dell PowerEdge R740XD GPU installation
coral.ai·7h·
Discuss: r/homelab
🏠HomeLab
Show HN: GrokVocab – I Built a Vocabulary App Without Flashcards or Memorization
grokvocab.com·1d·
Discuss: Hacker News
🎮Verification Games
Ten Simple Rules for Mathematical Writing
web.mit.edu·2d·
Discuss: Hacker News
✓Automated Theorem Proving
I just wanted to teach my kid to code — ended up building a full AI app.
vibelf.com·1d·
Discuss: r/programming
🎮Verification Games
I solved the IIT-JEE Mains paper with LLM. Here are the results
iexplain.app·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·6d·
Discuss: Hacker News
➡️Category Theory
Keeping the AI on the Leash but How?
medium.com·41m·
Discuss: Hacker News
🎮Verification Games
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·2d
✓Automated Theorem Proving
Show HN: Changelog Checker – Aggregate and Inspect Your Dependency Changelogs
github.com·15h·
Discuss: Hacker News
❄️Nixified Development
My roommates and I are in the process of buying a home, and I am researching the things I can do to facilitate a home lab of my own.
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Claude Opus Analysis of Twitter's 2023 ML Algorithm
github.com·1d·
Discuss: Hacker News
🛡️seL4
Kubernetes PV (pre-)provisioning/management with frequent infrastructure redeployment
reddit.com·2d·
Discuss: r/homelab
⎈Kubernetes
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·4d
🔄Reproducible Builds
Hono Shows the Way for Microframeworks in a Post-React World
thenewstack.io·1d
🖥️Self-hosted Infrastructure
Early Signs of Steganographic Capabilities in Frontier LLMs
arxiviq.substack.com·5d·
Discuss: Substack
🛡️seL4
Chat2SPaT: A Large Language Model Based Tool for Automating Traffic Signal Control Plan Management
arxiv.org·4d
🔄Finite State Machines
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·5d·
Discuss: Hacker News
🔬Unikernels
Hackaday Links: July 13, 2025
hackaday.com·2h
💾Retro Computing
Can't access Zyxel GS1900-8 after factory reset — not showing up anywhere
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab