Models of European Metro Stations
stations.albertguillaumes.cat·1d·
Discuss: Hacker News
⚙️PL Implementation
Ohio bill would let utilities throttle customers' thermostats and water heaters
woub.org·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Truth About Bullshit: On Harry Frankfurt
press.princeton.edu·1d·
Discuss: Hacker News
➡️Category Theory
Looking for feedback: heads-up poker training app
app.pokerheads.de·3d·
Discuss: r/programming
🎮Verification Games
YouTube No Translation
chromewebstore.google.com·1d·
Discuss: Hacker News
🍎Apple
Exploring Canton: a privacy-preserving distributed ledger for finance
quant.engineering·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Findings from six months of running `govulncheck` in CI
brandur.org·4d·
Discuss: Hacker News
📊Runtime Verification
History of the Gem Desktop Environment
nemanjatrifunovic.substack.com·2d·
Discuss: Substack
💾Retro Computing
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·6d·
Discuss: Hacker News
✓Automated Theorem Proving
How do AI models generate videos?
technologyreview.com·3d·
Discuss: Hacker News
📚Automata Learning
America is Still Working (2024)
fusionaier.org·2d·
Discuss: Hacker News
📚Automata Learning
Show HN: Llmswap – Universal AI SDK and Code Generation CLI
sreenathmenon.com·5d·
Discuss: Hacker News
🐳Containerization
Password1: how scammers exploit variations of your logins
theguardian.com·1d·
Discuss: Hacker News
🍎Apple
The Treasury Is Expanding the Patriot Act to Attack Bitcoin Self Custody
tftc.io·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: A Deep Research MCP Agent (and pitfalls I hit along the way)
thealliance.ai·5d·
Discuss: Hacker News
🧠Automated Reasoning
meow: Yet another modal editing on Emacs
github.com·3d·
Discuss: Lobsters, Hacker News
🍏Darwin
We built an Artificial Brain that forms memories, generate original thoughts
github.com·5d·
Discuss: Hacker News
📚Automata Learning
Domain Knowledge is Power: Leveraging Physiological Priors for Self Supervised Representation Learning in Electrocardiography
arxiv.org·5d
📚Automata Learning
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.org·5d
✓Automated Theorem Proving
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·4d
📚Automata Learning