lmm

13 ms·

301.
by lmm 6mo ago
Completely disagree; IMO we build far too many frameworks and alternatives (probably because it's fun) instead of a) enhancing the things that already exists to have the thing we want or b) just getting on with the actual work. The who
302.
by lmm 6mo ago
You can also replace it with a different postulate and get projective geometry, IIRC.
303.
by lmm 6mo ago
> So far, it feels like Lean's main strength isn't being the best at anything, but being decent at everything and having a huge community. I see the point and appeal, but it's saddens me that a bit of the beauty and power
304.
by lmm 6mo ago
> I ask a human "predict what a mouse would do here". In an effort to understand why the prediction is sometimes wrong I ask "walk me through what the imaginary mouse is thinking". Upon examination I exclaim "aha
305.
by lmm 6mo ago
> I didn't talk about subjective experience, just about internal state. There's no question about whether other people have internal states. I can show someone a piece of information in such a way that only they see it and then
306.
by lmm 6mo ago
Most technologies work great when you simply don't make mistakes.
307.
by lmm 6mo ago
> That is not a problem for certs, you are not changing it every second. The problem is when you screw it up and can't fix it for 24 hours or worse.
308.
by lmm 6mo ago
> I don't think any CA hasn't had an issue with revocation at some point (e.g. Let's Encrypt had a major one in 2021, and refused to revoke) Every software org has had issues with every piece of functionality, revocation i
309.
by lmm 6mo ago
What you should worry about is how many scientific "results" are still wrong due to random bugs in numerical code. If anyone's actually verifying the results, they'll catch things like the FDIV bug just as easily as a mi
310.
by lmm 6mo ago
> I think the push from management for us to use AI has made it so we don’t have to be efficient with our consumption, so now we write md files which we feed to Claude in a loop instead of python and bash scripts to do routine tasks. It&
311.
by lmm 6mo ago
What would be different if it was "real"? What makes you think that when humans "narrate" "their" "internal thought process", it's any more "real"?
312.
by lmm 6mo ago
> None of the developers that I’ve worked with have had the hemispheres of their brains severed. But are their explanations for how they behaved any more compelling than those of people who have? If so, why?
313.
by lmm 6mo ago
> Humans at least have a mental state that only they are privy to to work from Maybe. How do you tell? What would you expect to be different if they didn't? > The LLM literally cannot possibly have a deeper insight into the root
314.
by lmm 6mo ago
What does that actually mean in practice? You can yell at human if it makes you feel better, sure, but you can do that with an AI agent too, and it's approximately as productive.
315.
by lmm 6mo ago
> Anyone who would follow a mistake like that up with demanding a confession out of the agent is not mature enough to be using these tools. Anyone like that is not mature enough to be managing humans. I'm glad that these AI tools ex
316.
by lmm 6mo ago
> Are you going to assemble such a rocket in a balloon? Yes, or hanging off the side of it. What's the concern? If you want to launch a rocket from Mars you have to build it either inside your habitat (and then build an airlock big
317.
by lmm 6mo ago
The only part of Google that makes money is their ads business. And Meta is beating them at it.
318.
by lmm 6mo ago
> There are all kinds of social media, its segmented by userbase, and culture/geography. Your own link has Meta with 3 of the top 4 platforms. Can you really see any of the competitors overtaking them in even the medium term? > R
319.
by lmm 6mo ago
Models fall prey to Kernighan's Law even more easily than human developers.
320.
by lmm 6mo ago
> With an LLM you have perfect knowledge of the code. At any time you can understand any part of your code by simply asking the LLM to explain it. The LLM will give you an explanation but it may not be accurate. LLMs are less reliable at
321.
by lmm 6mo ago
> When you press the 2 button, the plus button, the 2 button and the equals button, you are translating your question into bits I am not. 2 is 2, + is +, I don't care whether the machine chooses to represent them as ASCII or EBCDIC
322.
by lmm 6mo ago
Assuming you were on NT-lineage, rebuilding for SFU (Interix) was the technically correct and nice implementation, though since a lot of Linux programs are non-portable (or have maintainers who mistakenly think they can do better than autot
323.
by lmm 6mo ago
Haskell ought to be good enough. Did you struggle with making your containers there?
324.
by lmm 6mo ago
> If you are thinking through deterministic code, you are thinking through the manipulation of bits in hardware. No I'm not. If I want the machine to evaluate 2+2, I don't know or care what bits in hardware it uses to do that (
325.
by lmm 6mo ago
If C++ was the only static type system I'd experienced, I would also think it was a bad idea. Have you ever used an ML-family language?
326.
by lmm 6mo ago
Maybe the developers should've put more porn in. (Hell, a lot of the time they know the game should have more sex, but leave it to the modders because of instructions from above and/or to maintain plausible deniability).
327.
by lmm 6mo ago
I'd rather scan stuff myself than awkwardly hover while someone else does it. What's the point of paying (directly or indirectly) for another human's labour if it doesn't save me time?
328.
by lmm 6mo ago
Is it really that hard to produce an opposite-handed version? That sounds more like a convenient excuse.
329.
by lmm 6mo ago
> I had a couple of aunts that were both members of the UK/AU Women's Auxiliary Air Force (1939 - 1949) and they each had rudimentary training for spitfires, heavy bombers, jets, etc that came down to mere hours and "see h
330.
by lmm 6mo ago
> Do you think that having a say in the way the place you live for 5% of your life might increase the odds you want to settle down there and contribute to making it a good place? I think giving foreign students the vote would make some o

More ›