Mauro GhianiinLevel 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
Mauro GhianiinLevel 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
Mauro GhianiinLevel 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
Mauro GhianiAriadne’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
Mauro GhianiA 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
Mauro GhianiYou’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
Mauro GhianiDot 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
Mauro GhianiThe 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
Mauro GhianiMeta-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, 2021Apr 16, 2021
Mauro GhianiWow 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
