mniip 2017-03-02 16:45:29
probably at least half as old as you are
mniip 2017-03-02 16:46:30
the dollar lost 98% of its value
gry 2017-03-02 16:46:42
wow I missed that
gry 2017-03-02 16:47:19
do you have a link to something that illustrates this fact?
mniip 2017-03-02 16:49:07
well you could probably compute from this http://inflationdata.com/inflation/Inflation_Rate/HistoricalInflation.aspx?dsInflation_currentPage=0
mniip 2017-03-02 16:49:47
there's also multiple infographic websites you can google
mniip 2017-03-02 16:49:58
where you can calculate 1900 dollars vs 2000 dollars
dikdik 2017-03-02 16:50:16
And you notice that the differences are massive
Progster 2017-03-02 16:50:58
1900 < 2000
Progster 2017-03-02 16:50:58
this statement is true
mniip 2017-03-02 16:50:58
why am I even in this conversation
Progster 2017-03-02 16:51:32
I ask myself this question every day, when I converse with myself
mniip 2017-03-02 16:51:50
let's talk about profunctors and rank-0 representations of natural transformations
dikdik 2017-03-02 16:52:28
I want to learn maths
dikdik 2017-03-02 16:52:38
But I don't know where to start x.x
mniip 2017-03-02 16:53:11
where we're going we don't need arithmetic
mniip 2017-03-02 16:53:24
prepare for abstract algebra
dikdik 2017-03-02 16:53:29
I want to learn algebra and stuff
dikdik 2017-03-02 16:53:37
Like linear algebra sounds neat
mniip 2017-03-02 16:53:44
linear algebra sure is neat
Progster 2017-03-02 16:54:20
LA is king
mniip 2017-03-02 16:54:35
Progster, CT is better
jtoy 2017-03-02 16:54:39
the west coat? is a joke
mniip 2017-03-02 16:54:40
:p
MrAnderson[m] 2017-03-02 16:54:50
?
Progster 2017-03-02 16:54:52
Linear Algebra fools
jtoy 2017-03-02 16:54:53
CT ? more plike pee pee
mniip 2017-03-02 16:55:14
LA = linear algebra. CT = category theory
Progster 2017-03-02 16:55:22
FU
dikdik 2017-03-02 16:55:23
I can't afford this MIT textbook though
jtoy 2017-03-02 16:55:25
ok
jtoy 2017-03-02 16:55:25
well im done then
Captain_Beezay 2017-03-02 16:55:35
can I silence mode change notifications in a channel(like when someone else is voiced,quieted,etc..)?
dikdik 2017-03-02 16:55:39
I know a little bit about category theory
dikdik 2017-03-02 16:55:42
Sort of
Progster 2017-03-02 16:55:52
So do I. You're in the dik category
Progster 2017-03-02 16:55:55
dik^2
userro 2017-03-02 16:56:04
is it set theory?
Progster 2017-03-02 16:56:11
the set of diks lol
mniip 2017-03-02 16:56:12
dikdik, I never read much textbooks
mniip 2017-03-02 16:56:20
it's all on the internet
jtoy 2017-03-02 16:56:32
words
Progster 2017-03-02 16:56:39
the best words
jtoy 2017-03-02 16:56:40
the internets has all sorts of freebies
Captain_Beezay 2017-03-02 16:56:50
beep
mniip 2017-03-02 16:56:59
userro, not really no, it is orthogonal to set theory
dikdik 2017-03-02 16:57:11
I like set theory
Progster 2017-03-02 16:57:26
so you use geometry to figure out that category theory is orthogonal to set theory. What a polymath
jtoy 2017-03-02 16:57:27
i was supposed to do work tonight
mniip 2017-03-02 16:57:30
CT originally builds on top of set theory but the constructions aren't general enough (see locally small vs large categories) so eventually it had to split off into something more abstract
Progster 2017-03-02 16:57:31
jtoy: me too
jtoy 2017-03-02 16:57:45
i still got some time
jtoy 2017-03-02 16:57:47
20 minutes
MrAnderson[m] 2017-03-02 16:57:57
you cant discusse maths on irc
mniip 2017-03-02 16:58:05
that's where you're wrong kiddo
MrAnderson[m] 2017-03-02 16:59:16
irc doesnt have the math characters needed
Progster 2017-03-02 16:59:23
latex
MrAnderson[m] 2017-03-02 16:59:50
thats liquid rubber
Progster 2017-03-02 16:59:58
it's also hawt
dikdik 2017-03-02 16:59:58
LaTeX
Progster 2017-03-02 17:00:27
It doesn't take a genius to figure out why they called it "lay tech"
mniip 2017-03-02 17:01:06
LᴬTₑX
gry 2017-03-02 17:01:47
Is category theory like set theory? I found the latter to be much of a pain...
mniip 2017-03-02 17:02:19
define "like"
gry 2017-03-02 17:02:46
"More than 50% overlap"
mniip 2017-03-02 17:02:54
no
mniip 2017-03-02 17:02:55
gry, have you studied functional analysis?
gry 2017-03-02 17:03:01
no
mniip 2017-03-02 17:03:07
welp
mniip 2017-03-02 17:03:55
gry, category theory is about the generalization of the idea of a "morphism"
gry 2017-03-02 17:04:00
Function theory doesn't sound horribly boring from one paragraph at Wikipedia, whereas set theory was awfully boring
mniip 2017-03-02 17:04:01
and with it a lot of other ideas
Progster 2017-03-02 17:04:09
so the set difference of category theory and set theory is less than half of the cardinality of either?
gry 2017-03-02 17:04:12
Err, functional analysis even
MrAnderson[m] 2017-03-02 17:04:34
is this #math ?
Progster 2017-03-02 17:04:44
What's wrong with math?
gry 2017-03-02 17:04:46
mniip, OK
MrAnderson[m] 2017-03-02 17:04:57
whats wrong with OT
mniip 2017-03-02 17:05:47
e.g cartesian product, direct sum, injection/surjection, kernel, homotopy, homology
ELNOOB 2017-03-02 17:06:26
This command could not be completed because it has been used recently, and is rate-limited.
ELNOOB 2017-03-02 17:06:27
-
ELNOOB 2017-03-02 17:06:27
End of /List
ELNOOB 2017-03-02 17:06:27
-
mniip 2017-03-02 17:06:37
ELNOOB, don't use /list
mniip 2017-03-02 17:06:42
see /msg alis help list
MrAnderson[m] 2017-03-02 17:07:00
it works for me
MrAnderson[m] 2017-03-02 17:07:23
maybe you are doing it too much
NOP__Slide 2017-03-02 17:07:47
hello
ELNOOB 2017-03-02 17:07:53
fail
NOP__Slide 2017-03-02 17:07:58
may i please get cloaked
ELNOOB 2017-03-02 17:08:04
i argentino _P bad iglish
NOP__Slide 2017-03-02 17:08:11
thank you kindly
MrAnderson[m] 2017-03-02 17:08:34
people want to kill you too?
gry 2017-03-02 17:08:44
ELNOOB: instead of /list, use ALIS. See "/msg alis help list" for help.
ELNOOB 2017-03-02 17:08:55
yea
MrAnderson[m] 2017-03-02 17:09:14
make a script
mniip 2017-03-02 17:09:43
gry, so yeah, I was recently thinking, if we have a "rank 0" abstract datatype represented as a profunctor, constructed out of sums, products and NTs of profunctors, together with the identity and constant profunctor
mniip 2017-03-02 17:09:59
can we similarly algebraically construct the end of that profunctor
Progster 2017-03-02 17:10:00
I don't know these things
MrAnderson[m] 2017-03-02 17:10:10
are you copy pasteing from wikipedia?
Progster 2017-03-02 17:10:22
He's copy pasting from his brain
Progster 2017-03-02 17:10:26
Which happens to be wikipedia
mniip 2017-03-02 17:10:43
like, you can easily see that and end of a sum is a sum of ends
mniip 2017-03-02 17:10:47
similarly with products
mniip 2017-03-02 17:11:00
but once you hit NTs, I have no idea how to proceed
mniip 2017-03-02 17:11:28
Hom(Hom(a, a), Hom(a, a))
mniip 2017-03-02 17:11:35
somehow the end of that is the set of natural numbers
mniip 2017-03-02 17:11:40
with iteration being the injection
MrAnderson[m] 2017-03-02 17:11:45
wikipedia is great because it made home work irelevant
Progster 2017-03-02 17:11:53
it made us all irrelevant
mniip 2017-03-02 17:12:55
now, I noticed a similarity between this task and the task that 'djinn' (a proof assistant disguised as a code generator) solves
mniip 2017-03-02 17:13:31
but it produces one, a few, or possibly an infinite stream of inhabitants of the end, but not all ends are countable
mniip 2017-03-02 17:13:38
and they require more precise algebraic formulation
mniip 2017-03-02 17:13:45
than 1+1+1+1+...
Progster 2017-03-02 17:13:56
mniip: Stop mniiping this channel's citizens to listen to your math homework
MrAnderson[m] 2017-03-02 17:14:16
does djin lives in a lamp?
Progster 2017-03-02 17:14:47
MrAnderson[m] wants to rub it
MrAnderson[m] 2017-03-02 17:15:11
what would be your 1st wish?
MrAnderson[m] 2017-03-02 17:16:06
you can say it theres no right anser
jtoy 2017-03-02 17:16:08
i fixed this fing bug
Progster 2017-03-02 17:16:23
what's a fing bug
jtoy 2017-03-02 17:16:36
what i was working on
mniip 2017-03-02 17:17:02
Progster, lol if that was my math homework that would be kinda rad
Progster 2017-03-02 17:17:12
and here I thought you were procrasturbating. Disappointing
Progster 2017-03-02 17:17:22
mniip: It would be... rad
mniip 2017-03-02 17:17:55
that would mean I would have a course on this stuff, with someone who can answer my questions related to this stuff
MrAnderson[m] 2017-03-02 17:17:56
mniip: is going to be a nuclear scientist
mniip 2017-03-02 17:18:06
lol physics
jtoy 2017-03-02 17:18:12
yup i did it @progster
jtoy 2017-03-02 17:18:23
i dont know how to write a username in this thing
Progster 2017-03-02 17:18:27
jtoy: this ain't slack
jtoy 2017-03-02 17:18:33
haha
Progster 2017-03-02 17:18:34
fucking millenials
jtoy 2017-03-02 17:18:40
i woulda thought twitter
jtoy 2017-03-02 17:18:55
how do you ping someone?
mniip 2017-03-02 17:19:01
just type their name
mniip 2017-03-02 17:19:04
jtoy
jtoy 2017-03-02 17:19:04
what irc clinet are you using?
jtoy 2017-03-02 17:19:08
progster
Progster 2017-03-02 17:19:16
"let's release this awesome chat system where people can come together and chat!"
jtoy 2017-03-02 17:19:17
but that didnt make my name yellow
Progster 2017-03-02 17:19:19
"Umm, you mean like IRC?"
MrAnderson[m] 2017-03-02 17:19:22
thats not pinging thats highlighting
jtoy 2017-03-02 17:19:33
oh
Progster 2017-03-02 17:19:36
"No! It's better than IRC! People can write messages and others can see them!"
jtoy 2017-03-02 17:19:45
whatevaaa
Progster 2017-03-02 17:19:51
"Yeah... that's IRC dickhead. There's a reason freenode doesn't run on slack fuckers"
jtoy 2017-03-02 17:20:06
slack!
jtoy 2017-03-02 17:20:08
wooP!
jtoy 2017-03-02 17:20:19
gotta love that slack
MrAnderson[m] 2017-03-02 17:20:27
thats ping
MrAnderson[m] 2017-03-02 17:21:03
whats slack?
MrAnderson[m] 2017-03-02 17:21:06
slackware
thumbs 2017-03-02 17:21:32
no, slack is not slackware.
MrAnderson[m] 2017-03-02 17:22:06
did you feel that?
jtoy 2017-03-02 17:22:21
leet--> https://cl.ly/0i082Q01230X
jtoy 2017-03-02 17:22:32
there you guys are in the little tiny corner
MrAnderson[m] 2017-03-02 17:22:55
cant see anyhtig
jtoy 2017-03-02 17:23:18
? bottom right hand corner
MrAnderson[m] 2017-03-02 17:23:25
why would anyone need JS to see pic?
Progster 2017-03-02 17:23:29
slackware lulz
MrAnderson[m] 2017-03-02 17:24:01
whats funny?
strones 2017-03-02 17:24:14
Progster, https://youtu.be/Sz2mgIhGtgs
strones 2017-03-02 17:24:21
Progster, i saw this posted there.
strones 2017-03-02 17:24:35
funny vid
MrAnderson[m] 2017-03-02 17:26:06
damn i though that the aid was going to adidas
MrAnderson[m] 2017-03-02 17:27:59
that vid is from 2010
jtoy 2017-03-02 17:28:07
2010 baby!
jtoy 2017-03-02 17:28:09
good year
MrAnderson[m] 2017-03-02 17:29:00
why?
gry 2017-03-02 17:34:45
mniip: you have quite abstract thinking there
gry 2017-03-02 17:34:58
mniip: about constructing end of an abstract data type
mniip 2017-03-02 17:35:20
well if you know haskell,
mniip 2017-03-02 17:35:43
data D a = D ((a -> a) -> (a -> a))
mniip 2017-03-02 17:35:50
can be thought of as a profunctor
mniip 2017-03-02 17:36:02
and then the end of that profunctor would be "forall a. D a"
mniip 2017-03-02 17:36:12
but that's nonconstructive
strones 2017-03-02 17:36:50
MrAnderson[m], lol. it's funny tho.
jtoy 2017-03-02 17:37:46
ASL
MrAnderson[m] 2017-03-02 17:38:10
not veryfunny
strones 2017-03-02 17:38:29
MrAnderson[m], lol. truth is funnier than fiction.
MrAnderson[m] 2017-03-02 17:39:00
what truth?
strones 2017-03-02 17:39:21
didn't you watch it? It's only 4 mins dood
strones 2017-03-02 17:39:37
MrAnderson[m], https://youtu.be/Sz2mgIhGtgs (4 minutes)
MrAnderson[m] 2017-03-02 17:39:42
i watched 4 secs
Progster 2017-03-02 17:39:46
ha
MrAnderson[m] 2017-03-02 17:39:57
it was enough
strones 2017-03-02 17:40:30
lol. what are you going to get from 4 secs?
MrAnderson[m] 2017-03-02 17:40:49
the aid was going to vatican
strones 2017-03-02 17:40:51
dood, it's only 4 minutes. you can do it.
MrAnderson[m] 2017-03-02 17:41:11
im not doing it
MrAnderson[m] 2017-03-02 17:41:38
why would i care bout that crap
strones 2017-03-02 17:41:41
MrAnderson[m], i can always get my friend to boot you from here if you want to be like that =)
MrAnderson[m] 2017-03-02 17:42:52
i dont want to polute my google search with crap like that
userro 2017-03-02 17:43:06
why do have [m] in your nick? MrAnderson[m]
MrAnderson[m] 2017-03-02 17:43:08
next thing all searchs are going to stupid crap like that
strones 2017-03-02 17:43:27
lol.
MrAnderson[m] 2017-03-02 17:43:28
because im in the matrixz
strones 2017-03-02 17:43:34
sucks to be you, bro.
MrAnderson[m] 2017-03-02 17:43:45
nop suck to be you
Progster 2017-03-02 17:43:47
why? that matrix is a place of happiness
strones 2017-03-02 17:43:48
you gonna hang yourself now?
MrAnderson[m] 2017-03-02 17:44:15
if i could i would hangup on you
Progster 2017-03-02 17:44:25
Haven't you heard? We're all in the matrix! http://www.newyorker.com/culture/cultural-comment/did-the-oscars-just-prove-that-we-are-living-in-a-computer-simulation
strones 2017-03-02 17:44:27
watch the vid dood. it's only 4 minutes.
strones 2017-03-02 17:44:33
MrAnderson[m], https://youtu.be/Sz2mgIhGtgs (4 minutes)
ZikZak 2017-03-02 17:44:34
strones: Please stop speaking to others. Thank you.
userro 2017-03-02 17:44:54
hahaha
Progster 2017-03-02 17:44:54
lol
strones 2017-03-02 17:45:02
ZikZak, then who am i supposed to speak to?
Progster 2017-03-02 17:45:13
yourself
