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:10 progress? 00:12:17 `5 w 00:12:23 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:13:59 `n 00:14:00 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:15 `cwlprits pineapple 00:14:23 shachäf shachäf boil̈y olsnër 00:15:11 `cwlprits categorical product 00:15:18 oerjän oerjän 00:15:27 -!- danieljabailey has quit (Ping timeout: 248 seconds). 00:16:44 `cwlprits categorical 00:16:52 oerjän b_jonäs 00:18:03 -!- danieljabailey has joined. 00:19:53 * boily prays for the blackness in quintopia's screen to shoo away 00:20:00 @massages-louc 00:20:00 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 [[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 [[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 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: nostril. 11:42:51 boily: use the binary force luke gorrie implemented it. he tells you what language it is implemented." fnord fnord 11:43:25 . o O ( the fungot lightsaber goes “fnooooord fnooooord” ) 11:43:26 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:27:32 hi 15:50:30 [[Special:Log/newusers]] create * BMO * New user account 15:59:04 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=53956&oldid=53945 * BMO * (+282) /* Introductions */ 16:10:40 [[Functoid]] https://esolangs.org/w/index.php?diff=53957&oldid=53954 * BMO * (+125) /* Commands */ 16:11:06 [[Functoid]] https://esolangs.org/w/index.php?diff=53958&oldid=53957 * BMO * (-1) /* Commands */ 16:14:10 [[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 [[Functoid]] https://esolangs.org/w/index.php?diff=53960&oldid=53959 * BMO * (+534) 16:34:30 [[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 [[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:05 `? categorical 18:36:08 categorical? ¯\(°​_o)/¯ 18:36:11 `dowg categorical 18:36:19 um 18:36:20 5039:2014-10-10 mv wisdom/categorical{," product"} \ 5038:2014-10-10 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 18:36:30 ah! 18:36:36 I made it, and oerjan moved it 18:36:37 I see 19:08:44 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 19:10:15 it's perfect abstract nonsense. 19:10:55 `? categorical product 19:10:57 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 int-e: yes, but the easier part of it 19:15:23 `? abstract 19:15:24 abstract? ¯\(°​_o)/¯ 19:15:26 `? abstract nonsense 19:15:27 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:52 `? international millennium 19:15:54 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. 20:56:19 hi 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:28 bye 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 @metar CYUL 22:57:31 CYUL 052200Z 24013KT 30SM DRSN FEW040 FEW240 M11/M17 A3012 RMK SC1CI1 CI TR SLP203 22:59:06 <\oren\> Dow Jones crash? 22:59:55 I wonder if Befunge Joust would be a sane possibility 23:01:09 \oren\: eh? 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:03:55 more like scow jones hth 23:05:57 <\oren\> shachaf: how much is a "point" in us dollars? 23:06:04 -!- sprocklem has joined. 23:07:57 Who cares about points? 23:08:30 It's down about 4-5% 23:09:00 <\oren\> shachaf: but how much was it worth in total? 23:09:29 Who cares about a price-weighted index of 30 US stocks? 23:09:49 <\oren\> shachaf: only 30? 23:09:54 <\oren\> huh 23:10:24 That's what the DJIA is 23:10:43 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 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 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 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:20 Maybe you should! 23:25:29 Think of all the money you could lose. 23:25:50 <\oren\> have they considered using random numbers? 23:26:45 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:01 Who cares about these 30? 23:33:33 <\oren\> shachaf: a lot of people apparently, but I don't understand why 23:34:19 no one who matters hth 23:34:23 <\oren\> and a lot of the companies in this "industrial average" are retail companies, not industry? 23:34:57 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 You should at least look at S&P 500, which is 500 companies and cap-weighted. 23:36:07 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 The actual core of the language is under prims.txt in spec 23:39:31 <\oren\> hmmm 23:40:08 -!- boily has quit (Quit: REGAL CHICKEN). 23:40:42 Or 23:40:48 It's kinda all over the place :p 23:41:04 Someone who's good at lisp might be able to decode it a little better (Interpreter is written in Common Lisp) 23:44:28 ski: whoa, are y'all talking about leibniz notation? 23:44:34 Do you understand how it works? 23:44:52 I remember that you wrote about the meaning of partial vs. total derivatives once. 23:54:49 Leibniz notation can be seen as a macro for Langrange notation over a lambda expression 23:55:16 d f(x) / d x = (\x. f(x))'(x) 23:55:24 That's what I said. 23:55:33 That it operates on expressions with free variables. 23:55:42 then, throw in some dependent variables, to confuse the matter 23:55:53 d y / d x = (\x. y)'(x) 23:55:59 A physicist person disagreed with me but I don't think the disagreement is usually that important. 23:56:13 `y' here being a dependent variable (think dynamic scoping), depending on the (independent) `x' 23:56:14 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: y': not found 23:56:16 But what's the meaning of "d x" on its own, not in the expression "d y / d x"? 23:56:49 for the matter of the above, you don't have to assign a meaning to `d x' on its own 23:56:53 I agree. 23:57:07 But people do assign meanings to "d x" on its own, and things work out. 23:57:15 (and when you have dependent variables, then the matter of total vs. partial variable appears) 23:57:34 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 for example "x^2 + y^2 = 0" -> "2 d x + 2 d y = 0" -> "dy/dx = -x/y" 23:57:41 I can't wrap my head around it :p 23:57:46 Neither x nor y is really dependent on the other here. 23:58:05 I'm sorry, "2 x dx + 2 y dy = 0" 23:59:52 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"