Jesse Alama (@alamajamn) profile picture

Jesse Alama

@alamajamn
Joined February 2026
  • Tweets21
  • Following20
  • Followers15
Jesse Alama retweeted
Lean (@leanprover) profile picture
Lean
@leanproverMar 25
Interested in Lean and near 🇫🇷 Paris? The inaugural Paris Lean Meetup is happening April 24 at 7:00 PM, hosted by Mistral AI. Two talks: Leonardo de Moura of Lean FRO, and the Mistral team introducing Leanstral, their open-source code agent for Lean 4. Pizza and informal discussion afterward. 🔗 Registration details here: meetup.com/lean-paris/events…
Image from Lean (@leanprover)
4
16
6
158
13,092
Jesse Alama retweeted
Anil Madhavapeddy (@avsm) profile picture
Anil Madhavapeddy
@avsmJun 11
Jane Street is turning into a Lean, Clean, Rocq-and-roll theorem machine!
Yaron (Ron) Minsky (@yminsky) profile pictureYaron (Ron) Minsky
@yminskyJun 11
I've been telling people for 25 years that Jane Street is not interested in formal methods. No more! And we're actively hiring to form a new formal methods team!
Image from Yaron (Ron) Minsky (@yminsky)
1
12
111
10,083
Jesse Alama retweeted
Paulo Matos (@pocmatos) profile picture
Paulo Matos
@pocmatosMay 12
Like a lot of people, when agents could code I didn't double my projects. I 15x'd them. Then I got lost. So I built pewpew, a canvas for tracking them all. It made me suspect the IDE is the wrong shape. p.ocmatos.com/blog/pewpew-th… #AgenticCoding #ClaudeCode #Codex
Pewpew: the terminals are down! - Notes & Code

Pewpew: the terminals are down! - Notes & Code

Fifteen Ghostty terminals, one canvas, and the suspicion that the IDE is the wrong shape for the agentic era.

p.ocmatos.com
1
1
54
Load more