Bhumika Mittal
@bhumikamittal.bsky.social
bhumikamittal.in
Software Engineer at Amuse Labs. Research interests: cryptography, complexity theory, quantum computing, and formal logic.
Software Engineer at Amuse Labs. Research interests: cryptography, complexity theory, quantum computing, and formal logic.
Reposted by Bhumika Mittal
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.
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…
www.quantamagazine.org
November 24, 2025 at 9:04 PM
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.
Reposted by Bhumika Mittal
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
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 ...
www.eruditorumpress.com
November 23, 2025 at 12:05 PM
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
Reposted by Bhumika Mittal
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 😱
December 7, 2024 at 2:54 PM
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 😱
Reposted by Bhumika Mittal
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_...
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_...
Reading Alan Turing - Avi Wigderson
YouTube video by Institute for Advanced Study
www.youtube.com
December 1, 2024 at 12:22 PM
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_...
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_...
Reposted by Bhumika Mittal
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 !
December 2, 2024 at 8:37 AM
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 !
Reposted by Bhumika Mittal
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!
November 27, 2024 at 3:54 PM
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!
Reposted by Bhumika Mittal
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
- 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
Every Academic Needs a Website
www.kiragoldner.com
November 23, 2024 at 5:29 AM
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
- 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
Reposted by Bhumika Mittal
November 16, 2024 at 8:07 PM
Reposted by Bhumika Mittal
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
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
November 15, 2024 at 4:57 PM
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
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
The perfect definition of a heuristic doesn't exi-
November 16, 2024 at 7:17 AM
The perfect definition of a heuristic doesn't exi-
Reposted by Bhumika Mittal
It’s like we graduated from high school and we’re all finding each other in university classes. lol
November 10, 2024 at 7:03 PM
It’s like we graduated from high school and we’re all finding each other in university classes. lol