You are viewing archived messages.
Go here to search the history.

Christopher Shank 2025-03-20 03:35:45

"Code Shaping: Iterative Code Editing with Free-form AI-Interpreted Sketching" by Ryan Yen, Jian Zhao, & Daniel Vogel (2025)

youtube.com/watch?v=QeI61YmSnTA

🎥 CHI25 CodeShaping Video Presentation

CHI25 CodeShaping Video Presentation

Karl Toby Rosenberg 2025-03-20 17:19:03

I saw the poster at UIST ‘24. Neat. I think I’d find the baseline of just being able to have persistent annotation on my code, no AI, to be useful already. There aren’t really any IDEs that support that.

Andrew Beyer 2025-03-21 00:57:43

💬 #linking-together@2025-03-08

📝 Code Notes

We are excited to release Code Notes. A new feature in Codea that lets you draw on your code

Code Notes is the most natural way to get ideas out of your head and into your code. When I write code, I often switch to a drawing app to do my thinking, because having visuals helps me. Right now, f

Karl Toby Rosenberg 2025-03-21 14:39:39

Now they just need one for all platforms and for all languages as a basic IDE.

Fuzz 2025-03-21 03:46:39

github.com/samuelmtimbo/unit

Fuzz 2025-03-21 09:41:53

Kartik Agaram thanks, these are great videos!

Paul Tarvydas 2025-03-22 21:07:11

Linear Logic and Permutation Stacks--The Forth Shall Be First

The real Achilles' heel for these languages, however, is their innate inability to deal with parallel or distributed computation.

Perhaps it is time to move on to the next theorem.

further: my thoughts and references

📝 Linear Logic - Pond’ring Aloud

2025-03-22