I solved it a minute or two! You are wasting your white IQ dude, get a grip and learn maths. /s

What about the "Refutation of Idealism," though? My layman's understanding of philosophy in general makes it difficult to understand that argument and how it coheres with his "transcendental idealism".

What's the best way to transition from the latter to the former? Do an engineering PhD?

Pretty cool supervisor, sounds like one of the braggart ex-Cambridge graduate lecturers at my undergrad but he would make fun of his class directly during the lecture... and my weirdly overcomplicated proof for one of his exercises (even though it was Correct) albiet in private with me.

This sent me in basically a depressive spiral so I failed the last year of 2nd year physics and got only 50% on the last year so I basically gave up... also didn't manage to get funding for the extension + senior year. But in SA senior year is a separate degree so I got a "A" for pure math.

Anyway, I basically failed experimental physics because I hated manually cleaning and filtering data... "surely you should just learn statistics and design Optimal filters," also my lab report was too mathematically rigorous so I got zero for it just because it was too long for my tutor to read.

...methinks, senior year in the US is when you'd would learn about Caratheodory Extension and the Radon-Nikodym theorem and read half a textbook on e.g. Operator Semigroup theory as I did in my final year and write a thesis about what you learned as I did, right?

I'm sad about how my education was affected by this LessWrong brain. I read a lot of it as a teen. In my former undergrad you are required to take a double major until ~senior year level...

[zo'o] Real Men₂ teach their kids lojban!

Was this way of view trans people close to breaking through to the mainstream? I thought xenofeminism was always and everywhere niche.

He wrote the Urbit VM, which implements a purely functional language Nock with persistent memory, rollbacks and transparent encrypted communication and sync intended as a replacement for the Web, etc. He was a CS major at Berkeley at some insanely young age. OTOH, he is a reactionary.

Funnily enough (or at least I think @deontologistics.bsky.social would find it funny), the most popular example of a formal proof of a mathematical statement for those who verify proofs using the Lean programming language is... www.youtube.com/watch?v=b59f...

Did you know that many of the earliest Christians, including St. Gregory of Nyssa (who was a strong voice at 1st Nicea which where the doctrine of Christ's divinity was defined) and St. Issac of Nineveh believed that everyone in hell will eventually be freed so that hell will be empty?