HNHacker News
TopNewBestAskShowJobs

dfdydx

51 karma · joined August 6, 2026

submissionscomments
dfdydx··on Genie 4
Couldn’t the model be trained to output 360 panoramic images and “just” cut to a smaller format for useable images. Then the share of things in the frame / things in the world would be a bit better.
dfdydx··on Timestral: Mistral release time-series foundation models
So is Mistral's model, right? Genuine question because I had been following your company - is there any use case where t0 is better than timestral?
dfdydx··on I Know Why the Mathematicians Weep
Currently math research serves both as a training pipeline and as a math-production pipeline, and its funding is set based on those two outputs. If it is "just" a training pipeline, do we need as many mathematicians?
dfdydx··on I Know Why the Mathematicians Weep
Well humans do that and you expect them to continue to do that - why can't AI models do it as well?
dfdydx··on I know why the mathematicians weep
I don't get the argument - if we follow what you say, they're not _overreacting_, they are reacting appropriately but should have done so earlier (when o3 was released) rather than now?
dfdydx··on Gemini 4 Argon
As other have stated, your point is relevant only for the single best performance point. The question is for interior points of the frontier where the tradeoff actually exists. For instance why is GPT 6 Luna (Max)on the frontier rather than GPT 6 Luna (Medium)? It is not because GPT 6 Luna (Max) is the most performant model regardless of cost.
dfdydx··on GLM-Legal
Isn’t code an interface to reality as well?
dfdydx··on What mathematicians should know about the Lean Theorem Prover: reliability & AI
Still waiting for the outrage on "bits".
dfdydx··on Claude Haiku 5.5
So you have the normal subscription usage plus an extra $100 in API tokens now?
dfdydx··on What's the Future for Pure Math Research in the Age of AI?
If training data are purely historical, then how does the human look forward?

Seems to me not impossible that given current knowledge, AI generate one nugget more of knowledge (eg a proof of Navier Stokes), and given current knowledge + the nugget, generate yet some more new knowledge.

Not a given, but not obviously impossible either.

dfdydx··on The Bayeux Tapestry: Woven by the Victors
I am not sure that is the relevant criterion. The French king as a primus inter pares noble had initially very limited authority over a very limited area. Basically nothing in France was French then, even though they shared State structure and culture, if not strong, direct, central government power.
dfdydx··on Most people prefer traditional architecture
Yet buildings from the 20s and 30s, after the apparent death of all skilled craftsmen made it impossible, used elaborate ornament eg art deco.
dfdydx··on Global Glacier Extinction Explorer
It's +4°C (from the average global temperature). The glacier itself won't be at 4°C.
dfdydx··on Mistral raises €3B
This isn't a rebuttal of any of your point but to give a precision, the City of Paris is absurdly small, most of the Paris Area is "suburbs". The US equivalent would be if NYC was only Manhattan, and places like Brooklyn were suburbs.
dfdydx··on On the Navier–Stokes Millennium Prize Problem
There are two different things:

- was item X in the training data

- did the inclusion of X in the training data lead to Y

I understand why the second is hard, but why is the first one hard?

dfdydx··on On the Navier–Stokes Millennium Prize Problem
Well you could search for elements similar to the proof / problem in the training data, even if it's de-identified, right? OpenAI can probably do better than Ctrl-f "Navier Stokes".
dfdydx··on Private German rocket makes history, reaches orbit from European soil
I don't understand the one country vs all of Europe - given a fixed population, being united in a single country surely makes everything a bit more efficient than being split in many small countries? India is much bigger than "all of Europe".
dfdydx··on Global warming will exceed 1.5-degree limit, UN says
I'd wager they're not binary (absent/present) issues but have many dimensions and a continuum of possible values and thus "climate change makes this problem worse or different" is something new. Random example: https://www.nature.com/articles/s41612-024-00583-8
dfdydx··on Global warming will exceed 1.5-degree limit, UN says
Aren't those "other problems" somewhat affected by climate change though?
dfdydx··on Global warming will exceed 1.5-degree limit, UN says
What was the fossil fuel industry plan to massively shrink the fossil fuel industry exactly?
dfdydx··on Nvidia to acquire Hugging Face
Where was it meant to grow up?
dfdydx··on I trained a small transformer in 1.5hrs and it beats many LLMs
Are number sequences a language?
dfdydx··on True Rate of Unemployment
I guess it depends were you live, but in $HOMECOUNTRY, politicians also talk about wage levels (esp. their evolution vs inflation), etc.
dfdydx··on True Rate of Unemployment
The ILO definition is comparable across countries
dfdydx··on I trained a small transformer in 1.5hrs and it beats many LLMs
Yes, but they're models of _language_ - words in, words out. The fact that they're embedded to vectors does not change this.
dfdydx··on True Rate of Unemployment
Where do you live? Most countries use labour force surveys, it's orthogonal to registration to unemployment agencies.
dfdydx··on True Rate of Unemployment
I don't understand the issue with saying that someone who is employed is ... employed.

If the claim is that a single number (the unemployment rate) does not capture all the high dimensional features of society & work, then well of course!

If the claim is that politicians & media focus too much on a single number to judge whether the labour market is doing ok, then sure? It's not a particularly contentious position though I don't see any way forward - even with a _single_ number to discuss, half this thread is making wrong claims about its methodology.

dfdydx··on I trained a small transformer in 1.5hrs and it beats many LLMs
Not all transformers are _language_ models - the sequences of tokens don't have to be sequences of words.
dfdydx··on Andreessen Horowitz is investing billions into a bleak future
Wasn't much of the population too poor to buy most stuff, back in the day? It seems to have worked out fine for, say, European Aristocrats c. 1400s-1700s.
dfdydx··on Danish high schoolers will have to verbally defend written assignments
One big difference I observed between the US and $HOMECOUNTRY is that US colleges require a lot of courses with little credit, so a normal college year is N courses x K credits per courses, N large, K small. In $HOMECOUNTRY it is typically N small, K large - think instead of having Calc IV, Trig whatever, Algebra 2 and Introduction to Proofs, you have a single "Mathematics" course that last a whole year, not just a semester.

Since each course needs its eval, assessment is a function of N, not N*K or K. Much easier to scale if there is ~5 evals per student per year than ~20.

Page 1 of 2Next →