A formalization of first-order logic and Peano's axioms in Python - GitHub - sanjoy/pyano: A formalization of first-order logic and Peano's axioms in Python... (more…)
Read more »
One simple way of parsing configs. Contribute to Avature/confight development by creating an account on GitHub. (more…)
Read more »
One year ago I was introduced by my friend Roberto Ciatti to the concept of Clean Architecture, as it is called by Robert Martin. The well-known Uncle Bob talks a lot about this concept at conferences and wrote some very interesting posts about it. What h...
Read more »
Libpython-clj is a library that allows you to use python libraries from the clojure repl. We will dig through the nuts and bolts that make the library tick a... (more…)
Read more »
Full Video: https://www.pscp.tv/Microsoft/1OyKAYWPRrWKb?t=29m19s Credits: Microsoft, OpenAI... (more…)
Read more »