00:01:38 -!- tromp has joined.
00:02:14 -!- tromp has quit (Read error: Connection reset by peer).
00:02:38 -!- tromp has joined.
00:17:08 -!- Sgeo has joined.
00:30:10 -!- zzo38 has quit (Remote host closed the connection).
00:33:35 -!- zzo38 has joined.
00:34:35 <zzo38> Now I fixed it so that filters in PHIRC (this IRC client) is allowed to include regular expressions if it starts with a forward slash.
00:36:38 -!- oerjan has quit (Quit: ZZoon).
00:55:55 <myname> http://www.qdb.us/305734 that kinda reminds me of zzo
01:06:29 <HackEgo> [wiki] [[Indirect]] N http://esolangs.org/w/index.php?oldid=39242 * Quojil * (+2214) Initial documentation
01:08:49 -!- monotone has quit (Quit: restart).
01:09:49 -!- monotone has joined.
01:11:24 <HackEgo> [wiki] [[Indirect]] http://esolangs.org/w/index.php?diff=39243&oldid=39242 * Quojil * (+267) Specifications & another edit to only example... for now.
01:11:53 <HackEgo> [wiki] [[Dogescript]] http://esolangs.org/w/index.php?diff=39244&oldid=38025 * 216.38.135.42 * (+73) /* External Resources */
01:12:06 <HackEgo> [wiki] [[Indirect]] http://esolangs.org/w/index.php?diff=39245&oldid=39243 * Quojil * (+0) /* How is it different */
01:14:40 <HackEgo> [wiki] [[Indirect]] M http://esolangs.org/w/index.php?diff=39246&oldid=39245 * Quojil * (+16) Modified example again and fixed typo.
01:15:58 <HackEgo> [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=39247&oldid=39235 * Quojil * (+15) /* I */
01:23:47 <Sgeo> The Onion's Kelly is losing his grip
01:23:56 <Sgeo> The villain of the cartoon isn't covered in flies
01:25:35 <Sgeo> @run let reify = flip id; reflect = id in reify 6 (\p -> reflect p + reflect p)
01:26:28 <Sgeo> I am so tired of that example, it doesn't clarify anything
01:26:54 <Sgeo> I think what I want is an example of, e.g., passing around a username+password known only at runtime
01:27:32 * Sgeo starts reading
01:29:31 <^v> my kitteh is so flufffie
01:29:46 <Sgeo> Oh, so you can create the proxy out of thin air... I guess ScopedTypeVariables is needed to do that?
01:30:49 <elliott_> no. you can do it in other ways too.
01:31:12 <Sgeo> Now, if only this were someplace more obvious than some random paste that you get linked to if you ask the right question...
01:31:16 <elliott_> ScopedTypeVariables is never or at least only very rarely necessary, afaik.
01:31:25 <elliott_> reflection ships with more examples.
01:33:30 <Sgeo> The phantom type parameter in Report and Datum are strictly necessary, or not?
01:34:24 <elliott_> you would not want to eliminate them. they provide type safety.
01:34:42 <elliott_> you can mix multiple configurations in one program and they are tagged with the type. it is just like putting the configuration itself into the type.
01:35:05 <elliott_> if you eliminate the type parameter, then you just have to add Proxy arguments, but e.g. that Num instance would not be possible.
01:36:08 <elliott_> you can e.g., have (Int `Mod` n) where you can think of the n "phantom" type as actually just a natural
01:36:22 <elliott_> (and you can make instances so that you can use a TypeLit natural as an "n" there, as well as supporting runtime decision of n)
01:36:56 <elliott_> btw, all of this is in the paper, if you read it
01:37:24 <Sgeo> I know the paper has an example of using it for modulus arithmetic...
01:37:45 <Bike> the 6 example is pretty lol
01:39:03 <Sgeo> I like seeing a lot of examples. I think yours was the most helpful so far, but... I still wish it was someplace more accessible
01:40:47 <elliott_> I hereby release it under the CC0 1.0 Universal terms, available at https://creativecommons.org/publicdomain/zero/1.0/legalcode.
01:40:57 <elliott_> feel free to submit a patch to add it; I'd prefer no credit in the source.
01:42:37 <elliott_> (better quote those two lines in the pull request so there's no legal lawyering.)
01:44:28 <elliott_> or maybe I should GPL it just to be a pain. (too late now.)
01:46:56 <Sgeo> What should I call the file? I have a feeling you may not like the name ReaderLike.hs
01:47:46 <Bike> psh it's in public domain fuck elliott_
01:48:03 <Bike> ElliottSucksLol.hs
01:48:06 <elliott_> pretty much, do what you like with it :p
01:48:37 <elliott_> I don't want credit because I just wrote it ad-hoc and nobody should feel like I have creative rights over it.
01:49:05 <Sgeo> I tried to copy/paste your lines, they got eaten
01:50:28 <nooodl> hm is the "available at https://creativecommons.org/..." legally required
01:51:17 <Bike> i don't think you people understand the public domain very well
01:52:40 <Bike> i could take the code and tattoo it on my ass and sell photos of the ass and musical compositions based on the ass to Disney and elliott_ couldn't do shit.
01:53:10 <elliott_> nooodl: I don't think there's any clear standard. I think what I said is unambiguous enough for any court.
01:53:33 <elliott_> Sgeo: eaten...? well, just say you got permission from me to use it under CC0.
01:53:46 <Sgeo> Bike: Unless some country says that elliott_ isn't allowed to give permission away like that
01:53:54 <Sgeo> I think that's why CC0 exists
01:54:00 <Bike> too bad. taht's an ass state
01:54:05 <elliott_> CC0 still probably doesn't work everywhere.
01:55:19 <pikhq> CC0 probably works in more jurisdictions than GPL.
01:56:36 <pikhq> And it certainly works in more jurisdictions than a generic public domain grant. :)
01:57:24 <Bike> i only use the wtfpl personally
01:57:47 <pikhq> The WTFPL probably doesn't work in a decent handful of jurisdictions, though it definitely does under common law.
01:58:08 <Bike> that's the beauty of it: fuck those jurisdictionsssss
01:58:09 <nooodl> how can the wtfpl fail to work
01:58:41 <elliott_> nooodl: e.g. some countries don't let you just give away your rights without something in return like that
01:59:04 <Bike> my attitudes towards law is like a billion times more lackadaisical than most programmers and i love it
01:59:56 <pikhq> A sampling of github suggests it's actually much less lackadaisical than most programmers.
02:00:08 <pikhq> The typical repo on github is unlicensed. :)
02:00:30 <pikhq> The WTFPL might not work in all jurisdictions, but it definitely is a legal copyright license.
02:02:33 <Bike> "In May 2005, Daniel Wallace filed suit against the Free Software Foundation in the Southern District of Indiana, contending that the GPL is an illegal attempt to fix prices (at zero)." nice
02:02:59 <Bike> "Defendants argued that since it is impossible to maintain trade secrets while being compliant with GPL and distributing the work, they are not in breach of trade secrets" this is some good stuff
02:10:16 -!- SpaceWizard has quit (Read error: Operation timed out).
02:36:31 -!- aloril has quit (Ping timeout: 264 seconds).
02:50:14 -!- aloril has joined.
03:01:53 <Sgeo> elliott_: I'm starting to think you're right about trusting random Haskell over OpenSSL (not really... if it gets as many eyes looking at it as OpenSSL, then definitely... but the OpenSSL bug is really just anecdotal evidence, I think?)
03:02:56 <Bike> when have programmers ever used non-anecdotal evidence?
03:04:06 <Sgeo> I heard a programmer use non-anecdotal evidence just the other day
03:25:48 -!- ter2 has joined.
03:36:33 -!- ter2 has quit (Ping timeout: 240 seconds).
03:39:54 <Jafet> Bike: note that you can't conversely take Disney's stuff, because CTEA and 93/98/EEC
03:40:41 <Bike> my ass will hae to wait
03:41:02 -!- ter2 has joined.
03:43:09 -!- tromp_ has joined.
03:44:06 -!- tromp has quit (Ping timeout: 255 seconds).
03:55:26 -!- nooodl has quit (Quit: Ik ga weg).
04:01:37 <HackEgo> 2.74coin epitcoin hoycoin altiverowcoin rainfrecoin pathcoin alighcoin relcoin undanicasmicoin halfhacoin calcoin etercoin rencoin returncoin minocoin crading-booker)coin vollicoin gartrethintynskinguissioncoin sublecoin nnrcoin
04:03:57 <kmc> numberwangcoin
04:08:52 <Sgeo> I remember eating fish once, I don't remember what kind of fish
04:08:59 <Sgeo> Flounder? Is that a fish people eat
04:10:25 <Bike> https://twitter.com/RUST_HULK/status/453294938763976704 of course
04:12:41 * kmc has null-routed twitter locally
04:14:52 -!- tertu3 has joined.
04:14:53 -!- ter2 has quit (Read error: Connection reset by peer).
04:16:41 <Sgeo> OOOOOOOH https://github.com/chrisdone/foreign-store
04:17:14 <Sgeo> Blah, looks less smooth than in, say, CL or Smalltalk
04:17:22 <Sgeo> Still, better than DrRacket
04:20:53 <Sgeo> https://github.com/chrisdone/ghci-reload-demo
04:23:12 <Sgeo> "I shouldn’t have to tell anyone this but just in case: don’t use this in production."
04:24:45 <Bike> using a live image as production seems bad anyway...
04:25:32 <Sgeo> What do Erlangers do?
04:25:47 -!- tromp_ has quit (Remote host closed the connection).
04:26:23 -!- tromp has joined.
04:26:25 <kmc> "oh yeah, use me in production"
04:26:41 <Bike> i'm not ready to enter this porn dimension.
04:30:54 -!- tromp has quit (Ping timeout: 255 seconds).
04:33:42 <Sgeo> Wikipedia doesn't have Heartbleed yet
04:34:05 <Bike> http://en.wikipedia.org/wiki/Openssl#Heartbleed_bug ?
04:35:00 <Sgeo> And that's what I get for assuming that Wikipedia search works
04:35:17 <Sgeo> "known to attackers since March 2012."
04:35:19 <kmc> ♫ learnin' a lesson ♫
04:35:32 <Bike> learnin on a wish
04:36:39 -!- tertu3 has quit (Ping timeout: 255 seconds).
04:37:12 -!- aloril has quit (Read error: Operation timed out).
04:38:07 * kmc restarts irssi and his EC2 instance
04:38:09 <kmc> 21:38:09 up 186 days, 3:48, 6 users, load average: 0.57, 0.22, 0.12
04:38:16 -!- kmc has quit (Quit: leaving).
04:39:14 <Bike> the end of an era
04:40:22 -!- tomsmeding has joined.
04:41:18 -!- tomsmeding has left.
04:41:24 -!- kmc has joined.
04:41:58 <HackEgo> hebdcoin continucoin reding-boocoin clunkcoin illghcoin codifycoin singcoin rcelumcoin spoohcoin emmertcoin yourcoin q-refcoin temcoin etaincoin proofcoin haowcoin recuncoin nonicoin murprincoin apocoin
04:42:49 -!- ineiros has quit (Ping timeout: 240 seconds).
04:43:50 -!- ineiros has joined.
04:47:30 -!- Sorella has quit (Quit: It is tiem!).
04:51:41 <HackEgo> [wiki] [[Talk:MarioLANG]] http://esolangs.org/w/index.php?diff=39248&oldid=39239 * T.J.S.1 * (+440) Interpreter
04:52:58 <kmc> http://www.antichipotle.com/git/
04:53:22 <Bike> Firefox can't establish a connection to the server at www.antichipotle.com.
04:54:35 -!- aloril has joined.
04:57:04 * quintopia isn't using a vulnerable ssh. phew.
04:57:18 <kmc> there's a ssh vuln too?
04:58:26 <quintopia> oh wait. i think i misread that :P
04:59:24 <Bike> what if my password is my birthday
05:03:12 <zzo38> Bike: I don't care if it is or not. (Hopefully your date of birth doesn't change; I don't expect such things ever to change!!)
05:09:27 <quintopia> i wish my birthday got one year later every year
05:09:58 <kmc> zzo38: what if the calendar changes?
05:14:08 <zzo38> kmc: Then, you can write it in the new notation/calendar-based-system.
05:14:57 <zzo38> Already there is different kind of calendar, but Gregorian calendar is a common kind (and so is UNIX).
05:15:19 <zzo38> But you can figure out using, Discordian calendar instead, if you prefer to do so.
05:15:20 -!- Slereah_ has joined.
05:18:21 <fizzie> Fun fact: esolangs.org had Debian wheezy installed, but the line for security updates was for squeeze (oldstable)...
05:18:36 <fizzie> (sources.list line, that is.)
05:26:48 -!- Bike has quit (Quit: leaving).
05:36:18 -!- password2 has joined.
05:59:40 <HackEgo> [wiki] [[Kolmogorov machine]] http://esolangs.org/w/index.php?diff=39249&oldid=24661 * 99.118.9.187 * (+24) /* See Also */
06:02:01 <Slereah_> The Andrei Machine is the best
06:03:00 <maurer> Out of curiosity, does anyone know how the heartbleed thing works?
06:03:03 <maurer> the site is not super clear
06:06:14 -!- conehead has quit (Quit: Computer has gone to sleep).
06:16:36 <HackEgo> [wiki] [[Kolmogorov machine]] http://esolangs.org/w/index.php?diff=39250&oldid=39249 * 99.118.9.187 * (+146) Я не говорю по-русски
06:28:55 <Sgeo> "Responsible disclosure (n.): coming up with a cool logo, homepage and name for your terrifying bug before panicking the Internet with it"
06:32:34 -!- `^_^v has quit (Ping timeout: 252 seconds).
06:45:25 <fizzie> Oh, the company behind that thing (Codenomicon) is originally Finnish.
06:45:54 -!- Sgeo_ has joined.
06:49:30 -!- Sgeo has quit (Ping timeout: 255 seconds).
07:01:14 <fizzie> Heh, kind of funny: StartSSL provides certificates for free, but asks a $24.90 "handling fee" for revocation.
07:04:24 -!- `^_^v has joined.
07:05:23 <kmc> "Not a classy industry, is it?" "It ranks slightly behind three-card monty but two spots ahead of straight daytime flashing"
07:06:22 <kmc> lexande sometimes claims to be an X.509 certificate authority but he won't give me a cert
07:07:43 <fizzie> I was hoping for this DANE thing to get popularly supported (it's not like a free StartSSL certificate "validates" anything else than a domain name either), but it doesn't seem like it.
07:12:25 <lexande> kmc: i suspect honest lexande may be too honest to be an X.509 certificate authority
07:17:50 -!- ^v has quit (Ping timeout: 252 seconds).
08:25:20 -!- Patashu has joined.
08:30:12 -!- Patashu[Zzz] has joined.
08:30:12 -!- Patashu has quit (Disconnected by services).
08:44:50 -!- Patashu[Zzz] has quit (Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
08:58:31 -!- oerjan has joined.
09:01:22 -!- Slereah has joined.
09:03:53 -!- Slereah_ has quit (Ping timeout: 246 seconds).
09:16:20 -!- Patashu has joined.
09:16:56 -!- conehead has joined.
09:18:38 -!- aloril has quit (Ping timeout: 240 seconds).
09:23:08 -!- password2 has quit (Ping timeout: 240 seconds).
09:24:19 <fizzie> "error: command failed: non-zero return code: -11"
09:24:25 <fizzie> It's good to have verbose diagnostics.
09:25:07 <oerjan> someone turned that command down to eleven
09:29:30 -!- yorick has joined.
09:30:15 <fizzie> It seems to be a segfault, actually. Didn't recognize.
09:30:34 -!- nooodl has joined.
09:38:18 -!- aloril has joined.
09:39:00 -!- Patashu has quit (*.net *.split).
09:39:02 -!- Sgeo_ has quit (*.net *.split).
09:39:02 -!- ineiros has quit (*.net *.split).
09:39:03 -!- zzo38 has quit (*.net *.split).
09:39:03 -!- john_metcalf has quit (*.net *.split).
09:39:07 -!- Frooxius has quit (*.net *.split).
09:39:09 -!- EgoBot has quit (*.net *.split).
09:39:09 -!- trn has quit (*.net *.split).
09:39:09 -!- jix has quit (*.net *.split).
09:39:11 -!- Speed` has quit (*.net *.split).
09:39:11 -!- mtve has quit (*.net *.split).
09:39:11 -!- Jafet has quit (*.net *.split).
09:39:13 -!- lifthrasiir has quit (*.net *.split).
09:39:13 -!- b_jonas has quit (*.net *.split).
09:39:14 -!- myndzi has quit (*.net *.split).
09:39:19 -!- Patashu has joined.
09:39:19 -!- Speed` has joined.
09:39:21 -!- myndzi has joined.
09:39:22 -!- Jafet has joined.
09:39:25 -!- mtve has joined.
09:39:27 -!- Sgeo has joined.
09:39:29 -!- jix has joined.
09:39:34 -!- Jafet has quit (Changing host).
09:39:34 -!- Jafet has joined.
09:39:39 -!- Frooxius has joined.
09:39:40 -!- yorick has quit (Read error: Connection reset by peer).
09:39:44 -!- Frooxius has quit (*.net *.split).
09:39:44 -!- Sgeo has quit (*.net *.split).
09:39:44 -!- Jafet has quit (*.net *.split).
09:39:45 -!- aloril has quit (*.net *.split).
09:39:47 -!- monotone has quit (*.net *.split).
09:39:47 -!- augur has quit (*.net *.split).
09:39:48 -!- vravn has quit (*.net *.split).
09:39:52 -!- lexande has quit (*.net *.split).
09:39:58 -!- lexande has joined.
09:40:00 -!- TodPunk has quit (*.net *.split).
09:40:01 -!- trout has quit (*.net *.split).
09:40:01 -!- samebchase has quit (*.net *.split).
09:40:02 -!- Gregor has quit (*.net *.split).
09:40:02 -!- mroman has quit (*.net *.split).
09:40:03 -!- ion has quit (*.net *.split).
09:40:03 -!- shachaf has quit (*.net *.split).
09:40:03 -!- douglass_ has quit (*.net *.split).
09:40:03 -!- FireFly has quit (*.net *.split).
09:40:10 -!- augur has joined.
09:40:13 -!- mroman has joined.
09:40:17 -!- Gregor has joined.
09:40:17 -!- samebchase has joined.
09:40:29 -!- TodPunk has joined.
09:40:41 -!- aloril has joined.
09:40:42 -!- Frooxius has joined.
09:40:53 -!- trn has joined.
09:41:14 -!- FireFly has joined.
09:41:20 -!- fizzie has quit (*.net *.split).
09:41:24 -!- atehwa_ has quit (*.net *.split).
09:41:27 -!- nortti has quit (*.net *.split).
09:41:33 -!- fizzie has joined.
09:41:34 -!- nortti has joined.
09:42:14 -!- kmc has quit (*.net *.split).
09:42:15 -!- rodgort has quit (*.net *.split).
09:42:16 -!- elliott_ has quit (*.net *.split).
09:42:18 -!- jconn has quit (*.net *.split).
09:42:22 -!- oklopol has quit (*.net *.split).
09:42:26 -!- myname has quit (*.net *.split).
09:42:28 -!- realzies has quit (*.net *.split).
09:42:37 -!- oklopol has joined.
09:42:38 -!- jconn has joined.
09:42:48 -!- myname has joined.
09:42:55 -!- realzies has joined.
09:42:55 -!- realzies has quit (Changing host).
09:42:55 -!- realzies has joined.
09:42:57 * oerjan perhaps should read about that SSL vulnerabiliy
09:43:57 -!- Sgeo has joined.
09:44:08 -!- ineiros has joined.
09:44:17 -!- EgoBot has joined.
09:45:19 -!- monotone has joined.
09:46:08 -!- ion has joined.
09:46:18 -!- vravn has joined.
09:46:25 -!- atehwa has joined.
09:47:32 -!- kmc has joined.
09:47:36 -!- rodgort has joined.
09:47:39 -!- Sellyme has quit (Excess Flood).
09:49:18 -!- lifthrasiir has joined.
09:49:50 -!- Sellyme has joined.
09:51:05 -!- douglass_ has joined.
09:52:09 -!- shachaf has joined.
09:54:25 -!- elliott has joined.
09:54:49 -!- elliott has changed nick to Guest49575.
10:03:33 -!- trn has quit (*.net *.split).
10:03:33 -!- myndzi has quit (*.net *.split).
10:03:44 -!- scoff has quit (*.net *.split).
10:03:56 -!- myndzi has joined.
10:04:09 -!- b_jonas has joined.
10:05:18 -!- trn has joined.
10:06:40 -!- conehead has quit (Quit: Computer has gone to sleep).
10:07:17 <HackEgo> [wiki] [[Talk:MarioLANG]] http://esolangs.org/w/index.php?diff=39251&oldid=39248 * Oerjan * (+103) /* Interpreter */ Of course
10:07:23 -!- scoff has joined.
10:09:11 -!- yorick has joined.
10:12:18 <HackEgo> [wiki] [[Kolmogorov machine]] http://esolangs.org/w/index.php?diff=39252&oldid=39250 * Oerjan * (+23) bullets, and spell Russian title with Russian letters
10:12:20 <Taneb> I like the wiki edits
10:14:52 <oerjan> tomorrow: DMM's new comic
10:14:52 <Taneb> That is, I like that HackEgo posts them
10:15:01 <Taneb> oerjan, oh god I forgot about that
10:15:18 -!- myndzi has quit (Ping timeout: 264 seconds).
10:15:43 <oerjan> he has revealed a hint that the name is a tv trope
10:16:42 <Taneb> I've stopped following the IWC rerun :(
10:17:03 <Taneb> Might try to get back into it
10:17:05 <oerjan> well this was in the forum.
10:17:18 <Taneb> I haven't been there for aaaageees
10:17:48 <oerjan> he also said "This will narrow things down quite a bit:" i smell irony
10:18:04 <Taneb> That sounds more like sarcasm
10:18:32 * oerjan is vague on those fine distinctions
10:18:48 <Taneb> I just assume that nothing is irony
10:18:57 <Taneb> I know what dramatic irony and metallurgic irony are
10:19:52 -!- myndzi has joined.
10:19:53 <oerjan> i googled that and the most promising hit was tvtropes
10:20:08 <Taneb> Metallurgic irony is "sort of like iron"
10:24:02 -!- boily has joined.
10:26:45 -!- realzies has quit (*.net *.split).
10:26:49 -!- nortti has quit (*.net *.split).
10:26:53 -!- Gregor has quit (*.net *.split).
10:26:53 -!- samebchase has quit (*.net *.split).
10:26:57 -!- jix has quit (*.net *.split).
10:26:59 -!- Slereah has quit (*.net *.split).
10:27:03 -!- nisstyre has quit (*.net *.split).
10:27:07 -!- HackEgo has quit (*.net *.split).
10:27:08 -!- copumpkin has quit (*.net *.split).
10:27:12 -!- tromp__ has quit (*.net *.split).
10:27:14 -!- glogbackup has quit (*.net *.split).
10:27:18 -!- Gracenotes has quit (*.net *.split).
10:27:18 -!- JZTech101 has quit (*.net *.split).
10:27:20 -!- ggherdov_ has quit (*.net *.split).
10:27:25 -!- Gracenotes has joined.
10:27:26 -!- Gregor has joined.
10:27:32 -!- nortti has joined.
10:27:39 -!- samebchase has joined.
10:27:41 -!- HackEgo has joined.
10:27:42 -!- JZTech101 has joined.
10:27:46 -!- Slereah_ has joined.
10:27:47 -!- realzies has joined.
10:27:48 -!- tromp__ has joined.
10:27:51 -!- jix has joined.
10:27:52 -!- realzies has quit (Changing host).
10:27:52 -!- realzies has joined.
10:27:55 -!- copumpkin has joined.
10:27:58 -!- Gregor has changed nick to Guest72108.
10:28:05 -!- JZTech101 has changed nick to Guest79765.
10:28:17 -!- nisstyre has joined.
10:32:12 -!- SpaceWizard has joined.
10:38:53 -!- conehead has joined.
10:39:44 -!- Guest72108 has quit (*.net *.split).
10:39:45 -!- yorick has quit (*.net *.split).
10:39:49 -!- atehwa has quit (*.net *.split).
10:39:55 -!- aloril has quit (*.net *.split).
10:39:55 -!- mroman has quit (*.net *.split).
10:39:58 -!- nooodl has quit (*.net *.split).
10:40:10 -!- atehwa has joined.
10:40:11 -!- Gregor has joined.
10:40:16 -!- yorick has joined.
10:40:16 -!- nooodl has joined.
10:40:36 -!- mroman has joined.
10:40:39 -!- aloril has joined.
10:43:37 -!- ggherdov_ has joined.
11:08:45 -!- boily has quit (Quit: DEGOVERNMENTED CHICKEN).
11:15:55 <fizzie> "checking for gcc... icc" "checking whether we are using the GNU C compiler... yes" hmm.
11:25:09 -!- conehead has quit (Quit: Computer has gone to sleep).
11:47:41 -!- realzies has quit (Ping timeout: 264 seconds).
11:54:44 -!- Patashu has quit (Ping timeout: 252 seconds).
11:59:27 -!- realzies has joined.
12:00:12 -!- variable has joined.
12:07:51 -!- tromp has joined.
12:12:01 -!- password2 has joined.
12:13:43 -!- Guest49575 has quit (Quit: Reconnecting).
12:13:49 -!- elliott has joined.
12:14:09 -!- elliott has quit (Client Quit).
12:14:17 -!- elliott has joined.
12:15:23 -!- tromp has quit (Remote host closed the connection).
12:15:56 -!- Sgeo has quit (Read error: Connection reset by peer).
12:16:00 -!- tromp has joined.
12:18:32 -!- myndzi has quit (Ping timeout: 252 seconds).
12:18:55 -!- trn has quit (Ping timeout: 252 seconds).
12:20:20 -!- tromp has quit (Ping timeout: 246 seconds).
12:21:52 -!- Jafet has joined.
12:23:00 -!- myndzi has joined.
12:23:14 -!- trn has joined.
12:31:07 -!- nucular has joined.
12:49:55 -!- augur has quit (Quit: Leaving...).
13:14:13 -!- ^v has joined.
13:30:17 -!- oerjan has quit (Quit: leaving).
13:59:45 -!- password2 has quit (Read error: Connection reset by peer).
14:06:38 -!- password2 has joined.
14:09:51 <HackEgo> [wiki] [[MarioLANG]] http://esolangs.org/w/index.php?diff=39253&oldid=37549 * T.J.S.1 * (+303) Add interpreter by T.J.S.1
14:12:18 <HackEgo> [wiki] [[User:T.J.S.1]] http://esolangs.org/w/index.php?diff=39254&oldid=36857 * T.J.S.1 * (+165) Updates
14:15:58 -!- password2_ has joined.
14:16:39 -!- password2 has quit (Read error: Connection reset by peer).
14:19:31 -!- nisstyre has quit (Quit: bai).
14:22:35 -!- password2_ has changed nick to password2.
14:25:00 -!- augur has joined.
14:29:50 -!- `^_^v has quit (Ping timeout: 252 seconds).
14:31:46 -!- `^_^v has joined.
14:32:26 -!- Melvar has quit (Quit: WeeChat 0.4.3).
14:32:45 -!- Melvar has joined.
14:37:37 <Jafet> `run echo $'!\xAA1\xB2xM|;b\xD1\x15\xA3\x0C\x18:\xB0I\xA7\x1F\xB6\xCE\xD4~\x161\xAD\xF4\xB8k$\x0C\xCA\xE8\xE8b\x97\xE3\xE3\x95Yly\x05\xD3\x9F\x1E\xAC\xEC\xBA\x9E\x86=\xBD\x13\xDF\xBCd\x8C\xEEdo\x93\x8F\xB9\x97\xCD_\xE6\xAA\xD3}Z\xAB\x17\xC5\xFB+\xE8i\x1A\xB1~\xC1\xA7\xD6|$\x7F\x92\x19\xBF\x94\xF6\xD7\xE6\x0E\xA4E\xF3\xCD\x97q'\''C\x07k\xBD1T&\xCA\x84#\x8B,x\x86\xCE\xF6\x19\xE6\xB6\xAC' | dis86
14:37:49 <Jafet> `run dis86 $'!\xAA1\xB2xM|;b\xD1\x15\xA3\x0C\x18:\xB0I\xA7\x1F\xB6\xCE\xD4~\x161\xAD\xF4\xB8k$\x0C\xCA\xE8\xE8b\x97\xE3\xE3\x95Yly\x05\xD3\x9F\x1E\xAC\xEC\xBA\x9E\x86=\xBD\x13\xDF\xBCd\x8C\xEEdo\x93\x8F\xB9\x97\xCD_\xE6\xAA\xD3}Z\xAB\x17\xC5\xFB+\xE8i\x1A\xB1~\xC1\xA7\xD6|$\x7F\x92\x19\xBF\x94\xF6\xD7\xE6\x0E\xA4E\xF3\xCD\x97q'\''C\x07k\xBD1T&\xCA\x84#\x8B,x\x86\xCE\xF6\x19\xE6\xB6\xAC'
14:38:16 <Jafet> `run dis86 $'\x90\x90'
14:41:55 <Jafet> `run dis86 aa21b2314d783b7cd162a315180cb03aa749b61fd4ce167ead31b8f4246bca0ce8e89762e3e35995
14:41:56 <HackEgo> stosb; and [rdx+0x3b784d31], esi; jl 0xffffffda; invalid; mov [0xb649a73ab00c1815], eax; invalid; invalid; invalid; invalid; jle 0xffffffc6; xor [rax-0x3594db0c], edi; or al, 0xe8; call 0xffffffffe3e362bd; pop rcx; xchg ebp, eax;
14:42:55 -!- password2 has quit (Ping timeout: 240 seconds).
14:45:10 -!- esowiki has joined.
14:45:14 -!- esowiki has joined.
14:45:15 -!- esowiki has joined.
14:45:16 -!- glogbot has joined.
14:45:16 <?unknown?> [freenode-info] if you're at a conference and other people are having trouble connecting, please mention it to staff: http://freenode.net/faq.shtml#gettinghelp
14:45:22 -!- TodPunk has joined.
14:45:23 -!- oklopol has joined.
14:45:29 -!- clog has joined.
14:45:47 -!- ejls has joined.
14:45:58 -!- olsner has joined.
14:46:53 -!- FireFly has quit (Excess Flood).
14:48:54 -!- int-e has joined.
14:49:22 -!- FireFly has joined.
14:50:23 -!- maurer has joined.
14:50:40 <HackEgo> [wiki] [[Indirect]] http://esolangs.org/w/index.php?diff=39255&oldid=39246 * 76.94.2.75 * (+383) /* "operations" */
14:51:32 <HackEgo> [wiki] [[Indirect]] http://esolangs.org/w/index.php?diff=39256&oldid=39255 * 76.94.2.75 * (+104) /* "operations" */
14:52:13 -!- Taneb has joined.
14:53:18 -!- lambdabot has joined.
14:55:14 -!- myname has joined.
14:55:41 -!- quintopia has joined.
14:55:42 -!- `^_^v has quit (Ping timeout: 265 seconds).
14:58:29 -!- `^_^v has joined.
14:59:17 -!- ^v has quit (Ping timeout: 252 seconds).
15:00:36 -!- newsham has joined.
15:05:54 -!- xpte has joined.
15:46:40 -!- nisstyre has joined.
15:53:58 -!- ^v has joined.
15:54:10 -!- nisstyre has quit (Read error: Connection reset by peer).
15:54:20 -!- nisstyre has joined.
15:59:23 -!- MindlessDrone has joined.
16:02:11 -!- stuntaneous has joined.
16:06:08 -!- password2 has joined.
16:31:19 -!- password2 has quit (Ping timeout: 240 seconds).
22:25:02 <oerjan> cool https://en.wikipedia.org/wiki/Seventeen_or_Bust
22:26:31 <elliott> oerjan: seems somewhat stalled
22:28:21 <oerjan> there's of course the possibility the conjecture is wrong and the last six will never budge
22:28:54 <elliott> no progress for seven years is a bit sad
22:29:24 <Taneb> And their homepage
22:29:51 <oerjan> note the digits column though, they've definitely not stopped searching
22:31:38 <oerjan> maybe they should get tao on the case to prove it's wrong
22:34:41 -!- fizzie has quit (Ping timeout: 245 seconds).
22:34:43 <oerjan> indeed, his blog seems to have never mentioned it
22:36:53 -!- fungot has quit (Ping timeout: 252 seconds).
22:39:41 -!- nisstyre has quit (Quit: WeeChat 0.4.3).
22:40:15 -!- conehead has joined.
22:46:17 -!- fizzie has joined.
22:46:50 <fizzie> Hm, this time the codu.org is in fact entirely down, or is it just me?
22:53:54 <fizzie> No, I mean, http://codu.org/logs/_esoteric/ or http://codu.org/ for that matter.
22:54:34 <oerjan> that's what i meant too
22:54:51 <fizzie> Oh, I didn't understand DFM at all.
22:55:05 <fizzie> I thought it was some kind of a new HTH.
22:55:24 <fizzie> (I was trying to see all the no doubt incredible happenings that had happened while I was gone there.)
22:55:26 <oerjan> no it was a new WFM HTH
22:55:52 <oerjan> <oerjan> indeed, his blog seems to have never mentioned it
22:56:23 <oerjan> i suppose you may have missed something before that too
22:56:47 <fizzie> "<oerjan> note the digits column though, they've definitely not stopped searching" is the last I saw. But it's not all that important.
22:58:04 <oerjan> ok 2048 is officially passé, dagbladet.no is covering it. (and putting it behind their paywall part.)
22:58:04 <quintopia> dfm means both "down for me" and "doesn't fucking matter"...different farflung meanings
23:02:04 -!- Sgeo has joined.
23:14:13 -!- conehead has quit (Quit: Computer has gone to sleep).
23:14:42 <quintopia> are there numbers stations on twitter
23:15:56 <oerjan> https://twitter.com/NumbersStations
23:16:17 <oerjan> i assume that was a rhetorical question
23:18:36 -!- tromp has joined.
23:21:22 -!- variable has quit (Write error: Connection reset by peer).