Working on Deleuze. My first point to make about Deleuze is that he lies to you when he tells you how to read and work on theory, he himself does essentially exactly the opposite (close reading of dense texts) of what he proposes students should do (play around with ideas as toys).

We are living in the era of critique as inwardly circling commodity production on an unbroken loop.

I stand by the fact that there are enough routes through the knowledge graph that essentially anyone's work can be routed around as needed, and what may seem to be of importance on its own can be swapped out for some adjacent work that achieves mostly the same thing.

Math is all about proofs and understanding except for the fact that classical logic deliberately discards proofs in favor of truth values and the Platonist "facts of the matter" out there which a proof only confirms the existence of. The proof matters when it is convenient to ideological pandering.

"in math, the _whole point_ is to understand the under-the-hood code underneath" You might want to go back and double check what Lean's typeclass resolver was doing under the hood in 2021

Guy makes $400k a year to do cognitive neuroscience and publish theory essays. Something to think about while you goof around instead of doing anything to prevent your department from being defunded out from underneath your students' feet.

There once was a man with two knees, Who bent them whenever he'd please. He stood in the hall, Doing nothing at all, Except for possessing two knees.

It's the perfect moment to spend your time gatekeeping new writers based on astrological vibes based guessing. theconcordian.com/2026/04/the-...

I would prefer that people not feed my unpublished work into the AI, but the expectation is definitely that tenured faculty will do that without even a second thought while some how imagining themselves to be in the right.

How a pre-Lean theorem prover functioned www.youtube.com/watch?v=7sk8...

How to use CoqIDE

YouTube video by Andrej Bauer

youtube.com

Why not

I'm not saying don't secure it if you're able to, but millions of dollars of capital allocation directly puts you into conflict with public or as we might say "social" interest.

Altman's idea of what the Singularity entails is completely moronic. Nice try bud. The reconfiguration of everything doesn't leave the social order exactly intact.

Academic status requires an excluded public.

The unchallenged "don't accept an offer to an unfunded program" load of bull that grad students pass to each other human centipede style from one ass to the next mouth juxtaposed against them taking out on average $20k-40k in loan debt each year.

That said, discourse itself is reaching its end. There will still be noise, but it will not do anything.

There is still something to be done for Gaza, whether it takes 2 or 4 or 6 years, the circumstances of the situation can change. Israel still makes mistakes, there are still blindspots in their thinking, their total dependency on US coverage is still a liability for them.

For many graduate school programs, you are supposed to cold email professors you want to work with, except now nobody has any funding to give out. There's all this Goldilocks style advice about how to craft just the right email where you're guessing at the person's arbitrary present mood.

They should call it socialism Conference, socialism with a little 's', just so it avoids looking like it's trying to be imposing about anything.

Liberals seem to believe the difference between hard diplomacy and soft diplomacy is some sort of psychological manner of agreeability and not varying levels of institutionalized state violence.

Use for AI to get people to put their fucking phones down: for every live event, a pack of videos from varying places around the venue as though somebody were recording a clip with their phone at that point and time during the event

The very first scene of Andor would seem to be a response to Althusser, since two thugs repeatedly hail Cassian, and he tries to be not the one they are calling by pretending he doesn't hear them, until they accost him anyway.

Made improvements to the Monist high performance Rust logic engine, for which you can find an interactive web console at firstsynth.dev/console/ Compute unstratified, self-referential logic on the GPU with deterministic execution.

Varoufakis making a political diplomacy game where the economy is irreversibly structured as a capitalist market and then diagnosing that the players bring about classic capital induced crises

Still listening to that Sunklo radio show on Rinse from 2014

When Marx turns out to be ontologically and just analogically correct about the swerve his own present day followers will be flabbergasted. "It's just a neat way of picturing social phenomena." Yeah okay

I think if you're into post-structuralist deconstruction of meaning and like "I'm spiritual not religious" type theology then you're going to find Lacanian materialism as we say problematic and it's not because of the quality of writing.

The Dirtbag Left is out... bring in, The Paywalled Left.

All physics students today are absolutely certain that spacetime is continuous and not discrete, although they refuse to read Bergson, who is the only hope they have of being right.

1hr is too short for a dj mix. Go 90 minutes, go 2, 3, 4 hours. There's no development in a 1hr set.