MurphyA/hacker-news huggingface dataset:
by kmill | 2025-09-22 20:40:55+00:00
An analogy might be how if you mix together water and alcohol, you get a solution with less volume than the sum of the volumes. That doesn't mean that there's "negative" volume, just that the volume turns out to be sub-additive due to an interaction of specific characteristics of the liquids. Somehow, some connect sums of particular knots enable possibilities that let it more easily be unknotted.

I spent the better part of the summer during grad school trying to prove additivity of unknotting numbers. (I'll mention that it's sort of a relief to know that the reason I failed to prove it wasn't because I wasn't trying hard enough, but that it was impossible!)

One approach I looked into was to come up with some different analogues of unknotting number, ones that were conceptually related but which might or might not be additive, to at least serve as some partial progress. The general idea is represent an unknotting using a certain kind of surface, which can be more restrictive than a general unknotting, and then maybe that version of unknotting can be proved to be additive. Maybe there's some classification of individual unknotting moves where when you have multiple of them in the same knotting surface, they can cancel out in certain ways (e.g. in the classification of surfaces, you can always transform two projective planes into a torus connect summand, in the presence of a third projective plane).

Connect summing mirror images of knots does have some interesting structure that other connect sums don't have — these are known as ribbon knots. It's possible that this structure is a good way to derive that the unknotting number is 5. I'm not sure that would explain any of the other examples they produced however — this is more speculation on how might someone have discovered this counterexample without a large-scale computer search.
by aurareturn | 2025-09-22 20:41:28+00:00
“You should expect OpenAI to spend trillions of dollars on data center construction in the not very distant future,” he told the room, according to a Verge reporter. “We have better models, and we just can’t offer them, because we don’t have the capacity,” he said. GPUs remain in short supply, limiting the company’s ability to scale.

https://finance.yahoo.com/news/sam-altman-admits-openai-tota...

So why would Altman say AI is in a bubble but OpenAI wants to invest trillions? Here's my speculation:

1. OpenAI is a private company. They don't care about their own stock price.

2. OpenAI just raised $8.3b 3 weeks ago on $300b valuation ($500b valuation today). He doesn't care if the market drops until he needs to raise again.

3. OpenAI wants to buy some AI companies but they're too expensive so he's incentivized to knock the price of those companies down. For example, OpenAI's $3b deal for Windsurf fell apart when Google stepped in and hired away the co-founder.

4. He wants to retain OpenAI's talent because Meta is spending billions hiring away the top AI talent, including talent from OpenAI. By saying it's in a bubble and dropping public sentiment, the war for AI talent could cool down.

5. He wants other companies to get scared and not invest as much while OpenAI continues to invest a lot so it can stay ahead. For example, maybe investors looking to invest in Anthropic, xAI, and other private companies are more shaky after his comments and invest less. This benefits OpenAI since they just raised.

6. You should all know that Sam Altman is manipulative. This is how he operates. Just google "Sam Altman manipulative" and you'll see plenty of examples where former employees said he lies and manipulates.
by groby_b | 2025-09-22 20:41:41+00:00
Honestly, nothing. Except the endless debate on where the braces go, and how long they're allowed to stay on a single line.

It seems trivial, but replacing scope delimiters with a per-line signifier (i.e. indent) makes the scope of each line self-contained and sidesteps that discussion.

Is that worth YAYAML (Yet another YAML)? I don't know. But I certainly get the desire to skip the discussion :)
by MomsAVoxell | 2025-09-22 20:42:20+00:00
Actually the VMM is pretty performant, all things considered. Having more memory, managed for the process by the VMM, means less fuss doing a flush than if you were to memory-constrain things out of the gate.

Yes, sometimes, it's perfectly acceptable to flush to disk because you're getting low on RAM. But, on systems with, say .. 4x more swap than physical RAM .. you don't have to do a flush that often - if at all. This is great, for example with high quality audio loads that have to be captured safely over long periods.

A system with low RAM and high swap is also a bit more economical, at scale, when building actual hardware in large numbers. So exploiting swap in that circumstance can also effect the BOM costs.
by seabrookmx | 2025-09-22 20:42:46+00:00
The article is pretty light on details. Whether the Framework is worth it to you really depends on your use case. I never leave a laptop in my bag for three weeks, and if I do I have the foresight to actually shut it down rather than sleep it. So the battery drain while sleeping is less of a problem for me.

