Viewing profile — Smaug123

Gwern, who posted that comment, is one of the early popularisers of the term. Janus used it in at least 2023, and Gwern in at least early 2024. If anything, you probably have the c…

Not necessarily. For example, perhaps my ZFC first-order-logic theorem checker implicitly accidentally contains the continuum hypothesis as an axiom. This isn't inconsistent but it…

I don’t understand this comment - the .NET CLR supports arbitrarily large value types. Are you referring to something like “atomic flattening of those types” instead? Because the C…

> written with your knowledge that the text will be used for the purpose of having an LLM determine whether you wrote it Actually no. I've done the experiment under those condition…

> cannot do spatial reasoning Opus 4.8 was the first model that could plausibly roleplay a BJJ roll without making a physically implausible move within five conversational turns. F…

I have run the experiment like seven times now on different tracts of text, given to people who are not me. It’s a point of simple fact that Opus 4.7 can identify me when I’m writi…

If your worldview is “most of the progress is made by closed labs, then open labs fast-follow” (which isn’t implausible given the documented distillation of Fable), and further tha…

Claude, a general-purpose model, can identify me, personally with stylometry in about 200 words. Is it really such a stretch to believe it’s possible for a special-purpose model to…

You can literally taste the difference between wearing a mask on the Tube and not.

The article contains Dynomight’s thoughts on the literature of stylometry. Search on the word “stylometry”.

That bet isn't one anyone will take the other side of, surely - how is your counterparty supposed to collect if they win? I guess you'd propose effectively supplying a loan with a …

Note that Neel Nanda replicated the results on a Qwen model.

The model itself, sure; the comment is about the production of more advanced models (to keep open weights near the frontier).

By the way, you've seen Cerebras? It's not gone as far as what you described - loads of cores and RAM but you still load up the weights onto it as software and they need to be stre…

For what it’s worth, Claude did this without even being asked when I had it implement /dev/urandom in my deterministic dotnet runtime. (Fun fact: if the runtime only ever receives …

Does it have a terse syntax? I main F#, and when I have to work with Python I generally find myself complaining about how verbose it is. (Needing intermediate variables for what sh…

I didn't want to reimplement all the assembly-reading nonsense that comes for free with System.Reflection.Metadata. The `dotnetdll` crate exists but is GPL. Also in F# I can fall b…

To answer your question, although I would certainly have preferred you to phrase your comments less insultingly: this project would otherwise never have got to a state where it cou…

I mean, there is a reason the MIT licence contains these words: > THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND… INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF… FI…

I think the Stroop effect ("read these colour names, each written in a different colour") is probably the purest demonstration of this. Humans are trivially prompt-injectable.

A few years ago, as you say, this was true. Nowadays I guess you just have to bite the bullet that Erdős problems aren’t interesting.

Something of a passion project. It's going to fail horribly if you try and use it, I'm sure, but it can already do some neat stuff!

I take a very dim view of slopping out 500kloc and then giving it to unpaid experts to perform the actual work of checking it (confirmed at https://leanprover.zulipchat.com/#narrow…

("If grown, then unpredictable" is unrelated to your apparent attempted refutation "But X is unpredictable and not grown; checkmate".)