00:00:18 -!- danieljabailey has joined.
00:09:41 -!- boily has joined.
00:11:50 -!- quintopi1 has joined.
00:11:56 -!- quintopi1 has quit (Client Quit).
00:12:23 <HackEgo> 1/2:lens//A lens is just a store comonad coalgebra. \ categorical product//categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a unique morphism w:X->C such that u=wp and v=wq.
00:14:00 <HackEgo> 2/2:\ pineapple//Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, making it a class 6 vegetable. \ prefixes//Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . \ sbeef//Sbeef is the culinary name for meat from scow.
00:14:23 <HackEgo> shachäf shachäf boil̈y olsnër
00:15:11 <shachaf> `cwlprits categorical product
00:15:27 -!- danieljabailey has quit (Ping timeout: 248 seconds).
00:18:03 -!- danieljabailey has joined.
00:19:53 * boily prays for the blackness in quintopia's screen to shoo away
00:20:00 <lambdabot> quintopia said 1h 12m 30s ago: ping me on discord if you come around
00:45:08 -!- boily has quit (Quit: WeeChat 1.4).
00:48:14 -!- boily has joined.
00:49:05 -!- hppavilion[0] has quit (Ping timeout: 248 seconds).
00:57:23 -!- oerjan has joined.
00:59:25 -!- erkin has quit (Read error: Connection reset by peer).
01:02:08 -!- erkin has joined.
01:04:32 -!- hppavilion[0] has joined.
01:14:04 -!- variable has quit (Quit: Found 1 in /dev/zero).
01:17:21 -!- hppavilion[0] has quit (Ping timeout: 248 seconds).
01:26:45 -!- hppavilion[0] has joined.
01:50:56 -!- hppavilion[0] has quit (Ping timeout: 256 seconds).
02:01:22 -!- augur has quit (Quit: Leaving...).
02:11:33 -!- variable has joined.
02:27:43 -!- sprocklem has quit (Ping timeout: 248 seconds).
02:28:52 -!- boily has quit (Quit: STRANGE CHICKEN).
02:30:05 -!- sprocklem has joined.
02:33:13 -!- variable has quit (Read error: Connection reset by peer).
02:39:27 -!- variable has joined.
02:44:17 -!- sprocklem has quit (Ping timeout: 248 seconds).
02:46:26 -!- sprocklem has joined.
02:53:37 <esowiki> [[Functoid]] N https://esolangs.org/w/index.php?oldid=53954 * MD XF * (+19056) Created page with "There's no reason to give a formal definition for the [https://en.wikipedia.org/wiki/Lambda_calculus_definition lambda calculus] here, instead I will showcase some of the inte..."
03:07:45 -!- variable has quit (Ping timeout: 248 seconds).
03:20:49 -!- variable has joined.
03:29:17 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
03:36:01 -!- sprocklem has quit (Ping timeout: 256 seconds).
03:37:48 -!- sprocklem has joined.
03:44:24 -!- sprocklem has quit (Ping timeout: 256 seconds).
03:46:09 -!- sprocklem has joined.
03:51:53 -!- sprocklem has quit (Ping timeout: 268 seconds).
03:52:38 -!- sprocklem has joined.
04:31:15 -!- sprocklem has quit (Ping timeout: 260 seconds).
04:31:50 -!- sprocklem has joined.
04:37:53 -!- sprocklem has quit (Ping timeout: 276 seconds).
04:39:57 -!- sprocklem has joined.
04:44:17 -!- sprocklem has quit (Ping timeout: 248 seconds).
04:52:01 -!- sprocklem has joined.
05:11:41 <esowiki> [[User:Noner Kao/TaiDoKu]] https://esolangs.org/w/index.php?diff=53955&oldid=53952 * Noner Kao * (+609) /* Execution */ add decription
05:36:30 -!- oerjan has quit (Quit: Nite).
05:42:50 -!- sprocklem has quit (Ping timeout: 256 seconds).
05:44:51 -!- sprocklem has joined.
06:40:42 -!- variable has quit (Quit: /dev/null is full).
06:41:20 -!- variable has joined.
06:41:29 -!- variable has quit (Client Quit).
06:42:15 -!- variable has joined.
06:42:15 -!- variable has quit (Client Quit).
06:57:23 <zzo38> There is, on All The Tropes wiki, "Faction Calculus". Now you have to do Faction Calculus with actual calculus!
07:01:51 -!- sleffy has quit (Ping timeout: 248 seconds).
07:04:40 -!- doesthiswork1 has quit (Quit: Leaving.).
07:15:49 -!- variable has joined.
07:15:58 -!- variable has quit (Client Quit).
08:11:09 <\oren\> dimethylamine is a good amine
08:37:47 -!- augur has joined.
09:57:58 -!- augur has quit (Remote host closed the connection).
10:01:21 -!- LKoen has joined.
10:01:21 -!- variable has joined.
10:10:09 -!- AnotherTest has joined.
11:34:55 -!- boily has joined.
11:42:51 <fungot> boily: use the binary force luke gorrie implemented it. he tells you what language it is implemented." fnord fnord
11:43:25 <boily> . o O ( the fungot lightsaber goes “fnooooord fnooooord” )
11:43:26 <fungot> boily: quote and such). oh i see. the most common first and last element of a, i don't boot this computer very often.
12:07:10 -!- boily has quit (Quit: REMINDER CHICKEN).
12:31:57 -!- garit has quit (Ping timeout: 240 seconds).
13:45:02 -!- variable has quit (Quit: /dev/null is full).
14:00:29 -!- doesthiswork has joined.
14:32:28 -!- variable has joined.
14:32:39 -!- variable has quit (Client Quit).
14:42:18 -!- variable has joined.
14:50:54 -!- variable_ has joined.
14:52:27 -!- variable_ has changed nick to trout.
14:54:31 -!- variable has quit (Ping timeout: 256 seconds).
15:02:32 -!- doesthiswork has quit (Quit: Leaving.).
15:12:01 -!- `^_^v has joined.
15:18:25 -!- trout has quit (Quit: /dev/null is full).
15:23:17 -!- zseri has joined.
15:50:30 <esowiki> [[Special:Log/newusers]] create * BMO * New user account
15:59:04 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=53956&oldid=53945 * BMO * (+282) /* Introductions */
16:10:40 <esowiki> [[Functoid]] https://esolangs.org/w/index.php?diff=53957&oldid=53954 * BMO * (+125) /* Commands */
16:11:06 <esowiki> [[Functoid]] https://esolangs.org/w/index.php?diff=53958&oldid=53957 * BMO * (-1) /* Commands */
16:14:10 <esowiki> [[Functoid]] https://esolangs.org/w/index.php?diff=53959&oldid=53958 * BMO * (+93)
16:16:35 -!- jaboja has joined.
16:20:44 -!- jaboja has quit (Client Quit).
16:27:53 <esowiki> [[Functoid]] https://esolangs.org/w/index.php?diff=53960&oldid=53959 * BMO * (+534)
16:34:30 <esowiki> [[User:BMO]] N https://esolangs.org/w/index.php?oldid=53961 * BMO * (+163) Created page with "Hello, World! BMO here, I like functional programming and [https://codegolf.stackexchange.com/users/48198/bmo code golf], I also created the esolang [[Functoid]]."
16:58:14 <esowiki> [[Functoid]] https://esolangs.org/w/index.php?diff=53962&oldid=53960 * BMO * (+221)
17:00:35 -!- rcm888 has joined.
17:14:09 -!- sleffy has joined.
17:23:12 -!- alercah has quit (Ping timeout: 248 seconds).
17:24:19 -!- alercah has joined.
17:29:28 -!- sleffy has quit (Ping timeout: 256 seconds).
17:47:57 -!- LKoen has quit (Remote host closed the connection).
17:55:15 -!- sprocklem has quit (Quit: WeeChat 2.0.1).
18:00:39 -!- LKoen has joined.
18:05:21 -!- zseri has quit (Quit: Leaving).
18:13:36 -!- jaboja has joined.
18:36:00 -!- wob_jonas has joined.
18:36:20 <HackEgo> 5039:2014-10-10 <oerjän> mv wisdom/categorical{," product"} \ 5038:2014-10-10 <b_jonäs> learn categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a morphism w:X->C such that u=w
19:08:44 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
19:10:15 <int-e> it's perfect abstract nonsense.
19:10:57 <HackEgo> categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a unique morphism w:X->C such that u=wp and v=wq.
19:11:01 <wob_jonas> int-e: yes, but the easier part of it
19:15:27 <HackEgo> We would have an explanation of abstract nonsense here, but it fled into a diagram and we haven't been able to chase it. We will try again once we find an abstract machete.
19:15:54 <HackEgo> international millennium? ¯\(°_o)/¯
19:29:20 -!- Phantom_Hoover has joined.
19:40:12 -!- Phantom__Hoover has joined.
19:42:52 -!- Phantom_Hoover has quit (Quit: Leaving).
19:43:25 -!- sprocklem has joined.
19:59:56 -!- LKoen has quit (Remote host closed the connection).
20:11:58 -!- jaboja has quit (Quit: Leaving).
20:17:29 -!- augur has joined.
20:31:05 -!- zseri has joined.
20:48:21 -!- sleffy has joined.
20:49:16 -!- sebbu has quit (Read error: Connection reset by peer).
20:49:55 -!- sebbu has joined.
21:03:47 -!- laerling has joined.
21:04:36 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
21:06:51 -!- HackEgo has quit (Remote host closed the connection).
21:07:11 -!- HackEgo has joined.
22:22:30 -!- zseri has quit (Quit: Leaving).
22:27:56 -!- erkin has joined.
22:29:26 -!- augur_ has joined.
22:31:01 -!- rodgort has quit (Quit: Leaving).
22:33:38 -!- augur has quit (Ping timeout: 276 seconds).
22:34:18 -!- sprocklem has quit (Quit: WeeChat 2.0.1).
22:34:51 -!- sprocklem has joined.
22:35:19 -!- rodgort has joined.
22:36:29 -!- augur has joined.
22:38:12 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:40:08 -!- augur_ has quit (Ping timeout: 276 seconds).
22:45:05 -!- boily has joined.
22:50:41 -!- AnotherTest has quit (Ping timeout: 255 seconds).
22:54:31 -!- laerling has quit (Quit: Leaving).
22:57:31 <lambdabot> CYUL 052200Z 24013KT 30SM DRSN FEW040 FEW240 M11/M17 A3012 RMK SC1CI1 CI TR SLP203
22:59:55 <moony> I wonder if Befunge Joust would be a sane possibility
23:02:10 -!- sprocklem has quit (Quit: WeeChat 2.0.1).
23:03:37 <\oren\> boily: dow jones is down more than 1000 points today
23:05:57 <\oren\> shachaf: how much is a "point" in us dollars?
23:06:04 -!- sprocklem has joined.
23:09:00 <\oren\> shachaf: but how much was it worth in total?
23:09:29 <shachaf> Who cares about a price-weighted index of 30 US stocks?
23:10:43 <shachaf> And it's price-weighted, which should irritate you even more
23:11:22 <\oren\> ok so which ones went down?
23:12:04 <\oren\> let's see. walmart went down
23:14:24 -!- xkapastel has joined.
23:14:38 <\oren\> huh, that's bizarre, why does the graph for most of these look the same? do they hold each-other's stocks a lot or something
23:15:01 <\oren\> some went down more than others
23:15:57 <shachaf> There are many things that affect all companies.
23:17:32 <\oren\> McDonalds' didn't go down as much as most of them
23:20:14 <\oren\> while exxon mobil went down more, but wasn't as affected by this weird sell-off at 3 PM
23:21:49 <\oren\> Apple only wont down 2.5%?
23:22:48 <shachaf> Do these differences seem particularly significant to you?
23:23:30 -!- sleffy has quit (Ping timeout: 260 seconds).
23:23:42 <\oren\> shachaf: well no, because I don't see what information these buying and selling decisions are based on
23:24:45 <shachaf> Do you have any exposure to these companies yourself?
23:25:02 <\oren\> shachaf: no, I don't own any stocks
23:25:14 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
23:25:29 <shachaf> Think of all the money you could lose.
23:25:50 <\oren\> have they considered using random numbers?
23:26:45 <shachaf> You don't believe in markets, huh
23:27:34 <\oren\> shachaf: I mean buy and sell stocks mostly at random
23:28:26 <\oren\> rather than an arbitrary set of 30
23:29:27 -!- sprocklem has quit (Ping timeout: 240 seconds).
23:31:10 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
23:33:33 <\oren\> shachaf: a lot of people apparently, but I don't understand why
23:34:23 <\oren\> and a lot of the companies in this "industrial average" are retail companies, not industry?
23:34:57 <shachaf> The main reason people like to talk about DJIA is that it's old, I think. Been around for a long time, very traditional. But it's silly.
23:35:38 -!- sleffy has joined.
23:35:43 <shachaf> You should at least look at S&P 500, which is 500 companies and cap-weighted.
23:36:07 <moony> There was an old abandon esolang on bay12. Poslin. It's really neat, actually. Language is a meta language, and i believe it is capable of redeclaring itself (metacircular). https://bitbucket.org/thomas_bartscher/poslin-specification/overview
23:37:56 <moony> The actual core of the language is under prims.txt in spec
23:40:08 -!- boily has quit (Quit: REGAL CHICKEN).
23:40:48 <moony> It's kinda all over the place :p
23:41:04 <moony> Someone who's good at lisp might be able to decode it a little better (Interpreter is written in Common Lisp)
23:44:28 <shachaf> ski: whoa, are y'all talking about leibniz notation?
23:44:34 <shachaf> Do you understand how it works?
23:44:52 <shachaf> I remember that you wrote about the meaning of partial vs. total derivatives once.
23:54:49 <ski> Leibniz notation can be seen as a macro for Langrange notation over a lambda expression
23:55:16 <ski> d f(x) / d x = (\x. f(x))'(x)
23:55:33 <shachaf> That it operates on expressions with free variables.
23:55:42 <ski> then, throw in some dependent variables, to confuse the matter
23:55:53 <ski> d y / d x = (\x. y)'(x)
23:55:59 <shachaf> A physicist person disagreed with me but I don't think the disagreement is usually that important.
23:56:13 <ski> `y' here being a dependent variable (think dynamic scoping), depending on the (independent) `x'
23:56:14 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: y': not found
23:56:16 <shachaf> But what's the meaning of "d x" on its own, not in the expression "d y / d x"?
23:56:49 <ski> for the matter of the above, you don't have to assign a meaning to `d x' on its own
23:57:07 <shachaf> But people do assign meanings to "d x" on its own, and things work out.
23:57:15 <ski> (and when you have dependent variables, then the matter of total vs. partial variable appears)
23:57:34 <moony> Question: Is a truely meta language (A meta language in which all possible meta languages can be implemented in and can describe any machine) even possible on a mathematical perspective?
23:57:36 <shachaf> for example "x^2 + y^2 = 0" -> "2 d x + 2 d y = 0" -> "dy/dx = -x/y"
23:57:41 <moony> I can't wrap my head around it :p
23:57:46 <shachaf> Neither x nor y is really dependent on the other here.
23:58:05 <shachaf> I'm sorry, "2 x dx + 2 y dy = 0"
23:59:52 <ski> instead of having a functional dependency from `x' to `y' in `d y / d x', i think one can allow more general relations. but then it may not be enough to know that relatioship, and the particular value of `x', in order to determine `d y / d x'. in particular, one may also have to know `y' (such that the relationship obtains between that `y' and the selected `x', of course). see "implicit function theorem"