• 2 Posts
  • 18 Comments
Joined 4 years ago
cake
Cake day: February 1st, 2023

help-circle




  • I think a “constraint propagation” based solver should work well. So you can try using minizinc and play with the solvers it gives you. Using gecode and heuristics it can get very fast (try using relax_and_reconstruct, together with restart_luby and indomain_random, to obtain a simple LNS. Or you can use Google’s OR tools solver, that is based on ILP and is very fast, and can run multithreaded.

    You can also go fully ILP, and model your problem in ampl, and try some free (e.g. glpk) or commercial (e.g. gurobi) ILP solver.

    I doubt it helps, but there’s always SMT solvers (e.g. cvc5), which I don’t think can be faster but is surely easier to model than a pure SAT. And there’s also ASP solvers like clingo (clasp+gringo), that are purely logic based and implement common-sense-reasoning.







  • edinbruh@feddit.ittoLinux@lemmy.ml•Ban Windows at schools
    link
    fedilink
    English
    arrow-up
    136
    arrow-down
    1
    ·
    3 months ago

    I wouldn’t “ban Windows at school” as a whole but I would:

    • ban schools from installing windows in school computers
      • teachers and students can still use it on their own computers, if they want
    • ban teachers from requiring windows-only software
      • regardless of what you use at school, teachers would often require MS office or Adobe for homework, which would force students to use windows at home



  • This👆

    That’s why I referred to it as “plain”: it’s just the reader. And it is mostly made to replace the original reader software on eBook devices, but you can also use it on desktop if you want.

    The question is if you are looking for just a reader, or a library manager. But you can also mix the two, so use calibre fo manage the library and have it use koreader to open books




  • In principle integrated graphics are better. They share the same memory as the CPU, so games can just modify memory in place instead of doing a costly data transfer via pcie, this is one of the major pain points in emulators, games expect to just modify memory, while the emulator has to emulate this behaviour with limited bandwidth.

    The problem is that most computer games do not take advantage of this, and instead do pcie transfers even if they could simply not do that. Also PC APIs (DirectX, vulkan, etc) are not build around this ability, while console SDKs are.

    Plus, a console GPU is much bigger than usual integrated graphics. To put this into perspective, the major selling point of AMD’s me ai max etc etc CPU is the big integrated GPU… It’s still smaller than a ps5 GPU… It is more powerful because it’s newer, but it’s smaller, and the ps6 will likely have a bigger one.


  • Unfortunately, you cannot buy gaming gpus, not because AI data centers are buying them, but because Nvidia would rather produce server GPUs than gaming GPUs. Same for memory. Once the AI bubble bursts, there still won’t be gaming GPUs to buy unless Nvidia and everyone else switch production, and you cannot put a datacenter GPU in a regular computer.