Some fun math videos:
- How To Count Past Infinity
- The Banach–Tarski Paradox
- Numberphile v. Math: the truth about 1+2+3+…=-1/12
And some fun math articles:
Math binge
Reply
Category Archives: Chatter
Quantum mechanics: How the future might influence the past
Boltzmann brain
This is great: Boltzmann brain. The idea is roughly that maybe it’s more likely that your brain (or this entire galaxy) just randomly coalesced rather than evolved from the big bang as we believe it did.
Forth
I’m reading Discover FORTH: Learning and Programming the FORTH Language and I have a growing interest in the programming language Forth. Here are a few resources:
And some other books on Forth:
And there are a heap of Forth books by Juergen Pintaske.
The illusion of free will
I have conjured a rabbit hole for myself: we fall into the illusion of free will.
Why Split Lexing and Parsing Into Two Separate Phases?
An interesting and easy to read explanation of why you might like to keep lexing and parsing separate: Why Split Lexing and Parsing Into Two Separate Phases?
How to interpret, understand, and act on feedback
This was a good read: How to interpret, understand, and act on feedback. It’s some commentary on how to take feedback in a useful, mature, and Emotionally Intelligent way.
Object-Oriented Programming, lecture by Daniel Ingalls
This turned up in my feed today: Object-Oriented Programming, lecture by Daniel Ingalls. It’s an old talk about the advantages of object-oriented programming from one of the inventors of Smalltalk (Dan Ingalls).
bondi
So I was able to compile bondi with a little help from my friend epilys.
It went a little something like this:
$ sudo apt install opam $ opam init $ opam switch create 4.06.1 $ opam install base $ opam install ocaml-lsp-server $ opam install stdlib-shims $ dune build
I’m not certain stdlib-shims was required and the ocaml-lsp-server was for vscode integration (I think).
Scrapscript
This looks interesting: scrapscript. It’s a new programming language currently under development.