empath75

5 ms·

61.
by empath75 2mo ago
Love the idea, but the website is just broken.. problem statements don't load, etc..
62.
by empath75 2mo ago
You could imagine different layers on different chips, though, i think...
63.
by empath75 2mo ago
Those providers are not going to end up being price competitive with the big labs unless they are running at the scale of the big labs.
64.
by empath75 2mo ago
This is one of those headlines where I simultaneously think "cool" and now have a new source of low-grade background anxiety about. It can have a seat next to false vacuum collapse.
65.
by empath75 2mo ago
> In a world where open-weight models dominate, the proprietary frontier models of Anthropic and OpenAI will find it virtually impossible to charge monopolistic pricing. It'll never be economical to run open-weight models compared t
66.
by empath75 2mo ago
Of course, the price of tokens going down makes it cheaper. You can now afford to throw millions of tokens at solving a problem that would have been impossible for AI to solve at all a year ago for any price. People completely lack imagina
67.
by empath75 2mo ago
LLM's reason and think in the way that boats "swim" and planes "fly". It is an analogy. But nevertheless, planes do take you where you want to go, and so do LLMs. I think we are in sort of the place where before t
68.
by empath75 2mo ago
That very much does not describe what happened. Someone found the bug and used it to disprove the Collatz conjecture as a demonstration of the bug. Nobody ever claimed it as an LLM proof.
69.
by empath75 2mo ago
A lot of the AI aesthetic of UX _currently_ is a function of the defaults in the skills and tools that ai agents are equipped with. That's distinct from the "AI look" for image generation which is just baked into the weights
70.
by empath75 2mo ago
I think the Balogun red-card and just inconsistency in general with red card suspensions was the only real blight on the tournament and that's fixable with some rules changes. The world cup in general was tremendously entertaining, tho
71.
by empath75 2mo ago
I think sports gambling should be legal _and regulated_, just like a lot of other vices, and one of those regulations _absolutely has to be_ a complete firewall between sports betting and the business of sports. No sponsorship deals with p
72.
by empath75 2mo ago
I've been using TLA with claude code at work and it roughly takes twice as long, but it's already _fast_ to get claude to produce code and this prevents a lot of rework.
73.
by empath75 2mo ago
This is the equivalent of a security researcher having a virus escape a sandbox. It's negligent, it's not criminal.
74.
by empath75 2mo ago
A lot of people thought that OpenAI was making this up, and I hope if you believed that, that you recalibrate your opinions of what LLM's are capable of. Working with Fable and Opus 5 all the time, absolutely none of this surprised me
75.
by empath75 2mo ago
You can get _better_ that SOTA AI performance by burning the weights directly to silicon, the problem is you're locked into that model
76.
by empath75 2mo ago
I'm currently writing such a language myself in pure Lean, based on adjoint logic -- as well as graded modes and effects. I started by just trying to formally verify a Rust-like borrow checker and at this point I have a working interp
77.
by empath75 2mo ago
I had claude spend about 2 hours friday modeling one of our kubernetes operators in TLA, and it found 8 bugs, including 2 that could cause data loss, and one of the other bugs was one we had been trying to figure out why it was happening fo
78.
by empath75 2mo ago
I didn’t. Claude wrote all the proofs, I just validated that it was sorry-free, didn’t have any extra axioms other than mathlib and that it proved what i wanted it to prove (there’s tools for that). I did also find a actual mathematician wh
79.
by empath75 2mo ago
I spent two weeks proving a number theory result myself in lean just to see what I could do. (It’s something about composing polynomials with themselves and what other polynomials you can get that way). It was a struggle with a lot of dead
80.
by empath75 3mo ago
It does mean that this will have a drift problem if it's just trained on the idiosyncrasies of model fine tuning. That's fine! But it is something to be aware of.
81.
by empath75 3mo ago
I'm basically of the opinion that if agents can't write your programming language, that's a problem with your programming language.
82.
by empath75 3mo ago
I think there's a germ of a good idea here, but really this needs to be data that is presented in a way that encourages human thought and interpretation and not something claude predigests and interprets _for_ you. I found the whole t
83.
by empath75 3mo ago
The problem right now with something like this is you're trying to nail jello to a wall. People haven't figured out what an agent is yet, and trying to crystalize what people happen to be doing right now means in a few months, yo
84.
by empath75 3mo ago
There's so much wrong with this comment. First, middle class _by definition_ did not have large estates that earned incomes for them. Second, it's weird to throw in an "unfortunately" after pointing out that the only th
85.
by empath75 3mo ago
People made fire for thousands of years before they understood what it was.
86.
by empath75 3mo ago
Almost every single statement in this sentence was wrong. It was founded as the Sacrum Imperium -- literally the Holy Empire. "Heiliges Römisches Reich" was a later German translation of the Latin term for it. Charlemagne expli
87.
by empath75 3mo ago
The Roman empire was large and diffuse enough, and enough people had local power that it was becoming increasingly difficult for Romans to hold power by force alone. At some point, you need _just enough_ people who feel like they have a sta
88.
by empath75 3mo ago
The Holy Roman Empire considered itself a successor to the Roman Empire, so in this case, it is an exact translation.
89.
by empath75 3mo ago
A _lot_ of greek literature survived via the Byzantine Empire and through Arabic translation, though.
90.
by empath75 3mo ago
> There’s a big chance that excavation could find deeply heterodox stuff, I think. Heterodoxy (or really, orthodoxy) wasn't really a thing in 79ad, and you're not likely to find much of it in the private library of a wealthy Ro

More ›