integrating models with tool use capabilities into IDEs that are already richly inspectable/extendable through a generic abstraction like ELisp or the Pharo object model seems like it would lend itself pretty well to agentic coding

i'd like to play around with this...

most of the effort in the space looks like it's being invested into the lowest common denominator developer environments (e.g. VSCode), but it feel like we're hobbling the models a little by limiting them to the interactions we explicitly integrate into them

Screentime limits becoming mandatory PPE for people who have to interact with a computer for long periods of time... lifetime internet exposure-hour limits like we have for radiation...

Exposure to the internet being treated as an explicit health & occupational hazard becomes increasingly interesting the more I think about it

- Haskell encoders/decoders of fundamental Data Model types & formats (CIDv1, DAG-CBOR)

- facilities for generating Haskell types & code from Lexicon data types & API via TH (or something fancier)

- integrations into servant/scotty/other frameworks

- a demo appview tying all of these together!