| user: | lowdanie |
| created: | December 1, 2019 |
| karma: | 178 |
| about: | Blog: https://www.daniellowengrub.com/ |
| 1. | Show HN: Formal Verification with Lean(daniellowengrub.com) |
| 2. | Show HN: Formal Verification with Lean(daniellowengrub.com) |
| 3. | Show HN: Quantum Chemistry from Scratch(daniellowengrub.com) |
| 4. | Show HN: Differentiable Quantum Chemistry(github.com) |
| 5. | Show HN: Differentiable Quantum Chemistry(github.com) |
| 6. | Quantum Computing and the Hidden Subgroup Problem(daniellowengrub.com) |
| 7. | Show HN: Understanding the Bloch Sphere(daniellowengrub.com) |
| 8. | Show HN: Fully Homomorphic Encryption from Scratch(daniellowengrub.com) |
| 9. | Show HN: Building a Binary Counter(daniellowengrub.com) |
| 10. | Heat Capacity and the Speed of Sound(daniellowengrub.com) |
| 11. | Quantum Computational Advantage Using Photons(science.sciencemag.org) |