Models of European Metro Stations
stations.albertguillaumes.cat·2d·
Discuss: Hacker News
⚙️PL Implementation
Looking for feedback: heads-up poker training app
app.pokerheads.de·3d·
Discuss: r/programming
🎮Verification Games
The Truth About Bullshit: On Harry Frankfurt
press.princeton.edu·1d·
Discuss: Hacker News
➡️Category Theory
Ditch those words!
robinrendle.com·2d·
Discuss: Hacker News
⚙Operational Semantics
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·4d·
Discuss: Hacker News
➡️Category Theory
Google-owner reveals £5bn AI investment in UK ahead of Trump visit
bbc.co.uk·1h·
Discuss: Hacker News
🐫Embedded OCaml
How to Boost Your Productivity While Managing Multiple Projects
freeter.io·1d·
Discuss: Hacker News
🔧Unikernel Development
Exploring Canton: a privacy-preserving distributed ledger for finance
quant.engineering·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·6d·
Discuss: Hacker News
✓Automated Theorem Proving
America is Still Working (2024)
fusionaier.org·2d·
Discuss: Hacker News
📚Automata Learning
Show HN: MCP Server Installation Instructions Generator
hyprmcp.com·16h·
Discuss: Hacker News
🐳Containerization
Don't Build an Audience
humaninvariant.com·3d·
Discuss: Hacker News
🍎Apple
Show HN: A Deep Research MCP Agent (and pitfalls I hit along the way)
thealliance.ai·5d·
Discuss: Hacker News
🧠Automated Reasoning
We built an Artificial Brain that forms memories, generate original thoughts
github.com·6d·
Discuss: Hacker News
📚Automata Learning
meow: Yet another modal editing on Emacs
github.com·3d·
Discuss: Lobsters, Hacker News
🍏Darwin
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·4d·
Discuss: Hacker News
👁️System Observability
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.org·5d
✓Automated Theorem Proving
Recently inherited this rack
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Domain Knowledge is Power: Leveraging Physiological Priors for Self Supervised Representation Learning in Electrocardiography
arxiv.org·5d
📚Automata Learning
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·4d
📚Automata Learning