Pinned toot

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

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.

F. Loki boosted

wilw Show more

F. Loki boosted

Elongate Muskington Show more

F. Loki boosted

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.

Show more
Scholar Social

A Mastodon instance for academics

Scholar Social is meant for: researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.

We strive to be a safe space for queer people and other minorities, recognizing that there can only be academic freedom where the existence and validity of interlocutors' identities is taken as axiomatic.

"A Mastodon profile you can be proud to put on the last slide of a presentation at a conference"

"Official" monthly journal club!

(Participation is, of course, optional)

Scholar Social features a monthly "official" journal club, in which we try to read and comment on a paper of interest.

Any user of Scholar Social can suggest an article by sending the DOI by direct message to and one will be chosen by random lottery on the last day of the month. We ask that you only submit articles that are from *outside* your own field of study to try to ensure that the papers we read are accessible and interesting to non-experts.

Read more ...