skysight-inc/HackerNews huggingface dataset:
As far as I know, there is not. I could probably write something up.
> OpenAI, Meta, AWS, AMD, and others have long attempted to eliminate the Nvidia tax, yet failed.

Gemini / Google runs and trains on TPUs.

You have no incentive to infer on AMD if you need to buy a massive Nvidia cluster to train.
API Supply Chain Attacks – The Sky's the Limit
Source: https://news.ycombinator.com/item?id=42855575
It sounds like they’re just jealous and trying to smear shit over the wall and see what sticks.

DeepSeek just bodied u bro, get back in the lab & create a better AI instead of all this news that isn’t gonna change them having a good AI
> Distilling weights from prompts and responses is even more of a legal grey area.

Actually unless the law changes this is pretty settled territory in US law. All output of AIs are not copyrightable, and are therefore in the public domain. The only legal avenue of attack OpenAi has is Terms of Service violation, which is a much weaker breach then copyright if it is even true.
Why is it that Lisp family macros are easy to implement and use, but not so in other languages?
Demanding a “definition” of “woke” just invites pointless debate about semantics. Nobody insists you define “neocon” or “conservative” or “far right.”

Who is “woke?” In the context of discussions about immigration, it’s folks who have difficulty talking about the subject without conceptualizing it in terms of “racism” or “xenophobia.”
Google models are already in the lead in many areas in capability and cost, so I never felt like OpenAI was dominant. OpenAI was first to make a splash, but ChatGPT is in a ~5 way tie in terms of what it can do.
I was a long-time member of STC, attaining the rank of Fellow. I found STC membership rewarding, mostly because our local chapter actively supported professional development and job search. Pre-pandemic, we met and socialized regularly, and so built a strong, tight-knit community.
It's a catch-22 because the defense can now attack it for being presented in court when the disclaimer says not to.

They apparently did have enough other evidence to satisfy the judge since they got the warrant without it.
So not normal. Try Cursor.
You can run the full R1 (671B variant) locally as well so long as you have the hardware for it.

`ollama run deepseek-r1:671b`

will do that
I've been using this project for a few years https://owntone.github.io/owntone-server/
Not only that but I think you also need to take upstream systems into account. With a reasonably robust frontend that handles transient issues and retries reasonably, I think it's ok to say "no downtime"
May I suggest the absolutely awesome Extend Layer [0] instead?

Arrow keys, advanced cursor movement and modifiers chording, and more, without leaving the home row!

[0] https://dreymar.colemak.org/layers-extend.html
I don't think I would want to design such a study, but at a minimum arguments would have to be made ahead of time for meaningful pairings "outside-water" == "beach", all button presses would have to be recorded, and then a statistical conclusion could be reached.

> I mean, some people are perfectly fine with labeling other people NPCs.

Indeed. So whatever such a study concludes is unlikely to change people's ideas about dogs much.
I just made a very similar analogy to someone yesterday (we work at Google).

Open source stacks and commodity hardware win. What do you think the next generation of engineers and scientists is training on right now, as broke students? They aren’t paying licenses and big API credits.
You should fix your atom feed
Actually, yes, they actively agreed to them. Clicked the button and everything.
Why stop there - Atlantis isn't even a real country, why not the American Ocean?
A somewhat related comment:

a. Until the 12th century or so, dates of birth even for kings are somewhat fuzzy, sometimes not even the year is certain. Deaths are usually better recorded, but anyway, there will be some systemic uncertainty there.

b. When evaluating whether a particular king's death was natural or not (the GP wanted to exclude non-natural deaths), we must take into account that a successful poisoning might look like sudden-onset gastritis or so, and that kings were absolutely a plausible target for such attacks. It works both ways; Ladislaus the Posthumous (died 1457) was widely suspected to have been poisoned, only a detailed scientific examination of his skeleton in the 1980s proved that cause of his death was a non-Hodgkin lymphoma.
Are Lisp macros easy to use? My understanding was that Lisp code is notoriously difficult to understand if you didn't write it, largely because of the obscenely powerful macro system that makes it too easy to be too clever. Which is essentially the same complaint that everyone has about every macro system.
It's not even remotely close to a dead product. I work in platform-layer consulting where the services are quite often for customers who run ML and other data pipelines and Airflow is overwhelmingly the most popular DAG orchestration tool they're using.

