_verandaguy

7 ms·

31.
by _verandaguy 4mo ago
All things aside, I think this misses the forest for the trees on the halting problem. It's not about being able to throw claude or codex at a loop and having it evaluate it for halting, it's about being able to do this for arbitr
32.
by _verandaguy 4mo ago
This isn't really a reasonable approach, is it? The original prompts aren't provided, nor is the original context; even then, you can't really treat a stochastic system like an LLM as a major component in reproducibility.
33.
by _verandaguy 4mo ago
Thank you for this meaningful contribution to the discussion.
34.
by _verandaguy 4mo ago
This is a bit of a traffic circle way of explaining the joke.
35.
by _verandaguy 4mo ago
Isn't it usually "souverainiste?"
36.
by _verandaguy 4mo ago
Driving everyone's QoL to be as bad as possible will lead to increasing enshittiffication in the entire market. Consumers will be spoiled for choice between deeply mediocre options. Besides, what's the point of adopting new techno
37.
by _verandaguy 4mo ago
Believe it or not, the library predates the understanding of monads as a mathematical concept! Though it can be argued it is an example of a functor (the library is mapped over two countries).
38.
by _verandaguy 5mo ago
It would be good to understand how exactly a frontier lab is approaching "removing the model's ability" to do a thing. There's an ocean of difference between e.g. preventing the model from routing to something at the fir
39.
by _verandaguy 5mo ago
That's true. But if America is so bad, why are you still in it? I am not. I have never lived in the US. I live in Canada, and I've had my country's sovereignty threatened by the US in the past 18 months.
40.
by _verandaguy 5mo ago
Leica started doing this a few years ago in response to the first wave of AI images[0]. Other, bigger manufacturers (Nikon, Canon, Sony as well I believe) have also joined, though with less fanfare. Adobe is in the loop. As someone with a p
41.
by _verandaguy 5mo ago
Historically, it isn't Canada that's been threatening to leave NATO.
42.
by _verandaguy 5mo ago
I'm saying that the truth lies somewhere in between, and that Anthropic's current revenue is being, in part, propped up artificially. We're also in a place where a lot of the usage guidance around these tools is still nasce
43.
by _verandaguy 5mo ago
With respect to Simon, whose writing I've usually agreed with in the past and whose insights I've liked: this is a bad take that overlooks the extent to which corporations are imposing the use of AI on employees, and in particular
44.
by _verandaguy 5mo ago
You don't have to root for or against anyone in this fight. It's perfectly valid to oppose both actors and both outcomes, and the stakes of the fight.
45.
by _verandaguy 5mo ago
This is the main reason I stay away from Vivaldi; using Firefox is, for all of Mozilla's borderline comical mismanagement, a protest vote against Blink (and previously, Chromium).
46.
by _verandaguy 5mo ago
Why would the language being typographically ugly matter? Python's pretty, but it hides a lot of functional nuance behind that. Rust is terse, but it's also expressive in its terseness. If you want to give it a fair shot, it does
47.
by _verandaguy 5mo ago
> So .clone() significantly reduces the mental overhead of using rust with a small performance impact? I'm intrigued :) No, the performance impact will depend on `impl Clone` for the underlying type, the hotness of the cod
48.
by _verandaguy 5mo ago
The other side of this is that they're replaced with people who aren't qualified to evaluate the work output of the LLMs.
49.
by _verandaguy 5mo ago
I'll push back against most of the points in your comment. > The demand for AI is currently overwhelming. As in, can't build data centers and GPUs melting overwhelming, companies growing 3x in a month while already at mul
50.
by _verandaguy 5mo ago
IMHO: when an emerging technology threatens the livelihoods of millions, it's responsible and ethical to step away from seeing this stuff through a purely competitive lens. Out of the three big geographic players, the US and China are
51.
by _verandaguy 5mo ago
AI-unrelated tangent, but I think it's pertinent to your comment. I come from a heavily Python background, professionally. I spent the entire first decade-and-change of my career using almost exclusively Python; I know it about as we
52.
by _verandaguy 5mo ago
A counterpoint, since I never made that logical jump in your latter part of your comment: programming languages are, functionally, all domain-specific languages and do a good job of either describing directly, or consistently, determinist
53.
by _verandaguy 6mo ago
Satire is dead
54.
by _verandaguy 6mo ago
It is a fact that some useful things in the software world are a pain in the ass to learn, and that they could be better on that front. LSP is one of those things, or at least it has been, for a while. LSP is also something that's not
55.
by _verandaguy 6mo ago
While this comment is overly general (some major editors ship without LSP support built in; many more do not have a sane configuration out-of-the-box), it is useful to learn about them and how your editor of choice integrates with them. T
56.
by _verandaguy 6mo ago
An outstanding move for a company claiming to sell trust as a service.
57.
by _verandaguy 6mo ago
The economics make the reasoning obvious, though. With closed source IP, every bit of support, from bug fixes, to feature requests, to compatibility fixes to integrate with newer mainline/foundational tooling, costs money. With open so
58.
by _verandaguy 6mo ago
Open-source is heavily community-oriented, and yes, I think that subverting the contributions of the community like this (and honestly, just kind of being a dick about it) is unethical, yeah. It erodes the fabric of open source, and will be
59.
by _verandaguy 6mo ago
This is an unethical take, and long-term and at scale, an unsustainable/impractical one. This kind of mindset results in tool fragmentation, erosion of trust, and ultimately worse quality in software.
60.
by _verandaguy 6mo ago
I don't think it's fair to say that HTML's less structured than Markdown. Markdown is derived from a simplified subset of HTML, and having myself cut my teeth on HTML5 when it was still new, there's been a huge emphasi

More ›