MurphyA/hacker-news huggingface dataset:
by sailingparrot | 2025-10-12 16:09:53+00:00
> the verifier is checking if the tokens are good-enough, not if they're the exact same tokens it would have selected

That's up to you, depends on how you implement it and how much you want to prioritize speed at the expense of quality, this is not an intrinsic attribute of speculative decoding. The verifier checks if the tokens predicted by the draft model are part of the top-k tokens predicted by the full size model at each steps. Set k to 1 and you will only accept perfect matches. Set k to > 1 and you will indeed start selecting "good enough" tokens, but will get faster inference.

But no matter what value you choose for k, the technique described in the article can apply and will result in faster inference at no loss when compared to a setup without this technique, with the same value of k.
by pfraze | 2025-10-12 16:10:14+00:00
I kind of feel like you’re taking one of the specs from nostr - the first one written - and calling that the whole protocol. Then you’re comparing all of the atproto specs to that one spec.

The substantive difference is that we didn’t do a mix & match spec process because we knew the ambiguity of spec support causes problems, just as it did with XMPP. Protocol specs only get implemented a few times. The meaningful developer choices are in schemas and business logic.
by badsectoracula | 2025-10-12 16:10:18+00:00
May i suggest some solutions? :-P

-> https://endof10.org/ (it has a map with people who can help install Linux)

-> https://www.opensuse.org/ (what i'm using on my PCs, works fine for the most part[0])

-> https://www.linuxmint.com/ (people seem to like this)

-> https://bazzite.gg/ (seems to be popular with gamers)

-> https://www.debian.org/ (almost everything is based on this :-P)

[0] for the most part because nothing - not even macOS where Apple controls the entire stack from CPU up to the OS - is without problems. Though i'm doing weird stuff with my PC - on my laptop i just threw it in ~3 years ago and it has been working without issues since then
by PKop | 2025-10-12 16:10:20+00:00
Reddit post from yesterday:

"Jeep 4xe shut off mid highway

I was driving 65 on the left lane of the highway when my car started slowing down. It started saying to put it into P and to push to start. The car was off and I couldn’t accelerate! I almost crashed trying to get onto the right lane shoulder. 4 lanes over before it completely stopped and caused a huge accident They are saying it’s something with an update jeep is doing and the cars are just stopping! There were 4 jeep wranglers on the side of the highway as I tried driving to the nearest dealership 25min. It turned off 3 times

Will Jeep reimburse me if I get a loaner while my car is at the dealership? My dealership doesn’t provide loaner vehicles

Does anyone know what’s going on?"

https://www.reddit.com/r/Jeep/comments/1o47064/jeep_4xe_shut...
by buildbot | 2025-10-12 16:10:36+00:00
It can be exact or not! Depends on the kind of sampling you are doing.

You can do exact verification, and as soon as a token mismatches you reject everything after that token from your draft. Relaxed acceptance techniques measure how wrong that mispredicted token is via some metric, and accept it if it’s close enough. So you get longer draft lengths with higher acceptance rates.
by j1elo | 2025-10-12 16:11:03+00:00
IMHO Linux Mint keeps being the strongest option to recommend when the intention is a clean transition with the least amount of fiddling. It just works, it is reliable, and it doesn't play games with changes of basic technologies that can only cause confusion (e.g. none of the Ubuntu shenanigans like their confusing desktop or their non-Debian packaging)
by rekoil | 2025-10-12 16:11:04+00:00
Problem with that is that if it's an online product then the manufacturer also _must_ provide updates to keep the device secure so that it continues to do whatever they sold you in the first place.

Also, adding features on its own is great, but obviously stuff like what happened here can't be allowed to happen, and those Samsung or LG smart fridges that became advertising boards is obviously also not acceptable...

Easy to call the bullshit out, hard to actually define the responsibilities of a manufacturer in a law.
by emporas | 2025-10-12 16:11:12+00:00
> It should be a "right to not have product forced on you."

Even better, a "right to modify everything you own, in any way you like". Don't you like the micro-controller installed by the manufacturer? Buy another one, with the correct firmware programmed from scratch, and swap it off.

We are already well into a new era of software, in which software can be programmed by itself, especially Rust. What is missing is money transactions for software companies and their employees located everywhere in the world.

"Devices with no surprises". Retail shops in conjuction with electronics engineers put new controllers in everything and re-sell it. Open source software, auditable by anyone and modified at will.

Programs for every car, every refrigerator etc cannot be programmed by a company located in one place, not even 10 places. It has to be a truly global company.

In other words, I want your device, I don't want your closed source software.
by OptionOfT | 2025-10-12 16:11:38+00:00
I think there are only a couple of cars that are steer-by-wire.

The Infinity Q50, QX50, QX55 and QX60 (with backup that connects upon electric failure).

Without backup, but triple redundancy, can be found in the Tesla Cybertruck. But I'd take that redundancy with a grain of salt as they don't have the best track record telling you the truth.

That said, I really with companies would go back to the good old hydraulic steering. I don't need self-parking. But self-parking needs at least electric steering (with our without steering column).
by ineedasername | 2025-10-12 16:12:04+00:00
It changes with any different flavor of a technology in any field of engineering, at least at the level of abstraction that you’re choosing to engage with the problem. Otherwise, this is just machine learning. It yields to the same conceptual approaches in quality control that require fundamental understanding of the underlying fields of study as any area of implementing technology—pretty much the definition of engineering.

You can no more assume the same exact production flow will produce equivalently for a different LLM model than you could for control of a different molecular compound put into product. If you choose only to consider it at the level of equipment assembly then sure, the basic rules of how you assemble the materials— the “physics”— doesn’t hold. If you do so at the same time that such efforts are informed by knowledge of the relevant fields such as material science and of course chemistry then you’re doing chemical engineering. Maybe you don’t want to call the construction workers engineers— though heck in that field many are! But certainly folks like the ones creating the guide posted are being informed by the exact sort of knowledge in the relevant underlying fields.
by randcraw | 2025-10-12 16:12:33+00:00
Yes, I think that's right. The average age of death due to old age has climbed for over a century, probably due to greatly improved public health and personal medicine.

https://ourworldindata.org/life-expectancy

Because dementia and other neurodegenerative diseases take decades to manifest they've been especially hard to diagnose early and prevent or treat early, while cognition is still intact. Alas, I think that hasn't changed much in recent years, despite many scientists and businesses working toward that end.

Partly that's because few academic researchers can pursue a theory long enough in time to fully assess its potential, especially in combo therapies. Nor can the big pharma corporations who not only suffer from the same difficulty in long-term funding, but prefer the ROI of continuing treatments for disease to that of quick cures (or lifestyle advice). These are nowhere near as profitable a pill the patient must take for decades.
by analog31 | 2025-10-12 16:13:07+00:00
I lost power steering every day during the winter in my old car, when the engine stalled while coasting through a particular intersection, and I was busy re-starting it and negotiating the turn.

It's amazing how much more reliable cars have gotten. You used to be always on the alert for some critical function to fail spontaneously, and also listening for warning signs.
by hugs | 2025-10-12 16:13:27+00:00
the spirit of my comment was more psychological than technical. nip-1 successfully nerd-sniped my brain into thinking it was easy to get started with a simple, barely functional client. (even though, you're right, at scale, everything gets complicated and is not easy.)

perhaps this a roundabout way of hoping there is already a developer-focused quick start or tutorial for making a barely functional AT client. it either already exists, but i didn't look hard enough for it, or it might only be one chatgpt or claude prompt away.
by Pooge | 2025-10-12 16:14:21+00:00
Not at all. Buying and selling on a fixed schedule regardless of the price of the asset is absolutely not timing.

Let me take the Investopedia definition[1]: "Market timing is the act of moving investment money in or out of a financial market—or switching funds between asset classes—based on predictive methods. Market timing is the opposite of a buy-and-hold strategy, where investors buy securities and hold them for a long period, regardless of market volatility." (emphasis mine)

[1]: https://www.investopedia.com/terms/m/markettiming.asp
by hedora | 2025-10-12 16:14:28+00:00
I really want to see a tweak to the California and EU privacy rules that requires opting in to data collection / sharing to be at least as hard as opting out.

For the first 5 years, the processes would be swapped, and set in stone. So, you'd need to call a number, sit on hold and be disconnected a few times to get a mailing address. Then you'd buy some stamps and an envelope if you want to submit a "Please sell my personal information" form. Grocery stores would charge you more if you used a loyalty card, and so on.

Of course, a better approach would make the collection, sale, querying, possession of, and engaging in transactions involving consumer marketing databases illegal. (All those protections are needed since Google redefined "sell personal information" to not include any of their revenue streams.)
by bastawhiz | 2025-10-12 16:15:47+00:00
That's not what's being argued here. Wikipedia has exactly the information you've described (as it should!). There's no real argument over whether Wikipedia should or should not have information about flat earth ideology.

What's being discussed is whether Wikipedia should call it incorrect or not. Or rather, whether the idea that the earth is round is the truth. You can still provide information about provably false ideas while pointing to another idea grounded in facts as the truth.
by anonymars | 2025-10-12 16:16:21+00:00
wbadmin is the GOAT. Multi version snapshots of the drives, which you can easily mount as they are vhdx

Sadly some of the potential is gimped (point in time restore of individual files) but in a pinch you can grab an eval copy of Server and run it in Hyper-V, attach the backup drive to that, and do it that way
by vee-kay | 2025-10-12 16:16:23+00:00
I am pointing out that existing Windows feature (File History) exists as alternative to Windows Backup (which requires Microsoft OneDrive, which is free only upto 5GB of cloud storage).

You are the one missing the point by suggesting off-the-shelf backup solutions.

For corporate users, getting off-the-self solution as alternatives (even if it's open-source) software may not be easy (corporates typically have strict controls on what software they allow for users, and usually they contractually need to reveal to customers if they are using open-source software), but they can use File History for free, by setting it to back it up to a network path/drive if their IT admins permit.
by quotemstr | 2025-10-12 16:16:24+00:00
Look: do you think we're going to unwind the biggest technological change since the Internet, or even the industrial revolution, and cede dominance of this space to the Chinese? On the account of some trifling copyright?

That would be idiotic. Moronic. The worst mistake since that anonymous Easter Islander chopped down the last tree

It's not happening. AI isn't going to get undone. We will revise the law to make it work, because the alternative is almost unfathomably retarded.
by sillywalk | 2025-10-12 16:16:32+00:00
Tahoe is the first macos (and ios) upgrade I'm avoiding.

I'd already had to enable a bunch of macos accessibility features (increase contrast, reduce transparency) for years just to make it less crappy. Every release gets less usable for the sake of looking fancy.

Ever since GUIs became (flat) UXs everything has gone to shit. Not that GUIs didn't also suck, but I could at least distinguish controls from labels.

I remember reading John Siracusa's long Mac OS X reviews, and their details of how the GUI changed, often for the worse - i.e. less usable. One of the first notes I remember was when colour labels in Finder switched from highlighting the entire file ( easily visible ) to becoming just a little coloured dot which is easy to miss while scrolling.

Don't even get me started on Apple Music, which is one of top 3 worst designed apps I've ever used.
by patrick451 | 2025-10-12 16:16:55+00:00
> My suspicion is that this was either a CAN saturation issue (ie - infotainment started sending a high priority message which could reach powertrain CAN) or a state management issue (ie - infotainment sent a “put modules to sleep” or “wake modules” message which was not handled correctly and caused one or more modules to transition to an invalid state for driving).

The fact that this possible proves the point: OTA updates are dangerous and should be banned.
by joduplessis | 2025-10-12 16:18:23+00:00
> one of the best benefits of Linux > as it’s the most native web platform that most web technologies are developed for

This is a very idealsitic stance. It's not the best for web because web has been refined where users are - MacOS or Windows. I wish it were different.

> And anything beats macOS, even using a brand new Mac feels like molasses sometimes. I would investigate drivers/scaling/hardware acceleration, cross chrome/chromium browsers and Firefox to see if you can narrow down your issue.

Simply not remotely true - try it yourself. The best supported distros (Redhat, Ubuntu, SUSE, etc.) all suffer from the same fragmentation of the Linux ecosystem. In fact not even Windows comes close to MacOS's font rendering (why do you think designers prefer it).
by chermi | 2025-10-12 16:18:55+00:00
Interesting, tell us more! Do the beavers use/upkeep them, or are they purely to create pools where there are no beavers to do so? If the former, is it needed because there aren't enough beavers or not enough wood/vegetation for them to build?

Do the beavers "adopt" the structures? Or are they too dissimilar to their constructions? I imagine the main goal is actually less about the beavers than it is restoring habitat that beavers otherwise create. Do you ever build them in places where there never were beavers?

I have this funny picture of beavers refusing to enjoy the dams because they didn't build them. No "pride of ownership".
by alex_smart | 2025-10-12 16:19:03+00:00
> you did start this with writing your own

I really did not. I only said that if you were to create your own cronService, you can reuse it by creating your library rather than copy pasting code (which is obviously insane).

> which is about as insane as writing your own database driver

No, it is not. Spring Boot’s support for async jobs and scheduled jobs is lacking. A lot of people roll their own. Including yours truly.

It is also much easier than writing a database driver so there is that.
by OptionOfT | 2025-10-12 16:19:54+00:00
Please be careful with alcohol withdrawal. Always talk to your doctor about it.

Your body sends out signals all the time, and those get numbed by the alcohol. So your body compensates with sending out stronger / more signals.

If you stop cold turkey stuff that compensation mechanism doesn't just stop and can lead to Alcohol Withdrawal Syndrome [0].

[0]: https://en.wikipedia.org/wiki/Alcohol_withdrawal_syndrome
by bearjaws | 2025-10-12 16:20:00+00:00
You can plug your ears and close your eyes, but Microsoft is becoming increasingly adversarial to their customers.

It's clear they want to remove local accounts and tie everything to O365.

My mom (68 yo) recently got a Windows update that then prompted her to backup her stuff. I had disabled all this and used Win11 debloat previously. OneDrive only had 5gb of storage and prompted her to upgrade.

She thought she got hacked because it was asking for money. Then when I went to turn it off it warned me that I might suffer data loss disabling one drive. Which is a story that we have seen play out many times.

Sure enough I backed everything up to an external drive, and when I disabled OneDrive the files were totally gone.

https://learn.microsoft.com/en-us/answers/questions/5309251/...

https://www.reddit.com/r/techsupport/comments/1ef8pgr/one_dr...

https://www.elevenforum.com/t/i-tried-to-disable-onedrive-lo...

So sure, you can get around it, but there are going to be hundreds of millions of other people who won't.
by mixmastamyk | 2025-10-12 16:20:15+00:00
Ruff was the gateway drug for me, much better than the black/isort/etc combo.

Led me to try uv, which fixed a couple of egregious bugs in pip. Add speed and it’s a no brainer.

I don’t think poetry has these advantages, and heard about bugs early on. Is that completely fair? Probably not. But it’s obvious astral tools have funding and a competent team.
by mcny | 2025-10-12 16:20:24+00:00
I love this idea but I don't know enough about the specifics. Isn't it really bad(TM) for the pump or compressor or something I don't know about for the input power to be variable like this? Like there might be an errant cloud somewhere.

The whole point of my thought exercise is to see if we can somehow make the cost go down. My understanding is that the panel can easily last twenty five years but the battery you'd be lucky to go beyond eight?

Edit: good news / bad news

Bad news: this is not an original thought

Good news: smarter people than me are already working on this. See solar Variable Frequency Drive (VFD). Basically, my thought is a pump is a pump. if you can build a pump to pump water to irrigate poppy fields, you can use the same pump to drive refrigerant in a refrigerator/ freezer / heat pump.
by badsectoracula | 2025-10-12 16:20:45+00:00
It is not ok on iOS or macOS or even Android or whatever else. The feature to have some online storage with backup is fine, IMO, but what is not fine is the OS nagging you to use that feature. This thing must be opt-in and only if the user themselves initiate it.

Also it should not be locked to a single online storage provider but use some sort of standardized protocol (or at least some pluggable mechanism) to allow any online storage provider - including using self-hosted options - to work with it.

This is how you make something that works for your users instead of taking advantage of them.
by bigyabai | 2025-10-12 16:20:51+00:00
macOS is absolutely awful about iCloud nag. If you try and use a Mac without an iCloud account, you'll get neverending popups and notifications begging you to go online. It's nearly as bad as Windows.

Neither GNOME nor KDE get anywhere near as bad. It's really only these commercial "holier than thou" operating systems that think they know best.
by lelanthran | 2025-10-12 16:21:09+00:00
> It's a very pleasant language with a pleasant community

I'm sure.

> bullshit.

> But that old world is gone.

> Every competent programmer

> an excuse to deliver more crap.

Yeah. Very pleasant indeed.

Some serious cognitive dissonance is in your post. You claim how you're part of a community that so damn pleasant, but you're out throwing shade...
by kmoser | 2025-10-12 16:21:16+00:00
Prodigy (the online service). I'm not saying I wish it was still alive, but it contained some amazing technology for the time (mid- to late 1980s), much of which is now present in web tech:

- Client software that ran a VM which received "objects" from a central server (complete with versioning so it would intelligently download new objects when necessary). Versions were available for IBM (DOS), Windows, and Mac. Think of it as an early browser.

- Multiple access points and large internal network for storing and delivering content nationwide. This was their proprietary CDN.

- Robust programming language (TBOL/PAL) for developing client-side apps which could also interact with the servers. Just like Javascript.

- Vector (NAPLPS) graphics for fast downloading (remember, Prodigy started in the days when modems maxed out at 1200 baud); later they added JPG support.

- Vast array of online services: shopping, banking, nationwide news, BBSes, mail (before Internet email was popular), even airline reservations.

All this was run by a partnership between IBM, Sears, and CBS (the latter dropped out early). They were the Google of the time.
by vee-kay | 2025-10-12 16:21:54+00:00
Windows 10 was indeed offered free worldwide to users already using older licenced versions of Windows.

Microsoft even touted Windows 10 as last version of Windows.

But it was typical bait-and-switch gambit by Micro$oft, and support for Windows 10 is ending in Oct 2025 (rejecting the pleas from thousands of companies worldwide to extend its Win10 support for longer while), because M$ thinks everyone will migrate to Windows 11 (not free).

However, many Win10 users will remain on Win10 for years (just as they had stuck around with Win7/Win8 for years), and many will migrate to Linux or MacOS instead.

Microsoft will out find the hard way that people can be as stubborn as it can be.
by Podrod | 2025-10-12 16:22:13+00:00
I used to use Windows Backup with One Drive years ago but it just really pissed me off, especially with how My Documents is handled.

There was that time I discovered several GB of screenshots had been automatically saved to My Pictures from some setting they snuck into the printscreen screen grab tool and then that of course those were automatically uploaded to the cloud. After disabling the option it would sometimes reenable itself.

And game devs throwing random shit into My Documents was also fun. Ubisoft were terrible for this, after playing a game I'd notice a bunch of cache files they dumped into My Docs being uploaded. I mean putting save games and config files inside my docs is annoying enough, random cache files is just taking the piss.

Also windows backup would mess up my desktop between systems on occasion which was also very fun!

I disabled most of the shit but it was still annoying on occasion. Then a year or two ago I solved the problem by just using Linux for 90% of things, Mint at first but now Fedora, and grudgingly booting back into Windows for the other 10% of my needs.
by CamJN | 2025-10-12 16:22:34+00:00
I’ve never enabled iCloud backups and it has never pestered me about it after the initial iPhone setup process (the modern version of which doesn't even pester me then since it copies the setting from my last iPhone). I backup locally to my mac, which admittedly they made require a password each time now, which is a bit annoying, but it’s not asking me to enable icloud backups regardless.
by joomla199 | 2025-10-12 16:22:36+00:00
Indeed. Engineering is the act of employing our best predictive theorems to manifest machines that work in reality. Here we see people doing the opposite, describing theorems (and perhaps superstitions) that are hoped to be predictive, on the basis of observing reality. However insofar as these theorems remain poor in their predictive power, their application can scarcely be called engineering.