devin

10 ms·

181.
by devin 7mo ago
This is just another insufferable comment in your post history.
182.
by devin 7mo ago
I guess my feeling is that formal verification _even in the LLM era_ still feels heavy-handed/too expensive for too little value for a lot of the problems I'm working on.
183.
by devin 7mo ago
My observation has been that there are a lot of personal styles to engaging with the LLMs that work, and "hold the hand" vs "in-depth plan" vs "combination" doesn't really matter. There is some minimum lev
184.
by devin 7mo ago
This was the bummer to me when I tried it. I liked the bug-ridden classic experience before the notoriety patch. I recently tried https://www.classicuo.eu/ ClassicUO, and the nostalgia was incredible. Granted it is not play
185.
by devin 7mo ago
It's a bad faith question or one so deeply uninformed that parent is correct. It only takes a couple clicks to see the ideas of the people who are "just asking questions".
186.
by devin 7mo ago
It is neither of those things. Their post history is pretty clear.
187.
by devin 7mo ago
You should educate yourself on the phrase: "All models are wrong, but some are useful". https://en.wikipedia.org/wiki/All_models_are_wrong
188.
by devin 7mo ago
Can you give me an example (real or imagined) where you're dipping into a bit of light formal verification? I don't think the problems I work on require the weight of formal verification, but I'm open to being wrong.
189.
by devin 7mo ago
Congratulations! I don't know how busy player-run shards are these days, but I look forward to exploring this once you've gotten it a bit further.
190.
by devin 7mo ago
Justice delayed is justice denied.
191.
by devin 7mo ago
This reminds me of Origin Systems and Ultima Online. The number of player-run shards over the years promising Classic UO gameplay and the number of player hours spent on them is enormous.
192.
by devin 7mo ago
Did you just arrogantly suggest that my LLM should use exceptions for control flow? Funny stuff!
193.
by devin 7mo ago
What happens when value Z is not >= X? What happens when value Z doesn't exist, but values J and K do? What should be done when... I hear what you're saying, but I think it's going to be entertaining watching people go &qu
194.
by devin 7mo ago
My work has turned into churning out a PR, marking it as a draft so no one reviews it, and walking away. I come back after thinking about what it produced and usually realize it missed something or that the implications of some minor change
195.
by devin 7mo ago
Yes, I do not have a lot of faith that "essential" cookies are always "essential" for example.
196.
by devin 7mo ago
The fact that congress hasn't been involved in a declaration of war for a very long time.
197.
by devin 7mo ago
The soulless kids who used to go into finance joined tech and are inspired by the current crop of tech billionaires in the way that their predecessors were inspired by Gordon Gecko.
198.
by devin 7mo ago
Do you think this is a good thing?
199.
by devin 7mo ago
Why? Like, I can think of obvious reasons, but what are you trying to say someone will learn from this stepping?
200.
by devin 7mo ago
This goes back to my early days on the internet, but: I do not use blocklists or ignore features except as an absolute last resort. Ignoring the problem is not a solution. In other ways I think it just makes the problem worse. If the person
201.
by devin 7mo ago
Does anyone in these comments have any tips for would-be solar farmers or people who are generally interested in being part of building out the future of our grid? I'd like to get my hands dirty. I'm talking about getting into 5-1
202.
by devin 8mo ago
This is a tradeoff. There is value in being able to do upgrades to lines above ground. Underground is not automatically better. Like most things, it depends.
203.
by devin 8mo ago
Take a look at the number of people who think vibe coding without reading the output is fine if it passes the tests who but are absolutely aghast at this.
204.
by devin 8mo ago
This is in reply to this post the other day, which did numbers: https://x.com/mattshumer_/status/2021256989876109403
205.
by devin 8mo ago
rosé
206.
by devin 8mo ago
If we're bringing anecdata to the party: I bought OLED shortly after it came out and did not have any trouble.
207.
by devin 8mo ago
I don't know the answer to your question, but it would seem no one involved in this decision making process is even trying.
208.
by devin 8mo ago
The level of exposition required for a lot of edits you might want to make is what stops this from being a primary method of interaction. If I have to express >= AND <= AND NOT == OR ... then I may as well write the thing myself.
209.
by devin 8mo ago
I agree that Claude does this stuff. I also think the Chinese menus of options it provides are weak in their imagination, which means that for thoroughly specified problem spaces with reference implementations you're in good shape, but
210.
by devin 8mo ago
In Clojure land, the mantra has long been "libraries over frameworks" for this reason.

More ›