Mastodawn

Balaji Ganapathy Feb 2, 2024

Terence Tao Feb 1, 2024

Claire Voisin has just been awarded the Crafoord prize for 2024. https://www.insmi.cnrs.fr/en/cnrsinfo/claire-voisin-awarded-crafoord-prize-mathematics-2024

Voisin is a superb algebraic geometer and this award is well deserved; but she is also currently performing the herculean (and somewhat thankless) task of chairing the Program Committee for the 2026 ICM, and in her hands I am confident that the scientific program for the next congress will be excellent.

Claire Voisin awarded the Crafoord Prize in Mathematics 2024

Claire Voisin is awarded the Crafoord Prize in Mathematics 2024

CNRS Mathématiques

Balaji Ganapathy Nov 28, 2023

Ars Technica Nov 28, 2023

Backlash over fake female speakers shuts down developer conference

Male organizer also accused of secretly running female coder Instagram account.

https://arstechnica.com/tech-policy/2023/11/backlash-over-fake-female-speakers-shuts-down-developer-conference/?utm_brand=arstechnica&utm_social-type=owned&utm_source=mastodon&utm_medium=social

Backlash over fake female speakers shuts down developer conference

Male organizer also accused of secretly running female coder Instagram account.

Ars Technica

Balaji Ganapathy Nov 19, 2023

Terence Tao Nov 19, 2023

I've written a blog post at https://terrytao.wordpress.com/2023/11/18/formalizing-the-proof-of-pfr-in-lean4-using-blueprint-a-short-tour/ giving a "quick tour" of the #Lean4 + Blueprint combination used to formalize the proof of the PFR conjecture that I recently completed with Tim Gowers, Ben Green, and Freddie Manners.

Formalizing the proof of PFR in Lean4 using Blueprint: a short tour

Since the release of my preprint with Tim, Ben, and Freddie proving the Polynomial Freiman-Ruzsa (PFR) conjecture over $latex {\mathbb F}_2$, I (together with Yael Dillies and Bhavik Mehta) have st…

What's new

Balaji Ganapathy Jul 13, 2023

Ton Roosendaal 🔶Jul 13, 2023

The Princeton Vision & Learning Lab released a free/open licensed Blender add-on for procedural generation of 3D natural environments. Looks impressive! https://infinigen.org #b3d

Home | Infinigen

Description will go into a meta tag in <head />

Balaji Ganapathy Apr 14, 2023

Mark Riedl Apr 13, 2023

Really bummed that HBO Max didn't rebrand to:

λ (x, y).if (x < y) y x

Balaji Ganapathy Apr 5, 2023

Show thread

Ben Waber Apr 5, 2023

First was a fantastic talk by @cfiesler on forecasting #AI harms at #SiliconFlatirons. The Black Mirror exercise discussed here is amazing, and I highly recommend the entire talk https://www.youtube.com/watch?v=ZcbpT4ESTmA (2/5) #AIEthics

AI Ethics Series 2022–2023 | AI and Ethical Debt | Casey Fiesler

Innovating Like an Optimist, Preparing Like a Pessimist: Ethical Debt and the Problem of Unanticipated Consequences for AIPresented by the Daniels Fund Ethic...

YouTube

Balaji Ganapathy Dec 29, 2022

Gabriel Peyré Dec 29, 2022

My periodic reminder that my book on the discrete Fourier transforms (incl. FFT, finite fields valued FT, representation theory, and more) is available for free. https://mathematical-tours.github.io/daft/

The Discrete Algebra of the Fourier Transform - Mathematical Tours of Data Sciences

Mathematical Tour of Data Sciences

Balaji Ganapathy Nov 5, 2022

The Gradient Nov 5, 2022

How about a little competition - show us your best AI-generated images of robot Mastodons 🐘

We might just use one of them as the Mascot for http://sigmoid.social :)

h/t @Riedl for the idea

Balaji Ganapathy Nov 1, 2022

Kelsey Hightower Oct 31, 2022

I don't talk about job promotions very often, but this one deserves a little celebration. I just made L9 as an individual contributor on Google's engineering ladder, which means I've earned the privilege of referring to my role as "Distinguished" on all my slide decks.