silly_giraffe

4 ms·

1.
by silly_giraffe 7y ago
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 to the problem is appreciated. We need to stop paving cow-p
2.
by silly_giraffe 7y ago
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 tasks that could b
3.
by silly_giraffe 7y ago
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.
4.
by silly_giraffe 7y ago
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
5.
by silly_giraffe 7y ago
>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 `.sort` where you need t
6.
by silly_giraffe 8y ago
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 in school. Thanks for making this resource available and givi
7.
by silly_giraffe 9y ago
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 that you must be des
8.
by silly_giraffe 9y ago
SQLite will sell you a perpetual license if you need it.
9.
by silly_giraffe 9y ago
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 would ensue) seems l
10.
by silly_giraffe 9y ago
SQLite can handle a lot more than people think. The SQLite website uses it for production ( https://www.sqlite.org/whentouse.html )
11.
by silly_giraffe 9y ago
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 job is killed, I have t