HNHacker News
TopNewBestAskShowJobs

degoodm

32 karma · joined January 15, 2014

submissionscomments
degoodm··on Project Euler #912: Where are the Odds?
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 messages like "looking for patterns," before writing a collection of thematic but flawed thoughts. The "Calculation Steps" approach is incorrect, but correctly implemented by the code.

It flubs a basic calculation that it correctly implements in python: "10^16 mod (10^9 + 7) = 49" (it's actually 930000007)

but succeeds in a seemingly harder calculation: "the modular inverse of 12 modulo 10^9 + 7 is 83333334"

Finally, o1 claims the code prints "0" when it actually prints "982790507" (both wrong answers).

Note: input was copied from the html-only Project Euler url since the formulas in the human-optimized url are not copyable: https://projecteuler.net/minimal=912

degoodm··on The Silent (R)evolution of SAT
"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 make old solvers faster, algorithmic progress dominates and drives today's SAT solving."*

Pretty cool given computing progress over the last 20 years:

  1. CPUs sped up 40-60x
  2. GPU FLOPS/$ increased ~10,000x


Sources:

  1. https://www.cpubenchmark.net/year-on-year.html
  2. https://en.wikipedia.org/wiki/FLOPS#Hardware_costs
*Quote shortened for brevity
degoodm··on 1Password Has Raised $620M
I hope that's enough to finally make a Chrome extension that works. Theirs seems significantly broken half the time.
degoodm··on Voltswagen of America
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?

https://www.dw.com/en/volkswagens-uighur-problem/av-55579947 https://newlinesinstitute.org/uyghurs/the-uyghur-genocide-an... https://www.haaretz.com/world-news/.premium-from-jews-to-uig...

degoodm··on Why so many Chinese students can’t understand the Hong Kong protests
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_#...