MurphyA/hacker-news huggingface dataset:
by koito17 | 2025-05-19 19:27:59+00:00
Before getting a new MacBook, I was using MacPorts since Homebrew had several problems, including what the GP mentioned. For over a year now, I have used home-manager with Nix. Nixpkgs has the "important" subset of GUI programs that I use. Major exception to this is OrbStack, but there is a homebrew-to-nix converter that I use to handle that.

I briefly experimented with nix-darwin, but concluded that it was overkill for my needs. Home Manager also has the benefit of not being Mac-specific (so plenty of questions and examples exist online).

Most importantly, I no longer have to mentally prepare myself when updating Mac OS. If I recall correctly, both MacPorts and Homebrew require the user to re-install all installed packages after a major version update, but this problem doesn't really exist on Nix. It's also nice being able to store flakes in a Git repository and effortlessly rollback changes or replicate a whole development environment across several machines.
by amenghra | 2025-05-19 19:28:22+00:00
Various css files for retro-theming. Each of these have been discussed here previously.

- Windows 98: https://github.com/jdan/98.css - Windows XP: https://github.com/botoxparty/XP.css - Nes: https://github.com/nostalgic-css/NES.css - Mac OS (classic): https://github.com/sakofchit/system.css - DOS: https://github.com/vinibiavatti1/TuiCss
by Zigurd | 2025-05-19 19:28:53+00:00
I haven't taken Bussgang's course, so I'm partly guessing here. But I did volunteer to help at a incubator workshop he was running several years ago at HBS. My impression is that the material for the book comes from his course, from his experience mentoring startup teams, and from experiences with Flybridge's portfolio.

If you are looking for a checklist of how to do a 2025 start up right, this is the book. I listened to the audiobook so I don't know the page count, but the editing is super tight.
by satyanash | 2025-05-19 19:29:01+00:00
> narrative only got picked up because people needed a reason to demonize evil corps

Either they aren't evil in which case they're being demonized, or they're already evil in which case demonization is redundant.

Keeping aside the motives of people, what is clear is that scale effects of AI cannot be ignored. An AI "learning" millions of pieces of content in a short span is not the same as humans spending time, effort and energy to replicate someone's style. You can argue that its 'neural nets' in both cases, but the massive scale is what separates the two.

A village is not a large family, a city is not a large village, ... and all that.
by paulddraper | 2025-05-19 19:29:34+00:00
Am I to understand the earliest version of Zod 4 is 3.25.0?

Does this not sound insane?

---

I've been using the alpha versions of Zod for months, I just want to edit package.json and upgrade. But now I need to shotgun across git history instead.

Colin, I appreciate your project immensely. As a point of feedback, you made this ^ much harder than you had to. (Perhaps publish a 4.x along with the 3.x stuff?)
by manifoldgeo | 2025-05-19 19:29:39+00:00
Will there be a follow-up toolkit for Artificial General Intelligence called Agitator?

Dumb jokes aside, I took a look at your GitHub page, and this is exactly what I've been looking for when I do local LLM work. Cogitator seems like a nice, pythonic approach vs. using the raw `ollama run` command, esp. given the focus on chain of thought. I think I'll start using this tool. Nice work!
by doug_durham | 2025-05-19 19:29:56+00:00
How much is maintaining your type system really helping you out? I find I spend more time tracking down irrelevant type warnings than fixing type issues. For example if you declare a type hint on a function parameter as `foo: int = None` you will get a type error. It says that a parameter of type int can't have a None value. This is false. So now I have to update my declaration to be `foo: Optional[int] = None`. This yields no value because when you say `= None` you are saying that this is an optional argument. The more you tighten your type declarations the more you will be chasing non-existent issues.
by mintycrisp | 2025-05-19 19:29:58+00:00
A thorough article about this dysfunctional situation, but also quite a dense long read. Could really some adjustments like an index, jump to, quotes, bullet point overviews of content, etc... Just to help make it more digestible and even shareable, but I appreciate the effort taken to create and share it nonetheless.

