I think this graphic is a great way to convey the progress studies mentality.

.CommonAccord has been pushing for a software-like (including Git/Hub) model of parametric legal prose for years. Frankly, feels inevitable but it’s always seemed to me that established players stand lose too much to support adopting and helping to mature this open source “code”

Cognitive security is not just for humans

Any government that slows down the development of spacecraft, medicine, robots, and intelligence is an impediment to civilization.

Aaron Swartz would have turned 38 today, Nov 8th. His marble statue unveiling is set for Feb 7th at the Internet Archive. RSVP: aaronstatue.org Grateful to all who helped honor a hero of Internet Values - open access, free speech & privacy. 🧵

Calling image generation “AI art” is not even wrong. The domain of AI in an art context is ontological. That’s its true medium, and outputs like audio and visuals are cast shadows and reflections of the ontology interrogated. The gestalt is the palette gesamtkunstwerk the brush

Never compromise.

the art is created in the years of honing its transcendent expression, not in its reproduction. the pursuit of the artist cannot be automated. it carries on: we find new needs to express our condition in ever changing predicaments. today we celebrated; tomorrow a new party

NEETs of the Bay Area = Lady of the Lake

are we going to reach prosperity before the old world shakes itself apart? or does ai threaten further civilizational stagnation? what structures are necessary and desirable, and how might existing ones change (or warp?) let's talk about it.

May we launch a thousand more

We are on the cusp of a profound change in the field of mathematics. Vibe proving is here. Aristotle from Harmonic just proved Erdos Problem #124 in Lean, all by itself. This problem has been open for nearly 30 years since conjectured in the paper “Complete sequences

Eric S. Raymond It also points in the direction software dev should go. Used properly, and with the right scaffolding, AI can turn formal verification into something that is finally practical and worth doing. That in turn will mean all the action is spec writing. Coding will be automatic.

So saddened by the sudden passing of Halikaarnian. He was an incredible man, so full of energy, knowledge, and good cheer. He was a great friend.