This blog post will serve as a quick tutorial to basic probability and random variables, and encoding them in Racket. It assumes basic knowledge with sets and programming.
Continue reading “Encoding probability and random variables in Racket”Category: Programming
Formalization of Boolean algebra pt. 2
In my previous post I’ve said that to prove that from 
Introduction and formalization of Boolean algebra
Recently I’ve been teaching my friend boolean algebra for their exams at university. Some exercises included simplifying boolean expressions. While teaching them, I noticed that we mostly relied on the transformation rules and almost mechanically simplified expressions (M of MIU, remember? :))
In this post, we will formalize this algebra and prove some properties about it.
Continue reading “Introduction and formalization of Boolean algebra”
Dafny proof to the Container With Most Water Problem
The problem is introduced and proven (manually) here: https://leimao.github.io/blog/Proof-Container-With-Most-Water-Problem/
We’ll do the proof in Dafny.
Continue reading “Dafny proof to the Container With Most Water Problem”
GEB: An EGB overview (Part I)
I’d started some time ago, and just recently finished reading the first part of Gödel, Escher, Bach: An Eternal Golden Braid. Here, I will present my quick overview of each chapter.
bor0's reflective blog 