MurphyA/hacker-news huggingface dataset:
by pron | 2025-06-13 21:10:51+00:00
> Some of the humans who have thought about it do reject them.

I think they reject them only if they misrepresent Hilbert's formalism, because formalism does not assign them any meaning of truth beyond the symbolic. It makes no statement that could be rejected: a mathematical theorem that proves a set "exists" does not necessarily make any claim about its "actual" existence (unlike, say, Platonism). You asked in what sense does such a set exist, and Hilbert would say, great question, which is why I don't claim there necessarily is any such sense.

What those who reject Hilbert's formalism reject is the validity of a system of mathematics where only some but not all propositions are "externally" meaningful, but such a rejection, I think, can only be on aesthetic grounds, because, again, for Hilbert, all "valid" foundations must agree with physical reality when it comes to statements that could be assigned physical meaning. If ZFC led to any result that doesn't agree with physical reality, Hilbert would reject it, too. But it hasn't yet.
by hajile | 2025-06-13 21:11:07+00:00
webOS really needed low-level help. It took over forever to boot because (seemingly) nobody ever bothered to optimize even the low-hanging fruit. The webkit version used was slow and way behind standards and (as was the JS JIT). This was crippling for a web-first system.

That aside, the actual UX of webOS itself is still better than anything we have today and I liked my Touchpad despite the flaws.
by Uninen | 2025-06-13 21:11:45+00:00
That's a good question. This might be some kind of a "fireplace delusion" [1] kind of a thing, I've never really even considered it. I've never seen anyone have a fire extinguisher in a flat here in Finland, that might also be one reason. I guess that wouldn't be the worst purchase to make but I'd still much rather try not to put myself in a situation where I'd need one :)

[1]: https://www.samharris.org/blog/the-fireplace-delusion
by Veserv | 2025-06-13 21:11:52+00:00
There is a school bus with stop signs out and lights flashing. You are legally required to stop until they are retracted.

That law exists for the express purpose of giving drivers ample time and opportunity to stop in a situation where school children may cross unexpectedly to avoid the need for split-second decision making to avert known disaster. Being unable to handle school bus stop signs predictably results in the outcome they were literally invented to avoid.
by adastra22 | 2025-06-13 21:11:58+00:00
> There is nothing wrong with getting the size of the market wrong by that much

Remember that the Apple Watch did this. The initial release was priced way outside of market conditions--it was being sold as a luxury-branded fashion accessory at a >$1k price point on release. It was subtly rebranded as a mass-affordable sports fitness tracker the next year.
by kelipso | 2025-06-13 21:11:58+00:00
Jumping in, but sucralose tastes very clearly weird to me. Aspartame I had too long ago but probably tastes weird too since I avoided it afterwards. Monk fruit tastes a lot better but it can get overwhelmingly sweet to me. I tend to avoid sweeteners though, partially because of the taste and partially because they are new chemicals and potentially unhealthy.
by mateo_wendler | 2025-06-13 21:11:59+00:00
I believe there are countless ways to do your computer-based work while also pursuing creative projects. Ever since Paleolithic times, humans have had an innate creative impulse—and that impulse is poised to be reborn now.

In the near or distant future, we’ll step away from screens and return to eras of pure imagination—new needs will arise to fill the spaces that our work hours once occupied.

Creators will compete for attention on social media. The best time to launch a brand was ten years ago; the second-best time is now.

You must stake your claim before the explosion of AI and the surge of human leisure reshapes the landscape entirely.
by hnlmorg | 2025-06-13 21:13:12+00:00
> Firstly it solves the age-old problem of low-contrast text, like when you `ls` a broken symlink and the red background colour is too near your current theme's foreground colour.

That’s already a solved problem. You use a terminal theme that produces high contrast against all the 16 terminal colours.

Plenty of good themes exist.

The bigger problem, in my opinion, is software that uses 8 bit or 16 bit colour ANSI codes and thus overrides your terminals theme. Personally I consider this rude behaviour but I know there is a subset of HN that disagrees with me here.
by afro88 | 2025-06-13 21:13:16+00:00
ADHD-I has a range of symptoms where the person needs 5 or more that are significantly disruptive to their life for at least 6 months.

