Borko @borko@mastodon.social
Just leaving this here: https://en.wikipedia.org/wiki/Doxastic_logic#Types_of_reasoners
In other news, my math book got 100 stars on github https://boris-marinov.github.io/category-theory-illustrated/
❤️ all my readers
Today's read, turns out the mathematician Brouwer (topology, intuitionistic logic) had written a philosophical lament about society in his 20s, seems interesting https://www.slideshare.net/elsavonlicy/brouwerlife-art-and-mysticism
#math #philosophy
Today in #philosophybeefs or #logicbeefs: The dispute between Browler and Hilbert over the validity of the law of excluded middle in logic:
https://en.wikipedia.org/wiki/Brouwer%E2%80%93Hilbert_controversy
Added some helpful bash one-liners that I use in this repo, get them while they are hot:
Developed this very simple webapp for creating lists of things with no Javascript. Super enjoyable to use IMO:
Ran across this great lecture series: "Great Theoretical Ideas in Computer Science": https://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15251-f10/Site/Materials/Lectures/
Borko
boosted
Jordan Peterson's early life is basically the origin story of The Scarecrow from Batman according to his official biography 😂
Borko
boosted
Wrote a new chapter of the Category Theory book - Orders.
This is just part one, part two is coming soon(ish).
https://boris-marinov.github.io/category-theory-illustrated/04_order/
Borko
boosted
i recently saw someone describe a common cis attitude towards one's gender as "idk i just work here" and honestly? accurate.
led me to finding the term "gender-apathetic" and i think for the first time i've found a gender label that actually resonates with me on some level.
can't be bothered to do anything about it though
Borko
boosted
As Michael Parenti put it: "these countries are not under-developed, they were over-exploited"
https://www.youtube.com/watch?v=KIs0ZDZ6dYw
I came to the world for the facts, but it turns out I can only have pictures of facts. This is some shit. #wittgenstein #philosophy
Borko
boosted
Anyway I'm keeping it almost normal today
Borko
boosted
Today for #StudyBuddies we did portraits of some of the folks in the community. I went with a Parsnip!
Mathematics is a sham, it only works because people get really smart while learning it.
I created a Jekyll template/boilerplate that can be used for publishing books, for all you all tech-savvy writers out there.
https://github.com/boris-marinov/jekyll-book-boilerplate
Sample book:
https://boris-marinov.github.io/jekyll-book-boilerplate/
Server run by the main developers of the project 
It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!