5 karma · joined November 4, 2025
I have solved more problems with tools like sed and awk, you know, actual tools, more than I’ve entered tokens into an LLM.
Nobody seemed to give a fuck as long as the problem was solved.
This it getting out of hand.
It would be super democrat-american to address valves loot boxes before, say, fucking healthcare.
We need a government priority Jira board of things that need to be addressed. Loot boxes _might_ make the backlog.
Absolute power corrupts absolutely. It’s a no-kidding literary tool used throughout history.
> Sanders or Mamdani
Sanders and Mamdani are about as far left of center as one can get at the moment, such that they almost meld into Stalin or Mao.
The mental gymnastics you’re doing to blunt that fact is absolutely incredible.
It still happens in 2025
Does a computer know if your boss is mad at you or if they had a fight with their spouse last night, or whatever other reason they may be grumpy?
Can a computer establish relationships… with anything?
How about when a computer goes through puberty? Or menopause? Or a car accident? How do those things affect them?
Don’t bother responding, I think you get the point.
Insurance in America is a fucking joke.
No, nobody benefits from insurance in America. Well, nobody ill.
I suppose that says something about both of us.
You understand how the tech works right? It's statistics and tokens. The computer understands nothing. Creating "understanding" would be a breakthrough.
Edit: I wasn't trying to be a jerk. I sincerely wasn't. I don't "understand" how LLMs "understand" anything. I'd be super pumped to learn that bit. I don't have an agenda.
> Six years ago, I wrote that it was a terrible idea for LEGO to acquire Bricklink and revisiting some of my thoughts I expressed then, it sure seems like there’s some dodgy stuff happening behind the scenes.
> To be fair, I acknowledge that there may be compliance challenges operating in some of these countries, where things like local laws, logistics, import restrictions etc may make it difficult for LEGO/Bricklink to do their business there, but surely there could’ve been a better way to communicate this, or invite community feedback instead of turning the whole site off in 2 weeks.
I went to a solid state college, started my degree in EE, bounced around a bit, landed on comp sci, almost failed out, and now (given that story) I’d never have been hired anywhere.
As it turned out, it the value I provided to my first job was… significant? I kept solving problems, usually with zero code and just technical suggestions.
I loved going to college. I loved everything about it. I wish I could do it again. I learned nothing.
> Your average web app can have security-critical issues but they probably won’t have safety-critical issues.
How many air-gapped systems have you worked on?
> subcommittee of the committee assigned to fix the process
That bit, is the problem.
In my experience, the refining never happens.
Most people around here don’t have any reason to have strong opinions about safety-critical code.
Most people around here spend the majority of their time trying to make their company money via startup culture, the annals of async web programming, and how awful some type systems are in various languages.
Working on safety-critical code with formal verification is the most intense, exhausting, fascinating work I’ve ever done.
Most people don’t work a company that either needs or can afford a safety-critical toolchain that is sufficient for formal, certified verification.
The goal of formal verification and safety critical code is _not_ to eliminate undefined behavior, it is to fail safely. This subtle point seems to have been lost a long time ago with “*end” developers trying to sell ads, or whatever.
Heard, chef.