Hacker News Reader

pmxion Mathematics has changed. Let's act like it

None of the OpenAI papers published with a Lean formalization have been retracted.

pmxion Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.

“I don't get it. Why are they confessing?” “They're not confessing.” “They're bragging.”

Hilarious sentence: "DeepSeek-V4.1-Flash-1017 is a minor update to DeepSeek-V4.1-Flash, delivering substantial improvements across reasoning, coding, agentic tasks, and visual benchmarks." (emphasis mine)

pmxion On the Navier–Stokes Millennium Prize Problem

The converse is not true.

pmxion Taxi drivers rarely die of Alzheimer's

This test would be passed by a Waymo with ChatGPT.

pmxion DeepSeek V4 Flash 0731 Intelligence, Performance and Price Analysis

I have updated OpenAI's chart[1] from yesterday to include one more datapoint: DeepSeek V4 Flash 0731. It's on the frontier.

https://files.parasmittal.com/openai_aa_luna_dsflash.svg

1: https://openai.com/index/advancing-the-price-performance-fro...

pmxion Kimi-K3 on HuggingFace

That’s cool. I knew o1 hid it since launch, so I assumed Anthropic would also have never shown it.

pmxion How is the Bun rewrite in Rust going?

The agent loop doesn’t run in the browser.

pmxion Kimi-K3 on HuggingFace

That's a summarized and filtered view of the actual reasoning.

OpenAI and Anthropic guard the real reasoning closely. Users have never been able to see it and the API returns an encrypted blob instead of legible reasoning.

pmxion Chinese chipmaker shares surge 470%

Clearly you do, given you expressly maintain that China includes Taiwan (an uncommon opinion)?

pmxion Reviewing AI Code Is Not a Viable Argument

The key claim here is, paraphrased: “LLM coding assistants” cannot “help someone write code better or faster.”

This is not true.

pmxion Where'd Codex Go?

This is expected behavior; the Codex app has been rebranded as the ChatGPT app.

pmxion Claude Code is steganographically marking requests

This catches Claude resellers. Meaning companies who proxy Claude traffic for users in, say, China.

https://www.chinatalk.media/p/how-to-buy-cheap-claude-tokens...

pmxion Mistral OCR 4

This has been a niche where Mistral has actually been successful. Btw, Hindi and Japanese are bucketed in "Rare Languages," which is odd.

pmxion How to earn a billion dollars

PG acknowledged that growth is limited by market size. Markets to support "avogadrillionaire" level wealth may not current exist.

However, there obviously exist markets to support billionaire level wealth, as evidenced by the at least 30 billionaires produced by YC, and the many others.

pmxion Claude Fable 5

I had Claude straighten it out:

  Model           In     Out    BIn    BOut
  Haiku 4.5   $ 1.00  $ 5.00  $0.50  $ 2.50
  Sonnet 4.6  $ 3.00  $15.00  $1.50  $ 7.50
  Opus 4.7    $ 5.00  $25.00  $2.50  $12.50
  Opus 4.8    $ 5.00  $25.00  $2.50  $12.50
  Fable 5     $10.00  $50.00  $5.00  $25.00

pmxion MiMo-v2.5-Pro-UltraSpeed: 1T model with 1000 tokens per second

It’s near the frontier meaning it’s the best intelligence for the price.

It’s not even close to frontier meaning it’s the best intelligence.

pmxion Bun Has Been Converted to Rust. Now What?

This will load the PR easily: https://diffshub.com/oven-sh/bun/pull/30412

pmxion Please Use AI

The first part, describes a decision to ask AI over calling a good friend and domain expert. Typically the domain expert is not an option. (looking at my last 10 Claude chats, I knew a domain expert for one of them).

The second part assumes AI writing can substitute mastery of writing, and simultaneously, not be good enough.

We have, for a several thousand years, continued to develop labor and cost saving technology. We have been OK thus far.

pmxion Claude Opus 4.8

Yeah. They are aware: "Users will find Opus 4.8 to be a modest but tangible improvement on its predecessor."

pmxion Claude Opus 4.8

In the "What's next?" section, "There’s still more to be done: we’re working on developing and releasing models that provide many of the same capabilities as Opus at a lower cost."

pmxion Elevated errors on Claude.ai, API, Claude Code

I wanted to ask someone about the firepass subscription. It implies unlimited usage - sounds too good to be true. Is it? Can you leave your agent running all day?

pmxion Wacli – WhatsApp CLI: sync, search, send

These CLIs are for AI agents. If I have a CLI to WhatsApp, then I can direct an agent (such as OpenClaw) to manage my messages for me.

pmxion CodingFont: A game to help you pick a coding font

I didn't like them either. Thankfully, they can easily be disabled. See my config: https://github.com/pmxi/dotfiles/blob/e779c5921fbe308fad0c95...

pmxion Ask HN: Do coding assistants "see" attached images?

You can select models on Perplexity. He used Sonnet 4.5 Thinking

pmxion Vibe coding cleanup as a service

This may be interesting to you

"Vibe code is legacy code (val.town)" https://news.ycombinator.com/item?id=44739556

pmxion No adblocker detected

Fortunately, the GitHub README opens with a list of links to install ublock Origin.

https://github.com/gorhill/uBlock?tab=readme-ov-file#ublock-...

pmxion My experience creating software with LLM coding agents – Part 2 (Tips)

> If you are a heavy user, you should use pay-as-you go pricing

if you’re a heavy user you should pay for a monthly subscription for Claude Code which is significantly cheaper than API costs.

pmxion Copilot broke audit logs, but Microsoft won't tell customers

Humans are far less deterministic than LLMs, yet presumably are acceptable for writing program source code?