dafelst

7 ms·

1.
by dafelst 16d ago
This is exactly what I do - I run my agent inside an isolated podman container and mount the workspaces on a shared volume.
2.
by dafelst 28d ago
It is yet to be determined whether or not the bun rewrite is a success, though.
3.
by dafelst 29d ago
This is so cool, what a great project! I remember using a single save game and soft locking myself in Space Quest 2 by not getting the glowing gem, and in Space Quest 1 I think by not picking up the shard of broken glass, and being so pisse
4.
Ask HN: What tools are you using for human code review of AI-assisted code?
13 points by dafelst 1mo ago|11 comments
5.
by dafelst 1mo ago
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 with regards to actually doing math with
6.
by dafelst 2mo ago
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
7.
by dafelst 2mo ago
Great concept for a horror film
8.
by dafelst 2mo ago
I am very happy with my BenQ monitors, they are great value and high quality.
9.
by dafelst 2mo ago
It's a proxy for reach, which is what GP is talking about.
10.
by dafelst 2mo ago
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.
11.
by dafelst 2mo ago
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.
12.
by dafelst 3mo ago
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.
13.
by dafelst 3mo ago
I strongly prefer the original to your edit.
14.
by dafelst 4mo ago
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.
15.
by dafelst 4mo ago
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/
16.
by dafelst 5mo ago
FWIW Slint was founded by a group of long time Qt alumni, so brings a lot of that know-how into the space.
17.
by dafelst 5mo ago
I have not, what is it?
18.
by dafelst 5mo ago
Saunas are very cheap to buy and/or build, certainly within the budget of an average research grant.
19.
by dafelst 6mo ago
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-investment".
20.
by dafelst 6mo ago
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 here, but as soon as I start seeing the t
21.
by dafelst 6mo ago
But guys, what you don't understand is that the code IS the contract!!! That means you don't even NEED regulation!!
22.
by dafelst 6mo ago
Why are people running AI bots to make comments on HN?
23.
by dafelst 6mo ago
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 the concept of "preparing the root
24.
by dafelst 6mo ago
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.
25.
by dafelst 7mo ago
TACO
26.
by dafelst 7mo ago
The term "agent" with regards to law enforcement substantially predates "agent" in the context of AI.
27.
by dafelst 7mo ago
High capacity, super reliable box that you could run your entire business stack on, if you could afford it.
28.
by dafelst 8mo ago
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 helpful in exposing where those are hap
29.
by dafelst 8mo ago
So you're saying that just because they can't pay everyone, they should pay no one?
30.
by dafelst 9mo ago
The big US credit score trio, Transunion, Equifax and Experian, have all had multiple, massive data leaks. This is not very good at all.

More ›