MurphyA/hacker-news huggingface dataset:
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
by henryhmko | 2025-09-20 23:27:50+00:00
I enjoyed reading DeepSeek's Natively Sparse Attention(NSA) and implemented a JAX version and Pallas Kernel(JAX's kernel language).

There's a Google Colab link to follow along at the top of the blogpost.

Enjoy!
by Intermernet | 2025-09-20 23:29:03+00:00
It seems we have a different definition of collaboration. I assumed that it meant communication between the parties. Publishing blog posts has many purposes, but dirrect communication isn't one of them.

"They are under zero obligation to create bug reports, file issues, check in on a chat channel, or contribute in any other way to an open source software project that does not employ them." Correct, and absolutely fine, but not collaboration.

"Writing blog posts is a perfectly reasonable and normal community behavior." Correct, and absolutely fine, but not collaboration either.

"The members of the Zig project are free to reach out to the author!" Yes, but it's much easier, more efficient and direct for the author to have reached out to the Zig team.

"When you create a project in public people will write about it, tweet about it, complain about it, etc (if you’re lucky!)." Yes, but, once again, this isn't collaboration.
by ipaddr | 2025-09-20 23:29:09+00:00
Those calculations are off.

200/12 is the cost of a pizza.

Unless you are buying everyone a pizza divide a pizza by 6 or 7 and you end up at $50,000 plus this is a cost you can deduct.

You are buying that many pizzas you can get a huge discount.. probably get those costs down by half. $25,000...
by wisty | 2025-09-20 23:29:51+00:00
Why is it people here seem so unusually sceptical?

It's expensive (but not really, only compared to knives - a $500 GPU isn't expensive). It's probably mostly good in certain niches and using a $10 knife that's sharpened properly is probably 95% as good in almost every application, and using a $10 knife that is only reasonably well sharpened is probably 90% as good. Slicing stuff for hotpot or yakiniku or Korean BBQ is what I thought of when I saw the ad, while for a lot of things it's probably not worth it. But a lot of stuff is like that - good in a niche, OK elsewhere, and there's always a cheaper option that's more flexible and almost as good even in the niche.

I feel like hn is upset by the lack of marketing. This looks like a direct sales ad that you'd get on Facebook, rather than the hype research marketing that mostly targets the b2b types who mostly dwell here? The marketing isn't the kind of marketing they normally get targeted by, so they notice it's marketing?

I notice this on other forums. If marketing isn't slick and well targeted, people get upset and suspicious because it's marketing. But functionally, they're not upset because it's marketing (almost everything is), they're upset because it's not enough marketing, and functionally they want more marketing that targets them better.
by JumpCrisscross | 2025-09-20 23:30:12+00:00
> We just have zero reasons to have touch screens in cars

A good sign you’re missing something is when you see zero reason for another’s effort.

Touch screens are a cheap, adaptable UI. They simplify supply chains and allow for a richer variety of context-dependent controls. The map on a properly designed touch screen absolutely renders less useful a phone for navigation, which in turn removes a host of potential distractions from the game.

Touch screens should be an option for car designers and buyers. But they should be done safely.
by unsungNovelty | 2025-09-20 23:30:19+00:00
Its not the OSS nature. Any product from scratch will be expensive to start with and reduce in price eventually. There is a reason why Tesla didn't start with Model Y first.

Underspeccing is specific to mobile industry. But I agree with you here. Going for premium specs is a better way to start. But they'll have to pick a specs that works for them the company and can reach maximum people. So I also acknowledge that it's tough.
by hedora | 2025-09-20 23:30:31+00:00
I would support legislation that requires routine controls to be safety tested, and further requires all functionality to behave the same regardless of vehicle velocity or whether it is in gear.

There could be a narrow carve out for the manual, and stuff like software updates that make the console reboot.

If you attempt to adjust the bass and treble on our kia when it is in gear, the fucking sliders are not only broken, but they randomly move around on the screen like a “I bet you can’t dismiss this dialogue” prank app.

On old bmws, you can set gps destinations using the jog wheel while the car is in motion.

On the new ones, that’s disabled, the voice control reads off legal disclaimers and aggressively times out, making you restart the flow if you dare pay attention to the road while driving.

