From 4560cd913ca6f3a48ef5ede7186ae24d24648fad Mon Sep 17 00:00:00 2001 From: Flancian <0@flancia.org> Date: Fri, 1 Jan 2021 13:18:44 +0100 Subject: [PATCH] Auto: misc. --- category-theory-for-engineers.md | 2 ++ category-theory-for-programmers.md | 8 ++++++++ jonathan-the-utopian.md | 20 +++++++++++++++++++- 3 files changed, 29 insertions(+), 1 deletion(-) create mode 100644 category-theory-for-engineers.md create mode 100644 category-theory-for-programmers.md diff --git a/category-theory-for-engineers.md b/category-theory-for-engineers.md new file mode 100644 index 000000000..4e290abd7 --- /dev/null +++ b/category-theory-for-engineers.md @@ -0,0 +1,2 @@ +# Category Theory for Engineers + diff --git a/category-theory-for-programmers.md b/category-theory-for-programmers.md new file mode 100644 index 000000000..86b161532 --- /dev/null +++ b/category-theory-for-programmers.md @@ -0,0 +1,8 @@ +# Category Theory for Programmers + +- [[go]] https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ + + +[//begin]: # "Autogenerated link references for markdown compatibility" +[go]: go "Go" +[//end]: # "Autogenerated link references" \ No newline at end of file diff --git a/jonathan-the-utopian.md b/jonathan-the-utopian.md index 117120b9b..99cdb4b46 100644 --- a/jonathan-the-utopian.md +++ b/jonathan-the-utopian.md @@ -9,9 +9,21 @@ - [[project]] [[utopoi]]: http://lorand.earth/utopoi/about/ - [[project]] https://applied-compositional-thinking.engineering/ +## Meet + +### [[2021-01-01]] +- Super cool that you have a blackboard in your room! +- VC is very inclusive and we can always have this, no matter where we live. +- What have you been working on? + - [[jonathan]] working a lot on the online course at [[eth]]. Sort of managing the project almost. + - [[flancian]] do you feel like you are learning at the day job? + - yep. Experimenting with new mediums for [[online teaching]]. + - [[category theory for engineers]] + - [[flancian]] related to [[category theory for programmers]]? + - different target audience: these are engineers in the sense of mechanical engineering, aerospace. less direct mappings here. + - Main applicational framework: [[complex systems]] + [[modeling]], [[design]], [[optimization]] ## Telegram - ### [[2020-12-18]] - Jonathan thinks [[utopoi]] is not persistent; it will live for a while and then die, like an organism. But this applies mostly to the physical part; the digital part might endure. - Knowing it has an end date actually feels nice. @@ -34,7 +46,13 @@ [go]: go "Go" [twitter]: twitter "Twitter" [Smart Agora]: smart-agora "Smart Agora" +[project]: project "Project" [utopoi]: utopoi "Utopoi" +[2021-01-01]: journal/2021-01-01 "2021-01-01" +[jonathan]: jonathan "Jonathan" +[flancian]: flancian "Flancian" +[category theory for engineers]: category-theory-for-engineers "Category Theory for Engineers" +[category theory for programmers]: category-theory-for-programmers "Category Theory for Programmers" [2020-12-18]: journal/2020-12-18 "2020-12-18" [wittgenstein]: wittgenstein "Wittgenstein" [2020-12-12]: journal/2020-12-12 "2020-12-12"