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 […]?2 min read·Jul 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…3 min read·Jul 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.3 min read·Jun 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…3 min read·Apr 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…4 min read·Apr 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…3 min read·Apr 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…3 min read·Apr 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…6 min read·Apr 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…5 min read·Apr 16, 2021----
Mauro GhianiWow functors.In programming languages, a type system is a logical system that comprises variables, expressions, functions, or modules. These types…7 min read·Apr 16, 2021----