Happy birthday to the greatest DJ-set of the century so far 🥰

Floating Points and Four Tet — Plastic People Closing Party — Jan. 2nd-3rd, 2015
www.youtube.com/watch?v=NSnn...

AlphaProof’s Greatest Hits Here I’ll try to explain the coolest ideas in each of AlphaProof’s IMO 2024 solutions. AlphaProof produces proofs in Lean, and each Lean proof is composed of a series of tactics. So I’ll pick out the ...

Very nice post from my colleague Rishi Mehta on the different tactics used by AlphaProof during the international math olympiad

rishimehta.xyz/2024/11/17/a...

Python code to find the number of sides given a binary mask. Uses numpy and returns sum of abs of diff (axis 1) of diff (axis 0).

It's my first year doing #adventofcode and I'm loving it so far. I'm proud of this code to compute the number of horizontal and vertical sides of a region for day 12. I re-used it again in day 14 to find the christmas tree :)

Oops, I Sampled it Again: Reinterpreting Confidence Intervals in... The predominant method for computing confidence intervals (CI) in few-shot learning (FSL) is based on sampling the tasks with replacement, i.e. allowing the same samples to appear in multiple...

"Oops, I Sampled It Again": Recent paper in TMLR 2024 by student Raphaël Lafargue which demonstrates that existing confidence intervals in few-shot learning benchmarks are fundamentally flawed: They sample tasks *with replacement* and then compute variance assuming independence.. 😱

Pavement - Crooked Rain
Herbie Hancock - Head Hunters
Mt Kimbie - Cold Spring Fault Less Youth
Parquet Courts - Light Up Gold
LCD Soundsystem - Sound of Silver
The Avalanches - Since I Left You
Tame Impala - Lonerism