Channels
of-ai
in-sf
in-london
in-ontario
in-seattle
in-socal
in-alberta
of-functional-programming
reading-together
wormholes
of-end-user-programming
random-encounters
in-germany
in-israel
bot-dark-forest
of-music
present-company
of-logic-programming
share-your-work
devlog-together
introduce-yourself
thinking-together
in-boston
in-nyc
of-graphics
announcements
administrivia
two-minute-week
linking-together
Title
m
Mariano Guerra
01/24/2023, 7:16 PM2023 Rough Questions
Two overarching questions:
• How can we reason about notations/interfaces/editors? So that:
◦ We can construct correct interfaces
◦ We can distill what we are trying to say into more direct representations
◦ We can explore the consequences of what we are trying to say more directly
• How can we construct more direct analogies for computation?
o
Orion Reed
01/30/2023, 12:17 AMI like these, do you have a notion for correctness here? I’m overwhelmingly in favour of improving our ability to reason about interfaces, notations, representations, etc.