On top of that the (enshittified) jog wheel is erratic if the car is in motion. How does this stuff pass safety tests?
by ryukoposting | 2025-09-20 23:32:14+00:00
This is very cool, I might actually get one to charge my laptop.

That being said...

I can't be the only person who consciously avoids fast-charging my phone. My whole apartment is full of wireless charging pads intentionally plugged into weak chargers (wireless charging avoids putting wear on the USB port). 60 watts can't possibly be healthy for a battery small enough to fit into a phone.
by xphos | 2025-09-20 23:32:50+00:00
I think the E.O wording says a 100K for an appliciant to enter the lottery and they'd hold that money I am assuming until you won, what happens if you don't win unclear? But I think this is all horrible law making. E.O. are not effective leadership or law building because its so underspecified and rush and haphazard. Its a shame that we can't have a sensible immigrantion reform and it is behavior like this that makes me feel republicans simply don't care about immigrantion reform just vibes. How they are doing it is simply unserious and punitive but short sighted.

This is simply going to push people away from coming to the US and we will see more and more robust tech competition with laws like this. Like them or hate them H1B visas are a major brain drain on all of the nations the US wants to compete with which is good for us not bad. Tech workers are not hurting in the salary department.
by tim333 | 2025-09-20 23:33:03+00:00
That goes:

>Congress shall make no law respecting an establishment of religion, or prohibiting the free exercise thereof; or abridging the freedom of speech, or of the press...

It doesn't say anything about the FCC not pressuring Disney. They are not congress and are not making a law. I mean I don't agree with it but it's not clear it violates the actual text of the first amendment as written in the constitution. The spirit of it perhaps.
by saneshark | 2025-09-20 23:33:17+00:00
Fascinating Guardian profile of Song-Chun Zhu, a leading AI scientist who left UCLA for China after nearly three decades in the US. He argues that today’s AI, dominated by large neural nets and benchmark-driven research, has drifted away from the deeper pursuit of intelligence — reasoning, causality, social and physical understanding. Zhu says China offered him resources and freedom to chase these harder, less fashionable questions, while US academia felt increasingly constrained by political pressure, funding structures, and a preference for “safe” incremental work.

Raises two questions: Are we losing diversity of scientific thought by letting scale-driven AI monopolize the field? And what does it mean for global research leadership if the next big paradigm shift in AI comes from outside the US?
by jorvi | 2025-09-20 23:33:32+00:00
Well, I can't speak to "false advertising", but the thin slice he did with the tomato and the grape you can just achieve with a well-sharpened knife. Both sides of a whetstone and then a strop will get you there.

As for the sticking, this is solved by vertical fluting already.

Ultrasonic vibration is a complicated solution for a problem that has already been solved by the simple solution of just sharpening your knives. And you don't need to get expensive either. A Sharpal diamond stone, leather strop and a good workhorse knife like a Victorinox Santoku will get you there :)
by Intermernet | 2025-09-20 23:34:34+00:00
You can keep writing blogs, but if you want to collaborate you should use the actual mechanisms set up by the project to do so. It's fine if you want to blog about this stuff, and it's often a means for developers to get their name out there and promote their opinions and ideas. There is nothing wrong with doing this, but if you actually have an issue with a project it's much faster, simpler, and, dare I say it, polite, to use the actual channels created for exactly this purpose.
by lysace | 2025-09-20 23:35:13+00:00
Very slightly OT: My view is that Volvo got big in Sweden because they took moose accidents seriously, designing their cars to handle head-on collissions. Essentially strenghtening the A pillars a lot.

