For those coming to the Joint Math Meeting this week, I am demoing sugaku.net AI tools for math research Thursday at 3pm. And for those like me having trouble picking out of the giant schedule, you can now chat with the schedule #jmm2025 #mathsky
09.01.2025 17:11 — 👍 0 🔁 0 💬 1 📌 0
Sugaku | Tools for mathematicians
Tools for mathematicians
Looking forward to it too! I’ve been especially interested in how AI can help in the exploratory phases of math, rather than finishing proofs, and am building out some tools to tackle this at sugaku.net
05.01.2025 09:51 — 👍 1 🔁 0 💬 0 📌 0
Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com
https://pimbook.org
https://pmfpbook.org
https://buttondown.email/j2kun
https://heir.dev
AGI research @DeepMind.
Ex cofounder & CTO Vicarious AI (acqd by Alphabet),
Cofounder Numenta
Triply EE (BTech IIT-Mumbai, MS&PhD Stanford). #AGIComics
blog.dileeplearning.com
NYC Photographer. Helmut Newton-inspired, adult-themed art. Deleted 10 times on IG, which I’m hoping is some kind of a record because I’m all about that 💪. On Instagram as @themetasubversive3.0.
Front-end developer, designer, writer, and avid user of the superpowered information superhighway.
✧ https://vale.rocks
✧ https://fedi.vale.rocks/vale
Associate professor of mathematics.
Hymn aficionado.
Large absent-minded spirit.
Resist simple narratives.
Cultivate an abolitionist imagination.
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
Digital rights are human rights. There's hardly anything as important as ensuring that our shared future has freedom of expression and creativity at its core. https://www.fightforthefuture.org
Mathematician. Founder and director of Euler Circle and Kaleidoscope Circles.
Entrepreneur
Costplusdrugs.com
Academic at Gothenburg University. Mathematician. Late millennial.
tech & society @washingtonpost.com
stories: drewharwell.com
videos: tiktok.com/@drewharwell
+ instagram.com/bydrewharwell
Historian of race, policing, surveillance, and technology. Senior Policy Analyst at EFF. Sometimes teach at Emory. Book on race and the origins of modern policing out now! My views are not my employers.
MatthewGuariglia.com
Law Prof. GWU, Tech & Justice. Author: “Your Data Will Be Used Against You,” “The Rise of Big Data Policing,” “Why Jury Duty Matters,” and “The Law of Law School.”
We're the Electronic Frontier Foundation. We're a nonprofit that fights for your privacy and free speech online. Find all of EFF's social media accounts at eff.org/social.
eff.org
Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr.
Personal account; not speaking for employer or anyone else.
