Viewing profile — dafelst

You can read the manual all you want, but if you don't know basic algebra, trig, calculus, etc, you are not going to have any idea how to apply or use much of anything that the man…

Feels appropriate for bugs in a formal proof system: > Beware of bugs in the above code; I have only proved it correct, not tried it. -Knuth, 1977

Great concept for a horror film

I am very happy with my BenQ monitors, they are great value and high quality.

It's a proxy for reach, which is what GP is talking about.

Oh this is much more novel (comparatively), that makes a lot more sense. Kind of an amalgamation of a bunch of optimizations. Thanks for sharing.

It's kind of insane that such an obvious optimization can be patented, I have to imagine that it has been invented independently dozens if not hundreds of times.

I drove on this for the first time yesterday, once from 405 S to 85th W, then back on 85th E and 405 N. Super easy, the lanes are fairly nicely signed and there is ample signage. N…

I strongly prefer the original to your edit.

You don't need to be the gold standard to make obscene amounts of money. Product quality and financial success are only loosely correlated at best.

Tightly integrated sure, but I wouldn't say tightly coupled, their framework (GPUI) is available standalone and is being used to create other apps. https://www.gpui.rs/

FWIW Slint was founded by a group of long time Qt alumni, so brings a lot of that know-how into the space.

I have not, what is it?

Saunas are very cheap to buy and/or build, certainly within the budget of an average research grant.

More victims of AI. Not actually of "AI is replacing jobs", more "oh shit we are spending too much and the product isn't good enough for us to ever make a return on our absurd over…

There is good, useful content in this article, but it is seriously overshadowed by the LLM-isms indicating that a nontrivial part of it is AI generated. I'm obviously channeling my…

But guys, what you don't understand is that the code IS the contract!!! That means you don't even NEED regulation!!

Why are people running AI bots to make comments on HN?

Yeah, the concept of "nemawashi" (根回し) is very important there, this idea that all the groundwork and decision making is agreed upon before the meeting happens. The term literally …

Trump is too useful to Ellison right now, he isn't going to derail that gravy train over a few tens of millions of dollars.

TACO

The term "agent" with regards to law enforcement substantially predates "agent" in the context of AI.

High capacity, super reliable box that you could run your entire business stack on, if you could afford it.

Sure, if the memory error is an immediately crashing one like a null per deref, but if is (for example) a memory corruption (e.g. an out of bounds write or a write-after-free) then…

So you're saying that just because they can't pay everyone, they should pay no one?