from Hacker News

Bootvis

joined 6/12/10, 4:51 PM has 3410 karma

• Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video]

  by Bootvis on 2/24/25, 9:20 AM, with 0 comments

• Hugging Face Smolagents

  by Bootvis on 1/5/25, 12:28 PM, with 0 comments

• Chronos: Learning the language of time series

  by Bootvis on 12/10/24, 6:20 PM, with 0 comments

• The Google Willow Thing

  by Bootvis on 12/10/24, 4:34 PM, with 458 comments

• Google Gemini surges to #1 be but benchmarks don't tell the whole story

  by Bootvis on 11/18/24, 5:02 PM, with 0 comments

• Positron: A next-generation data science IDE built by Posit PBC

  by Bootvis on 6/29/24, 11:27 AM, with 0 comments