Hacker News: thomasahle

New comment by thomasahle in "OpenClaw Creator Spent $1.3M on OpenAI Tokens in 30 Days"

thomasahle — Sat, 16 May 2026 20:39:08 +0000

Is my website broken?

New comment by thomasahle in "OpenClaw Creator Spent $1.3M on OpenAI Tokens in 30 Days"

thomasahle — Sat, 16 May 2026 13:13:58 +0000

I'm trying to recreate all the commercial EDA stack in open source. (RTL simulators, synthesis, formal proof tools, etc.)

Building compilers has a _lot_ of parallel tasks agents can work on.

Wish me luck..

New comment by thomasahle in "OpenClaw Creator Spent $1.3M on OpenAI Tokens in 30 Days"

thomasahle — Sat, 16 May 2026 12:23:43 +0000

He used 600B tokens in 30 days.

I use more than 150B/month with just 15 codex accounts.

60 accounts is "just" $12,000/month. So Peter could "save" 100x by using monthly accounts.

Of course, he doesn't have to, as he works at OpenAI now.

New comment by thomasahle in "Can LLMs model real-world systems in TLA+?"

thomasahle — Sat, 09 May 2026 06:34:42 +0000

I'm currently choosing between the right formalization for a big hardware project.

I'm considering between SVA, TLA+ and Lean. With the former being more domain specific and the later more general.

Do you think we'll move towards "Lean for everything" or do domain specific formalisms still make sense?

New comment by thomasahle in "Zuckerberg 'Personally Authorized and Encouraged' Meta's Copyright Infringement"

thomasahle — Tue, 05 May 2026 20:51:32 +0000

The human savant will remember where they read it and give you credit. It might lead more people to read your work, and ultimately you make money.

The AI won't even know where the page of text it's seeing came from, and people will avoid your book as they can just ask the AI. So you make less money. (Talking about specialized technical books here.)

New comment by thomasahle in "Kimi K2.6: Advancing open-source coding"

thomasahle — Mon, 20 Apr 2026 21:10:40 +0000

Does it run on Nvidia or Huawei?

New comment by thomasahle in "DeWitt Clauses"

thomasahle — Mon, 20 Apr 2026 16:54:45 +0000

> In 1983 David DeWitt (https://en.wikipedia.org/wiki/David_DeWitt) published benchmarking results showing poor performance for Oracle databases. Larry Ellison wasn't happy with the results and it's said that he tried to have DeWitt fired.

> Given how difficult it is to fire professors when there's actual misconduct, the probability of Ellison sucessfully getting someone fired for doing legitimate research in their field was pretty much zero. It's also said that, after DeWitt's non-firing,

> Larry banned Oracle from hiring Wisconsin grads and Oracle added a term to their EULA forbidding the publication of benchmarks. Over the years, many major commercial database vendors added a license clause that made benchmarking their database illegal.

DeWitt Clauses

thomasahle — Mon, 20 Apr 2026 16:51:31 +0000

Article URL: https://danluu.com/anon-benchmark/

Comments URL: https://news.ycombinator.com/item?id=47837007

Points: 3

# Comments: 1

New comment by thomasahle in "Why Japan has such good railways"

thomasahle — Sun, 19 Apr 2026 10:11:38 +0000

This is crazy car-centric legislation.

Now, instead of letting car owners pay for the public space they use (street parking), you are forcing anyone without a car to waste their own private space, in case somebody wants to park there.

New comment by thomasahle in "Claude Opus 4.7"

thomasahle — Thu, 16 Apr 2026 14:59:06 +0000

Or, you know, they will have improved the safe guards

New comment by thomasahle in "Introduction to Computer Music (2009) [pdf]"

thomasahle — Sun, 05 Apr 2026 07:05:23 +0000

Good musicians care about music theory / “first principles” as much as good writers care about language theory / grammar.

New comment by thomasahle in "OpenAI closes funding round at an $852B valuation"

thomasahle — Tue, 31 Mar 2026 21:14:44 +0000

I don't know anyway using these models everyday who think they are hitting a ceiling.

If anything there's a plateau between each model release.

New comment by thomasahle in "OpenAI closes funding round at an $852B valuation"

thomasahle — Tue, 31 Mar 2026 21:10:43 +0000

It's hard to train models in the open. All the big players are using lots of "dodgy" training data. Like books, video, code, destinations. If you did that in the open, the lawyers would shut you down.

New comment by thomasahle in "Even Faster Asin() Was Staring Right at Me"

thomasahle — Mon, 16 Mar 2026 15:09:23 +0000

Sorry, I said that wrong. Estrin's doesn't reduce the number of multiplications.

New comment by thomasahle in "Even faster asin() was staring right at me"

thomasahle — Mon, 16 Mar 2026 13:49:42 +0000

Did you try polynomial preprocessing methods, like Knuth's and Estrin's methods? https://en.wikipedia.org/wiki/Polynomial_evaluation#Evaluati... they let you compute polynomials with half the multiplications of Horner's method, and I used them in the past to improve the speed of the exponential function in Boost.

New comment by thomasahle in "Qwen3.5: Towards Native Multimodal Agents"

thomasahle — Mon, 16 Feb 2026 23:09:22 +0000

We scaled on "virtually all RL tasks and environments we could conceive." - apparently, they didn't conceive of pelican SVG RL.

I've long thought multi-modal LLMs should be strong enough to do RL for TikZ and SVG generation. Maybe Google is doing it.

New comment by thomasahle in "Magnus Carlsen Wins the Freestyle (Chess960) World Championship"

thomasahle — Mon, 16 Feb 2026 13:41:06 +0000

To encourage female participation and representation. Most people think it would be good for chess long-term to have a larger female player base.

New comment by thomasahle in "Magnus Carlsen Wins the Freestyle (Chess960) World Championship"

thomasahle — Mon, 16 Feb 2026 13:31:57 +0000

Most players actually peak in strength around age 35 [1].

But Carlsen has been number one for more time than any player for him, safe Kasparov [2]:

- Kasparov 255 months at number 1

- Carlsen 188

- Karpov 102

- Fischer 54

Bonus nuance: Carlsen has the longest unbroken run of 174 consecutive rating lists

[1]: https://en.chessbase.com/post/the-age-related-decline-in-che...

[2]: https://en.wikipedia.org/wiki/List_of_FIDE_chess_world_numbe...

New comment by thomasahle in "The Feynman Lectures on Physics (1961-1964)"

thomasahle — Wed, 11 Feb 2026 09:10:14 +0000

On the topic of lecture notes, I can really recommend Scott Aaron's Quantum Information lecture notes: https://www.scottaaronson.com/qclec.pdf

New comment by thomasahle in "Thoughts on Generating C"

thomasahle — Mon, 09 Feb 2026 21:13:57 +0000

Maybe they just checked with a compiler and got the same code?