prvak

4 ms·

1. 1.▲
   by prvak 4y ago

   Thanks for the tips!
2. 2.▲
   by prvak 4y ago

   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. Unfortunately it's way way sl
3. 3.▲
   by prvak 4y ago

   agentydragon.com
4. 4.▲
   by prvak 5y ago

   Ugh. Thanks I hate it.
5. 5.▲
   by prvak 5y ago

   I'm one of authors (Michael Pokorny), nice to see someone posting this again :)
6. 6.▲
   by prvak 5y ago

   http://eleuther.ai
7. 7.▲
   by prvak 6y ago

   There's a very simple web UI (bare HTML elements), and some things still have be done via command-line.
8. 8.▲
   by prvak 6y ago

   Yeah, that's our thing. Big rationalist/EA apartment with many vegans and vegetarians and one meat eater.
9. 9.▲
   by prvak 6y ago

   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 in Git when i need to use it. Might respond la
10. 10.▲
    by prvak 6y ago

    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 files will go to `--test_tmpdir`. I don't have
11. 11.▲
    by prvak 6y ago

    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 ingredients online (for delivery). It schedules
12. 12.▲
    by prvak 11y ago

    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."
13. 13.▲
    by prvak 11y ago

    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 could, so we rather left it on the TODO list for now. Mayb
14. 14.▲
    Show HN: The Deadlock Empire – Slay dragons, master concurrency(deadlockempire.github.io)

    269 points by prvak 11y ago|30 comments