Stanislas Polu
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- dotAI2 editions2024–2026
on a stage with
never shared a talk
who talks about the same things
- Jose García3 talks
- Antonio Fernández2 talks
- Thomas Schmidt11 talks
- Manisha Jain2 talks
- Max Pumperla3 talks
- Daniel Han5 talks
| title | conference | date |
|---|---|---|
| Will the future of code be formal or informal? | dotAI 2026 | 2026-09-17 |
Human attention becomes the bottleneck so agents run faster than humans can review code, prompting a hybrid: keep code but attach small structured… | ||
| LLMs reasoning and agentic capabilities over time | dotAI 2024 | 2024-10-17 |
Claim: scaled autoregressive LLMs plus a search loop and verified objective produce surprising leaps — an autoformalize + search-loop pipeline over formal… | ||
| Uses of tmux explained | dotScale 2013 | 2013-06-07 |
tmux runs as a client-server via Unix domain socket and creates pseudo-terminals with openpty so sessions persist when the client disconnects; detach and… | ||
| nothing matches | ||