mbac32768
Joined 6 years ago
Joined 6 years ago
I bet that takes a week at most.
The problem is they're just running a very dumb, cheap model on the results because running a smart model on every search result page would cost them infinity money.
All of the years we've spent on immutable by default, strong types and dreaming about the lambda has to matter! The AI that just rips out thousands of lines an hour of imperative and weakly typed code just has to be leading organizations to ruin! You'll see!
We worked hard at honing our craft. It's still meaningful, damnit!
Maybe Rust let's you encapsulate the unsafe a little better than C++ but the wins are going to be surprisingly small. If you had to build it today you'd maybe use Rust but the case for rewriting an existing C based runtime in Rust is not that strong.
Also for things like interpreter loops the absence of computed goto in Rust stable is a real performance killer. Explicit tail calls (the `become` keyword in nightly) work but maybe you don't want your big rewrite to rely on that.
For the longest time whenever I'd meet someone at a party I would ask "so, what do you spend your time on?" because I specifically didn't want to box them into asking how they make money. I wanted to hear about their passions or hobbies or even the mundane tasks.
Instead, pretty much everyone told me about their jobs.
There's no reason to read the code anymore.
The LLMs produce it inhumanly fast.
They can usually debug and fix problems faster than Haskell can compile the project.
Meanwhile the open source communities are in basic denial about AI, so trying to change things by making compilation faster or advancing a Haskell interpreter are going to meet with fierce resistance.
Whatever. Give up. Just ship Python.
I sympathize.
There's alpha gal (red meat allergy ) and also ascending paralysis. And more.
> This technically also means we have to trust the hardware, OS, OCaml compiler that the Rocq proof checker relies on.
It just so happens Claude and I recently did an independent implementation of OCaml and ruled out malware in the compiler bootstrap via DDC (and also by achieving byte identical outputs).
https://discuss.ocaml.org/t/ocaml-compiler-implemented-in-c-...
So, we can at least rule out "trusting trust" malware in the OCaml part of the stack and up. (Rocq does not have trusting trust concerns since it's implemented in OCaml and C)