00:00:30 Java might be IDE-dependent enough to actually warrant just using eclipse though 00:00:48 you can map :w to save in eclipse 00:00:57 hellolsner. tried it a while ago, and it's not a good idea... just better to keep everything separate. 00:01:12 How many total orders over the reals are there? 00:01:32 s/reals/naturals/ 00:01:40 How many total orders over the naturals are there 00:04:20 -!- Marcela_Gandara has joined. 00:04:35 Oh god, more canaima? 00:04:42 Equivalently, what's |N|‽ 00:04:44 Whoops 00:04:49 |N|! ? 00:05:14 hello 00:05:27 [!? autocorrects to ‽ for me, though I usually just use altgr+' where I have it bound] 00:05:30 Marcela_Gandara: Hello? 00:06:33 hppavilion1: how are you? 00:06:40 Good 00:06:42 Marcela_Gandara: So, I take it you aren't looking for Canaima help? 00:15:19 hppavilion1: yes 00:16:00 Marcela_Gandara: You are looking for help with Canaima or you aren't looking for help with Canaima 00:16:57 What is this channel for? 00:24:58 I'm not looking for help with canaima 00:31:43 -!- oerjan has joined. 00:32:22 This is the esoteric programming IRC. 00:32:39 -!- zzo38 has quit (Remote host closed the connection). 00:34:50 `wisdom 00:35:13 fish//Come and dance and love the fish! Mister Disco summoned it. 00:36:44 helloily. good advice as always. 00:39:54 -!- otherbot has joined. 00:42:04 Marcela_Gandara: OK, just checking. We occasionally get people from Venezuela looking for help with the Venezuelan Government's official Linux distribution- Canaima- for no apparent reason 00:45:57 hppavilion1 Okay, okay, but I'm not looking for help. 00:49:31 oh Marcela Gandara is a singer 00:50:58 `wisdome 00:51:12 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wisdome: not found 00:51:16 `? wisdome 00:51:21 The Wisdome is the place where all of HackBot's wisdom is stored and forced to fight to the death for the freedom of being printed out when you type `wisdom. Strictly speaking, it should be called the "Wissphere". 00:51:23 oerjan: That too 00:53:45 hellørjan. the Wisdom is Good. 01:00:33 `wisdom 01:00:34 in//In 1492 Columbus sailed the ocean blue. 01:01:28 . o O ( the ocean is more like grayish green. grayn. ) 01:01:35 `wisdom 01:01:48 * boily mapoles the HackEgo 01:01:50 esoterra//Esoterra is the planet of Esoterrans, also known as esolangers. The proof of its existence is non-constructive, although some suspect that it is in fact Earth. 01:01:56 "In 1492 Jesus sailed the ocean blue." 01:02:35 `slwd esoterra//s/\b/eso/Eso/ 01:02:36 ​/bin/sed: -e expression #1, char 10: unknown option to `s' 01:02:44 `slwd esoterra//s/\beso/Eso/ 01:02:47 esoterra//Esoterra is the planet of Esoterrans, also known as Esolangers. The proof of its existence is non-constructive, although some suspect that it is in fact Earth. 01:03:10 http://poetrynook.com/poem/religion-back-home 01:04:17 nice. 01:06:36 -!- Zarutian has quit (Quit: Zarutian). 01:11:29 `dowg in 01:11:37 7445:2016-04-17 learn In 1492 Columbus sailed the ocean blue. \ 7444:2016-04-17 learn In your dreams, sucker! 01:14:04 `wisdom 01:14:06 vector space//A vector space is just a module over a field. 01:14:30 `dowg vector space 01:14:31 that makes me think: in my opinion there isn't enough poetry in the Wisdom. 01:14:34 6170:2015-11-02 le/rn vector space/A vector space is just a module over a field. 01:14:39 `? haiku 01:14:42 ​🀨や⛄ 01:15:56 googling for latex mahjong gives http://www.alibaba.com/showroom/new-style-latex-mahjong-massage-pillows.html . something was lost in translation somewhere... 01:17:00 `? ha 01:17:03 Ha van szíved, hogy mindazt, mit elértél, / Ha kell, egyetlen kockára rakd, / s túltegyed magad, ha veszteség ér, / s ne legyen róla többé egy szavad 01:17:07 -!- fungot has quit (Ping timeout: 240 seconds). 01:18:16 fizzie: [GENERIC HOLLERING]! 01:18:24 -!- waji has joined. 01:18:28 `relcome waji 01:18:31 ​waji: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 01:18:43 hey 01:19:20 -!- waji has quit (Client Quit). 01:19:40 -!- Joanne has joined. 01:19:55 copumpkin: what build system should i use 01:19:56 twh 01:20:06 shachaf: for what? :) 01:20:18 let's start with software 01:20:30 hmm :) no idea 01:20:56 I hear people like cmake but I generally don't 01:21:10 chellopumpkin. I hate cmake. 01:21:22 hallo! 01:21:31 I looked at it a bit and didn't find anything appealing but maybe I'd like it if I looked more. 01:21:41 I hear haskellers going on about shake 01:22:02 I want something high-level and declarative, like bazel. 01:22:15 Should I use bazel or a bazel clone? 01:22:46 I haven't worked with them much 01:22:46 No public Haskell support right now. 01:24:06 the road to cmake is paved with good intentions... 01:24:20 shake didn't seem sufficiently declarative when I looked at it. 01:24:36 I think bazel is your best bet right now. 01:25:03 bazel is pretty cool 01:35:53 not for Haskell, unless you want to take on the work of writing the build rules for it 01:38:58 I tried but writing bazel rules is a lot of work. 01:39:15 Buck has rules for Haskell, though they don't seem to be compatible with GHC 8. 01:40:43 -!- Joanne has quit (Quit: Leaving). 01:44:46 -!- Marcela_Gandara has quit (Read error: Connection reset by peer). 01:46:43 -!- Marcela_Gandara has joined. 01:56:56 -!- Marcela_Gandara has quit (Quit: Leaving.). 01:57:53 -!- Marcela_Gandara has joined. 02:02:08 How many total orders over the naturals are there <- |R| hth 02:02:24 by a simple squeezing argument 02:03:44 each order is represented by a subset of N x N, so <= 2^|N|. 02:04:19 and for each subset of N you can encode it as an order of N. 02:04:30 (so >= 2^|N|) 02:05:19 @tell hppavilion1 if you've pinged out, see logs 02:05:19 Consider it noted. 02:06:51 @tell hppavilion[1] if you've changed nicks again, see message to hppavilion1 02:06:52 Consider it noted. 02:06:58 * oerjan whistles evilly 02:08:26 * shachaf woozles eveilly 02:08:28 er 02:08:33 s/ve/v/ 02:09:04 and it would have lined up so well, too 02:09:09 i was confusil 02:10:29 * oerjan ponders whether to give in to shachaf's evil temptation 02:11:26 <\oren\> wait so you're telling me nano had a line numbers feature all along but it's disabled by a compile-time flag?!?!?!?! 02:11:36 <\oren\> AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 02:11:49 a heffalump or woozle / is very confusil 02:11:57 a heffalump or woozle's very sly 02:12:51 he\\oren\. Vim is Healthy and Good for You. 02:13:02 * oerjan whistles it just to shut up shachaf 02:13:23 :'( 02:13:50 it's ok you deserve it after today's vim trolling 02:14:18 That wasn't trolling. 02:14:55 . o O ( In einem alternativen Universum, shachaf trollt nicht ) 02:16:22 you were making a "no true vim" argument, essentially. 02:16:41 That was later. 02:16:51 after the part that wasn't trolling hth 02:16:54 OKAY 02:16:59 * oerjan swats shachaf -----### 02:19:47 <\oren\> I get a massive improvement just by compiling nano for myself and enabling all the features 02:20:17 `? vim 02:20:28 \oren\: but doesn't that turn it into micro 02:20:31 vim equals to approximately ccxxxviin. 02:21:00 what's the n for 02:21:36 were n ever used in roman numerals? 02:21:43 not that i remember 02:21:55 but i may not have seen all the weird variations 02:22:22 i don't think you were normally allowed to have two smaller letters before a larger one, though. 02:23:10 `dowg vim 02:23:11 and oerjan would know, he was there 02:23:17 6404:2015-12-17 learn vim equals to approximately ccxxxviin. 02:23:27 lifthrasiir: WHAT DOES THAT MEAN 02:23:54 this is of course the time when he's sleeping. 02:24:02 or possibly just waking up 02:24:23 http://tunes.org/~nef/logs/esoteric/15.12.17 hth 02:25:21 tdnh 02:25:29 oerjan: probably related to roman numerals. 02:26:00 ...except that the number does not seem to look like 996 02:26:20 looks like 237n 02:26:21 or 994 02:26:25 yeah 02:26:32 you said something about fractions 02:26:38 but 237 is an east-west freeway 02:27:19 @time lifthrasiir 02:27:20 Local time for lifthrasiir is Tue Jan 10 02:27:19 2017 02:27:29 oerjan: probably meant to say that I want to represent 237.5 or 237 2/3 02:27:33 that doesn't look overly korean 02:27:53 oerjan: because I went to UTC server for my proxy 02:28:07 <\oren\> for some reason ubuntu is stuck on nano 2.2.6 02:28:27 <\oren\> the most recent version is 2.7.3 02:29:08 lifthrasiir: i still don't get what that has to do with vim 02:29:17 oerjan: I don't get that either, feel free to rewrite 02:29:49 lifthrannyeonghasimnikkasiir. 02:30:41 boily: that sounds great, bhelloily 02:31:21 `? rules of wisdom 02:31:24 unless essential for the entry's humor, they should: be understandable without the lookup key, be single spaced with no space at the end, and use proper capitalization and punctuation 02:31:52 -!- hppavilion1 has quit (Ping timeout: 245 seconds). 02:32:30 shachaf: heh, didn't know of that 02:32:57 we only added that formally very recently 02:33:50 but have been fixing up entries forever 02:34:16 (or for 13.8 billion years, whichever is shorter) 02:34:46 `learn vim equals to cmxciv or cmxcvi, depending on which part of Roman Empire you are. 02:34:49 Relearned 'vim': vim equals to cmxciv or cmxcvi, depending on which part of Roman Empire you are. 02:34:59 this should fix the problem 02:35:05 We had an internet breakage, that's all. 02:35:41 -!- fungot has joined. 02:35:46 That's bettar. 02:35:51 fizzie: now why are you awake 02:36:09 @time fizzie 02:36:10 Because our Internet was broken. 02:36:13 Local time for fizzie is Tue Jan 10 02:36:09 2017 02:36:28 shachaf: it's because he's in the same timezone as lifthrasiir hth 02:36:37 How am I supposed to sleep without a working connection? 02:36:55 I stream all my dreams from Google Dreams. (Not a real product.) 02:38:11 lifthrasiir lives so far away in the future that he transcends the mere concept of timezones. 02:38:34 boily: indeed, because I sleep at 4 AM local time anyway 02:44:31 -!- boily has quit (Quit: OAK CHICKEN). 02:53:47 -!- Marcela_Gandara has quit (Read error: Connection reset by peer). 03:01:35 -!- sirnaysayer has changed nick to greatmetal. 03:04:12 -!- yorick has quit (Ping timeout: 240 seconds). 03:06:04 -!- PinealGlandOptic has joined. 03:18:41 -!- Phantom_Hoover has quit (Remote host closed the connection). 03:19:35 -!- augur has quit (Quit: Leaving...). 03:26:17 -!- yorick has joined. 03:26:17 -!- yorick has quit (Changing host). 03:26:17 -!- yorick has joined. 03:47:12 -!- yorick has quit (Ping timeout: 240 seconds). 03:57:36 -!- yorick has joined. 03:57:36 -!- yorick has quit (Changing host). 03:57:36 -!- yorick has joined. 04:18:08 -!- hppavilion1 has joined. 04:18:21 @massages-lud 04:18:22 oerjan said 2h 13m 2s ago: if you've pinged out, see logs 04:18:26 -!- hppavilion1 has changed nick to hppavilion[1]. 04:18:42 @massages-lud 04:18:42 oerjan said 2h 11m 50s ago: if you've changed nicks again, see message to hppavilion1 04:18:47 *sigh* 04:18:50 -!- hppavilion[1] has changed nick to hppavilion0. 04:18:51 *MWAHAHAHA* 04:18:54 -!- hppavilion0 has changed nick to hppavilion1. 04:19:00 @massages-poud 04:19:00 You don't have any messages 04:19:02 ... 04:19:05 oerjan: Asshole 04:19:08 -!- hppavilion1 has changed nick to hppavilion[1]. 04:19:14 don't worry, i only did those 04:19:20 well i said "logs". 04:19:39 In other news, I rearranged my number row so that it reads 0123456789 rather than 1234567890 04:19:43 that means i couldn't be bothered to @tell it after i realized you'd been idle for an hour. 04:20:22 oerjan: Also, the only way I knew to lambdabot it was that I can see where you sent it, so... 04:21:40 oerjan: OK, so n! = 2^n when n = |N|. I have a feeling this applies to all cardinals? 04:23:04 note that the permutations are only a subset of the total orderings 04:23:10 for infinite sets 04:23:20 actually 04:23:24 not even that 04:23:36 there's no obvious correspondence either way 04:24:04 although they may have the same cardinality, regardless 04:24:26 what i mean is, ! could mean more than one thing there 04:24:47 -!- yorick has quit (Ping timeout: 245 seconds). 04:25:05 oerjan: Wait, what are permutations then? 04:25:12 Like, it's a way to arrange a list 04:25:17 bijections from a set to itself 04:25:19 But what settier way of saying it is there 04:26:23 but when the set is infinite, more than one permutation might give the same order, and not all orders might come from a permutation 04:26:58 Oh, yes 04:27:07 hm 04:27:30 it might work if you look only at orderings isomorphic to the minimal ordinal 04:28:14 Also an interesting question: Is it possible to assign at least one number-theoretic interpretation of relationship (or... whatever) for every value in P(N)? 04:29:12 i don't understand "number-theoretic interpretation of relationship" 04:29:22 I don't either, I'm trying to formalize it 04:31:47 Basically it boils down to whether it's possible to- for any set S where S \subs N- define a predicate pred(n) using some restricted set of rules (maybe related to Peano Arithmetic?) where the set {n : n \in N, pred(n)} = S 04:31:52 If that made any sense 04:32:11 I have a feeling I'm moving into Gödel territory here 04:32:44 there are only a countable number of predicates you can write down 04:32:59 Yeah 04:33:11 So probably not 04:33:22 Or, definitely not 04:35:48 i think the number of permutations, and the number of total (even partial, actually) orderings on an infinite set both always have the same cardinality as the power set. 04:37:49 start with a minimal well ordering of the set. its ordinal will have the property 2*n = n, so you have as many pairs as elements. 04:38:59 if S is a subset, define the permutation to swap 2*x and 2*x+1 iff x is in S. 04:39:21 erm, assuming the set consists of the ordinals, for convenience. 04:40:28 that gives an injection from subsets to permutations. and a permutation gives a unique order (the well-ordered-ness ensures that) 04:41:04 and an order gives a unique subset of M x M, which is the same size as M (assuming AoC) 04:41:40 so we have a full circle of injections, and they're all the same size. 04:43:54 -!- yorick has joined. 04:43:54 -!- yorick has quit (Changing host). 04:43:54 -!- yorick has joined. 04:46:28 -!- augur has joined. 04:50:04 `? forty 04:50:13 Forty means "in a fort-like manner". 04:50:23 There's a borough named Forty Fort, Pennsylvania 04:52:53 . o O ( on the banks of Wet Lake, with a scenic view of Stony Mountain ) 04:55:36 -!- Joanne has joined. 05:00:07 -!- sparr has quit (Changing host). 05:00:07 -!- sparr has joined. 05:13:19 `dowg forty 05:13:27 9532:2016-10-30 slwd forty//s/f/F/;s/$/./ \ 5023:2014-10-06 learn forty means "in a fort-like manner" 05:13:30 Isn't that fortily? 05:49:47 -!- hppavilion[1] has quit (Ping timeout: 245 seconds). 05:50:54 -!- oerjan has quit (Quit: Nite). 06:01:04 -!- augur has quit (Remote host closed the connection). 06:01:36 <\oren\> nano 2.7.3 is way way better than the old version of nano I had! 06:01:40 -!- augur has joined. 06:02:39 <\oren\> it has many new shortcuts and features 06:03:53 -!- augur has quit (Remote host closed the connection). 06:07:01 -!- augur has joined. 06:30:42 -!- Joanne has quit (Quit: Leaving). 07:04:49 -!- hppavilion[1] has joined. 07:41:18 have you heard of http://www-igm.univ-mlv.fr/%7Elecroq/string/fdm.html#SECTION00220 ? 07:53:11 -!- augur has quit (Remote host closed the connection). 07:53:46 -!- augur has joined. 07:58:06 -!- augur has quit (Ping timeout: 240 seconds). 08:27:42 -!- hppavilion[1] has quit (Ping timeout: 245 seconds). 08:35:37 -!- augur has joined. 09:06:37 -!- doesthiswork has quit (Quit: Leaving.). 09:13:26 -!- otherbot has quit (Remote host closed the connection). 09:35:18 -!- rodgort has quit (*.net *.split). 09:36:44 -!- rodgort has joined. 09:37:18 -!- kragniz has quit (*.net *.split). 09:37:18 -!- int-e has quit (*.net *.split). 09:37:18 -!- hue has quit (*.net *.split). 09:37:18 -!- bibibi has quit (*.net *.split). 09:37:25 -!- int-e has joined. 09:37:29 -!- bibibi has joined. 09:38:02 -!- hue has joined. 09:38:06 -!- kragniz has joined. 09:38:48 -!- Deewiant has quit (*.net *.split). 09:38:48 -!- iaglium has quit (*.net *.split). 09:38:48 -!- habs has quit (*.net *.split). 09:39:05 -!- Deewiant has joined. 09:39:08 -!- gsora has quit (*.net *.split). 09:39:08 -!- Nithogg has quit (*.net *.split). 09:39:08 -!- digitalcold has quit (*.net *.split). 09:39:08 -!- olsner has quit (*.net *.split). 09:39:08 -!- paul2520 has quit (*.net *.split). 09:39:08 -!- \oren\ has quit (*.net *.split). 09:39:08 -!- nitrix has quit (*.net *.split). 09:39:08 -!- pecan has quit (*.net *.split). 09:39:08 -!- jameseb has quit (*.net *.split). 09:39:12 -!- habs has joined. 09:39:15 -!- jameseb- has joined. 09:39:17 -!- digitalcold has joined. 09:39:17 -!- pecan has joined. 09:39:19 -!- nitrix has joined. 09:39:23 -!- gsora has joined. 09:39:24 -!- \oren\ has joined. 09:39:30 -!- paul2520 has joined. 09:39:30 -!- paul2520 has quit (Changing host). 09:39:30 -!- paul2520 has joined. 09:39:30 -!- Nithogg has joined. 09:39:57 -!- iaglium has joined. 09:44:25 -!- olsner has joined. 10:04:36 -!- AnxiousGarlic_ has quit (Read error: Connection reset by peer). 10:07:38 -!- AnxiousGarlic has joined. 10:35:17 -!- LKoen has joined. 10:40:09 HAHAHAHHAHAHAHAHAHAHHAHAHAHAHAH 10:40:17 Wizards is shooting themselves in the foot! 10:40:53 they're printing a web address to some rare cards in Aether Revolt (the Standard-legal set soon to be released). 10:41:47 that web address will be broken in two years, tops, knowing them, but the cards will be alive for way more (unless they do something even worse with M:tG) 10:41:59 How can they be SO stupid? 10:42:13 I mean, the Deckmaster logo on the back of the card was an honest mistake 10:42:22 but this one is just stupidity 11:29:58 -!- AnxiousGarlic has quit (Read error: Connection reset by peer). 11:34:47 -!- boily has joined. 11:35:43 `wisdom 11:35:53 codensity//Codensity is just mass per volume with all the arrows reversed. 11:36:05 presumably a result of their market research 11:46:28 -!- augur_ has joined. 11:46:32 -!- PinealGlandOptic has quit (Ping timeout: 240 seconds). 11:49:47 -!- augur has quit (Ping timeout: 245 seconds). 12:03:31 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 12:05:51 -!- jameseb- has changed nick to jameseb. 12:09:24 -!- AnxiousGarlic has joined. 12:13:06 -!- augur_ has quit (Remote host closed the connection). 12:13:39 -!- augur has joined. 12:18:07 -!- augur has quit (Ping timeout: 245 seconds). 12:21:00 -!- boily has quit (Quit: OPERA CHICKEN). 13:04:19 -!- augur has joined. 13:08:32 -!- augur has quit (Ping timeout: 245 seconds). 13:45:32 -!- augur has joined. 13:49:38 -!- augur has quit (Ping timeout: 248 seconds). 14:00:31 -!- doesthiswork has joined. 14:12:28 -!- ^v has quit (Ping timeout: 256 seconds). 14:13:58 -!- ^v has joined. 14:23:52 -!- ghost_ has joined. 14:24:03 -!- augur has joined. 14:28:34 -!- augur has quit (Ping timeout: 248 seconds). 14:46:17 -!- tiba has joined. 14:46:48 -!- tiba has quit (Quit: Leaving). 14:48:56 -!- tiba has joined. 14:49:51 -!- tiba has quit (Client Quit). 15:02:39 b_jonas: They should just make the cards out of e-ink with updatable firmware. 15:05:34 -!- nycs has joined. 15:29:18 fizzie: no, those would be too expensive. I want my commons from the nickel box. 15:49:21 I have designed the tastiest language ever 15:49:30 lambda 15:51:01 eta? but I don't even know her! 15:51:26 ? 16:07:33 -!- Akaibu has quit (Quit: Connection closed for inactivity). 16:14:26 -!- nycs has quit (Quit: This computer has gone to sleep). 16:15:09 -!- nycs has joined. 16:22:45 -!- oerjan has joined. 16:35:44 -!- moony has joined. 16:35:46 meep 16:35:47 -!- hppavilion[1] has joined. 16:35:48 meep meep 16:36:01 hellovilion[1] 16:36:20 * oerjan fetches the bug spray 16:36:30 boerjouran 16:36:39 rdellococ 16:37:07 greetoony 16:37:17 -!- DHeadshot has joined. 16:40:14 lambda <-- i refuse to believe that name isn't taken. well, without the underline. 16:40:45 in fact, on our wiki even. 16:40:58 well... 16:41:31 it is taken, but only by a stub article linking to a now-nonexistent website on the wayback machine 16:41:54 But "Lambda" is a boring name anyway. 16:44:12 just take the pun a step further and make cowda or pigda 16:44:29 Sheepda? 16:44:59 right, it should be calfda or pigletda 16:45:06 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 16:45:22 cattlda 16:46:11 your puns are imprecide tdnh 16:46:15 *s 16:46:26 your spelling is imprecise 16:46:41 true. although you could consider that a pun too 16:47:37 "cide" is a suffix that refers to death 16:47:42 -!- jix has quit (Quit: Lost terminal). 16:47:44 so if you want to kill impres, be my guest 16:48:11 rdococ: is that like bobslaying, when you kill bobs? 16:48:11 well, unless I'm one. 16:48:15 yeah. 16:48:17 wait 16:48:22 -slaying is not a suffix 16:48:31 you don't say you're going dragonslaying 16:48:38 you say dragon slaying 16:48:53 hmm 16:49:07 and then is your sword called dragonslayer or dragon slayer? 16:49:10 or just dragonbane? 16:49:49 call it whatever you want. names don't have to be bound by the complicated laws of [insert language here] 16:49:58 -!- lezsakdomi has joined. 16:50:56 you could call it rekt, henotiseniakome, cececelececi, lungicide, or whatever. 16:52:42 `coin 16:52:58 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: coin: not found 16:53:23 `coins 16:54:00 No output. 16:55:22 -!- jix has joined. 16:59:50 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 17:00:46 `coins 17:01:01 ​miricoin dobelacoin dzzcoin wakecoin wadcoin kracoin diccoin clariorcoin backlecoin lietzschemycoin pauchblcoin sublcoin grussercoin rhodifycoin pringcoin membateualcoin hydrakhaniecoin hatncoin rilvcoin surfcoin 17:01:21 where is the lambdacoin 17:01:32 hm? 17:04:08 -!- nycs has quit (Quit: This computer has gone to sleep). 17:04:57 -!- nycs has joined. 17:06:21 -!- nycs has quit (Client Quit). 17:12:42 oerjan, you want the other one. 17:12:49 -!- otherbot has joined. 17:13:39 other what 17:13:45 oh 17:13:54 -help 17:13:54 Use 'help ' 17:14:00 *has now offically made a joke about how otherbot is booting.* 17:14:10 (a terrible joke, but still.) 17:14:10 -help butidontknowanycommands 17:14:10 That command does not exist! 17:14:13 -list 17:14:14 moony: Command groups (use list ): general alias capitalism chanop fact fun main sandbox tpt track 17:14:17 -list general 17:14:17 moony: echo ping pong eval flushq help list 17:14:20 -help echo 17:14:20 moony: Echoes something 17:14:24 -echo BING 17:14:24 BING 17:14:37 moony: your -help needs a reference to -list hth 17:14:44 on it 17:15:52 -list fun 17:15:52 oerjan: poke fgen fact asen wolf rainbow rainbowact ddos up-up-down-down-left-right-left-right-b-a - flip attack addattack 17:15:54 -restart change to the -help command requires rebooting the core. 17:15:54 -!- otherbot has quit (Client Quit). 17:16:11 -!- otherbot has joined. 17:16:16 -help dfgt 17:16:16 That command does not exist! If you dont know any commands, try running "-list"! 17:17:24 -wolf 17:17:24 Usage: wolf 17:17:43 -echo ACTION testing 17:17:43 * otherbot testing 17:19:07 -wolf How much wood would a woodchuck chuck, if a woodchuck would chuck wood? 17:19:09 Input: How much wood would a woodchuck chuck if a woodchuck could chuck wood?; Result: How much wood would a woodchuck chuck if a woodchuck could chuck wood? | A woodchuck would chuck all the wood he could chuck if a woodchuck could chuck wood. | (According to the tongue twister, although the paper "The Ability of Woodchucks to Chuck Cellulose Fibers" by P.A. Paskevich and T.B. Shea in Annals of Improbable R (message truncated) 17:19:30 -!- atslash has quit (Read error: Connection reset by peer). 17:19:38 -!- atslash has joined. 17:19:57 -!- Phantom_Hoover has joined. 17:20:12 -!- Vorpal has joined. 17:20:12 -!- Vorpal has quit (Changing host). 17:20:12 -!- Vorpal has joined. 17:21:56 -!- moony has quit (Remote host closed the connection). 17:22:31 -!- moony has joined. 17:22:33 -list 17:22:33 moony: Command groups (use list ): general alias capitalism chanop fact fun main sandbox tpt track 17:23:26 -list tpt 17:23:27 oerjan: moo potato 17:23:33 -potato 17:23:33 * otherbot is a potato 17:23:35 tpt wasnt made by me 17:23:44 -moo 17:23:44 MOOOooOOOooooOooOoOoOooOOOOoOOooOoOooooOOoOoOooOOOoOOoOooOooO 17:24:00 i blame wlp1s1 for making it 17:24:12 shooocking 17:25:36 -echo `echo beep. testing. 17:25:36 `echo beep. testing. 17:25:38 beep. testing. 17:25:43 it shouldnt work btw 17:25:46 err 17:25:53 who removed the hidden char. 17:26:40 moony: NOT ME 17:26:44 >_> 17:26:54 .eval bot.cmds.echo.toString() 17:26:59 * moony strangles wlp1s1 anyways. 17:27:04 rip wrong char 17:27:10 -eval bot.cmds.echo.toString() 17:27:10 '[object Object]' 17:27:16 -eval bot.cmds.echo.code.toString() 17:27:16 'function (args,chan) {bot.sendMsg(chan,args.join(\' \'));}' 17:27:24 moony: did you overwrite it :P 17:27:32 it's in ircbot.js 17:27:54 nope, thats the ircbot.js version 17:28:14 -!- nycs has joined. 17:28:23 *adds a null to the beginning.* 17:28:38 -restart echopatch 2000 17:28:38 -!- otherbot has quit (Quit: Restart requested by moony: echopatch 2000). 17:28:56 -!- otherbot has joined. 17:29:05 -echo `echo DERP 17:29:05 `echo 17:29:08 No output. 17:29:11 ... 17:30:41 -restart echopatch 300 17:30:41 -!- otherbot has quit (Client Quit). 17:31:01 -!- otherbot has joined. 17:31:15 -echo `echo derp 17:31:15 `echo​ derp 17:31:17 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: echo​: not found 17:31:34 -!- augur has joined. 17:31:38 ????????? 17:32:26 -restart echopatch 9001. because broken things. 17:32:26 -!- otherbot has quit (Client Quit). 17:32:46 -!- otherbot has joined. 17:32:56 -echo `echo derp 17:32:56 ​`echo derp 17:33:03 :D 17:33:24 ok im done. 17:36:46 -!- alakra has quit (Read error: No route to host). 17:37:06 -!- Zarutian has joined. 17:38:28 -!- alakra has joined. 17:38:48 -echo ACTION probably no longer works 17:38:49 ACTION probably no longer works 17:39:20 -echo lambdabot: @ping 17:39:20 ​lambdabot: @ping 17:40:21 -echo lambdabot might react to me. :D 17:40:22 ​lambdabot might react to me. :D 17:41:11 it doesn't do that sort of thing 17:41:17 -echo what about fungot? 17:41:17 oerjan: you don't evaluate an expression n times 17:41:18 ​what about fungot? 17:41:40 fungot: SOMETIMES i do 17:41:41 oerjan: removing functionality would be superb. when a problem domain like memory management is in c or java 17:42:19 fungot: how destructive 17:42:19 oerjan: what's for lunch in germany we have 1-, 2-, fnord, 17:42:33 fungot: lunch in germany is the wurst 17:42:33 oerjan: well i'm swedish is basically english 17:43:08 fungot: det tror jag inte något på 17:43:50 fungot: så sant som det är sagt 17:43:50 olsner: i got two file handles from a data structure that doesn't use a consistent naming. 17:45:03 fungot: got fun? 17:45:03 rdococ: did you ever do such a thing 17:46:14 i have a challange for you all if you want to try it. 17:46:26 ? 17:47:52 actually nvm 17:48:44 good idea. I'd be terrible at it. 17:48:50 but too late, you piqued my curiosity. 17:49:48 join #valoran-botwar to see my result :P 17:50:16 -eval bot.sendMsg(chan,bot.xyz) 17:50:17 .echo -eval bot.sendMsg(chan,bot.xyz) 17:50:17 undefined 17:50:17 -eval bot.sendMsg(chan,bot.xyz) 17:51:20 the init code is 'bot.xyz = ".echo -eval bot.sendMsg(chan,bot.xyz)"; bot.sendMsg(chan,bot.xyz)' 17:52:52 -!- ^v has quit (Ping timeout: 258 seconds). 17:54:51 -!- ^v has joined. 18:05:56 -!- otherbot has quit (Quit: Restart requested by wlp1s1: stuff). 18:06:14 -!- otherbot has joined. 18:14:42 oerjan: sånt är livet. 18:16:33 chockerande 18:16:47 -!- oerjan has quit (Quit: Later). 18:18:38 -!- augur has quit (Remote host closed the connection). 18:20:11 * rdococ occasionally tries to Ctrl+B when creating an article 18:27:03 `? algebraic geometry 18:27:13 Algebraic geometry is so complicated that Taneb has to take an exam in it before he can invent it. 18:27:37 Can someone change that to past tense? The exam was this morning and I think it went all right 18:27:50 you can hth 18:28:11 I can't remember the cool way of doing it 18:34:02 -!- LKoen has joined. 18:42:25 -!- ghost_ has quit (Quit: Leaving). 18:46:09 -!- Vorpal has quit (Ping timeout: 258 seconds). 18:49:30 <\oren\> almost done adding my super cool feature to nano 18:55:06 -!- Vorpal has joined. 18:55:06 -!- Vorpal has quit (Changing host). 18:55:06 -!- Vorpal has joined. 19:03:08 -!- DHeadshot has quit (Ping timeout: 245 seconds). 19:25:31 https://codegolf.stackexchange.com/questions/106316/zero-sum-covers 19:25:40 ignoring the golf challenge 19:25:48 what's the best algorithm for that problem? 19:29:45 -!- atslash has quit (Quit: This computer has gone to sleep). 19:30:09 may as well show off my almighty otherbot <-> anotherbot (the lightweight otherbot) loop. 19:30:11 -eval bot.xyz = ".echo -eval bot.sendMsg(chan,bot.xyz.concat(\"// hi\"))"; bot.sendMsg(chan,bot.xyz);"" //wlp1s1 loves this 19:30:11 .echo -eval bot.sendMsg(chan,bot.xyz.concat("// hi")) 19:30:11 '' 19:30:17 anotherbot is not here so it wont do a thing 19:30:31 rdococ added to it 19:30:36 leme grab the original 19:31:02 why.......... 19:31:06 do it in #esoteric-blah 19:31:57 wlp1s1, i was showing the code, not the actually loop. 19:32:06 >_> 19:35:39 I found my version 19:35:43 in the chat log 19:37:31 -!- hppavilion[1] has joined. 19:38:44 fizzie: Looking at the bazel code, it has a FileStatusWithDigest interface, and a comment says "We use digests only if a fast digest lookup is available from the filesystem", but I don't see any non-null implementations that provide it. Is this something that public filesystem interfaces provide? 19:38:44 -!- Lord_of_Away has quit (Excess Flood). 19:38:46 -!- LKoen has quit (Remote host closed the connection). 19:40:07 -!- Lord_of_Life has joined. 19:40:25 fizzie: But I think it's probably provided by CitC (as described in http://cacm.acm.org/magazines/2016/7/204032-why-google-stores-billions-of-lines-of-code-in-a-single-repository/fulltext ). 19:41:48 Oh, more than likely. 19:41:59 That sounds like the sort of thing that CitC would provide. 19:42:29 But it's a shame because I want that from my filesystem in general. 19:42:44 In fact I was asking about it a few weeks ago before seeing this thing in bazel. 19:46:30 -!- newsham has quit (*.net *.split). 19:46:30 -!- relrod has quit (*.net *.split). 19:50:49 izabera: it's not hard to do it in O(n log n) time, by keeping track of the various cumulative sums, noting that a sublist of zero sum is indicated by a duplicate cumulative sum. For example, http://lpaste.net/1865315317538881536 19:52:53 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 19:53:13 izabera: it'll be O(n) if either the cumulative sums have a known bound or you believe in hashtables. 19:55:12 -!- hppavilion[1] has joined. 19:56:05 -!- DHeadshot has joined. 20:03:12 -!- atslash has joined. 20:05:56 -!- LKoen has joined. 20:07:25 -!- atslash has quit (Ping timeout: 258 seconds). 20:07:25 -!- hppavilion[1] has quit (Ping timeout: 258 seconds). 20:08:10 -!- atslash has joined. 20:13:53 -!- hppavilion[1] has joined. 20:25:02 int-e: sorry can you explain what that code does? 20:27:48 it checks whether a list can be covered by sublists that sum to 0. :-P 20:28:13 è_é 20:30:04 I don't want to explain the Haskell code. That's why I provided the basic idea of tracking cumulative sums just before the link. 20:31:14 haskell is about as readable as befunge 20:31:55 I would agree actually, both languages are decently readable 20:32:48 izabera: I'm sure the resident Haskell programmers will agree that the code I wrote isn't pretty. 20:34:19 What language would you prefer? 20:34:49 idk 20:35:09 i can probably read anything c like 20:35:51 I think that code is directly portable to that sort of languge. 20:35:55 How about Python? 20:35:58 sure 20:36:02 Everyone uses that nowadays. 20:36:42 shachaf, i'll be taking my C and JS. thanks. 20:41:05 izabera: http://slbkbs.org/iz.txt 20:41:31 Direct port without bothering to figure out the algorithm or anything. 20:42:07 izabera, i can do the same. BYOND's custom language is fairly readable to me, i just dislike its variable declarations. 20:42:29 I would say that they're about equally readable. 20:42:48 that is true 20:42:53 BYOND's language is a C/python hybrid. 20:43:07 Of course in Python you would write for x in xs or something. 20:43:31 learning to program in it to make patches and changes for urist mcstation (the Bay12Forums SS13 station and baystation variant) 20:44:34 because UMS is a older copy of the baystation software, and has enough changes to make it unpleasant to port to new versions of baystation 20:44:52 its fully custom map makes other challanges, like the fact it has custom tiles. 20:46:39 hmm, what's the right python container to use for this, http://sprunge.us/CQYT?py 20:47:40 pypy-c-sandbox should work 20:47:45 otherbot actually could run that. 20:47:50 moony: AAAAARGH 20:48:05 > 20:48:06 I mean container type, not sandbox. 20:48:09 oh 20:48:42 I suspect frozenset is a hashtable and therefore the union is expensive. 20:48:51 Oh, my code was obviously broken. 20:49:05 This is evidence that imperative code is hard and Python is confusing. 20:49:23 but my Haskell code is imperative as well ;) 20:49:34 shachaf, i like C, it has something called 'closing brackets' 20:49:39 i know where things start and end :P 20:49:42 True. 20:49:52 It might be clearer as a fold or something. 20:50:53 Mutation is what's hard. 20:51:32 -!- DHeadshot has quit (Ping timeout: 240 seconds). 20:52:03 I could of couse use a hash table that stores the index of the first occurrence of each cumulative sum... that way the need for a persistent data structure can be avoided. 20:52:56 What do you think of LevelDB? 20:54:22 Hm, "LevelDB is widely noted for being unreliable and databases it manages are prone to corruption.[13][14][15][16][17][18][19][20]" 20:56:35 -!- DHeadshot has joined. 20:59:54 shachaf: and by a fold you mean something like this, right? ;-) http://lpaste.net/3488332460255608832 21:00:13 Of course. 21:01:37 -!- relrod_ has joined. 21:01:40 -!- relrod_ has quit (Changing host). 21:01:40 -!- relrod_ has joined. 21:01:42 hi relrod_ 21:01:50 `relcome relrod_ 21:02:04 ​relrod_: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 21:02:04 relcome = relrod welcome 21:02:41 then the parameter is a bit superfluous 21:03:30 hi 21:03:48 -!- relrod_ has changed nick to relrod. 21:04:52 -!- otherbot has quit (Read error: Connection reset by peer). 21:07:52 -!- prooftechnique_ has joined. 21:08:04 -!- prooftechnique has quit (Ping timeout: 248 seconds). 21:12:41 I guess http://sprunge.us/FeSP?py is the proper imperative way to do this 21:17:04 except that the < should be <=. so, too tricky. :) 21:20:36 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 21:23:42 -!- DHeadshot has quit (Ping timeout: 256 seconds). 21:25:29 -!- lezsakdomi has quit (Quit: Leaving). 21:33:24 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 21:36:12 -!- atslash has quit (Quit: This computer has gone to sleep). 21:41:38 -!- DHeadshot has joined. 22:04:02 -!- DHeadshot has quit (Ping timeout: 255 seconds). 22:47:21 -!- AnxiousGarlic has quit (Read error: Connection reset by peer). 23:00:36 -!- boily has joined. 23:00:44 `wisdom 23:00:54 west midlands//Nobody knows anything about the West Midlands, and it has claimed the lives of at least two former regulars in this channel who tried to investigate so far. 23:01:09 `? alercah 23:01:10 alercah? ¯\(°​_o)/¯ 23:01:41 hellorcah. you aren't wisdomed! 23:12:09 -!- Akaibu has joined. 23:13:30 `? Akaibu 23:13:31 Akaibu? ¯\(°​_o)/¯ 23:14:14 Yes? 23:17:05 so many unwisdomy people... 23:19:11 `relcome Akaibu 23:19:17 ​Akaibu: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 23:19:19 relcome = relrod welcome 23:19:31 relrod: any opinions on databases? 23:21:22 Heh, I've been here for months lol 23:21:40 My bouncer just fucked up recently 23:26:16 -!- DHeadshot has joined. 23:29:28 -!- augur has joined. 23:29:46 Well, people who have been here for months are welcome to be here. 23:30:06 -!- nycs has quit (Quit: This computer has gone to sleep). 23:37:48 shachaf: not really, except that all the libraries for working with them in Haskell tend to suck. 23:38:28 -!- augur has quit (Remote host closed the connection). 23:38:43 so if you're looking for a project, fix that :P 23:39:42 -!- DHeadshot has quit (Ping timeout: 256 seconds). 23:41:53 `? relrod 23:41:55 A relrod is a machine useful for finding the Force. 23:46:21 -!- augur has joined. 23:47:02 really like the idea of the retina language, really need to code something in that for fun 23:51:53 -!- augur has quit (Ping timeout: 240 seconds). 23:54:00 `wisdom 23:54:02 cookie//Hackego wants a cookie! *hangs* 23:54:11 -!- hppavilion[1] has joined. 23:54:27 relrod: what do you think of leveldb and that sort of approach 23:54:35 immutable but not persistent 23:59:23 shachaf: I don't really know anything about it :(