Viewing profile — degoodm

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 throug…

"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…

I hope that's enough to finally make a Chrome extension that works. Theirs seems significantly broken half the time.

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 the…

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=d5bncppjof8…