HNHacker News
TopNewBestAskShowJobs

fnord123

4,679 karma · joined February 25, 2007

submissionscomments
fnord123··on The Copilot+ PC brand is dead
Microsoft has between a 27 and 32% stake in OpenAI

https://blogs.microsoft.com/blog/2025/10/28/the-next-chapter...

fnord123··on Herdr Studio
It's not even in Rust.
fnord123··on Simple Is Not Small
> 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.

fnord123··on Migrating to HTTPX2
Kludex is a really good dev
fnord123··on Fairphone is now officially available in the United States
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.
fnord123··on Fairphone is now officially available in the United States
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'
fnord123··on On AI regulation and messaging
We will cure virus.
fnord123··on SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers
DBeaver can connect to remote sqlite databases through an SSH tunnel:

https://dbeaver.com/docs/dbeaver/Database-driver-SQLite/#rem...

fnord123··on Kimi Linear: An Expressive, Efficient Attention Architecture (2025)
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.

fnord123··on Kimi Linear: An Expressive, Efficient Attention Architecture (2025)
Also possibly true: Anthropic is running Kimi locally in their hardware and "distilling" it.
fnord123··on About the security content of macOS Tahoe 26.6
https://www.cnbc.com/2026/07/10/apple-openai-lawsuit-trade-s...
fnord123··on Kill The Cookie Banner
>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.

fnord123··on Our position on open-weights models
> 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).

fnord123··on Kill The Cookie Banner
> "Sorry, having some tracking is the condition to get this free content. Accept or don't."

The law that caused the cookie banners also says companies cannot block access to the site if the cookies are not required for the functioning of the site.

Some German news sites have broken this and have "accept or pay" and I think this leaked to news sites in other countries. Facebook even tried it.

So, sure, if DNT is true, try to make people pay. Fine by me.

fnord123··on Kill The Cookie Banner
> To me, having a browser setting for cookies is the only sane way to handle this, it's surprising that this was not considered from the beginning.

There is one. It's a DNT header. Knucklehead websites ignore it.

fnord123··on I regret migrating to Codeberg
Software has always been political. From the big P political when PGP was banned from export from the US in the 90s, to the small p political where you can fix the software running on your own machine (akin to filling in the potholes on main street).
fnord123··on Which streaming service was that on again?
Justwatch.com had this info
fnord123··on EU Parliament greenlights Chat Control 1.0
This is really strange since the European Commission strongly recommends that staff use Signal[1].

[1]: https://www.documentcloud.org/documents/26073615-c-2025-5430...

fnord123··on SpaceX to buy Cursor for $60B
> The market for "coding harnesses" and "AI IDEs" is already oversaturated and they are effectively a commodity at this point, you can use any of them with any provider more or less interchangeably.

Yes and no. I've used a few different harnesses with closed and open models and there is definitely something going on that makes some harnesses work better than others. Many of the differences are hard to pin down and some are things people don't care about. But I wouldn't say they are commodified just yet.

1. Memory use. I have colleagues complaining that Clause Code uses several GB of memory. Meanwhile I haven't heard about that regarding codex or goose, or even opencode for that matter.

2. Suitability for local models. When you use Anthropic models, you use Anthropic as a provider. They can have software between the model and your harness that will fix issues with the model. One notable thing that even the best open weights models struggle with is broken tool calls. There is a lot that a harness can do to fix broken tool calls when working with a straight up ollama running a raw GGUF file.

3. Ease of use with non mainstream models. OpenCode has GREAT coverage of models/providers. Goose, less so as it relies on people to set up their own anthropic or openai compatability settings. e.g. Zed doesn't let you use Z.ai (which, if you speak British English, sounds ironic because "zed ai" isn't directly supported by Zed the editor).

4. Worktree support. Opencode and probably all the TUI harnesses works in a local directory - so you need the terminal to be in the worktree. Zed, however, works centrally on your git repo and tracks the worktrees so you can bounce around your work in a single window.

Of these, '2' is maybe the most important one but also the hardest to pin down as a feature. '3' is a one time cost. Of course '1' could be a blocker for someone using a macbook air or neo.

fnord123··on Microsoft and OpenAI end their exclusive and revenue-sharing deal
Because they are based on [the west coast of the US](https://en.wikipedia.org/wiki/American_frontier). DeepSeek, Z.ai, Moonhsot, and Mistral are never called frontier because they aren't based in California.
fnord123··on Changes in the system prompt between Claude Opus 4.6 and 4.7
Are these your own skills files or are you using something off the shelf like bmad or specify-kit?
fnord123··on Mistral AI Releases Forge
> but what about ai.eu

oh, .. why?

fnord123··on Firefox 148 Launches with AI Kill Switch Feature and More Enhancements
Found it: browser.ml.chat.provider
fnord123··on Firefox 148 Launches with AI Kill Switch Feature and More Enhancements
I don't mind the AI features per se, but is there a configuration setting to sent the traffic through a local AI Gateway to prevent the AI from receiving private information? At the very least to track what is sent over the wire.
fnord123··on Minions – Stripe's Coding Agents Part 2
On thing that troubles me is that code reviews are also an educational moment for seniors teaching juniors as well as an opportunity for people who know a system to point out otherwise undocumented constraints of the system. If people slack on reviews with the agent it means these other externalities suffer.

Are being handling this at all? Is it no longer needed because it gets rolled into AGENTS.md?

fnord123··on Gemini 3.1 Pro
> the AA-Omniscience Hallucination Rate Benchmark which puts 3.0 Pro among the higher hallucinating models. 3.1 seems to be a noticeable improvement though.

As sibling comment says, AA-Omniscience Hallucination Rate Benchmark puts Gemini 3.0 as the best performing aside from Gemini 3.1 preview.

https://artificialanalysis.ai/evaluations/omniscience

fnord123··on We mourn our craft
Be careful. You get good at what your practice.
fnord123··on Heathrow scraps liquid container limit
> Others disallow even empty bottles at security screening

I haven't encountered this. Could you name some?

fnord123··on A flawed paper in management science has been cited more than 6k times
> Stop citing single studies as definitive. They are not. Check if the ones you are reading or citing have been replicated.

And from the comments:

> From my experience in social science, including some experience in managment studies specifically, researchers regularly belief things – and will even give policy advice based on those beliefs – that have not even been seriously tested, or have straight up been refuted.

Sometimes people use fewer than one non replicatable studies. They invent studies and use that! An example is the "Harvard Goal Study" that is often trotted out at self-review time at companies. The supposed study suggests that people who write down their goals are more likely to achieve them than people who do not. However, Harvard itself cannot find such a study existing:

https://ask.library.harvard.edu/faq/82314

fnord123··on Eat Real Food
> America is sick. The data is clear.

Can we inform dictionaries and encyclopaedia that data is now a mass noun and it is considered archaic to use data as a plural of datum?

Page 1 of 34Next →