Type Checking is a Symptom, Not a Solution

1 view
Skip to first unread message

Paul Tarvydas

unread,
Sep 4, 2025, 11:45:06 PMSep 4
to pi...@googlegroups.com

Raoul Duke

unread,
Sep 5, 2025, 2:14:23 AMSep 5
to pi...@googlegroups.com
hmmmm

i guess i think

yes, but also, no. 

Raoul Duke

unread,
Sep 5, 2025, 10:12:14 AMSep 5
to pi...@googlegroups.com
speaking of dodging call-return bullets... i wish we could put all this research into an LLM and have it really grok the ideas and then be able to help us build systems. 

Reply all
Reply to author
Forward
0 new messages