(I have this memory from when I grew up in the 80s: one of my friends' dad died from a head-on collisson with Moose.)
by trhway | 2025-09-20 23:36:21+00:00
One can wonder how people like DPR or that Nikola guy got pardoned. I'm pretty sure that the President didn't know about all those people until some aide or a relative brought it up. Now, how to make such an aide or a relative to bring it up before the President? May it help to pay $5M to join one of those lunches at Mar-a-Lago where one can meet such an aide or a relative and drop the name of somebody so deserving a Presidential pardon?
by sheepscreek | 2025-09-20 23:37:24+00:00
This neatly sums up my experience with Claude Code. It’s a brilliant tool - but one that often requires a tight leash. The challenge is that you won’t know when or where until you’ve used it extensively for your specific use case.

In the author’s case, producing a formal proof that inspires little confidence feels counterproductive. It’s very likely that we’re missing a key piece here: perhaps what’s needed is a model trained specifically to keep large language models on task, verify their output, and challenge them on our behalf.

That said, deep domain knowledge remains essential. Without it, things can easily get built in odd or unintended ways.

A practical workaround (for typical app development/not formal verification) may be to treat the system as a black box - relying on carefully written specifications or test cases. In many situations, that approach could be more effective than trying to wrestle certainty out of inherently uncertain processes.
by pron | 2025-09-20 23:37:32+00:00
> I think it’s a good compromise, because the consequences of forgetting it are way harsher.

And easier to detect. Knowing that no operation is carried out unless you can see it is important to many who do low-level programming.

But there is no one right answer. Differences between programming languages, including those between Zig and Rust, are mostly about people's personal preferences because language designers rarely make choices that are universally inferior than others. When they differ, it's because both sides are reasonable and have their proponents.
by georgemcbay | 2025-09-20 23:39:43+00:00
One of the first things the Trump admin did was fire a lot of the inspectors general, including the one for the State Department.

I'd assume the reply you are replying to is being sarcastic specifically in reference to that event.

There's currently an (Acting) IG for State as a replacement, but I think its pretty clear how long that job would last for him if he were to actually do it.
by Reason077 | 2025-09-20 23:40:13+00:00
My Apple 20W UK charger measures 49 × 45 × 30 mm, making it much smaller than this Ugreen one (50 x 50 x 42 mm).

I'm guessing an Apple 40-60W UK version might come in somewhere in between in size?

There's also the Anker Nano 45W, at 49 × 49 × 34 mm: https://www.amazon.co.uk/dp/B0DPR2VYQF
by daurentius523 | 2025-09-20 23:40:59+00:00
To put in simply.

Linux systems: Any library is system library because otherwise there will be no real OS libraries or API.

Rust: No ABI. = No (real) shared libraries.

Debian: https://www.debian.org/releases/trixie/release-notes/issues....

Me who wrote long, long comment and then accidentally pushed close tab shortcut. !!@@!

I would recommend building some packages containing rust, especially on older hardware - and then realize that because of static linking you will need to rebuild it very very often - and don't forget that you are building clean. Because it is expected that you will use required shared libraries to make life easier.

I think that rust people should maybe sometimes just consider - that rust if pushed in such way will be more hated than C.

Maybe you should not try to deflect criticism about stable ABI and shared libraries - linux OSes REQUIRE IT - nobody will change OS architecture because you want it. And maybe we should be more conservative architecturally in especially most critical pieces of software architecture.
by jorvi | 2025-09-20 23:42:26+00:00
Its so classically Apple that just when most brands are starting to standardize on PPS (Programmable Power Supply) to allow any voltage to be used, they come with an alternate standard AVS (Adjustable Voltage Supply) just to force people to buy their certified chargers.

The sole benefit of AVS over PPS is that AVS goes beyond 100W. But these chargers only do 60W. And it would have cost Apple almost nothing to also add PPS to their phones and chargers.

Edit: hello fanboys :)
by adastra22 | 2025-09-20 23:42:42+00:00
> I find this very surprising, and you probably should too.

Why? My first assumption would be that Claude Code would be exceptionally good at writing Lean proofs, for many of the reasons given in the article. It's been on my todo list for a while to try out some of my coding workflows on proof writing. I'm glad OP did.

But why does he find this surprising? That wasn't laid out.

EDIT: To be clear, I'm talking about this bit:

> I think this is part of why Claude Code is surprisingly good at theorem proving. Lean is very strict in the programs it will accept. This makes writing Lean arduous for humans, but it means an AI agent gets detailed feedback.

I first encountered this in writing Rust programs, first with Cursor (using anthropic models), and now with Claude Code. Things have gotten better, but initially Rust was not very well represented in the training sets used, and the agents would be horrendous beginner mistakes. Writing Javascript-like code with Rust-ish syntax, and expecting it to work.

