00:00:37 *b,a? 00:03:15 -!- augur has quit (Remote host closed the connection). 00:04:05 -!- augur has joined. 00:07:19 -!- augur has quit (Read error: Connection reset by peer). 00:07:31 -!- augur has joined. 00:08:32 hppavilion[1]: bijective base 2 still cannot express all rationals in finite terms, i would believe. 00:08:56 also i mind that a strange mixture of considerations. 00:09:09 oerjan: I'm talking in the proof-that-Q-is-countable way 00:10:13 Arrange a grid of rationals m/n where m counts up through the integers from 0 [0, 1, -1, 2, -2, 3, -3...] as you go to the right and n counts up the wholes [1, 2, 3...] as you go down 00:10:23 Then count along the down-and-to-the-left diagonals 00:11:35 (wait, but that isn't quite bijective because of the values like 1/2, 2/4, 3/6, etc...) 00:13:11 *i think. although not successfully, it seems. 00:14:09 hppavilion[1]: yeah you need to drop repetitions. 00:15:03 > fix ((1:).(>>=ap(:)(return.recip).(1+))) :: [Rational] 00:15:08 [1 % 1,2 % 1,1 % 2,3 % 1,1 % 3,3 % 2,2 % 3,4 % 1,1 % 4,4 % 3,3 % 4,5 % 2,2 %... 00:15:30 -!- Lord_of_Life has quit (Excess Flood). 00:15:42 -!- Lord_of_Life has joined. 00:15:56 oerjan: Yes, or somehow iterate over the set of 2-tuples of bags of primes with intersection {}... 00:16:09 Ø would be a good name for a variable in set theory >:) 00:17:30 (there's this wonderful "binary" enumeration of positive rational numbers) 00:17:35 int-e seems to have written what i was going to mention. 00:18:01 :t ap(:)(return.recip).(1+) 00:18:04 Fractional b => b -> [b] 00:18:53 ap(:)((:[]).(1/)) would have been shorter, but I wasn't golfing. 00:19:28 and `recip` is nicely obscure :) 00:19:31 :t sequence[id,recip].(1+) 00:19:33 Fractional b => b -> [b] 00:20:35 heh, too readable. 00:21:42 > succ (1/2) :: Rational -- silly class instances... 00:21:44 3 % 2 00:23:08 ah. https://en.wikipedia.org/wiki/Stern%E2%80%93Brocot_tree 00:23:23 (I forgot the name) 00:23:31 -!- DHeadshot has joined. 00:24:17 of course that's another one, also beautiful. 00:25:12 https://en.wikipedia.org/wiki/Calkin%E2%80%93Wilf_tree is the one implemented in the enumeration... and I don't recognize the names. 00:25:46 no. 00:27:18 -!- augur has quit (Read error: Connection reset by peer). 00:30:41 int-e: the latter doesn't look quite the same either 00:30:42 > fix((1:).sequence[(1+),(1/).(1+).(1/)]) :: [Rational] 00:30:45 error: 00:30:45 • Couldn't match type ‘Ratio Integer’ with ‘[Rational]’ 00:30:45 Expected type: [Rational] -> [Rational] 00:30:59 > fix((1:).(>>=sequence[(1+),(1/).(1+).(1/)])) :: [Rational] 00:31:01 [1 % 1,2 % 1,1 % 2,3 % 1,2 % 3,3 % 2,1 % 3,4 % 1,3 % 4,5 % 3,2 % 5,5 % 2,3 %... 00:31:21 oerjan: indeed... *that* is the latter. 00:33:26 -!- 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.”). 00:37:58 -!- xkapastel has joined. 00:40:25 oerjan: nowadays we would space-separate a wisdom entry like that <-- `wisdom sentences are not `quote messages hth 00:43:28 oerjan: the wisdom entry name hth 00:43:35 `le/rn quote format 00:44:17 http://codegolf.stackexchange.com/questions/28821/regex-that-only-matches-itself 00:44:25 shachaf: ic. well elliott made it with several names. 00:45:16 shachaf: ah a regex narcissist 00:47:14 -!- DHeadshot has quit (Ping timeout: 250 seconds). 00:48:39 -!- boily has joined. 00:49:15 boileyb 00:51:50 -!- wiggle has quit (Remote host closed the connection). 00:52:01 boileyb? 00:52:06 bonsœrjan. 00:52:23 ?desufnoc 00:52:24 Unknown command, try @list 00:53:23 -!- moony has joined. 00:53:33 .hdt 00:53:38 mhelloony. 00:53:56 -!- moonheart08 has quit (Ping timeout: 260 seconds). 00:59:28 `wisdom 00:59:28 tonight, I found a place that serves tteokbokki! ^^ 00:59:28 victoria//Queen Victoria is the most victorious queen the world has ever known, even having won at the not dying contest. 00:59:28 -!- augur has joined. 00:59:28 -!- zemhill___ has joined. 00:59:28 `dowg victoria 00:59:28 7390:2016-04-14 le/rn victoria/Queen Victoria is the most victorious queen the world has ever known, even having won at the not dying contest. \ 7389:2016-04-14 learn Victoria was the most victorious queen the world has ever known. 00:59:28 slowego 00:59:28 * boily mapoles some speed into HackEgo 00:59:35 i forget how hppavilion[1] convinced me not to `revert that, but i think there was a reason. 00:59:49 -!- zemhill__ has quit (Remote host closed the connection). 01:00:30 itym Her Majesty Victoria, by the Grace of God, of the United Kingdom of Great Britain and Ireland Queen, Defender of the Faith, Empress of India. 01:00:55 that i did. i'm not sure whether hppavilion[1] did, though. 01:01:56 -!- super_bender has quit (Ping timeout: 260 seconds). 01:02:26 not a problem, afatpdfic. 01:03:12 hppavilion[1]: hppavellon[1]. is the Queen your Queen? 01:03:37 -!- hue has joined. 01:05:01 boily: No, but in the event of a Trump victory she may soon be 01:05:10 (A Hillary victory isn't that appealing either, though...) 01:06:23 move north! it's good for you! it has traditional phở! 01:07:11 boily: itym east hth 01:08:01 -!- moony has quit (Ping timeout: 268 seconds). 01:08:13 boily: Except in part of the Yukon, the Northwest Territories, and Nunavut. 01:09:43 boily: Oh, and maybe the northernmost parts of Quebec and Newfoundland (which is the most likely destination for my Faðer), depending on how this projection works 01:11:40 Minnesota? East is a good approximation. 01:12:46 boily: Alaska. 01:12:50 hth. 01:14:40 * hppavilion[1] . o O ( Is Doctor Strange marketed in Germany with "Doktor" or with "Artze"? ) 01:15:17 right. I completely failed. I shall commit mapole seppuku. mappuku. 01:15:43 we still have soup. warm, tasty soup. 01:16:05 boily: Also, I'm not sure Canada is far enough away from President Trump... 01:16:30 boily: I was actually hoping to get the state to secede and join the UK :P 01:17:00 -!- Jafet has quit (Ping timeout: 256 seconds). 01:17:03 (In retrospect, joining Canada makes more sense...) 01:22:51 fungot: do you make sense? 01:22:51 boily: uh calculator or something else like most of his day care or you know 01:22:59 * boily pats fungot on the... head? 01:22:59 boily: i'm definitely for it and everybody signs their name and address in it until and when it gets full then they return it back home to you so you at least you do some so laughter 01:23:16 * boily signs the fungot-patting-guestbook 01:23:16 boily: i can't remember 01:23:29 fungot: I do. you're fungot, I'm boily. me sane, you Jane. 01:23:29 boily: ( ( mm noise)) i've ( ( wanted)) to talk to 01:28:16 -!- enoua5 has joined. 01:29:17 hppavilion[1]: "Artze" doesn't make any sense as a word 01:29:24 -!- MoALTz has joined. 01:29:46 that's not a word 01:30:18 also, it is doktor because you name him 01:30:41 mynartzello. 01:31:20 there is arzt with the plural ärzte 01:37:00 coily 01:37:16 quinthellopia. 01:37:44 how life? 01:38:33 huh. sbux espresso cloud ipa is p good 01:40:25 fungot: do u like ipa? 01:40:25 quintopia: ( ( but uh)) like how much it was more fun to teach laughter um 01:40:47 fungot: do u still fnord? 01:40:47 quintopia: i- mn no m- it kind of fnord 01:40:56 :D 01:41:22 :D 01:42:02 ^botsnack 01:42:03 Oh nom nom nom! 01:42:15 life: tteokbokki is good, Captain Sonar is good, burritos are good. 01:43:40 speaking of that 01:43:50 had dinner at bbq takorea 01:43:54 -!- Jafet has joined. 01:43:57 if you cant tell 01:43:59 oh! what did you at? 01:44:12 that means korean-mexican fusion 01:44:24 * boily groans at the pun 01:44:35 sushi had the bibimbap burrito 01:44:42 i had spicy ramyuns 01:45:14 they gave a free bbq taco too. 01:45:48 what is capt sonar 01:46:21 sounds tasty! 01:47:04 it's a wonderful boardgame! two teams or four players are playing real-time battleship, with explosions and stupid things happening :D 01:48:02 fun 01:48:07 https://boardgamegeek.com/boardgame/171131/captain-sonar 01:48:29 i had a good gaming last saturday 01:48:59 huge round of spaceteam, followed by a few attempts to game the game (failed) 01:49:08 ten people at once 01:50:29 ! 01:51:06 spaceteam is the best 01:51:15 you ever play? 01:51:42 the card game? 01:52:11 its as loud as Pit, but crazier 01:52:53 nope, but you got me at "crazier". 01:54:20 what about spyfall? 01:54:38 I suck at Spyfall, but I love the game ^^ 01:55:09 I couldn't pour credibility out of a boot. 01:57:23 time to reconcile a mattress... 01:57:29 good luck 01:57:36 bon nuily 01:57:37 bonnnuitopia! 01:57:43 -!- boily has quit (Quit: BOUQUET CHICKEN). 02:04:10 http://mathoverflow.net/questions/253703/integral-of-a-sin-omial-coefficients-binomial 02:15:58 interestinomials 02:28:53 -!- Zarutian has quit (Quit: Zarutian). 02:30:11 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:38:34 -!- enoua5 has quit (Quit: Page closed). 02:39:44 -!- augur has quit (Remote host closed the connection). 02:49:03 -!- moony has joined. 02:49:17 ![?])[?] 02:53:00 -!- Guest6235 has joined. 02:54:44 -!- moony has quit (Quit: Page closed). 03:02:11 shachaf: http://play.prismata.net/?r=lY4Wf-SThsB lol turn 11 03:03:23 flash is still a thing? 03:05:00 yep 03:07:25 It's a bit sad that this is all written in ActionScript rather than something saner... it's one of the best strategy games I've ever played. 03:11:02 Cale: It's probably not a good idea, but I often go for 4x Symbiote anyway. 03:11:14 I just like setting them all off. 03:12:30 @ask izalove on a scale from klingon to emoji, how readable is [...] <-- wait, which end is the readable one? 03:12:30 Consider it noted. 03:20:13 `? oop 03:20:22 oop? ¯\(°​_o)/¯ 03:20:27 r.i.p. HackEgo speed 03:21:16 research in potion 03:22:25 `learn OOP (Obligatory Opportunistic Pun) is a popular technique for naming things, thus solving zero of the hard problems in computer science. 03:22:32 Learned 'oop': OOP (Obligatory Opportunistic Pun) is a popular technique for naming things, thus solving zero of the hard problems in computer science. 03:22:42 oops 03:22:50 hm? 03:22:53 `? oops 03:22:56 OOP (Obligatory Opportunistic Pun) is a popular technique for naming things, thus solving zero of the hard problems in computer science. 03:23:35 looks fine to me hth 03:24:04 When you pun without noticing it, those puns aren't oops, right? 03:24:18 `? klein bottle 03:24:20 A Klein bottle is like a torus, but more insidious. Taneb tried to invent it, but got trapped inside. 03:24:39 `? oerjan 03:24:42 Your revertebrate itymologist gnite gracious octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 03:24:43 `learn OOPS (Obligatory Oblivious PunS) is a variant of OOP. 03:24:47 Relearned 'oop': OOPS (Obligatory Oblivious PunS) is a variant of OOP. 03:24:50 oops 03:24:56 OKAY 03:24:59 `revert 03:25:09 `learn is confusing hth 03:25:14 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 03:25:29 `le/rn oops/OOPS (Obligatory Oblivious PunS) is a variant of OOP. 03:25:37 Learned 'oops': OOPS (Obligatory Oblivious PunS) is a variant of OOP. 03:25:50 i,i Obligatory Oblivious Pun Syndrome 03:27:05 oopsla oriented programming 03:29:16 Cale: now that rethinkdb is shut down are you going to start a database startup twh 03:46:13 * pikhq curses, loudly. 03:46:32 I have successfully gone from having all but 1 Pokemon in my living dex to all but 543 in my living dex. 03:47:02 pikhq: new generation? 03:47:07 also, which were you missing? 03:47:28 `? pokemon 03:47:32 A pokemon is a monster that you keep in your pocket. 03:47:42 `cwlprits pokemon 03:47:44 No, I corrupted my save when I was trying to *back up* the living dex. And I apparently didn't have a prior backup. 03:47:55 tsweẗt 03:47:55 :( 03:47:56 Meloetta. 03:48:13 `learn_append pokemon Taneb invented them. 03:48:19 Learned 'pokemon': A pokemon is a monster that you keep in your pocket. Taneb invented them. 03:48:55 as in back up a savefile? 03:48:58 Yes. 03:49:05 `? password 03:49:07 annoying 03:49:07 The password of the month is Bierstubë. 03:49:09 `dowg password 03:49:19 9130:2016-10-01 learn The password of the month is Bierstub\xc3\xab. \ 9030:2016-09-12 learn The password of the month is au c\xc5\x93ur de septembre \ 8887:2016-08-02 learn The password of the month is Strindberg \ 8877:2016-07-29 learn The password of the month is late. \ 8508:2016-06-17 lear 03:49:30 out of curiosity though, how did you try to back it up that caused it to get corrupted? would be nice to avoid 03:49:45 oerjan: What do you think of dowg1 etc. which only shows the latest edit, and thereby doesn't fill up the channel so much? 03:49:55 FireFly: Hacked 3DS with a save manager app. 03:50:03 Ah 03:50:28 shachaf: heh, well, Obsidian Systems might eventually go in that direction... but it's going to be gradual 03:51:40 what do you think of the way bigtable etc. work 03:52:01 TLDR, fuck fuck fuck fuck fuck fuck. 03:52:04 that sort of thing isn't a persistent data structure but it does rely on immutability 03:52:08 -!- ais523 has quit. 03:52:15 I haven't looked closely at BigTable 03:52:22 Yep, that sucks :\ 03:52:43 But I want *more* types in my tables 03:52:46 I think I dumped savegames when I decided to dump my physical games, and I ~believe~ that didn't corrupt them at least 03:52:49 And the save I corrupted was Y, so now if I wanna catch 'em again in there, I have to replay *that* one. 03:53:13 shachaf: I was thinking it would be really fun to have a database where your table types could be like dependent telescopes 03:53:17 FireFly: The problem is, I accidentally overwrote my Y save with some *completely different* save. 03:53:29 Ah 03:53:31 :( 03:53:48 shachaf: So the types of subsequent columns depend on the values of previous ones :) 03:53:55 Cale: Well, really I just mean e.g. LevelDB, though an advantage of this sort of thing is that it's "relatively" easy to do sharding etc. 03:54:01 * pikhq would actually *appreciate* replaying ORAS... 03:54:18 Of course BigTable does have various issues. 03:54:31 pikhq: are you sure the game doesn't store a backup save in a separate partition? though the read/write in this case might write over "both partitions" since they aren't really partitions per se 03:54:37 I checked. 03:54:41 ah 03:54:44 But yeah, I would settle for good support for sum types :P 03:54:49 Cale: Well, types belong on a different level of abstraction from storage probably. 03:55:05 Cale: What do you think of the thing that e.g. protocol buffers do with regard to backwards compatibility? 03:55:28 The other thing I want is the ability to register queries with the DB and be notified with a diff when any commit will cause the result of a registered query to change 03:55:32 Usually Haskell people like making their types as small as possible, so they exactly represent the values that are possible and no others. 03:55:43 `? pokemons 03:55:45 A pokemon is a monster that you keep in your pocket. Taneb invented them. 03:55:48 `? fishs 03:55:49 Cale: RethinkDB had that feature! 03:55:50 Come and dance and love the fish! Mister Disco summoned it. 03:55:54 shachaf: yeah 03:55:54 `? sexs 03:55:57 Sex is a board game which originated in Britain in the 1870s before spreading throughout Europe in the 1890s. Sex was introduced to the rest of the world by a book, "The Complete Guide to Sex", written and published in 1932, based on the author's extensive experience with a wide variety of forms of European sex. 03:56:00 Cale: Still has, I guess it's open source. AGPL, though. 03:56:04 shachaf: Though, they didn't really have... types 03:56:07 `? o 03:56:08 o is a popular comedy adventure fantasy webcomic. It's about a group of adventurers, heroes or warriors (whatever you want to call them) called the Order of the Stick, as they go about their adventures with minimal competence or knowledge of what they are doing, and eventually sort of stumble into a plan by an undead sorcerer to conquer the world, 03:56:11 Cale: Right. 03:56:31 I don't want garbage in my DB 03:56:44 Anyway, protobufs are typed, and they even have sum types and things nowadays. 03:57:01 But a very important feature is that you can modify the software that uses them to add new features and retain backwards compatibility. 03:57:28 Since Haskell ADTs types are in-process only, people don't worry about that sort of thing. 03:57:51 But I wonder what people would come up with in this context. 03:58:43 Hrm. Clearly I should race my way through Y via "I have another same gen game" hax. 03:59:15 Or, eh. Maybe not. 03:59:41 Cale: Anyway, I was talking about the data structure (which is just a key-value store with various features), not the API. 04:00:07 Doesn't Spanner also use the same sorts of tablets etc.? 04:04:21 shachaf: Yeah, the stuff which mainly concerns me are the API and query language 04:04:39 What do you think of Spanner? 04:04:52 -!- super_bender has joined. 04:05:08 shachaf: The storage model of, e.g. Postgres is really probably good enough for us for the foreseeable future -- it's just the stuff you have to go through to use it, and the effect doing that stuff has on the rest of the codebase which is annoying. 04:05:19 I like the thing where time() gives you an interval rather than a point. 04:05:29 Which of course is what you should do for anything that you can't measure precisely. 04:05:34 But for some reason people don't do it. 04:06:06 I'd never heard of Spanner somehow 04:07:42 I don't think it's anywhere *near* as publicized as BigTable. 04:08:29 Generally the stuff which is required to support extremely large distributed architectures ought to involve compromises which are in the opposite direction from what I'm looking for. 04:10:06 Well, Spanner tries to cleverly avoid some of those compromises. 04:10:32 The dream is to be able to have something like Dynamic t (Query a) -> m (Dynamic t (Result a)) 04:11:10 (and Dynamic t (Query a) -> m (Event t (ResultDiff a)) 04:11:16 What do you think of Backpack? 04:12:47 `slwd oerjan//s/gnite //;s/gracious october/gneiss remember/ 04:12:54 oerjan//Your revertebrate itymologist gracious octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 04:13:03 MWAHAHAHAHA 04:13:52 `? Cale 04:13:56 Cale? ¯\(°​_o)/¯ 04:14:09 Cale: sometimes i confuse you with deckard cain hth 04:16:36 `learn The password of the month is ⛄ 04:16:39 Relearned 'password': The password of the month is ⛄ 04:17:26 `1 xxd wisdom/password 04:17:30 1/1:0000000: 5468 6520 7061 7373 776f 7264 206f 6620 The password of \ 0000010: 7468 6520 6d6f 6e74 6820 6973 20e2 9b84 the month is ... \ 0000020: 0a . 04:18:14 `unicode e2 9b 84 04:18:18 No output. 04:18:27 what's the command for utf-8 decoding twh 04:19:05 > unwords . map (printf "%08b") $ [0xe2, 0x9b, 0x84] 04:19:08 "11100010 10011011 10000100" 04:19:33 > "10011011000100" ^? binary 04:19:36 Just 9924 04:19:42 > "10011011000100" ^? binary . re hex 04:19:45 Just "26c4" 04:19:49 `unicode 26c4 04:19:51 ​⛄ 04:20:02 `` unidecode "$(unicode 26c4)" 04:20:06 ​[U+26C4 SNOWMAN WITHOUT SNOW] 04:20:11 ok 04:20:16 that was too difficult tdnh 04:20:40 `? haiku 04:20:42 ​🀨や⛄ 04:20:57 `` unicode "$(\? haiku)" 04:21:02 U+1F028 MAHJONG TILE AUTUMN \ UTF-8: f0 9f 80 a8 UTF-16BE: d83cdc28 Decimal: 🀨 \ 🀨 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+3084 HIRAGANA LETTER YA \ UTF-8: e3 82 84 UTF-16BE: 3084 Decimal: や \ や \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) \ \ U+26C4 SNOWMAN WITHOUT SNOW \ UTF-8: e2 9b 04:21:14 `` unidecode "$(\? haiku)" 04:21:19 ​[U+1F028 MAHJONG TILE AUTUMN] [U+3084 HIRAGANA LETTER YA] [U+26C4 SNOWMAN WITHOUT SNOW] 04:21:35 `quote hiragana 04:21:37 1258) MAHJONG TILE AUTUMN / HIRAGANA LETTER YA / SNOWMAN WITHOUT SNOW 04:21:56 Am I spamming the channel too much? 04:23:19 *shrug* 04:24:56 -!- godel has quit (Ping timeout: 250 seconds). 04:29:26 oops 04:29:58 `slwd oerjan//s/gracious/gneiss/;s/octo/remem/ 04:30:01 oerjan//Your revertebrate itymologist gneiss rememberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 04:31:27 `slwd oerjan//s#revertebrate#revertable# 04:31:31 oerjan//Your revertable itymologist gneiss rememberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 04:32:45 that was too difficult tdnh <-- you really can't cut and paste that char? 04:32:59 oerjan: it doesn't show up on my broken terminal hth 04:34:04 shocking 04:47:19 What 04:47:21 I'm back 04:49:02 myname: Oh? I might have remembered it wrong 04:49:11 (Please have mercy, oerjan) 04:49:25 It might have been Arze or something 04:49:38 (Or maybe I forgot an umlaut on the A...) 04:51:07 Ärtze is the plural. 04:51:38 oops 04:51:47 *Ärzte 04:52:32 huh from ἀρχίατρος 04:59:06 -!- xkapastel has quit (Quit: Connection closed for inactivity). 05:07:24 So I wrote this /// program. 05:07:27 /t./.ttttt//.t/t\..........//t//t... 05:08:33 I'm pretty sure it outputs 3*10^125 dots and then stops. 05:10:22 Unrelated... 05:10:48 Cale is dreaming about a dependently typed database, where the types of columns can depend on the values of previous columns. 05:11:15 Meanwhile, I'm dreaming about a database where columns can have the type "boolean". 05:13:48 Oh well. One of these years, Oracle may catch up with other 20th century programming systems. 05:15:03 * oerjan is pretty sure tswett is right 05:22:41 -!- Guest6235 has quit (Remote host closed the connection). 05:26:36 Hm... 05:27:26 Maybe the NFL should turn the bracket into a sort(), rather than a max() 05:28:17 tswett: lol 05:28:56 tswett: Well, I have the boolean thing with postgres, but we could split the difference and throw in Either, and I'd be quite happy 05:29:47 `? Cale 05:29:48 Sum types would be too good for database users. 05:29:50 Cale? ¯\(°​_o)/¯ 05:30:24 Cale: Just use a graph database htbs 05:34:23 Implement Laser for me and then use Laser. 05:34:50 Cale: have you heard of Spivak and Wisnesky's FQL family of database query languages? 05:37:01 The query operators are really simple; they're based on adjoint functors. 05:37:07 They're also really difficult to understand, for the same reason. 05:39:23 tswett: Does it include type-neutral variable names formed by dropping characters twh 05:39:45 hppavilion[1]: mmfm 05:40:05 tswett: I'm sure that's a genre of porn. 05:40:15 (...that's what you were trying to say, right?) 05:40:33 It's hard to imagine that not being a genre of porn. 05:40:51 tswett: That statement is true forall values of that, tbh 05:47:06 "1" is way too overloaded in category speak. 05:47:57 I have a distinguished object 1 in a category C, represented by a functor from the singleton category 1 to C. So this functor should be called 1, right? 05:48:41 (1 is not necessarily a terminal object, even.) 05:50:11 There are two arrows : 1 -> _|_, called 0 and 1. They're represented by natural transformations, naturally called 0 and 1. 05:51:58 shachaf: assume that all those definitions are special cases of the first, then try to derive a contradiction hth 05:52:21 My favorite mathematical limerick is ⊤ 05:52:40 `unidecode ⊤ 05:52:43 ​[U+22A4 DOWN TACK] 05:53:08 oerjan: That's the reduced form. 05:53:17 (2197: Great Baker's Gross) 05:53:17 O KAY 05:55:40 is it legitimate to make an esolang where code written in that lang is as hard to read as possible? 05:57:06 Elronnd: Well, Malbolge is a legit esolang, so... 05:57:10 (Not to mention Whitespace) 05:57:20 Elronnd: pretty hard to beat the competition 05:57:22 whitespace is easy on the eyes 05:57:23 true, I guess 05:57:50 /// with /\ only hth 05:58:07 it uses base 11, but the digits used aren't 0-9, a 05:58:08 also Unary 05:58:16 they're completely random 05:59:09 How good is the V8 JavaScript engine's random number generator? If it isn't very good, it can be replaced easily; you can write Math.random= whatever, and don't have to change the rest of the program. 05:59:11 Elronnd: hm i'd say it's scow if it's just because of obfuscated syntax/naming 05:59:45 it uses "scow"? 06:00:06 it 06:00:09 argh 06:00:11 s/it uses//g 06:00:18 `? scow 06:00:21 Scow (S-cow) is canned meat made from cows with a lisp. 06:00:41 wut 06:00:43 To write a test program in JavaScript to check for good quality, then you can compare with different JavaScript implementation as well as your own implementations written in JavaScript too just as well. 06:01:49 we already have enough real languages with hard-to-read code, let alone esoteric ones 06:02:47 Jafet: name an esolang with *easy* to read code 06:02:51 spl doesn 06:02:54 't count 06:03:10 Elronnd: Brainfuck. 06:03:16 Elronnd: Befunge 06:03:25 ORK 06:03:45 Elronnd: C 06:03:48 befunge is visually intuitive 06:04:19 hppavilion[1]: how is c an esolang? 06:04:25 tswett: Yes, and they're quite interesting, but I haven't had the time to examine them in really great detail. I really believe Spivak has the right idea about database schemas. 06:05:14 (even though I haven't worked through everything they've done in the query language, the overall approach looks like the right one to me) 06:06:25 Cale: this is where I plug my own language... 06:06:26 https://laserdb.blogspot.com/ 06:06:56 Also inspired by category theory, but I know far less about category theory than Spivak et al. 06:07:15 why do you no so much about Spivak et al. 06:07:18 know 06:07:19 what 06:07:21 scow 06:07:53 I'm hoping to borrow their ideas and incorporate them into my thing. 06:20:15 tswett: Ryan Trinkle has this idea which Dan Haraj has been working a bit on implementing, to make a quasiquoter that parses (some significant fragment of) Haskell syntax and translates it into Control.Category and friends, and then the idea is to write instances for the category classes that generate SQL. 06:21:03 and it ought to end up looking *something* a little along those lines... I think 06:21:28 tswett: A solid mathematical foundation? I think you mean gaseous, given that it's category theory 06:22:40 tswett: I like the second one better hth 06:22:58 The second what? 06:24:56 tswett: The second query. You asked, so I answered. 06:25:40 Ah. twhbhiiwftftiakta 06:26:12 holy fuck I'm creating a monster 06:26:27 tswett: Something that'd be really nice for looking at it mathematically, I think, is if it had a "sophisticated" Unicode notation along with the standard ASCII-compatible notation 06:26:37 I...think my lang might be comparable to malbolge 06:27:27 that would have been helpful if i was free to finally talk in a klingon-themed accent 06:27:47 tswett confirmed alien 06:29:49 tswett: ...I'm stuck on "f" 06:31:11 shachaf: kli̊ngòn? 06:33:09 (shachḁf is best chḁf) 06:33:43 do something useful and figure out an online algorithm for strongly connected components 06:34:47 \oren\: iͥ needs to be fonted twh 06:35:35 Oren de La Fontaine 06:38:13 i͌quality 06:38:49 [wiki] [[User:Elronnd/Fell]] N https://esolangs.org/w/index.php?oldid=50114 * Elronnd * (+1695) Syntax and stuffs 06:39:09 Elronnd: Oh no! Are you OK? 06:39:28 I heard you fell 06:39:28 06:39:39 I'm alright 06:39:49 (Wait, that's flash) 06:40:11 can someone read over what I wrote there and make sure it isn't too unclear? 06:42:13 Elronnd: A lot of code in the article isn't in monospace. I disprove. 06:43:23 I thought this wiki accepted the use of ` ` as monospace delimiters 06:43:37 I'm about halfway done fixing it 06:44:28 -!- super_bender has quit (Ping timeout: 260 seconds). 06:44:46 [wiki] [[User:Elronnd/Fell]] https://esolangs.org/w/index.php?diff=50115&oldid=50114 * Elronnd * (+154) fix syntax 06:49:22 `unidecode iͥ 06:49:27 ​[U+0069 LATIN SMALL LETTER I] [U+0365 COMBINING LATIN SMALL LETTER I] 06:49:34 wut 06:50:13 hppavilion[1]: aside from that, though, anything I haven't made clear yet? 06:52:18 oerjan: oh man 06:52:22 that's a good way to write i,i 07:01:00 shachaf: Yes. In theory, it should be an 'i' with the tidle replaced with another 'i' 07:04:46 Cale: Is there any way to get access to the Prismata events against the computer? 07:07:54 `unidecode ıͥ 07:07:58 ​[U+0131 LATIN SMALL LETTER DOTLESS I] [U+0365 COMBINING LATIN SMALL LETTER I] 07:08:03 hppavilion[1]: hth 07:08:16 wait, tidle? 07:08:22 THERE IS NOT TIDLE 07:08:22 oerjan: That doesn't render the same 07:08:33 the same as what? 07:08:39 oerjan: "tittle" hth 07:08:42 oerjan: Or, that doesn't render as expected 07:08:46 shachaf: omgty 07:09:31 oerjan: The dots/tittles in 'i' and 'j' are removed and replaced when you apply a diacritic, traditionally 07:09:32 argh that's actually a word 07:09:44 oerjan: ? 07:10:43 "tittle". hth. 07:11:20 of course U+303 is called a tidle 07:11:38 shachaf: tilde. tiltte. 07:12:27 * hppavilion[1] . o O ( Law of analogies: a:A::b:B <-> a:b::A:B ) 07:13:28 (AKA Notta's Analogy Transposition Theorem (NATT)) 07:14:05 hppavilion[1]: itym NTAT hth 07:14:47 oerjan: That is an alternative name, but I was still right. hth. 07:15:00 O AKY 07:17:03 oerjan: aslo, yewm iytm hht. 07:17:35 * hppavilion[1] . ø Ø ( Why deos nobdoy eevr say "ytim" twnh ) 07:18:14 sounds like an interchange law hth 07:18:18 https://wikimedia.org/api/rest_v1/media/math/render/svg/caac30a7a03a9304307fe2a7fd0127be2c5f0dc7 07:18:57 i bet there's some 2-categorical formalization of it 07:19:14 shachaf: No, because : and :: are different 07:19:28 So are ∘_0 and ∘_1 07:20:45 shachaf: In the link, the operators switch places 07:21:10 Oh, I guess the other ones don't. 07:21:16 shachaf: The first one has ring_0 inside the parentheses and ring_1 outside, the second has ring_1 inside and ring_0 outside 07:23:05 OK, sounds like, uh, a distributive of a thing I don't remember. 07:23:45 I guess a:A::b:B can mean a/A = b/B 07:23:52 In which case certainly a/b = A/B 07:24:48 But there's some algebraic thing I'm not remembering. 07:29:01 shachaf: a, b = 0 tsnh. 07:29:05 -!- benderB787 has joined. 07:30:25 s,/,-,g hth 07:31:49 (A -> a) <-> (B -> b) <===> (b -> a) <-> (B -> A) ? 07:31:50 One COULD read p_0:q_0::p_1:q_1::...::p_k:q_k as \exists pred (pred(p_0, q_0) & pred(p_1, q_1) & ... & pred(p_k, q_k)), with pred presumably constrained to some set of rules 07:35:56 @check \a' a b' b -> (((a' :: Bool) <= a) == (b' <= b)) == ((b <= a) == (b' <= a')) 07:35:59 *** Failed! Falsifiable (after 2 tests): 07:35:59 False True True True 07:36:03 shachaf: NOPE 07:37:07 oerjan: well, i was just trying out something that was contravariant in one thing and covariant in the other 07:37:26 maybe it should be a&~A or something 07:37:43 is there an operator for \a b -> a && not b 07:38:05 by de morgan's law, you're not going to do much better with that 07:38:58 it's not(a -> b) 07:39:16 of course it's not (a -> b) 07:39:24 we already tried a -> b and found out that it doesn't work 07:39:52 * oerjan hammers shachaf into the ground ===\__/ 07:40:01 Maybe some linear logic operators would do what I want? 07:40:08 that's no hammer 07:40:09 Probably not. 07:40:25 That looks like the mallet to me. 07:40:35 the saucepan hth 07:40:43 the saucepan is malleable hth 07:41:00 damn straight ===\/\/ 07:41:17 i,i damn bent 07:41:44 speaking of damnation did you ever read that short story by chiang 07:41:56 probably not. 07:42:13 http://will.tip.dhappy.org/revolution/Technoanarchist/plan/.../book/Ted%20Chiang%20-%20Hell%20Is%20The%20Absence%20Of%20God/ 07:42:16 hth 07:43:06 iangtrthth 07:46:32 ok 07:46:38 would you read a one-page short story by chiang 07:46:50 published in Nature 07:47:04 it is http://www.nature.com/nature/journal/v436/n7047/full/436150a.html 07:49:32 @tell ais523 ooh, I like Memfractal <-- i tried thinking about it before. just four outer exits and one bit seemed _very_ cramped. not obviously impossible but something clever is needed... 07:49:33 Consider it noted. 07:50:13 shachaf: already seen 07:50:20 ok 07:52:03 1A4 hehehe 07:54:38 hell-o world. 08:06:37 -!- Frooxius has joined. 08:35:40 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 08:47:44 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=50116&oldid=50098 * Slnetaiga * (+13) Added OOLANG 08:53:05 [wiki] [[OOLANG]] N https://esolangs.org/w/index.php?oldid=50117 * Slnetaiga * (+1048) Created 08:54:47 -!- AnotherTest has joined. 09:05:49 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50118&oldid=50117 * Slnetaiga * (+1650) Added simple docs 09:06:24 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50119&oldid=50118 * Slnetaiga * (+73) 09:10:04 -!- benderB787 has quit (Ping timeout: 260 seconds). 09:15:36 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50120&oldid=50119 * Slnetaiga * (+161) 09:16:18 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50121&oldid=50120 * Slnetaiga * (+1) 09:17:53 -!- oerjan has quit (Quit: Nite). 09:19:46 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50122&oldid=50121 * Slnetaiga * (+216) Added math operands 09:32:19 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50123&oldid=50122 * Slnetaiga * (+244) Added Truth-machine example 09:41:09 [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=50124&oldid=50040 * Slnetaiga * (+120) Added oolang 10:04:10 -!- PinealGlandOptic has quit (Quit: leaving). 10:18:32 [wiki] [[Special:Log/upload]] upload * Slnetaiga * uploaded "[[File:OOLANG-logo.png]]" 10:20:55 -!- ^v^v has changed nick to ^v. 10:21:04 [wiki] [[Special:Log/upload]] upload * Slnetaiga * uploaded "[[File:OOLANG.png]]" 10:22:55 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50127&oldid=50123 * Slnetaiga * (+314) Added logo and table 10:23:49 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50128&oldid=50127 * Slnetaiga * (+11) 10:24:43 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50129&oldid=50128 * Slnetaiga * (+1) 10:25:02 -!- LKoen has joined. 10:58:40 -!- boily has joined. 11:11:20 fungot: bon matin. 11:11:20 boily: yep that's really scary it you know i what do you read 11:11:35 fungot: you scare me enough already as it is. 11:11:35 boily: my name is 11:11:39 fungot: fungot. 11:11:39 boily: i gotta good feeling this year alone to establish you know um and online i'm online quite a bit 11:11:47 fungot: yes you are. 11:11:47 boily: but a rectangle should still be involved in soccer baseball everything is so fast paced that it's so easy to lose time and it it just takes a lot of 11:12:03 fungot: rectangle soccer baseball??? 11:13:55 -!- Phantom_Hoover has joined. 11:24:17 -!- LKoen has quit (Remote host closed the connection). 11:25:08 [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=50130&oldid=50124 * Slnetaiga * (+30) 11:27:07 boily: To be fair, a soccer field is a rectangle. 11:27:27 fungot: Use more punctuation, you're very hard to read. 11:27:27 fizzie: and there's high school too and and i 11:28:03 fizzie: look, it used an apostrophe... that's quite adbvanced. 11:31:36 fizzie: fizziello. I had this mental picture of a rectangular soccer ball. 11:31:59 fungot: no, high school is an illusion. 11:31:59 boily: ah i'm sure you can probably hear like two sides of the country was really low it was like 11:38:15 [wiki] [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=50131&oldid=50018 * Slnetaiga * (+69) Added oolang 11:40:24 -!- LKoen has joined. 11:42:49 I don't think this corpus works so well. 11:42:53 ^style europarl 11:42:53 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 11:43:15 fungot: So do you think they could trigger Article 50 without consulting the Parliament? 11:43:16 fizzie: madam president, i would be grateful if these could be raised tomorrow in relation to recital f), which refers to an equitable solution that is acceptable internationally. the question therefore arises should it be tit for tat: ' i have never said that this, amongst other things, with complementary systems for protecting persons fleeing from war zones, she forgot to propose that the commission and call back if necessary 11:44:45 (The news here is again nothing but Brexit.) 11:45:03 "Any Member State may decide to withdraw from the Union in accordance with its own constitutional requirements." 11:45:31 it really seems to be up to *your* constitution. 11:45:39 No, up yours. 11:48:09 so friendly 11:51:54 -!- LKoen has quit (Remote host closed the connection). 11:52:18 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50132&oldid=50129 * Slnetaiga * (+83) 11:58:48 ^styles 11:58:53 ^style 11:58:53 Available: agora alice c64 ct darwin discworld enron europarl* ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 11:59:02 ^style youtub 11:59:02 Not found. 11:59:04 ^style youtube 11:59:04 Selected style: youtube (Some YouTube comments) 11:59:08 fungot: nostril? 11:59:08 boily: it's terrible that they forgot to turn on nbc, cuz..the pic was frozen right on this 11:59:39 `? nbc 11:59:48 nbc? ¯\(°​_o)/¯ 12:00:35 fungot: you have odd preferences 12:00:35 int-e: and, goodness gracious, most people are just racist comments posted by small minded gimps that want to prove me?? 12:01:08 fungot: people have been killed for saying less offensive things... 12:01:08 int-e: this does not mean remote controlled. just because it has more than one pitcure constantly refuse to look at the very same can be worse than hitman 12:01:30 pitcure is nice, hmm 12:02:20 -!- boily has quit (Quit: SOLO CHICKEN). 12:09:17 fungot: So how about those aeroplanes then? 12:09:17 fizzie: hey did anybody die? sorry but thats kinda funny when the airbus has since changed some of them 12:09:30 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 12:09:38 fungot: I don't think people dying is "kinda funny". 12:09:38 fizzie: good luck sincerely or something like that they would wait till nov. 10th. 12:09:50 fungot: That's only five days away! 12:09:50 fizzie: what the candy tastes like. 12:09:54 is it hinting at airbus mutilating people? 12:10:19 In five days from now, yes. 12:10:56 Probably not a coincidence that the trumplection is on the 8th. 12:22:46 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50133&oldid=50132 * Slnetaiga * (+262) Added deadfish interpreter 12:24:38 [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=50134&oldid=49716 * Slnetaiga * (+310) Added oolang 12:24:52 [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=50135&oldid=50134 * Slnetaiga * (-1) /* OOLANG] */ 12:26:19 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50136&oldid=50133 * Slnetaiga * (+61) 12:33:10 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50137&oldid=50136 * Slnetaiga * (-4) /* Deadfish interpreter */ 12:33:32 [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=50138&oldid=50135 * Slnetaiga * (-4) /* OOLANG */ 13:25:33 -!- izalove has quit (Ping timeout: 268 seconds). 13:26:10 -!- bibibi has quit (Ping timeout: 250 seconds). 13:33:16 -!- izalove has joined. 13:46:36 -!- bibibi has joined. 13:50:52 -!- benderB787 has joined. 14:25:28 [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=50139&oldid=50138 * Slnetaiga * (+52) 14:25:36 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50140&oldid=50137 * Slnetaiga * (+52) /* Deadfish interpreter */ 14:32:33 [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=50141&oldid=50139 * Slnetaiga * (-1) OOLANG 14:32:39 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50142&oldid=50140 * Slnetaiga * (-1) /* Deadfish interpreter */ 14:49:02 -!- Zarutian has joined. 14:50:16 -!- Zarutian has quit (Read error: Connection reset by peer). 14:50:16 -!- Zarutian has joined. 16:06:49 -!- Zarutian has quit (Quit: Zarutian). 16:25:44 -!- moony has joined. 16:40:24 -!- Elronnd has changed nick to Elronnd|slex. 16:43:58 -!- Zarutian has joined. 16:45:49 -!- benderB787 has quit (Ping timeout: 260 seconds). 16:50:11 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50143&oldid=50142 * Slnetaiga * (+933) 16:55:49 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50144&oldid=50143 * Slnetaiga * (+0) 17:03:57 -!- ais523 has joined. 17:11:32 wb ais523 17:15:48 -!- moony has changed nick to grandpa. 17:15:53 * Zarutian is reading https://www.mjt.me.uk/posts/falsehoods-programmers-believe-about-addresses/ and recalls that letter addressed via an handdrawn map that had road numbers on it still had an address. An postal address is any sufficient information to get a letter or such delivered to the right place. 17:15:55 -!- grandpa has changed nick to moony. 17:19:45 heck even mail addressed to an international waters seaworthy sailboat will be delivered. Specially if it has APRS callsign or such. 17:23:30 -!- godel has joined. 17:32:34 -!- moony has quit (Ping timeout: 250 seconds). 17:49:03 -!- rbcuJKdnx has joined. 17:49:07 Clinton is literally taking money from the same people who are funding ISIS: http://www.reuters.com/article/us-usa-election-foundation-idUSKBN12Z2SL https://wikileaks.org/podesta-emails/emailid/3774 ("[...] the governments of Qatar and Saudi Arabia, which are providing clandestine financial and logistic support to ISIL and other radical Sunni groups in the region.") 17:49:12 -!- rbcuJKdnx has left. 17:54:39 how come that I get the PART message of that bot before the PRIVMSG ? 17:55:03 I didn't, the privmsg came first for me 17:55:34 vagaries of IRC server interconnect then 17:56:41 * Zarutian is looking forward to "falsehoods programmers believe about computer security" article. 17:58:11 -!- MoALTz has quit (Quit: Leaving). 17:59:25 -!- AnotherTest has joined. 17:59:45 https://en.wikipedia.org/wiki/Context_switch#Hardware_vs._software 17:59:48 Context switching can be performed primarily by software or hardware. 17:59:51 thanks wikipedia 18:01:07 -!- Lord_of_Life has quit (Excess Flood). 18:02:12 -!- Lord_of_Life has joined. 18:04:04 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50145&oldid=50144 * Slnetaiga * (+29) 18:04:53 -!- godel_ has joined. 18:05:11 -!- grumble has joined. 18:05:44 -!- godel has quit (Ping timeout: 260 seconds). 18:07:51 izalove: and the cost of context switching can be high or low, all depending on how much state must be swapped about. 18:08:24 this is the most informative page ever 18:09:49 yeah it happens when it gets, mistakenly, plastered with "Too technical!" banner and some poor shmuck tries to fix it. 18:33:05 -!- MoALTz has joined. 18:35:51 On some weblogs when I try to post a comment it posts the form to a unavailable HTTPS server; I have to change the ACTION of the form to get it to work (this can be done using the Inspector in Firefox). 18:38:54 @tell hppavilion[1] That would have been helpful, if it weren't for the fact that I actually knew that already. 18:38:55 Consider it noted. 19:03:08 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 19:03:16 -!- carado has joined. 19:06:21 -!- Phantom_Hoover has joined. 19:09:12 Even many of the things mention in "falsehoods programmer's believe about [whatever]" if I do not consider it, it is one reason why I will make free/open-source software; if someone need it to do something that it does not do, then the program can be changed. 19:15:07 -!- MoALTz has quit (Quit: Leaving). 19:15:26 Do you make AGPL software? 19:16:17 you can sell software and code and forbid redistribution and still allow users to tailor the program to suit their needs 19:18:15 It is mostly public domain rather than AGPL 19:19:08 If redistribution is forbidden then each person who need one thing will need to fix it themself and it will be difficult to share these changes in case they are useful for many different people or companies. 19:19:42 -!- godel_ has changed nick to godel. 19:19:55 (There are also the reasons the FSF gives that you should not forbid redistribution too, but there are other reasons too) 19:22:29 I have now added the Russian ruble symbol into UTCE (I didn't know there was one until recently) 19:36:04 -!- DHeadshot has joined. 20:03:32 -!- fractal_ has quit (Remote host closed the connection). 20:08:30 here is an intresting issue ragarding those licenses. Where I live an contract (which license is) is not agreed on or accepted unless there has been communication between the two parties regarding the acceptance of the contract. This is for instance why EULAs have no enforceability while TOSes do. 20:09:46 but here is a kicker, if you (re)publish software that is under MIT/GPL/whathaveyou then that (re)publishment acts as the communication that you agreed to the terms of the license. 20:11:21 -!- DHeadshot has quit (Ping timeout: 244 seconds). 20:12:43 -!- augur has joined. 20:13:48 -!- MoALTz has joined. 20:18:47 -!- fractal has joined. 20:31:49 -!- augur has quit (Read error: Connection reset by peer). 20:43:52 -!- augur has joined. 20:45:07 -!- hppavilion[1] has joined. 21:01:51 -!- moonheart08 has joined. 21:06:09 -!- moony has joined. 21:07:25 -!- moonheart08 has quit (Ping timeout: 265 seconds). 21:20:27 [wiki] [[Special:Log/newusers]] create * Zemeckis * New user account 21:34:36 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=50146&oldid=50072 * Zemeckis * (+359) 21:34:48 [wiki] [[User:Zemeckis]] N https://esolangs.org/w/index.php?oldid=50147 * Zemeckis * (+139) Created page with "Zemeckis is a fan of anything that boggles his brain. He will try to puzzle through your language, no matter how confusing. That's the fun!" 21:39:48 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 21:40:21 -!- Zarutian has quit (Read error: Connection reset by peer). 22:07:19 -!- UGuEsRWv has joined. 22:07:23 https://www.youtube.com/watch?v=3EsJLNGVJ7E & https://wikileaks.org/podesta-emails/emailid/15893, http://www.reuters.com/article/us-usa-election-foundation-idUSKBN12Z2SL & https://wikileaks.org/podesta-emails/emailid/3774 (ctrl+f qatar) - please don't let these be buried 22:07:28 -!- UGuEsRWv has left. 22:08:07 lets bury these 22:12:45 sigh, 3 more days 22:15:17 -!- zzo38 has quit (Ping timeout: 260 seconds). 22:15:34 -!- zzo38 has joined. 22:16:32 -!- grumble has quit (Quit: If I don't make it back, blame this SSL implementation.). 22:16:58 Because apparently we should only be focused on the one scandal people have been talking about for months, and some frankly dubious accusations. 22:17:01 Sigh. 22:17:05 -!- grumble has joined. 22:17:46 Oh, wait, this is a completely different BS scandal than the generic "sensitive emails ZOMG" one, that was the "Clinton Foundation accepted $1 million from Qatar" thing. 22:17:59 what, again? 22:18:42 Talking about the BS that random person with random nick randomly joining decided we needed to see, and bemoaning it as being basically some BS. 22:19:20 -!- augur has quit (Remote host closed the connection). 22:19:34 pikhq: I wasn't annoyed at you, I was annoyed at the spambot 22:19:46 Yeah... 22:20:13 -!- augur has joined. 22:20:14 * pikhq mutters at US politics a bit. 3 more days... 22:21:39 I've been following it from the UK and being really worried about it 22:21:48 That's fair, I'm worried too. 22:22:19 Unpopular US politician v literal fascist, joy of joys. 22:22:52 pikhq: you might be amused by this: https://petition.parliament.uk/petitions/114003 22:23:07 Highly. 22:23:09 (dating from january 2016, well before most of the horrible stuff came out) 22:23:22 -!- ChanServ has set channel mode: +o ais523. 22:23:42 -!- ais523 has set channel mode: +b *!*@186.220.0.0/14. 22:23:57 -!- ais523 has set channel mode: +b *!*@189.54.0.0/15. 22:24:00 -!- ais523 has set channel mode: -o ais523. 22:25:05 -!- augur has quit (Ping timeout: 260 seconds). 22:25:14 This is a bit of an occasion, because the first petition has been signed by more people than any other in this Parliament. It has 573,971 signatures, and its title is “Block Donald J Trump from UK entry”. The second petition is titled “Don’t ban Trump from the United Kingdom”. That petition is curious. It has 42,898 signatures, but 30,000 signatures were removed because they were thought to be suspect and coming from one 22:25:15 source. Anyone who is trying to rig the system should be aware that they will be found out. 22:25:24 -!- augur has joined. 22:25:42 wait, these people were rigging votes back in /January/? 22:26:40 It's frankly pretty standard alt right BS. 22:27:00 Remember, we're talking about people who think 4chan has been taken over by "SJWs". 22:27:23 Ah, that one's dead already 22:27:25 [wiki] [[BurgerFlipper]] N https://esolangs.org/w/index.php?oldid=50148 * Zemeckis * (+1553) Created page with "'''BurgerFlipper''' is an esoteric programming language designed by [[User: Zemeckis]]. It is directly inspired of [[Brainfuck]], however, every other command, other than the..." 22:27:38 er, *@189.54.225.54 that is 22:27:41 [wiki] [[BurgerFlipper]] https://esolangs.org/w/index.php?diff=50149&oldid=50148 * Zemeckis * (-2) 22:27:43 pikhq: I know, I just hadn't realised they'd been organized that long 22:27:54 FireFly: most of the spam (in this and other channels) is from one ISP 22:27:56 so I blocked the ISP 22:28:04 * FireFly nods 22:28:15 that's not really viable for freenode unfortunately :p 22:28:53 [wiki] [[Talk:BurgerFlipper]] N https://esolangs.org/w/index.php?oldid=50150 * Zemeckis * (+101) Created page with "If you can format this page better than I can, please feel free. I'm not great text-based formatting." 22:28:55 indeed 22:29:13 Meanwhile, I would like to complain about that "falsehoods programmers believe about addresses" article. One of its counterexamples is in an incorrect format. 22:29:34 oh wow, that esolang is even worse than I thought it would be from the edit summary 22:29:45 [wiki] [[Joke language list]] https://esolangs.org/w/index.php?diff=50151&oldid=50088 * Zemeckis * (+20) 22:30:01 at least the creator seems to /know/ it's terrible :-P 22:30:29 It uses a Japanese address as a counterexample, but uses the format that is used for Japanese script addresses in Japan (but transcribed), which is not correct for Roman alphabet addresses... 22:31:29 [wiki] [[User:Zemeckis]] https://esolangs.org/w/index.php?diff=50152&oldid=50147 * Zemeckis * (+141) 22:31:38 It gives "980-0804 Miyagi-ken Sendai-shi Aoba-ku Kokubuncho 4-10-20 Sendai 401". Which is... very incorrect. 22:33:27 [wiki] [[Talk:BurgerFlipper]] https://esolangs.org/w/index.php?diff=50153&oldid=50150 * Zemeckis * (+94) 22:34:51 [wiki] [[BurgerFlipper]] https://esolangs.org/w/index.php?diff=50154&oldid=50149 * Zemeckis * (+1) 22:40:53 [wiki] [[BurgerFlipper]] https://esolangs.org/w/index.php?diff=50155&oldid=50154 * Zemeckis * (+0) 22:41:03 Correct address format would be... "Sendai 401\n4-10-20 Kokubuncho, Aoba-ku\nSendai Miyagi-ken 980-0804" 22:43:16 (when written in Roman letters, Japanese addresses more-or-less follow the ordering that would be normal for English speakers. Modulo fundamental differences in the address scheme.) 22:46:42 [wiki] [[Talk:BurgerFlipper]] https://esolangs.org/w/index.php?diff=50156&oldid=50153 * Zemeckis * (+86) 22:47:18 [wiki] [[BurgerFlipper]] https://esolangs.org/w/index.php?diff=50157&oldid=50155 * Zemeckis * (+22) 22:50:41 [wiki] [[BurgerFlipper]] https://esolangs.org/w/index.php?diff=50158&oldid=50157 * Zemeckis * (+0) 23:00:17 -!- moony has quit (Ping timeout: 244 seconds). 23:04:56 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 23:06:49 -!- Phantom_Hoover has joined. 23:09:23 -!- moony has joined. 23:18:57 -!- DHeadshot has joined. 23:32:07 -!- DHeadshot_ has joined. 23:32:29 -!- DHeadshot has quit (Read error: Connection reset by peer). 23:35:48 -!- DHeadshot_ has quit (Read error: Connection reset by peer). 23:36:00 -!- DHeadshot has joined. 23:39:00 -!- AnotherTest has quit (Ping timeout: 260 seconds). 23:40:08 -!- Phantom_Hoover has quit (Quit: Leaving). 23:40:12 -!- DHeadshot has quit (Ping timeout: 250 seconds). 23:44:33 -!- Phantom_Hoover has joined. 23:46:42 -!- oerjan has joined. 23:55:39 -!- LKoen has joined. 23:56:32 -!- LKoen has quit (Client Quit).