My Framework 13 has the Ryzen 5 AI 340 Chip, and I get 5-6 hours of work on a charge. The Macbooks definitely beat this, and their hardware has other benefits (silent if you opt for the Air, bigger/better trackpad, etc) but for me, being able to run Linux is worth the trade-off by far.

I like that on Linux (GNOME) I have all the functionality I need out of the box without having to install a paid app for window snapping (I heard they fixed this recently?) or to make my mouse buttons work. I also find that since I work with containers a lot, developing on Linux removes a lot of friction. I can run docker/containerd natively without having to babysit a VM that likes to eat all my RAM or hang randomly (no docker/rancher desktop layer). Even just having the same coreutils and package managers as I do inside the containers really simplifies things. Our MacOS devs are always struggling with homebrew putting shared libraries weird places that can't be found by the python bindings and this "just works" on Linux.
by EasyMark | 2025-09-22 20:43:03+00:00
Code? not much, other than small functions/classes/prototype libraries to get started, but I've often used it to figure out where code was that I was concerned with in huge project code bases and analyze where some of the edges of interfaces are without digging for a few hours. Copilot can give a decent summary of where to look in a couple of seconds instead of a half hour of marking what I think are important sections and jumping around/grepping
by aw1621107 | 2025-09-22 20:43:19+00:00
> I am aware but without a spec we don’t know which is which.

I don't think I fully agree with this. A more accurate statement might be that "without a spec we don't always know which is which". You obviously don't need a spec to pin down at least some of a language's behavior, and even then the presence of a spec doesn't necessarily mean that you can answer arbitrary questions about what behavior is intended (c.f., various defect reports in the C/C++ spec asking clarifying questions, pointing out holes/deficiencies, or even admitting that certain behavior is not intended but being unsure about how to forbid it)
by colesantiago | 2025-09-22 20:43:26+00:00
Large FAANG tech companies are largely unaffected, cool.

Yet, I see some startups whining and about this on X and other places.

If you really want to say that you're "hiring the best" or you want to "hire the world class best talent" then you would hire the best american engineers or pay the fee for overseas talent.

No excuses.

I can't for the life of me understand why some startups say "we need skills" and "we only hire the best" then choose a way cheaper talent via H1B overseas rather than train or hire a an Ivy / Stanford recent CS grad.
by shaftway | 2025-09-22 20:43:44+00:00
Around 1991 I remember having a book that was a cross between Choose Your Own Adventure and D&D. It was about the same physical size, but it was a full (albeit small) D&D campaign. There was a character sheet at the back of the book you could copy, and then as you went through the game you would roll for yourself and for your foes, tracking hits and HP on your sheet until you won all the loot or you died.

I've tried looking for these, but I've always run up against a brick wall. There's a good chance it was a European thing (I was there that year, and can't remember if I brought it or acquired it).

Any chance the HN hive mind has heard of something like this?
by throwmeaway222 | 2025-09-22 20:43:59+00:00
The title doesn't match the content well, everyone's responding to the title!

The syncing issue is also handled better by making the logical unit that gets changed as small as possible. If you have two people editing a document, instead of locking the document, and wiping out changes from other people, think of it as a series of edits to a paragraph, or smaller a sentence, or even the exact word being changed. If someone has text highlighted, then lock anyone else out from editing it because there is a high chance they're going to erase it or paste over it.

