Viewing profile — davemp

> A 1963 house is what we'd think of today as a starter home. Not every house at that time was a post war levitown style shack. AC wasn’t even terribly uncommon in 1960s constructi…

Great for rich people or just not your relative purchasing power being completely eroded. Why work for a 5% raise if it means all your expenses go up 5%?

> That's not remotely true. Or, more formally speaking since we're in a thread about proof assistants, it's not remotely true, up to extensional equality, plus some choices about w…

Cool. Now we can write bugs in our theorem descriptions instead of source code. Seriously, please review Curry Howard Isomorphism if you’re getting pulled down this rabbit hole. Pr…

> No one is going to argue against those vague statements. He obviously does not agree with people that put more weight on making things compile errors instead of runtime errors >>…

Looks like Mr. Kelly agrees with you. From the zen of zig: - Runtime crashes are better than bugs. - Compile errors are better than runtime crashes. - Incremental improvements. - A…

Without explicitly entering the language holy wars. I think there’s an interesting trade-off here. Static analysis based approaches restrict what is possible to express in the lang…

I don’t think people are arguing to stop researching AGI. Moreso against sales people trying to use the concept of AGI to sell products that are very much not AGI. Or devoting so m…

> clueless and stubborn and confidently wrong Uhuh. I really shouldn’t be replying to this type of comment from a throwaway. But the extremely powerful semantic search that we get …

There is a vast gulf between theoretically possible and technologically feasible. If you can’t provide a realistic path to achieve something, you’re asking people to believe in sci…

Totally insane that they enshrine this stuff in law without a reference design and corresponding data to validate its effectiveness.

Yeah I think that’s the difference. On the east coast in July, the big safety risk with fireworks is generally to your own person.

EDA tools have been using ML techniques for >10yrs afaik

It definitely isn’t simple, but it’s a pretty well trod path. If the FCC or state equivalent doesn’t have folks who can write the spec that’s a huge problem. I would be surprised i…

Article reeks of LLM mannerisms in a pretty obnoxious way. I read it anyways and surprise surprise, it boils down to: - Ridiculously NP problem space that we guess and check with M…

Picking up on some dunning kruger effect here. Programming isn’t even a field in the same way as prob&stats. Computer science does in fact have non-deterministic sub fields such as…

Just because it could be worse doesn’t mean it couldn’t be better.

> Would you want to take a pay cut if your employer was having financial problems? This happens constantly in the form of layoffs…

Ah yes. Just need to displace 16 million people’s livelihoods. No big deal.

I assume because most windows installs are corporate IT garbage that if anyone cared about performance they could just turn off one of the three endpoint protection services or tun…

> One third of all software code is written by AI. I find it interesting that using lines of code as a metric is making a comeback.

I’m pretty certain there are physiological limits that you can’t just muscle through and stress _can_ be an indicator that you’re reaching said limits.

usage != positive opinion I don’t like driving in traffic yet I do it pretty much every day. Why don’t I simply not drive?