Make a deal with Lance Fortnow
🔒 Paid proposals held safely in escrow — released only when the work's approved.
📊 Post engagement
🔥 Top post: FOCS Accepted Papers https://sanjeevkhanna.org/FOCS2026_Accepted · 8 likes + reposts
📊 Activity & format
Recent posts
View on Mastodon ↗
The new OSTP reports "Science: A New Golden Age" is not great for universities but here is a silver lining for the theory community.
Report: https://www.whitehouse.gov/science/
WSJ Gifted Article: https://www.wsj.com/politics/policy/white-…
Every time there is some new major theorem proved by AI, I start seeing posts that a resolution of P v NP is right around the corner. This is your regular reminder that no, it isn't.
Nutan Limaye and Thore Husfeldt guest post on the new deterministic parallel algorithm for bipartite perfect matching.
https://blog.computationalcomplexity.org/2026/07/bipartite-perfect-matching-in.html
ACM is considering giving large language models access to the papers in their digital library.
https://cacm.acm.org/opinion/now-is-the-time-to-give-llms-access-to-the-acm-digital-library/
You can give feedback here:
https://docs.google.com…
Herman Chernoff passed on July 6, shortly after turning 103 years old.
https://blog.computationalcomplexity.org/2026/07/herman-chernoff-1923-2026.html
Don't get Bill started with "and so on"
https://blog.computationalcomplexity.org/2026/07/2-12-then-3-16-then-5-115-and-so-on-and.html
Does it seem like we're seeing an acceleration in new theorems, especially in combinatorics. Some proved by AI, some assisted by AI, some inspired by AI and some by humans trying to prove what they can before AI takes over.
Whenever I typed "y" into any textbox anywhere on my computer, my ChatGPT app would shut down. Turns out the new windows ChatGPT had a Mac shortcut "Command+Y" and the "Command" is ignored in windows. ChatGPT Work found and fixed its own b…
Two CACM editorial talk about the the need for ACM to take charge at a time that AI is disrupting computing itself and what it means to be a computer scientist
Jim Larus https://cacm.acm.org/opinion/wither-acm-publish-and-perish/
Moshe Var…
🐘 Community & instance
💡 Facts
🕵️ Fake follower check
Estimated- Est. 92% real, active audience · Low fake-follower risk.
- Engagement (~0.8% of followers engage each post) is around typical for Mastodon.
- Verified account.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
More like this
Find more →✉ Message Lance Fortnow
Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.
- ✓ Message any influencer from their listing
- ✓ The influencer gets notified by email
- ✓ Manage every conversation in one inbox
Already Pro? Log in.
🎤 Event / appearance with Lance Fortnow
Booking an event / appearance is a Pro feature. Upgrade to book Lance Fortnow for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Lance Fortnow gets notified by email
- ✓ Fee held in escrow, released after the appearance
Already Pro? Log in.
You're out of free requests this month
Free accounts get 5 per month. Go Pro for unlimited sponsor pitches, collab requests & sponsorship deals — plus featured placement, the Verified badge, free withdrawals and more.
Upgrade to Pro — $9.95/mo →Your free limit resets on the 1st of next month.
Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove