skysight-inc/HackerNews huggingface dataset:
> Addressing the first of these points requires at least somewhat rethinking of hardware and operating systems

The (vaporware) Mill CPU design has "portals" that are like fat function calls with byte-granularity MMU capability protection to limit mutual exposure between untrusting bits of of code on opposite sides of the portal. Think of it as cheap function-call-like syscalls into your kernel, but also usable for microkernel boundaries and pure userspace components.

https://www.youtube.com/watch?v=5osiYZV8n3U

Of course, we can't have nice things and are stuck with x86/arm/riscv, where it seems nothing better than CHERI is realistic and such security boundaries will suffer relatively-enormous TLB switching overheads.
the fridge might be a stronger argument. It's like trying to mine bitcoin with a cpu.
It is possible to learn to reason from scratch, that's what R1-0 did, but the resulting chains of thought aren't legible to humans.

To quote DeepSeek directly:

> DeepSeek-R1-Zero, a model trained via large-scale reinforcement learning (RL) without supervised fine-tuning (SFT) as a preliminary step, demonstrated remarkable performance on reasoning. With RL, DeepSeek-R1-Zero naturally emerged with numerous powerful and interesting reasoning behaviors. However, DeepSeek-R1-Zero encounters challenges such as endless repetition, poor readability, and language mixing. To address these issues and further enhance reasoning performance, we introduce DeepSeek-R1, which incorporates cold-start data before RL.
Did OpenAI have to sign up for your service to gain access?
So basically I can get a ~lifetime supply of r1 tokens for… $20?
> You can call up Nvidia and order $10B worth of GPUs and have them delivered the next week

Nvidia sold $14.5 billion of datacenter hardware in the third quarter of their fiscal 2024 and that led to severe supply constraints, with estimate lead times for H100's up to 52 weeks some places, so no you can't, as that $14.5 billion was clearly capped by their ability to supply, not demand.

You're right, though, that Groq etc. can't deliver anywhere near the same volume now, but there's little reason to believe that will continue. There's no need for full GPU's for inference only workloads, so competitors can enter the space with a tiny proportion of functionality.
Until recently treating the US and China on the same geopolitical level for allied countries would have been insanely uncharitable and impossible to do honestly and in good faith.

But now we have a bully in the whitehouse who seems to want to literally steal neighboring land, or is throwing shit everywhere to distract from the looting and oligarchy being formed. So I suddenly have more empathy for that position.
That's interesting. I always get a bout of depression when the weather changes drastically (increase in temp, drop in pressure). I noticed that when I'm able to poop again, afterwards it starts to get better. Maybe I need to take stuff to speed up digestion?
In terms of revenue - but less so in terms of costs.

I wouldn't be surprised if WayMo is losing <$200M instead of ~$800M like the above post made it seem.

Additionally - the majority of those losses could come from expansion efforts.

I wouldn't be surprised if WayMo already has profitable unit economics.
IMO more anti hype for openAI who might be dominant, but are they $3500 per task (O3 high) dominant, or $200 per month dominant.
I'm not sure that Apple Maps or Google Maps will will one day display the list of machines present in a location.
The EOs they have already used have similarly had a justifiable statement on the surface, but when put into action, they are much more egregious. Legal citizens are already being caught up in the deportation schemes.

This will be no different, it is fundamental to how they operate with plausible deniability and impunity
For the assets yes, especially. It's hard enough explaining to the Big Boss why the game your division worked on for X years is not going to release, but imagine having to explain the next year why some asset from it is all over YouTube.
It’s absolutely insane to me what a government success story auto safety regulations have been.

They’re incredibly safer and yet the cost hasn’t gone crazy.
That prompt means nothing. Check out the benchmarks.

Also, compare V3 to 4o and R1 to o1, that's the right way.
Still, it was only one Google search away.
TSMC can work with partners for packaging (TI and IBM come to mind)
> How many developer jobs are due to startups?

Out of the Who's Hiring thread on Hacker News, which is what this chart in TFA is measuring? I don't know, but I'm assuming a pretty big chunk.
I was a system builder from 1990 onward.

Seagate's 10. and 11. lines were notorious for going bad. I have stacks of bad Seagate drives from those days (2010s, iirc). For 3.5 inch form factor models, Seagate drives were dying at a rate of 10x all other brands combined.

The earliest HDD scandal I recall was when Seagate bough Conner, just as Conner's run of leaky-seals started eating platters. Seagate refused to honor those warranties for years. Something eventually changed. IDK what, I always assumed a court was involved.

For non-Seagate drives: I did have a bunch of 500GB WD Blue SSDs die a couple of years back. I replaced some under warranty; I later found a firmware update restored the rest of them.
Microsoft spent decades and billions of dollars buying their way to market dominance. They didn't achieve it through having a superior product, they achieved it through bullying. Software developers were forced to write software for Windows in order to reach an audience.

The fact that people will choose a different platform and begrudgingly emulate the software that's stuck on Windows is a knock against Windows, not a knock against the other platforms.
just to be clear, I doubt that deepseek was produced via distillation

Yeah, your technical point is kind of ridiculous here that in all my uses of distillation (and in the comment I quoted), distillation is used in informal sense and there's no allegation that DeepSeek could have been in possession of OpenAI's model weights, which is what's needed for your "Distillation (term of Art)".
The National Map
Didn't read the post but I highly disagree with your comment. I use mainly rust and I don't think it would be where it is today without being able to stand on the shoulders of giants like java.

There are a lot of things that oop languages pioneered that are now in other languages. In rust specifically, there is a mixture of features taken from functional and oop languages that are a pleasure to use.
Is there some resource that explains how to do a major version upgrade with pgcat? Would love to take a look
You could be right on all counts. But I'm 100% confident I can keep my 80 series running another 50 years with relatively minimal work (occasionally rebuilding things, maybe some rust repair if I get lazy about rust prevention, etc.)--I can at least predict and understand all the problems I'll encounter, and none of them includes trying to reverse engineer a CAN network.

I have very little confidence I'd actually be able to keep a Grenadier on the road forever. I suspect it's at most a 20yr car. We'll see maybe in 30 years I'll get a used one and prove myself wrong.
Trademarks are issued only for specific pre-defined categories. For example, computers fall within Category 9 (which I happen to remember from filing trademarks a long time ago). IANAL, but I do know a fair bit about trademarks from going through several applications and asking a bunch of questions.

Nintendo's Super Mario mark wasn't granted for the category containing supermarkets, so their registration doesn't allow them to stop anyone using those two words for a super market. But if a market were to also incorporate elements of the Super Mario logo, font or trade dress then Nintendo could pursue them for trading on the value of Nintendo's brand. Which is what you're referring to.

But in this case, the market didn't do that. Trademark law and the associated decades of precedent are actually pretty deep and nuanced. Even back in the 1920s people would try to skirt the rules and benefit from a strong brand's recognition without getting technically busted. So trademark jurisprudence has gotten surprisingly good at sniffing out these shenanigans. But by not using any other logos, colors or trade dress, the market is completely in the clear within their category.

It actually doesn't matter if Mario, the market owner, was being a savvy legal eagle and shrewdly planned to soak up a little of Nintendo's brand value or if Mario really did just name his super market "Super Mario". Trademark law expressly allows him to do that. And it's a good thing it does because granting mega-brands like Nintendo and Disney a monopoly on using simple combinations of common words is a slippery slope toward dystopia. It needs strict boundaries and limits. Mario's market isn't "getting away" with anything here. He's playing by the rules. IMHO, this wasn't even a close call. Nintendo's claim was obvious bullshit. They knew it was bullshit but filed it anyway because usually little guys just give up when faced with an army of high-priced lawyers. I'm glad Mario didn't. Instead, he asserted his rights under the law and won because he didn't do anything wrong.
Is there ANY way to send audio from linux to AirPlay speakers?
(I am NOT asking about making Linux an airplay TARGET, which is what Shairport-sync does.)
Pulseaudio reportedly used to claim to support it, but there are many reports of people trying and none of anyone succeeding.
Ask it to show you the list of kings and their ages and calculate the average yourself. I'll bet the answer is not 58 years. Regardless of the accuracy of the source data, ChatGPT is terrible at arithmetic. I asked the same question, and it told me the answer was 55 years.

I once asked ChatGPT how high a stack of floppy disks that holds 1TB would be. It returned 1.5 meters, which is clearly implausible to anyone who remembers how high a stack of floppy disks to install Windows 95 was. Obvs the model has improved over time as it now returns a more plausible 2.65 kM.
used to think this mattered a lot but funnily one of the main vim-universe inspired editors, helix, has convinced me otherwise

their choice to subtly diverge from the vim way of things is actually super nice, somehow way more mnemonic and easy to remember and use everyday
AWS Aurora Postgres is a forked Postgres with a different storage engine. Sure you are technically correct, but there are many things called "Postgres compatible" that are very much less Postgres that AWS Aurora Postgres (like for example CockroachDB).
I used the word ‘seem’ three times. I think it’s pretty unremarkable to report a personal impression without any claim of special insight.
Thank you for your help.

I can't get a replacement because I was late and they told me that the battery will deplete only a little but I can barely use it and the charging is super slow. But I am not near any battery replacement stores so it wouldn't work. I called one that is still far away who told me that all their stores are out of stock and will be for awhile. And that they've had problems with some replacements, and that Google isn't paying them for screen replacement, as that will likely occur during replacement as the screen will break, so that will cost another $50 or so.

I have a battery pack and it doesn't work well, the battery is considered dead all around as the apps show on the phone.
I wonder if this will finally give a solid, cross-platform way to make the Caps Lock key work as it should: press for escape, hold for control.
Unfortunately that doesn't answer the question
What double standard? I have not claimed anything about openAI being ethical paragon of virtue.

I anything, you can be accused of using whataboutism in order to justify DeepSeek illegal actions
Hackers are hijacking WordPress sites to push Windows and Mac malware
I've been very happy to have my headphone port back since I upgraded from iPhone 7 to REDMAGIC 9S Pro
I think Chrome isolated processes fail the idealized criteria, though:

> 1. Performance. [...] Unix-esque shared memory, though much faster, is far too difficult to use reliably for untrusted components.

> 2. Expressivity. [...] without descending into the horrors that RPC (Remote Procedure Call) tends to descend to.

Author is asking for how can we do better / get this popular and used all over, not what's the current state of the art (when that SOTA is a notoriously large and complex program that your average programmer has never looked inside of).
Hilarious. That article was written in 2021. We call that moving the goalposts.
Hello I'm not sure if you can help but I made a post on here as well as a topic:
https://news.ycombinator.com/item?id=42871613
No, because it is not a distillation, but an extension. A selling point of the model is using RL to push past the quality of the base model.
Here’s the problem with those who decipher lore on our behalf,

> God gave Snake a medicine with which to bite people, while granting Man agriculture and different languages.

I translate this as:
God have snake venom to cure Man [of stupidity; to not trust snake’s mouth]; Man he cursed with toil, to feed only upon the fruits of his labor, and bumbling thoughts in his head, “many words” (that he must bear as a burden.)

It is only today, that we have mastered “agriculture” and “language” that we count them as our blessing.

In these legends Man was cast out and told to grow his own food (what he cannot catch), and be plagued by words in the mind, that we must untangle our own deceptions.

Selective oral tradition and language translations into literal English deprive us of the true psychological potential of how these stories were regarded.
Google also partners directly with Starlink to provide emergency SOS texting on current year Pixel phones, regardless of who your carrier is.
Can you steal someone else’s laptop if they stood up to get a drink?
>IANAL, but It is worth noting here that DeepSeek has explicitly consented to a license that doesn't allow them to do this. That is a condition of using the Chat GPT and the OpenAI API.

I have some news for you
> Users in the program have a new toggle switch in their iPhone cellular data settings to manage the satellite feature.
Refer to IBM’s 1979 slide for details on that
There are examples of learning reasoning from scratch with reinforcement learning.

Emergent tool use from multi-agent interaction is a good example - https://openai.com/index/emergent-tool-use/
Or a better python layer on python.

People asking why statically typed python: consider that it's the #1 language on GitHub (assume ts and js are different) and LLMs are really good at generating it.
It probably ignored hundreds of thousands of "by using this site you consent to our Terms and Conditions" notices, many of which probably would be read as prohibiting training. But that's also a great example of why these implicit contracts don't really work as contracts.
Terminal is not insanely fast.
UI wise it is not efficient.
Rendering is slower than vscode too even with GPU powered terms
If we assume distillation remains viable, the game theory implications are huge.

It’s going to shift the market of how foundation models are used. Companies creating models will be incentivized to vertically integrate, owning the full stack of model usage. Exposing powerful models via APIs just lets a competitor clone your work. In a way OpenAI’s Operator is a hint of what’s to come
Apparently the average car is about 12 years old hone it's scrapped; so we basically are already there.

If by making everything more reliable but hard to repair, they'd reliably go 12 years before exploding, I think it'd be a net win, as long as we had adequate recycling options available.
I believe that the use case you describe is a bit different than where you would use Zed primarily. If I have a code base with 100k lines of code, and I am developing that, I don't hop from terminal to editor and back by using the same terminal instance. I have different terminal window for that. Closing the editor window would lose too much context.
The extremist parade of horribles that results from this is laws that mandate private companies host forums for all who ask and social media that is functionally unusable because spam filtering is legally indistinguishable from censorship[0].

What we need isn't mandating that Facebook hand everyone a megaphone. What we need is fire exits: alternatives to Facebook that have migration paths that don't result in us losing all contact with our Facebook friends. The problem with Facebook isn't that they can censor you, it's that they're big enough that you have to care if they do.

And for the record, there were progressives saying this, too. Most of what I'm saying in this comment is cribbed from Cory Doctorow.

[0] Remember when the GOP sued Google because their campaign e-mails got flagged as spam?
Both interesting. Will they be surveillance free, or at least optional?
Does Sweden have a definition for "extent wokeism," or is it just a term idiots like to throw around because they don't understand issues, like in the US?
This is so predictable... Nvidia CEO wants to forget about the turmoil that's happening right now, and look at the decade in front of us.
> the bigger cost is inference

I didn't know that. Is this always the case?
T1D parent here. My 11yr old has T1D. We use SugarPixel and this watch you’ve built would be amazing to have. Great job! We need more people like you
Personal fave: https://github.com/karpathy/llama2.c
For those who are unaware, Google released a forced update on the Pixel 4a that depleted the battery, and is not usable. They offered a battery replacement but they are all out of batteries and there are still issues so many people cannot get it replaced. Google is not helping and telling people to buy a new phone.

See: https://www.androidcentral.com/phones/google-pixel-4as-old-f...

https://news.ycombinator.com/item?id=42865619
> as for the split in type checking tools, it is not as bad as you think

I'm surprised you already know it's not as bad as I think - have you been able to use it? Working on a team that mixes mypy and pyright is pretty frustrating since they don't agree on everything (i.e. when one changeset passes on one and fails on the other) and I see no reason to believe the inconsistencies will become more rare when the number of opinions goes from two to three
When Zed got released, I was looking forward to trying it out because I saw the potential.

Very soon I found out that: Vim mode must be perfect and few of my <leader> key combos have made me (Neo)vim addict. And also, I prefer terminal editor.
> If a query takes a bit longer to respond, I don't think that counts as downtime. From the perspective of the user, they couldn't distinguish this migration event from some blip of slightly slower queries.

