←2016-11-04 2016-11-05 2016-11-06→ ↑2016 ↑all
00:00:37 <xa0> *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 <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:04 <lambdabot> Fractional b => b -> [b]
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:19:33 <lambdabot> Fractional b => b -> [b]
00:21:42 <int-e> > succ (1/2) :: Rational -- silly class instances...
00:21:44 <lambdabot> 3 % 2
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: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:25:46 <int-e> no.
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> error:
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:43:35 <shachaf> `le/rn quote format
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:49:15 <oerjan> boileyb
00:51:50 -!- wiggle has quit (Remote host closed the connection).
00:52:01 <boily> boileyb?
00:52:06 <boily> bonsœrjan.
00:52:23 <oerjan> ?desufnoc
00:52:24 <lambdabot> Unknown command, try @list
00:53:23 -!- moony has joined.
00:53:33 <boily> .hdt
00:53:38 <boily> mhelloony.
00:53:56 -!- moonheart08 has quit (Ping timeout: 260 seconds).
00:59:28 <boily> `wisdom
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 <oerjan> `dowg victoria
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 <oerjän> learn Victoria was the most victorious queen the world has ever known.
00:59:28 <oerjan> slowego
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:07:11 <hppavilion[1]> boily: itym east hth
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:12:50 <hppavilion[1]> hth.
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:29:46 <myname> that's not a word
01:30:18 <myname> also, it is doktor because you name him
01:30:41 <boily> mynartzello.
01:31:20 <myname> there is arzt with the plural ärzte
01:37:00 <quintopia> coily
01:37:16 <boily> quinthellopia.
01:37:44 <quintopia> how life?
01:38:33 <quintopia> huh. sbux espresso cloud ipa is p good
01:40:25 <quintopia> fungot: do u like ipa?
01:40:25 <fungot> quintopia: ( ( but uh)) like how much it was more fun to teach laughter um
01:40:47 <quintopia> fungot: do u still fnord?
01:40:47 <fungot> quintopia: i- mn no m- it kind of fnord
01:40:56 <quintopia> :D
01:41:22 <boily> :D
01:42:02 <quintopia> ^botsnack
01:42:03 <fungot> Oh nom nom nom!
01:42:15 <boily> life: tteokbokki is good, Captain Sonar is good, burritos are good.
01:43:40 <quintopia> speaking of that
01:43:50 <quintopia> had dinner at bbq takorea
01:43:54 -!- Jafet has joined.
01:43:57 <quintopia> if you cant tell
01:43:59 <boily> oh! what did you at?
01:44:12 <quintopia> that means korean-mexican fusion
01:44:24 * boily groans at the pun
01:44:35 <quintopia> sushi had the bibimbap burrito
01:44:42 <quintopia> i had spicy ramyuns
01:45:14 <quintopia> they gave a free bbq taco too.
01:45:48 <quintopia> what is capt sonar
01:46:21 <boily> sounds tasty!
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:02 <quintopia> fun
01:48:07 <boily> https://boardgamegeek.com/boardgame/171131/captain-sonar
01:48:29 <quintopia> i had a good gaming last saturday
01:48:59 <quintopia> huge round of spaceteam, followed by a few attempts to game the game (failed)
01:49:08 <quintopia> ten people at once
01:50:29 <boily> !
01:51:06 <quintopia> spaceteam is the best
01:51:15 <quintopia> you ever play?
01:51:42 <quintopia> the card game?
01:52:11 <quintopia> its as loud as Pit, but crazier
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:29 <quintopia> good luck
01:57:36 <quintopia> bon nuily
01:57:37 <boily> bonnnuitopia!
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:15:58 <Jafet> 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 <moony> ![?])[?]
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:05:00 <Cale> yep
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:12:30 <lambdabot> Consider it noted.
03:20:13 <oerjan> `? oop
03:20:22 <HackEgo> oop? ¯\(°​_o)/¯
03:20:27 <oerjan> r.i.p. HackEgo speed
03:21:16 <shachaf> research in potion
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:42 <shachaf> oops
03:22:50 <oerjan> hm?
03:22:53 <oerjan> `? oops
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:23:35 <oerjan> looks fine to me hth
03:24:04 <shachaf> When you pun without noticing it, those puns aren't oops, right?
03:24:18 <shachaf> `? klein bottle
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:39 <shachaf> `? oerjan
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:24:50 <oerjan> oops
03:24:56 <oerjan> OKAY
03:24:59 <oerjan> `revert
03:25:09 <shachaf> `learn is confusing hth
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:13 * pikhq curses, loudly.
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:28 <shachaf> `? pokemon
03:47:32 <HackEgo> A pokemon is a monster that you keep in your pocket.
03:47:42 <shachaf> `cwlprits pokemon
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:47:55 <HackEgo> tsweẗt
03:47:55 <FireFly> :(
03:47:56 <pikhq> Meloetta.
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:48:55 <FireFly> as in back up a savefile?
03:48:58 <pikhq> Yes.
03:49:07 <FireFly> annoying
03:49:07 <HackEgo> The password of the month is Bierstubë.
03:49:19 <HackEgo> 9130:2016-10-01 <oerjän> learn The password of the month is Bierstub\xc3\xab. \ 9030:2016-09-12 <oerjän> learn The password of the month is au c\xc5\x93ur de septembre \ 8887:2016-08-02 <oerjän> learn The password of the month is Strindberg \ 8877:2016-07-29 <oerjän> learn The password of the month is late. \ 8508:2016-06-17 <oerjä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:03 <FireFly> Ah
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:22 <FireFly> Yep, that sucks :\
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:29 <FireFly> Ah
03:53:31 <FireFly> :(
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:37 <pikhq> I checked.
03:54:41 <FireFly> ah
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:43 <tswett> `? pokemons
03:55:45 <HackEgo> A pokemon is a monster that you keep in your pocket. Taneb invented them.
03:55:48 <tswett> `? fishs
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:54 <Cale> shachaf: yeah
03:55:54 <tswett> `? sexs
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:07 <tswett> `? o
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:11 <shachaf> Cale: Right.
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:13:03 <shachaf> MWAHAHAHAHA
04:13:52 <shachaf> `? Cale
04:13:56 <HackEgo> Cale? ¯\(°​_o)/¯
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: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:14 <shachaf> `unicode e2 9b 84
04:18:18 <HackEgo> No output.
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:08 <lambdabot> "11100010 10011011 10000100"
04:19:33 <shachaf> > "10011011000100" ^? binary
04:19:36 <lambdabot> Just 9924
04:19:42 <shachaf> > "10011011000100" ^? binary . re hex
04:19:45 <lambdabot> Just "26c4"
04:19:49 <shachaf> `unicode 26c4
04:19:51 <HackEgo> ​⛄
04:20:02 <shachaf> `` unidecode "\$(unicode 26c4)"
04:20:06 <HackEgo> ​[U+26C4 SNOWMAN WITHOUT SNOW]
04:20:11 <shachaf> ok
04:20:16 <shachaf> that was too difficult tdnh
04:20:40 <shachaf> `? haiku
04:20:42 <HackEgo> ​🀨や⛄
04:20:57 <shachaf> `` unicode "\$(\? haiku)"
04:21:02 <HackEgo> U+1F028 MAHJONG TILE AUTUMN \ UTF-8: f0 9f 80 a8 UTF-16BE: d83cdc28 Decimal: &#127016; \ 🀨 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+3084 HIRAGANA LETTER YA \ UTF-8: e3 82 84 UTF-16BE: 3084 Decimal: &#12420; \ や \ 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:35 <shachaf> `quote hiragana
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:23:19 <pikhq> *shrug*
04:24:56 -!- godel has quit (Ping timeout: 250 seconds).
04:29:26 <oerjan> oops
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:34:04 <oerjan> shocking
04:47:19 <hppavilion[1]> What
04:47:21 <hppavilion[1]> I'm back
04:49:02 <hppavilion[1]> myname: Oh? I might have remembered it wrong
04:49:11 <hppavilion[1]> (Please have mercy, oerjan)
04:49:25 <hppavilion[1]> It might have been Arze or something
04:49:38 <hppavilion[1]> (Or maybe I forgot an umlaut on the A...)
04:51:07 <oerjan> Ärtze is the plural.
04:51:38 <oerjan> oops
04:51:47 <oerjan> *Ärzte
04:52:32 <oerjan> huh from ἀρχίατρος
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:22 <tswett> Unrelated...
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:26:36 <hppavilion[1]> Hm...
05:27:26 <hppavilion[1]> Maybe the NFL should turn the bracket into a sort(), rather than a max()
05:28:17 <Cale> tswett: lol
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:47 <alercah> `? Cale
05:29:48 <shachaf> Sum types would be too good for database users.
05:29:50 <HackEgo> Cale? ¯\(°​_o)/¯
05:30:24 <hppavilion[1]> Cale: Just use a graph database htbs
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:39:45 <tswett> hppavilion[1]: mmfm
05:40:05 <hppavilion[1]> tswett: I'm sure that's a genre of porn.
05:40:15 <hppavilion[1]> (...that's what you were trying to say, right?)
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:52:21 <hppavilion[1]> My favorite mathematical limerick is ⊤
05:52:40 <oerjan> `unidecode ⊤
05:52:43 <HackEgo> ​[U+22A4 DOWN TACK]
05:53:08 <hppavilion[1]> oerjan: That's the reduced form.
05:53:17 <hppavilion[1]> (2197: Great Baker's Gross)
05:53:17 <oerjan> O KAY
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:06 <hppavilion[1]> Elronnd: Well, Malbolge is a legit esolang, so...
05:57:10 <hppavilion[1]> (Not to mention Whitespace)
05:57:20 <oerjan> Elronnd: pretty hard to beat the competition
05:57:22 <shachaf> whitespace is easy on the eyes
05:57:23 <Elronnd> true, I guess
05:57:50 <oerjan> /// with /\ only hth
05:58:07 <Elronnd> it uses base 11, but the digits used aren't 0-9, a
05:58:08 <oerjan> also Unary
05:58:16 <Elronnd> they're completely random
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
05:59:45 <Elronnd> it uses "scow"?
06:00:06 <oerjan> it
06:00:09 <oerjan> argh
06:00:11 <Elronnd> s/it uses//g
06:00:18 <oerjan> `? scow
06:00:21 <HackEgo> Scow (S-cow) is canned meat made from cows with a lisp.
06:00:41 <Elronnd> wut
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:02:51 <Elronnd> spl doesn
06:02:54 <Elronnd> 't count
06:03:10 <hppavilion[1]> Elronnd: Brainfuck.
06:03:16 <hppavilion[1]> Elronnd: Befunge
06:03:25 <oerjan> ORK
06:03:45 <hppavilion[1]> Elronnd: C
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:18 <shachaf> know
06:07:19 <shachaf> what
06:07:21 <shachaf> scow
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:22:40 <hppavilion[1]> tswett: I like the second one better hth
06:22:58 <tswett> The second what?
06:25:40 <tswett> Ah. twhbhiiwftftiakta
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:27:47 <shachaf> tswett confirmed alien
06:29:49 <hppavilion[1]> tswett: ...I'm stuck on "f"
06:31:11 <hppavilion[1]> shachaf: kli̊ngòn?
06:33:09 <hppavilion[1]> (shachḁf is best chḁf)
06:33:43 <shachaf> do something useful and figure out an online algorithm for strongly connected components
06:34:47 <hppavilion[1]> \oren\: iͥ needs to be fonted twh
06:35:35 <shachaf> Oren de La Fontaine
06:38:13 <hppavilion[1]> i͌quality
06:38:49 <HackEgo> [wiki] [[User:Elronnd/Fell]] N https://esolangs.org/w/index.php?oldid=50114 * Elronnd * (+1695) Syntax and stuffs
06:39:09 <hppavilion[1]> Elronnd: Oh no! Are you OK?
06:39:28 <hppavilion[1]> I heard you fell
06:39:28 <hppavilion[1]> <cow.org/csi>
06:39:39 <Elronnd> I'm alright
06:39:49 <hppavilion[1]> (Wait, that's flash)
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:22 <oerjan> `unidecode iͥ
06:49:27 <HackEgo> ​[U+0069 LATIN SMALL LETTER I] [U+0365 COMBINING LATIN SMALL LETTER I]
06:49:34 <oerjan> wut
06:50:13 <Elronnd> hppavilion[1]: aside from that, though, anything I haven't made clear yet?
06:52:18 <shachaf> oerjan: oh man
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:54 <oerjan> `unidecode ıͥ
07:07:58 <HackEgo> ​[U+0131 LATIN SMALL LETTER DOTLESS I] [U+0365 COMBINING LATIN SMALL LETTER I]
07:08:03 <oerjan> hppavilion[1]: hth
07:08:16 <oerjan> wait, tidle?
07:08:22 <oerjan> THERE IS NOT TIDLE
07:08:22 <hppavilion[1]> oerjan: That doesn't render the same
07:08:33 <oerjan> the same as what?
07:08:39 <shachaf> oerjan: "tittle" hth
07:08:42 <hppavilion[1]> oerjan: Or, that doesn't render as expected
07:08:46 <hppavilion[1]> shachaf: omgty
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:09:44 <hppavilion[1]> oerjan: ?
07:10:43 <oerjan> "tittle". hth.
07:11:20 <shachaf> of course U+303 is called a tidle
07:11:38 <hppavilion[1]> shachaf: tilde. tiltte.
07:12:27 * hppavilion[1] . o O ( Law of analogies: a:A::b:B <-> a:b::A:B )
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:15:00 <oerjan> O AKY
07:17:03 <hppavilion[1]> oerjan: aslo, yewm iytm hht.
07:17:35 * hppavilion[1] . ø Ø ( Why deos nobdoy eevr say "ytim" twnh )
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:19:14 <hppavilion[1]> shachaf: No, because : and :: are different
07:19:28 <shachaf> So are ∘_0 and ∘_1
07:20:45 <hppavilion[1]> shachaf: In the link, the operators switch places
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:01 <hppavilion[1]> shachaf: a, b = 0 tsnh.
07:29:05 -!- benderB787 has joined.
07:30:25 <oerjan> s,/,-,g hth
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:35:59 <lambdabot> False True True True
07:36:03 <oerjan> shachaf: NOPE
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:38:58 <oerjan> it's not(a -> b)
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:08 <izalove> that's no hammer
07:40:09 <shachaf> Probably not.
07:40:25 <shachaf> That looks like the mallet to me.
07:40:35 <oerjan> the saucepan hth
07:40:43 <shachaf> the saucepan is malleable hth
07:41:00 <oerjan> damn straight ===\/\/
07:41:17 <shachaf> i,i damn bent
07:41:44 <shachaf> speaking of damnation did you ever read that short story by chiang
07:41:56 <oerjan> probably not.
07:42:13 <shachaf> http://will.tip.dhappy.org/revolution/Technoanarchist/plan/.../book/Ted%20Chiang%20-%20Hell%20Is%20The%20Absence%20Of%20God/
07:42:16 <shachaf> hth
07:43:06 <oerjan> iangtrthth
07:46:32 <shachaf> ok
07:46:38 <shachaf> would you read a one-page short story by chiang
07:46:50 <shachaf> published in Nature
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...
07:49:33 <lambdabot> Consider it noted.
07:50:20 <shachaf> ok
07:52:03 <hppavilion[1]> 1A4 hehehe
07:54:38 <int-e> hell-o world.
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:20:55 -!- ^v^v has changed nick to ^v.
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:35 <fungot> boily: my name is
11:11:39 <boily> fungot: fungot.
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 <fizzie> ^style europarl
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:45:39 <fizzie> No, up yours.
11:48:09 <int-e> so friendly
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:48 <boily> ^styles
11:58:53 <boily> ^style
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:02 <boily> ^style youtub
11:59:08 <boily> fungot: nostril?
11:59:08 <fungot> boily: it's terrible that they forgot to turn on nbc, cuz..the pic was frozen right on this
11:59:39 <int-e> `? nbc
11:59:48 <HackEgo> nbc? ¯\(°​_o)/¯
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: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:11:32 <moony> wb ais523
17:15:48 -!- moony has changed nick to grandpa.
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.
17:59:51 <izalove> thanks wikipedia
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.
18:38:55 <lambdabot> Consider it noted.
19:03:08 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds).
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)
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:08:07 <myname> lets bury these
22:12:45 <int-e> 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 <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:01 <pikhq> Sigh.
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:17:59 <ais523> what, again?
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:19:46 <pikhq> Yeah...
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:07 <pikhq> Highly.
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: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:27:56 <ais523> so I blocked the ISP
22:28:04 * FireFly nods
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:28:55 <ais523> indeed
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.