HackerTrans
TopNewTrendsCommentsPastAskShowJobs

matheist

no profile record

Submissions

Galatea, by Emily Short (2000)

iplayif.com
2 points·by matheist·vor 10 Monaten·0 comments

comments

matheist
·letzten Monat·discuss
> The company says that the drug was generally well tolerated, but that’s on the oncology scale.

> ...

> He’s been on daraxonrasib since early this year, and describes it this way: “. . .it’s a nasty drug. It causes crazy stuff like my body can’t grow skin and so I bleed all out of a whole bunch of parts of me that shouldn’t be bleeding” If you go to that link above, be prepared, because he also looks like he’s had aqua regia thrown all over him (and apparently feels a bit like that, too). But his tumor volume has gone down by about 75%, and there’s a very strong chance that he wouldn’t still be alive at all without having gone on the drug.
matheist
·vor 2 Monaten·discuss
There's eg https://summit.sfu.ca/item/11130 from a Tamara Smyth and Frederick Scott; Google scholar shows some citations but not necessarily conical brass in particular. That link is about trombones, so also not conical. (I read that and tried to implement some stuff in it, see https://nuchi.github.io/trombone/ for a browser-based playable version.)

Conical and cylindrical bores definitely differ but I don't see why they'd be different specifically with respect to the lip interaction, can you say more about that part?
matheist
·vor 4 Monaten·discuss
Does task_done not do what you want?

https://docs.python.org/3/library/queue.html#queue.Queue.tas...
matheist
·vor 4 Monaten·discuss
I have no idea, but I wouldn't expect so unless it was by coincidence? Not sure what chords have to do with any of this. There's a canonical way to choose 4 points uniformly and independently at random on the circle, and it's got nothing to do with chords.
matheist
·vor 4 Monaten·discuss
Right, I was taking it as given that the problem of choosing a hemisphere canonically for a point meant "such that the argument works in the same way as for the circle".

Bertrand paradox just doesn't apply here, there's a natural measure on the circle and all higher dimensional spheres. I wouldn't expect an article on this subject to need to make that clarification unless it's dealing with chords or some other situation without a natural measure.
matheist
·vor 4 Monaten·discuss
Great argument. I found this generalization to higher dimension: https://www.mathpages.com/home/kmath327/kmath327.htm
matheist
·vor 4 Monaten·discuss
> The same decomposition works in higher dimensions.

I don't think the same argument works in higher dimensions. On a circle, we can canonically pick a semicircle corresponding to each point (we have two choices, let's say we pick the clockwise one).

In higher dimensions there's no canonical choice of half-sphere. In odd dimensions one could pick a canonical half-sphere per point but it might turn out that some other non-chosen half-sphere for that point contains all the other points. In even dimensions there isn't even a way to canonically pick a half-sphere for each point (this is a consequence of the Hairy Ball Theorem).

(For all I know the actual numbers might turn out to be the same, I don't know. I'm just saying that the argument doesn't work.)
matheist
·vor 5 Monaten·discuss
I remember being very taken with this story when I first read it, and it's striking how obsolete it reads now. At the time it was written, "simulated humans" seemed a fantastical suggestion for how a future society might do scaled intellectual labor, but not a ridiculous suggestion.

But now with modern LLMs it's just too impossible to take it seriously. It was a live possibility then; now, it's just a wrong turn down a garden path.

A high variance story! It could have been prescient, instead it's irrelevant.
matheist
·vor 5 Monaten·discuss
> Codex uses apply_patch: It takes a string as input, which is essentially an OpenAI-flavored diff, and instead of relying on a structured schema, the harness just expects this blob to follow a strict set of rules. Since OpenAI folks are without a doubt smart, I’m sure the token selection process is biased to fit this structure at the LLM gateway for the Codex variants of GPT, similar to how other constraints like JSON schemas or required tool calls work.

Codex does in fact use a schema for constrained sampling, it's here: https://github.com/openai/codex/blob/main/codex-rs/core/src/...

It still has to work to get an exact match, or at least I didn't read the code to see if there's any fuzzy matching used.

Note the two codex models were the only ones doing worse with the author's proposed format. The author found them doing better with replace than with apply patch, but since the author appears to be unaware that they use a schema for constrained sampling, I think a more realistic benchmark should enable constrained sampling for the apply test.
matheist
·vor 5 Monaten·discuss
They don't appear to care about the images of the immersions or their complements, aside from them not being related by an isometry of R^3. They're not doing any topology with the image.

In other works, they have two immersions from the torus to R^3, whose induced metric and mean curvature are the same, and whose images are not related by an isometry of R^3. I didn't see anything about the topology of the images per se, that doesn't seem to be the point here.
matheist
·vor 5 Monaten·discuss
To be precise, the mean curvature and metric are the same but the immersions are different (they're not related by an isometry of the ambient space).

Topologically they're the same (the example found was different immersions of a torus).
matheist
·vor 8 Monaten·discuss
yeah I have, but I think only when it gets stuck in a loop and outputs a (for example) array that goes on forever. a truncated array is obviously not valid JSON. but it'd be hard to miss that if you're looking at the outputs.
matheist
·vor 8 Monaten·discuss
Can anyone explain (or link) what they mean by "injection", at a level of explanation that discusses what layers they're modifying, at which token position, and when?

Are they modifying the vector that gets passed to the final logit-producing step? Doing that for every output token? Just some output tokens? What are they putting in the KV cache, modified or unmodified?

It's all well and good to pick a word like "injection" and "introspection" to describe what you're doing but it's impossible to get an accurate read on what's actually being done if it's never explained in terms of the actual nuts and bolts.
matheist
·vor 8 Monaten·discuss
> "Best Frontier" includes GPT-5 and Sonnet 4.5, which both outperform Composer.
matheist
·vor 10 Monaten·discuss
Sifu, rather, which would be the Cantonese version (Lee was a Cantonese speaker and didn't speak Mandarin)
matheist
·vor 10 Monaten·discuss
Oh now I understand. I thought your ab and ba were single tokens (even though that doesn't make sense in context). Once you point out they're separate tokens, I follow you. Thank you!

Edit: that's a great example

Edit 2: even more fun: training data is [ab, ab, ba, bb, bb, bb]. Then constrained sampling flips your likelihood from 1:2 to 2:1
matheist
·vor 10 Monaten·discuss
Why do you think the constrained percentages are 0/75/25 and not eg 0/66/33? (ie same relative likelihood for valid outputs)
matheist
·vor 10 Monaten·discuss
Valuation includes expected future growth, it's not just present value of future revenue given today's numbers.

You may not agree with the market's estimation of that, but comparing just present revenue isn't really the right comparison.
matheist
·vor 10 Monaten·discuss
You know, it only just now occurs to me to wonder if the blackjack story is the public sanitized version of "how I got $24k because I'm not allowed to tell you the real version"