lacker
- Karma
- 0
- Created
- ()
- Submissions
- 0
- CUDA-oxide, a Rust-to-CUDA compiler (nvlabs.github.io)
- Show HN: Acorn, a theorem prover with built-in AI (acornprover.org)
For a while I've been interested in mathematical theorem proving. It just seems like the sort of thing that a computer should be able to do. Or at least to help check your math. But it's just hard to use theorem…
- Gödel's Incompleteness Theorem in Bash (lacker.io)
- How to Get Promoted: A Counterargument (lacker.io)
- A Math Theory for Why People Hallucinate (quantamagazine.org)
- Paul Graham's “Same Way” (lacker.io)
- Conversation with GPT-3 (lacker.io)
- Giving GPT-3 a Turing Test (lacker.io)
- Types of Truth (lacker.io)
- How to 51% Attack Bitcoin (lacker.io)
- Buried in the Sky (wise.nautil.us)
- GVisor: making it simple to run sandboxed containers (github.com)
- The Power of Thinking Irrationally (lacker.io)
- Silicon Valley's Manifest Destiny (lacker.io)
- Facebook announces a 360 Capture SDK (code.facebook.com)
- React VR: Building Virtual Reality Experiences on the Web (code.facebook.com)
- Relay Modern: Simpler, Faster, More Extensible (code.facebook.com)
- Litho: A Declarative UI Framework for Android (code.facebook.com)
- Why You Can't Say (lacker.io)
- Why Uber Culture (lacker.io)
- Music in Ancient Greece (lacker.io)
- Socially Irresponsible Investors (lacker.io)