“It is not our business to set up prohibitions, but to arrive at conventions”. -Rudolf Carnap.

RT @FormDeterminer: The final lecture got uploaded, it’s just as good as the rest

If you’re like me and learn best by getting your hands dirty playing around with code a great resource for learning categorical logic is working through 1lab’s formalization of regular hyperdoctrines. I wish I had known about this sooner

All concepts are comma categories.

A lot of continentals will complain about pragmatist and non-metaphysical readings of Hegel, but imo these readings are far closer to Hegel’s intent than, for example, whatever the speculative realists are up to.

A lot of “Hegelians” don’t understand the sense in which Hegel affirms our access to noumena and end up basically affirming pre-Kantian metaphysics.

🗣️🗣️🗣️.

RT @gahylo: functions are so 2020. now is the time to switch to codata.

RT @FormDeterminer: In my regime the Stanford encyclopedia of philosophy will be receiving the full budget currently allocated to the depar….

The tendency to interpret the actions of various state bodies and functionaries as univocal and stemming from some unitary national will clouds a lot of casual geopolitical discourse (especially so here on twitter with our character limit).

The personification of nations and even states is usually confused and counter productive. The corrosive effect of treating states/nations as conscious actors almost makes me want to become a methodological individualist.

idris2 support….

RT @AayushSapien: he was a gödel boy, she was a carnap girl.

RT @onehappyfellow: "Wow, Agda is so cool! Can you show me how equality works?"

RT @undebeha: my goal in life is to make a programming language that combines the readability of APL with the readability of a proof assist….

RT @nicbarkeragain: I can't help but have this feeling that we're missing something in programming language design that will make SIMD much….

Comma categories have rotted my brain.

Cospans be like: “👉👈🥺”.

RT @aramh: @analytichegel Most complexity in a CPU comes from trying to reconstruct the parallelism that was lost by compiling to imperativ….

There is a negative feedback loop between the software and hardware industry. The software industry writes imperative code, the hardware industry then produces instruction sets tailored for imperative programming, which in turn influences the software industry, and so on.