Hacker News
25.3K subscribers
220K links
Download Telegram
The Foundation of a Generic Theorem Prover (1989) [pdf]
Article, Comments
🌭3
What are third places? How do I find one?
Article, Comments
πŸ‘5🀑4🌭3❀1πŸ”₯1
Show HN: Open-Source Video Editor Web App
Article, Comments
πŸ€”6❀2🌭1
Charlieplexing
Article, Comments
🌭3❀2🀯2
Citation Needed – Wikimedia Foundation's Experimental LLM/RAG Chrome Extension
Article, Comments
🀑8🌭1πŸ–•1
AI Ruined Quora
Article, Comments
πŸ‘14πŸ₯±8πŸ€·β€β™€5πŸ†’4🌭2🍾2πŸ‘1😁1
Binius: Highly efficient proofs over binary fields
Article, Comments
🌭1
23% of bachelor's degrees and 43% of master's degrees have a negative ROI
Article, Comments
🀣34😒11🀯7πŸ†4πŸ–•3πŸ†’3😁1🀑1🌭1
Garbage Collectors Are Scary
Article, Comments
πŸ‘7πŸ‘Ž2πŸ€“2🌭1πŸ’―1