AndrewSimple Alcoholic MotionIf the only force acting on a body is directly proportional to the distance from a bar or public house, then that body is said to exhibit…Apr 19Apr 19
AndrewRusty Garbage ! My HashMap is non-deterministicIt’s a reasonable expectation that if we repeatedly run the same program on the same inputs, we always get the same output. Of course we…Apr 18Apr 18
AndrewBootstrapping Mathematics : Programs Are Proofs(3)In the last post we introduced the LABEL language, as a language for doing formal work in mathematics. By the end, we were able to provide…Apr 16Apr 16
AndrewBootstrapping Mathematics : Programs Are Proofs(4)In the last post we extended the bootstrap of LABEL within itself to allow the use of pairs and lists. This was done in response to the…Apr 16Apr 16
AndrewBootstrapping Mathematics : Programs Are Proofs(2)In the last post we saw how mathematics can be described as a “logical sequence of strings”. We used the Rust language to formalise this…Apr 16Apr 16
AndrewBootstrapping Mathematics : Programs Are Proofs.As an “improper” mathematician I’ve always been interested in what maths actually is. I use “improper” as I don’t officially have a degree…Apr 15Apr 15
AndrewRust : Are my HashMaps Equal?Comparing HashMaps can be confusing ! Consider the following :Apr 14Apr 14
AndrewRust Matching behind Rc GOTCHAI was recently working with an object sitting behind a “Rc” wrapper and wanted to match on that object. The problem was, Rust wouldn’t…Apr 11Apr 11
AndrewFibonacci in Rust and PerformanceLet’s write a function to return a Fibonacci sequence number and see where we go…Apr 8Apr 8