I've just read one of the best pieces of writing about the why of applied category theory I ever had the pleasure to read. I resonate so much with it that I want to copy it verbatim here: How can we gain the benefits of standardization, compositionality and generality? There is no one answer, ex[c]ept … Continue reading A complexity-taming thing
Here's my take: social structures are the most impactful technology humans ever developed. Some might be already frowning. 'Social structures' does not even fall into what most people would probably call technology. After all, it has to be something concrete that, ideally, I can throw out of a window, no? According to the dictionary, technology … Continue reading The unreasonable effectiveness of social structures
Many people seem to believe mathematicians work in non-constructive, non-structural, battered foundations because they love their Platonic realm and have a kink for AC and LEM. The reality is most mathematicians don't have a clue about foundations, they don't care, and happily work informally for all their lives. Case in point, mathematical foundations are a … Continue reading Mathematicians don’t care about foundations
How can mathematicians be aware of the world they live in
I just finished reading What does a mathematical proof prove?, a (supposedly) classic in philosophy of math by Imre Lakatos and it confirmed what I feared was happening: I can no longer bear any humanities paper. Everything[0] you read typically has a 10x multiplier on words, and usually boils down to one/two interesting perspectives on … Continue reading On humanities papers and mathematical naivety.
I recently found out about Operation 'Serenata de Amor' (thank you, Hacker Newsletter) and that reminded me of some thoughts I had about AI and government. Being the topic hot, I guess it would be nice to share my 2 cents here. One of the main problems of any country, some more than others, is corruption. … Continue reading Naïve thoughts about AI and politics.
Some time ago I stumbled upon this article by Kyle Simpson (aka @getify) Sure const and let are new pals in JS-town, and we still have to understand properly their role, anyway, it’s been almost a year I’m using ES2015 regularly in my projects, and I really like the new variable declarations. I found them … Continue reading Ode to const
If you choose not to decide, you still have made a choice. ~ Neil Peart
Thoughts I have and things I note as I learn math
confessions of a relentlessly staggering blunderer in the mindfield
Jade Master's Blog About Categories
A random mathematical blog
"A good stock of examples, as large as possible, is indispensable for a thorough understanding of any concept, and when I want to learn something new, I make it my first job to build one." - Paul Halmos
Category Theory, Haskell, Concurrency, C++
Miscellaneous maundering
Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao
Representation theory, geometry and whatever else we decide is worth writing about today.
Derek Wise's blog: Mathematics, Physics, Computing and other fun stuff.
Born to be Wild
General abstract nonsense. 