HackerTrans
TopNewTrendsCommentsPastAskShowJobs

Veedrac

no profile record

comments

Veedrac
·9 dagen geleden·discuss
The simplest explanation is surely that China is new to having a highly educated workforce and the ‘failed for some fifty years’ claims the article makes don't mean much given it.

I don't think you need to entrain market arguments or whatnot to this, when it's only in the last decade China was a strong advanced manufacture player, and turbines are the kind of project that you probably wouldn't expect to go much faster than that regardless of the demand.
Veedrac
·23 dagen geleden·discuss
I have libertarian enough tendencies to think that if a person wants to self-operate, or pay for an operation that doctors are telling them is not justified given the evidence, then they should have right to do it. But I don't think that's what people normally mean when they say that eager screening causes harmful overdiagnosis.

> So your suggestion for indeterminate scans is more scans?

The solution to imperfect evidence is consistent and calibrated risk estimation of both disease and intervention.
Veedrac
·23 dagen geleden·discuss
This is fair, but I think it's better stated as you did than couched in language suggesting it's a matter of principle.
Veedrac
·23 dagen geleden·discuss
This style of argument has always bothered me, because the correction to misdiagnosis or mistreatment is not to stop looking, it's _git gud_.

For sure, we have to be realistic about what processes will systematically have error, and if we can't stop a doctor from doing bad things with a piece of data we should shield them from it, but the tools to make scalable, calibrated risk estimates based on large data dumps is getting better every year.
Veedrac
·vorige maand·discuss
Wow this paper is bad. I was expecting little and received genuine crackpottery.

It's hard to critique this paper directly because its claims are so incoherent and decorated with so much obnoxious verbiage[1] that people aren't going to believe me when I point out what the claims actually are.

Regardless, this is their paper:

First, they conflate the substrate with the presentation layer. Then, they point out that Turing equivalence means you can run an LLM on anything, with a pointless aside where they nerd out about making a logic gate in AoE II. This lets them conclude that you can use anything as the presentation layer.

Then they claim that it's natural to ascribe human-like attributes to outputs from some presentation layers, like abstract letter symbols on a computer screen, but not to most other things, like patterns of goats on AoE II, or LEGO. Yes, this seems to imply if your partner writes something heartwarming to you using LEGO, you're meant to laugh at them and point out how LEGO isn't intelligent so this isn't evidence of anything.

Then they do a thing where they say that assuming substrate independence is true (or false) prevents proving whether substrate independence is true or false, and from this, but just by vibes AFAICT, make it sound like everything one could learn about attributes of a system from its outputs is circular.

Then they write a bunch more incoherent text and mercifully then it ends.

[1] 'from an epistemic perspective, we argue that a generalised conclusion such as that necessarily requires a well-designed experiment' — the whole thing is like this.
Veedrac
·vorige maand·discuss
You don't have to argue the opposite of a prediction to disbelieve sources with poor track records.
Veedrac
·2 maanden geleden·discuss
I broadly agree those are good to consider (a typical requirement for my own designs is to fit the KIK format as-is), but I think you're being a little too absolute. Enclave deserves some recognition here for getting pretty close. It's just a sidebar and a cam, totally normal lock components. The simpler cylinder-in-cylinder designs are also mostly just hardware that multi-shearline locks already have for master keying.
Veedrac
·2 maanden geleden·discuss
A few locks like you describe are Enclave, andy pugh's, Built Different Design's, Carl L. Lambert's, and Michel Robert's.
Veedrac
·2 maanden geleden·discuss
You can't normally describe it as profit because stocks by rule trade at a fair price, but it's surely reasonable to consider in this case GME making a profit from the squeeze given they were selling a good well above fair acquisition price.
Veedrac
·2 maanden geleden·discuss
Quote from bottom of page.

> We understand that some may wish to sensationalize a public crisis like this, but we would implore anybody to consider the ethics of the situation before publicizing this matter to a wider audience than is already exposed to it, or interjecting with prying questions.
Veedrac
·3 maanden geleden·discuss
I wasn't saying you would have that experience, I was saying that the reason people act like transducers are unique is that transducers are an unconventional place on well worn ground.

Ultimately, yes, everything bottoms out, most special tricks seem less special the more you understand about them, because it's programming and Turing Equivalence is the bedrock the whole field rests on. But the average person learning about transducers is not going to spot how closely related it is to other things that already exist.