Lastly, as AI moves forward, it would be an interesting experiment to start having AI auto-resolve conflicts in the small. (user has been replacing the word taco with burrito, and two users started typing in the same spot TaBurrcoito. Maybe Burrito would win.
by spott | 2025-09-22 20:44:40+00:00
The mode is getting lost because the task you gave it, is way up the context chain from what it is currently working on. It loses track of its task and starts working on other things that it notices.

The way to get around this is to never have the model just “do the thing”. Have it create a plan and create a todo list from the plan (it will do this on its own typically in Claude Code), the. You “approve” the plan, then start working against that todo list and plan.

This ensures that the “task” is never very large (it is always just the next thing on the todo list, which has already been scoped to be small) and there is never any ambiguity over what to do next.

So for your prompt I would ask it to find all locations that use the old job api and put them in a planning document. For each location, have it note if it anticipates any difficulty transitioning to the new api in the planning document. If you want to get fancy, have it use the Task tool to have a subset do the analysis, this keeps the context of the main model less cluttered. I usually use planning mode for this in Claude Code. Then look at the plan, approve it (or tweak it) and have it execute that plan.
by mrguyorama | 2025-09-22 20:45:10+00:00
The reality that Microsoft discovered decades ago is that "Don't break the callers expectation" doesn't work at all because the callers didn't read the manual, and had blatantly incorrect expectations!.

Windows 1.0 apps that properly follow all the documented caveats still work, often without anything more than the compatibility hacks to emulate "Windows 3" or similar.

But even back in the 90s, Microsoft found that devs would do things that the documentation explicitly said would break things, and ship it as is.

Things like copy/pasting the code the manual said, in big bold letters, DO NOT DO THIS

Most popular computer games in the 90s did things like "try to allocate all virtual memory and crash if that's possible" and "turn off interrupts globally" despite being written against virtual driver systems that were meant to cooperatively manage interrupts!

>https://ptgmedia.pearsoncmg.com/images/9780321440303/samplec...

"How to ensure your Program does not run on Windows 95"
by stratosmacker | 2025-09-22 20:45:25+00:00
Hey fyi and for posterity, on SteamDeck I have the same issue and the cause is the same as outlined above (modern standby). I would love to hear more from folks who don't have this out of the box.

The fix is simple but I have to wonder why it's not set by default

https://github.com/nazar256/publications/blob/main/guides/st...

Ideally the Steamdeck would come with hibernation after timeout and FDE enabled by default, but it doesn't. Still love it, and I'm glad/grateful it's open enough to enable these features on my own
by legitster | 2025-09-22 20:46:00+00:00
The problem isn't limited to the FCC in this case. The FCC doesn't actually have to act - it could be someone in the SEC, it could be the DOJ, or (as we have learned) it can literally be about bags of cash.

The FCC chair's statement was a bit of an indirect threat ("Pity if someone looked into your affiliates licenses"). But the timing makes it clear they were at least aware of and complicit in the backroom dealings that led to the show being taken off the air.
by data-ottawa | 2025-09-22 20:46:00+00:00
The opportunities of plugging this into your home automation through tool calls is huge.

Ever since ChatGPT added this feature I've been waiting for anyone else to catch up.

They're are tons of hands free situations like cooking where this would be amazing ("read the next step please, my hands are covered in raw pork", "how much flour for the roux", "crap, I don't have any lemons, what can I substitute")
by baq | 2025-09-22 20:47:01+00:00
I don’t need polished and superior, I need to get work done. I want the OS to get out of the way, not slow me down with animations, stage managers and pretty docks. I don’t even need customization, I just need it to stop trying to outdo itself and fall over.

I’d run kde or even gnome on my work MacBook if it let me without a second thought.

PS just installed ios 26 and what is this? If this low contrast blobby window thing makes its way to the laptop I’ll be very, very not impressed.
by bluesounddirect | 2025-09-22 20:47:06+00:00
You are all being fleeced. This has nothing to do with India H1b visas or foreigners of any kind. This is Howard Lutnick , Formerly of Cantor Fitzgerrald / BGC Partners / Newmark Knight Frank setting up the biggest market manipulation you have ever witnessed. The hope is the jobs report will go south as a result of this and the other amusing games they are playing, lets install our buddy on the fed. Then the few in the know will swoop in and buy up stock in the resulting fire sale. As a former Cantor employee, Howie is as crooked as you can imagine.
by badc0ffee | 2025-09-22 20:47:30+00:00
I do like the detail of the Apple II version better, but like I said the Atari 2600 did have some advantages, like a 128-colour palette that gives you a yellow Pacman.

One of my favourites from the era with a nice arctic sky (and great gameplay): https://www.youtube.com/watch?v=dl1jGOu5No0
by Imustaskforhelp | 2025-09-22 20:48:41+00:00
I really wish that the hobby tier hadn't gone but I also understand that planetscale is a b2b which imo I can respect yet still wish if I can try things in a hobby tier...

I read the comments and it seems that in one of them they mention between supabase vs planetscale postgres that maybe they can use a project like supabase and then come to planetscale when their project grows enough to support that decision.

How would a migration from supabase to planetscale even go and at what scale would something like that be remotely better i suppose.

Great project tho and I hope that planetscale's team doesn't get bored listening to all requests asking for a free tier like me, maybe I am addicted on those sweet freebies!
by tw04 | 2025-09-22 20:49:02+00:00
Did you have a sibling growing up? Did you ever have that sibling beat the crap out of you and tell you it'd be worse if you told mom about it?

The chair of the FCC literally threatened them in public. It doesn't matter if "ABC admitted they didn't get pressure" in some attempt to appease Trump. We all got to watch and hear it for ourselves.
by carlosjobim | 2025-09-22 20:49:45+00:00
> I do basically everything in a web browser

Then you are deliberately handicapping yourself, this isn't something you can blame on the OS. It's like complaining that a car has bad fuel economy because you always stay in first gear.

As for the displays, you are comparing apples to oranges. You can get a high DPI monitor which is smaller than 32 inches for cheap. Which is plenty of screen for the distances where DPI differences are important.
by zarzavat | 2025-09-22 20:49:56+00:00
My point was not that people/companies shouldn't donate money to the Ladybird project, but that an equally effective way of contributing is to contribute time, especially the time of developers with specialized skills that would otherwise be worth hundreds of thousands of dollars at market rates.

Why should anyone work for free? Because they love the Web and hate Google's stranglehold over it.
by Biganon | 2025-09-22 20:50:05+00:00
SDZ should have been Heaven for me, but even as a teenager, I just couldn't get past the omnipresent enthousiasm and the smileys at the end of each sentence :)

:)

