MurphyA/hacker-news huggingface dataset:
by JadeNB | 2025-04-21 22:57:03+00:00
> That universe would be deprived from the bottomless wellspring of dryness that is the set theoretic foundations of mathematics. Unthinkable!

"Wellspring of dryness" is quite a metaphor, and I take it from that metaphor that this outcome wouldn't much bother you. I'll put in a personal defense for set theory, but only an appeal to my personal taste, since I have no expert, and barely even an amateurish, knowledge of set theory beyond the elementary; but I'll also acknowledge that set-theoretic foundations are not to everyone's taste, and that someone who has an alternate foundational system that appeals to them is doing no harm to themselves or to me.

> That's an interesting thought, but I think that'd break the usual trick of building up objects from the empty set, a set containing the empty set, then the set containing both of those and so forth.

In this alternate universe, the ZF or ZFC axioms (where C becomes, of course, "the product of sets is a set") would certainly involve, not the axiom of the empty set, but rather some sort of "axioms of sets", declaring that there exists a set. Because it's not empty, this set has at least one element, which we may extract and use to make a one-element set. Now observe that all one-element sets are set-theoretically the same, and so may indifferently be denoted by *; and then charge ahead with the construction, using not Ø, Ø ∪ {Ø}, Ø ∪ {Ø} ∪ {Ø ∪ {Ø}}, etc. but *, * ∪ {*}, * ∪ {*} ∪ {* ∪ {*}}, etc. Then all that would be left would be to decide whether our natural numbers started at the cardinality 1 of *, or if we wanted natural numbers to count quantities 1 less than the cardinality of a set.
by lo_zamoyski | 2025-04-21 22:57:42+00:00
> This speaks to me. As a software engineer, I work with abstractions all day, and it is impossible for me to fully understand the system that I'm building. I often think I would be much happier if I worked on a product that I could actually understand from top to bottom and know all the details.

For a programmer, the “system” is in a sense incidental to the domain and language you’re programming in. It has relevance only insofar as practicality demands it (like an astronomer knowing how to operate a telescope). There is no intrinsic value to this knowledge as such. Anything ‘beneath’ your language is implementation detail whose purpose is to simulate your language, program, whatever. It has nothing to do with your language and does not explain the language; any appropriate system that can simulate it will do.
by HenryBemis | 2025-04-21 22:57:47+00:00
Oh how I hate your product! :)

I hate those calendar-blockers. Dude!! You aren't alone in the world, and nobody wants to talk to you, like.. ever!! If we need to pull you in a call, chances are that we need your stupid opinion and/or results!!

On the other hand I (personally) don't set up calls or send email if a 3min Team chat resolves 'the thing', which in my case/setup it does.

But being a blocker for 2 weeks because you are a calendar blocker and things fall behind.. dick move!
by overgard | 2025-04-21 22:57:53+00:00
Funny story about a visitor to a game development office.

About 8 years ago I was working on a mobile game where you could purchase specialized dragons and eggs. Some of these could be pretty expensive, but since they were high end items we wrote special GPU shader code for them so they had cool special effects on them. We tested these as well as we could -- we had a room with maybe 100 or so mobile devices -- but of course we couldn't test on everything.

One day an irate older lady came to our office, and our receptionist for some reason let her in (probably thinking old lady = harmless?). Keep in mind our office was unlisted because we didn't want fans dropping by. She had driven all the way up from Arizona to Colorado (although I don't think it was the only reason she drove up), and she accused us of ripping her off, because she had bought one of these fancy dragons and instead of getting what she saw in the promo materials, its wings were black! I didn't hear or see this directly, instead it was the main topic on our Slack chat with everyone being cautioned to Play It Cool.

I didn't think much of it until I realized it was _my_ code that had caused this entire issue in the first place!

Luckily we had a really good customer service guy that defused the entire situation, but that's the first and hopefully only time I've been tracked down in person by a customer for a bug.
by alephnerd | 2025-04-21 22:58:03+00:00
Services! Services services services!

This is what will help protect Nvidia now that DC and cluster spend is cooling.

They own the ecosystem thanks to CUDA, Infiniband, NGC, NVLink, and other key tools. Now they should add additional applications (the AI Foundry is a good way to do that), or forays into adjacent spaces like white-labeled cluster management.