It comes down to defining Service Level Objectives (SLOs) that are meaningful to your users. For one system I worked on, latency was important, and so one SLO was "99.999% of <a certain class of> requests with a deadline >=1s should succeed with latency <1s", so if this affected more than 0.0001% of requests in <time interval defined in our SLO>, we'd have called it an outage. But I've also worked on systems with looser SLOs where this would have been fine.
> I don’t care for Sam Altman and his general untrustworthy behavior. But DeepSeek is perhaps more untrustworthy. Models from American companies at least aren’t surprising us with government driven misinformation, and even though safety can also be censorship, the companies that make these models at least openly talk about their safety programs. DeepSeek is implementing a censorship and propaganda program without admitting it at all, and once they become good at doing it in less obvious ways, it can become very damaging and corrupt the political process of other societies, because users will trust the tools they use are neutral.

These arguments always remind me of the arguments against Huawei because they _might_ be spying on western countries. On the other hand we had the US government working hand in hand with US corporations in proven spying operations against western allies for political and economic gain. So why should we choose an American supplier over a Chinese one?

> I think DeepSeek’s strategy to announce a misleading low cost (just the final training run that optimizes a base model that in turn is possibly based on OpenAI) is also purposeful. After all, High Flyer, the parent company of DeepSeek, is a hedge fund - and I bet they took out big short positions on Nvidia before their recent announcements. The Chinese government, of course, benefits from a misleading number being announced broadly, causing doubt among investors who would otherwise continue to prop up American technology startups. Not to mention the big fall in American markets as a result.

Why should I care about the stock value of US corporations?

> I do think there’s also a big difference between scraping the Internet for training data, which might just be fair use, and training off other LLMs or obtaining their assets in some other way.

So if training of copyrighted work scrapped of the Internet is fair use, how would the training of the LLMs not be fair use as well? You can't have it both ways.
The CUDA moat is largely irrelevant for inference. The code needed for inference is small enough that there are e.g. bare-metal CPU only implementations. That isn't what's limiting people from moving fully off Nvidia for inference. And you'll note almost "everyone" in this game are in the process of developing their own chips.
Does anyone know why the interception (closed source) driver is the only way to differentiate between keyboards.

I understand that Windows normally hides that information. My question is: What does interception do that someone else can't reinvent?
I really want a Helix/Kakoune mode in Zed, but last I checked the development of such a thing was dead in the water, unfortunately
Fastmail + Em Client; Em Client looks a lot like Outlook but it actually works.
But is it worth the price? I concluded I'd rather build a vehicle that's simpler and better than the one I could buy. And it's costing me about 20% as much to do so. And it'll burn a hell of a lot less fuel.
This has me curious on how I would know if my family needs more iodine? We have largely been on kosher salt for a long long time. It is just more pleasant to use while cooking.

I could, I think, just switch a lot of what we do back to iodized salt? Feels pointless if not needed, though.
Show HN: Pgchat – One command to chat with any Postgres database
Hey HN,

Sharing a project we have been working on which provides an LLM-powered chat experience for querying Postgres databases (local or remote).

pgchat takes a Postgres connection string and spawns a terminal UI for the chat:

`npx pgchat postgresql://xxxx`

It is built on top of our other project Inferable [1] which handles the LLM requests (open source / self hostable).

Database queries are issued from the pgchat process to the connection string which allows for use with local Postgres instances.

Keen to hear your thoughts!

[1] https://github.com/inferablehq/inferable
Exactly. I've been using Java since 2000, and I haven't once written an AbstractFactoryFactoryService. To be fair, I skipped over early versions of Spring.
Thanks for the suggestion. I wiped my orphaned 2014 iMac and installed Mint on it, so I guess I should be good to go. I just didn't want to go under my desk to unplug my toaster dock and move it unless necessary.
I'd lose motivation after 2 days unfortunately