00:01:02 question about (<*) and (*>): why are both arguments evaluated, if one of them gets discarded? 00:06:16 Do you mean why both are executed? 00:06:26 The answer is that that's the purpose of those functions. 00:08:23 I know it works, I can use them, but the way it works confuses me. 00:10:09 maybe I'm misunderstanding laziness. if I'm fmapping "const" or "const id" into (<*>), shouldn't I be able to just plain ignore one of the arguments and just evaluate the other? 00:10:46 You keep using the word "evaluate". 00:10:58 But I don't think you're talking about evaluation. 00:11:39 is there a better term to say "extract the value from this function application"? 00:12:10 Extract what from what? 00:15:09 if "f (<*) g = const <$> f <*> g", then shouldn't the "const" disregard what's inside the g? 00:16:16 from there (and I guess where I'm completely wrong), my intuition is that the whole g is useless, so nothing should happen with it, so the whole thing could be reduced to only f. 00:19:51 There is nothing inside g, probably. 00:20:12 -!- ski has joined. 00:20:19 These things don't contain things (in general). 00:20:40 Are f and g functions here? 00:23:02 anything. 00:24:51 -!- Lord_of_Life has quit (Excess Flood). 00:25:29 -!- Lord_of_Life has joined. 00:27:00 another way: "getLine <* getLine" should only get a single line, as the second one isn't needed to manipulate the "IO String" you type. 00:38:20 -!- oerjan has joined. 00:40:57 lament? <-- yep! doesn't come around much these days though. 00:41:06 (evenily) 00:41:29 bonsøirjan. 00:50:10 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:17:10 -!- tromp has quit (Remote host closed the connection). 01:18:37 -!- tromp has joined. 01:25:11 -!- MDude has joined. 01:28:21 `wisdom 01:28:26 sense//Sense is the ability to understand things. A person with much sense is called a sensei. 01:29:16 boily: Why should it only get a single line? 01:29:52 -!- myname has joined. 01:32:28 if I write "a <- getLine <* getLine", then "a" only depends on what happens with the first getLine. the second one could be dropped, and nothing would change. 01:33:55 What if you write do { a <- getLine; _ <- getLine; ... }? 01:34:14 I think the problem is the same as what I said above: You're confusing evaluation and execution. 01:35:35 * boily is suddenly enlightened 01:36:09 are you sure hth 01:36:30 well, only by an incandescent bulb, but I *think* I'm getting there. 01:36:50 yay! 01:37:03 * oerjan enlightens boily further with a match 01:38:32 is there a good place to read about this sort of thing 01:38:39 i wrote e.g. http://stackoverflow.com/a/13538351 but it's not ideal 01:38:49 boily: <* means "execute both for their side effects; keep only the first return value" 01:39:23 > [1,2,3] <* [4,5] 01:39:25 [1,1,2,2,3,3] 01:42:39 oerjan: yes, it means that, it works, but it's the *why* that I fail to grasp. 01:42:49 * boily is still perusing the shachanwer... 01:43:20 s/w/sw/ 01:54:16 [1, 2, 3] <* [4, 5] = const <$> [1, 2, 3] <*> [4, 5] 01:54:18 [const 1, const 2, const 3] <*> [4, 5] 01:54:20 [f x | f <- [const 1, const 2, const 3], x <- [4, 5]] 01:54:22 [1, 1, 2, 2, 3, 3] 01:59:09 to be able to get from a form that has (<*>) to one that hasn't it, I have to "do something" with the second argument before being able to apply the "const" and get to the end result. 02:00:00 * boily uses oerjan's match to keep warm 02:02:57 and that "do something" depends on the instance of (<*>), but there will always be a something to be done. plugging in a const has no consequence whatsoever that that thing be done or not. 02:03:19 * boily feels like he's getting non-homeopathically closer 02:04:07 Laziness is just irrelevant here. 02:05:03 point. 02:06:32 `thanks shachaf 02:06:34 Thanks, shachaf. Thachaf. 02:06:54 oerjan: can I keep the match? it has fire, and fire is good. 02:15:20 OKAY 02:17:31 YÉ 02:20:14 * oerjan accidentally marks a wiktionary edit as minor instead of adding it to his watchlist. this is what happens when you're not careful enough and cannot actually read the button descriptions. 02:32:56 'night all! 02:33:03 night 02:33:15 -!- boily has quit (Quit: SUBSCRIBED CHICKEN). 02:36:36 -!- hppavilion2 has quit (Ping timeout: 276 seconds). 02:45:13 http://climatetorrent.com/ can you kindly torrent (and possibly seed these)? Before it goes in the 'memory hole'. 03:14:09 -!- Zarutian has quit (Quit: Zarutian). 03:45:55 -!- augur has joined. 04:17:40 -!- otherbot has quit (Remote host closed the connection). 04:23:46 -!- hppavilion2 has joined. 05:18:34 -!- iovoid has quit (Quit: Iovoid has quit!). 05:18:50 -!- iovoid has joined. 05:25:39 There seem to be analogues of Newton's laws for both Linear (translational) systems and Angular (rotational) systems. While I'm not sure it can happen in this universe, are there (somehow) analogues for translation? Somehow? 05:25:45 I'm really not sure if I know what I'm talking about 05:31:40 Nope, non-continuous so it doesn't make sense 05:37:50 -!- augur has quit (Quit: Leaving...). 05:45:06 -!- hppavilion2 has quit (Ping timeout: 276 seconds). 06:00:04 -!- hppavilion1 has joined. 06:27:32 -!- doesthiswork has quit (Quit: Leaving.). 06:31:18 -!- kiki` has quit (Disconnected by services). 06:32:23 -!- sparr has quit (Changing host). 06:32:23 -!- sparr has joined. 07:13:46 Huh. Some more ways to acquire the climate data that's in climatetorrent.com: https://climate.daknob.net/ 07:25:48 -!- pikhq has quit (Ping timeout: 258 seconds). 07:27:30 -!- pikhq has joined. 08:37:46 -!- augur has joined. 09:17:11 -!- HackEgo has quit (Ping timeout: 264 seconds). 09:18:13 -!- HackEgo has joined. 09:34:48 -!- LKoen has joined. 09:54:24 -!- augur has quit (Ping timeout: 255 seconds). 09:56:52 -!- augur has joined. 10:06:03 -!- hppavilion1 has quit (Ping timeout: 240 seconds). 10:12:54 -!- sebbu2 has joined. 10:16:11 -!- sebbu has quit (Ping timeout: 256 seconds). 10:29:18 * oerjan finally blocks redditmedia.com 10:29:31 (or disables it from running scripts) 10:30:21 my tabs were getting an endless series of certificate errors. 10:31:31 -!- xfix has quit (Read error: Connection reset by peer). 10:32:48 -!- xfix has joined. 11:10:31 -!- LKoen has quit (Remote host closed the connection). 11:11:58 -!- LKoen has joined. 11:14:29 sounds like fun! 11:15:43 oerjan: did you see the "unplagued" pun? I expected a swatting... :P 11:17:53 um, what's the pun in that 11:21:04 are you thinking "unplugged" or something 11:21:50 meantime, colette is no longer unplugged. 11:22:20 i wonder if beausoleil will show up inside that thing 11:22:31 *meanwhile 11:25:15 `? maintenance 11:25:31 maintenance? ¯\(°​_o)/¯ 11:28:08 -!- oerjan has quit (Quit: Later). 11:35:11 -!- boily has joined. 11:51:48 izabera: btw I gave up on the CaC ticket and instead deleted and recreated the VM two times (the first time routing still didn't work... they've messed something up pretty badly in their routing it seems) 11:52:20 So... performing as expected. :P 12:30:20 -!- boily has quit (Quit: TANK CHICKEN). 12:48:07 -!- LKoen has quit (Remote host closed the connection). 12:50:15 -!- LKoen has joined. 12:59:40 -!- xa0 has quit (Ping timeout: 258 seconds). 13:03:35 -!- Phantom_Hoover has joined. 13:04:46 -!- xa0 has joined. 13:38:10 -!- LKoen has quit (Remote host closed the connection). 14:00:32 -!- doesthiswork has joined. 14:19:33 -!- LKoen has joined. 15:10:54 -!- LKoen has quit (Remote host closed the connection). 15:27:40 -!- LKoen has joined. 16:15:36 int-e: try to have a backup :\ 16:17:36 Well, most of the work is actually getting rid of systemd, rpcbind (why would anyone set up a system with rpcbind running in its default configuration?!) and setting up apache. 16:17:44 there's almost no data there anyway. 16:18:12 and this time I took some notes 16:19:39 Oh they want feedback on how they performed on the ticket... 16:19:57 ...let's see, I tried to leave some final comments and it earned my an entry on their server's blacklist 16:20:59 (though that could also have been triggered by the fact that I used the session cookie from two different IPs) 17:16:02 -!- tromp has quit (Read error: Connection reset by peer). 17:16:27 -!- tromp has joined. 17:24:43 -!- doesthiswork1 has joined. 17:24:43 -!- doesthiswork has quit (Read error: Connection reset by peer). 17:38:04 <\oren\> good afertoon evryone 17:39:16 -!- moony has joined. 17:39:18 hi 17:40:41 -!- staffehn has quit (Ping timeout: 245 seconds). 18:04:24 -!- hppavilion1 has joined. 18:08:56 -!- Zarutian has joined. 18:09:12 -!- Zarutian has quit (Read error: Connection reset by peer). 18:10:58 -!- Zarutian has joined. 18:11:00 -!- staffehn has joined. 18:28:01 <\oren\> I had to pkill -9 chrome 18:28:25 <\oren\> because chroma kept turning my mouse into a beach ball 18:29:05 squeak? 18:30:19 (when I see "mouse" I think of the physical device, not the pointer) 18:36:14 `? password 18:36:27 The password of the month is AАΑAАΑAАΑAАΑAАΑ 18:36:28 can we have n9y25ah7 for next month? 18:37:04 (context, https://techcrunch.com/2017/01/26/sean-spicer-n9y25ah7/ ) 18:50:21 -!- Lord_of_Life has quit (Excess Flood). 18:54:29 -!- Lord_of_Life has joined. 19:02:57 -!- LKoen has quit (Remote host closed the connection). 19:08:46 -!- moony has quit (Quit: Leaving). 19:15:31 2020 olympic high jump results: 19:15:39 gold - mexico 19:15:45 silver - mexico 19:15:46 bronze - mexico 19:16:33 <\oren\> in the news, shia the boof trolled and v& by 9gag 19:25:39 -!- hppavilion1 has quit (Ping timeout: 258 seconds). 19:28:50 -!- hppavilion1 has joined. 19:37:54 Uh 19:37:58 Oh, nvm 19:40:06 -!- moony has joined. 20:02:36 -!- iovoid has quit (Quit: Iovoid has quit!). 20:03:20 <\oren\> hppavilion1: do you like vaporwave? 20:03:27 -!- hppavilion1 has quit (Remote host closed the connection). 20:03:34 <\oren\> drat 20:03:51 -!- hppavilion1 has joined. 20:04:31 <\oren\> hppavilion1: where did your [] go? 20:04:59 \oren\: AAAAGH 20:05:03 -!- hppavilion1 has changed nick to hppavilion[1]. 20:05:06 copumpkin: hopumpkin 20:05:22 \oren\: My nick is hppavilion1 on foonetic so it carries over here 20:05:29 \oren\: Because I can't be on xkcd with the []s 20:05:33 I'm trying to get them to fix it 20:05:47 -!- iovoid has joined. 20:06:01 what sort of language should a build system use for describing build targets and so on 20:06:01 <\oren\> shachaf: do you like vaporwave 20:06:16 <\oren\> shachaf: not Salmon 20:06:19 do you think it should be similar to the nix language? that one looks very complicated 20:06:31 I don't know vaporwave. 20:06:32 <\oren\> shachaf: I can say it shoudn't be Salmon 20:06:50 Why don't you take it as your work project to fix the awful build system? 20:06:54 Everyone will like you. 20:08:10 <\oren\> there are things that have higher priority 20:08:18 Are you sure? 20:08:24 If it takes four hours to check in a commit? 20:08:40 <\oren\> well, you can work on a different checkout in the mean time 20:08:57 Nevertheless. 20:09:51 <\oren\> https://www.youtube.com/watch?v=HMLrn_bLmT0&t=2153s 20:10:17 I don't typically like music with drums in it. 20:13:22 -!- zzo38 has joined. 20:17:19 <\oren\> https://www.youtube.com/watch?v=F9L4q-0Pi4E 20:18:38 <\oren\> Vaporwave (British English: vapourwave)[10] is an electronic music subgenre [11] that originated in the early 2010s and spread over the next half of the decade among various Internet communities. It is characterized by a nostalgic or surrealist fascination with entertainment, technology and advertising of the 1980s and 1990s, and styles of both corporate and popular music such as lounge music, smooth jazz and elevator music. 20:21:39 <\oren\> I did some exploration of the build system yesterday. those parts that aren't written in Salmon are written in Perl, Bash and Python 20:28:36 -!- LKoen has joined. 20:34:42 zzo38, just going to ask, im making a demo NPM module for otherbot's sandbox, which uses the design you came up with. do you require me to add you as one of the authors of the sandbox? 20:44:24 -!- newsham has joined. 20:46:44 -!- hppavilion[1] has quit (Remote host closed the connection). 20:47:09 -!- hppavilion[1] has joined. 20:50:38 <\oren\> the last president to have a moustache was Taft 20:59:41 -!- iaglium has quit (Ping timeout: 240 seconds). 20:59:46 moony: No. You need not add me. 21:00:35 zzo38, kk 21:03:31 -!- DHeadshot has joined. 21:10:51 -!- Marcela_- has joined. 21:10:54 -!- Marcela_Gandara has joined. 21:12:36 -!- Marcela_Gandara has quit (Client Quit). 21:15:05 -!- augur has quit (Remote host closed the connection). 21:15:42 -!- augur has joined. 21:16:49 * Marcela_- se va a casar con jackiller_killex y los invita a la boda :-[ 21:16:50 -!- Marcela_- has left. 21:21:05 -!- augur has quit (Ping timeout: 255 seconds). 21:26:29 -!- Marcela_- has joined. 21:27:31 -!- iaglium has joined. 21:32:11 -!- iaglium has quit (Ping timeout: 264 seconds). 21:34:45 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 21:53:58 -!- hppavilion[1] has joined. 22:34:14 -!- hppavilion[1] has quit (Ping timeout: 248 seconds). 22:51:34 -!- Phantom__Hoover has joined. 22:54:24 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 22:55:00 <\oren\> コカ・コーラを飲みましょう 22:55:44 -!- hppavilion[1] has joined. 22:59:25 moony: I would like to see the module if possible though. 23:02:29 <\oren\> suppose we made a language where syntax is not a tree 23:03:09 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 23:04:28 Then what is it? Figure what possibilities they are. 23:05:05 <\oren\> specifically, it would be a general graph 23:05:40 It is what I thought too but what other possibility there is? There are a few stuff on esolang wiki based on graph 23:05:57 もうマサラティを飲んでいる。 23:06:59 \oren\: http://www.cas.mcmaster.ca/~kahl/HOPS/ 23:08:52 <\oren\> nice! 23:10:09 One way to make a graph-based is with RDF, and I have thought of wanting to use RDF for a AST of Magic: the Gathering cards (although a graph isn't actually needed here, there are a few advantages provided by such thing). 23:13:30 <\oren\> jesus christ, emacs makes a separate process for each open file?! 23:48:00 -!- hppavilion1 has joined. 23:50:48 -!- hppavilion2 has joined. 23:52:09 -!- moony has quit (Remote host closed the connection). 23:53:51 -!- hppavilion1 has quit (Ping timeout: 276 seconds). 23:57:33 -!- sfz- has joined. 23:58:36 -!- DHeadshot has quit (Ping timeout: 245 seconds).