Y Hacker News new | ask | show | jobs

user: lowdanie created: 2019-12-01 karma: 178 Blog: https://www.daniellowengrub.com/ submissions: Show HN: Formal Verification with Lean 1 points | 0 comments Show HN: Formal Verification with Lean 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Show HN: Quantum Chemistry from Scratch 1 points | 0 comments Show HN: Differentiable Quantum Chemistry 52 points | 15 comments 0 points | 0 comments Show HN: Differentiable Quantum Chemistry 2 points | 0 comments 0 points | 0 comments Quantum Computing and the Hidden Subgroup Problem 40 points | 12 comments Show HN: Understanding the Bloch Sphere 7 points | 0 comments 0 points | 0 comments 0 points | 0 comments Show HN: Fully Homomorphic Encryption from Scratch 3 points | 2 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Show HN: Building a Binary Counter 4 points | 0 comments Heat Capacity and the Speed of Sound 5 points | 0 comments 0 points | 0 comments 0 points | 0 comments Quantum Computational Advantage Using Photons 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments