Tutorial for using django + fquery fquery is primarily a graph query engine. It can also be thought of as an explicit query plan for declarative query languages such as SQL or opencypher. In that ...

Satisfiability Modulo Theory and Python If you’ve heard about z3 you probably know what SMT is already. If not, this piece of open source technology can solve equations, come up with counter exam...

py2many 0.2.1 py2many version 0.2.1 is out! Recent improvements 231 tests in 7 languages pass. As in generated code is human readable, compiles, runs and produces the same output as python3. ...

py2many transpiler py2many is a python -> {c++14, rust, go, julia, kotlin, dart, nim} transpiler written in python. Recent improvements IntEnum/IntFlag support: rust/go/nim support it. The...

Understanding the Signal Protocol Signal and double ratchet were a major advancement in encrypted communication over the last couple of decades. PGP in comparison was hard to use and relatively in...

Algorithms + Data Structures = Programs So said Niklaus Wirth in 1976. But there is a debate 40+ years later about how important each of them is for the most common use cases. On one end of the s...

A practical view of PEP 622 Python’s PEP-622 proposal seeks to add much needed pattern matching, sealed classes and algebraic data types to the language. This is a more practical criticism of the ...

FlatBuffer as serialization agnostic IDL Many popular IDLs mix the following two separate concerns into one leading to less than optimal results. Language agnostic type system supporting enums...

Fquery Improvements A few months ago, I published some code as open source with minimal unit tests and without much of an announcement. This is an attempt to describe what the code does with some ...