degoodm

4 ms·

1. 1.▲
   by degoodm 2y ago

   ChatGPT o1 seems to understand the problem correctly but doesn't get far: https://chatgpt.com/share/670dbe0e-087c-8000-9856-996c3fbaa9... o1 thought for 105 seconds, cycling through many relevant-sounding status m
2. 2.▲
   by degoodm 3y ago

   "Is progress in SAT solving the sole result of hardware advancement? Time Leap Challenge compared 20-year-old SAT solvers on new computer hardware and modern SAT solvers on 20-year-old computer hardware. Although hardware improvements
3. 3.▲
   by degoodm 5y ago

   I hope that's enough to finally make a Chrome extension that works. Theirs seems significantly broken half the time.
4. 4.▲
   by degoodm 5y ago

   Perhaps VW should focus on taking slave labor out of their supply chain. One could argue that their decision to work with Nazis was compelled b/c VW is a German company. What's their excuse for using slaves from a second genocide?
5. 5.▲
   by degoodm 7y ago

   Macau actually experienced a big recession while Hong Kong has grown steadily, overtaking the US in GDP per capita. [1] [1] https://www.google.com/publicdata/explore?ds=d5bncppjof8f9_#...