ripecoconut
Re:r/ProgrammerHumor will be shutting down to protest Reddit's API cha...
on Thursday June 08, 2023 @07:40PM (#36250940)
I clicked join a server and it just let me browse no problem.
Re:Software Verification and Analysis Using Z3
on Saturday January 30, 2021 @07:47PM (#25974599)
https://sat-smt.codes/main.html is a good introduction to applying SMT to many kinds of problems.
https://rise4fun.com/ for all sorts of examples of what these sorts of algorithms can solve.
https://www.coursera.org/learn/discrete-optimization is a good introduction to constraint optimization, local search, linear programming, and mixed integer programming.
Re:Estimated 1.56B face masks will have entered oceans in 2020
on Tuesday December 15, 2020 @04:06PM (#25435263)
That's why they put a filter on it