I'm happy to elaborate on any part of the terminology if you're curious, but tbh I mostly wrote it for myself because I thought the framing was novel and wanted it noted down somewhere.
Veedrac
·3 maanden geleden·discuss
Fundamentally, there are two ways of representing iteration pipelines: source driven, and drain driven. This almost always maps to the idea of _internal_ iteration and _external_ iteration, because the source is wrapped inside the transforms. Transducers are unusual in being source driven but also external iterators.

Most imperative languages choose one of two things, internal iteration that doesn't support composable flow control, and external iteration that does. This is why you see pause/resume style iteration in Python, Rust, Java, and even Javascript. If that's your experience, transducers are a pretty novel place in the trade-off space: you keep most of the composability, but you get to drive it from things like event sources.

But the gap is a bit smaller than it might appear. Rust's iterators are conceptually external iterators, but they actually do support internal iteration through `try_fold`, and even in languages that don't, you can 'just' convert external to internal iterators.

Then all you have to do to recover what transducers give you is pass the object to the source, let it run `try_fold` whenever it has data, and check for early termination via `size_hint`. There's one more trick for the rare case of iterators with buffering, but you don't have to change the Iterator interface for that, you just need to pass one bit of shared state to the objects on construction.

Not all Iterators are strictly valid to be source-driven, and while most do, not everything works nicely when iterated this way (eg. Skip could but doesn't handle this case correctly, because it's not required to), but I don't think transducers can actually do anything this setup can't. It's just an API difference after that point.
Veedrac
·3 maanden geleden·discuss
Do you not... remember? The US life expectancy is 79 years. 7.9 years ago was late May 2018. The best LLM was... wait, there weren't any. There was ELMo, an embedding model. It wasn't just not smart at agentic coding, it wasn't even just not smart at writing code snippets, it wasn't even just not smart at answering questions of any kind, it wasn't even just not good at producing a coherent output, it wasn't even just not good at producing coherent sentences, it was _not even the point where people thought unconstrained text output was a thing machines did_.

There is no step along the ladder which has remotely evidenced or supported that the next step is going to be ten, twenty, a hundred times harder than the last step on the ladder, but a constant chorus of people singing at every moment, each moment wrong, that the next step is the one.
Veedrac
·3 maanden geleden·discuss
It turns out there is literally no amount of being publicly right about a longshot bet sufficient for people to conclude you hold your beliefs because you think they are true.
Veedrac
·3 maanden geleden·discuss
More than anything it's a supply limit. Solar is consistently scaling about as fast as any manufacturing industry scales. The TAM is just big.
Veedrac
·4 maanden geleden·discuss
I think the idea is that in an always-on display mode, most of the screen is black and the rest is dim, so circuitry power budget becomes a much larger fraction of overhead.
Veedrac
·4 maanden geleden·discuss
There's a very simple solution to this problem here. Instead of wink-wink-nudge-nudge implying that 100% is 'human baseline', calculate the median human score from the data you already have and put it on that chart.
Veedrac
·4 maanden geleden·discuss
If you don't like the word 'actuality', I can rephrase. Many worlds is just the claim that physical reality materially evolves in correspondence with the Schrödinger equation.

If you want to quibble over what it means for something to be material, go ahead, but unless you can tie it to some specific claim being made about QD I don't really know what the exercise gets you.
Veedrac
·4 maanden geleden·discuss
Many worlds is just the claim that the Schrödinger equation holds in actuality.

I don't think QD makes decisions 'uniquely'. Take this quote,

> The step from the epistemic (“I have evidence of |π17〉”.) to ontic (“The system is in the state |π17〉”.) is then an extrapolation justified by the nature of ρS⁢ℰ: Observers who detected evidence consistent with |π17〉 will continue to detect data consistent with |π17〉 when they intercept additional fragments of ℰ. So, while the other branches may be in principle present, observers will perceive only data consistent with the branch to which they got attached by the very first measurement. Other observers that have independently “looked at” S will agree.

https://pmc.ncbi.nlm.nih.gov/articles/PMC9689795/

Emphasis on "the other branches may be in principle present" — the claim at least in this paper can't be that all branches agree, just that they agree locally.
Veedrac
·4 maanden geleden·discuss
My confusion is that this is just Many Worlds / the Schrödinger equation, and Quantum Darwinism doesn't seem to add anything that wasn't already obvious by inspection. But after reading more, I think that's kind of the point? It's ultimately just an argument for why the Schrödinger equation produces these locally classical regions, plus a bunch of overly flowery prose and dressing up in invented jargon that can mostly be ignored. I think the article failed to ignore that second part and ended up confused.