📚 node [[srs]]
Srs
- [[pull]] [[steffen-schuldenzucker]]
⥅ node [[steffen-schuldenzucker]] pulled by user
Steffen Schuldenzucker
- [[person]]
- [[twitter]] twitter.com/sschuldenzucker
-
[[blog]] [[go]] schuldenzucker.com
- [[technology]], [[society]], [[consciousness]]
-
[[algorithmic finance]]
- Introduce him to [[abstractfairy]]?
- [[category theory]] [[math]]
-
Used to live in my [[neighborhood]]!
- Perhaps even in the same block of flats.
[[2021-01-27]]
- Greetings!
-
How did we meet?
- [[roko]]!
-
[[math]] in [[bohn]].
- then [[usz]] / [[oerlikon]].
- [[algorithmic game theory]].
- [[financial markets]] and [[financial networks]]
-
at [[frankfurt]]
- perfect university job!
- [[mobility]] [[scholarship]]
-
[[sre]]
- [[steffen]] has a colleague that worked on graph scheduling of tasks (in a number of a cluster)
-
[[the grass is always greener on the other side]]
- [[rotations]]?
- [[meet scaling]]
-
[[jonathan the utopian]]
-
[[category theory]]
- [[steffen]] did some during earlier studies -- perhaps it was too early. Later in studies it came very handy.
- also used it in [[haskell]]
-
it's useful because you can map betwen categories
- had algebraic data types
- wanted to do probability theory
- you can map between the two
- [[flancian]] [[category theory for programmers]]
-
[[category theory]]
-
[[note taking]]
-
[[tools]]
-
[[roam]]
- [[quote]] [[algorithms for thought]]
-
a bit [[disappointed]]
-
missing the programmability aspect
-
had a bucket of things: things in software that [[should not be this way]]
-
[[quote]] [[stupid issues in software today]]
- [[do]] link
-
[[quote]] [[stupid issues in software today]]
- wanted to write a twitter thread about these things, but rearranging/editing some things.
- couldn't do it
-
had a bucket of things: things in software that [[should not be this way]]
-
[[push]] [[agora feature requests]]
-
can you query a [[link path]] between two nodes
- perhaps traversing n people's graph
-
can you query a [[link path]] between two nodes
-
[[flancian]] they endorsed [[palantir]] publicly, that is worrying to me
- but mostly it's just the issue they're [[for profit]] and [[closed source]]
-
missing the programmability aspect
- [[q]] which tool are you using right now?
-
[[roam]]
- [[goals]]
-
[[tools]]
- [[m prime]]
-
[[agora]]
- [[agora protocol]]
-
[[stoas]]
- [[groups]] focused on a [[goal]]
- [[dialogue]] system
- [[taking turns]] as a [[protocol]]
-
[[hashtags]]
- [[flancian]] have not gotten them as distinct entities from links, in particular once you get typed/annotated links?
-
[[thiago forte]]
- [[quote]] bordering on [[insight porn]]
📖 stoas
- public document at doc.anagora.org/srs
- video call at meet.jit.si/srs
⥱ context
↑ pushing here
(none)
(none)
↓ pulling this
(none)
(none)
🔎 full text search for 'srs'