ronmrdechai
Re:An Exercise in Satisfiability
on Saturday June 15, 2019 @09:51AM (#20190023)
Author here, this is the first time I've ever written anything for the internet. I though I'd take the weekend to mess around with SAT solvers and their implementation and then another weekend to write about it. I don't have a blog so this is just a (really long) GitHub README.
Re:Vim tricks
on Sunday June 02, 2019 @06:39PM (#20078831)
Take a look at `:help 'keywordprg'`.
Show HN: Pie – an idiomatic C++ interface to CPython's C API
I recently needed to add support for Python plugins in a C++ application I am developing. CPython's C API is pretty cool, but it's a C API. I wanted something more C++-ey, so I wrote Pie.https://github.com/ronmrdechai/Pie