antonvs

41 ms·

931.
by antonvs 6mo ago
> What on earth is going on here? Irrational armchair quarterbacking driven by emotional reactions to change and perceived threats. It’s not worth worrying about this specific instance, but the overall trends could get messy. This is jus
932.
by antonvs 6mo ago
How would you have achieved this “machine translation” without an LLM? It seems to me it would have been highly likely to be more expensive and more resource intensive - if realistically possible at all, short of implementing a general Zig
933.
by antonvs 6mo ago
Why is a self-driving car so important to you? Is it really worth giving up your privacy, and advocating that others should give up theirs, just for some shortcoming in your own capabilities?
934.
by antonvs 6mo ago
There are plenty of reasons to think China could be a more stable and safe business partner for the EU than what the US has become.
935.
by antonvs 6mo ago
> Where does this weird expectation come from that you can basically achieve your goals in a 2 week air campaign? From every US administration that’s started a war since about 1945.
936.
by antonvs 6mo ago
I think their point is that that behaviour is legal from a US perspective, when the target of a US government investigation is outside the US.
937.
by antonvs 6mo ago
> worry that that foreigners attempting to immigrate here for the long-term have a plan involving exercising influence on US politics from their position inside the country, in order to punish existing US citizens. This is indeed a valid
938.
by antonvs 6mo ago
> wait till you look inside a neural network and realize they're incapable of deductive reasoning! You could just as well say, wait until you look inside a human brain and realize they’re incapable of deductive reasoning! Of course
939.
by antonvs 6mo ago
LLMs can regularly produce correct conclusions from the input they’re given. When a human does that, we call the process involved “reasoning”. LLMs can even explain how their conclusions are supported in ways that again, if a human employe
940.
by antonvs 6mo ago
> AI has removed most of the complaints people had with learning or using Rust. Not even close. The problem is not only writing the code, it’s being able to review and understand it. An AI can’t magically transfer that knowledge into som
941.
by antonvs 6mo ago
I tried that on a recent project. My conclusion: don’t use Python if you value your sanity. Ruff etc. are not type checkers, they’re the cargo cult equivalent of what a Python developer imagines a type checker would be like if they had one.
942.
by antonvs 6mo ago
That’s just ordinary unfamiliarity with a language.
943.
by antonvs 6mo ago
A tail-recursive loop handles loops just fine, and is just as efficient. This is a perfect example of the misconceptions that mutable-first programming languages have caused. > ultimately DRAM is mutable Ultimately the CPU executes machi
944.
by antonvs 6mo ago
> Why do they often make completely unintuitive decisions Most likely because you haven't constrained their behavior in your prompt. You're making the assumption that they "understand" that using best practices is wha
945.
by antonvs 6mo ago
> If you’re spending time thinking and not experimenting, then it’s because experimentation is expensive. No, because no amount of experimentation can solve many of the problems that have been solved by thinking. Even your claim about &q
946.
by antonvs 6mo ago
What's the cause exactly? Make America a white evangelical "paradise"?
947.
by antonvs 6mo ago
It’s a pity your father’s perspective didn’t prevail. We’d all be using better programming languages now.
948.
by antonvs 6mo ago
Crypto exchanges have been doing 24/7 trading for well over a decade. Of course they’ve had their own, uh, issues - but generally, reliability of transactions hasn’t been a major one, for the big exchanges.
949.
by antonvs 6mo ago
I look forward to seeing that play out in the market, if true. But from what I've seen, it really isn't. If you're talking about the ability to churn out low-stakes systems like websites, or variations on existing widely avai
950.
by antonvs 6mo ago
I was just using "weak" in the ordinary English sense, as in "not powerful". But you're right, that's confusing because of existing terminology. I should have said that Go has a less expressive type system, i.e
951.
by antonvs 6mo ago
You never knew that because most of it is false. The constitutional point they mentioned has a big exception for the needs of administration, and Mexico’s immigration law uses that to require passports from all foreign nationals entering Me
952.
by antonvs 6mo ago
> there are much more prescient and immediate things you should oppose than this. We can oppose more than one thing at a time. All of these privacy invading measures should be opposed as strongly as possible. Companies like Google should
953.
by antonvs 6mo ago
Notably, there’s nothing about children in that quote.
954.
by antonvs 6mo ago
> "Communal ownership of the means of production" evokes an image of a hippy co-op trying to buy pallets of GPUs The quote is a direct reference to a core tenet of Marxist theory, socialism, and communism. Historically, communa
955.
by antonvs 6mo ago
> none of the consulate advice is able to cite where this supposed "requirement" comes from. It comes from Mexico's immigration law, Ley de Migración : https://www.diputados.gob.mx/LeyesBiblio/pdf&#x2
956.
by antonvs 6mo ago
I'm saying Go has a weak type system. This was apparently an intentional choice by the authors. Go doesn't even have sum types, which are an extremely basic, foundational feature of type systems. Even C had an equivalent in its un
957.
by antonvs 6mo ago
I expressed that poorly. I'm saying Go adds a weak type system. Too weak for its own good. No sum types is the first dealbreaker. Even C had unions.
958.
by antonvs 6mo ago
Give it coding guidelines. It'll largely try to do what you ask. Left to itself, it often follows human developers who conceive of their goal as "get the program working, the end justifies the means." Which makes sense becaus
959.
by antonvs 6mo ago
Being an expert software developer - which Jarred Sumner indisputably is, having created Bun - doesn't automatically make you an expert on predicting the improvements in software development performance that LLMs enable. All of us - ex
960.
by antonvs 6mo ago
Your high school taught you a front-end markup format. I'm sure it seemed like a good idea to someone at the time.

More ›