Working on building custom designs and consulting on custom GPU projects would be helpful as well by helping monetize their existing design practice during slower markets.

Of course, Nvidia is starting to do both, with Nvidia AI Foundry for the former and is working on the latter by starting a GPU architecture and design consulting as announced at GTC and under McKinney
by aubanel | 2025-04-21 22:58:03+00:00
If only one thing it's his series of books Jesus of Nazareth: the only theology book I've ever read, it clarified so much about the Scriptures, and was written from the point of view of a world-class scholar, much more scientific than I would have thought, taking into account the views of other scholars, Jew, Protestant or atheists alike, as long as they had interesting ideas.
by moshegramovsky | 2025-04-21 22:58:24+00:00
I'm paying $30/month for Gemini. It's worth every damn penny and then some and then some and then some. It's absolutely amazing at code reviews. Much more thorough than a human code reviewer, including me. It humbles me sometimes, which is good. Unless you can't use Google products, I'd seriously give it a try.

Now, I do still use ChatGPT sometimes. It recently helped me find a very simple solution to a pretty obscure compiler error that I'd never encountered in my several decades long career as a developer. Gemini didn't even get close.

Most of the other services seem focused on using the AWS pay-as-you-go pricing model. It's okay to use that pricing model but it's not easy for me to pitch it at work when I can't say exactly what the monthly cost is going to be.

I still love being a developer, but, knowing what I know now, I feel like I'd like it a lot less without Gemini. I'm much more productive and less stressed too. And I want to add, about the stress: being a developer is stressful sometimes. It can be a cold, quiet stress too, not necessarily a loud, hot stress. AI helps solve so many little problems very quickly, what to add/remove from a make file, why my code isn't linking. Or tricky stuff like using intrinsics. Holy fuck! It's really amazeballs.
by sam_ezeh | 2025-04-21 22:59:00+00:00
>Any definition of the natural numbers will also define things that look very similar to natural numbers but are not actually natural numbers

This isn't correct. This is only true for first-order theories of the natural numbers using the axiom schema of induction. Second-order Peano arithmetic with the full axiom of induction has the natural numbers as its only model. This property is called "categoricity" and you can find the proof here [1] if you're interested

[1]: https://builds.openlogicproject.org/content/second-order-log...
by toebee | 2025-04-21 22:59:30+00:00
Thank you for the kind words! Dia wasn’t fine tuned on certain speaker, so you will get random voices every time you run it, unless you add a prompt / fix the seed.

The outputs are a bit unstable, might need to add cleaner training data and run longer training sessions. Hopefully we can do something like OAI Whisper and update with better performing checkpoints!
by apatheticonion | 2025-04-21 23:00:42+00:00
More rules please.

I'd love to see more competition in the OS space. I feel that a big reason there isn't more competition is the gatekeeping of drivers by hardware vendors and the locking of bootloaders.

Why can't I install Linux on a Snapdragon laptop? Why can't I install OpenWRT on my router? Why can't I install Linux on my Pixel? It's certainly not because they are not capable - it's just that the vendors don't want you to (for one reason or another) or decide not to support a platform without giving users the ability to support it themselves.

With the liability that is an over-reliance on American core software (OS, firmware, etc) - I believe the EU should mandate unlocked bootloaders on electronic devices and force vendors to either distribute driver sources or provide enough documentation for bootleggers to write drivers.

