newAccount2025

Heh. We can’t even get people to stop using languages like C and C++ after all these decades of memory corruption exploits.

I agree at the top, and it certainly trickles down to some degree. Still, a lot of the everyday engineers who actually make the stuff at every place I’ve ever been just care about making things that are good.

My nissan has a one-click opt-out… but like… every… single… trip. :(

It’s expensive? We were quoted 60k last year. Maybe a scammy company but that’s a lot up front.

Does the human find enough bugs that they stay on guard, or just rubber stamp everything without really looking at it? It’s hard to stay vigilant when stuff looks plausible.

NATO is certainly weaker with the USA having lost her mind. But Russia seems to have gotten herself into a total quagmire in Ukraine and she is bleeding badly with no end in sight. Nobody is winning here.

I like this mindset and I’m going to steal this quote. Everyone is figuring things on their own skill journey with their hobbies and careers. Wherever you are, you can learn more and help people to come with you.

Hrmn. Maybe you’re about to lose everything you have anyway, you’re ticked off about it, and you don’t value any life besides your own. Like, say, a total narcissist nearing end of life/reign.

It’s common for formal proof efforts about software and hardware to involve thousands to tens of thousands of small lemmas.

13M lines does seem extreme and there is probably a lot of inefficiency given the way the proof was developed. Cutting it down is probably a long road, but is also a very well defined problem that AIs can probably just go do with enough time and budget now.

Nah. At the end of the day it’s candidate A vs. B. Once they’re all corrupt you still have to decide between them and pick the lesser evil as you see it. They’re creatures of ambition and incentives, and the corruption is a feature of the system. It sucks but what can you do but vote for the corrupt dems or the corrupt republicans?

2025-09 would be helpful context for the article link

Haha. Yeah. I somehow find Claude Code’s utter lack of time reasoning to be very fun. “The work we did two weeks ago…” oh friend that was this morning…