HNHacker News
TopNewBestAskShowJobs

derbOac

6,357 karma · joined June 21, 2020

submissionscomments
derbOac··on Ten advances in mathematics and theoretical computer science
I like the Lean formalizations — I hadn't thought seriously of asking for that before but might try it with some stuff I've been working on.
derbOac··on IMAX vs. IMAX 70mm: The difference between these two cinema formats
Not a complaint about your post but this stuff about film formats and aspect ratios has always had me scratching my head.

For years I heard people arguing that wider aspect ratios were preferable because they afforded a wider view, and that narrower aspect ratios were too restrictive horizontally. This always seemed confusing to me because theoretically they should allow for more vertical space for the same width.

Now we're being told the opposite. Obviously if the full frame is being cut for different formats, you're losing some of the shot, so maybe this all reduces to what the director wants, and what is being lost relative to that in different formats.

But then this brings me to my second source of confusion:

> If you watch it in IMAX 70mm, you are seeing it in the full 1.43:1 aspect ratio, which will probably be the only way to experience this format. It would be unprecedented for this full picture to be released on Blu-ray or on streaming, so watching it in a cinema on IMAX 70mm is your chance to experience this.

Why can't releases just be scaled to fit on a screen? You could take that IMAX70mm and scale it down to fit on a different aspect ratios. You'd end up with black bars on the sides of the screen, but then you'd see the same shot, just shrunk down. Everyone has a different TV size anyway so it's all relative.

Clearly resolution plays a role, but IMAX70mm isn't going to be low resolution, and none of this will matter for home viewing anyway.

All of these discussions ultimately seem odd to me. I understand the projection format constraints in movie theaters, but at some point it seems possible to just downscale everything to every aspect ratio format.

They've done it here, so in theory they could just release all these versions as part of a physical disc set (or stream them all):

https://www.odysseymovie.com/explore-formats/

derbOac··on The American Grilled Cheese Sandwich Essay (2024)
I feel obligated to note the grilled-cheese-adjacent brie and butter sandwich of Twin Peaks notoriety.
derbOac··on Coordinated cyberattack disrupts water utilities in 30 Minnesota communities
Another article with more detail but less context: https://www.cbsnews.com/minnesota/news/cyberattack-malware-b...
derbOac··on Our position on open-weights models
So the argument is now that intelligence is dangerous.
derbOac··on The Price of Happiness (2024)
I wonder how much any of those associations are with income per se versus career satisfaction per se?

I imagine people who are making more money are probably a better fit for their career, feel more needed, and so forth and so on. I do imagine there's some relationship with income and accumulating more money per se, but I wonder how strong that relationship is once you remove the effects of career satisfaction independent of monetary gain, if such a thing is even possible.

I guess it's hard for me to interpret these effects because there's so much going on in the background in terms of meeting life goals, feeling welcome where you're at and feeling like you're able to contribute what you're best at, and so forth and so on.

The other thing is the ordinate axis is hard for me to make sense of. Like, in Figure 1, life satisfaction goes from say, 2.7 to 3.2 on a scale of 1 to 4? That seems like a relatively narrow range to me, even if it is statistically significant, and my guess is those dots are hiding a lot of variability.

So maybe that's what people mean by diminishing returns? Not that there's no actual continuing increase, but that the increase is incredibly small on some absolute scale of happiness? It's hard to know what to make of the happiness numbers — if, say, consequential changes in some measure of happiness occur far below anything on that ordinate axis, none of these increases with income are of any practical significance.

derbOac··on Human mathematicians are being outcounterexampled
Inspiring? Because of the twin prime conjecture success following his time in the wilderness? I suppose so.

I'm tired of tales like this in academics though. That's not a criticism of you for telling the tale, I'm just so tired of this kind of thing in academics in general. So, so, so much politics and public reputation management. Zhang should have never had to suffer like that.

As my own research has drifted more into math, I've been surprised at how many assertions in the literature turn out to be false. Not just false, but propagated into the applied literature extensively, and even when you point out the problems a lot of defensiveness and denial about it along the lines of Zhang's story.

I agree about wondering what would have happened if LLMs had been around in 1986. My guess is the outcome would have been the same for the same reasons?

My experience with LLMs in proofs is they can be very helpful, but also very wrong. It's like having another person with another set of hunches about what path to go down.

derbOac··on A Test Isn't Racist. Assumptions About Black Kids Can Be
So much of this dialogue misses the point. Tests can be validly used and also often be abused. And when tests are abused enough, it starts to beg the question of whether or not they're too attractive to invalid interpretation to be worth the harms, especially if there are alternatives.