I'm very curious what even gives you that impression. If you follow the link to their Github, it's got 38.5k stars, 14.6k forks, 3190 contributors, 92 releases, the most recent commit is from an hour ago. The most recent release is from last month.
Exposed DeepSeek Database Revealed Chat Prompts and Internal Data
I saw both Gorillaz and Offspring a couple months apart at the same arena venue and I want to say they're all in their 50s and the difference in audience was wild. Damon Albarn has been very successful at staying relevant to the younger crowd.
I'd be really curious about the split in hardware for training vs inference - I got the read that it was a very high ratio to the point the training is not a significant portion of the requisite hardware but instead the inference at scale sucks up most of the available datacenter gpu share.

Could be entirely wrong here - would love a fact-check by industry insider or journalist.
Vibe shift for OpenAI post SamA/Trump love and post DeepSeek R1?
NBC Nightly News, on Monday, had an expert -- at 8:05 in the video -- who claimed there might be national security risks to Deepseek.

I'm not going to take a side on whether there is or not.

But, it does sound reminiscent of the reasons used to ban Tik-tok.

https://youtu.be/uE6F6eTyAVc?si=BLZo3FMVRvjEy6Xa
Ask HN: What are downsides of multiport memories?
Why we don't see them used more widely outside of extension cards like graphic cards? Are they much more expensive? Are they slower/have higher latency? Do they consume much more electricity? Or they simply are not the answer to at least part of problems created by multi CPU computing, so no one uses them as "main" RAM. Or there are some other subtle reasons? Do they create new problems for operating system design when used for main computer memory?
Philosophy is the practice of taking “why” and “what if” with a dignified tone and straight face.

I would teach AI that the founding principle of modern morality (the evolution of all that has come to pass) is to bias for the protection of free will, human right (to survive without being destructively interfered with), and conservation of existential being (you know, nature and stuff.)
Building Scratch from Scratch
Using just scratch.
Or, we just end up in a Kowloon Walled City cyberpunk hellscape with water cooling pipes and fans running though all our environment.
If they have a lot of failures, then their credibility wanes accordingly.
What will the Dart team focus on instead? I wish the cross-compilation issue was taken to a higher priority, I mean Flutter already kinda of solved it.
Yeah - a quantifiable amount in the headline would change the likelihood of the article being taken seriously - it goes from "No downtime? I call BS" to "Less than 5 seconds, that seems reasonable, and worth investigating"
> I have no problem believing a person can invent a definition of gender which complex meaning.

No! I am not a relativist. Observed behavior is what it is, and a scientific mindset means creating the best possible models for it. Some models are objectively better than others.

