Elektrine lite

← Feed

@lindsey@recurse.social

Post #1407431

2026-03-06 03:12 UTC

@cross @krismicinski @shriramk @jfdm @csgordon @jeremysiek It seems like folks sooner or later notice that this whole "the agent only trades in text" thing is Not Great and proceed to reinvent programming languages on top of it. So, you know, when that happens, we PL educators are here to try to help them not accidentally implement dynamic scope or whatever.

Replies (2)

  • @cross@discuss.systems 2026-03-06 03:39

    @lindsey @krismicinski@types.pl @shriramk @jfdm @csgordon @jeremysiek I will sit on the top of the roof of this house as the water rises waiting for you all to come along in the lifeboat and rescue me. Please hurry!

    Open ##1407432

  • @shriramk@mastodon.social 2026-03-06 11:54

    @lindsey @cross @krismicinski @jfdm @csgordon @jeremysiek It is absolutely an open research question as to what will be the new "source" and "intermediate" languages. I think we'll have a much better shot at the latter (richly-typed, semantic specifications as part of code, etc.); for the former, I think we'll build good ones but the trick will be getting people to use them.

    Open ##1407434