This is simply "the right to repair" extended to the software component of hardware.
by ein0p | 2025-04-21 23:00:53+00:00
The implication being that those panels aren't really $2K when they cross the border. They're more like $500, at most. And that's what the tariff gets applied to. People think 100% tariff means the price doubles. But it shouldn't, especially on the various tchotchkes which are bought for a buck and sold in the US for $5. Note that "shouldn't" ≠ "won't". Greed is a thing.
by Maxatar | 2025-04-21 23:01:18+00:00
This isn't correct. While it's true that in second order logic the natural numbers admit categoricity, second order logic lacks axiomatic semantics. So yes, there is a single set which can be called the natural numbers in second order logic (namely the intersection of all sets that satisfy Peano's axioms), but this set has no interpretation.

You can adopt Henkin semantics to give the naturals an interpretation, which is still second order logic, but then you're back to lacking a categorical model of the naturals.
by montyg | 2025-04-21 23:02:01+00:00
Hey HN! I’m Monty — a digital marketer and indie maker. I built SocialBuzzAI as a personal challenge: create a real, working AI tool from scratch in under a month.

It’s a free tool that instantly converts any block of text (e.g. a blog post or idea dump) into LinkedIn or Instagram-ready content.

I learnt how to work with APIs, webhooks, prompt engineering, and low-code tools like Make.com — and figured it all out through trial, error, and ChatGPT.

This is just the MVP. The long-term vision is an all-in-one AI-powered content hub that can generate posts from voice notes, images, and URLs.

Would love your thoughts, feedback, and ideas Try it here: https://socialbuzzai.com
by corytheboyd | 2025-04-21 23:02:52+00:00
I think your intuition about this all is right. Maybe we’re holding it wrong, maybe it’s plateaued and won’t get better, or maybe it will get massively better. Whatever happens, I think it’s the right call to hold a sober opinion— LLMs are just another dumb, expendable tool.

If a tool does not consistently produce results, you HAVE to take that at face value. You can’t just remove the numbers bringing down the average and say you have reached 95% success. When you see polar opposite experiences from so many people, the only reasonable takeaway is “so it’s unpredictable, very hard to use, or both.”
by ay | 2025-04-21 23:03:43+00:00
If they blocked you, evidently you didn’t clear the bar for them, and even if it was some completely lunatic reason - you have to respect their right to not talk to you, however lunatic it looks for you.

Now, if their blocklists were popular - either they weren’t lunatics or there was a crowd of lunatics. Now, why would you worry about not talking with a crowd of lunatics ?

But, regardless - again - nobody is entitled to an interaction with those that don’t want it, directly or by proxy.

Baffles me, why is it so hard to understand this ?
by mmooss | 2025-04-21 23:03:59+00:00
> shitload of countries in the hold of some warlord or other despot, or like Libya or Sudan on the verge of collapse

How many? Imposing some Western country's will on them is just another despot, but one who doesn't live there and doesn't know the place.

> Unfortunately, democracy doesn't come on its own

It depends on what you mean by 'on its own', but the track record of imposing it is poor.

Your plan also has a very poor track record, complete with massacres that have exceeded 1 million people. The idea that the rich countries will be beneficient when their own interests are in plan is not realistic and not supported by evidence.

I agree democracy should be supported. Foreign control is the opposite of democracy. It turns out that the only thing that works is local control and local input. Even aid agencies, government and otherwise, tend to make a mess rather than help.

Here's an example: An NGO with the mission of fighting AIDS setup clinics in poor countries. With their funding, they hired a large proportion of available local doctors and nurses. More people died of simpler health issues, including childbirth, because healthcare professionals weren't available.
by Calavar | 2025-04-21 23:04:00+00:00
That doesn't explain why the delivery consistently jumps 30% to 50% as soon as you hit the confirm button and they process your payment. If they were giving an honest estimate, you'd expect a gradual increase in the estimate as the delivery person showed up 2 minutes late at point A, then 5 minutes late at point B, then 10 minutes late at point C, etc.

The Uber Eats delivery time estimates are a lie, plain and simple. Once they have your money in hand, they'll shamelessly admit to the lie, which is why the estimate jumps instantaneously.
by pedalpete | 2025-04-21 23:04:10+00:00
I'm interested in understanding your desire to do design and prototyping as a single shot?

My expectation was that I'd iterate on a few UX designs with the LLM and then when I'm happy with what the LLM is suggesting, I'd output to figma, and then maybe move to code.

It's great that you're generating code, but isn't that increasing your cost and processing time to write code for each iteration?
by hnlmorg | 2025-04-21 23:04:30+00:00
Pipelining is just syntactic sugar for nested function calls.

If you need to handle an unhappy path in a way that isn’t optimal for nested function calls then you shouldn’t be nesting your function calls. Pipelining doesn’t magically make things easier nor harder in that regard.

But if a particular sequence of function calls do suit nesting, then pipelining makes the code much more readable because you’re not mixing right-to-left syntax (function nests) with left-to-right syntax (ie you’re typical language syntax).
by steveklabnik | 2025-04-21 23:04:30+00:00
> Both of those things sound like all the more reason why labels should've been the preferred approach here

Sure, what I'm trying to describe is the various differences so we can speculate why they may have made the decisions that they did. "more flexibility is always better" is a valid choice, but it may not be theirs.

> That seems reasonable (but IMO questionably necessary) for handle changes, but rather unreasonable for display name changes.

I call this the "jaboukie problem," and it's effectively necessary for this kind of feature. Jaboukie Young-White is a comedian who, every time Twitter verified him, would change his account to impersonate another, and then make an inflammatory post "as them." The blue check lent legitimacy to this. It was hilarious, don't get me wrong, but it does undermine trust in the feature.
by raattgift | 2025-04-21 23:04:45+00:00
> Gravity pulls things in by causing space-time to accelerate in a particular direction.

Ok, how does this sketch work for a low-ellipticity eccentric orbit?

> "The space-time that is in our frame of reference"

Isn't throwing out general covariance (and manifold insubstantivalism) rather a high price for a simplification of Einsteinian gravitation?

> the Big Bang wasn't a flat space-time

Sure, it's a set of events in a region of the whole spacetime. If we take "Big Bang" colloquially enough to include the inflationary epoch, always assuming GR is correct, then at every point in that "Big Bang" region of the whole spacetime there is a small patch -- a subregion -- of exactly flat spacetime. However, these small patches must be small because most choices of initially-close pairs of test objects can only couple to timelike curves that wildly spread in one direction (and focus in the other).

I don't know how to understand your two final sentences: how do you connect the period just before the end of inflation and the expansion history during the radiation and matter epochs?
by alephnerd | 2025-04-21 23:04:50+00:00
National Labs (kinda), a big pharma company I don't think I can disclose, and a couple HFTs, but it's a muscle they will need to build out, because Broadcom are Marvell are eating their cake.

Nvidia has started formalizing that last year [0], but it's a new muscle for them.

[0] - https://www.reuters.com/technology/nvidia-chases-30-billion-...
by zdragnar | 2025-04-21 23:04:52+00:00
The difficulty isn't the product itself, but all the integrations.

Every small clinic wants special custom formats. Insurance eligibility providers will lie about their abilities. Some insurance companies don't integrate with any eligibility check software. Sending health info anywhere requires yet more interchange formats.

The actual note taking bit isn't too bad, and can be easily modeled with most flexible CMSs even. The problem is that you can either gamble on a startup offering everything that a company that has been in business since before you were born and actually being able to follow through, or you can just go with the established company like everyone else does.

Having seen several startups trying to break into the space, it's no surprise that epic still dominates. The regulatory hurdles alone are not trivial; clinics that take Medicaid are usually required to use an EMR with a CEHRT certification which can cost tens of thousands of dollars to obtain.
by JadeNB | 2025-04-21 23:04:57+00:00
> commonly denoted as N_0 and N_1

Oh my, it had never occurred to me that one could disagree, not just about whether the natural numbers include 0 or don't, but also about how to denote "natural numbers with 0" and "natural numbers without." Personally, I'm a fan of Z_{\ge 0} and Z_{> 0}, which are a little ugly but which any mathematician, regardless of their preferred conventions, can read and understand without further explanation.
by TheAceOfHearts | 2025-04-21 23:05:27+00:00
Anecdotally, the way I've heard many stats related tools described is as follows: if the tool confirms something that we already knew then it's a waste of time or money because it doesn't tell us anything new, and if it doesn't agree with what we already know then it's obviously wrong.

I don't think it's a trivial problem though. It's notoriously easy to twist stats to sell any narrative. And Goodhart's Law all but guarantees that any meaningful metric will get hacked.
by woodruffw | 2025-04-21 23:06:17+00:00
> even for people living in a place with public transport as encompassing as say NYC, you _need_ some form of ride-sharing service eventually in day-to-day life

Not really. You can say this about smaller US cities, but NYC is absolutely a city where the >90% percentile of people can live without the daily use of a car.

(The simplest reason for this has nothing do to with car ownership or desirability per se: it's because of NYC's food delivery happens by bike or moped.)
by bamboozled | 2025-04-21 23:06:37+00:00
You're still paying the tariff...nothing negates the fact that you're now paying $800 extra for the panels for no reason at all.

I'm already buying direct anyway...I don't see why you're bringing greed into it. It sounds like you might be trying to help people feel positive about paying more in taxes?

I can still pay the tariff and get great panels at an affordable price anyway...
by VincentEvans | 2025-04-21 23:06:57+00:00
>hit lock button 5 times so it forces a passcode

I didn’t know what that meant - so I googled it. And it says something entirely different….

Quote: Pressing the lock button (or side button) five times quickly on an iPhone or many Android devices will activate Emergency SOS. This will prompt a countdown and eventually, if not cancelled, initiate a call to emergency services, potentially alerting emergency contacts and sharing your location.
by windsurfer | 2025-04-21 23:07:28+00:00
> Does a faster moving black hole cause more or less damage to a target?

When a black hole accretes matter, the matter can create tremendous radiation before it crosses the event horizon due to the atoms experiencing many effects such as rapid nuclear fusion and becoming new forms of matter such as neutronium. The precise amount of energy released depends on spin, charge, and size of the black hole, and the speed at which the matter approaches the black hole.

If a tiny black hole (Let's say 10cm across) ripped through the earth at significant speed it would be like the center of the planet momentarily became the center of a star and (hand waving a bunch of assumptions) the total energy could easily be greater than the gravitational binding energy of the planet. The planet would explode.
by acid__ | 2025-04-21 23:07:47+00:00
I can, I’ve written a billing system before (unfortunately). There’s a lot of annoying math/edge cases and systems to sync between.

While I never implemented a restriction like this, it would have prevented a lot of weird bugs/customer support issues and kept the underlying code much simpler.

(Annoying math = time zones, prorations, discounts, billing cycle anchors, etc. see the “falsehoods programmers believe about X” series)

(Systems to sync between = internal DBs, billing APIs, payment processors, etc.)
by ivape | 2025-04-21 23:08:41+00:00
Interesting, Marvell is actually down over 50% this year. I just don't understand the bear case at all. I'm a nobody and I'm still willing to buy a $1500 gpu, and that GPU still can't do what the cloud does. The next $1500 gpu probably can't either. It feels like we're over thinking this. The hardware roll-out is all there is imho. Jensen has mentioned he sees Nvidia being a 10 trillion-dollar company, and I'm willing to meet him half-way with my faith here.

Edit:

- I wonder what's stopping Nvida from releasing an AI phone

- A LLM competitor service (Hey, how about you guys make your own chips?)

- They are already releasing an AI PC

- Their own self driving cars

- Their own robots

If you mess with them, why won't they just compete with you?

Just wanted to say one more thing, that Warren Buffet famously said he regretted not investing in both Google and Apple. I think something like this is happening again, especially as there are lulls that the mainstream public perceives, but enthusiasts don't. To maintain the hyperbole, if you are not a full believer as a developer, then you are simply out of your mind.
by maronato | 2025-04-21 23:09:16+00:00
Sure, you can also take a picture of the screen.

I don’t think C2PA’s goal is to completely prevent this type of thing, but to make it hard enough to stop low-effort attempts.

This, like DRM, will probably be an arms race, and future solutions will look nothing like what I described.

But then again, the spec has been out for more than a year, and I haven’t seen anyone big bothering to implement it. Maybe it’s a flop already.
by rezmason | 2025-04-21 23:12:03+00:00
Almost twenty years ago, a lady walked into my former employer, from right off the street, to ask that they unsubscribe her from the mailing list. She was in town on vacation and realized their offices were there, and just thought it'd be nice to get that dealt with in person. Especially because her attempts to unsubscribe electronically had repeatedly failed.

Almost fifteen years ago, another of my former employers had an angry customer storm into their office and start shouting at the front desk associate. Soon after they relocated, and hired a full-time armed security guard to process all visitors straight from the elevator lobby. Any further, and you'd need to present photo ID and maybe sign an NDA before he'd buzz you in.