So when someone reads the first paragraph and immediately thinks the author has to be ADHD because they talk about 1 of these symptoms that in isolation the majority of the world has, I ask "but aren't we all like this?"
by roughly | 2025-06-13 21:13:19+00:00
One note on this with regards to the “flat” design - the technical reasoning for that was it decoupled the interface from the screen. Flat designs were all vector, and could scale to any screen or interface size. This has effectively unpinned Apple from fixed screen sizes (I’m genuinely not sure if any two iPhone designs have shared the same pixel counts in the last 5-10 years) and allowed them to scale the interface to any size.

I’m not sure what I think about liquid glass, but I do agree with the premise that it’s being driven by the move towards AR and extending interfaces outside the phone/tablet.

I think another interesting tell here will be the 20th anniversary iPhone, which should be coming in 2027 - the iPhone X set the tone for Apple devices for the next decade (so far), and I’d expect to get a better idea of what Apple’s doing here when they show off that hardware.
by skissane | 2025-06-13 21:13:33+00:00
The core idea-a language with a built-in persistent key-value store-is actually pretty cool.

The classic implementation is filled with horrible warts, although arguably many of them were helpful in squeezing a production multiuser system into the tiny resource constraints of the original 1960s implementation platform (18-bit PDP-7, same machine as Unix was birthed on, although Unix soon moved to the 16-bit PDP-11, which was in practice more spacious)

Modern implementations make many of those warts optional, although they still support them for backward compatibility

The biggest problem with the language in practice is that many major code bases (e.g. VistA) are still predominantly written in the legacy extremely terse coding style rather than a more modern readable style. I do wonder why there isn’t more effort put into migrating to a more modern style, especially since with the kinds of tools we have nowadays that migration could be (at least partially) automated.
by camel-cdr | 2025-06-13 21:13:35+00:00
The usual way to do this in SIMD is via vpermb(lut, str) == str, or potentially slightly faster vpshufb(str>>1, lut) == str.

str|0x32 if you want case-insensitive.

This works because the lowest five bits, more specifically bits two to five, of the vowels are distinct.

The lut is zeroed except for the indices corresponding to the vowels, which contain it self: lut[vowel&31]=vowel or lut[(vowel&31)>>1]=vowel
by bitlax | 2025-06-13 21:14:21+00:00
> It's actually quite simple.

Not surprising!

> Ted Kennedy was elected by a plurality of his constituents many, many times.

Massachusetts voters condoned Chappaquiddick. He was still a drunk and worse. Ted Kennedy was never able to overcome Chappaquiddick when running on a national level. There's no doubt that the Chappaquiddick incident was one of the primary reasons he lost the 1980 primary, when he had his best chance of succeeding.

> If the Republicans of that era could have unseated him, I presume they would have.

Why? Massachusetts voters are overwhelmingly Democrats, and all sorts of disgusting characters like Ted Kennedy are elected to high office. The Democrat voters of Massachusetts were willing to overlook Chappaquiddick and that's all there is to it.

> RFK and Pete Hegseth, whom I presume the earlier poster was alluding to because of his confirmed alcoholism, were appointed by the current President and confirmed by the Senate. There was no campaign and they were approved largely along party lines, which is more akin to "hiring" and that is an obviously less exhaustive process.

Again, this only hurts the original argument. Hegseth and RFK Jr. are mere appointments. Neither of them to my knowledge has done anything as heinous as what Ted Kennedy did at Chappaquiddick but let's assume they did. Every few years Massachusetts voters spoke loudly and clearly, affirming their support for someone who drove so drunk that a woman was killed as a result. So the DUI snark above is kind of a joke, and deserves a response.

Heck you could argue that the national scrutiny that Hegseth and RFK Jr. faced was much more of a vetting than Ted Kennedy received in his machine state, but whatever.

> I can only assume that your connection to this was, "haha booze... Ted Kennedy!"

The truth hurts. If Democrats didn't want to defend Ted Kennedy they shouldn't have elected him. I happen to be fond of drinkers who don't kill people. Honestly I care much more about the fact that he abandoned Mary Jo Kopechne to die, and that he received special treatment in court.

> Maybe you could graduate to parroting a different joke from Rush Limbaugh? Why don't you sample something from the "I do not think that 12-year old Chelsea Clinton is attractive" section?"

