Checkout this poem I wrote, about anonymous care, with my workflow
theaiworld.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
Cursor for Product Managers
ephor.co·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·1d·
Discuss: Hacker News, Hacker News, Hacker News
🎮Verification Games
RNNoise: Learning Noise Suppression
jmvalin.ca·1d·
Discuss: Hacker News
🐫Embedded OCaml
Firefox Security & Privacy newsletter 2025 Q2
attackanddefense.dev·2d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
The Hidden Costs of Streaming Music (2020)
newyorker.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Open-Meteo: Free Weather Forecast API for Non-Commercial Use
github.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: I Recently Built a Project
news.ycombinator.com·3d·
Discuss: Hacker News
🍎XNU Internals
How AI Can Degrade Human Performance in High-Stakes Settings
ai-frontiers.org·19h·
Discuss: Hacker News
👁️System Observability
Show HN: Default Avatar Generator
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
IoRing_Demos
github.com·1h·
Discuss: Hacker News
⚙️Operating System Design
The Conspiracy of Reason
medium.com·1d·
Discuss: Hacker News
➡️Category Theory
My disaster of a Monday
i.redd.it·2d·
Discuss: r/homelab
💾Retro Computing
Need help with rack layout
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
My (temp) budget homelab
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Cross-lingual Few-shot Learning for Persian Sentiment Analysis with Incremental Adaptation
arxiv.org·2d
🐫OCaml
Active Supply Chain Attack: npm Phishing Campaign Leads to Prettier Tooling Packages Compromise
socket.dev·15h·
Discuss: Hacker News
❄️Nixified Development
Three unrelated thoughts about working with LLMs
henrycourse.com·2d·
Discuss: Hacker News
🔬Unikernels
PUTTY.ORG nothing to do with PuTTY – and now it's spouting pandemic piffle
theregister.com·1d·
Discuss: Hacker News
💾Retro Computing
Stop Building Products Nobody Wants: The Validation Method That Works
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds