| 1. | | Show HN: Acorn, a theorem prover with built-in AI (acornprover.org) |
| 4 points by lacker 10 months ago | past |
|
| 2. | | Gödel's Incompleteness Theorem in Bash (lacker.io) |
| 189 points by lacker on Feb 24, 2022 | past | 68 comments |
|
| 3. | | How to Get Promoted: A Counterargument (lacker.io) |
| 4 points by lacker on Oct 2, 2020 | past |
|
| 4. | | A Math Theory for Why People Hallucinate (quantamagazine.org) |
| 3 points by lacker on Sept 8, 2020 | past |
|
| 5. | | Paul Graham's “Same Way” (lacker.io) |
| 1 point by lacker on July 27, 2020 | past |
|
| 6. | | Conversation with GPT-3 (lacker.io) |
| 3 points by lacker on July 23, 2020 | past |
|
| 7. | | Giving GPT-3 a Turing Test (lacker.io) |
| 3 points by lacker on July 6, 2020 | past | 1 comment |
|
| 8. | | Types of Truth (lacker.io) |
| 1 point by lacker on Jan 23, 2020 | past |
|
| 9. | | How to 51% Attack Bitcoin (lacker.io) |
| 4 points by lacker on Oct 7, 2019 | past |
|
| 10. | | Buried in the Sky (nautil.us) |
| 1 point by lacker on Aug 26, 2019 | past |
|
| 11. | | Show HN: Axiom, a Blockchain Designed for Decentralized Applications (axiom.org) |
| 21 points by lacker on June 4, 2019 | past | 7 comments |
|
| 12. | | GVisor: making it simple to run sandboxed containers (github.com/google) |
| 2 points by lacker on May 4, 2018 | past |
|
| 13. | | Government Is the Cause Of, Not the Solution To, Online Censorship (reason.com) |
| 1 point by lacker on Dec 14, 2017 | past |
|
| 14. | | The Power of Thinking Irrationally (lacker.io) |
| 1 point by lacker on April 26, 2017 | past |
|
| 15. | | Silicon Valley's Manifest Destiny (lacker.io) |
| 1 point by lacker on April 20, 2017 | past | 1 comment |
|
| 16. | | Facebook announces a 360 Capture SDK (facebook.com) |
| 4 points by lacker on April 19, 2017 | past |
|
| 17. | | React VR: Building Virtual Reality Experiences on the Web (facebook.com) |
| 3 points by lacker on April 18, 2017 | past | 4 comments |
|
| 18. | | Relay Modern: Simpler, Faster, More Extensible (facebook.com) |
| 3 points by lacker on April 18, 2017 | past | 1 comment |
|
| 19. | | Litho: A Declarative UI Framework for Android (facebook.com) |
| 4 points by lacker on April 18, 2017 | past | 3 comments |
|
| 20. | | Caffe2: Open Source Cross-Platform Machine Learning Tools (caffe2.ai) |
| 236 points by lacker on April 18, 2017 | past | 53 comments |
|
| 21. | | Why You Can't Say (lacker.io) |
| 68 points by lacker on April 6, 2017 | past | 86 comments |
|
| 22. | | Why Uber Culture (lacker.io) |
| 2 points by lacker on April 4, 2017 | past |
|
| 23. | | Music in Ancient Greece (lacker.io) |
| 1 point by lacker on March 30, 2017 | past |
|
| 24. | | Socially Irresponsible Investors (lacker.io) |
| 1 point by lacker on March 29, 2017 | past |
|
| 25. | | New React Documentation (facebook.github.io) |
| 2 points by lacker on Oct 21, 2016 | past |
|
| 26. | | React Native: Toward Better Documentation (facebook.github.io) |
| 7 points by lacker on July 6, 2016 | past |
|
| 27. | | Redfin launches React Server, a React framework with server rendering (github.com/redfin) |
| 8 points by lacker on May 20, 2016 | past | 2 comments |
|
| 28. | | Introducing Hot Reloading in React Native (facebook.github.io) |
| 2 points by lacker on March 29, 2016 | past |
|
| 29. | | Boom (YC W16) signs $2B letter of intent with Virgin, $5B total (techcrunch.com) |
| 428 points by lacker on March 23, 2016 | past | 165 comments |
|
| 30. | | Poll: What do you use for typed JavaScript? |
| 4 points by lacker on March 14, 2016 | past | 5 comments |
|
|
| More |
