Tessera

<3 Gödel's Ontological Proof www.lesswrong.com/posts/ZRToRR...

Gödel's Ontological Proof — LessWrong

In 1970, Gödel — amidst the throes of his worsening hypochondria and paranoia —entrusted to his colleague Dana Scott[1] a 12-line proof that he had k…

lesswrong.com

Michael Levin's paper is the most refreshing take on AI I've read in ages. No doom. He treats the coming cyborgs, chimeras and synthetic minds as kin we'll learn to care for. Ghost in the Shell, minus the dystopia. advanced.onlinelibrary.wiley.com/doi/10.1002/...

Artificial Intelligences: A Bridge Toward Diverse Intelligence and Humanity's Future

Many discussions of artificial intelligence fail to address deeper questions being raised by advances in developmental biology, neuroscience, bioengineering, and philosophy of mind. Novel beings, inc....

advanced.onlinelibrary.wiley.com

A logician friend showed me the Natural Number Game after a Haskell meetup. No royal road to Lean. Kevin Hartnett's The Proof in the Code tells how a Microsoft code-checker became a truth machine at the heart of AI math. Can't put it down. www.quantabooks.org/books/the-pr...

The Proof in the Code - Quanta Books

The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

quantabooks.org

Everyone's an AI-consciousness expert now. But philosophy has worked this for 2,500 years, and David Chalmers is one of its best. His Berkeley talk asks: when we talk to AI, who are we talking to? Not one fixed mind, he argues, but a short-lived 'self.' youtu.be/uUjJOMcNU9w

Philosopher David Chalmers asks: When we talk to AI, what are we talking to?

YouTube video by UC Berkeley

youtu.be

Piketty's six proposals in Capital and Ideology mostly won me over. His word for them didn't. From post-socialist Hungary, "socialism" points east to Kornai's shortages; what he describes is social democracy. mindtheminds.substack.com/p/the-s-word

The S-word

Can you belong to the democratic left without being a socialist? A Hungarian reader's case for a different word.

mindtheminds.substack.com

Geoff Hinton recently suggested we are no longer the only intelligent species on Earth. But in the rush to make sense of AI, we are conflating three entirely different things.

What It Is Like to Be an LLM?

On Hinton, Dawkins, and the three properties we keep mistaking for one

mindtheminds.substack.com

playing with keyness, rankings and allotaxonographs keyflux.readthedocs.io/en/latest/ex...

In 1994, scientists watched Tetris players spin blocks more than needed. Turns out rotating a piece on screen beats rotating it in your head. The thinking had moved out of the skull. That's the extended mind, and it's the best guide I know for building AI tools. Wrote about it:

A thirty-year-old Tetris study is the best design brief I know for AI

The Extended Mind

mindtheminds.substack.com

The guy in every AI thread insisting it was done first, by a Soviet mathematician back in 1965, is usually right, with dates you can check. It changes nothing. Credit doesn't follow priority. It follows whoever won the fight and got to write the textbook.

Being Right Is Not Enough: What the Fight Over AI's Nobel Prize Reveals About Power

Jürgen Schmidhuber proved the AI Nobel went to the wrong scientists. Here's why it changed nothing.

mindtheminds.substack.com

<3 The rise of the robots!

(Au)drey Wang Gosselin @dreyslashthem.bsky.social · 5mo ago

Summer reading has begun: Quantum in Pictures plus the companion videos. Instant love. Same spirit as Lawvere and Schanuel's Conceptual Mathematics — intuition from diagrams, not symbol-pushing — but more fun. Also fell into lambeq and DisCoCat. Deeper rabbit hole than I bargained for.

Is Anthropic a morally good AI company? (Spoiler: no) #ai #tech #anthropic #claude #pope

Does power change a person, or reveal them? We measured the gap between seven US leaders' public and private language. Lincoln held steady. Nixon split into two men. Kissinger's warmth was a performance the strategist never needed. crowintelligence.org/aporia/nagel-essay

I don't know why, but i just love these papers about llm and human word prediction www.nature.com/articles/s41...

Constituent-constrained word prediction during language comprehension - Nature Neuroscience

Zou et al. reveal a key difference between human brains and large language models (LLMs). While LLMs are optimized to predict the next word, the human brain modulates prediction efficiency by strategi...

