Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • May 27 06:08
    User @Mitzi-Laszlo unbanned @in1t3r
  • May 23 06:49
    @Mitzi-Laszlo banned @in1t3r
  • May 16 09:49
    @Mitzi-Laszlo banned @mediaprophet
  • Feb 01 22:04
    User @melvincarvalho unbanned @namedgraph_twitter
  • Feb 01 21:49
    @melvincarvalho banned @namedgraph_twitter
Sarven Capadisli
@csarven
Then we can do something as basic as https://dokie.li/?open=https://rhiaro.co.uk/2018/12/ listing activities or notifications...
David H. Mason
@vid
I don't mean that it would be immediately the case that something "doesn't exist," though it may be factually. It's just to reduce the burden to collect information using, well, decentralized social linked data mechanisms, so that editors can focus on the aspects that specifically require human apparatus past copying and pasting. And it would better serve understanding specific macro and micro details without having to follow many links in arbitrary formats. But it's just a suggestion to the question of how to make everything easier to track. I'll try to work on it as I can, of course.
Scott McWhirter
@konobi
@vid reducing overhead and cognitive load for summarization is definitely a worthy goal
Scott McWhirter
@konobi
@bblfish have you happened to see the N J Wildberger videos on youtube at all?
Dorian Taylor
@doriantaylor
TIL you can access gitter with irssi
now i might actually participate
Scott McWhirter
@konobi
There's an unexpected face... waves
Dorian Taylor
@doriantaylor
how's it going scott
i've been lurking for most of the year
i just find the gitter web interface to be too much clutter
Scott McWhirter
@konobi
So-so... trying to gather thoughts together while dealing with neuropathy is a real PITA.
Dorian Taylor
@doriantaylor
yikes
you still in vancouver?
Scott McWhirter
@konobi
yeah
Henry Story
@bblfish
@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)
Scott McWhirter
@konobi
@bblfish he covers linear algebra in a pretty unique way (among other topics)... which has some relevance to sparql
(geometric/intuitive thinking)
Henry Story
@bblfish
Could be good. I thought I'd never came to use my A level (S-level actually) algebra again, and then with category theory I discovered that programming is algebra. So I should do a refersher course.
Dorian Taylor
@doriantaylor
i've been plodding through physics and math lectures myself for the last few years, it's how i knock myself out at night
Scott McWhirter
@konobi
@doriantaylor sounds familiar ^_^
Dorian Taylor
@doriantaylor
most recently gilbert strang's ocw
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
Scott McWhirter
@konobi
3b1b++
Henry Story
@bblfish
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.
Dorian Taylor
@doriantaylor
yeah i watched all the bartosz lectures earlier this year
i keep meaning to order a copy of the book
Scott McWhirter
@konobi
Dorian Taylor
@doriantaylor
yeah i have a pdf somewhere but i kinda like the dead tree version of that kind of thing
Henry Story
@bblfish
A large screen that one can turn veritcally helps a lot in sparing trees. I read nearly everything that way.
Dorian Taylor
@doriantaylor
i have been considering getting a full-page e-ink tablet
Henry Story
@bblfish
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).
Dorian Taylor
@doriantaylor
yeah just don't say the word "morphism" in front of a client
Henry Story
@bblfish
yeah, I suppose it depends a lot on what client. :-)
Dorian Taylor
@doriantaylor
indeed
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
Scott McWhirter
@konobi
I really need to get some clear headed time at some point to get into Representation Theory... since things keep pointing me in that direction
Dorian Taylor
@doriantaylor
reads as a patch between abstract algebra and linear algebra?
Scott McWhirter
@konobi
and throw in category theory for good measure
Dorian Taylor
@doriantaylor
interesting
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)
Scott McWhirter
@konobi
@doriantaylor Booles algebra (not the boolean algebra) kinda helped bridge my comfort there... njwildberger covers it quite a bit
Dorian Taylor
@doriantaylor
cool i'll look at it