(At a meta level, I also believe that the naturalistic/scientific way of looking at the world is objectively better than other ways. At an even more meta level, I believe what I believe because, modulo uncertainty, it is the objectively best set of beliefs; if I believed otherwise, I'd change my beliefs in that direction.)

> Most conservatives, however, simply reject these formulations as a mixture of false, societally destructive, and causing far more harm than good.

Exactly. Conservatives believe their simplistic map is the territory.

> Before the 20th century gender was not used to meaning anything beyond male/female.

Not the terms maybe. But there is existence beyond signs and signifiers, which is exactly what Baudrillard and others have said.

> It was John Money and colleagues who likely lead the way with its redefinition, and, as we all know, Money proved to be a twisted, despicable human being. His seminal research was also proven profoundly and completely false, making him an extremely poor scientist as well.

I care about reality, not some scientist being a fuckup. There are plenty of scientists who describe reality better than conservatives do and also have unimpeachable integrity.

> Conservatives argue that the best definition for gender is a synonym for biological sex, which for humans has two functional possibilities. I have yet to see an iota of real proof that something else is better.

Well, yes, that's exactly what I'm saying. You have the simplistic belief that your binary/immutable map of an observably complex territory is the territory.

Reality is quite complex, so more complex models are in general going to describe reality better. That alone should make people be suspicious of simpler models when more complex models have greater explanatory power. (Occam's razor only applies when multiple explanations describe the world with equal predictive power. As a first cut, a maxim of going against Occam's razor will generally lead to better results.)
If you look at the benchmarks of the DeepSeek-V3-Base, it is quite capable, even in 0-shot: https://huggingface.co/deepseek-ai/DeepSeek-V3-Base#base-mod... This is not from scratch. These benchmark numbers are an indication that the base model already had a large number of reasoning/LLM tokens in the pre-training set.

On the other hand, my take on it, the ability to do reasoning in a long context is a general capability. And my guess is that it can be bootstrapped from scratch, without having to do training on all of the internet or having to distill models trained on the internet.
Algebra has its own magic though, c.f. the "vectorization" stuff which implements an IMHO really confusing syntax as a kludge to get around having to implement a lazy evaluator. And the placement operator syntax is... yikes. But yes, if you have a CSG problem you're porting naturally from a tool like OpenSCAD you should be using Algebra and not Builder, 100%.

Really it's just an odd area, without solid conventions, and so any API in the 3D space is going to look weird in some places. But IMHO build123d leans way too far out on the "clever" end of the spectrum for my taste. OpenSCAD is limited, but has the advantage of having stuck to a dry, dumb, obvious API.
“Pays”

Are those PPUs vesting and is there a cash market for them?
My surface-level reading of these two sections is that the 800k samples come from R1-Zero (i.e. "the above RL training") and V3:

>We curate reasoning prompts and generate reasoning trajectories by performing rejection sampling from the checkpoint from the above RL training. In the previous stage, we only included data that could be evaluated using rule-based rewards. However, in this stage, we expand the dataset by incorporating additional data, some of which use a generative reward model by feeding the ground-truth and model predictions into DeepSeek-V3 for judgment.

>For non-reasoning data, such as writing, factual QA, self-cognition, and translation, we adopt the DeepSeek-V3 pipeline and reuse portions of the SFT dataset of DeepSeek-V3. For certain non-reasoning tasks, we call DeepSeek-V3 to generate a potential chain-of-thought before answering the question by prompting.

The non-reasoning portion of the DeepSeek-V3 dataset is described as:

>For non-reasoning data, such as creative writing, role-play, and simple question answering, we utilize DeepSeek-V2.5 to generate responses and enlist human annotators to verify the accuracy and correctness of the data.

I think if we were to take them at their word on all this, it would imply there is no specific OpenAI data in their pipeline (other than perhaps their pretraining corpus containing some incidental ChatGPT outputs that are posted on the web). I guess it's unclear where they got the "reasoning prompts" and corresponding answers, so you could sneak in some OpenAI data there?
They seem to be getting more proactive in general. I was surprised last night when the one I was in went full barrel through a light that was already yellow and turned red while we were still in the intersection.
AFAIK o1 is hidden behind an expensive subscription (iirc $20/mo and still rate-limited), it might as well just not exist for most users (since R1 is free, provided service availability).

Also R1 (and its distilled models) expose their CoT & web interface has a websearch option too.

With the 14b distilled models, I found multiple math-related prompts where it gives the right answers almost immediately but then wastes 10 minutes making self-verification mistakes (e.g. "Write Python3 code that computes the modular inverse of a mod 2^32")
DARPA is asking universities for access to tunnels ASAP
in Scheme you can redefine `define` to be number 5. Easy to implement, but a nightmare in real world scenarios [0]. That's why languages like Go became popular, they're trashy, boring, and dumb, but that's exactly what's needed in big projects.

[0]: imagine your colleague wrote a macro that redefines for loops because at the time, it made life easier for him.
https://xyzlabs.substack.com/p/berkeley-researchers-replicat...

Given they've reproduced earlier model's and vetted it - I think it's probably safe to assume that these new models are not out of thin air - but until somebody reproduces it, it's up in the air.
I think it's incorrect to say "this is what the plurality wanted". I think very few, if any, Trump voters thought "Trump will be worse for public health and tuberculosis is something I want more of in America."
Who will enforce such a rule?

Speedrunning the history of civil society the dumb way.

Law is the history of transgressions against the public good.
It's myself and my colleagues full time jobs, yes. Jon Skinner (ST's creator and owner) also works full time with us.
I found it to be the grind half of a game, the chores you do to make the fun part more fun. But there is no fun part. The creative part is all prefabricated, and the exploration is very low-dimensional variation on templates that quickly blend together.
My experience is that companies just don't value good technical writing. And a lot of managers are basically illiterate, so it's the blind leading the blind.
> The 2020 inflation was the result of 2019 deficits. After that, the deficits were due to Biden.

