Benki β†’ All Posts

β‡  previous page next page β‡’

Racial justice, social justice, environmental justiceβ€”all good causes seem to be justice nowadays. Everything is a struggle between the condemned and the enforcers. Either you are an oppressor or you are one of the oppressed.

Is this a healthy way of looking at the world?

A tutorial on Z3. Z3 is a SAT solver. It is used as the underlying deduction engine in many applications that need a theorem prover.

A relational database browser that can export internally consistent row sets.

Low* is a language embedded in F* that can be used as an alternative to C for low-level programming, but inherits F*’s proof and verification capabilities. By using Low* you can write low-level code and prove it correct, all in one language.

KaraMeL (nΓ©e KreMLin) is the Low* compiler.

β‡  previous page next page β‡’