Guess I've always been grumpy.

Oh and yeah it's probably been enshittified nowadays, everything has. Wouldn't surprise me if they partnered with Ecole 42 to inundate the job market with programmers without degrees and drive the salaries down even more.
by Nevermark | 2025-09-22 20:50:35+00:00
Thanks. I learned a lot from those adventures, which was the main aim.

At the time, those computers had no hard drives or larger capacity disks. So my avenues for recovery and further progress were limited.

Reality decided I had learned enough in that direction, is a teleological interpretation. But also a realistic viewpoint.

I have no regrets.

Today (literally today) I am working on a grammar/parser that allows exploration of some interesting math I came up with. The beauty of being able to navigate an abstract world with real complexity, seek and encounter genuine surprises, interactively at the speed of keystrokes, captures a lot of the joy of those games! With the addition of a crafting element.
by mdrslmr | 2025-09-22 20:50:46+00:00
With some "random" changes the time for computation on my computer went down from 1534s to 67s. What I did is exclude some pieces I found suspicious. Therefore I introduced basically the function exclude and had to do some bookkeeping of already places pieces.

```haskell len :: V3 Int -> Float len (V3 x y z) = sqrt (x'*x' + y'*y' + z'*z') where x' = fromIntegral x :: Float y' = fromIntegral y :: Float z' = fromIntegral z :: Float exclude :: Shape -> Shape -> Bool exclude [a1, _, _, d1, _] [a2, _, _, d2, _] = len (a2 - a1) < 1.1 && len (d2 - d1) < 1.1 ``` ```haskell conflict :: Shape -> Shape -> [Shape] -> Bool conflict occs piece oldPieces = any (\voxel -> elem voxel piece) occs || any (\o -> exclude o piece) oldPieces ``` ```haskell subsolutionsSmart :: Int -- ^ How many pieces should be in the subsolution we're looking for? -> Shape -- ^ Unavailable voxels, already occupied by some piece -> [Shape] -> [[Shape]] subsolutionsSmart 0 _ _ = [[]] subsolutionsSmart n occupiedVoxels oldPieces = do let freeVoxel = pickFreeVoxel occupiedVoxels newPiece <- filter (\piece -> elem freeVoxel piece && not (conflict occupiedVoxels piece oldPieces) ) allValidPieces let updatedOccupiedVoxels = newPiece <> occupiedVoxels let updatedOldPieces = (newPiece:oldPieces) otherPieces <- subsolutionsSmart (n - 1) updatedOccupiedVoxels updatedOldPieces return $ newPiece : otherPieces ``` ```haskell allSolutionsSmart :: [[Shape]] allSolutionsSmart = subsolutionsSmart 25 [] [] ```
by suzdude | 2025-09-22 20:51:54+00:00
The chair of the FCC said:

>What people don’t understand is that the broadcasters … have a license granted by us at the FCC, and that comes with it an obligation to operate in the public interest. When we see stuff like this, look, we can do this the easy way or the hard way. These companies can find ways to change conduct, on Kimmel, or there’s going to be additional work for the FCC ahead.

Do you really want to pretend that he is no applying pressure by threatening businesses who broadcast speech he doesn't like?
by ivan_gammel | 2025-09-22 20:52:10+00:00
We are stuck in the old paradigm of characters taking space on the screen and the idea that a markup language must support classic dumb TUI. If, just imagine it, we used some Unicode range for control characters for the semantic markup and standardized UX for it, we wouldn’t need using normal characters as delimiters and escaping them in strings.

The following would have parseable structure, but would be free of visual noise.

Title: Markup languages: decades of going in the wrong direction Keywords: hypertext, delimiters, ˋ, ", \
by triceratops | 2025-09-22 20:52:18+00:00
> The same can't be said for investments that haven't been made yet.

We can debate counterfactuals all day long. People invest when there are profits to be made and refrain when there aren't. Everything else is bullshit.

> I wonder why that'd be the case...

Definitely not wealth taxes because most European countries don't have them. It might be because they don't have the world's reserve currency. Or the million other reasons commentators and economists have written about elsewhere.
by jfengel | 2025-09-22 20:52:35+00:00
There's a certain irony in Comey being the target here. His announcements about investigating Hillary Clinton for her email server irregularities, a few days before the election in 2016, are widely thought to have swung the result to Trump. (A few days later, Comey re-closed the investigation with no charges filed.)

It's not clear how much that actually mattered. And I believe that Comey was doing what he felt was ordinary procedure, not with the goal of manipulating the election for Trump.

Nonetheless, Trump certainly doesn't have any reason to think that Comey is opposed to him. And yet here we are.
by maxenglander | 2025-09-22 20:52:50+00:00
It's a reasonable question. I think it's too early days for us to be able to provide a feature-by-feature breakdown of PlanetScale Postgres vs. Aurora/RDS. Our stated mission on day 1 (today) is to be the fastest and most reliable Postgres provider out there. The benchmarks we've provided are the clearest, data-driven thing we can point to right now in support of that.

More features will come later on which I think will set us apart even more from RDS, Aurora and other providers, but too early to talk about those.

Beyond features, there are other reasons you might choose us. For example, we've built a reputation on being having excellent reliability/uptime, with exceptionally good support. These are harder to back up with hard data, but our customer testimonials are a good testament to this.
by taeric | 2025-09-22 20:53:08+00:00
I looked over the paper, but I confess I don't understand how it is helping. Would help a ton to have an example effect that didn't dive into distinguishing "Values", "Computations", "Value types," and "Computation types."

In fact, that it distinguishes values, computations, and the types of both seems more inline with my point? That what most "effect systems" are trying to capture are things that are not typically defined in programs?

So, again, give me some examples of effects and how you would model them. That will go a long way to demonstrate what you mean, here. Even better if you can show how this is already modeled in some code. (Note that I'm not trying to ask you to give this in a post. If you have some more things like that paper to look into, I don't mind looking there. I do plan on spending more time with the paper, already.)
by generalk | 2025-09-22 20:54:07+00:00
It sure fucking is bonkers.

Ruby Central as an organization touts that it is responsible for RubyGems. Assuming this narrative is accurate, they needed to get agreements in place with contributors to appease some funding partners.

This shit happens. Especially as an open-source project started by one dude in 2009 turns into critical infrastructure managed by a 501(c)(3) non-profit.

That they failed so fucking spectacularly speaks incredibly poorly of their board.