Double check your timeline, Biden did not become president until 2021 so you cannot lay the 2020 deficit on him.

The single highest deficit year was Trump's FY 2020 with a deficit of $3.3 trillion. It came down the next year (FY 2021) which can either be credited to Biden or shared between Biden and Trump since it spans both their terms.
Yeah I mean, most users won't. Sorry if I got on the defensive, saw a bit too many posts on social media claiming you could run the model on your consumer-grade GPU.
Was Ok Go's Here it goes again after the MTV era?
The average age of a vehicle on the road in the U.S. is 12.6 years. The total number of vehicles registered in the past 20 years is only up about 20%, so the average age of a vehicle being scrapped is more like 23 years. That also doesn't account for the fact that many older vehicles that are deregistered aren't even scrapped, they're sent to Mexico or overseas for a second life.

The massively lower repairability of modern cars, especially from sensors and airbags is going to significantly lower this lifetime IMO.
In another world, macros could have filled the role that programmable yaml fills today.
Apple also has an advertising company. And they track you, but they get money by selling you stuff mostly. I’m deep into the Apple ecosystem system and they don’t force updates, try to upsell me every time updates are installed. I have no ads on the apps I use. They are quite happy for you to fork over gobs of money and call it a day.

Googles primary source of income is ads. All this stuff they do is the primary way they get money. People need to stop being surprised this is where they ended up.
I wouldn't be surprised if Uber/Lyft essentially end up as aggregators for autonomous cars.

You'll have multiple (local) companies, possibly Uber franchisees, maintaining autonomous fleets and doing the low-margin work of car cleaning, acquiring the vehicles, servicing them etc. Uber will be the interface between the passenger and those companies.

Uber could even keep some human drivers for peak-traffic situations that it would be uneconomical for a ppurely autonomous fleet to handle.
i type hint for the poor bastards who have to use my code. it's a lot more pleasant to read and reason about.
The calmness is a major selling point for me, personally. Beyond just the safety aspect, I can't count how many times I've gotten nauseous from Uber and taxi drivers swerving and accelerating/stopping abruptly, often for no actual speed gain.
I get targeted ads via the spotify app (and email sometimes) for Beast in Black, The Sword and Hammerfall. I dont really have the wide musical taste to comment in broad strokes but I havent missed an album for these so I am rather content.

Release radar does seem useless.
Incident SEV scales are a waste of time
humble request to make marks for the number key registers global marks

they're global marks in vim. no one uses them there because those registers are reused for clipboard history