But the rustc compiler gives very good errors, with context and suggestions for fixing. In two or three iterations it would fix all the mistakes, without any need for me to get involved. And because Rust's type system and safety guarantees are so strict, by the time it gets it to compile it _probably_ works.

It's been my assumption since that experience (my first experience using a coding agent), that it would be very good at writing machine-checked proofs.
by TZubiri | 2025-09-20 23:43:05+00:00
Interesting. I may be outdated

1) raspberry pis competitors have gotten better, that nuc is very cheap.

2) the pi has gone in a different direction, increasing specs and price, the 3b+ or 4a had much lower specs, price, power consumption etc...

In conclusion, if you can get an arm soc board with specs similar to the 3b+ or 4a (500mb to 2gb ram), then you can host a blog on linux for cheap. Should run you in the 50$ area. But raspberry no longer makes these, you might look into the thousands of competitors.

Additionally if you want something more serious, nucs become reasonable, while it's hard to tell whether two 50$ pis or one 200$ Intel NUC would be better. It depends on the tradeoffs.
by TorstenK | 2025-09-20 23:43:31+00:00
https://searx.com/ (if I got the URL correctly) requires JavaScript. Unlike Google, https://startpage.com/es/q=<search string> (secured HTTP mandatory) doesn't accept Umlauts in strings. Translations are unavailable, such as http://google.com/search?q=on+a+particular+base+translate+Ge... did. (Pure translation services require JS for results to be rendered, altogether.) Third, StartPage's result pages are ten times bigger than Google's were. Viktor Lofgren's https://old-search.marginalia.nu/search?query=<string> searches in a traditional manner. An interesting concept. It's output is much different to what I was used from answers to natural language queries, however. The interface of Will's https://4get.ca/ is as slim as Google's, but replies to (mandatory) Captchas require JavaScript. In ten days since Google blocked searches, I haven't found an appropriate alternative. Torsten
by kmoser | 2025-09-20 23:43:44+00:00
When you chop, you're applying force almost entirely vertically. When you slice, you're applying at least some force horizontally. That horizontal force can be transmitted through the knife to the food to the cutting board, causing the board to slide. It's especially noticeable when you're slicing food that is high, like a loaf of bread, and the cutting board is on a slick stone countertop.
by dotancohen | 2025-09-20 23:43:56+00:00
That article states that the equivalent explosive power of the bomds dropped on Gaza were equal to six times the explosive power of the bomb dropped on Hiroshima. Yet despite all that firepower having been dropped in one of the most densely populated places on Earth, the death toll in Gaza is an order of magnitude less than that in Hiroshima.

This makes it very clear that Israel is doing an excellent job of protecting civilians in Gaza, by warning civilians away from the targeted military infrastructure. Unless you want to argue that Hamas (who famously forbids civilians to flee bombings and has been recorded shooting at fleeing civilians) is somehow protecting the civilians in Gaza.
by leakycap | 2025-09-20 23:44:07+00:00
Thank you for the free remote personality & aesthetic analysis. It's a rare treat to be the subject of someone reading between the lines.

It sounds like you don't need anyone to answer your questions, you can just lean into that excellent internet clairvoyance you're displaying.

If anything, it seems dear GP & I should be asking you to tell us more about ourselves.
by lta | 2025-09-20 23:45:31+00:00
Omfg ! The phone I didn't know I wanted. I've grown so sick of Google's BS with android and their policies. I want a phone that I own and I can hack a little bit.

This is going to be my next phone !

I'm very curious about the Android app support and if by any magic it can do payment. But even if it doesn't it's still going to be an improvement over my pixel
by jijijijij | 2025-09-20 23:45:33+00:00
Depends on the jurisdiction and circumstances. In my country filming someone without their consent is also illegal. In a situation where someone feels violated in their privacy, when words didn’t work, force may be required. Advocating or not, it’s likely going to happen. Pointing a camera at someone‘s face obnoxiously tends to escalate situations. Mix alcohol, testosterone and happenstances and you got yourself broken glasses. Try that with a phone camera today and report back.
by thaumasiotes | 2025-09-20 23:45:54+00:00
>>> It seems unlikely that, say, vertebrates are in the future going to "undo" the major evolutionary developments of the past and lose their skeleton, body symmetry, number of limbs