There's a kind of irony in what the author is arguing because part of the backlash against standardized tests is precisely because of this kind of essentialist personological error the author seems to be fighting against.

He seems to be saying there's a lot of potential that is neglected because of racist assumptions about kids' potential or needs, or what it means to be Black, which is true, but aren't those kids the same kids with the same potential later? Why isn't he arguing about how to give them another chance? In a system like the one he describes is a test really the best thing to be using, if it's used as a measure of potential as much as, or more than, as a measure of academic state?

The problem is we use these standardized achievement tests as measures of how a kid is doing, which reflects the kid and the system, but then turn around and use it as a measure of potential, and shrug our shoulders at the system. Just because you can validly use it for one purpose doesn't mean you can't abuse it for another purpose at the same time.

I'm not opposed to standardized testing per se but I'm tired of how naive the positions on them can be one way or another. It's absurd to think they have no validity and should be ignored, but it's also absurd to think they can be (or aren't tried to be) used in the same way as a highly accurate measure of mass, current, or distance, by just reading off a number, that reflects how that person would be in every counterfactual scenario or opportunity.

I feel like he's missing the point in a lot of ways. Most of what he discusses would be true with or without standardized tests one way or another. In fact, I think framing it in terms of testing undermines what he's trying to point out, because it distracts from what he's really focused on.

derbOac··on Tannakian Reconstruction
I admit I didn't follow this as much as I'd like to, and I wish it had some discussion of how this maps onto traditional signal processing frameworks in statistics and information theory, if it does.
derbOac··on The Trade in Looted Antiquities Endures for One Reason: Demand
I think the message I've often heard is that looted objects are so obviously looted and subject to confiscation that there's now little demand for them. I took this article as a pushback against that idea. (Others are joking at the circularity of the title, but I think it's directly countering two assertions often made: that there's little actual trade in looted antiquities and art, and there's little trade because there's little demand, because the objects are obviously illegal and would have to be hidden, which defeats the purpose of having them.)

Whether there's been a change over time in this (signaling is now "I'm so wealthy and powerful I can own this without fear of reprisal or loss") or the message has always been incorrect, I'm not knowledgeable enough to say.

derbOac··on I created a font called Ghost Font that only humans can read
A different link: https://www.mixfont.com/ghost-font
derbOac··on How the Rule-Breaking Octopus Is Rewriting the Evolution of Intelligence
Although the idea is compelling to me, the evidence they present wasn't. I think the reason why is that it doesn't explain why all the other lifeforms in the same ecological niches didn't evolve the same level of cognitive functioning.

I also wondered if there's some social ancestor that's missing from the record? I imagine it would be difficult to know about the actual social behavior of extinct cephalopods.

derbOac··on In Praise of Observational Evidence
Experimental designs are critical for obvious reasons but they have a few critical flaws, that mostly all reduce to the fact you can't randomize manipulations with everything. Whether it be due to ethics or practical constraints, you can't conduct a RCT all the time.

This can be more subtly critical than it might seem, in that even if you can manipulate some proxy, often that proxy is insufficient in actually representing the phenomenon of interest, or the conditions under which they actually occur.

I often use the example of videogames and aggression. There were plenty of experimental studies of this but it was always questionable whether lab-induced anger is the same thing as, say, the sort of violence we generally are concerned about societally.

I generally have tried to teach students that experimental designs when done right provide powerful causal evidence of something, but often with limited generalizability; observational designs in contrast provide powerful generalizable evidence of some kind of association, but often with limited certainty about the causal pathways involved.

I've been in a department that was rabidly experimental in its focus and it always seemed sort of short-sighted, because people were idolizing RCTs with proxy manipulations that had questionable generalizability to the real-world phenomena they were trying to model.

Ideally you'd bring both experimental and observational evidence to bear on a question. Your conclusions should be robust to different types of designs.

derbOac··on Top researchers leave USA for the Netherlands (in Dutch)
The last paragraph has some important context:

"De Jonge Akademie, an association of young scientists, warned last year that the fund could end up recruiting academic stars who are not under threat, at a time when Dutch universities were cutting jobs because of government cutbacks. The new cabinet reversed those cuts last month, pledging up to €428 million a year extra for research."

derbOac··on Fable turned reMarkable into Tom Riddle's diary from Harry Potter
The poster to x apparently has a bsky account also — I wish they would cross post.
derbOac··on Bring back crappy forums
> I'm not sure I understand the difference between "crappy forums" and subreddits. They have all the same features.

There's a lot of differences and they show up all the time with subreddits trying to poorly emulate the full featured organizational flexibility of a traditional forum.

The short answer is there's no subsubreddits, or subsubsubreddits, which are normal in forums, and turn out to be useful or even necessary.

What happens in the subs are classes of content posted repeatedly, members of the subs complaining about this repetitiveness, asking to have it removed, and so forth. The mods are torn because the posts are clearly popular but they do swamp the sub, and so you end up with "daily threads" about x or y. But this doesn't quite work because they're hard to search and aren't what you really need, which are subforums and subsubforums.

See e.g., r/running which was decimated by an attempt to reorganize it with the severe limitations of Reddit. If it was a forum, it would be really obvious how to organize it.

Reddit is pointing in the right direction in emulating traditional forums but doesn't have the same depth.

This doesn't even get into what I see as the harms of downvoting — sometimes I think it works better to just allow emoji reactions to posts, instead of upvoting and downvoting points (although maybe it's not upvoting and downvoting that's the problem, it's the way it's implemented?)

Personally I don't think what's needed really exists yet, or hasn't taken off: a decentralized version of Reddit that allows for more subnesting. Mastodon has features of this too but not really the nesting part at all.

derbOac··on The best response to AI slop and online noise is from Robin Williams
The Tears in Rain monologue occurred to me as well while I was reading the post, but I don't think it's quite the same for one important reason: the replicants have experienced those things and processed them in whatever sense it is, but LLM-style AIs as we have them now are always inferring what those experiences are like.

If you had a fully functioning model in some setting, interacting with the environment and then reporting back to you about it, it might be one thing. But telling you what others have said about it is different.

Humans do this too, but there's real-life experiences informing it also. An LLM hasn't fell in love, it simply reports what others have said and infers what it is like to be in love.

I think too the piece points to another related thing, which is that someone who has actually experienced something firsthand has some knowledge that someone who has not does not. It might take some extensive sampling to find out what that is, but eventually you'll stumble on it.

So e.g., the Sistine Chapel example is sort of telling in this way. Sean basically says "everyone has seen pictures of the Sistine Chapel, if you are asked about it you can tell me what it looks like" but then points out that people don't talk about what it smells like, so if you had been there you might remember it. It's a bit of latent or hidden information, kind of like a secret key, but one that might be informative or useful in some unexpected scenario.

I think ultimately this is what the stochastic parrot idea is about: it's not just about mimicking speech patterns, it's about regurgitating what is said about X from third party Z, without being able to produce some additional information not available from Z except by inference. There's no original uninferred information. The inferences might be powerful and highly accurate in their predictions, but they are not providing anything fundamentally original from the experience in a memory sense.

Maybe that's what it is? LLMs have no firsthand memories, they only have secondhand memories and inference. They're missing information that would be available through firsthand memories, constrained by the scope of sensory channels.

Again, I think you could envision models in some system that are essentially replicant-like, but that's not what our current situation is with standard LLMs.

derbOac··on The anxiety of the perfect loaf: the illusion of culinary precision
Yeah there are a lot of great bakeries in the US; you just need to know where they are.
derbOac··on The anxiety of the perfect loaf: the illusion of culinary precision
I measure by mass when I bake, but I've always had the same questions as you (about humidity, for example). That was always the answer I got when discussing volume versus mass measurements — that volume can change due to all sorts of things — but it always seemed to me that mass could change for the same reasons.

I eventually decided mass measurements are most useful when the amount you need in mass is fairly small relative to the volume of the particles of the thing you're measuring. Measuring a small volume of nuts can be tricky, for example, because the nuts are different sizes and shapes, but mass is fairly consistent.

Measurement with baking in general is conducive to replicability assuming the same conditions are met. That is, that you're in the same bakery, with the same oven, same flour, and so forth. It becomes less reliable as you start changing variables.

This is pretty obvious even with flour: two bread flours can absorb really different amounts of water, so you almost have to be aware of texture and so forth. What you want to achieve in a recipe is a certain outcome, in dough characteristics and final loaf. How you get there can be informed by a bunch of things but is never guaranteed unless everything is the same every time.

derbOac··on Signs you're a dangerous terrorist: using Signal, moving zines
> But if you joined a protest group where the organizer shoots a policeman and you’ve all got weapons at home and then you tell people to move the material you have at home that indicates you’re part of the group then I think the convictions are pretty accurate.

30 years though? And for moving what material exactly?

I think you can have some kind of rationale for why these people should be prosecuted. I'm not sure that's the issue for many though — the issue is the proportionality of the sentence.

derbOac··on NSF slashes research programs to support new tech initiative, insiders say
Agreed. Imagine an IPO where you put in money and then get no returns. Who would invest?
derbOac··on Russell Vought is going to destroy American Science
A lot of focus has been put on the freedom of speech aspects of this — and rightly so — but my concern is that this is a much broader attempt to simply put control of research monies in the hands of the Trump administration for whatever purposes it serves those individuals.

It's essentially an assertion that they can do whatever they like with funds allocated for research, giving it to whoever they like, under whatever conditions they like, whenever they want.

derbOac··on The Harajuku Moment (2024)
I didn't know what Harajuku was, and thought it was going to be some Japanese term for some psychological concept, like ikigai, kaizen, wabi-sabi, or something like that.
derbOac··on The Harajuku Moment
I think there's some evidence for this, and it's consistent with my experiences with myself and what I've seen in others.

It's basically the idea behind the motivation to change literature, that there has to be some point at which the person has to be on board and interested in the change. It may be the desire to change isn't a discrete thing, that something builds over time, and we just become conscious of it at a particular time, or only remember certain moments, or whatever.

There has to be an opportunity though as well, which is another point people get tripped up on and why they lose motivation. Even if someone wants to change, if they don't perceive it as being possible for whatever reason, correctly or incorrectly, the desire for change doesn't have an outlet. It may rise to consciousness and then be immediately quashed because there's nowhere to go.

A lot of the time I think that's the bigger obstacle; it's not being aware of some desire to change, it's having some sense that the change isn't possible or that they don't know how to go about it, which amounts to the same thing.

derbOac··on U.S. science is in chaos
More decentralized decision-making (in the hands of universities and institutes), requirements for permanent positions as a requirement for funding, more funding of individuals and programs rather than projects, more randomized funding (lotteries etc), requirements for trainee positions to be tied to projected permanent positions, more early career development and retraining funding, etc etc etc.

The traditional model was actually pretty solid: a decentralized system focused on universities and institutes with lots of independent funding of individuals, with protection of those individuals. The shift toward funding of universities by a centralized institution (the US federal government) based on temporary projects with no protection of the individuals behind the projects, led to the pyramid schemes and vulnerable attention-seeking that you see now.

Academics in the US has been a tinder box for years. This past year or so has been like setting fire to the tinder box rather than cleaning up the fire hazard.

derbOac··on U.S. science is in chaos
This is a narrative that doesn't match the reality.

Reported failures to replicate are pretty similar in other fields, including in biomedicine. The replication crisis was just first highlighted in social psychology; lots of other fields just don't report these failures to replicate (https://en.wikipedia.org/wiki/Replication_crisis). It's a bit like shooting the messenger.

It's funny reading through the comments in this thread because there are people claiming that sociology both (1) is so obvious that the effects replicate at such rates that the research is useless because everything is known a priori and (2) that nothing replicates at all.

Also, criticizing fields like social psychology and sociology for focusing on social phenomena seems a bit strange because that's what the fields are about. It's like criticizing biology for having too much of a bias toward living things.

derbOac··on Rome Fell and Nobody Noticed
Other people answered better than I could, although some of their examples were what I had in mind (China, much of Europe over the last 150 years or so, maybe the US during the 19th century).
derbOac··on Firewood Splitting Simulator
I love it also, but I think the comments are pointing to an unmet need for firewood splitting simulators.

The comments are suggesting that someone could go to town adding different kinds of hatchets, mauls, axes, woods, and different swings, and people would eat it up.

derbOac··on Rome Fell and Nobody Noticed
This makes an important point, and is important to think about, but I'm also interested in how societies go to that brink and come back.

I suspect there's a bit of bias in this, as you don't hear as much about the nations that come to the point of collapse and then somehow immediately recover, you hear more about those that disintegrate into decades of chaos and disorganization.

The essay also points to something else on my mind a lot lately, which is, when does that continuation of the status quo stop, and why? At what point did these societies start to see themselves as something else, and why? Is it always due to some fundamental breaking down of some governmental or military covenant?

derbOac··on US-Canada border library gets new Quebec-only entrance
It's more than a little sad to me.
← PreviousPage 2 of 34Next →