Viewing profile — silly_giraffe

I want to say that I am continually impressed at your long-term vision and commitment you have taken to the Oil project. Your posts are a treat to read, and the care you have given…

The documentation and API quirks of z3 also led me down some performance sinks before I was able to tackle the larger models. Not a Z3/SMT expert, but what worked for me was to mod…

I have used the Z3 solver( https://github.com/Z3Prover/z3 ) to optimize a job scheduling problem. Roughly, I have ~20k jobs, defined by N tasks (~1-50). A job is complete only if M…

While still an early project, I am keeping my eye on the Tectonic( https://github.com/tectonic-typesetting/tectonic ) project. A re-write of the core Xetex engine in Rust with a fo…

>same stuff within the standard library, like list.sort() and sorted(list) Those have different use cases. `sorted` is for situations where you would use a list comprehension and i…

I have read through the first few chapters now and it is brilliant. The author uses excellent examples without ceremony that makes the topic far more approachable than I found it i…

If I could add a personal number three to your list: most robots are far from robust. Running a robot becomes a full time job and require a dedicated guru to maintain it. The activ…

SQLite will sell you a perpetual license if you need it.

While I completely agree that there are Unix idioms that could go by the wayside, the team is already taking on an enormous project. Reinventing standard practices at the same time…

SQLite can handle a lot more than people think. The SQLite website uses it for production ( https://www.sqlite.org/whentouse.html )

Except for us crazy individuals that need the computer on for uninterrupted data processing. I have Windows only software that can take two weeks to complete a dataset. There is no…