flancian/garden
0
0
Fork 0
mirror of https://github.com/flancian/garden.git synced 2026-08-07 06:56:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Auto: misc.

Browse Source
This commit is contained in:
Flancian
2021-01-01 13:18:44 +01:00
parent bf6c3d4a0c
commit 4560cd913c
3 changed files with 29 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
category-theory-for-engineers.md
+2
View File
@@ -0,0 +1,2 @@
# Category Theory for Engineers
category-theory-for-programmers.md
+8
View File
@@ -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"
jonathan-the-utopian.md
+19 -1
View File
@@ -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"