The most famous example of a joke at Chelsea Clinton's expense was told by John McCain, who stated that the reason for her ugliness was the fact that her father was Janet Reno. John McCain was elected by a plurality of his constituents many, many times.
by einpoklum | 2025-06-13 21:14:21+00:00
If TCMalloc uses bazel, then you build it with Bazel. It just needs to install itself where you tell it to, and then either it has given you a pkg-config file, or otherwise, your own build system needs some library-finding logic for it ("find module" in CMake terms). Or - are you saying the problem is that you need to install Bazel?
by doormatt | 2025-06-13 21:15:18+00:00
> The researchers prepared a DNA sample and sent it away for genome sequencing, funded by a WVU Davis College Student Enhancement Grant obtained by Hazel. The sequencing confirmed the discovery of a new species and the sequence is now deposited in a gene bank with her name on it.

> “Sequencing a genome is a significant thing,” Panaccione said. “It’s amazing for a student.”

Question - how is it significant, considering they sent it off to another company to do the sequencing?
by hn_throwaway_99 | 2025-06-13 21:15:35+00:00
I agree with this - I was trying to read between the lines about what felt like "face saving" from the author, and what were really executive leadership failures.

That said, Leo Apotheker was such a complete speed-run, unmitigated disaster for HP, that I'm inclined to have a ton of sympathy for the author and believe his point of view. I thought the author was actually overly generous to Apotheker - the Autonomy acquisition was a total failure of leadership and due diligence, and if Apotheker was the "software guy" he was supposed to be then the Autonomy failure makes him look even worse.
by mrguyorama | 2025-06-13 21:16:02+00:00
So, found company, SPAC it to get some of that sweet sweet public market cash, run it poorly so that it goes bankrupt and you resign, and then buy it at auction for less than it's supposed assets?

Surely that does something bad to economics of investing and running businesses if you can just steal public investment dollars like that, right?

Is there an alternative that doesn't reward a rich CEO for killing their own company, even if it wasn't done on purpose?

She put very little of her own money into it. One of the first investors was Google, ie her husband, then it just kept raising money (how much of that money went directly to Anne), billions of dollars of investment, never made profit, and now she gets it for $300 million or so.
by swyx | 2025-06-13 21:16:57+00:00
> SAP's annual revenue while Leo served as its CEO was approximately $15 billion. The HP board hired a CEO whose largest organizational experience was running a company smaller than HP's smallest division. Based purely on revenue management experience, Apotheker wouldn't have qualified to be a Executive Vice President at HP, yet the board put him in charge of a $125 billion technology company.

ouch. this is actually pretty cool though in terms of putting SAP vs HP in perspective, which i've never considered prior.
by socalgal2 | 2025-06-13 21:17:24+00:00
Thanks. Though, I guess I didn't make myself clear. To sell me on the engine working on the web I'd need to see a high quality game/demo running on the web. Instead, the links are to a bunch of game jam games that look no better than raw JS and then several native only games. I'm not trying to diss the engine. It looks great. Rather, I'm suggesting that impressive instant live demos speak louder than words.
by K0balt | 2025-06-13 21:17:33+00:00
This is not what I am seeing at all.

The ISA war is really a two front issue: compute, and control. Control implementation vastly outnumbers compute. Heck, for any given compute motherboard with 4 or 32 cores, there is 10-50 control processors, each with 1-4 cores. A car has hundreds. Many lightbulbs have one or two cores. Basically everything electronic has an MCU these days, because a microcontroller is actually cheaper than a nand chip. Even advanced transistors as used in automotive switching often have a microcontroller, albeit a very rudimentary one.

In this world, riscV is eating ARM and everything else alive slowly but surely.

RiscV will take longer to mature into a good application processor, but it inevitably will. It will take over Arm for the same reason Arm is eating away at x86. My prediction is that in 20 years, it will be the predominant architecture for most sequential computing applications.
by Marsymars | 2025-06-13 21:17:47+00:00
> At that price, gasoline would be about $18/gal and no one could afford to move anything except by ox cart.

Just for some rough math here - I’m currently paying around $1.20/L for gas, and crude oil cost is roughly half of that, so if crude went up by 6x, I’d be looking at $5/L for gas. Gas is currently about 20% of my per-km cost of driving, so that price increase at the pump would increase my per-km cost by about 60%.

