cerved

7 ms·

1. 61.▲
   by cerved 1y ago

   Not only has he made a great website, he's also a super nice guy
2. 62.▲
   by cerved 1y ago

   MiniZinc is a really great modeling language for constraint programming. Back in August I gave a talk at NordConstNet25 on how we used it to build a product configurator in what's (probably) the worlds largest MiniZinc model https:&#x
3. 63.▲
   by cerved 1y ago

   I think the point is, E2E takes too long, so it was only run nightly. Now it's also run, selectively, as well as nightly
4. 64.▲
   by cerved 1y ago

   Well since it never broke for some rando on the internet, surely that means it will always work for everyone
5. 65.▲
   by cerved 1y ago

   It doesn't. That's why it's the responsibility of the application layer to correctly implement the data model of the database and not the other way around
6. 66.▲
   by cerved 1y ago

   That's what FIXME is for
7. 67.▲
   by cerved 1y ago

   (D)ash is not bash --posix
8. 68.▲
   by cerved 1y ago

   They are not the author of fzf
9. 69.▲
   by cerved 1y ago

   Postgres presumably
10. 70.▲
    by cerved 1y ago

    LMS/GLAS
11. 71.▲
    by cerved 1y ago

    Probably more like need to use it. Basically nano for windows
12. 72.▲
    by cerved 1y ago

    I like it because it's language and tooling agnostic, declarative, fast and ubiquitous. Where it's less great is complicated recipes and debugging
13. 73.▲
    by cerved 1y ago

    What about a CP-SAT solver?
14. 74.▲
    by cerved 1y ago

    <3 GNU Make
15. 75.▲
    by cerved 1y ago

    it's fasterb and has a functional vim interface
16. 76.▲
    by cerved 1y ago

    Is there something related to Access in this that I missed in this or you just being salty, because I have to work with that garbage and if there's something better than DBeaver I can use for that I'm all ears
17. 77.▲
    by cerved 1y ago

    More streamlined UI. I find the graph viewer to display some things nicer, like coloring tables, bringing in related tables. Slightly better introspection and code formatting. Easier refactoring capabilities. Easier to get IdeaVim working t
18. 78.▲
    by cerved 1y ago

    SSMS is what my nightmares are made of
19. 79.▲
    by cerved 1y ago

    Since most databases expose similar schema views it shouldn't be too complicated. Feels like JetBrains has been doing this for a long time
20. 80.▲
    by cerved 1y ago

    I'm more confused why the version control of the thing using the database is including the entire schema of the database in it's repository
21. 81.▲
    by cerved 1y ago

    I'd guess legal reasons
22. 82.▲
    by cerved 2y ago

    Peter Stuckey, the co-author of this paper has a series of courses on modelling for constraint programming on coursera. https://www.coursera.org/learn/basic-modeling Pascal Van Hentenryck has another one https:/&
23. 83.▲
    by cerved 2y ago

    Starting
24. 84.▲
    by cerved 2y ago

    > Though, what I'm really concerned about is what happens when it gets smart enough to do pretty much everything better (or even close) I'll get concerned when it stops sucking so hard. It's like talking to a dumb robot. W
25. 85.▲
    by cerved 2y ago

    I know! It does AI!!
26. 86.▲
    by cerved 2y ago

    People are always shitting on bash but I like it.
27. 87.▲
    by cerved 2y ago

    I hate Jet with a vengeance
28. 88.▲
    by cerved 2y ago

    Where did this unknown individual buy the keys and when? I see a lot of smoke but where is the fire?
29. 89.▲
    by cerved 2y ago

    I'd suggest getting a better window manager
30. 90.▲
    by cerved 2y ago

    55" was fine but I'm happy I downsized to 48"