Published inLevel Up CodingIs OOP irrelevant?Rabbi Lord Jonathan Sacks says: I have a friend in Washington. I asked him, what was it like being in America […]?Jul 30, 2021Jul 30, 2021
Published inLevel Up CodingWhere’s Waldo? I dunno.An interactive proof, informally, is a two-party protocol where an actor (the prover) can convince someone else (the verifier) of the…Jul 1, 2021Jul 1, 2021
Published inLevel Up CodingZero KnowledgeA proof in logic is a sequence of statements based on axioms, a set of propositions that are thought to be true.Jun 28, 2021Jun 28, 2021
Ariadne’s threadOn 4 June 1996, only about 40 seconds after initiation of the flight sequence, at an altitude of about 3700 m, the Ariane 5 broke up and…Apr 18, 2021Apr 18, 2021
A gentle introduction to Category TheoryCategory Theory is a branch of mathematics. It’s the purest one since it’s all about abstraction. Well, it should not come as a surprise…Apr 17, 2021Apr 17, 2021
You’re good as anyone else.Nature is working on creating unique individuals, whereas culture has invented a single blueprint to which all people should conform. It…Apr 17, 2021Apr 17, 2021
Dot Net Core CategoryWhen renowned philosopher U. G. Krishnamurti came to visit Ramana Maharshi he knew that uncountable people had experienced a tremendous…Apr 17, 2021Apr 17, 2021
The Unbearable Lightness of Functional CodingNatural languages and programming languages are often compared for a simple reason: they both try to define some meaning and the latter…Apr 16, 2021Apr 16, 2021
Meta-rationalityThe Bongard problem is simple. The name comes from computer scientist Mikhail Moiseevich Bongard, the first to put in use a meta-rational…Apr 16, 20211Apr 16, 20211
Wow functors.In programming languages, a type system is a logical system that comprises variables, expressions, functions, or modules. These types…Apr 16, 2021Apr 16, 2021