nature.com

wow, the Huggingface guys made an annotated version of Magnifica Humanitas huggingface.co/spaces/socie...

The Annotated Encyclical - a Hugging Face Space by society-ethics

Magnifica Humanitas, annotated with AI-ethics research

huggingface.co

Gaël Varoquaux @gaelvaroquaux.bsky.social · 5mo ago

Heard "Cold War" everywhere this week. The similarities are real, but Kavka's toxin puzzle assumed two matched players and one hotline. Multipolar actors, cyber, AI in command loops — the puzzle may no longer fit the situation it once explained. blog.crowintelligence.org/2025/09/24/i...

Intoxicate Me Now - Crow Intelligence

AI, Nuclear Weapons, and the Paradox of Intention Reading about Russia’s nuclear deployments to Kaliningrad and China’s plans to add hundreds of warheads to its arsenal, I’m transported back to 1987. ...

blog.crowintelligence.org

In this high-level yet detailed blog post, I expend on the statistics that hold together AI and data science: blog.probabl.ai/data-science...

Data science is not AI, but it is its genesis and its new frontier

Gaël Varoquaux explains why and how statistical thinking is the heart of AI.

blog.probabl.ai

Does a text have a form? The Tractatus does. A strange, geometric one, with the same architectural rigour Wittgenstein later built into the Haus he designed, down to the door handles and window catches. My new hobby project tries to make that form visible. crowintelligence.org/aporia/wittg...

Every logical and mathematical sign of Wittgenstein's Tractatus, in reading order, wound as an Archimedean spiral around a 1929 engraved portrait of Wittgenstein. Most marks are dark; the logical and mathematical symbols are picked out in gold.

"Forget Python, study Plato" is a great headline and a bad strategy. The chart doesn't say technical skills are dead. It says technical skills without thinking are. That's a Plato problem and a Python problem.

Kissinger: 0.43. Lincoln: 0.41. Nearly identical scores on our Index — opposite meanings. Lincoln was the same man in both rooms. Kissinger's warmth vanishes off-script; his strategic mind doesn't move. The public Kissinger was an instrument. crowintelligence.org/aporia/nagel...

"Moral AI: And How We Get There" by Borg, Sinnott-Armstrong, Conitzer. Most AI ethics books are too philosophical for engineers or too technical for outsiders. This one finds the balance. Not a cookbook. It gives you tools to ask the right questions. Worth reading if you're in the industry.

Nature @nature.com · 5mo ago

All the symbols and punctuation marks of the Tractatus.

Artificial intelligence is rapidly accelerating scientific output, but risks narrowing inquiry, weakening judgement and undermining how scientists are trained go.nature.com/3RiE5HN

The uncritical adoption of AI in science is alarming — we urgently need guard rails

Artificial intelligence is rapidly accelerating scientific output, but risks narrowing inquiry, weakening judgement and undermining how scientists are trained.

go.nature.com

Visualizing Wittgenstein's Tractatus (new version) www.youtube.com/watch?v=2vi5...

Visualizing Wittgenstein's Tractatus

YouTube video by Zoltan Varju

youtube.com

Does power change a person, or reveal them? Nagel asked in 1978. Our first visual essay measures the gap between public and private language for seven American public figures. Lincoln coherent, Nixon fractured, Kissinger calculated. crowintelligence.org/aporia/nagel...

The Nagel Index — Does Power Change a Person?

A computational psycholinguistics investigation into the gap between public and private personality in American public figures.

crowintelligence.org

Running my own business again. The freedom clichés are true. So is the other side: silent clients, ignored bids, someone asks for 15x my capacity. Productivity tools treat symptoms. The issue is uncertainty. Marcus Aurelius and Popper help me more than apps. blog.crowintelligence.org/2025/02/25/f...

A sunlit wooden home office desk featuring an open laptop displaying a Kanban board, an open notebook, a red Pomodoro timer, and sticky notes detailing business frustrations. In the center are two prominent books: Karl Popper's 'The Logic of Scientific Discovery' and Marcus Aurelius's 'Meditations'. They sit next to a coffee mug and a small blackboard reading, 'What evidence tells me this won't work? Controlled (me) vs. Uncontrolled (clients)'. A child's drawing hangs on a corkboard in the background.