Today's read, turns out the mathematician Brouwer (topology, intuitionistic logic) had written a philosophical lament about society in his 20s, seems interesting slideshare.net/elsavonlicy/bro

Today in or : The dispute between Browler and Hilbert over the validity of the law of excluded middle in logic:

en.wikipedia.org/wiki/Brouwer%

Added some helpful bash one-liners that I use in this repo, get them while they are hot:

github.com/boris-marinov/bin

Developed this very simple webapp for creating lists of things with no Javascript. Super enjoyable to use IMO:

floating-gorge-12895.herokuapp

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).

boris-marinov.github.io/catego

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"
youtube.com/watch?v=KIs0ZDZ6dY

I came to the world for the facts, but it turns out I can only have pictures of facts. This is some shit.

Borko boosted
Borko boosted

Today for #StudyBuddies we did portraits of some of the folks in the community. I went with a Parsnip!

#MastoArt #CreativeToots

Mathematics is a sham, it only works because people get really smart while learning it.

The most annoying thing about moving from Adobe Illustrator to Inkscape is that I forget the name of the latter ("Inkscape") and I have to google "open source vector editor" in order to find it and start it. Otherwise, great tool!

I created a Jekyll template/boilerplate that can be used for publishing books, for all you all tech-savvy writers out there.

github.com/boris-marinov/jekyl

Sample book:
boris-marinov.github.io/jekyll

Show older
Mastodon

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!