ckcheng
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Tariffs Can Help America (foreignaffairs.com)
- Artificial Intelligence and the Future of Work (nap.nationalacademies.org)
- Number of people employed in agriculture, 1801 to 2019 (ourworldindata.org)
- Terran Trade Authority (en.wikipedia.org)
- Levels.fyi Available in CAD (old.reddit.com)
-
AlphaProof uses a pre-trained language model + MCTS (Monte Carlo tree search) to generate Lean proofs to solve the IMO (International Mathematical Olympiad) algebraic problems (I think). Why doesn't this work for IMO…
- Why Zuckerberg's multibillion-dollar gamble doesn't just matter to Meta (theguardian.com)
- BlackHole: macOS Audio Loopback Driver (github.com)
- Why will my device lose access to Libby & OverDrive April 15, 2024? (help.overdrive.com)
- The hard truth about AI? It might produce some better software (theguardian.com)
- Sutton launches new Alberta AI lab with Huawei funds after Ottawa restrictions (theglobeandmail.com)
- How to select and replace water heater element (waterheatertimer.org)
- WhatsApp chats can finally be moved between Android and iPhone (techadvisor.com)
- Clayton Christensen on How to Find Work That You Love (fastcompany.com)