News for hackers. Stuff that matters.

mprast

Re:Breaking the Spell of Vibe Coding on Saturday February 14, 2026 @06:18PM (#47019415)
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, won't these tools be easier to use a year from now? Will model improvements not obviate all the byzantine prompting strategies we have to use today?

Show HN: Nerve: Stitches all your data sources into one mega-API

https://playground.get-nerve.com/

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-leverage projects (AI or otherwise) involve tying data together from multiple systems of record. This is easy enough when the data is simple and the sources are few, but if you have highly nested data and lots of sources...

( Read More... | 3 comments | on HN )
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
Re:Why formalize mathematics – more than catching errors on Friday October 24, 2025 @08:58PM (#45700557)
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!
not launched yet! I will put up a post when it launches; coming in a few months!
"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!
I didn't know this! I'll issue a correction

Older »