the vscode extension doesn't implement registers this way so they're safe to use. i imagine zed's implementation is similar
As a long-time fan of Clojure (I've been using it to varying degrees since 2008 and it is my favorite programming language) I'm really excited about the interpretability it sounds like this will open up!!
~lifespan = 2.27 billion seconds

r1 api can spit out 63 tokens per second

~143 billion lifetime tokens.

~$313 million for a lifetime supply of tokens.
Focus and Dart Macros
Last Thursday. I called support after 10 minutes to cancel the ride but the car started moving while I was on the call.

That particular one was a traffic light green light with a "do not queue over intersection" area specifically designed to allow cars in my lane to turn onto the main road. The Waymo can't see that there's a gap in the lane it wanted to turn into, and was too conservative about queuing over the intersection at an angle when the light was green like any human would do.
DeepSeek might have a trademark problem in the US
> Sure there is, I can take you to court.

Courts can do very little to remedy the harm of dying from rat poison. They can address, in an imperfect way, the incidental harm your death by rat poison causes to other people, but, I think most people would strongly prefer not to die of rat poison, than to die of rat poison but have their dependents compensated financially for the loss of their future income, etc.
Civil law is only available to deep pockets.

Contracts are enforceable to the degree to which you can pay lawyers to enforce them.

I will run out of money trying to enforce my terms of service against openAI, while they have a massive war chest to enforce theirs.

Ain’t libertarianism great?
> You're not being hassled, stalked, or threatened by random people.

That's an odd thing to say. The only times I've ever been randomly threatened in public were on the road, by another driver.
Oh, I should have been clear there, I don't do kosher because it is "kosher." I just like the larger flakes and it is easier to cook with from familiarity. I'm assuming with time I could get used to iodized again, but not at all clear if I need to.

And we have actually been doing quite well with not eating out too often. Literally less than 5 times all month. Such that I am not at all worried that we are getting too much salt.

Though, that starts getting at the general question. How often should I get blood work for nutritional analysis? Because.... I don't know that I've ever done that.
The line between dedication and delusion is apparently pretty blurry. One can't seriously expect to profit with closed software in a space where free and open alternatives are the norm. VSCode is open source, 7-Zip is open source, they are both objectively better in every way. If anything I would rather support those by contributing directly.

Besides absurd levels of market saturation, code editors are a complement to software, just like libraries and frameworks, and we benefit most as a society by keeping tools open. Imagine having to pay a monthly subscription for a json lib. I find the entire concept ridiculous.
Can't tell why I'm hearing "I could stay awake just to hear you breathin" in my head when reading the above
Show HN: Voz Translate – Clone your voice and use it in other languages
I've been thinking a lot about how to accomplish various RAG things in Elixir (for LLM applications). PDF is one of the missing pieces, so glad to see work here. The really tricky part is not just parsing out the text (you can just call the pdftotext unix command line utility for that), but accurately pulling out things like complex tables, etc in a way that could be chunked/post processed in a useful way. I'd love to see something like Unstructured or Marker but in Rust (i.e., fast) that Elixir could NIF out to it. And maybe some kind of hybrid system that uses open llm models with vision capabilities. Ref:

- https://github.com/Unstructured-IO/unstructured

- https://github.com/VikParuchuri/marker
Flaky salt is easy to make. You can adjust the texture as desired. I usually start with a bucket of sea water, but iodized salt works too.
> DeepSeek has explicitly consented to a license that doesn't allow them to do this.

You actually don’t know this. Even if it were true that they used OpenAI outputs (and I’m very doubtful) it’s not necessary to sign an agreement with OpenAI to get API outputs. You simply acquire them from an intermediary, so that you have no contractual relationship with OpenAI to begin with.
i worked on pytype for several years, and occasionally had to support projects that wanted to use multiple type checkers. in my experience, there were definitely times when one type checker would pass some code and another one reject it, but not code that would strictly work on either one checker or another but not both. it could be a pain trying to keep the strictest type checker happy when the other ones passed your code, but usually once you did that you were fine.

also if you do find a case where two type checkers genuinely conflict on a piece of code, one or both of them would definitely like to see it as a bug report. if the underlying cause turns out to be undefined behaviour in the specs, the general typing community will work together to nail it down and the type checkers will all adapt. in general it is a very cooperative process that values the existence of a common set of standards, which is why I think having more type checkers will only improve the situation wrt nailing down corner cases in the specs.