Stories by Bootvis

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

Hugging Face Smolagents

Chronos: Learning the language of time series

The Google Willow Thing

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

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

Fundamentals of Numerical Computation – Julia Edition

Drawing with ChatGPT and Tikz

Rang: Make ancient R code run again

Cib – Compile-Time Initialization and Build

CRAN reports UB in your R-package: How to fix it?

Nerdle

Notation as a Tool of Thought [pdf]

Ultracold Quantum Collisions Have Been Achieved in Space for the First Time

Interactive C++ for Data Science

Perceus: Garbage Free Reference Counting with Reuse [pdf]

Perceus: Garbage Free Reference Counting with Reuse [pdf]

Soil’s Microbial Market Shows the Ruthless Side of Forests

Year old bug in glibc phtread

1
2
3
4
5