great stuff; I've had almost exactly the same experience. I think blow-by-blow writeups like this are a sorely needed antidote to the hype

I started having a much easier time with mathematics when I realized and got comfortable with this idea. In hindsight it should've been obvious to me as a programmer - when I'm building something, I don't ideate in terms of individual lines of code, after all

yeah, this is what i was trying to get at with that notion of "proof-affinity"; imo a well-structured codebase is one in which you can easily prove stuff to yourself about code you didn't necessarily write

yes, what i had in mind were more proof sketches than proofs

I was thinking the same thing!

In any other industry the “worker class” would be sabotaging the machines.

In the merry software world, the challenges of improving our potential replacements are far too interesting and satisfying to leave room for any worry about consequences! :)

not launched yet! I will put up a post when it launches; coming in a few months!

Part 1 is at https://the-nerve-blog.ghost.io/baking-the-y-combinator-from...

With thread https://news.ycombinator.com/item?id=43636230

"And yes, cheating has always existed. But this isn’t traditional cheating. It’s ambient, platform-approved, investor-funded cognitive offloading." really appreciated this bit, it's insane how much some of these vendors equivocate when you call them out on this kind of thing

yeah agreed, I think there are plenty of ways to live a successful and fulfilling 'linear' life

thanks for reading!