AI slop fills the information void of Air India crash investigation
theaircurrent.com·15h·
Discuss: Hacker News
👁️System Observability
Landmark Langlands Proof Advances Grand Unified Theory of Math
scientificamerican.com·21h·
Discuss: Hacker News
➡️Category Theory
I was tired of struggling to find a good apartment in NYC, so I built a free tool that finds the most undervalued apartments to buy/rent in NYC, helping me buy ...
realerestate.org·1d·
Discuss: Hacker News, r/InternetIsBeautiful
🍎Apple
Google DeepMind Formal Conjectures
google-deepmind.github.io·1d·
Discuss: Hacker News
➡️Category Theory
No record left behind: How Warpstream can withstand regional outages
warpstream.com·3d·
Discuss: Hacker News
⎈Kubernetes
Why Every Go Library Should Implement Must* Methods
blog.cansu.dev·3d·
Discuss: Hacker News
🛡️seL4
The old Caveman Chemistry website
cavemanchemistry.com·1d·
Discuss: Hacker News
💾Retro Computing
Cursor for Product Managers
ephor.co·2d·
Discuss: Hacker News
✓Automated Theorem Proving
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·4d·
Discuss: Hacker News
✓Automated Theorem Proving
AI Culture: The Next Evolution of Intelligence
notes.iunknown.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Testing Exaone4 32B Q5
medium.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Short Takes #2
secondthoughts.ai·3d·
Discuss: Hacker News
🤖Program Synthesis
Ask HN: How do you validate a product idea before building?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Show HN: An Intuitive Go Library for Handling Complex Permission/RBAC
github.com·2d·
Discuss: Hacker News, r/golang
🛡️seL4
Full circle buyer cycle last night
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Show HN: DOMTranslator package to translate text nodes in DOM
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Tri-Learn Graph Fusion Network for Attributed Graph Clustering
arxiv.org·1d
➡️Category Theory
Active Supply Chain Attack: npm Phishing Campaign Leads to Prettier Tooling Packages Compromise
socket.dev·3d·
Discuss: Hacker News
❄️Nixified Development
Thoughts on External Memory for LLMs
medium.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
SCOPE for Hexapod Gait Generation
arxiv.org·1d
🐫OCaml