Viewing profile — masterjack

> Please explain in your own words why you believe this is not the case. It wasn’t 2023: Last post 11 months ago, last comment 8 months ago, which is a typical level of lurking

I thought they were projecting 10B and said a few months ago they have already grown from a 1B to 4B run rate

Remarkably there’s really just one way to tie them together, you can always manipulate the knot to move between the different variants

13/183=0.071 so how can it be 20pct for this round??

I may agree if it was a 20% dilution round, but not if they are increasing from 3% to 7% dilution. Being so massively oversubscribed is a bullish sign, bad companies would be strug…

It will typically be the same 40 GB model loaded in, but called with many different inputs simultaneously

Yes, you can `print axioms` to make sure no axioms were added, make sure it compiles with no warnings or errors. There’s also a SafeVerify utility that checks more thoroughly and c…

It’s possible that in the Google deal you had to agree to sell back the shares (at a low value like par or original strike price) and the 1% refers to either those proceeds or the …

In this case P6 was unusually hard and P3 was unusually easy https://sugaku.net/content/imo-2025-problems/

Exactly. And presumably had a more sophisticated harness around the model, longer reasoning chains, best of N, self judging, etc

Have you found https://sugaku.net/ useful? It’s focused on math research

Which is fine for steady companies, but perpetually drags down any rapidly growing company

There’s also the search and browsing on https://sugaku.net , it’s more focused on math but does also have all of the arxiv on it

I also like Cline since it being open source means that while I’m using it I can see the prompts and tools and thus learn how to build better agents.

As a long-time Schwab user, one thing I was shocked by is that the login flow silently truncates the password to eight characters. I found this since I tend to have complex suffixe…

It'll be that price multiplied by how many SaaS tools you use, each of which will have some premium for their Enterprise plan supporting SSO, and typically they won't be transparen…

Are you really suggesting they open up 20 different bank accounts? And not only pay the monthly account fees but also pay a bookkeeper to upload statements for all 20 banks into th…

Shooting up and destroying key infrastructure for a town leaving many without power sounds a lot more like domestic terrorism than free speech, especially if it is in response to a…