back
user profile

dafelst

1,321karma·241submissions·December 28, 2020
recent activity (241 total)
comment
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 manual describes w…
13d ago·view thread
comment
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
15d ago·view thread
comment
Great concept for a horror film
18d ago·view thread
comment
I am very happy with my BenQ monitors, they are great value and high quality.
19d ago·view thread
comment
It's a proxy for reach, which is what GP is talking about.
19d ago·view thread
comment
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.
1mo ago·view thread
comment
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.
1mo ago·view thread
comment
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. No issues at all.
2mo ago·view thread
comment
I strongly prefer the original to your edit.
2mo ago·view thread
comment
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.
2mo ago·view thread
comment
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/ …
2mo ago·view thread
comment
FWIW Slint was founded by a group of long time Qt alumni, so brings a lot of that know-how into the space.
4mo ago·view thread
comment
I have not, what is it?
4mo ago·view thread
comment
Saunas are very cheap to buy and/or build, certainly within the budget of an average research grant.
4mo ago·view thread
comment
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…
4mo ago·view thread
comment
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 inner boomer h…
4mo ago·view thread
comment
But guys, what you don't understand is that the code IS the contract!!! That means you don't even NEED regulation!!
4mo ago·view thread
comment
Why are people running AI bots to make comments on HN?
5mo ago·view thread
comment
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 comes from…
5mo ago·view thread
comment
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.
5mo ago·view thread
comment
TACO
5mo ago·view thread
comment
The term "agent" with regards to law enforcement substantially predates "agent" in the context of AI.
6mo ago·view thread
comment
High capacity, super reliable box that you could run your entire business stack on, if you could afford it.
6mo ago·view thread
comment
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 this would be super…
7mo ago·view thread
comment
So you're saying that just because they can't pay everyone, they should pay no one?
7mo ago·view thread
comment
The big US credit score trio, Transunion, Equifax and Experian, have all had multiple, massive data leaks. This is not very good at all.
7mo ago·view thread
comment
Unreal Engine has a GC for its internal object graph, so GC is already in use in a ton of games.
7mo ago·view thread
comment
Yes! I had a Vizio laptop (the thin one ala a macbook air) and it was absolutely fantastic, probably the best PC laptop I have ever had. It was lightweight, powerful, had a good screen (for the time…
8mo ago·view thread
comment
Your argument was that XML compresses really well, which indicates that compression ratio is your evaluation metric. I just suggested a simple way to improve your metric. My position is that compress…
8mo ago·view thread