In short
Scott Shapiro’s tweeting is not:
•Primarily academic
•Neutral or detached
•Focused on promoting his own papers
It is:
•Politically sharp
•Institutionally focused (law, media, power)
•Witty, caustic, and intentionally un‑professorial
Byåsen IL for the win.
Check out a3-python. I had a lot of fun working with Halley Young the past few months exploring harnessing coding agents to build program verifiers. We put out a first prototype last week and describe parts of the journey here risemsr.github.io/blog/2026-02...
Bluesky is for floc mentality?
With some hallucination it could have been Godel, Escher, Ksh
The wife didnt approve that i turned up the sound to this clip.
Similar or differently from how Scott's posts are part of my life?
:)
Posting subscriber's only content? Think about it: what can possibly beat a subscription to Yale law/phil/security/cs/ai prof?
Every D'Antoni paper is my top paper.
Ivana Bocevska comes tomorrow morning and talks about games and modularity at OOPSLA. I am trying to convince Ivana to dive into the unforgiving world of Positiv Stellensatz algorithms in z3. Please pretend to Ivana that i am not totally nuts..
At Alpine Verification Meeting and Synasc. Slides of tutorial on arithmetic in z3 are online z3prover.github.io/slides/avm.h...
Github repo instead?
I know a cs prof at a reputable school who does too. You should meet some day.
Your riptide basketball citation is not even yale related?
Do POPL submissions now come with a tiktok dance artifact or only a certified proof?
Break a leg! or into a bank?
P to the left, greek p to the right, tilted T stuck in the middle.
Got on the mcp craze a few weeks ago. Added a minimal 20 line z3mcp server to z3 repo. It provides some nice entertainment in the vscode copliot environment or other mcp hosts to force some trust to answers.
Twitter creator revenue sharing at work.
z3guide does run in your modern browser :) but if it is someone else's elastic server how much does it matter for you?
Then switch to vibescrolling.
Did it use intercom before? Ranjit, come to dean's office.. Video killed the radio star.
Have you learned your lesson and have something to share?
Professors who hack^H^H^H^H code? Why dont you simply write code using a featherpen and have minions^H^H^H.... transcribe it?
Venetian egg noodle chicken. Marco Polo style.
What was the main result? Did it relate to positiv stellensatze or just nullstellen?
For sure not. But looking at cfa the temptation i submit my own (shitty) abstract on egaphs modulo theories,https://github.com/Z3Prover/z3/commit/87f7a20e14413eabc40bb9b0b7799136b1126daf, and it is an offer you cannot possibly resist and i bike around sd during weekend.
Will have to ask your colleague cs professor if you dabble in toy programming only.
