Larry Diehl (@larrytheliquid) 's Twitter Profile
Larry Diehl

@larrytheliquid

Founder @Colimit_io. Previously Director of Programming Languages @SymbiontIO, postdoc @uiowa and PhD @Portland_State.

ID: 777842

linkhttp://colimit.io calendar_today17-02-2007 19:26:39

2,2K Tweet

785 Followers

630 Following

Well-Typed (@welltyped) 's Twitter Profile Photo

Thanks to effectfully and Theo - t3.gg for highlighting our YouTube channel! As a common theme of the comments was that we need better thumbnails, we tried to listen. Next episode of the #Haskell #Unfolder this Wednesday, 1830 UTC: youtube.com/watch?v=RPQVsa…

Glauber Costa (@glcst) 's Twitter Profile Photo

I had a great time talking to ThePrimeagen and teej dv 🔭 about my time on the Linux Kernel, how that influenced my career going forward, especially how that was a strong inspiration for Pekka Enberg and myself to rewrite SQLite. I mentioned in the interview our project had 87

Graham Hutton (@haskellhutt) 's Twitter Profile Photo

Didn't expect a tweet about window stickers to go viral... But in any event, if you are interested in learning about functional programming (Haskell, Agda, Lean), the University of Nottingham is a great place to study as we have lots of courses in this area :-)

András Kovács (@andraskovacs6) 's Twitter Profile Photo

The TyDe 2025 submission deadline has been extended to 22 June. Please consider submitting! The workshop is in Singapore but remote presentations are possible. More info: conf.researchr.org/home/icfp-spla…

Phil Eaton (@eatonphil) 's Twitter Profile Photo

Every other month we bring together a group of programmers for what is, I think, one of the best technical talk series around.

Every other month we bring together a group of programmers for what is, I think, one of the best technical talk series around.
Larry Diehl (@larrytheliquid) 's Twitter Profile Photo

Coding with an AI agent reminds me of pair programming. - The AI is driving w.r.t. writing the code, you are giving commentary on what to do. - Occasionally you decide to "steer" by "taking the wheel" and editing things directly if it's too hard to communicate something

Larry Diehl (@larrytheliquid) 's Twitter Profile Photo

dvorak optimized for common patterns in natural language, but never caught on for coding, which has different patterns... prompt writing => dvorak comeback? 🤔

Graham Hutton (@haskellhutt) 's Twitter Profile Photo

We're delighted to announce that the JFP Special Issue on Program Calculation is now complete, and contains eleven papers that are freely available to read online! tinyurl.com/JFP-prog-calc