Yoric

7 ms·

91.
by Yoric 9mo ago
Took me some time to remember that RDF meant Reality Distortion Field.
92.
by Yoric 9mo ago
> Every report and available evidence shows he is barely technologically astute, nevermind genius; the accomplishments of his teams are despite him not because of him. In particular, nothing that comes out of his mouth regarding AI mak
93.
by Yoric 9mo ago
Can confirm at least for Firefox. When I worked on it, I've spent literal years shaving seconds from startup, or shutdown, or milliseconds from tab switching. Everybody likes to hate Telemetry, and yes, it can be abused, but that'
94.
by Yoric 10mo ago
Sadly, that is exactly my experience.
95.
by Yoric 10mo ago
> Well, yes, but it also means a gag gift; I'd hazard a guess that >99% of uses of the term in the past several decades have been of the "gag gift" persuasion. There are many white elephant parties thrown by people who
96.
by Yoric 10mo ago
Er... white elephants were not gag gifts. A white elephant is a gift that you cannot refuse, cannot regift, and is so expensive/complicated to take care of that it will become your primary concern for the rest of your life.
97.
by Yoric 10mo ago
As a variant, I recently stumbled upon a post that basically sums up to "people who disagree with me on AI are clearly blinded by their prejudice, it's so sad."
98.
by Yoric 10mo ago
Except for the white elephants, which were designed specifically as anti-gifts.
99.
by Yoric 10mo ago
It's not that race conditions are generally memory-unsafe. The same race conditions would not be memory-unsafe in, say, Java or Python. Go has a memory model that basically guarantees that the language is memory-safe except with a few
100.
by Yoric 10mo ago
I'm trying to figure that one out. LLMs are inherently single-threaded in how they ingest and produce info. So, as far as I can gather from the description, either it spawns sub-agents, or it has a tool dedicated for the job.
101.
by Yoric 10mo ago
> It is really good at grep and will make multiple grep calls in parallel. How does that work? Multiple agents grepping simultaneously?
102.
by Yoric 10mo ago
In my experience, not really, no. You need a very different mindset to write in JS (or TS), in Rust, in Rocq, in Esterel or on a Quantum Computer. You need a very different mindset when coding tools that will be deployed on embedded devices
103.
by Yoric 10mo ago
But for most of us, that's already the case, isn't it?
104.
by Yoric 10mo ago
aka "return of the Minitel"
105.
by Yoric 10mo ago
On the other hand, all it would take would be one successful Steam Deck/Steam Machine-style console to get all the developers of the world making sure that their games work on that hypothetical GPU. I don't think that it will happ
106.
by Yoric 10mo ago
Er... I've been programming since I was 7 and I'm old enough to remember the previous AI summer. Somewhere along the way, I've had impact on a few technologies you have heard of, I've coded at almost all levels from (som
107.
by Yoric 10mo ago
A few months ago, during a boardgaming session, I used a friend's computer to play some music. I made fun of the AI porn ads he had playing whenever I visited a YouTube page. I only later realized that he's not using an adblocker,
108.
by Yoric 10mo ago
FWIW, I remember when Mozilla started experimenting with AI, and that was way ahead of the curve (around 2015, iirc?) But yeah, I agree that buying a great email provider would be a very interesting step. And perhaps partnering with Matrix.
109.
by Yoric 10mo ago
I suspect that we'll eventually loop back to formal specifications, with formal or semi-formal verification that the implementation matches the specification, but with agents writing the actual code.
110.
by Yoric 10mo ago
> This might be the fault of opt-out serialization library (by default it serializes the hole object and you need to manually opt-out fields from it). So a programmer adds a field, forgets to add opt-out annotation and voilà. In a previo
111.
by Yoric 10mo ago
Use them? Absolutely. See DeepSeek Prove, for instance. As far as I understand, it's basically a neurosymbolic system, which uses an LLM to write down proofs/code, then Lean to verify them, looping until it finds a proof/impl
112.
by Yoric 10mo ago
> I think the chance that your Rust application is going to be more performant or efficient than C, is whether you are focused on writing performant and efficient code. I believe that depends on the sophistication of algorithms. High-lev
113.
by Yoric 10mo ago
FWIW, I'm clearly system-style. Given that my current company has an AI product, I'm dogfooding it, and I've found good uses for it, mostly for running quick experiments, as a rubber duck, or for solving simple issues in conf
114.
by Yoric 10mo ago
Ah, I realize that I had misunderstood your earlier comment, my apologies and thanks for clarifying! We're leaving my area of confidence, so take everything I write with a pinch of salt. As far as I understand, indeed, each layer trans
115.
by Yoric 10mo ago
I'm speaking of verification, which is about making code (provably) airtight with respect to specifications, now and forever. You're answering with finding bugs, which is about fixing one issue at a time. Both are useful, but we&#
116.
by Yoric 10mo ago
> Maybe our future is like the one depicted in Severance - we look at computer screens with wiggly numbers and whatever “feels right” is the right thing to do. We can harvest these effortless low latency “feelings” that nature gives us t
117.
by Yoric 10mo ago
Exactly that. I suspect that we're going to witness a (further) fork within developers. Let's call them the PM-style developers on one side and the system-style developers on the other. The PM-style developers will be using popula
118.
by Yoric 10mo ago
I agree that non-deterministic isn't the right word, because that's not the property we care about, but unless I'm strongly missing something LLM outputs are very much non-deterministic, both during the inference itself and w
119.
by Yoric 10mo ago
I guess that the benefit of monoliths in the context is that they (often) live in distinct repositories, which makes it easier for Claude to ingest them entirely, or at least not get lost into looking at the wrong directory.
120.
by Yoric 10mo ago
But in the end, do you feel that it has saved you time? I find hand-holding Claude a permanent source of frustration, except in the rare case that it helps me discover an error in the code.

More ›