#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.
wilw Show more
just sharing this because it joins up and clarifies a lot of the stuff that was being discussed yesterday - for anyone, like me, for whom a lot of this was relatively new information
I am alive! If very tired.
Amazon, Microsoft, Google and Otgers are paying big money to kill a California privacy initiative
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.
Type theory, proof theory, type driven development in compilers, and occasional art.
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"
(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 @email@example.com 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.