Atari Ireland: Tipperary's Arcade Connection
arcadeblogger.com·23h·
Discuss: Hacker News
💾Retro Computing
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·3d·
Discuss: Hacker News
➡️Category Theory
Logical implication is a comparison operator
btdmaster.bearblog.dev·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Taikyoku Shogi
en.wikipedia.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
You Can't Buy Integration (2021)
martinfowler.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Producing Uncompressed PNG Files
nigeltao.github.io·2d·
Discuss: Hacker News
🐫Embedded OCaml
Metis Agent Starter Kit – Build production AI agents in minutes, not weeks
news.ycombinator.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Moving from an orchestration-heavy to leadership-heavy management role.
lethain.com·2d·
Discuss: Hacker News
🛡️seL4
Super Performance
cpj.fyi·2d·
Discuss: Hacker News
🔄Reproducible Builds
Bearing Witness: Measuring the Wobbles in Rotary Build
hackaday.com·7h
👁️System Observability
Rust: Clippy performance status update
blog.goose.love·2d·
Discuss: Lobsters
🔬Static Analysis
Ask HN: What's the worst part of web E2E testing?
news.ycombinator.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Effective Practices for Coding with a Chat-Based AI
infoq.com·4d·
Discuss: Hacker News
⚙️PL Implementation
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·4d
✓Automated Theorem Proving
Short Takes #2
secondthoughts.ai·2d·
Discuss: Hacker News
🤖Program Synthesis
Expansive Natural Neural Gradient Flows for Energy Minimization
arxiv.org·14h
🐫OCaml
Managing and Motivating Developers (2008)
computerworld.com·4h·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: One-Click Viral Shorts Creator – No Prompt Needed
viralshortmaker.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Spent the week at one of the top AI research conferences
aol.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Dear Sam Altman
news.ycombinator.com·22h·
Discuss: Hacker News
💻CS