Hacker News: mathisfun123

New comment by mathisfun123 in "LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences"

mathisfun123 — Wed, 29 Jul 2026 05:14:47 +0000

https://github.com/bevibing/socrates-skill

I recently used this to prep for interviews - I got the job :)

New comment by mathisfun123 in "Solving Fermat: Andrew Wiles"

mathisfun123 — Tue, 28 Jul 2026 19:15:55 +0000

i think you have no idea what you're saying...

> That's not-nothing but can't hold a candle to the potential fortunes of the market.

a market is where things are sold and bought. there are lots of markets which aren't as well capitalized as financial markets - your local farmer's market doesn't "hold a candle to the potential fortunes of the market" but it's still a market (and presumably the efficient market hypothesis still applies).

New comment by mathisfun123 in "Solving Fermat: Andrew Wiles"

mathisfun123 — Tue, 28 Jul 2026 16:53:26 +0000

They're the same thing; knowledge markets are markets.

New comment by mathisfun123 in "Go Analysis Framework: modular static analysis by go team"

mathisfun123 — Sun, 26 Jul 2026 19:19:48 +0000

> on the other hand, it could have such a performance bug in it and you'd never know.

wut...? the debate isn't between closed (incompetent) source and open (competent) source - the debate is between verbose language and expressive language.

New comment by mathisfun123 in "Did They Ghost You?"

mathisfun123 — Sat, 25 Jul 2026 22:08:28 +0000

this is pointless because different teams/different recruiters within the same company operate differently (surprise surprise humans are different).

New comment by mathisfun123 in "Startup founders urge U.S. government not to shut off Chinese open weight AI"

mathisfun123 — Thu, 23 Jul 2026 16:20:52 +0000

> Their economy is in a lot of trouble, likely far worse than the shape of the US's currently

Source: trust me bro

New comment by mathisfun123 in "Startup founders urge U.S. government not to shut off Chinese open weight AI"

mathisfun123 — Thu, 23 Jul 2026 15:54:56 +0000

> Our biggest geopolitical rival

People on here have zero consistency in their worldviews.

Ask any capitalism zealot (ie hners) whether markets are zero sum and they'll wax poetical about "creating value". But then talk to them about Chinese competition and suddenly everything is a rivalrous good lolol.

I hate to break it to you, your so called rival won this game decades ago when you undercut the working class to make a buck and laundered cheap Chinese labor as productivity. So if you believe the Chinese are rivals um welcome to "reap what you sew" .

New comment by mathisfun123 in "LoRA Speedrun – a public wall-clock leaderboard for fine-tuning techniques"

mathisfun123 — Mon, 20 Jul 2026 10:44:39 +0000

> It is a MBA's view of winning

A deeply ironic comment which associates with due to complete ignorance about the group. An MBA would never approve a technique with basically unlimited capex. So I hate to break it to you but "bigger weights" is 100% the computer scientist's view of winning because everything is an "abstraction".

New comment by mathisfun123 in "Claude Fable produced a counterexample to the Jacobian Conjecture"

mathisfun123 — Mon, 20 Jul 2026 04:59:31 +0000

Because SAS triangle identity proofs are relatable and I'm trying to make a point...?

New comment by mathisfun123 in "Claude Fable produced a counterexample to the Jacobian Conjecture"

mathisfun123 — Mon, 20 Jul 2026 04:41:09 +0000

> could just be a human method for solving problems that evolved because of it's broad applicability but is suboptimal at any given task.

Ya sure let's just posit another random hypothesis about evolutionary biology in order to substantiate the claim that LLMs are intelligent.

Or (bear with me) you can recall your (likely) experience proving stuff like SAS triangle identities and reflect on whether that required intelligence or just computation.

What's more reasonable?

New comment by mathisfun123 in "Claude Fable produced a counterexample to the Jacobian Conjecture"

mathisfun123 — Mon, 20 Jul 2026 04:32:15 +0000

The funniest thing about LLMs is the cognitive dissonance they cause people. People clearly recognize (and bemoan) the fact that LLMs produce derivative breathless prose ie they fundamentally fail at "unstructured creativity" (something the might accurately labeled intelligence) but are then shocked that the same LLMs can do math.

It's reasoning from a flawed premise that math universally requires intelligence and creativity. It does not. Anyone that's proved things via "diagram chasing" can affirm that. The conclusion you should draw is that math (at least the kind they excel at) isn't actually a creative endeavor.

New comment by mathisfun123 in "Apple targets dozens of OpenAI employees with legal letters"

mathisfun123 — Fri, 17 Jul 2026 16:47:34 +0000

I think you don't understand moat - that's not a moat.

New comment by mathisfun123 in "Kimi K3: Open Frontier Intelligence"

mathisfun123 — Thu, 16 Jul 2026 23:13:04 +0000

if they were rotting NV wouldn't be advertising the product (nor hiring for it - which they are)

New comment by mathisfun123 in "Who Is America's Homer?"

mathisfun123 — Wed, 15 Jul 2026 21:34:53 +0000

isn't it obviously steinbeck?

https://en.wikipedia.org/wiki/East_of_Eden_(novel)

https://en.wikipedia.org/wiki/The_Grapes_of_Wrath (one of the best books i've ever read)

New comment by mathisfun123 in "My midlife crisis Corolla is fast, furious, and modded"

mathisfun123 — Wed, 15 Jul 2026 19:02:52 +0000

I don't see any reaction here - just a bunch of people reacting to a fun article with judgement and disparagement.

New comment by mathisfun123 in "The politics of air conditioning in Switzerland"

mathisfun123 — Wed, 15 Jul 2026 01:16:52 +0000

It's because it's humid af in the northeast (and all through the East Coast). I moved to CA last year from FL and 75/78 here feels perfectly fine (I can sleep just fine) because it's completely dry. We literally have our windows open all day every day except today when it was like 90 (and tonight it'll be back down to 70 so we'll be able to sleep without AC).

New comment by mathisfun123 in "Why study Diophantine equations?"

mathisfun123 — Tue, 14 Jul 2026 19:22:03 +0000

> Is your thesis published and at a URL

yes but i'm not going to link it here in order to preserve my anonymity

> You should know a serious fraction of folks commenting on these threads

not because i'm not aware there aren't lots of people with PhDs in tech, but because generally the comments on hn are from outsider wannabes

New comment by mathisfun123 in "Why study Diophantine equations?"

mathisfun123 — Mon, 13 Jul 2026 20:51:45 +0000

> March 9, 2023

This is a new account?

> no competence in.

I have a PhD in ML compilers (one of my papers is cited on the site I linked) and as I mentioned in the previous "discussion" I currently work in FAANG as an ML compiler engineer.

But thanks for playing :)

New comment by mathisfun123 in "Why study Diophantine equations?"

mathisfun123 — Mon, 13 Jul 2026 02:06:00 +0000

Hn upvotes the weirdest things. You're talking about polyhedral analysis which emphatically does not work on diophantine forms

http://polyhedral.info/

New comment by mathisfun123 in "Apple Silicon Exec Explains Mac Mini AI Demand and On-Device Future"

mathisfun123 — Fri, 10 Jul 2026 06:32:12 +0000

apple has invested in training models

https://machinelearning.apple.com/research/introducing-third...

they just suck