Introduction to Formal Verification with Lean Part 1 6 hours agoPlease please please don't hijack scrolling :( 0ThreadHN
Ask HN: My country is undergoing a coup, which encryption software should I use? 3 years agoNot all coups are violent/military.Today Israel's extreme government passed the first laws of the judicial overhaul bringing Israel closer to an autocracy, where there is only one power, the government, with unbalanced and unchecked power. 0ThreadHN
Ask HN: My country is undergoing a coup, which encryption software should I use? 3 years agoThank you 0ThreadHN
Vitamin D: Potent regulator of dopaminergic neuron differentiation and function 3 years ago"I started eating [Y that has a lot of stuff in it, including X] -> started feeling better -> Y must be good for you" 0ThreadHN
What Are the Odds? 4 years agoIt’s an interesting read but the author could have just used Kolmogorov complexity to explain all this. 0ThreadHN
Imagen Video: high definition video generation with diffusion models 4 years agoBest comment I read on HN for a while, and certainly in this thread. Thanks 0ThreadHN
Show HN: placesloth.com – generate placeholder images of sloths 4 years agoThis is great. Can someone please explain why sloths are everywhere nowadays? 0ThreadHN