Software Engineer. Democratic Socialist. Former candidate for Congress in MA-06. any/all

Middleton, MA
Joined October 2007
“what you present as an agi breakthrough is nothing more than bruteforce combinatorial autoformalization”
go fuck yourself @sama claiming that you solved navier stokes because 10000 agents ran in circles for 88hours on a multimillion dollar gpu cluster to formalize in lean a blowup case under controlled external forcing is pure scientific vulgarity the clay mathematics institute millennium prize does not ask m whether you can artificially force a singularity in a fluid by injecting an ad hoc smooth external forcing term f(x,t) to twist the vortex until it breaks the real problem questions the fundamental stability and global smooth existence for 3dimensional incompressible euler & navier stokes equations under natural conservation laws and viscous dissipation alone using a mathematical loophole on forced equations to parade a century old victory is a major conceptual scam Altman technically & epistemologically what you present as an agi breakthrough is nothing more than bruteforce combinatorial autoformalization the ai did not understand fluid mechanics it simply navigated a continuous search space previously mapped out and constrained by the monumental work of human mathematicians like tristan buckmaster/ levent alpöge / diego córdoba or tarek elgindi coordinating 10000 agents to check the logical consistency of a 100 page proof via lean is a software engineering feat and computational parallelization triumph not an intrinsic scientific discovery it is the victory of the compute bulldozer over abstract human intuition repackaged for the public as a higher mathematical consciousness to this theoretical imposture you add a disgusting ethical and industrial cynicism taking advantage of private codex sessions and informal preprints from academic researchers to siphon their research leads and then trying to redact or erase the contribution of levent alpöge under the pretext that he works at rival anthropic is intellectual serfdom openai behaves like a feudal lord of silicon appropriating the cognitive subsistence of independent scholars threatening their careers behind closed doors if they protest and turning community academic labor into a privatized pressrelease this entire staged event serves a desperate financial agenda in a pre ipo panic facing the slowdown of scaling laws and growing investor skepticism over the profitability of foundational models openai needs to manufacture an artificial sputnik moment claiming to solve a millennium prize without immediately submitting the proof to traditional peer review means using the prestige of fundamental mathematics as cheap marketing fuel to inflate a delusional valuation!!! real science is not a clout chase on social media or a compute spike spent to rob the clay mathematics institute it is a quest for elegance physical truth and universal rigor to decode reality true artificial intelligence will not emerge from hostile corporate takeover of academic work hidden behind computational bruteforce but from architectures capable of generating new conceptual paradigms by masquerading constrained formalization as the collapse of physics greatest mysteries you did not solve navier stokes you only proved how far silicon valley will go to prostitute scientific integrity for capitalist spectacle
115
My statement on the results last night.
1
3
72
The #NoKings protests across the 6th District were inspiring ❤️ From music and dance parties to frogs and Antz quotes, the #NorthShore showed up!
163
I’m running for Congress! I waited tables and served as a health care administrator before I worked my way into software development. I’ve spent the last twenty years building software that works for users. It is time to build a government that works for us.
1
1
227
Realized today that the testing pyramid describes the number of units under test at each layer of abstraction. Behaviour is fractal & emergent, so so is documentation & verification.
1
3
552
Replying to @sarahmei
Goblin is willing to lay on your arm if it would help.
4
I do not want to imply, even obliquely, that people should feel compelled to read Foucault, Haraway, Kropotkin, Tannenbaum, Lipsky, McCloud, Hairson, etc before undertaking the work to build up this trade.
2
2
I appreciate this
Replying to @chriseyre2000
I made a meme for that…
2
7
Replying to @scataco
Name All The Things!
1