|
| 1 | +--- |
| 2 | +title: JE Meeting 11/9/18 |
| 3 | +--- |
| 4 | + |
| 5 | +# JE Meeting 11/9/18 |
| 6 | + |
| 7 | +* his work |
| 8 | + * LIVE was awesome |
| 9 | + * birthday party was fun |
| 10 | + * formal semantics / Tomas? |
| 11 | + * another time... |
| 12 | + * going to make a list of directions to take and poll friends |
| 13 | +* my work |
| 14 | + * p4 - maybe "FRP eXperience" (for P/X) |
| 15 | + * usable higher-order / cyclic FRP |
| 16 | + * drawings... |
| 17 | + * WYSIWYG hybrid projectional (aprt.us - how to do higher order and cyclic and other abstractions) |
| 18 | + * hash/id-based (unison) |
| 19 | + * multi-node denotational semantics |
| 20 | + * Remote Stream lifts |
| 21 | + * Users semantics |
| 22 | + * permissioning semantics |
| 23 | + * implementation... in Haskell? |
| 24 | + * choosing p4 because more my people & more JE's specialty |
| 25 | + * next deadline / conference |
| 26 | + * \<Programming\>: Salon de Refuge (Jan 7, April 1) Genoa, Italy |
| 27 | + * \<Programming\>: PX/19 (Feb 1, April 1) Genoa, Italy |
| 28 | + * PPIG (June-ish, Aug) UK |
| 29 | + * SPLASH: Onward! (mid-April, end-Oct) Athens, Greece |
| 30 | + * SPLASH: LIVE (June/July, end-Oct) Athens, Greece |
| 31 | + * co-author / meetings |
| 32 | + * yes co-author probably, depending on contributions |
| 33 | + * scheduled next meeting for 21st (probably every 1-2 weeks) |
| 34 | + * storyboards (maybe 2-3 totally different takes, shallow, brainstorming mode) |
| 35 | + * make a list of all related tools: origami, principle, framer, etc... |
| 36 | +* schedule podcast |
| 37 | + * maybe in Dec if/when he's in London |
| 38 | + |
| 39 | + |
| 40 | +<script> |
| 41 | + |
| 42 | +(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ |
| 43 | +(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), |
| 44 | +m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) |
| 45 | +})(window,document,'script','https://www.google-analytics.com/analytics.js','ga'); |
| 46 | + |
| 47 | +ga('create', 'UA-103157758-1', 'auto'); |
| 48 | +ga('send', 'pageview'); |
| 49 | + |
| 50 | +</script> |
0 commit comments