LeCompteSftware

9 ms·

91.
by LeCompteSftware 6mo ago
That's kind of the point of my comment - software developers couldn't release on NEC without excluding IBM customers etc etc. They were stuck with 1.44MB because that was the only thing guaranteed to work. There was a human manage
92.
by LeCompteSftware 6mo ago
Lots of us are having fun identifying our choice for missing family :) One I might suggest is scripting languages, defined loosely by programming tools which dispatch high-level commands to act on data pipelines: sed, AWK, the sh family, P
93.
by LeCompteSftware 6mo ago
This is just wrong, you're being too didactic. Idris specifically lets you implement nontotal functions in the same way that Rust lets you write memory-unsafe code. The idea is you isolate it to the part of the program with effects (in
94.
by LeCompteSftware 6mo ago
Lean is definitely a dependently typed ML-family language like Agda and Idris, so "ML" has it covered. And the long-term goal of Lean certainly is not "execution is only secondary"; Microsoft is clearly interested in wri
95.
by LeCompteSftware 6mo ago
The real question is why were 1.44mb 3 1/2" floppy drives used for so long when they were totally obsolete by 1990. I would love to read a more coherent and unified history; my understanding is that there were tons of competing hi
96.
by LeCompteSftware 6mo ago
Just FYI, this section at the end about R6RS Scheme is a little confused: https://fset.common-lisp.dev/Modern-CL/Top_html/Scheme-_0028... Strings are immutable [in Scheme]. Functional point update operations
97.
by LeCompteSftware 6mo ago
This is a frustrating response to my comment. I am aware that symbiosis is universal. That's not what I'm talking about. I am talking about the specific and highly unusual behavior of crawling inside of a much larger animal's
98.
by LeCompteSftware 6mo ago
This is very cool, and quite surprising. Cleaner fish are thought to be among the most intelligent fish because of the complexity and danger of their feeding strategy: it takes careful planning and quick thinking. But they aren't tied
99.
by LeCompteSftware 6mo ago
>> In-situ resource utilization (ISRU) plant development for a sustainable lunar outpost The image is clearly Mars.
100.
by LeCompteSftware 6mo ago
"Yes they crashed into a wall and all died, whereas you steered around it, but you must acknowledge that they crashed twice as quickly as you didn't crash. If you were driving their car, you would have just slowed them down."
101.
by LeCompteSftware 6mo ago
It seems a little silly to put 71 years of private-and-public-sector infrastructure development alongside something highly targeted like the Manhattan Project. It might make more sense to compare the Manhattan Project to the first transcont
102.
by LeCompteSftware 6mo ago
Did you miss this part? But he was doing this for education, not for work. That's why he should spend 6 hours on it, and not give up and run to the gym. That's like saying "I shouldn't spend an hour at the gym th
103.
by LeCompteSftware 6mo ago
IMO the more salient point is that bugs requiring multiple weeks of human work aren't going away! Claude has actually not been trained on, say, a mystifying and still poorly-explained Java concurrency bug I experienced in 2012, which c
104.
by LeCompteSftware 6mo ago
I believe the point (which you seem to tacitly agree with) is that a young dev's time is much better spent reading and writing code "the old-fashioned way" vs chasing the new SOTA in AI-assisted development. A competent dev c
105.
by LeCompteSftware 6mo ago
This is ominous and very depressing given what we've recently learned / reconfirmed about LLMs sapping our ability to persist through difficult problems: > There were 2 or 3 bugs that stumped me, and after 20 min or so of debug
106.
by LeCompteSftware 6mo ago
"LLMs couldn't do any damage with hallucinated citations" If you're saying stuff like this with a straight face then you are clearly not a scientist and you don't know what you're talking about. In 2021 there w
107.
by LeCompteSftware 6mo ago
This doesn't even slightly answer my question. The incredibly frustrating thing about the AI discussion is the refusal to consider actual evidence because of shifting targets. In 2026 there is evidence that 2024 LLMs did enormous damag
108.
by LeCompteSftware 6mo ago
"that's actually pretty useful contribution to science" Why? Serious question. Surely the only people using the LLM for such specific STEM domains are the exact same people who are "chasing grants instead of researching.
109.
by LeCompteSftware 6mo ago
That shouldn't be viewed in isolation. A major root cause is essentially overproduction of academics downstream from the Cold War, and obviously the private sector is not to blame for that. But you can't ignore how much modern Big