Hacker News new | past | comments | ask | show | jobs | submit
1-more | on: Ask HN: What did you find out or explore today?
I had a long boring meeting. I decided it was time to grow up and learn a little Lean. Let's do formal methods. Let's be serious, you know? It's pretty cool!