drdaeman

9 ms·

151.
by drdaeman 6mo ago
A lengthy preamble and then just… an advice to keep kicking, remain curious, tinker around and see how things are now, adjust to the new situation? Am I missing something? Because it was always like that, you stop exploring and playing with
152.
by drdaeman 7mo ago
And then they laugh at naïve engineers who express hopes that laws can be a proper formal system.
153.
by drdaeman 7mo ago
I do, but it somehow tends to forget how to do things right now and then - despite having notes in memories system - and starts to do them in its own weird ways. I’m going to experiment with skills next, or maybe make it build a few helper
154.
by drdaeman 7mo ago
If only. Claude Code has to be actively steered, because while it knows some nixpkgs it surely doesn’t know it enough. E.g. it was absolutely incapable of fixing lldap settings after system upgrade from 25.05 to 25.11. It just prodded aroun
155.
by drdaeman 7mo ago
I think there’s a conflict between “open” as in “open source”, and “open” as in “open about the practice” paired with the fact we usually don’t review software’s source scrupulously enough to spot unwanted behaviors”. Must be a karmic respo
156.
by drdaeman 7mo ago
Can someone please explain... If I don't know any Lean (and I suspect most people don't), is it of any direct value? Trying to understand if there's something it can help me with (e.g. automatically write proofs for my Go pro
157.
by drdaeman 7mo ago
That’s provably not universally true, although I have no idea about the exact demographics. Best I’ve ever seen was some online discussions about motives, but I never compiled any statistics out of random anecdotes (that must be biased and
158.
by drdaeman 7mo ago
I suspect the unspoken premise was that it was all in context of people who - just like those who hire contractors - don’t have the capacity to do it themselves. In this context I suspect a SotA LLM could sometimes beat some cost-comparable
159.
by drdaeman 7mo ago
> its quality and adherence to the spec (the single sentence) is and will always be probabilistic... Isn’t the same true for a lot of individual programmers and even teams? Especially so if they were provided just a short one-sentence
160.
by drdaeman 7mo ago
> The real issue is that cheaters suck the fun out of the game Unpopular opinion: cheaters don’t, griefers do. “Cheater” is a pejorative for someone who sidesteps the rules and uses technology instead of, uh, pardon a potentially word ch
161.
by drdaeman 7mo ago
World would be surely a saner place if instead of “MCP vs CLI” people would talk about “JSON-RPC vs execlp(3)”. Not accurate, but at least makes on think of the underlying semantics. Because, really, what matters is some DSL to discover and
162.
by drdaeman 7mo ago
That’s a fair point, I totally missed this factor, mostly thinking about binary sizes. You’re right, it would be different because of this.
163.
by drdaeman 7mo ago
Because look around - same code compiled for x86_64 and aarch64 is not that drastically different in size, save for some special cases (like NumPy). Data structures are going to have even less differences. Then, assets are the same. I’ve cu
164.
by drdaeman 7mo ago
That was all x86_64, but even if aarch64 is more memory efficient, it can’t be too drastic, and 8GiB was borderline unusable even 10 years ago. Nowadays it must be a teeth-grinding tight fit for a browser and couple Electron apps, held toge
165.
by drdaeman 7mo ago
Neither of those solves it, just tries to conserve the status quo. The issue, as I understand it, is literally a new Eternal November, just that instead of “noobs” there are “clankers” this time. Personally, I don’t give a flying fuck about
166.
by drdaeman 7mo ago
Instead of full e-voting I would love to see an additional scheme to a traditional paper ballot that allows for verification. Something like STAR-Vote or Scantegrity. Even if it’s flawed, it would be nice to run specifically because it does
167.
by drdaeman 7mo ago
In my naive understanding, neither requires any will or consciousness. S1 is “bare” language production, picking words or concepts to say or think by a fancy pattern prediction. There’s no reasoning at this level, just blabbering. However,
168.
by drdaeman 7mo ago
C# has CancellationToken, but it’s just for canceling operations, not a general purpose context.
169.
by drdaeman 7mo ago
Don’t give up! I have this gut feeling the world had finally got to the point it decided to fix this pesky warming issue among other things, with a nice and cozy nuclear winter. (/s, obviously)
170.
by drdaeman 7mo ago
I’m afraid you don’t understand humans. Yeah, if you completely strip every detail you get a picture like that, a very convenient one to blow all the righteous steam on some amorphous homogeneous “programmers” mass. World is not simple, it’
171.
by drdaeman 7mo ago
Fair enough, I’ll give it a try when I’ll have time for it. I recognize that MCP as typically used would eat a good chunk of context - shoving all those API specs is wasteful for sure. The solution to this, I believe, is either RAG or singl
172.
by drdaeman 7mo ago
This is like comparing OpenAPI and strings (that may be JSON). That is, weird, and possibly even meaningless. MCP is formally defined in the general sense (including transport protocols), CLI is not. I mean, only specific CLIs can be define
173.
by drdaeman 7mo ago
> Open-source models are only a couple of months behind closed models Oh, come on, surely not just a couple months. Benchmarks may boast some fancy numbers, but I just tried to save some money by trying out Qwen3-Next 80B and Qwen3.5 35B
174.
by drdaeman 8mo ago
It's a more fundamental issue than those legal oddities of the day. It's whether people have a right to remember, right to share their memories (there must be lots of nuances here), and whether others have a right to be forgotten
175.
by drdaeman 8mo ago
I'm not entirely sure what's your exact threat scenario, if someone records your image, especially given that you've said it doesn't matter to you whether it gets siphoned straight into some megacorp database, or private
176.
by drdaeman 8mo ago
Smart glasses (or any camera-equipped device) don’t have to record anything to provide utility. If anything, the primary utility of smart glasses is the wearable display, not camera. YMMV, of course. But even machine vision-capable devices
177.
by drdaeman 8mo ago
I believe the problem is not smart glasses per se , but spyware that runs on a lot (if not most) of such devices. Shame the language makes people intrinsically hate the former by associating it with the latter without even questioning it.
178.
by drdaeman 8mo ago
I’m not sure I understand the morale of the story. Would you share yours? A crudest summary of my understanding is that it’s a tale of some dude with eidetic memory who - as a consequence of it - develops a conlang with a huge vocabulary bu
179.
by drdaeman 8mo ago
I think they’re saying that there is an inconsistency, but they don’t suggest anything, leaving any conclusions to the reader. It’s just “things aren’t right”, and not “here’s what we need to do…”
180.
by drdaeman 8mo ago
I understand the rationale, but don’t you see how this idea contradicts autonomy of decisions for able-minded people? Such good intentions tend to be a pavement on roads to bad places. I’d rather suggest to inform about all the potential be

More ›