More on the technical side, but I really like the lecture notes from a course Don Knuth taught in 1987 called “Mathematical Writing.”
If I’d read the first few pages in the first year of my PhD it probably would have saved my reviewers some time... There’s also some very fun anecdotes :).
07.07.2025 00:35 — 👍 2 🔁 0 💬 0 📌 0
Teaser: our first TCS+ of the season will be March 5 by Prasanna Ramakrishnan (Stanford), telling us "How to Appease a Voter Majority."
(We'd usually suggest cookies, lots of cookies 🍪 — but it turns out there is a better way!)
Mark the data: more details in the days to come!
25.02.2025 08:57 — 👍 7 🔁 5 💬 0 📌 0
YouTube video by Simons Foundation
Terence Tao - Machine-Assisted Proofs (February 19, 2025)
icymi they did indeed post the recording online! www.youtube.com/watch?v=5ZII...
25.02.2025 07:07 — 👍 1 🔁 0 💬 1 📌 0
YouTube video by Joint Mathematics Meetings
Terence Tao, "Machine Assisted Proof"
fwiw, he gave a talk with the same title at JMM last year, and that's on youtube! www.youtube.com/watch?v=AayZ...
03.02.2025 21:08 — 👍 4 🔁 0 💬 1 📌 1
There is a *distribution* over candidates that is preferred over any other by a majority of voters, in expectation. It's called a Maximal Lottery. This phenomenon is a special case of the fact that Nash equilibria always exist with mixed strategies, but not always with pure strategies.
08.12.2024 06:35 — 👍 3 🔁 0 💬 0 📌 0
Before Arrow's Theorem there was Condorcet's Paradox, which says that there's not always a candidate that is preferred over any other by a majority of voters. (Even replacing "a majority" with 1% this is still true.)
But...
08.12.2024 06:34 — 👍 1 🔁 0 💬 1 📌 0
Thanks for the great choice!! To continue the interesting discussion, I thought I'd mention my usual answer to "what's one result about voting you wish more people knew?"
08.12.2024 06:34 — 👍 1 🔁 0 💬 1 📌 0
Tragically in voting theory, "optimality" is in the eye of the beholder.
08.12.2024 06:27 — 👍 2 🔁 0 💬 1 📌 0
That's a wonderful way to make the case for Borda! (And I wasn't aware of it so thanks for sharing 😃.) It is worth pointing out that Borda still does not satisfy many desirable properties, e.g., Condorcet consistency, and strategyproofness (though nothing really does; see Gibbard–Satterthwaite).
08.12.2024 06:27 — 👍 2 🔁 0 💬 1 📌 0
[bridged from https://theory.report/ on the web: https://fed.brid.gy/web/theory.report ]
Columbia CS professor. Head of Research at a16z crypto. Research on algorithms, game theory, mechanism design, blockchains/web3. Author of Algorithms Illuminated, Twenty Lectures on Algorithmic Game Theory, and Beyond the Worst-Case Analysis of Algorithms.
Honors Computer Science, Applied Mathematics, and Mathematics Student at University of Colorado Boulder | Undergraduate Researcher | 2022 Boettcher Scholar.
https://officialadithya.github.io
Applying to Ph. D. programs to start in Fall 2026!
Penn CS PhD student and IBM PhD Fellow studying strategic AI interaction. Calibration, commitment, collusion, collaboration. She/her. Nataliecollina.com
Theoretical Computer Scientist at Columbia. joshalman.com
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
Mathematician and mathematical artist/maker. segerman.org, http://youtube.com/@henryseg, https://mathstodon.xyz/@henryseg
Postdoctoral Fellow @BU_CDS. Previously postdoc @TelAvivUni and PhD @Princeton.
https://www.divyarthimohan.com
Freelance science writer covering technology, math, computer science- https://lakshmichandrasekaran.contently.com/. Words in @quantamagazine.bsky.social, @sciencenews.bsky.social & others.
Blog: https://scieye.wordpress.com/
PhD Student at MIT. Previously, EE undergrad at IIT Madras. Interested in online learning, auctions, and mechanism design.
sourav22899.github.io
Asst Prof, IT and IST, University of Lisbon. Likes coding theory, cryptography, and (pseudo)randomness.
Prev: faculty @ NOVA FCT, postdoc @ CMU, PhD @ Imperial
https://sites.google.com/site/joaorib94/
Studies Algorithmic game theory and online learning
University of Pennsylvania/ Simons institute
https://www.seas.upenn.edu/~eshwar/
Complexity theory person. Postdoc in the Computer Science department at Charles University, occasional translator. Tea and breathing enthusiast. he/him
The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
cs phd @upenn advised by Michael Kearns, Aaron Roth, and Duncan Watts| previously @stanford | she/her
https://psamathe50.github.io/sikatasengupta/
Professor of Computer Science at Aarhus University. Researcher in algorithm design, foundations of AI/ML, algorithmic game theory, computational social choice.
Postdoc at the National University of Singapore, working on computational social choice and voting theory.
ACM SIGecom encourages research and advanced applications at the interface between economics and computer science. See you at EC'26 #ACMEC26!