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 model every time tick as the sum of all…
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 tasks (typically 2-3) per job are done.…
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 focus on many quality of life improvements…
>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 immediately consume the result vs…
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 activation energy to use the equipment means…
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 (and the ridiculous bike shedding that…
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 intermediate data backup, so if the…
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 model every time tick as the sum of all…
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 tasks (typically 2-3) per job are done.…
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 focus on many quality of life improvements…
>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 immediately consume the result vs…
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 activation energy to use the equipment means…
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 (and the ridiculous bike shedding that…
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 intermediate data backup, so if the…