Viewing profile — mprast

It's very interesting to me how many people presume that if you don't learn how to vibecode now you'll never ever be able to catch up. If the models are constantly getting better, …

Hi HN! Nerve is a solo project I've been working on for the last few years. It's a developer tool that stitches together data from multiple sources in real-time. A lot of high-leve…

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 bui…

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…

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

I was thinking the same thing!

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...

"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'…