It's a very troubling time in America right now, especially as someone with very little means scraping by, so I was hoping for more info in this article about what the everyday person can do to help fight against this authoritarian power grab other than annoying my state's rep (who is a huge supporter of this) or protesting publicly (in a state that overwhelmingly voted for this). Of which will hopefully be in the next article as stated at the end... 'The next post will explore what specific steps you can take to bring this con to a con-clusion and save American democracy.'

And if this article speaks to you, then I recommend checking out the latest(5/18/25) 'Last Week Tonight with John Oliver' episode which has it's main story about this administration's attack on freedom of the press in the United States.
by homarp | 2025-05-19 19:30:30+00:00
Foundry Local is an on-device AI inference solution offering performance, privacy, customization, and cost advantages.

Optimize performance using ONNX Runtime and hardware acceleration, Foundry Local will automatically select and download a model variant with the best performance for your hardware. (CUDA if you have NVidia GPU, NPU-optimized model for Qualcomm NPU, and if nothing, CPU-optimized model)

Python and js SDK available.

If the model is not already available in ONNX, Olive (https://microsoft.github.io/Olive/) allows to compile existing models in Safetensor or PyTorch format into the ONNX format

Foundry Local is licensed under the Microsoft Software License Terms
by jdeibele | 2025-05-19 19:31:42+00:00
Had an eye exam this morning and I needed to do a $30 co-pay. Pulled out a card to pay and I was asked if it was a credit card. I said yes and she said there'd be a 3% fee for using a credit card. I switched to my Discover debit card, which pays 1% back.

My only recent experiences with this with transactions over $10 was a small restaurant and a construction project where they took the deposit on a card but would charge a 3% fee if we didn't pay by check. Many of the local convenience stores charge a fee to use a card.
by specproc | 2025-05-19 19:32:02+00:00
Advertising triggers a lot more than OCD in me outside of my start menu. On my machine, where I spend most of my waking hours, it was certainly the last straw for me.

But there's also the thing where Microsoft stops supporting older machines, creating a massive pile of insecure boxes and normie-generated e-waste; and the thing where it dials home constantly; and the thing where they try and force their browser on you, and the expensive and predatory software ecosystem, and the insane bloat, and the requiring a Microsoft account just to use my own computer. Oh yeah, and I gotta pay for this crap?!

I went full Linux back when Windows 11 came out and will only use it if a job requires. Utterly disgusting software.
by hn_acker | 2025-05-19 19:32:14+00:00
I made the post title the first heading of the letter because the original title seems to be an archival-minded description rather than a literary title. The original title is:

> FTC Letter Digital Ownership

If I violated the "don't editorialize" guideline then I would be happy to change the title back.

Additional context at [1] from the Internet Archive, one of the organizations behind the letter.

[1] https://blog.archive.org/2025/05/07/public-interest-groups-t...
by arlort | 2025-05-19 19:32:19+00:00
No, it's the result of the public's/politicians' pathologic risk aversion and swiftness in calling everything corruption

Since it'd be obviously bad (sarcasm) if public money were spent on projects that deliver nothing or the people receiving them used them for anything other than the narrowest interpretation of the goal then you absolutely (sarcasm^2) have to have 50 different layers of checks and plans and assessment to make sure the little money is spent on the entities that lie the best. But at least no opposition politician can complain someone bought a fancier watch than they'd like or didn't deliver enough

Anyway the EIB is a different kind of funding process than EU grants and should be more effective (even just because capital doesn't come out of the EU budget or member states directly), though how much I don't know
by ActorNightly | 2025-05-19 19:32:27+00:00
Figuring on what you actually want in life and working towards that is productive, yes.

But that's mild compared to what he says. He basically says he can influence the stock market with affirmations.

You should read the chapters. https://www.scribd.com/doc/156175634/the-dilbert-future-pdf. Starts on 218.
by lambdaba | 2025-05-19 19:32:33+00:00
Yeah, I'm just addressing you specifically, you could switch easily and Nix has a much larger package selection (outside of GUI apps on macOS). And it immediately can do more via nix-shell -p, which can be also be used as shebang.

But yeah, Nix is much more than a homebrew replacement and that has its downsides.
by sertraline | 2025-05-19 19:32:39+00:00
It always infuriates me when people say Windows is all about games. Techies are so detached from reality they forget that people have creative hobbies and have to use industrial grade software. Doing creative hobbies on Linux is an act of sadomasochism. And on top of that, Linux and MacOS cannot run software from 3 years ago while Windows can run software from 35 years ago. And on top of that, Linux is completely unusable to Japanese/Chinese speakers due to how hard it is to input the moon runes, and on top of that Wayland breaks the least painful setup that you could have earlier. And on top of that, Wayland people shown a middle finger to all the people who need accessibility features.

No, Windows is not about games, Windows is about being an objectively the most stable pile of garbage there is.
by ty6853 | 2025-05-19 19:32:42+00:00
On its own higher housing density should lower land prices. All else equal land prices are both cause and effect of housing access.

In the philosophical extreme, if zoning allowed infinite density you could stick a hong-kong style condo skyscraper for the entire population on 0.1 acres and the rest of the land would provide no additional housing utility pushing prices down to whatever the value it is as farmland/business/recreation. The housing value of surrounding land would plumet.

Low land prices are indicative of less restrictive zoning. In more restrictive zoning that punishes building houses on small plots, land becomes more valuable because the land is the license to build a house. i.e. where I live I had to buy more land than I needed because without it I could not build my house, which drives up land prices (increased demand).

The reason why california ADU increase parcel prices is because it prints an additional house license while being illegal to split it off. Otherwise you would be left with two cheaper parcels, although in sum they may be more expensive, but you would still pay less for enough land for license to print a house.
by DangitBobby | 2025-05-19 19:32:53+00:00
If you have to compete then you have to compete. Let's not pretend that prudent reinvestment of hard-won gains in the face of fierce competition is how wealth inequality has managed to spiral out of control, though. There's econ 101 and then there's reality.

Edit: Also looking for how this market theory explains absurd CEO compensation packages in a world where they quite obviously are not worth the price tag.
by GuB-42 | 2025-05-19 19:32:55+00:00
It is just how we express ourselves. We French are known internationally for complaining a lot, we know it and we even joke about it.

It doesn't mean that nothing gets done (and when it doesn't, it is not usually the reason). We are just not overly enthusiastic about it like Americans tend to be.

A way to see things is that in America, a 5/5 comment is great, 4/5 is acceptable, and anything less is crap. In France, 1/5 is crap, 2/5 is acceptable, and anything more is great. You just have to adjust your scale.
by TheOtherHobbes | 2025-05-19 19:32:57+00:00
In the general case, the entire species is an example of ASI.

We're a collective intelligence. Individually we're pretty stupid, even when we're relatively intelligent. But we have created social systems which persist and amplify individual intelligence to raise collective ability.

But this proto-ASI isn't sentient. It's not even particularly sane. It's extremely fragile, with numerous internal conflicts which keep kneecapping its potential. It keeps skirting suicidal ideation.

Right now parts of it are going into reverse.

The difference between where we are now and AI is that ASI could potentially automate and unify the accumulation of knowledge and intelligence, with more effective persistence, and without the internal conflicts.

It's completely unknown if it would want to keep us around. We probably can't even imagine its thought processes. It would be so far outside our experience we have no way of predicting its abilities and choices.
by lxgr | 2025-05-19 19:33:18+00:00
Why? It directly results in almost every Windows update requiring a reboot to apply, compared to usually only an application restart or at most desktop logout/login on Linux.

Having to constantly reboot my computer, or risk missing important security patches, was very annoying to me on Windows.

I've never had to reboot after updating glibc in years of using Linux, as far as I can remember.
by Jtsummers | 2025-05-19 19:33:28+00:00
The way I see it:

Your type system is sound or complete (cannot be both, if it's a Turing-complete language). If it's dynamically typed, then it's probably complete but not sound (many, but not all, dynamically typed language implementations have some basic static type checking). If it's statically typed, it can be either sound or complete. The difference between sound and complete is: Sound type systems will reject valid programs that they cannot prove are valid; Complete type systems will reject only those invalid programs they can prove are invalid.

In practice, the choice is more one of default these days:

Do you default to static typing and allow some dynamic (runtime) type checking? C++, C#, Java, etc.

Do you default to dynamic typing and allow some static (compile-ish time) type checking? Python, JS, Common Lisp, etc.

This lets both sides have what they really want. They want to be able to express all valid programs (a complete type system) but they want to reject all invalid programs (a sound type system). They can't have it. So you end up choosing a direction to approach it from. Either start conservatively and relax constraints, or start liberally and add constraints.

If you accept that, then the case for dynamic typing is that it's a choice to move from the too permissive extreme towards a stricter position. For me this works better (in general, though I also happily use statically typed languages like Ada) because I find it easier to add constraints to a relaxed system than to remove constraints from a restrictive system.
by rollcat | 2025-05-19 19:33:43+00:00
I feel you. I could write an essay about Homebrew, instead I'll list the other alternatives. There's pkgsrc[1], MacPorts[2], and Nix[3]. In my experience, none of these are as comprehensive, and each comes with its own quirks. Worth a try, might work for you.

[1]: https://www.pkgsrc.org/, https://pkgsrc.smartos.org/install-on-macos/

[2]: https://www.macports.org/

[3]: https://nixos.org/download/
by fallinditch | 2025-05-19 19:34:01+00:00
I'm using Windsurf IDE so have all the main models available. Mainly doing Python, JS, HTML, CSS, some Go. I have found Claude 3.7 outperforms Gemini 2.5 and ChatGPT 4.1, 4o, Deepseek, etc, for my work in most cases.

I suspect that I experience some performance throttling with Gemini 2.5 in my Windsurf setup because it's just not as good as anecdotal reports by others, and benchmarks.

I also seem to run up against a kind of LLM laziness sometimes when they seemingly can't be bothered to answer a challenging prompt ... a consequence of load balancing in action perhaps.
by gxs | 2025-05-19 19:34:51+00:00
I understand what you’re saying and agree, where we might disagree is on what the right measure should be for communicating how long one should spend on an assignment

In math for example, they give you problems. Some days it’s 3 problems that take 2 weeks, sometimes it’s 10 problems that take 3 days

For obvious reasons this wouldn’t work in an English class for example, there just seems to be a better way

Eg, maybe the prompts should be such that they imply the complexity of the answer. If your prompt is half a page long, naturally it’s not going to take 2 pages to answer

On the other hand, someone who takes 30 pages to address it is probably also off their rocker

In that way you’d be able to grade the quality of the response - one student may succinctly say in 4 pages what another more verbose student might say eloquently in 6 and can both be deserving of an A

I get that that’s hard though and trying to do that with potentially hundreds of students is probably close to impossible, so it’s just an example
by thomastjeffery | 2025-05-19 19:35:11+00:00
Another problem this creates is that every action is evaluated as a competition. Even collaborative work must be encapsulated in a team. The only success that can be imagined is victory. The only path to consent is by concession and contract.

This framework is explicitly enforced by copyright law. Because a copyright monopoly is automatically granted to every content creator, every person is automatically expected to participate in the copyright system.

Copyright law hinges on incompatibility. The easier it is to make compatible work, the easier it is to make derivative work, which copyright defines as the penultimate evil.

Generative statistical models (what everyone is calling AI) are calling this bluff harder than ever. Derivative work is easier than any time in history.

So what do we do about it? It's pretty obvious from my perspective that the best move forward is to eliminate copyright for everyone. It seems instead, that the most likely outcome is to eliminate copyright exclusively for the giant corporations that successfully launder their collaboration (derivative work) through large generative models.
by vunderba | 2025-05-19 19:35:19+00:00
From what I understand the tempest bug was accidentally introduced at the last second because the Atari logo was slightly off-center and when Dave Theurer (the creator) adjusted it, it introduced some subtle bugs into the game related to interactions with the anti-piracy code which was based on strict positional placement of objects.

Quote from him:

If players got something like 179,480 points, the game would crank a 40 into the coin counter. It would do other weird things, too, like double the vector generator multipliers so everything would be twice as big, but nobody wanted that. They just wanted to get the 40 free credits, so the kids figured out how to do it.
by akudha | 2025-05-19 19:35:20+00:00
Not trying to be snarky or sarcastic. Who reads 1116 pages???? How can congress people vote on a bill that is so large, possibly with very dense info to grasp (haven't read it, just guessing, as it is tax/finance related bill)? This would be hard enough for accountants to read and grasp.

Can't this be broken into smaller, manageable bills?
by oblio | 2025-05-19 19:35:34+00:00
Because someone cannot make informed comments about the "other" party unless they have a reasonably deep knowledge of it, too.

Far too many Linux users, especially, make fun of Windows and if you dig a bit you see that most of their complaints are things that are solved with 5 minutes of googling. Some complaints are philosophical, and those I agree with, but even in that case, I'd be curious how consistent they are with their philosophy when for example Linux desktop environments due weird things.

Summarizing a bit: Linux users with years or decades of experience of tinkering as sysadmins with Linux frequently make junior-level user complaints about Windows usage, frequently based on outdated information about it.

I say this who has been using both Linux and Windows for a few decades now and has a fairly decent level of sysadmin skills on both.
by bigstrat2003 | 2025-05-19 19:36:03+00:00
I would certainly love it if Microsoft stopped trying to sell Windows and just open sourced it. I think Windows is a much more pleasant desktop operating system than Linux, minus all the ads and mandatory bloat Microsoft has put in lately. But if Windows was open source the community could just take that out.

I really don't see it happening any time in the next decade at least, though. While Windows might not be Microsoft's biggest focus any more it's still a huge income stream for them. They won't just give that up.
by anarticle | 2025-05-19 19:36:12+00:00
This had to pass an IRB, so according to the organization: yes.

As for what ethics are in place, check out the Penn video leaked by PETA in 1984 called Unnecessary Fuss, which triggered the creation of IACUC.

Institutional Animal Care and Use Committee is the system at all US based universities overseeing animal experimentation. They will 100% halt your lab if you are caught doing a bad.

You have to clear your work with them before you can start, they generally will ask if your work can be done in cell models, or if you can do it with less animals. It works relatively well considering the above reference.

Source: worked in biochemistry lab for 10y. AMA
by bionhoward | 2025-05-19 19:36:18+00:00
> You may not access or use, or help another person to access or use, our Services in the following ways: > 2. To develop any products or services that compete with our Services, including to develop or train any artificial intelligence or machine learning algorithms or models or resell the Services.

Can somebody please tell me what software product or service doesn’t compete with general intelligence?

Imagine selling intelligence with a legal term that, under strict interpretation, says you’re not allowed to use it for anything.

Is it so vague it’s unenforceable?

How do we own the output if we can’t use it to compete with a general intelligence?

Is it just a “lol nerd no one cares about the legal terms” thing? If no one cares then why would they have a blanket prohibition on using the service ?

We’re supposed to accept liability to lose a lawsuit just to accept their slop? So many questions
by nrclark | 2025-05-19 19:36:25+00:00
In my mind, I almost feel like the opposite is true. Wine is getting better and better, especially with the amount of resources that Valve is putting into it.

If you want a stable, repeatable way to wrangle a Windows tool: Wine is it. It's easy to deploy and repeat, requires no licenses, and has consistent behavior every time (unless you upgrade your Wine version or something). Great integration with Linux. No Windows Updates are going to come in and wreck your systems. No licensing, no IT issues, no active directory requirements, no forced reboots.