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 <oerjan> hppavilion[1]: bijective base 2 still cannot express all rationals in finite terms, i would believe.
00:08:56 <oerjan> also i mind that a strange mixture of considerations.
00:09:09 <hppavilion[1]> oerjan: I'm talking in the proof-that-Q-is-countable way
00:10:13 <hppavilion[1]> 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 <hppavilion[1]> Then count along the down-and-to-the-left diagonals
00:11:35 <hppavilion[1]> (wait, but that isn't quite bijective because of the values like 1/2, 2/4, 3/6, etc...)
00:13:11 <oerjan> *i think. although not successfully, it seems.
00:14:09 <oerjan> hppavilion[1]: yeah you need to drop repetitions.
00:15:03 <int-e> > fix ((1:).(>>=ap(:)(return.recip).(1+))) :: [Rational]
00:15:08 <lambdabot> [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 <hppavilion[1]> oerjan: Yes, or somehow iterate over the set of 2-tuples of bags of primes with intersection {}...
00:16:09 <hppavilion[1]> Ø would be a good name for a variable in set theory >:)
00:17:30 <int-e> (there's this wonderful "binary" enumeration of positive rational numbers)
00:17:35 <oerjan> int-e seems to have written what i was going to mention.
00:18:01 <oerjan> :t ap(:)(return.recip).(1+)
00:18:53 <int-e> ap(:)((:[]).(1/)) would have been shorter, but I wasn't golfing.
00:19:28 <int-e> and `recip` is nicely obscure :)
00:19:31 <oerjan> :t sequence[id,recip].(1+)
00:20:35 <int-e> heh, too readable.
00:21:42 <int-e> > succ (1/2) :: Rational -- silly class instances...
00:23:08 <int-e> ah. https://en.wikipedia.org/wiki/Stern%E2%80%93Brocot_tree
00:23:23 <int-e> (I forgot the name)
00:23:31 -!- DHeadshot has joined.
00:24:17 <int-e> of course that's another one, also beautiful.
00:25:12 <int-e> 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:27:18 -!- augur has quit (Read error: Connection reset by peer).
00:30:41 <oerjan> int-e: the latter doesn't look quite the same either
00:30:42 <int-e> > fix((1:).sequence[(1+),(1/).(1+).(1/)]) :: [Rational]
00:30:45 <lambdabot> • Couldn't match type ‘Ratio Integer’ with ‘[Rational]’
00:30:45 <lambdabot> Expected type: [Rational] -> [Rational]
00:30:59 <int-e> > fix((1:).(>>=sequence[(1+),(1/).(1+).(1/)])) :: [Rational]
00:31:01 <lambdabot> [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 <int-e> 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> <shachaf> oerjan: nowadays we would space-separate a wisdom entry like that <-- `wisdom sentences are not `quote messages hth
00:43:28 <shachaf> oerjan: the wisdom entry name hth
00:44:17 <shachaf> http://codegolf.stackexchange.com/questions/28821/regex-that-only-matches-itself
00:44:25 <oerjan> shachaf: ic. well elliott made it with several names.
00:45:16 <oerjan> shachaf: ah a regex narcissist
00:47:14 -!- DHeadshot has quit (Ping timeout: 250 seconds).
00:48:39 -!- boily has joined.
00:51:50 -!- wiggle has quit (Remote host closed the connection).
00:53:23 -!- moony has joined.
00:53:56 -!- moonheart08 has quit (Ping timeout: 260 seconds).
00:59:28 <boily> tonight, I found a place that serves tteokbokki! ^^
00:59:28 <HackEgo> 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 <HackEgo> 7390:2016-04-14 <hppavilion[1̈]> 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 <oerjän> learn Victoria was the most victorious queen the world has ever known.
00:59:28 * boily mapoles some speed into HackEgo
00:59:35 <oerjan> 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 <boily> 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 <oerjan> 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 <boily> not a problem, afatpdfic.
01:03:12 <boily> hppavilion[1]: hppavellon[1]. is the Queen your Queen?
01:03:37 -!- hue has joined.
01:05:01 <hppavilion[1]> boily: No, but in the event of a Trump victory she may soon be
01:05:10 <hppavilion[1]> (A Hillary victory isn't that appealing either, though...)
01:06:23 <boily> move north! it's good for you! it has traditional phở!
01:08:01 -!- moony has quit (Ping timeout: 268 seconds).
01:08:13 <hppavilion[1]> boily: Except in part of the Yukon, the Northwest Territories, and Nunavut.
01:09:43 <hppavilion[1]> 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 <boily> Minnesota? East is a good approximation.
01:14:40 * hppavilion[1] . o O ( Is Doctor Strange marketed in Germany with "Doktor" or with "Artze"? )
01:15:17 <boily> right. I completely failed. I shall commit mapole seppuku. mappuku.
01:15:43 <boily> we still have soup. warm, tasty soup.
01:16:05 <hppavilion[1]> boily: Also, I'm not sure Canada is far enough away from President Trump...
01:16:30 <hppavilion[1]> 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 <hppavilion[1]> (In retrospect, joining Canada makes more sense...)
01:22:51 <boily> fungot: do you make sense?
01:22:51 <fungot> 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 <fungot> 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 <fungot> boily: i can't remember
01:23:29 <boily> fungot: I do. you're fungot, I'm boily. me sane, you Jane.
01:23:29 <fungot> boily: ( ( mm noise)) i've ( ( wanted)) to talk to
01:28:16 -!- enoua5 has joined.
01:29:17 <myname> hppavilion[1]: "Artze" doesn't make any sense as a word
01:29:24 -!- MoALTz has joined.
01:30:18 <myname> also, it is doktor because you name him
01:31:20 <myname> there is arzt with the plural ärzte
01:38:33 <quintopia> huh. sbux espresso cloud ipa is p good
01:40:25 <fungot> quintopia: ( ( but uh)) like how much it was more fun to teach laughter um
01:40:47 <fungot> quintopia: i- mn no m- it kind of fnord
01:42:15 <boily> life: tteokbokki is good, Captain Sonar is good, burritos are good.
01:43:54 -!- Jafet has joined.
01:43:59 <boily> oh! what did you at?
01:47:04 <boily> it's a wonderful boardgame! two teams or four players are playing real-time battleship, with explosions and stupid things happening :D
01:48:07 <boily> https://boardgamegeek.com/boardgame/171131/captain-sonar
01:48:59 <quintopia> huge round of spaceteam, followed by a few attempts to game the game (failed)
01:52:53 <boily> nope, but you got me at "crazier".
01:54:38 <boily> I suck at Spyfall, but I love the game ^^
01:55:09 <boily> I couldn't pour credibility out of a boot.
01:57:23 <boily> time to reconcile a mattress...
01:57:43 -!- boily has quit (Quit: BOUQUET CHICKEN).
02:04:10 <shachaf> http://mathoverflow.net/questions/253703/integral-of-a-sin-omial-coefficients-binomial
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:53:00 -!- Guest6235 has joined.
02:54:44 -!- moony has quit (Quit: Page closed).
03:02:11 <Cale> shachaf: http://play.prismata.net/?r=lY4Wf-SThsB lol turn 11
03:03:23 <myname> flash is still a thing?
03:07:25 <Cale> 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 <shachaf> Cale: It's probably not a good idea, but I often go for 4x Symbiote anyway.
03:11:14 <shachaf> I just like setting them all off.
03:12:30 <oerjan> @ask izalove <izalove> on a scale from klingon to emoji, how readable is [...] <-- wait, which end is the readable one?
03:22:25 <oerjan> `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 <HackEgo> 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:56 <HackEgo> OOP (Obligatory Opportunistic Pun) is a popular technique for naming things, thus solving zero of the hard problems in computer science.
03:24:04 <shachaf> When you pun without noticing it, those puns aren't oops, right?
03:24:20 <HackEgo> A Klein bottle is like a torus, but more insidious. Taneb tried to invent it, but got trapped inside.
03:24:42 <HackEgo> 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 <oerjan> `learn OOPS (Obligatory Oblivious PunS) is a variant of OOP.
03:24:47 <HackEgo> Relearned 'oop': OOPS (Obligatory Oblivious PunS) is a variant of OOP.
03:25:14 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
03:25:29 <oerjan> `le/rn oops/OOPS (Obligatory Oblivious PunS) is a variant of OOP.
03:25:37 <HackEgo> Learned 'oops': OOPS (Obligatory Oblivious PunS) is a variant of OOP.
03:25:50 <shachaf> i,i Obligatory Oblivious Pun Syndrome
03:27:05 <Jafet> oopsla oriented programming
03:29:16 <shachaf> Cale: now that rethinkdb is shut down are you going to start a database startup twh
03:46:32 <pikhq> 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 <ais523> pikhq: new generation?
03:47:07 <ais523> also, which were you missing?
03:47:32 <HackEgo> A pokemon is a monster that you keep in your pocket.
03:47:44 <pikhq> 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:48:13 <shachaf> `learn_append pokemon Taneb invented them.
03:48:19 <HackEgo> Learned 'pokemon': A pokemon is a monster that you keep in your pocket. Taneb invented them.
03:49:07 <HackEgo> The password of the month is Bierstubë.
03:49:19 <HackEgo> 9130:2016-10-01 <oerjän> learn The password of the month is Bierstub\xc3\xab. \ 9030:2016-09-12 <oerjän> learn The password of the month is au c\xc5\x93ur de septembre \ 8887:2016-08-02 <oerjän> learn The password of the month is Strindberg \ 8877:2016-07-29 <oerjän> learn The password of the month is late. \ 8508:2016-06-17 <oerjän> lear
03:49:30 <FireFly> 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 <shachaf> 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 <pikhq> FireFly: Hacked 3DS with a save manager app.
03:50:28 <Cale> shachaf: heh, well, Obsidian Systems might eventually go in that direction... but it's going to be gradual
03:51:40 <shachaf> what do you think of the way bigtable etc. work
03:52:01 <pikhq> TLDR, fuck fuck fuck fuck fuck fuck.
03:52:04 <shachaf> 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 <Cale> I haven't looked closely at BigTable
03:52:43 <Cale> But I want *more* types in my tables
03:52:46 <FireFly> 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 <pikhq> 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 <Cale> 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 <pikhq> FireFly: The problem is, I accidentally overwrote my Y save with some *completely different* save.
03:53:48 <Cale> shachaf: So the types of subsequent columns depend on the values of previous ones :)
03:53:55 <shachaf> 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 <shachaf> Of course BigTable does have various issues.
03:54:31 <FireFly> 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:44 <Cale> But yeah, I would settle for good support for sum types :P
03:54:49 <shachaf> Cale: Well, types belong on a different level of abstraction from storage probably.
03:55:05 <shachaf> Cale: What do you think of the thing that e.g. protocol buffers do with regard to backwards compatibility?
03:55:28 <Cale> 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 <shachaf> 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:45 <HackEgo> A pokemon is a monster that you keep in your pocket. Taneb invented them.
03:55:49 <shachaf> Cale: RethinkDB had that feature!
03:55:50 <HackEgo> Come and dance and love the fish! Mister Disco summoned it.
03:55:57 <HackEgo> 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 <shachaf> Cale: Still has, I guess it's open source. AGPL, though.
03:56:04 <Cale> shachaf: Though, they didn't really have... types
03:56:08 <HackEgo> 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:31 <Cale> I don't want garbage in my DB
03:56:44 <shachaf> Anyway, protobufs are typed, and they even have sum types and things nowadays.
03:57:01 <shachaf> 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 <shachaf> Since Haskell ADTs types are in-process only, people don't worry about that sort of thing.
03:57:51 <shachaf> But I wonder what people would come up with in this context.
03:58:43 <pikhq> Hrm. Clearly I should race my way through Y via "I have another same gen game" hax.
03:59:15 <pikhq> Or, eh. Maybe not.
03:59:41 <shachaf> 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 <shachaf> Doesn't Spanner also use the same sorts of tablets etc.?
04:04:21 <Cale> shachaf: Yeah, the stuff which mainly concerns me are the API and query language
04:04:39 <shachaf> What do you think of Spanner?
04:04:52 -!- super_bender has joined.
04:05:08 <Cale> 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 <shachaf> I like the thing where time() gives you an interval rather than a point.
04:05:29 <shachaf> Which of course is what you should do for anything that you can't measure precisely.
04:05:34 <shachaf> But for some reason people don't do it.
04:06:06 <Cale> I'd never heard of Spanner somehow
04:07:42 <pikhq> I don't think it's anywhere *near* as publicized as BigTable.
04:08:29 <Cale> 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 <shachaf> Well, Spanner tries to cleverly avoid some of those compromises.
04:10:32 <Cale> The dream is to be able to have something like Dynamic t (Query a) -> m (Dynamic t (Result a))
04:11:10 <Cale> (and Dynamic t (Query a) -> m (Event t (ResultDiff a))
04:11:16 <shachaf> What do you think of Backpack?
04:12:47 <oerjan> `slwd oerjan//s/gnite //;s/gracious october/gneiss remember/
04:12:54 <HackEgo> 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:14:09 <shachaf> Cale: sometimes i confuse you with deckard cain hth
04:16:36 <oerjan> `learn The password of the month is ⛄
04:16:39 <HackEgo> Relearned 'password': The password of the month is ⛄
04:17:30 <HackEgo> 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:27 <shachaf> what's the command for utf-8 decoding twh
04:19:05 <shachaf> > unwords . map (printf "%08b") $ [0xe2, 0x9b, 0x84]
04:19:33 <shachaf> > "10011011000100" ^? binary
04:19:42 <shachaf> > "10011011000100" ^? binary . re hex
04:20:02 <shachaf> `` unidecode "$(unicode 26c4)"
04:20:06 <HackEgo> [U+26C4 SNOWMAN WITHOUT SNOW]
04:20:16 <shachaf> that was too difficult tdnh
04:21:02 <HackEgo> 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 <shachaf> `` unidecode "$(\? haiku)"
04:21:19 <HackEgo> [U+1F028 MAHJONG TILE AUTUMN] [U+3084 HIRAGANA LETTER YA] [U+26C4 SNOWMAN WITHOUT SNOW]
04:21:37 <HackEgo> 1258) <mauris> MAHJONG TILE AUTUMN / HIRAGANA LETTER YA / SNOWMAN WITHOUT SNOW
04:21:56 <shachaf> Am I spamming the channel too much?
04:24:56 -!- godel has quit (Ping timeout: 250 seconds).
04:29:58 <oerjan> `slwd oerjan//s/gracious/gneiss/;s/octo/remem/
04:30:01 <HackEgo> 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 <shachaf> `slwd oerjan//s#revertebrate#revertable#
04:31:31 <HackEgo> 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 <oerjan> <shachaf> that was too difficult tdnh <-- you really can't cut and paste that char?
04:32:59 <shachaf> oerjan: it doesn't show up on my broken terminal hth
04:59:06 -!- xkapastel has quit (Quit: Connection closed for inactivity).
05:07:24 <tswett> So I wrote this /// program.
05:07:27 <tswett> /t./.ttttt//.t/t\..........//t//t...
05:08:33 <tswett> I'm pretty sure it outputs 3*10^125 dots and then stops.
05:10:48 <tswett> Cale is dreaming about a dependently typed database, where the types of columns can depend on the values of previous columns.
05:11:15 <tswett> Meanwhile, I'm dreaming about a database where columns can have the type "boolean".
05:13:48 <tswett> 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:27:26 <hppavilion[1]> Maybe the NFL should turn the bracket into a sort(), rather than a max()
05:28:56 <Cale> 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:48 <shachaf> Sum types would be too good for database users.
05:34:23 <tswett> Implement Laser for me and then use Laser.
05:34:50 <tswett> Cale: have you heard of Spivak and Wisnesky's FQL family of database query languages?
05:37:01 <tswett> The query operators are really simple; they're based on adjoint functors.
05:37:07 <tswett> They're also really difficult to understand, for the same reason.
05:39:23 <hppavilion[1]> tswett: Does it include type-neutral variable names formed by dropping characters twh
05:40:33 <tswett> It's hard to imagine that not being a genre of porn.
05:40:51 <hppavilion[1]> tswett: That statement is true forall values of that, tbh
05:47:06 <shachaf> "1" is way too overloaded in category speak.
05:47:57 <shachaf> 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 <shachaf> (1 is not necessarily a terminal object, even.)
05:50:11 <shachaf> There are two arrows : 1 -> _|_, called 0 and 1. They're represented by natural transformations, naturally called 0 and 1.
05:51:58 <oerjan> shachaf: assume that all those definitions are special cases of the first, then try to derive a contradiction hth
05:55:40 <Elronnd> is it legitimate to make an esolang where code written in that lang is as hard to read as possible?
05:57:20 <oerjan> Elronnd: pretty hard to beat the competition
05:57:22 <shachaf> whitespace is easy on the eyes
05:58:07 <Elronnd> it uses base 11, but the digits used aren't 0-9, a
05:59:09 <zzo38> 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 <oerjan> Elronnd: hm i'd say it's scow if it's just because of obfuscated syntax/naming
06:00:21 <HackEgo> Scow (S-cow) is canned meat made from cows with a lisp.
06:00:43 <zzo38> 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 <Jafet> we already have enough real languages with hard-to-read code, let alone esoteric ones
06:02:47 <Elronnd> Jafet: name an esolang with *easy* to read code
06:03:48 <Jafet> befunge is visually intuitive
06:04:19 <Elronnd> hppavilion[1]: how is c an esolang?
06:04:25 <Cale> 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 <Cale> (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 <tswett> Cale: this is where I plug my own language...
06:06:26 <tswett> https://laserdb.blogspot.com/
06:06:56 <tswett> Also inspired by category theory, but I know far less about category theory than Spivak et al.
06:07:15 <shachaf> why do you no so much about Spivak et al.
06:07:53 <tswett> I'm hoping to borrow their ideas and incorporate them into my thing.
06:20:15 <Cale> 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 <Cale> and it ought to end up looking *something* a little along those lines... I think
06:21:28 <hppavilion[1]> tswett: A solid mathematical foundation? I think you mean gaseous, given that it's category theory
06:24:56 <hppavilion[1]> tswett: The second query. You asked, so I answered.
06:26:12 <Elronnd> holy fuck I'm creating a monster
06:26:27 <hppavilion[1]> 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 <Elronnd> I...think my lang might be comparable to malbolge
06:27:27 <shachaf> that would have been helpful if i was free to finally talk in a klingon-themed accent
06:33:43 <shachaf> do something useful and figure out an online algorithm for strongly connected components
06:38:49 <HackEgo> [wiki] [[User:Elronnd/Fell]] N https://esolangs.org/w/index.php?oldid=50114 * Elronnd * (+1695) Syntax and stuffs
06:40:11 <Elronnd> can someone read over what I wrote there and make sure it isn't too unclear?
06:42:13 <hppavilion[1]> Elronnd: A lot of code in the article isn't in monospace. I disprove.
06:43:23 <Elronnd> I thought this wiki accepted the use of ` ` as monospace delimiters
06:43:37 <Elronnd> I'm about halfway done fixing it
06:44:28 -!- super_bender has quit (Ping timeout: 260 seconds).
06:44:46 <HackEgo> [wiki] [[User:Elronnd/Fell]] https://esolangs.org/w/index.php?diff=50115&oldid=50114 * Elronnd * (+154) fix syntax
06:49:27 <HackEgo> [U+0069 LATIN SMALL LETTER I] [U+0365 COMBINING LATIN SMALL LETTER I]
06:50:13 <Elronnd> hppavilion[1]: aside from that, though, anything I haven't made clear yet?
06:52:22 <shachaf> that's a good way to write i,i
07:01:00 <hppavilion[1]> shachaf: Yes. In theory, it should be an 'i' with the tidle replaced with another 'i'
07:04:46 <shachaf> Cale: Is there any way to get access to the Prismata events against the computer?
07:07:58 <HackEgo> [U+0131 LATIN SMALL LETTER DOTLESS I] [U+0365 COMBINING LATIN SMALL LETTER I]
07:09:31 <hppavilion[1]> oerjan: The dots/tittles in 'i' and 'j' are removed and replaced when you apply a diacritic, traditionally
07:09:32 <oerjan> argh that's actually a word
07:11:20 <shachaf> of course U+303 is called a tidle
07:13:28 <hppavilion[1]> (AKA Notta's Analogy Transposition Theorem (NATT))
07:14:05 <oerjan> hppavilion[1]: itym NTAT hth
07:14:47 <hppavilion[1]> oerjan: That is an alternative name, but I was still right. hth.
07:18:14 <shachaf> sounds like an interchange law hth
07:18:18 <shachaf> https://wikimedia.org/api/rest_v1/media/math/render/svg/caac30a7a03a9304307fe2a7fd0127be2c5f0dc7
07:18:57 <shachaf> i bet there's some 2-categorical formalization of it
07:21:10 <shachaf> Oh, I guess the other ones don't.
07:21:16 <hppavilion[1]> 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 <shachaf> OK, sounds like, uh, a distributive of a thing I don't remember.
07:23:45 <shachaf> I guess a:A::b:B can mean a/A = b/B
07:23:52 <shachaf> In which case certainly a/b = A/B
07:24:48 <shachaf> But there's some algebraic thing I'm not remembering.
07:29:05 -!- benderB787 has joined.
07:31:49 <shachaf> (A -> a) <-> (B -> b) <===> (b -> a) <-> (B -> A) ?
07:31:50 <hppavilion[1]> 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 <oerjan> @check \a' a b' b -> (((a' :: Bool) <= a) == (b' <= b)) == ((b <= a) == (b' <= a'))
07:35:59 <lambdabot> *** Failed! Falsifiable (after 2 tests):
07:37:07 <shachaf> oerjan: well, i was just trying out something that was contravariant in one thing and covariant in the other
07:37:26 <shachaf> maybe it should be a&~A or something
07:37:43 <shachaf> is there an operator for \a b -> a && not b
07:38:05 <oerjan> by de morgan's law, you're not going to do much better with that
07:39:16 <shachaf> of course it's not (a -> b)
07:39:24 <shachaf> 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 <shachaf> Maybe some linear logic operators would do what I want?
07:40:25 <shachaf> That looks like the mallet to me.
07:40:43 <shachaf> the saucepan is malleable hth
07:41:44 <shachaf> speaking of damnation did you ever read that short story by chiang
07:42:13 <shachaf> http://will.tip.dhappy.org/revolution/Technoanarchist/plan/.../book/Ted%20Chiang%20-%20Hell%20Is%20The%20Absence%20Of%20God/
07:46:38 <shachaf> would you read a one-page short story by chiang
07:47:04 <shachaf> it is http://www.nature.com/nature/journal/v436/n7047/full/436150a.html
07:49:32 <oerjan> @tell ais523 <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...
08:06:37 -!- Frooxius has joined.
08:35:40 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
08:47:44 <HackEgo> [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=50116&oldid=50098 * Slnetaiga * (+13) Added OOLANG
08:53:05 <HackEgo> [wiki] [[OOLANG]] N https://esolangs.org/w/index.php?oldid=50117 * Slnetaiga * (+1048) Created
08:54:47 -!- AnotherTest has joined.
09:05:49 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50118&oldid=50117 * Slnetaiga * (+1650) Added simple docs
09:06:24 <HackEgo> [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 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50120&oldid=50119 * Slnetaiga * (+161)
09:16:18 <HackEgo> [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 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50122&oldid=50121 * Slnetaiga * (+216) Added math operands
09:32:19 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50123&oldid=50122 * Slnetaiga * (+244) Added Truth-machine example
09:41:09 <HackEgo> [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 <HackEgo> [wiki] [[Special:Log/upload]] upload * Slnetaiga * uploaded "[[File:OOLANG-logo.png]]"
10:20:55 -!- ^v^v has changed nick to ^v.
10:21:04 <HackEgo> [wiki] [[Special:Log/upload]] upload * Slnetaiga * uploaded "[[File:OOLANG.png]]"
10:22:55 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50127&oldid=50123 * Slnetaiga * (+314) Added logo and table
10:23:49 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50128&oldid=50127 * Slnetaiga * (+11)
10:24:43 <HackEgo> [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 <boily> fungot: bon matin.
11:11:20 <fungot> boily: yep that's really scary it you know i what do you read
11:11:35 <boily> fungot: you scare me enough already as it is.
11:11:39 <fungot> boily: i gotta good feeling this year alone to establish you know um and online i'm online quite a bit
11:11:47 <boily> fungot: yes you are.
11:11:47 <fungot> 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 <boily> 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 <HackEgo> [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=50130&oldid=50124 * Slnetaiga * (+30)
11:27:07 <fizzie> boily: To be fair, a soccer field is a rectangle.
11:27:27 <fizzie> fungot: Use more punctuation, you're very hard to read.
11:27:27 <fungot> fizzie: and there's high school too and and i
11:28:03 <int-e> fizzie: look, it used an apostrophe... that's quite adbvanced.
11:31:36 <boily> fizzie: fizziello. I had this mental picture of a rectangular soccer ball.
11:31:59 <boily> fungot: no, high school is an illusion.
11:31:59 <fungot> boily: ah i'm sure you can probably hear like two sides of the country was really low it was like
11:38:15 <HackEgo> [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 <fizzie> I don't think this corpus works so well.
11:42:53 <fungot> Selected style: europarl (European Parliament speeches during approx. 1996-2006)
11:43:15 <fizzie> fungot: So do you think they could trigger Article 50 without consulting the Parliament?
11:43:16 <fungot> 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 <fizzie> (The news here is again nothing but Brexit.)
11:45:03 <int-e> "Any Member State may decide to withdraw from the Union in accordance with its own constitutional requirements."
11:45:31 <int-e> it really seems to be up to *your* constitution.
11:51:54 -!- LKoen has quit (Remote host closed the connection).
11:52:18 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50132&oldid=50129 * Slnetaiga * (+83)
11:58:53 <fungot> 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:04 <fungot> Selected style: youtube (Some YouTube comments)
11:59:08 <fungot> boily: it's terrible that they forgot to turn on nbc, cuz..the pic was frozen right on this
12:00:35 <int-e> fungot: you have odd preferences
12:00:35 <fungot> int-e: and, goodness gracious, most people are just racist comments posted by small minded gimps that want to prove me??
12:01:08 <int-e> fungot: people have been killed for saying less offensive things...
12:01:08 <fungot> 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 <int-e> pitcure is nice, hmm
12:02:20 -!- boily has quit (Quit: SOLO CHICKEN).
12:09:17 <fizzie> fungot: So how about those aeroplanes then?
12:09:17 <fungot> 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 <fizzie> fungot: I don't think people dying is "kinda funny".
12:09:38 <fungot> fizzie: good luck sincerely or something like that they would wait till nov. 10th.
12:09:50 <fizzie> fungot: That's only five days away!
12:09:50 <fungot> fizzie: what the candy tastes like.
12:09:54 <int-e> is it hinting at airbus mutilating people?
12:10:19 <fizzie> In five days from now, yes.
12:10:56 <fizzie> Probably not a coincidence that the trumplection is on the 8th.
12:22:46 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50133&oldid=50132 * Slnetaiga * (+262) Added deadfish interpreter
12:24:38 <HackEgo> [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=50134&oldid=49716 * Slnetaiga * (+310) Added oolang
12:24:52 <HackEgo> [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=50135&oldid=50134 * Slnetaiga * (-1) /* OOLANG] */
12:26:19 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50136&oldid=50133 * Slnetaiga * (+61)
12:33:10 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50137&oldid=50136 * Slnetaiga * (-4) /* Deadfish interpreter */
12:33:32 <HackEgo> [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 <HackEgo> [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=50139&oldid=50138 * Slnetaiga * (+52)
14:25:36 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50140&oldid=50137 * Slnetaiga * (+52) /* Deadfish interpreter */
14:32:33 <HackEgo> [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=50141&oldid=50139 * Slnetaiga * (-1) OOLANG
14:32:39 <HackEgo> [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 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50143&oldid=50142 * Slnetaiga * (+933)
16:55:49 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50144&oldid=50143 * Slnetaiga * (+0)
17:03:57 -!- ais523 has joined.
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 <Zarutian> 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 <rbcuJKdnx> 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 <Zarutian> how come that I get the PART message of that bot before the PRIVMSG ?
17:55:03 <ais523> I didn't, the privmsg came first for me
17:55:34 <Zarutian> 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 <izalove> https://en.wikipedia.org/wiki/Context_switch#Hardware_vs._software
17:59:48 <izalove> Context switching can be performed primarily by software or hardware.
18:01:07 -!- Lord_of_Life has quit (Excess Flood).
18:02:12 -!- Lord_of_Life has joined.
18:04:04 <HackEgo> [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 <Zarutian> 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 <izalove> this is the most informative page ever
18:09:49 <Zarutian> 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 <zzo38> 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 <tswett> @tell hppavilion[1] That would have been helpful, if it weren't for the fact that I actually knew that already.
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 <zzo38> 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 <shachaf> Do you make AGPL software?
19:16:17 <izalove> you can sell software and code and forbid redistribution and still allow users to tailor the program to suit their needs
19:18:15 <zzo38> It is mostly public domain rather than AGPL
19:19:08 <zzo38> 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 <zzo38> (There are also the reasons the FSF gives that you should not forbid redistribution too, but there are other reasons too)
19:22:29 <zzo38> 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 <Zarutian> 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 <Zarutian> 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 <HackEgo> [wiki] [[Special:Log/newusers]] create * Zemeckis * New user account
21:34:36 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=50146&oldid=50072 * Zemeckis * (+359)
21:34:48 <HackEgo> [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 <UGuEsRWv> 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: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 <pikhq> 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:05 -!- grumble has joined.
22:17:46 <pikhq> 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:18:42 <pikhq> 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 <ais523> pikhq: I wasn't annoyed at you, I was annoyed at the spambot
22:20:13 -!- augur has joined.
22:20:14 * pikhq mutters at US politics a bit. 3 more days...
22:21:39 <ais523> I've been following it from the UK and being really worried about it
22:21:48 <pikhq> That's fair, I'm worried too.
22:22:19 <pikhq> Unpopular US politician v literal fascist, joy of joys.
22:22:52 <ais523> pikhq: you might be amused by this: https://petition.parliament.uk/petitions/114003
22:23:09 <ais523> (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 <ais523> <Paul Flynn MP> 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 <ais523> 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 <ais523> wait, these people were rigging votes back in /January/?
22:26:40 <pikhq> It's frankly pretty standard alt right BS.
22:27:00 <pikhq> Remember, we're talking about people who think 4chan has been taken over by "SJWs".
22:27:23 <FireFly> Ah, that one's dead already
22:27:25 <HackEgo> [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 <FireFly> er, *@189.54.225.54 that is
22:27:41 <HackEgo> [wiki] [[BurgerFlipper]] https://esolangs.org/w/index.php?diff=50149&oldid=50148 * Zemeckis * (-2)
22:27:43 <ais523> pikhq: I know, I just hadn't realised they'd been organized that long
22:27:54 <ais523> FireFly: most of the spam (in this and other channels) is from one ISP
22:28:15 <FireFly> that's not really viable for freenode unfortunately :p
22:28:53 <HackEgo> [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:29:13 <pikhq> 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 <ais523> oh wow, that esolang is even worse than I thought it would be from the edit summary
22:29:45 <HackEgo> [wiki] [[Joke language list]] https://esolangs.org/w/index.php?diff=50151&oldid=50088 * Zemeckis * (+20)
22:30:01 <ais523> at least the creator seems to /know/ it's terrible :-P
22:30:29 <pikhq> 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 <HackEgo> [wiki] [[User:Zemeckis]] https://esolangs.org/w/index.php?diff=50152&oldid=50147 * Zemeckis * (+141)
22:31:38 <pikhq> It gives "980-0804 Miyagi-ken Sendai-shi Aoba-ku Kokubuncho 4-10-20 Sendai 401". Which is... very incorrect.
22:33:27 <HackEgo> [wiki] [[Talk:BurgerFlipper]] https://esolangs.org/w/index.php?diff=50153&oldid=50150 * Zemeckis * (+94)
22:34:51 <HackEgo> [wiki] [[BurgerFlipper]] https://esolangs.org/w/index.php?diff=50154&oldid=50149 * Zemeckis * (+1)
22:40:53 <HackEgo> [wiki] [[BurgerFlipper]] https://esolangs.org/w/index.php?diff=50155&oldid=50154 * Zemeckis * (+0)
22:41:03 <pikhq> Correct address format would be... "Sendai 401\n4-10-20 Kokubuncho, Aoba-ku\nSendai Miyagi-ken 980-0804"
22:43:16 <pikhq> (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 <HackEgo> [wiki] [[Talk:BurgerFlipper]] https://esolangs.org/w/index.php?diff=50156&oldid=50153 * Zemeckis * (+86)
22:47:18 <HackEgo> [wiki] [[BurgerFlipper]] https://esolangs.org/w/index.php?diff=50157&oldid=50155 * Zemeckis * (+22)
22:50:41 <HackEgo> [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).