aliquote.org

Latest micro-posts

You can also also view the full archives of micro-posts. Longer blog posts are available in the Articles section.

2021-10-08 19:55 #

Statistics as algorithmic summarization. Reminds me of Efron’s introductory chapter on statistical machinery in Computer Age Statistical Inference.

2021-10-08 19:52 #

Type theory was developed to be an alternative to set theory as the foundation of mathematical proofs in symbolic logic due to its ability to solve some contradictions stemming from naive set theory. — Where do Type Systems Come From?

2021-10-08 19:45 #

quickmenu: Quickly create and run optimised Windows, macOS and Linux desktop virtual machines.

2021-10-07 21:01 #
[2023-08-14]
Unfortunately, the tweet with ID 1446146879985696769 is no longer available.
2021-10-06 15:06 #
2021-10-05 21:20 #

Why IRC?
It’s free, in all senses of the word. A lot of others have done a great job of answering this question in further detail, this is by far my favourite:
https://drewdevault.com/2019/07/01/Absence-of-features-in-IRC.htmlIRC for DMs