- Join over
**1.5M+ people** - Join over
**100K+ communities** - Free
**without limits** - Create
**your own community**

- May 27 06:08User @Mitzi-Laszlo unbanned @in1t3r
- May 23 06:49@Mitzi-Laszlo banned @in1t3r
- May 16 09:49@Mitzi-Laszlo banned @mediaprophet
- Feb 01 22:04User @melvincarvalho unbanned @namedgraph_twitter
- Feb 01 21:49@melvincarvalho banned @namedgraph_twitter

i just find the gitter web interface to be too much clutter

you still in vancouver?

@konobi I have not seen N J Wildberger's videos on youtube. Any reason I should have? (There's a lot to learn out there)

(geometric/intuitive thinking)

now i'm onto 3b1b but there are too many ads

(when looking at it on a phone at least)

i should compile a list

If you want to get a quick overview of how CT ties into programming, check out the talk by Bartosz Milewski The Maths Behind Types.

i keep meaning to order a copy of the book

Essence of linear algebra playlist from 3b1b: https://www.youtube.com/watch?v=fNk_zzaMoSs&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab

There is also a lot of interesting work on databases in category theory that is also very helpful for when thinking about linked-data. (And I think that it can't be long before this is tied into RDF too).

yeah it informed my thinking of bolting RDF to REST a few years back

hypermedia as the engine of the worst acronym in the world and all that

i only got interested in linear algebra because i was trying to get up to speed on stochastic processes

normally i don't really care for numbers

but i got interested in stochastic processes because i got interested in modeling certain processes we might all be familiar with

(cough software time/cost estimation cough)

both unreadable