title
JE Meeting 11/9/18

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