Viewing profile — prvak

Thanks for the tips!

I use Minizinc in a personal toy project ( https://gitlab.com/dustin-space/meal-scheduler ), and GECODE or Google's ortools solver at the backend. It's used for meal planning. Unfo…

agentydragon.com

Ugh. Thanks I hate it.

I'm one of authors (Michael Pokorny), nice to see someone posting this again :)

http://eleuther.ai

There's a very simple web UI (bare HTML elements), and some things still have be done via command-line.

Yeah, that's our thing. Big rationalist/EA apartment with many vegans and vegetarians and one meat eater.

I don't have any on hand, but it's extremely bare bones. Plain HTML, no CSS, no JavaScript. Also I don't have a permanently running server yet, I just boot it up with a sqlite db i…

Unfortunately the model is wildly unoptimized. You can extract small minizinc inputs by `blaze test //plan:wrapper_test` which tests the model on simple use cases, the temporary fi…

I wrote a meal scheduler - https://gitlab.com/dustin-space/meal-scheduler . It tracks ingredients we have at home, it has a database of recipes, it knows where we can buy ingredien…

Yep. My creative process: "Need quick & nice fantasy-styled logo" => "Hey, I remember Wales has a dragon on its flag" => "Ooh, and Wiki Commons even has a CC0 SVG! Done."

Thanks! We agree, memory models/instruction reordering is where it gets really fun and educational. The complexity scared us and we wanted to make the game usable as soon as we cou…