{disambiguate=Python package manager}

= Poetry
{disambiguate=Python}
{synonym}


Poetry

Poetry (Python package manager)

ParityQC

Boaty McBoatface

{c}
{wiki}

= ICPC
{c}
{synonym}
{title2}


International Collegiate Programming Contest

{c}
{title2=2024}

They do have a database system which is interesting.


LeanAgent

{c}
{title2=2025}

https://openreview.net/forum?id=kqj2Cn3Sxr

> We introduce Putnam-AXIOM, a benchmark of 522 university-level competition problems drawn from the prestigious William Lowell Putnam Mathematical Competition, and Putnam-AXIOM Variation, an unseen companion set of 100 functional variants generated by programmatically perturbing variables and constants.


Putnam-AXIOM

{c}

https://matharena.ai/

This project tests various models against various competitions.

How they "ensure" that models are not contaminated:
>  By evaluating models as soon as new problems are released, we effectively eliminate the risk of contamination

Most of their problems come from <high school knowledge olympiads> and they are therefore completely irrelevant for 2025 <LLMs>.


MathArena

\Video[https://www.youtube.com/watch?v=ZN1S84BnFb0]
{title=The Power of a Mother's Love by <Alan Watts>}


Mother's love

Headhunter boutique

{c}
{wiki}

\Video[https://www.youtube.com/watch?v=dX4vCNi544w]
{title=LIGO documentary by Advanced LIGO Documentary Project}
{description=
* https://youtu.be/dX4vCNi544w?t=1866 this section about <numerical simulation> is quite interesting. They don't know how to solve the <inverse problem>, so they just simulated a bunch of different mass combinations
* https://youtu.be/dX4vCNi544w?t=2290 they use <Ubuntu> everywhere, default purple desktop. God bless. It's good enough for <gravitational wave detection>, just not good enough for some shitty enterprise application. Lol.
}


LIGO

{c}
{tag=1993 Nobel Prize in Physics}
{wiki}


Hulse-Taylor pulsar

The <Collatz function> is not very elegant in that the odd $3n + 1$ case is always even because $n$ is odd, so it is always predictably followed by a division by two. This is not the case for the even case, where the result can be either even or odd.

A much more elegant formulation is to immediately also divide by two when the number is odd:
$$
\frac{3n + 1}{2}
$$


Shortcut Collatz function

Unbounded Collatz trajectory

Collatz cycle

Efficiently updatable neural network

Five AI

{c}
{wiki}

\Video[https://www.youtube.com/watch?v=NDW9zKqvPJI]
{title=I Changed Astronomy Forever. He Won the Nobel Prize for It by New York Times Opinion}
{description=Many good footage and recreations from <Mullard Radio Astronomy Observatory>}


Jocelyn Bell Burnell

Binary pulsar

Haiqu

\Video[https://www.youtube.com/watch?v=HiTqIyx6tBU]
{title=Any Poll's a Goal by Internet Historian}

\Video[https://www.youtube.com/watch?v=335Qnh-GRcA]
{title=Gavin Belson Signature Scenes from <Silicon Valley (TV series)>}


Ciro Santilli @cirosantilli 37