Post #1743425

2026-04-26 00:17 UTC

I haven&#39;t clicked the link yet, but I guess I should also reannounce Robert Smith&#39;s new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine. https://coalton-lang.github.io/20260424-mine/ @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt (reverse-chronological earlier toots). EDIT: Simon Brooke&#39;s review was a major topic in the sunday-morning-in-europe #lispygopherclimate see https://gamerplus.org/@screwlisp/116469933987641020

Replies (4)

@screwlisp@gamerplus.org 2026-04-26 00:25

@vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt > Mine uses C-C for kill and C-V for yank cill and vank maybe Hmmmm

Open ##1782082
@simon_brooke@mastodon.scot 2026-04-26 07:24

@screwlisp @vindarel @sanityinc @jackdaniel @dougmerritt I did click the link, and I've played with it. It's pretty nice. It's not configurable, it's not trying to emulate Eight Megabytes And Constant Swapping, it isn't Generally Not Used Except by Middle Aged Computer Scientists, it won't fuck up your muscle memory, and it has proper structure editing. https://mastodon.scot/deck/@simon_brooke/116465033730836265

Open ##1782093
@svetlyak40wt@fosstodon.org 2026-04-26 21:10

@screwlisp @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt This new editor is looking very interesting. Especially it's built-in code critique feature. Will try it this week.

Open ##1782094
@rat@social.sdf.org 2026-04-27 14:13

@screwlisp https://www.youtube.com/watch?v=qe3vDKQShKs

Open ##1782151