fnord123

Joined 19 years ago

Karma
4,679
Submissions
1,757
Member since
Feb 25
View on Hacker News

Recent submissions

Comment · 5 days ago
So now I need a TSP AND an LSP eating loads of memory?
Comment · 1 month ago
Comment · 1 month ago
It's not even in Rust.
Comment · 1 month ago
> Using "length of the correctness statement + length of its proof" works quite well as proxy for complexity of a component (the longer, the more complex).

It sounds like a reasonable concept, but then Principia Mathematica takes 300 pages to prove that 1+1 is 2.

Comment · 2 months ago
Kludex is a really good dev
Comment · 2 months ago
I have a fairphone 5 and actively don't like it when it asks me if I want to mirror my screen when I plug it into a charging cable attached to a monitor.
Comment · 2 months ago
You need to transfer more than 480Mbps over a hard line to and from your phone? Seems like a niche requirement that even iPhone 17 doesn't bother with. Or is it psychological 'nunber must go up and usb number went from 2 to 3 many years ago so now 2 bad'
Comment · 2 months ago
We will cure virus.
Comment · 3 months ago
Comment · 3 months ago
No, keep reading:

> The requirements set forth in Sections 2 and 3 do not apply to: (a) internal use of the Software, defined as any use that does not make the Software, its outputs, or its underlying capabilities available to third parties; or (b) any use of the Software accessed through Moonshot AI's official products or certified inference partners.

"distilling" from their own hardware would be an internal use of the software.

Comment · 3 months ago
Also possibly true: Anthropic is running Kimi locally in their hardware and "distilling" it.
Comment · 3 months ago
Comment · 3 months ago
>We'll never pay for news or text content of any kind... or they marginalize themselves with paywalls, subscribed to by only a small minority of users.

You should definitely consider supporting your favourite news sources directly. ft.com, economist.com, lwn.net, etc. Maybe your outlook might change regarding whether they are marginalising themselves or making sure their financial motivations are more correctly aligned with high quality output.

Comment · 3 months ago
> Schrödinger's China at once is an evil entity looking to use AI for their own nefarious purposes yet also willing to cooperate with their main competitor to prevent other actors (who??) from achieving similar goals (all while under a chip embargo too!!)

Very good point. However, if one reads the transcript of the speech that Xi Jinping gave to the World AI Conference on 17 July, we see that he he is very much in favour of AI safety.

https://english.www.gov.cn/news/202607/17/content_WS6a5a1172...

> Second, we should strengthen risk-awareness and ensure that AI is secure and controllable. AI should be a trusted tool for humanity. We should take seriously the various types of inherent and secondary risks that AI may trigger. We should put in place laws and regulations, technological monitoring, early warning and emergency response systems in order to strengthen the line of security, prevent abuses and malicious use, and ensure that AI is always under human control. In the meantime, we should jointly oppose overstretching the national security concept in the field of AI and placing one country's security over that of others.

Now, let's contrast another important part of safety here. Amodei puts the fact that this will need to be a global effort as a mere note that sure, China will need to help too:

> Note that to be effective, testing would need to be global, which means even the CCP would need to be on board. I think this may actually be possible: as I wrote in The Adolescence of Technology, limited cooperation around preventing AI biological weapons may be possible because it is in China’s interest too.

International collaboration is the focus of Jinping's speech. But one imagines "cooperation" Amodei has in mind if "do what I say" while Jinping has more collaboration in mind here. (Even if you think 'china bad' they deserve credit for collaboration for their open weight models).

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton