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