F. Loki @f_loki@scholar.social

#introductions I deal a lot in type theory, and am currently knee-deep in reading for foundations of mathematics. I'm currently working on a Hopefully Cool paper for the ICFP type-driven development workshop, though this doesn't mean it's going to be much of a technical, engineering-heavy, metamathematics-light paper 😉

I've got to say, philosophy papers are very different from computer science papers in a kind of refreshing but jarring way.

Admissions bureaucracy and its timing with enrolment downtime is being pretty spooky right now 😅

Anyway I'm reading about reading Foucault (the Foucault reader, rabinow)

Telling myself that it's literally the opposite of a waste of time reading things outside my reading lists because it's literally just more documents I can cite counter to points made in the reading lists documents

And now I've run into Xournal 😂

I want to be able to messily annotate PDFs, not eat up the backpages of my bujo with notes.

Little social constructivist in the big analytical philosophy city

How do you do fellow argumentors of philosophical intuition's credibility, the ivory on this tower's walls sure is blinding 🕶️

Shifting gears from reading type theory to reading ivory tower philosophy papers is Something.

I am alive! If very tired.

Anyway this is why I cannot implement insertion sort on a whiteboard using a C-like pseudocode.

Tired: Functional programming makes you a useless programmer commercially because you get used to features that aren't in commercially-used languages

Wired: Functional programming makes you a useless programmer commercially because it's a gateway into building programming languages and therefore mathematical philosophy which reveals that the so-called "objective truth" of mathematics is built upon extremely subjective assumptions.

That being said I skipped a couple of chapters because of relevancy to what I was thinking at the time, I'm going to reread tasic's book again soon and this time with a lot of post-its.

Been reading vladamir tasic's "Mathematics and the roots of postmodern thought" and it left a sour taste in my mouth in the end.

Its tone kinda shifted extremely quickly towards "It's all fine though all of what we discussed is ridiculous and silly so we don't need to worry our pretty little heads about it" after really only talking about Derrida wrt "postmodernism".

Now on to "Mathematics in a Postmodern Age: A Christian Perspective" for a theological perspective on contemporary mathematics.

I got to draw a lot today and this was extremely good for my head.

My existence is hearing or seeing "objective truth" be mentioned, sighing, and then sinking deeply into the floor.

Extremely outside of my Comfort Zone and desperately reiterating purposeful vagueness of domains and codomains of functors.