mistercow

7 ms·

91.
by mistercow 2y ago
> Partial seeding of labels, e.g. selecting portions of the incomplete model and artificially limiting the available labels in that area, without collapsing it. It seems like you if you had this, you could do some really interesting thin
92.
by mistercow 2y ago
I wonder how viable it would be to find a public key your target owns and use it to encrypt the data you send back. Then you could prove to them that you exfiltrated real data without exposing it to anyone outside the company. Alternatively
93.
by mistercow 2y ago
I don’t think you read my comment correctly.
94.
by mistercow 2y ago
I’m not sure what kind of response you’re looking for, or if this is a rhetorical question or not. But “how could a language model infer…?” can be asked about a whole lot of things that language models have no problem reliably inferring.
95.
by mistercow 2y ago
The thing is, it’s only possible to “completely prove something to be true” in math contingent on your accurate interpretation of the steps of the proof and of its outcome. The proof as a platonic ideal is infallible, but in reality, it get
96.
by mistercow 2y ago
The only way for it to last would be for browsers to compile into some kind of compatibility layer for newer GPU features on older hardware, but that’s probably going to be extremely tough to do in some cases without killing performance on
97.
by mistercow 2y ago
I think there is a compelling reason to have WGSL as a separate language (but maybe not sufficiently compelling): WebGPU is a lowest common denominator which can only have features which are in the intersection of its target platforms, an
98.
by mistercow 2y ago
The point of running numerical simulations is that when they come out wrong, you learn something. If you simulate this, for example, and get a different answer, you’ve learned that you’ve misunderstood the claim. In other cases, a numerical
99.
by mistercow 2y ago
I have, on many occasions, thought that I had an analytical solution to a problem pinned down, then checked it numerically and found that I'd made a mistake. It seems weird that there's any hostility towards a perfectly useful too
100.
by mistercow 2y ago
Isn’t that, again, specifically a benefit of being purely functional?
101.
by mistercow 2y ago
I can see some advantages of this kind of editor for specific contexts, like if you’re building a shader, this UI forces you to be purely functional without explicitly teaching purely functional concepts. But it seems like there’s also a ge
102.
by mistercow 2y ago
I haven’t been super impressed with it, and haven’t encountered any practical tasks I wanted to solve with an LLM where o1 worked any better than prompting 4o or Sonnet to use more extensive CoT. There might be some narrow band of practical
103.
by mistercow 2y ago
It’s weird to me that people look at a technology and then assume from their reckoning that they know all the uses for that technology immediately. Most technological progress happens because someone notices a creative use for something tha
104.
by mistercow 2y ago
You can have a separation of spaces within your home. I have a home office. The only time I go in there when I'm not working is if I left something there (and it's really nice that "swinging by the office to grab my earbuds&q
105.
by mistercow 2y ago
This feels like a severe motte and bailey. The motte is “neuron count is not perfectly linearly correlated with sentience” and the bailey is “neuron count has no reliable correlation with sentience”. The priors referenced in the “technical
106.
by mistercow 2y ago
> You've experienced this mystical thing, and so you know it's true? Suffering is experience, and my own internal experiences are the things that I can be most certain of. So in this case, yes. I don’t know why you’re calling
107.
by mistercow 2y ago
Denying the existence of something that you and everyone else has experienced is certainly an approach. Look, I’m not going to defend the author here. The linked report reads to me like the output of a group of people who have become so ins
108.
by mistercow 2y ago
The problem is that the reasoning they give is so vague that there isn’t really anything to argue against. At best, they convincingly argue, in an extremely non-information-dense way, that neuron count isn’t everything, which is obviously t
109.
by mistercow 2y ago
I totally agree that you can’t just do a 1:1 comparison. My point is not to say that a shrimp suffers .05% as much as a chicken, but to use a chicken as a point of reference to illustrate just how simple the nervous system of a shrimp is. W
110.
by mistercow 2y ago
Which I referenced and called arbitrary.
111.
by mistercow 2y ago
I don’t really doubt that it’s in principle possible to assign percentage values to suffering intensity, but the 3% value (which the source admits is a “placeholder”) seems completely unhinged for an animal with 0.05% as many neurons as a
112.
by mistercow 2y ago
I think this is also a property of relationships rather than just individuals, and for that reason, it's not something that will scale. It's especially fraught when you add someone new to a team that's already very high tru
113.
by mistercow 2y ago
I think first and foremost, using dither patterns is just a lot more authentic to the old black and white visual style Obra Dinn is emulating. Go on YouTube and watch some clips of Shufflepuck Café or The Manhole and you'll see that it
114.
by mistercow 2y ago
> It can't model the generative process of the humans who created those training set samples because that generative process has different inputs - sensory ones (in addition to auto-regressive ones). I think that’s too strong a stat
115.
by mistercow 2y ago
I also argue that failing to syntax highlight this correctly is a security issue. You can terminate block comments with Unicode escapes, so if you wanted to hide some malicious code in a Java source file, you just need an excuse for there t
116.
by mistercow 2y ago
I slightly misspoke. The issue was that you wanted shadowing, but because of the lack of declarations, some random inner variable could suddenly reference a variable with broader scope. For example, you might have an “x” in some inner loo
117.
by mistercow 2y ago
Yeah those examples are compelling. What might work well is a lint rule to error if a loop expression ends an actual function declaration (i.e. not an inline callback), and the function doesn’t explicitly define a return type. I think that
118.
by mistercow 2y ago
CoffeeScript was great except for a few fatal mistakes. The biggest was implicit variable declarations, which meant that to write maintainable code, you had to reintroduce explicit declarations via iifes. Otherwise, you’d risk a future code
119.
by mistercow 2y ago
It’s interesting because this is the point of make, but it seems really common for make alternatives to miss this. And that’s frustrating, because the place where a make alternative could really shine is not in making the syntax for speci
120.
by mistercow 2y ago
But that’s not how FM receivers generally work. They don’t just take a chunk of the spectrum and measure relative amplitudes within that window. Some very quick and dirty FM demodulators do something like that, but they have poor noise reje

More ›