MurphyA/hacker-news huggingface dataset:
by duxup | 2025-10-24 18:03:14+00:00
I remember working with switches and routers for the first time and I came across a Juniper router who when I did an upgrade I had the option to issue a command to just fall back ... the same applied to config changes and so on.

At the time some other systems kinda had this system (sometimes not so great), but Juniper had perfected it.

These vehicles really should have a similar dual partition setup where you can on your own go into the menu and say "Yo, things broke, go back." and you're good to go.

Based on the last paragraph it sounds like Jeep ... might have such a system, but it isn't clear.
by braebo | 2025-10-24 18:04:08+00:00
The entire concept of mitigating un-intended re-rendering by wrapping your bad abstractions in more abstractions is not a category of problem for Svelte devs nor is it inherent to the platform like some inevitably of scale.

React is bad because its foundation is a bad abstraction (v-dom) and it’s spent over decade pilling on more leaky abstractions every year, leading to where we are now — clamoring over a mountain of footguns and indirection.
by aspenmayer | 2025-10-24 18:04:30+00:00
The better way only exists for individuals, as there is no one-size-fits-all solution. Those who struggle in this way must find their own resolution.

Let’s not throw the baby out with the bathwater. I don’t think we need to solve the problem for folks, just acknowledge that they don’t have to expose themselves to content that they can’t handle.

I don’t agree that a totalizing solution is necessary or even possible, nor do I believe that any particular prescription or prohibition is more likely than the other to work for all times and places for all possible people. Should we stand on ceremony until a perfect solution presents itself? That seems just as unlikely to happen in any given timeline as any other solution applying to all of humanity.

In the meantime, if a solution presents itself, it’s only reasonable to try to implement it, such as avoiding Shorts on YouTube, or even blocking them entirely. Just as we should let folks like things, such as junk food, we should also stock their larders with good food in order to make sure their nutritional needs are being met. Folks who want to make a positive impact on their health are not tilting at windmills, and those who struggle to defeat giants are not blameworthy for not being able to. The struggle is real, but the solution to the struggle may not exist in universal human terms. Perhaps every solution must be tailored to the individual needs of each person, but generalized advice is still a good hedge against the tendency of habits to be subverted by advertisers and ne’er-do-wells.
by bradfa | 2025-10-24 18:04:37+00:00
In my research this past summer considering solar in the USA, it was difficult for me to find just new with-warranty solar panels in low quantities (I only want 5kW to 10kW of panels) for a DIY install for less than $0.30/W including delivery and sales tax. To hit $0.59/W total cost is mind boggling to me.
by jerf | 2025-10-24 18:05:04+00:00
This is a gut impression and I don't deny it, but LLMs are Large Language Models, and in my own brain, my Language Model isn't doing large-scale multiplication. I have a language-based intuition for the sigle-digit multiplication table and a touch beyond (and based on my observations that's already above average for a human Language Model, at least in my age peer group), but it's not my Language Model doing 283 times 9284. That requires a symbolic manipulation model, and in fact I would observe that my personal neural net, for all the things it is amazingly good at, is in fact quite terrible at that sort of multiplication too. A Commodore PET is by all measures vastly, vastly simpler than my brain, but it blows away my multiplication capabilities. And then the symbolic systems tacked on another, what, 15 orders of magnitude from that "blows away my multiplication capabilities"? Depends on how you count, but something like that.

You can sit here and force me to recite ("train me on") multi-digit multiplication problems and their result until the day I die, and my language model is only going to get marginally better. It is in practicing my symbolic manipulation that I'm going to get better and faster.

It seems to me that expecting a Language Model to be very good at multiplication is asking for a substantially superhuman level of performance from them, and one that we have little reason to believe will scale anyhow. What we need is symbolic manipulation, better than the approximation they achieve when "reasoning".

I find it rather ironic to sit here and use the aforementioned 15 orders of magnitude improvement over the Commodore PET to use that level of symbolic manipulation firepower to laboriously recreate a software system that is as bad as we are at multiplication for what may well be the same fundamental reasons... and then have the audacity to complain about it. My metaphorical dude, you did a couple trillion multiplications just to get to this single bad multiplication output... maybe another approach is called for.
by Arrath | 2025-10-24 18:05:25+00:00
It entirely depends on the vibes, the company, and the game, in my opinion.

At one job, we used it as a social time, 6 to 15 people from work (had to run two tables for those big nights) got together Saturday night, bbq'd some food, maybe watched a game on tv if there was a good one, and played a friendly game. Had a few drinks and enjoyed the company, while cards were played in the background.

Mildly competitive, but it was a flat $40 buy in with no more money allowed so the stakes were never incredibly high.

At another company, one guy in particular was the driver to get games going and he always wanted the stakes too high (for my taste) with lots of money moving around. I only went to two of those, wasn't my style.
by JohnFen | 2025-10-24 18:05:36+00:00
> “Think of Outlook as your body double, there for you, so work feels less overwhelming and more doable because you are not facing it alone,” Sareen writes in his memo. “With Copilot, this body double becomes even more powerful. Copilot turns Outlook from a set of tools into a partner that acts.”

I sure hope that I'll be able to disable all this AI stuff. It's exactly what I don't want in this sort of software. It's bad enough that my employer makes me use Outlook in the first place, this kind of thing will just make it even more unpleasant.
by tjpnz | 2025-10-24 18:05:55+00:00
I recently discovered that the sponsored sites on the homepage I had previously removed have reappeared. I've had similar issues with a few of the buttons on the browser chrome I had also removed. I'll still use it because I don't want to deal with the security and privacy nightmare that is ads. But it's a bit annoying to have to play this game of whack 'a mole.
by I_dream_of_Geni | 2025-10-24 18:06:51+00:00
Maybe this comes to mind? : "Astronomer CEO Andy Byron and chief people officer Kristin Cabot, who were caught on a Coldplay concert jumbotron hugging each other and then quickly recoiling when they realized they were on camera."

They obviously didn't ask for that, and it was focused on them without their permission, and yet, here we are....
by mlpoknbji | 2025-10-24 18:07:19+00:00
I think that (most) mathematicians were not that interested in formal proof until quite recently (as opposed to computer scientists), and most of the interest in lean has been self-reinforcing, namely there is a (relatively speaking) huge library of formally verified mathematics. So now basically anyone who cares about formal verification as a tool for mathematics is working in lean. There are of course numerous techincal differences which you can read about if you google coq vs lean.
by eesmith | 2025-10-24 18:07:24+00:00
> And they point out, the school, with a $15 billion endowment that is larger than some Ivy League universities, takes no federal funding.

Just because there's discrimination, that doesn't make it illegal.

So, sure, it's discrimination, similar to men-only golf clubs, or Patrick Henry College which requires students to affirm things like "Man is by nature sinful and is inherently in need of salvation, which is exclusively found by faith alone in Jesus Christ and His shed blood".

Or a girl's only public school like Young Women's Preparatory Academy in Miami.
by linguae | 2025-10-24 18:07:32+00:00
I have a Framework 13 that I use as my personal laptop and a work-issued M3 MacBook Pro.

I love my Framework 13. I'm a long-time Mac user, but I increasingly found myself alienated by locked-down hardware and increasingly locked-down software, and so I ended up switching back to PCs. I greatly appreciate my Framework 13's user-serviceability. While I use Windows 11 + WSL (Microsoft Office is the main thing holding me back from using Linux exclusively, and yes, I was a regular LibreOffice user back in my student days when I couldn't afford a Microsoft Office license), it's great to have the option to go to Linux full-time on well-supported hardware.

With that said, my M3 MacBook Pro has absolutely amazing battery life. By comparison, my Framework 13 has rather abysmal battery life by 2025 standards. In fact, it feels reminiscent of my very first Apple laptop: a 2006 Core Duo MacBook, which got roughly five hours when brand new. Even putting my Framework 13 to sleep drains the battery after a few hours, while on my MacBook Pro, it barely sips from the battery.

I hope future releases of Framework laptops have better battery life; it makes a difference.
by Aloha | 2025-10-24 18:07:39+00:00
Most are - irony of irony is that when Delta had its big outage due to CrowdStrike, dealtamatic/deltaterm was still running just fine, but no one could get into it because all of their windows machines were locked out.

At the core of most airlines is a customized version of IBM TPF, its very reliable and highly available, its all of the other stuff that breaks down.

We will in time find out what grounded AS, I wouldnt be surprised if its some sort of middleware connecting their iPads to the CRS they use for ticketing operations, but it could also be something as simple as their weight and balance application going offline.

AS is a fairly well run airline (as are DL, AA and UA) with a heterogeneous mix of systems in service, ideally this heterogeneous nature should make for a more resilient system but it also can lead to single points of failure when you have to glue too many different systems together.
by db48x | 2025-10-24 18:07:50+00:00
It could be a conspiracy on the part of Canonical, sure. People have hidden motives all the time. Sometimes you have to deduce their motives from their actions, while ignoring their words.

I don't think there’s any serious evidence of it being true though. All we can see right now is that there are a surprising number of MIT-licensed packages replacing GPL-licensed packages. It could be a coincidence.
by Ericson2314 | 2025-10-24 18:07:51+00:00
Rocq is ancient and has some longstanding UX problems. It is pleasant to try making a new code base.

This is kinda like asking, why write Clang when we already had GCC? Or, why making Python if we already have Perl?

It's good to have some competition for these things, Rocq I believe felt the heat and has been also doing some good things in recent years.
by mort96 | 2025-10-24 18:07:53+00:00
I don't have time to go over everything. But here are some things:

* Here's his screed about how London was better before all the brown people moved in: https://world.hey.com/dhh/as-i-remember-london-e7d38e64

* Here's your typical right-wing anti-DEI rant: https://world.hey.com/dhh/the-waning-days-of-dei-s-dominance...

I'm sure there's more stuff I could link, but I don't have the time right now to go looking for more. I think this should get the point across.
by didibus | 2025-10-24 18:08:35+00:00
> I am designing prototypes faster today with LLMs this is just flat out wrong

One thing I've wondered and not been sure of, is that you can see productivity boost in parts of the process, but overall the end to end process doesn't seem to be getting done faster.

I'm not sure of this, but it's what I've observed at work.

You might be designing a lot of prototypes faster, but are you landing on something good quicker? Are you getting the final product out faster?
by bornfreddy | 2025-10-24 18:09:10+00:00
What does it matter if hardware still works in 10 years if you can't upgrade software anymore, nor can you replace it with something you have control over (like Linux)?

I still have a fully functioning iPhone 4s somewhere. I could still use it as a daily driver hardware-wise, but it is sadly deprecated (32-bit), so - no software support anymore.
by IAmBroom | 2025-10-24 18:09:55+00:00
Yes, when circumstances change and make our "promises" unrealizable, that's not dishonesty. It's simply that we aren't omnipotent.

Any number of things could have prevented Kennedy's "go to the moon" promises from being pushed into the next decade. That wouldn't have retroactively made him a liar. (Other things like marital fidelity might have, but not the moon one.)
by cool_man_bob | 2025-10-24 18:10:07+00:00
> Telling a reporter they are "terrible" or talking about making America great. The way he does it resonates with a lot of folks.

Yeah, but I could do that. It’s pretty easy to, but I’m certain I wouldn’t be able to amass a cult of personality around myself.

Yet if I try, I’m pretty much universally considered an asshole, even from those who agree with me. There’s got to be more than just “he’s not afraid to say what we think”
by only-one1701 | 2025-10-24 18:10:26+00:00
Unless you went to an insanely strict school (I don't know, maybe you did), you're talking about different orders of magnitude between the trouble you can get in for voicing an unpopular or unorthodox opinion at work vs school.

"I think women are biologically more suited to staying at home with kids."*

Result of saying this at school: some of your classmakes dislike it/you. Maybe they talk shit about you to your friends.

Result of saying this at work: fired.

_*NOTE: I don't actually think this, personally_
by Ericson2314 | 2025-10-24 18:12:16+00:00
The people that make theorem provers, because they are type theorists and not set theorists doing ZFC derivatives, are very aware of your last point. Painfully aware, from years of people dismissing their work.

Read Andrej Bauer on them many foundations of math, for example. Clearly he is a believer in "no one true ontology".
by pdimitar | 2025-10-24 18:12:37+00:00
Somebody linked a comment from an Ubuntu maintainer where they said they want more resilient tools.

If license was the only concern then I'd think that they wouldn't switch the programming language?

And yeah, obviously using Rust will not eliminate all CVEs. It does eliminate buffer overflows and underflows though. Not a small thing.

Also I would not uncritically accept the code of the previous coreutils as good. It got the job done (and has memory safety problems here and there). But is it really good? We can't know for sure.
by jihadjihad | 2025-10-24 18:12:49+00:00
I’m fine with your garden variety paper wasp, along with its European counterpart [0] that is all over the US and closely resembles a yellow jacket, but the latter tucks its legs in flight while the former doesn’t, which makes distinguishing the two relatively easy. Paper wasps generally aren’t aggressive unless you’re in their business, and they’re easy to deal with if you have to.

Yellow jackets are a different story entirely. Sometimes they nest underground which can be a real problem (mowing/lawncare, pets, children), and they are far more aggressive than paper wasps and hornets. The sting is quite a bit worse than either, too, so my philosophy is if I find a nest in the spring it’s given no quarter with no remorse.

0: https://en.wikipedia.org/wiki/European_paper_wasp
by hanspeter | 2025-10-24 18:12:54+00:00
It's basically a failure of setting up the proper response playbook.

Instead of:

1. AI detects gun on surveillance

2. Dispatch armed police to location

It should be:

1. AI detects gun on surveillance

2. Human reviews the pictures and verifies the threat

3. Dispatch armed police to location

I think the latter version is likely what already took place in this incident, and it was actually a human that also mistook a bag of Doritos for a gun. But that version of the story is not as interesting, I guess.
by idoubtit | 2025-10-24 18:12:55+00:00
When I compile LaTeX files, I use tectonic¹ which automatically download dependencies, compiles in one pass, and hides temporary files. But the regulars users of LaTeX I know all use a web interface — IIRC, it's an instance of Overleaf² installed by their university, with real-time rendering.

So when I read your list, I had these tools in mind, and the only items that made sense to me were:

2. (minor compared to Overleaf) typst compiles faster.

3. Diagnostics are better.

4. (minor and arguable) Lists have 2 simpler syntaxes.

The other points were irrelevant (dependencies), wrong (macros) or really dubious (margins, Git, bibliography). I think Typst has many more interesting features over LaTeX.

¹: https://tectonic-typesetting.github.io/

²: https://docs.overleaf.com/on-premises/installation/using-the...
by loeg | 2025-10-24 18:13:00+00:00
Yeah, you're exactly one of those GDPR advocates I was describing. You say this:

> There is noting wrong with tracking

But then you turn around and describe tracking as "scummy," "parasites," and "invading privacy."

Again, I would find it less objectionable to just make tracking illegal than this "informed consent" bullshit (which is mostly not actually informed consent because no one wants to spend the time to be informed about every fricking decision here, it's just a website).
by JohnMakin | 2025-10-24 18:13:36+00:00
As a former non-atheist, with plenty of people I know in the church that stubbornly refuse to acknowledge accepted science - I've long experimented with theologies in my head to fit the concept of God as they understand it into a cosmological model. Stuff like this is fun for me to point to. Maybe a watchmaker (set it in motion and then stepped away) "god" tipped the scales ever so slightly here (to be clear, I don't believe this, but communicating science to religious people can help to frame things in this way). To me this creates a much more powerful deity than some guy who somehow only created the universe 6,000 years ago but also for some insane reason made it look billions of years old.
by jerlam | 2025-10-24 18:14:05+00:00
The Apple Watch claims to estimate VO2 max based on casual activities such as walking, which is a great feature for people who aren't already athletes.

However, in my experience it is very inaccurate. When I first got my Apple Watch, I went on a run with it to see if it offered anything that my Garmin didn't. After this run, the Apple Watch estimated a VO2 max roughly the same as my Garmin, which I've had for years.

I didn't use the Apple Watch for running ever again, only for things like walking to the store. It then estimated a VO2 max that was over 10 points lower than the estimate from the running activity.

The Apple Watch seems to have a traditional way to estimate VO2 max, which seems roughly comparable with competitors and a treadmill test; and a separate bad way estimated from non-exertional activities.
by latexr | 2025-10-24 18:14:22+00:00
Just so we’re on the same page, you use AppleScript outside the browser, but it interacts with the browser. Some basic use cases:

- Change to first browser tab whose URL or title matches <whatever>.

- Close every browser tab matching <whatever>.

- Grab all your tabs and backup their URLs to a file.

- Join all tabs from all windows into a single window.

- Execute JavaScript on a page and get results back.

- Grab the URL of the current tab and open it in a different browser in a Private window.

- And many more things.
by tb_technical | 2025-10-24 18:14:24+00:00
Since we're making ethnocentric assumptions and making comparisons between the USA and India, perhaps our building standards encourage safe public infrastructure?

Perhaps if India was more like the USA, safe road travel would improve - and consequently - their 172k traffic fatalities would fall to a more acceptable level (by the way there are doubts this figure is correct - people speculate it's much higher)?

And before you complain about the population difference, I checked the per capita rates of traffic fatalities. India outpaces the USA by quite a bit.

By the way, this is all an apples and oranges comparison. Building standards has nothing to do with road fatalities.
by mrguyorama | 2025-10-24 18:14:28+00:00
We are rebuilding a core infrastructure system from unmaintained python (it's from before our company was bought and everyone left) to java. It's nothing interesting, standard ML infrastructure fare. A straightforward, uncareful, like weekend implementation in java was over ten times faster.

The reason is very simple: Python takes longer for a few function calls than Java takes to do everything. There's nothing I can do to fix that.

I wrote a portion of code that just takes a list of 170ish simple functions and run them, and they are such that it should be parallelizable, but I was rushing and just slapped the boring serialized version into place to get things working. I'll fix it when we need to be faster I thought.

The entire thing runs in a couple nanoseconds.

So much of our industry is writing godawful interpreted code and then having to do crazy engineering to get stupid interpreted languages to do a little faster.

Oh, and this was before I fixed it so the code didn't rebuild a constant regex pattern 100k times per task.

But our computers are so stupidly fast. It's so refreshing to be able to just write code and it runs as fast as computers run. The naive, trivial to read and understand code just works. I don't need a PhD to write it, understand it, or come up with it.
by jerf | 2025-10-24 18:14:43+00:00
There's equivocation in that statement, though, whether you meant there to be or not. There is clearly a difference in how we manipulate English words for normal human activities and the symbolic manipulation with very strict rules we today associate with mathematics and computer science. Human language goes back thousands of years, into the indefinite past we can't track past. Symbolic manipulation is a much, much more recent development, starting only ~2300 years ago around Euclid and not really coming into full development until much later... you can argue about exactly when it is but I'd personally put it as late as the 19th century for it to be recognized in the modern sense. It must be something different if separated by that many centuries.

To disprove my point, please generate a list of 5 random 5-digit numbers and demonstrate multiplying them in your head as quickly as you can read them. Since you can't, clearly there is something about that that is hard for you, despite the fact that the act of reading this text, maintaining physical homeostasis while you do it, and all the other things your brain is doing as you do this represents a staggering amount of raw computation that is vastly, vastly in excess of what is nominally needed to achieve that computation.
by lucideer | 2025-10-24 18:15:19+00:00
> I'm solely relying on DuckDuckGo

I've been fully on DDG for years but becoming slowly skeptical & looking for alternatives.

1. They're leaning heavily into "responsible AI", much like Mozilla

2. Might be just me but I feel like their algorithm became significantly worse recently. Over the years they've gone from being worse than Google in the early days to steadily improving & overtaking Google on quality (I made heavy use of !g until I started slowly realising it was no longer giving me better results). But now I feel like they've reversed & regressed again.