Stories by Bootvis

StackOverflow: AI Assist

14yo won $25k for origami, discovered pattern that holds 10k times its weight

Incremental Compilation in Recursive‑Descent Parser (Roslyn)

India bars Jane Street from its securities market, citing manipulation

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

1
2
3
4
5