> but it still seems that large scale structure tends to be preserved and it's more localized things like limbs/eyes/ears/teeth that may adapt

Make up your mind.
by mixmastamyk | 2025-09-20 23:46:32+00:00
Interesting since Apple and Goog both ship their OS on their hardware.

It's Debian with Phosh and Halium (Android drivers) installed to an older ubiquitous Android handset. Not perfect but a compelling shortcut. Distros have been created with less differentiation.

First Linux phone in a while that is not a decade behind hardware wise. This one is only perhaps half that, haha. My iPhone 6s is still snappy however, so it should be fine.
by acdha | 2025-09-20 23:47:35+00:00
It seems relevant that in the mid-90s the Israeli hard right reacted to the possibly of peaceful by engaging in some highly effective political assassinations which successfully restarted the cycle of violence, setting the stage for Netanyahu to prevent the two state solution.

https://en.wikipedia.org/wiki/Cave_of_the_Patriarchs_massacr...

https://en.wikipedia.org/wiki/Assassination_of_Yitzhak_Rabin
by duxup | 2025-09-20 23:47:37+00:00
Pilgrim "lionizing" is just more of a fairy tale situation. People aren't taught very much about them. Most of the history taught in my experience is in elementary school where obviously you can only go so deep.

The gist that is taught is that they were one of the first and took a big chance is really all it is. There's not much depth to it as far as adoration of the Pilgrims in the US.

I had to read / find some good documentaries later in life before I really learned about them:

https://www.pbs.org/wgbh/americanexperience/films/pilgrims/
by gerdesj | 2025-09-20 23:49:03+00:00
An octet is a byte but I get the point - it's when you use a word in context.

I find it fascinating how you slam words together - who cares about "correct"? Is there really a correct way to program in C++, in both French and a nod to English? In the end if it compiles and works - who cares!

Viva la Franglais++
by johnnyanmac | 2025-09-20 23:49:19+00:00
If employers can't employ in the spirit of the H1-B, which to my knowledge is hiring top talent around the world that can't be found domestically, without putting them in golden chains: maybe the program should be killed.

I don't want to be too hyperbolic, but this has the same vibes of "but freeing slaves will impact the economy!" IMO businesses that can't operate ethically shouldn't be encouraged.
by DarkNova6 | 2025-09-20 23:49:32+00:00
Let's assume it really is only about code monkeys. Those asian code monkeys won't demand silly things like... unionization or decent living conditions. They are less likely to have problems with creating autonomous weapon systems that integrate facial recognition.

But it's not about those people. It's about experts in IT infrastructure, AI, researchers, etc. Those kind of people don't fall from trees and know that their expertise is well sought after. And if the US is not a safe or attractive choice, they go elsewhere. Simple as that.
by apical_dendrite | 2025-09-20 23:49:34+00:00
No - the initial reporting accurately reflected what was in the proclamation. The proclamation did not exclude people already on H1B visas. That's why Microsoft and other huge companies were telling their employees not to leave the US or to get back to the US within 24 hours. This is the administration doing cleanup because they either screwed up drafting the proclamation, or they got so much pushback that they had to backtrack.
by andsoitis | 2025-09-20 23:49:48+00:00
The point is to have a party for a team of 12, they were spending $200. It does not matter whether it was all eaten, they spent that amount for the team.

We can thus assume that if all teams did something similar (why would you only allow some teams and not others), the dollars add up and that is how you look at it from a company perspective. Not the one team’s spend, but the overall spend.
by Izikiel43 | 2025-09-20 23:50:17+00:00
Did you read the proclamation?

I did read it, the media reporting was accurate at the time, the proclamation as is doesn’t say anything about new applications, it just says that h1b holders won’t be let in unless they can prove the 100k$ fee was paid by their company starting September 21st.

The lawyers at my employer, much more qualified than me regarding law matters, reached the same conclusion as I did as a layman on the subject.