FWIW that’s roughly the same per-km cost increase that people have voluntarily taken on over the past decade in North America by buying more expensive cars.

(Though this does apply to personal transportation only, the math on e.g. transport trucks is different)
by layer8 | 2025-06-13 21:19:33+00:00
In AR the user needs to be able to tell which objects are real (R) and which are virtual/injected (A), but the latter type doesn’t need to be indicated by transparency. Consider the scenario where, instead of conventional HUD-type AR, we could conjure up the A elements as physical objects into thin air by magic. There is no particular reason why those would have to be translucent. Sure, depending on the situation it can be useful to control their opacity in order to be able to see what’s behind them, but otherwise there is no more reason than for real physical objects.
by Paul_Clayton | 2025-06-13 21:19:37+00:00
This reminds me of a passage in Lois McMaster Bujold's A Civil Campaign (Cordelia Naismith Vorkosigan is speaking to Mark Vorkosigan):

Her smile tilted. "Mark, you don't pay back your parents. You can't. The debt you owe them gets collected by your children, who hand it down in turn. It's a sort of entailment. Or if you don't have children of the body, it's left as a debt to your common humanity. Or to your God, if you possess or are possessed by one."

"I'm not sure that seems fair."

"The family economy evades calculation in the gross planetary product. It's the only deal I know where, when you give more than you get, you aren't bankrupted—but rather, vastly enriched."
by ivape | 2025-06-13 21:20:02+00:00
This still relies on fine-tuning. How would a cloud LLM deal with this if every user literally fine tunes it? Seems like something destined for local private LLMs, but the notion of continuous fine tuning locally at the moment is sci-fi level stuff because the hardware is just not there yet (we can barely inference well with a reasonable sized context).
by Arnavion | 2025-06-13 21:20:10+00:00
PSA: POSIX shells (bash etc) do the same thing for && and ||. `true || false && false; echo $?` will be 1, not 0, because it evaluates `true || false -> true; true && false -> false`, not `false && false -> false; true || false -> true`. Don't assume like I once did that they have precedence like they have in C etc :D
by ninkendo | 2025-06-13 21:20:25+00:00
I can see that being useful if it’s important to you to start watching someone’s videos within minutes of them posting it, but I’ve never understood why that’s desirable for anyone.

To me, I watch YouTube when I have some time to do so and make the active decision to open the app… then let me know about which of my subscriptions have recent videos. I just can’t imagine being in the middle of something else and dropping everything because someone posted a video. But different people are different I guess.
by telecomhacker | 2025-06-13 21:20:47+00:00
Part-time MUMPS programmer here for a health system in NYC. I still love writing in it. The rates are way better than other eco-systems (e.g. Python, Java, blah blah) , probably because the eco-system isn't diluted with low-wage workers from India/China. This is because 95%+ of Epic/Ex-Epic employees are American. I would even argue it is the patriotic language of choice due to that reason.

Expected pay of 85-120/hour, which pays way more than my full-time job. It's a fun language to write in, and the adrenaline rush you get when you get a triple index loop working is awesome.

Also random fact - according to Epic HR , the average college GPA of Epic employees was 3.5, which is probably the perfect formula in hiring loyal corporate servants. I always thought it was weird that I had to apply with my transcripts and resume.
by libraryofbabel | 2025-06-13 21:20:49+00:00
I wonder if anyone who’s really in the know could summarize where the research is at with getting LLMs to learn “on the job” (through continuous fine tuning or whatever) and what the blockers are to this being a useful deployable thing, e.g. having a model+coding agent that can actually learn a codebase over time (cost? model collapse? something else?).

I’m sure this is something the big labs are trying but from the outside as a user of LLMs it feels like people don’t talk about this very much and instead the focus right now is on better training (eg reinforcement learning) with the assumption that anything else not learned during training will be stuffed into the context somehow as needed. But from a naive perspective the lack of learning from experience after training seems like the biggest thing standing between us and AGI.
by teach | 2025-06-13 21:21:26+00:00
You mention three different medications here:

- diphenhydramine aka Benedryl is an antihistamine with a common side effect of sleepiness

- doxylamine aka Unisom is also an antihistamine but these days people only really use it as a sleep aid or for nausea

