My latest Deep Dive, published in Towards Data Science: Introduction to Lean for Programmers.
I couldn’t find an introduction to Lean for experienced developers so I wrote my own.
Combined with AI, it’s one of the most powerful tools you can try now.
https://t.co/6waRaTie51
@ClassicGamerTWR@marcosdanix How does this physical law apply to computation? I can encode a zillion zeroes one by one or by describing “a zillion zeroes.” I shifted space by time but this isn’t proportional to a hundred zeroes.