MurphyA/hacker-news huggingface dataset:
by CaptainOfCoit | 2025-10-24 14:57:30+00:00
> If you want to increase adoption, change the name: https://www.paulgraham.com/name.html

> If you have a US startup called X and you don't have x.com, you should probably change your name.

But they do own https://twake-drive.com/ already? What exactly is your point here? Either you misunderstand the linked article, or I do. But seems people would be able to find that just fine if they search for, as twake-drive.com comes up as the first result when I search for "Twake Drive".

Besides, Graham's articles are almost always geared towards startups in one way or another. This doesn't seem to be that, so not sure I'd even try to read it if I was the owner of Twake Drive.
by mort96 | 2025-10-24 14:57:32+00:00
Since they didn't mention a computer line but rather a CPU, I assume they used "base M1" to mean the CPU called "M1" as opposed to the "M1 Pro" or "M1 Max" or "M1 Ultra". I don't think they were referring to "base M1 MacBook Pro" or "base M1 MacBook Air" or "base M1 Mac Mini".

And they're right, the "base M1" (as in not the Pro, Max or Ultra) is a very capable chip.
by javier_e06 | 2025-10-24 14:57:38+00:00
CSCI 4330: Software Cotillion Class

Learn the group etiquette during meetings for task assignment and interacting with supervisor authority.

Emphasizes being respectful and polite, with lessons on manners like handshakes, greetings, and helping others.

Cotillion classes often culminate in a formal backlog grooming and lessons-learned where students display their learned skills.
by capncleaver | 2025-10-24 14:57:51+00:00
Yes. See 'Thinking in Bets' by Annie Duke for a good summary of why Poker is interesting / useful. World is Casino!

Blood on the Clocktower is great! My 15yo son is always trying to get a group of 8+ together for a game.

Came here to recommend Skull, a quick and easy to learn bluffing game, of which the designer said he was aiming for 'the feelings of poker without the money or luck' and I would say succeeded.
by boshomi | 2025-10-24 14:57:52+00:00
>“In our talk, we will describe the design rationale of the DuckLake format and its principles of simplicity, scalability, and speed. We will show the DuckDB implementation of DuckLake in action and discuss the implications for data architecture in general.

Prof. Hannes Mühleisen, cofounder of DuckDB:

