JE Meeting 11/9/18

• his work
  • LIVE was awesome
  • birthday party was fun
  • formal semantics / Tomas?
    • another time…
    • going to make a list of directions to take and poll friends
• my work
  • p4 - maybe “FRP eXperience” (for P/X)
    • usable higher-order / cyclic FRP
    • drawings…
    • WYSIWYG hybrid projectional (aprt.us - how to do higher order and cyclic and other abstractions)
    • hash/id-based (unison)
  • multi-node denotational semantics
    • Remote Stream lifts
    • Users semantics
    • permissioning semantics
    • implementation… in Haskell?
  • choosing p4 because more my people & more JE’s specialty
  • next deadline / conference
    • <Programming>: Salon de Refuge (Jan 7, April 1) Genoa, Italy
    • <Programming>: PX/19 (Feb 1, April 1) Genoa, Italy
    • PPIG (June-ish, Aug) UK
    • SPLASH: Onward! (mid-April, end-Oct) Athens, Greece
    • SPLASH: LIVE (June/July, end-Oct) Athens, Greece
  • co-author / meetings
    • yes co-author probably, depending on contributions
    • scheduled next meeting for 21st (probably every 1-2 weeks)
      • storyboards (maybe 2-3 totally different takes, shallow, brainstorming mode)
      • make a list of all related tools: origami, principle, framer, etc…
• schedule podcast
  • maybe in Dec if/when he’s in London