antonvs

18 ms·

481.
by antonvs 3mo ago
> Long term, I think we need computer age fables. That seems undeniable. After all, look at religions. The major ones have survived, and perpetuated their positions - including many glaringly counterfactual beliefs! - for thousands of ye
482.
by antonvs 3mo ago
Well put. But the problem is, those same forces you're describing are employed to fool people into believing the fictions that support these regressive movements. The real danger we should be focusing on is "won't someone thi
483.
by antonvs 3mo ago
A couple of obvious ones would be running as a standalone service, and supporting multiple concurrent writes. Both of these help support transparent handling of multiple concurrent clients, which seems like table stakes for a "real dat
484.
by antonvs 3mo ago
That's not really relevant, the point is LLMs are actually pretty good for the scenario you described.
485.
by antonvs 3mo ago
The difference is that at bigger banks at least, they tend to throw more money at the problem. They'll have defense in depth with e.g. DMZs, proxies for ingress and egress, locked down workstations and browsers, etc., and a different t
486.
by antonvs 3mo ago
> if I had been using Rust, or indeed, formal verification, that wouldn't have helped at all — it would have just written a mathematical proof, proving the correctness of the wrong thing! This is a well-known issue in formal methods
487.
by antonvs 3mo ago
> A bell-curve is the amortised function of a random variable with a mean and standard deviation. The general notion of a bell-shaped curve is broader than that. Wikipedia has a reasonable overview: https://en.wikipedia.org&#x
488.
by antonvs 3mo ago
Why are those important? Now if he had revolutionized public transport, we might have something to discuss. But instead, he actively worked against that, and was a major force in getting Trump reelected. Then, after executing a pitch-perfec
489.
by antonvs 3mo ago
You’re using your mom for rubber duck debugging, then. An LLM can work for that as well, usually better because it knows a lot more than your mom.
490.
by antonvs 3mo ago
No. I wrote it about 10 years before GitHub existed, and it’s just a toy. All it does is transform core Scheme syntax to Ocaml syntax, converting untyped values in the usual way to a ‘Value’ sum type. I originally thought it would be slower
491.
by antonvs 3mo ago
Until those people control the Texas government, I don’t see the relevance. I grew up in South Africa during the apartheid era, when black people weren’t allowed to vote or even participate in the economy at much beyond the level of slaves.
492.
by antonvs 3mo ago
Oh dear, imagine what the writing of a Claude trained on other Claudes is going to look like. I’m not sure I can handle that much Claudosity.
493.
by antonvs 3mo ago
Presumably written by someone without much interactive shell experience. When you're building a pipeline, putting cat first can often be quite convenient. Essentially, it's more composable: it defines the input to the pipeline wit
494.
by antonvs 3mo ago
Even people with mothers shouldn't travel to Texas.
495.
by antonvs 3mo ago
It’s one of the most amazing technological achievements of the 21st century to date, if not the most amazing by far. But it’s still a machine executing a program. Your emotional reaction to it might be because you’re seeing it as something
496.
by antonvs 3mo ago
> But there’s nothing stopping you from building out your data warehouse in Postgres or MySQL. Other than money and time.
497.
by antonvs 3mo ago
I wrote a toy Scheme implementation in OCaml by using the Camplp4 preprocessor. In benchmarks, it was faster than Gambit Scheme, which compiles through C.
498.
by antonvs 3mo ago
He's good at exploiting naive people's dreams.
499.
by antonvs 3mo ago
> I'm Wrong tense.
500.
by antonvs 3mo ago
How do you know? Presumably you must be able to point to some government transparency documentation about that activity? Oh wait, nothing like that exists. You don't know what happened. And that's the problem. Neither Musk nor Tru
501.
by antonvs 3mo ago
> This is basically also why the cloud business was thriving even when on-prem is much cheaper in monetary terms On-prem is almost always much more expensive "in monetary terms" when you take into account the cost of staffing t
502.
by antonvs 3mo ago
Part of the problem with all this is the unquestioned validity of the idea of a "superior". There are things that managers are good at and things that their staff are good at. For technical roles, a manager doesn't need to be
503.
by antonvs 3mo ago
The stochastic parrot claim is as apt as ever. It’s just that it turned out that humans are just stochastic parrots, too.
504.
by antonvs 3mo ago
Excuse me, I use Neovim but with no automation - no completions, no language server. Pure human coding. It’s not Notepad, but I’m not a masochist.
505.
by antonvs 3mo ago
How do you rate that against all the generic garbage that comes out of the pop music industry? Do you really think it’s meaningfully worse?
506.
by antonvs 3mo ago
Why?
507.
by antonvs 3mo ago
For commercially viable fusion energy production, you can make a strong case that it's not possible in principle. It's more difficult to make that case for AGI.
508.
by antonvs 3mo ago
> To me, AGI implies consciousness, it implies qualia. I don't see why. We already have a pretty good example of intelligence without consciousness (presumably): LLMs. Why should a more general kind of intelligence imply consciousne
509.
by antonvs 3mo ago
I deal with people in five other countries in a daily basis, and LLMs have only been a benefit in terms of improving communication. You claim you’d “rather learn their language”, but it’s an empty claim. How many languages have you learned
510.
by antonvs 3mo ago
> I want the ability to shame and discredit anyone passing the job of prose to a machine. What about people who don’t speak your language well?

More ›