Smaug123

9 ms·

121.
by Smaug123 10mo ago
What theorem did you use that allowed you to multiply both sides by $0$? (That theorem had conditions on it which you didn't satisfy.)
122.
by Smaug123 10mo ago
You can express those constraints; it just turns out to be less ergonomic in practice if you do. (You can even do so in terms of the junk-valued total functions! Just define `actual_subtraction` to call straight through to `junky_subtract
123.
by Smaug123 10mo ago
I merely answered your question! > How can you be grateful enough to want to send someone such a letter but not grateful enough to write one? Answer according to your definitions: false premise, the author (the person who set up the LLM
124.
by Smaug123 10mo ago
That letter was sent by Opus itself on its own account. The creators of Agent Village are just letting a bunch of the LLMs do what they want, really (notionally with a goal in mind, in this case "random acts of kindness"); Rob Pik
125.
by Smaug123 10mo ago
The examples at the end show that it's syntax for "parse such that this expression is not grouped". Essentially I guess this could be modelled as an operator `(_+_)` for every existing operator `_+_`, which has its binding
126.
by Smaug123 10mo ago
(And in my experience, if GPT-5 misunderstands something, then that thing is either async Python, modern F#, or in need of better comments.)
127.
by Smaug123 10mo ago
When you say "structurally incapable", what do you mean? They can certainly output the words (e.g. https://github.com/Smaug123/WoofWare.Zoomies/pull/165#issuec... ); do you mean something more alo
128.
by Smaug123 10mo ago
This seems like quite a dramatic organisational response to a single incompetent employee!
129.
by Smaug123 10mo ago
What model were you using? This is true for e.g. the best Qwen model, which I believe to be too dumb to be useful, but not GPT-5.0 or above in my experience (and I consider myself to be a pretty demanding customer).
130.
by Smaug123 10mo ago
I've only ever had that problem when supplying a formatted diff alone. Once I moved to "provide the diff, and then also provide the entire contents of the file after the change", I've never had the problem. (I've al
131.
by Smaug123 10mo ago
Depends what you mean by "need", of course, but in my experience the curves aren't bending yet; better model still means better-quality review (although GPT-5.0 high was still a reasonably competent reviewer)!
132.
by Smaug123 10mo ago
With not much more effort you can get a much better review by additionally concatenating the touched files and sending them as context along with the diff. It was the work of about five minutes to make the scaffolding of a very basic bot
133.
by Smaug123 10mo ago
This is one of the easiest questions in the world to answer. My first try on the smallest and fastest model it was convenient to access, GPT-5.2 Instant: https://chatgpt.com/share/69468764-01cc-8008-b734-0fb55fd7ef...
134.
by Smaug123 10mo ago
The stack has grown and almost shrunk again. * The immediate-mode "every tick I ask you for a VDOM based on the user-defined state" TUI framework has all the fundamental features, I think; writing docs and expanding the library of
135.
Breaking Paragraphs into Lines [pdf] (1981)(gwern.net)
37 points by Smaug123 10mo ago|7 comments
136.
by Smaug123 10mo ago
This is the paper in which Knuth and Plass define the bones of the layout algorithm behind TeX. The Knuth-Plass algorithm decides how wide spaces should be on each line and which choices of hyphenation out of some predefined set should be u
137.
by Smaug123 10mo ago
It's not the same. Recently Opus 4.5 diagnosed and fixed a bug in the F# compiler for me, for example ( https://github.com/dotnet/fsharp/pull/19123 ). The root cause is pretty subtle and very non-obvious,
138.
by Smaug123 10mo ago
On the layout side rather than the "what spaces are available" side, I really recommend https://gwern.net/doc/design/typography/tex/1981-knuth.pdf , the paper in which the Knuth-Plass algorithm
139.
by Smaug123 10mo ago
In fairness the problem is not easy ! JupyterLab only got document-wide undo/redo in 2021 per https://jupyterlab.readthedocs.io/en/3.1.x/getting_started/c... .
140.
by Smaug123 10mo ago
We have at least recently accepted the Fingleton report's findings ( https://www.gov.uk/government/publications/nuclear-regulator... ) which is an attempt to get rid of a bunch of administrative blockers. I&#x2
141.
by Smaug123 10mo ago
Out of interest, was your intended answer "where you started, facing east"? FWIW, Claude Opus 4.5 gets this right for me, assuming that is the intended answer. On request, it also gave me a Mathematica program which (after I fixed
142.
by Smaug123 10mo ago
Almost the entirety of Asimov's Robots canon is a meditation on how the Three Laws of Robotics as stated are grossly inadequate!
143.
by Smaug123 11mo ago
Hey, I've been on an odyssey to port this (for a very liberal definition of "port") to .NET for many months! The underlying library [Incremental][0] [is ported][1] though currently unused; the "ported" framework its
144.
by Smaug123 11mo ago
The .NET source build team looked at subtrees ( https://github.com/dotnet/arcade/issues/10257#issuecomment-1... ). > Introduces a very messy and complex history which would not work for the repo of our size
145.
by Smaug123 11mo ago
Could you give an example to distinguish them? Async means not-synchronous, which I understand to mean that the next computation to start is not necessarily the next computation to finish. Concurrent means multiple different parts of the pr
146.
by Smaug123 11mo ago
(GCC controls this with `-fno-delete-null-pointer-checks` https://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html#ind... )
147.
by Smaug123 11mo ago
Unwound a couple of things from the stack! Finished: the 100%-vibe-coded "GPT-5 reviews all my PRs on max reasoning" GitHub app (which is shockingly effective, https://github.com/Smaug123/robocop - probably n
148.
by Smaug123 11mo ago
This is aphyr's standard policy. https://blog.woof.group/announcements/updates-on-the-osa summarises the reasoning, which basically boils down to "the legislation is broad enough in scope to cover most of wha
149.
by Smaug123 11mo ago
This assertion is so vague as to be meaningless - say more? You're presumably not asserting that all statically typed languages are fundamentally Java, because that would be saying the patently false "C and Haskell are fundamental
150.
by Smaug123 11mo ago
I found the Security Room's "what objects are present" feature helpful! Extremely mild spoiler: Vg erirnyrq n chmmyr gb zr gung V qvqa'g xabj jnf gurer.

More ›