Sign in

Bhumika Mittal

@bhumikamittal.bsky.social
53 followers 90 following 3 posts

bhumikamittal.in Software Engineer at Amuse Labs. Research interests: cryptography, program analysis and formal methods

PostsRepliesMedia
Reposted by Bhumika Mittal
Quanta Magazine @quantamagazine.org · 16/03/2026
The central limit theorem started as a bar trick for 18th-century gamblers. Now scientists rely on it every day. www.quantamagazine.org/the-math-tha...
quantamagazine.org
The Math That Explains Why Bell Curves Are Everywhere | Quanta Magazine
The central limit theorem started as a bar trick for 18th-century gamblers. Now scientists rely on it every day.
13615
Reposted by Bhumika Mittal
PLDI @sigplan-pldi.bsky.social · 16/03/2026
🚨The PLDI'26 Student Research Competition deadline has been extended to Thursday, March 19! Whether your work is in its early stages or more polished, this is a great opportunity to get feedback from the PL community. Check out: pldi26.sigplan.org/track/pldi-2...
022
Reposted by Bhumika Mittal
Sariel Har-Peled @sarielhp.bsky.social · 14/03/2026
Its pi day, so here is another "oh really?" about pi. If you pick two random integer numbers in [-N,..., N], the probability they are relatively prime is 6/π^2.
293
Reposted by Bhumika Mittal
Matthew Green @matthewdgreen.bsky.social · 10/01/2026
The problem with working in computer security is you learn never to trust anyone. The problem with never trusting anyone is that often you’re right!
511414
Reposted by Bhumika Mittal
Quanta Magazine @quantamagazine.org · 27/12/2025
Revisit the biggest moments in computer science from 2025.
quantamagazine.org
The Year in Computer Science | Quanta Magazine
Explore the year’s most surprising computational revelations, including a new fundamental relationship between time and space, an undergraduate who overthrew a 40-year-old conjecture, and the…
13816
Reposted by Bhumika Mittal
Quanta Magazine @quantamagazine.org · 24/11/2025
The mathematical conundrums that Marijn Heule has helped crack in the last decade sound like code names lifted from a sci-fi spy novel: the empty hexagon. Schur Number 5. Keller’s conjecture, dimension seven.
quantamagazine.org
To Have Machines Make Math Proofs, Turn Them Into a Puzzle | Quanta Magazine
Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can…
0103
Reposted by Bhumika Mittal
Martin R. Albrecht @malb.bsky.social · 23/11/2025
There is a lot to be appreciated about someone with an actual humanities education and a capacity to think writing about AGI. www.eruditorumpress.com/blog/on-inco... by @eruditorumpress.com
eruditorumpress.com
On Incomputable Language: An Essay on AI
An incidental consequence of having written a book on tech-fascism and the so-called rationalist movement is that I find myself periodically queried for my thoughts on artificial intelligence. On the ...
031
Reposted by Bhumika Mittal
Ryan Ragona @ragona.com · 07/12/2024
my timeline of cryptographers has switched from its usual math and code chatter, now it’s mostly people panicking about the asiacrypt venue dress code that disallows *checks notes* tshirts 😱
151
Reposted by Bhumika Mittal
Tom Gur @tomgur.bsky.social · 01/12/2024
An advent calendar of some of my favourite TCS/Maths talks. Day #1: Avi Wigderson on Reading Alan Turing. It is a gem of a talk, full of insights about Turing's work, writing style, and influences on mathematics and computer science. Pure joy! www.youtube.com/watch?v=_Uk_...
youtube.com
Reading Alan Turing - Avi Wigderson
YouTube video by Institute for Advanced Study
310420
Reposted by Bhumika Mittal
Pascal Junod @cryptopathe.me · 02/12/2024
Congrats to the winners of the 2024 #IACR Test-of-Time Award for #Asiacrypt: "Fiat-Shamir with aborts: Applications to lattice and factoring-based signatures", by V. Lyubashevsky and "Efficient public key encryption based on ideal lattices", by D. Stehlé, R. Steinfeld, K. Tanaka and K. Xagawa !
0103
Reposted by Bhumika Mittal
Sofia Celi @claucece.bsky.social · 27/11/2024
Are you attending Asiacrypt2024? If you are a women-in-cryptography, you can participate in our coffee breaks: docs.google.com/forms/d/e/1F... We will match you with someone and you can grab a coffee/tea in person!
096
Reposted by Bhumika Mittal
Clément Canonne @ccanonne.github.io · 23/11/2024
Things you need as a PhD student: - coffee ☕ - a living stipend 💰 - a website 🔗 For the last one, @kiragoldner.bsky.social has good resources: www.kiragoldner.com/blog/website..., www.kiragoldner.com/resources.html
kiragoldner.com
Every Academic Needs a Website
19217
Bhumika Mittal @bhumikamittal.bsky.social · 21/11/2024
The Asiacrypt 2024 program is finally up! asiacrypt.iacr.org/2024/program...
asiacrypt.iacr.org
Asiacrypt 2024 program
Asiacrypt 2024
095
Reposted by Bhumika Mittal
FakeIacr @fakeiacr.bsky.social · 16/11/2024
Please answer / dm us to be added/ removed. go.bsky.app/8daoJcj
1384
Reposted by Bhumika Mittal
Gautam Kamath @gautamkamath.com · 15/11/2024
Reminder that, if you're applying to grad school, postdocs, faculty positions etc., you should have asked your writers 2 to 4 weeks ago. The second best time to ask is today. Here's my post on how to ask for a letter of recommendation. kamathematics.wordpress.com/2021/08/18/h... 1/2
1132
Bhumika Mittal @bhumikamittal.bsky.social · 16/11/2024
The perfect definition of a heuristic doesn't exi-
030
Reposted by Bhumika Mittal
Jay Gamble @drjaydrno.bsky.social · 10/11/2024
It’s like we graduated from high school and we’re all finding each other in university classes. lol
57143195