- psuedoephedrine aka Sudafed is a decongestant. Not sold over-the-counter because it can be used to make meth. It's a stimulant and appetite supressant

Finally, there's "Sudafed PE" aka phenylephrine, which is also sold as a decongestant but it (literally) doesn't work
Show HN: WaveGen – turn blog articles into text overlay videos, not slops
by lululi1989 | 2025-06-13 21:21:54+00:00
Hi HN,

I’ve been building a social media automation tool called WaveGen, which turns blog posts into short-form, text-overlay videos for platforms like TikTok, Instagram, and YouTube Shorts.

It started as a simple social media scheduler. As I decided what to build on top, instead of fake avatars or uncanny content that AI is usually used to make, I want to help amplify real voices. So I ended up building this to help bloggers turn their useful long-form writing into text-first short videos. Also everything generated is editable, so they can make the final touch before publishing to make sure their content is uncompromised.

I hope this can be useful for bloggers, educators, and businesses who want to stay visible on video-first platforms.

Happy to answer any questions, and would love feedback!
Show HN: Yupp – Every AI for Everyone
by wennyyustalim | 2025-06-13 21:22:32+00:00
Hi all, founding engineer at Yupp here, first time posting a Show HN. We just launched Yupp, a platform to compare AI responses side-by-side. We have 500+ AIs on Yupp today. It's free and we give you credits to start with. If you give evals to the AI, you get more credits, which you can also cash out. Any honest feedback appreciated, you can file feedback within the app itself (and get credits while you're at it). Thank you!
by ssl-3 | 2025-06-13 21:22:33+00:00
Amusingly, my 13-year-old Honda does that -- even though it doesn't have CD Text support.

The factory stereo has a recent copy of Gracenote's CDDB built-in.

It also automagically rips and compresses Red Book CDs to to internal storage.

And it is smart enough to play a CD seemingly like regular -- with random track access and such -- while concurrently [and rather quickly] ripping the entire disc.

It's mobilized piracy at the most invisible form.

But yeah: CD Text is/was neat, at least in concept. I never got a chance to use it; none of my audio hardware ever supported it. (Supposedly, it also supported song lyrics.)
by out-of-ideas | 2025-06-13 21:23:16+00:00
appreciate it, had me wonder if any more were and came across: https://us.anker.com/pages/product-recalls

from the page:

- Anker PowerCore 10000 power bank -Recalled in June, 2025 - Anker 334 MagGo Battery (PowerCore 10K)/Anker Power Bank/Anker MagGo Power Bank - Recalled in September, 2024 - Anker 321 Power Bank (PowerCore 5K) - Recalled in June, 2024 - Anker 535 Power Bank (PowerCore 20K) - Recalled in February, 2023

edit: forever formatting
by eliaspro | 2025-06-13 21:23:53+00:00
I would say it's considered a bad idea, since git comes from an OpenSource world and its implied understanding, where you don't depend on a specific binary release to reproduce your results, but your results can always be reproduced purely from source - binaries are just considered a product of "the plaintext truth recorded in your repository".

Sure, there are nuances to it as the need for ReproducibleBuilds [1] project demonstrated or people proving this concept of "bootstrapped reproducibility" to the extremes like Guix' full-source bootstrap [2], but I believe the fundamental understanding is the same.

[1] https://reproducible-builds.org/

[2] https://guix.gnu.org/en/blog/2023/the-full-source-bootstrap-...
by mateo_wendler | 2025-06-13 21:24:28+00:00
I think that if generative AI will soon write flawless code for us, we must stop “testing for coding skills” entirely and instead evaluate candidates on algorithmic complexity reasoning/optimizing, scalable system design, security threat modeling, cultural alignment, teamwork aptitude, and leadership potential

A post-neuralink world will be harder to asess, though.
by guywithahat | 2025-06-13 21:24:50+00:00
I don't think he's saying it went from great to awful, I think he's saying they canceled the project because the new CEO didn't like it and nobody was there to defend it. He claims the underlying tech was good but there was a market/product mismatch; instead of taking the information and trying again, they just canceled it.

That said, this article really doesn't dwell on the mistakes he made. He sort of implies his work was great and it was marketing/other departments who messed up.