Hélianthe

@helianthe.net

the moon is my flagship and her ripple fire she ranges from the sun

if i had endless time, sure, I'd write these hundred thousand lines of Lean4 proofs by hand. It'd be great fun, spiritually enlightening, etc etc if i had endless time, heck, I'd perform the typechecking by hand too. Gotta spend eternity somehow

Thorne 🌸@ens0.me · 4d ago

I got into coding at age 8. Coding by hand does bring me a certain measure of joy. But there is so much to do, and there is little joy to be had in just writing the same boilerplate over and over again.

intuition: a True/False test has restricted answer-space (1-bit) but unrestricted question-space. You can embed arbitrarily difficult facts/puzzles symbolically The trivial guessing strategy gives 50% odds per question. Superintelligence is ~100%. Iterating drives guessing to 0% cumulative.

Axe Ghost. On Steam!@axeghostgame.bsky.social · 4d ago

'the simple fact that something is predicting the next token doesn't place any meaningful limits on its abilities' Robert Miles's original here: x.com/robertskmile...

"powerful cyberweapons" most model "cyberattacks" are just taking advantage of badly written software. A big part of the drama here is that people are mad that LLMs reveal how low our standards have been only when the tide goes out do you discover who's been swimming naked.

MrCheeze@mrcheeze.github.io · last wk.

Just a reminder that the correct frame for thinking about unrestricted GPT-6 class models is "powerful cyberweapons", and that the open weight letter people are demanding this capability be made available unregulated and untraceably to everyone on Earth.

Marx was right; you really can see exactly where someone's class and relationship to capital molds their political positions into ones that support their own interests, almost every time. Consider the "socialist" Youtuber; which influence wins? Well,

Big Joel@bigjoel.bsky.social · last wk.

i still just really feel like AI stuff is basically illegal. like I don't think a good faith interpretation of "fair use" entails vacuuming up everyone's intellectual property to build your chat bot. that sounds wrong to me

Paul Atreides doth go to a Frensshe bakerye to picke up breade. Upon arriving at the Frensshe bakerye, Paul Atreides doth fynde that the Frensshe bakeres have lefte a box for hym. Paul Atreides asketh: "What ys yn the box?" And the Frensshe bakeres responde: "Pain."

(philosophical: property rights are justified by the need to predictably allocate scarce rivalrous resources. Information is always non-rivalrous and usually abundant, so property rights in information are almost always unjust.)

The People of the United States, through their elected representatives, passed the Foreign Assistance Act of 1961 to provide aid through USAID. In 1998 the People removed the power of the President to restructure USAID Trump violates his oath to see these laws are faithfully executed. It's murder

Aaron Reichlin-Melnick@reichlinmelnick.bsky.social · 2w ago

Say you're a bush pilot flying food, clean water, and medicine to a remote town. One day, you decide you just don't feel like doing it. People in the town die because they didn't get meds in time. Are you responsible for those deaths? Bremmer says "obviously" no. I say obviously, undoubtedly, yes.