Reposted by Jack Valmadre
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...
Floating Points and Four Tet — Plastic People Closing Party — Jan. 2nd-3rd, 2015
www.youtube.com/watch?v=NSnn...
Floating Points & Four Tet - Final Plastic People [2015-01-02]
YouTube video by Driving Music
www.youtube.com
January 3, 2025 at 8:34 AM
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...
Floating Points and Four Tet — Plastic People Closing Party — Jan. 2nd-3rd, 2015
www.youtube.com/watch?v=NSnn...
Reposted by Jack Valmadre
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...
rishimehta.xyz/2024/11/17/a...
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 ...
rishimehta.xyz
November 29, 2024 at 10:41 AM
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...
rishimehta.xyz/2024/11/17/a...
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 :)
December 14, 2024 at 11:56 PM
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": 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.. 😱
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...
openreview.net
December 1, 2024 at 11:04 PM
"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.. 😱