Every analytic philosopher’s worst nightmare is writing “casual” when “causal” is meant. Career ending

How is it both ways though?

Fresh batch of epistemologists about to seek a firm foundation for their knowledge.

I saw an AI engineer today No cursor. No claude 3.5 sonnet. No aider. He just sat there. Coding without running an LLM every other minute. Like a psychopath.

Parsimony teaching example

In a nearby possible world, an anon invents knot theory in a Less Wrong blog post, and they pan it and downvote it to oblivion

I will go on a solitary retreat into the Alps and code it up in Coq from scratch

I’m intrigued!

It’s Dependent Type THEORY, not Dependent Type FACT. Teach the controversy

May you love something, anything, as much as Andrej loves transformers

The type of a ML model is its alignment vector in Parfitspace.

Are we recapitulating wordcel vs shape rotators?

Waiting for next gen LLMs to be better at theorem proving