[DuckLake - The SQL-Powered Lakehouse Format for the Rest of Us by Prof. Hannes Mühleisen](https://www.youtube.com/watch?v=YQEUkFWa69o) (53 min) Talk from Systems Distributed '25: https://systemsdistributed.com
by JohnMakin | 2025-10-24 14:58:01+00:00
I'm not sure I believe this. It seems you can just walk into one of these places and roll the whole place, confiscate electronics, and make all the necessary connections fairly quickly. These games aren't a secret and never have been.

I don't like the private (illegal) scene because it's killed action in casinos and games I used to love playing in. The risk to me of breaking the law, being robbed/scammed, or worse is not worth it to play in these games and I wish they'd go away.

Even the mafia angle - the NY families must have fallen a long way if they're resorting to high profile but ultimately petty scams like this. This seems like PR for the FBI and nothing more, like I said up thread this has been common knowledge for years.
by sigmoid10 | 2025-10-24 14:58:33+00:00
People don't realise this, but you can steer perfectly fine with a solar sail. That's because photons transfer momentum not just when they hit the sail, but also when they are emitted after reflection. So just by turning the sail at an angle, you can create a force in any direction perpendicular to the velocity vector. Using a two sail system, you can even accelerate and slow down along a single beam path. So you could theoretically travel to mars with a constant acceleration/deceleration phase (like a flip-and-burn in the Expanse) using only one beam emitter on earth.
by ben_w | 2025-10-24 14:58:58+00:00
> It's terrible for China, less than 15%.

55.4 GW per 277 GW is an (annual) capacity factor of 20%, so the response here is "yes, and?"

> And more importantly, you can have _weeks_ with essentially zero solar power when you need it most.

Half the country is a mid-latitude desert. What makes you think the whole country has "weeks" with zero solar? And it does have to be the whole country in this case, because one thing a centrally planned economy can do well is joining up the infrastructure, which in this case means "actually make the power grid the USA and the EU keep wringing their hands over".
by einsteinx2 | 2025-10-24 14:59:33+00:00
The tide does seem to be turning that way, though I do think it will be possible to buy general purpose computers for the foreseeable future.

Also as a minor counter point, the only reason Asahi is even possible is that Apple explicitly designed in support for booting other operating systems into the M-series chips. They certainly could have locked them down just like they did the iPhone and iPad, but they didn't. That was a conscious choice according to the Asahi folks.

So while they may not be sharing technical documentation/drivers or otherwise making it easy on the Asahi devs, even the famously "walled garden" Apple seems to have explicitly not restricted their new line of computers in the way you're describing.
by Hizonner | 2025-10-24 14:59:50+00:00
> The UK's Online Safety Act requires website owners to verify ages but it doesn't prescribe specific methods for doing so.

... and just ignores the fact that there are no sane or remotely appropriate ways to implement that. As well as the fact that it's a silly goal to begin with.

> It is the vendor supplying the website he is visiting that told him to do that.

... after making a guess as to what would be the least bad way of implementing this foolish mandate.
by noobermin | 2025-10-24 14:59:56+00:00
To be clear, my main issue, if any, is the misleading headline. People have posted Show HN things they've used AI to help build (partially or completely). However, saying this is from scratch if it isn't is straight up lying. Moreover, the fact that this is on the front page is likely due that claim, so the reality of it is important context for readers, I imagine.
by alex1138 | 2025-10-24 14:59:57+00:00
I'm being nice about this and assuming Google (which also owns Youtube, and it shows, in their decisions about content) is just run by a bunch of naive people and isn't directly controlled by three letter agencies - they have to take a stronger stance against censorship/selective information

"Oh, but that doesn't happen" - it does, Goog results have been manipulated before to the extent that probably can't be attributed purely to SEO. Youtube removed tons of "covid misinformation" about things we all know now to be true
by kyledrake | 2025-10-24 15:00:02+00:00
One of the highlights of my work in tech was meeting someone I had read about in many computing history books, Bob Frankston, who dropped in for the Web 1.0 Conf at MIT Media Lab years ago. I was indifferent to the coffee choice at the event so I grabbed light toast, but he preferred dark roast coffee and politely but intently requested dark roast, so the next day I made sure we had both. That's where I learned that I preferred it too and I've been drinking dark roast ever since. Thanks Bob.

I wish I was in the room when he tried to demo Visicalc to the Atari developers, IIRC, the Atari documentary implied that a lot of them showed up to the demo stoned and were perhaps a little confused why they were being shown the demo.
by serf | 2025-10-24 15:00:11+00:00
>“just play better poker” like that’s an easy thing to do in a game of chance and incomplete information

you just need to beat the table, you don't need to become an over-average pro.

that decades long tail you mentioned is for pros chasing profitability in tournaments -- it's a much shorter tail when you're playing fish in setups.

being better at poker than the guy at the table who is good at making money isn't a big leap, it's what sharks and hustlers have been aiming at for hundreds of years.
by twic | 2025-10-24 15:00:12+00:00
There isn't today, but there was in 1991, scheduler activations:

https://dl.acm.org/doi/10.1145/121132.121151

The rough idea is that if the kernel blocks a thread on something like a page cache miss, then it notifies the program through something a bit like a signal handler; if the program is doing user-level scheduling, it can then take account of that thread being blocked. The actual mechanism in the paper is more refined than that.
by sehansen | 2025-10-24 15:00:21+00:00
Exactly this. Here in Denmark, 48k plug-in hybrids were sold in 2020, falling to 4k in 2025. The same numbers for fully electric cars were 38k in 2020 and 144k in 2025. Once the public charging infrastructure was here, the change was dramatic. I bought my first electric car this year and I haven't had trouble finding a public AC charger when I needed to, which is often since I live in a condo.
by tuetuopay | 2025-10-24 15:00:21+00:00
> a command outputting an incomplete line without a line terminator is producing garbled non-textual output

I would argue that no, there are many valid cases for commands to not produce a final \n in their output. The first example that come to mind is curl'ing a REST API whose body is a single line of JSON. Many of those will not bother with a final \n, and this does not qualify as "garbled output" in my book. I would even go as far as saying that a shell just printing the prompt at whatever place the cursor happens to be is a side-effect of how terminal emulation works and the fact it's just a character based terminal.

This is actually something that Warp does pretty well, with a strong integration with the shell where your command is in a dedicated text box, by the virtue of it being GUI and leveraging GUIs. (I don't use it however, I'm too much of a sucker for dense UIs).

However I do agree with your argument that it's not the role of the shell to protect you against `cat /dev/urandom` or `cat picture.png`. And fish indeed does not try.

IMHO a shell is built for humans when in interactive mode (one of the raison d'être of fish), and the lack of final \n is such an annoyance that handling this specific edge case is worth it.
by dogleash | 2025-10-24 15:00:26+00:00
>we could use fallible AI to call attention to possible concerns that a human could then analyze and make an appropriate judgment call on

That "we could" is doing some very heavy lifting. But even if we pretend it's remotely feasible, do we want to take an institution that already trains submission to authority and use it to normalize ubiquitous "for your own good" surveillance?
by dimal | 2025-10-24 15:00:38+00:00
We don’t need a full rewrite. Despite the divisions in this country, there are a couple things that most people agree on:

- Corporate money should be out of politics

- Gerrymandering should be stopped

If we had amendments for these two things, it could change A LOT. Congress might actually be able to function. Corporate corruption could be prosecuted. We might be possible to put meaningful limits on corporate power.

Of course, the devil’s in the details. How do you write amendments for these two things in a way that actually accomplishes the goals? But though it would be difficult, I don’t think it would be impossible.
by ndiddy | 2025-10-24 15:01:00+00:00
> since Apple will never make hardware at lower prices

Apple has a deal with Walmart to sell the M1 Macbook Air for $600, so that's their current low-cost option. For the future, data-miners have found evidence that Apple will be making a new low-cost Macbook with the A18 Pro (chip from the iPhone 16 Pro), set to launch in 2026. https://www.macrumors.com/2025/06/30/new-macbook-with-a18-ch...
by lo_zamoyski | 2025-10-24 15:01:04+00:00
For mathematics and certain fields, that is true. But the formalism matters, and as some have argued, the Fregean style that came to dominate in the 20th century is ill-suited for some fields, like linguistics. One argument is that linguists using this style inevitably recast natural language in the image of the formalism. (The traditional logical tradition is better suited, as its point of departure is the grammar of natural language itself.)

No formalism is ontologically neutral in the sense that there is always an implied ontology or range of possible ontologies. And it is always important to make a distinction between the abstractions proper to the formalism and the object of study. A common fallacy involves reifying those abstractions into objects of the theory, at least implicitly.
by sph | 2025-10-24 15:01:58+00:00
> In a brothel (a market that AI-powered sex dolls might partly disrupt)

Would it disrupt the brothel? I'm inexperienced in the field, but I'm pretty sure in a proper establishment I'd rather go with a real human rather than an AI-powered sex doll, no matter the cost.

But what do I know, human sexuality is very diverse.
by seanwilson | 2025-10-24 15:02:17+00:00
This is cool! I was confused how to get going at first and didn't realise it was a step-by-step wizard I had to follow, plus I only watched the demo video briefly. I loaded the human then clicked around the main area and couldn't get anything to happen, and almost gave up.

Suggestion to help with this: Instead of starting with a blank slate, start right at the end of the process with the human model loaded and animated, then the user can go "back" and change things once they've seen the kind of results they can get.
by optionalsquid | 2025-10-24 15:02:31+00:00
I don't know what their official policy is on breaking changes, but packages published via Typst Universe[1] are versioned, and you specify the exact version you want when importing a package in your document. So while you may need to install an older compiler (which is a single, self-contained executable), I don't think that you'll have to worry about your dependencies

[1] https://typst.app/universe/
by jorvi | 2025-10-24 15:02:36+00:00
> Sudo has released a security update to address a critical vulnerability (CVE-2025-32463) in its command-line utility. This vulnerability allows an attacker to leverage sudo's -R (--chroot) option to run arbitrary commands as root, even if they are not listed in the sudoers file.

People start making sudo more secure by replacing it with sudo-rs

You: "why are we rewriting old utilities?"
by guywithahat | 2025-10-24 15:03:05+00:00
Why not? A large portion of the punishment is just going through the court system. For a significant amount of time all you can do is stress about your next court date, you can't get work and burn through your savings. In his case he has already paid tens of millions in his money and the company paid billions. He spent four months in jail, and has spent years out of work.

By the time a pardon comes the persons life is usually already in deep distress, and whatever they were working on is likely already over. I don't see why it's such a tragedy to let some people get pardoned who maybe don't deserve it.
by crossroadsguy | 2025-10-24 15:03:16+00:00
Thing is I don’t buy devices more than I absolutely need so that’s just a phone and a laptop. I will try this with NixOS because I have never tried NixOS in the first place. Brew has been enough so never tried anything else and also a lot of FOSS tools I use on my mac pro treat Brew as some kind of standard so that’s there.
by throw10920 | 2025-10-24 15:04:02+00:00
> Other providers could host those games for much less than the 30% fee. Hosting costs are extremely low nowadays. It's basically nothing compared to the development cost of an AAA game. This is often many years and hundreds of people working on a game. The hosting costs are completely minor in comparison.

Steam does far more than just host, and everyone who uses it knows this, so it's clear that you either have no idea what Steam does (in which case you should not be commenting) or you're actively lying about it.

Steam provides payment processing, cloud saves, ratings, game tags, social integration, wishlisting and sale notification, search indexing, game discovery, a bunch of incredibly useful APIs including networking and input, Linux compatibility, and many, many other things.

> By your definition, any Monopoly selling you strongly overpriced stuff would be a "huge success of capitalism".

This is not only false, due to the above value-adds, but intentionally false because I never gave a definition - you made one up and attributed it to me to lie about my positions.

And yes, there is competition - the fact that you don't know this is yet another indicator that you're totally ignorant of anything relevant to the conversation. There's the Epic Games Store, GOG, the EA App, Battle.net, the Xbox one/Windows Store, and more. And you know what the most popular one is, by a large margin, because it provides value to both devs and players? Steam. That's the market at work.

Your comments are false due to your total ignorance of reality, and your malicious lying about my statements indicates that you don't care that they're false - you'll say anything plausible, regardless of truth, to advance whatever agenda you have.
by metabagel | 2025-10-24 15:04:47+00:00
> 100% likelihood you lose money

Paying money for a service and losing money gambling are two different things.

> the point of the game is fly down a mountain and not hit any trees (about 45 more deaths per year than poker in the US)

It's not a game. It's an activity.

> you're stuck sitting in a lift or a line and following rules for hours

Not the whole time.

> there are no victory conditions

Right, because it's not a game.
by cyrialize | 2025-10-24 15:05:29+00:00
Yes, but in this case the blazers head office said they were going to search for a coach, and they also took input from Dame on what coaches he thought would be good for the team.

They didn't do any search at all, and just went straight to hiring Chauncey.

This partially contributed to Dame leaving - it also didn't help that Chauncey and Dame didn't quite get along (and also deciding to bench him in the last 10 games of the season to tank).

I'm honestly fine with players being hired as head coaches. Before looking into it I thought it was totally fine with Chauncey, especially given his track record as a leader on the Pistons and being a phenomenal classic point guard.

The main issue for me is just telling people you're going to do a search... and then not doing it.
by nradov | 2025-10-24 15:06:08+00:00
Sure, but I would argue that the current sports books are qualitatively different and make it significantly easier to get away with cheating. In the UK in the 1960s, punters could mainly only bet on whether a team would win or beat the spread. There were some match fixing scandals but it was relatively easier to detect inauthentic results or suspicious betting patterns. Now it's possible to bet on a zillion different things constantly throughout each game, like whether a football team will get a first down on the next play. If a player was paid off to gain only 9 yards instead of 10 that's much harder to a detect.
by oersted | 2025-10-24 15:06:42+00:00
Terence Tao is well known for being enthusiastic about Lean and AI and he regularly posts about his experiments.

He is also a serious research mathematician at the top of his game, considered by many one of the best mathematicians alive. This might be biased by the fact that he is such a good communicator, he is more visible than other similarly good mathematicians, but he is a Fields medallist all the same.
by mwcampbell | 2025-10-24 15:07:03+00:00
Would it be feasible, with hayro-interpret and krilla, to take an existing PDF and round-trip each of the pages while wrapping the contents in marked content spans and adding tags, to remediate the accessibility of an existing PDF? Round-tripping each of the page content streams through a full-featured PDF interpreter seems cleaner than trying to edit in-place. PDFium can round-trip the content streams and add the marked content spans, but can't do the tagging. What do you think?
by NorwegianDude | 2025-10-24 15:07:57+00:00
This is very silly. You're not doing the challenge if you do the work up front. The idea is that you start with a file and the goal is to get the result as fast as possible.

How long did it take to distribute and import the data to all workers, what is the total time from file to result?

I can do this a million times faster on one machine, it just depends on what work I do up front.
by KalMann | 2025-10-24 15:08:16+00:00
I want to respond to each of his points one by one

> powering various math tools

I don't think going through a math proof like they were computer programs is a good way to approach mathematics. In mathematics I think the important thing is developing a good intuition and mental model of the material. It's not a huge problem if the proof isn't 100% complete or correct if the general approach is good. Unlike programming, where you need a program to work 99.9% of the time, you have to pay close attention to all the minute details.

> analyzing meta-math trends

I'm highly skeptical of the usefulness of this approach in identifying non-trivial trends. In mathematics the same kinds of principles can appear in many different forms, and you won't necessarily use the same language or cite the same theorems even though the parallels are clear to those who understand them. Perhaps LLMs with their impressive reasoning abilities can identify parallels but I doubt a simple program would yield useful insights.

> Basically, the process of doing math will become more efficient and hopefully more pleasant.

I don't see how his points make things more efficient. It seems like it's adding a bunch more work. It definitely doesn't sound more pleasant.
by CableNinja | 2025-10-24 15:08:31+00:00
Id rather have an AI that can filter out the bullshit scams and actually find me something thats not wasting my time.

Ive been tryin to move out of this place for like 2 years, free time is a factor, but the other half is that every other listing i find is either a scam, seems like a scam, or the rent is so absurdly high for an area it doesnt make sense to be.
by simjnd | 2025-10-24 15:09:42+00:00
On macOS you can use OrbStack [1] for a much better experience working with Docker on Mac, as well as quickly spinning up headless Linux VMs (WSL on Mac kind of thing). The free tier will probably be rug-pulled someday, but I've been using it for a couple of years and it makes my life a lot easier when I'm on macOS.

[1]: https://orbstack.dev/
by martypitt | 2025-10-24 15:09:57+00:00
Congrats on shipping.

However, the "Privacy First" and "No Ads" claim gets eroded pretty quickly by cookies, and requests to trackers like n.clarity.ms, google-analytics and adtrafficquality.google.

Note - I don't actually have an issue with any of those things - if you wanna monetize this service through analytics and ads, that's up to you. But it's at odds with your privacy first claims.
by duncangh | 2025-10-24 15:10:00+00:00
We’re moving away from hardware and into software and longevity in this discussion but wrt “apple leads the industry in supporting older devices with software updates” i would point out that Red Hat is probably more of a beacon / industry leader here as the main promise of RHEL is 10 years of support and updates. But again we don’t ship hardware so I see the narrower sense that you’re making but still would like to push back on the idea that giant companies cannot continue to keep complicated legacy code bases secure and functional about 2x longer in most cases than what Apple has done