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 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 http://www.qdb.us/305734 that kinda reminds me of zzo 00:56:21 :D 00:57:00 :-D 01:06:29 [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 [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 [wiki] [[Dogescript]] http://esolangs.org/w/index.php?diff=39244&oldid=38025 * 216.38.135.42 * (+73) /* External Resources */ 01:12:06 [wiki] [[Indirect]] http://esolangs.org/w/index.php?diff=39245&oldid=39243 * Quojil * (+0) /* How is it different */ 01:14:40 [wiki] [[Indirect]] M http://esolangs.org/w/index.php?diff=39246&oldid=39245 * Quojil * (+16) Modified example again and fixed typo. 01:15:58 [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=39247&oldid=39235 * Quojil * (+15) /* I */ 01:23:47 The Onion's Kelly is losing his grip 01:23:56 The villain of the cartoon isn't covered in flies 01:25:35 @run let reify = flip id; reflect = id in reify 6 (\p -> reflect p + reflect p) 01:25:36 12 01:26:28 I am so tired of that example, it doesn't clarify anything 01:26:54 I think what I want is an example of, e.g., passing around a username+password known only at runtime 01:27:10 http://lpaste.net/66715 01:27:30 ty 01:27:32 * Sgeo starts reading 01:29:31 <^v> my kitteh is so flufffie 01:29:46 Oh, so you can create the proxy out of thin air... I guess ScopedTypeVariables is needed to do that? 01:30:49 no. you can do it in other ways too. 01:31:12 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 ScopedTypeVariables is never or at least only very rarely necessary, afaik. 01:31:25 reflection ships with more examples. 01:33:30 The phantom type parameter in Report and Datum are strictly necessary, or not? 01:34:24 you would not want to eliminate them. they provide type safety. 01:34:42 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 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 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 (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 btw, all of this is in the paper, if you read it 01:37:24 I know the paper has an example of using it for modulus arithmetic... 01:37:45 the 6 example is pretty lol 01:37:54 well, it should help clarify. 01:38:01 it's a good paper 01:39:03 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 I hereby release it under the CC0 1.0 Universal terms, available at https://creativecommons.org/publicdomain/zero/1.0/legalcode. 01:40:57 feel free to submit a patch to add it; I'd prefer no credit in the source. 01:41:31 Awesome 01:42:37 (better quote those two lines in the pull request so there's no legal lawyering.) 01:44:28 or maybe I should GPL it just to be a pain. (too late now.) 01:46:56 What should I call the file? I have a feeling you may not like the name ReaderLike.hs 01:47:46 psh it's in public domain fuck elliott_ 01:48:03 ElliottSucksLol.hs 01:48:06 pretty much, do what you like with it :p 01:48:37 I don't want credit because I just wrote it ad-hoc and nobody should feel like I have creative rights over it. 01:48:41 feel free to improve it. 01:49:05 I tried to copy/paste your lines, they got eaten 01:50:28 hm is the "available at https://creativecommons.org/..." legally required 01:51:17 i don't think you people understand the public domain very well 01:52:40 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 nooodl: I don't think there's any clear standard. I think what I said is unambiguous enough for any court. 01:53:33 Sgeo: eaten...? well, just say you got permission from me to use it under CC0. 01:53:46 Bike: Unless some country says that elliott_ isn't allowed to give permission away like that 01:53:54 I think that's why CC0 exists 01:54:00 too bad. taht's an ass state 01:54:05 CC0 still probably doesn't work everywhere. 01:54:08 GPL probably doesn't. 01:55:19 CC0 probably works in more jurisdictions than GPL. 01:56:36 And it certainly works in more jurisdictions than a generic public domain grant. :) 01:57:24 i only use the wtfpl personally 01:57:47 The WTFPL probably doesn't work in a decent handful of jurisdictions, though it definitely does under common law. 01:58:08 that's the beauty of it: fuck those jurisdictionsssss 01:58:09 how can the wtfpl fail to work 01:58:41 nooodl: e.g. some countries don't let you just give away your rights without something in return like that 01:59:04 my attitudes towards law is like a billion times more lackadaisical than most programmers and i love it 01:59:56 A sampling of github suggests it's actually much less lackadaisical than most programmers. 02:00:08 The typical repo on github is unlicensed. :) 02:00:30 The WTFPL might not work in all jurisdictions, but it definitely is a legal copyright license. 02:02:33 "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 "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 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 when have programmers ever used non-anecdotal evidence? 03:04:06 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 Bike: note that you can't conversely take Disney's stuff, because CTEA and 93/98/EEC 03:40:41 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:35 `coins 04:01:37 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 numberwangcoin 04:06:52 -+ 04:08:52 I remember eating fish once, I don't remember what kind of fish 04:08:59 Flounder? Is that a fish people eat 04:09:00 ? 04:10:25 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 OOOOOOOH https://github.com/chrisdone/foreign-store 04:17:14 Blah, looks less smooth than in, say, CL or Smalltalk 04:17:22 Still, better than DrRacket 04:20:04 what the 04:20:08 I'm afraid 04:20:53 https://github.com/chrisdone/ghci-reload-demo 04:23:12 "I shouldn’t have to tell anyone this but just in case: don’t use this in production." 04:23:13 aww 04:24:45 using a live image as production seems bad anyway... 04:25:32 What do Erlangers do? 04:25:47 -!- tromp_ has quit (Remote host closed the connection). 04:26:23 -!- tromp has joined. 04:26:25 "oh yeah, use me in production" 04:26:41 i'm not ready to enter this porn dimension. 04:30:54 -!- tromp has quit (Ping timeout: 255 seconds). 04:33:42 Wikipedia doesn't have Heartbleed yet 04:34:05 http://en.wikipedia.org/wiki/Openssl#Heartbleed_bug ? 04:35:00 And that's what I get for assuming that Wikipedia search works 04:35:17 "known to attackers since March 2012." 04:35:18 wtf 04:35:19 ♫ learnin' a lesson ♫ 04:35:32 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 21:38:09 up 186 days, 3:48, 6 users, load average: 0.57, 0.22, 0.12 04:38:11 :'( 04:38:16 -!- kmc has quit (Quit: leaving). 04:39:14 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:56 `coins 04:41:58 hebdcoin continucoin reding-boocoin clunkcoin illghcoin codifycoin singcoin rcelumcoin spoohcoin emmertcoin yourcoin q-refcoin temcoin etaincoin proofcoin haowcoin recuncoin nonicoin murprincoin apocoin 04:42:38 beep boop 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 [wiki] [[Talk:MarioLANG]] http://esolangs.org/w/index.php?diff=39248&oldid=39239 * T.J.S.1 * (+440) Interpreter 04:52:58 http://www.antichipotle.com/git/ 04:53:22 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 there's a ssh vuln too? 04:58:26 oh wait. i think i misread that :P 04:59:05 i should have said 04:59:10 i'm not using a vulnerable SSL 04:59:18 i never made it to version 1.0.1 04:59:24 what if my password is my birthday 05:03:12 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 i wish my birthday got one year later every year 05:09:58 zzo38: what if the calendar changes? 05:14:08 kmc: Then, you can write it in the new notation/calendar-based-system. 05:14:57 Already there is different kind of calendar, but Gregorian calendar is a common kind (and so is UNIX). 05:15:19 But you can figure out using, Discordian calendar instead, if you prefer to do so. 05:15:20 -!- Slereah_ has joined. 05:18:21 Fun fact: esolangs.org had Debian wheezy installed, but the line for security updates was for squeeze (oldstable)... 05:18:36 (sources.list line, that is.) 05:26:48 -!- Bike has quit (Quit: leaving). 05:36:18 -!- password2 has joined. 05:59:40 [wiki] [[Kolmogorov machine]] http://esolangs.org/w/index.php?diff=39249&oldid=24661 * 99.118.9.187 * (+24) /* See Also */ 06:02:01 The Andrei Machine is the best 06:03:00 Out of curiosity, does anyone know how the heartbleed thing works? 06:03:03 the site is not super clear 06:06:14 -!- conehead has quit (Quit: Computer has gone to sleep). 06:16:36 [wiki] [[Kolmogorov machine]] http://esolangs.org/w/index.php?diff=39250&oldid=39249 * 99.118.9.187 * (+146) Я не говорю по-русски 06:28:55 "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 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 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 "Not a classy industry, is it?" "It ranks slightly behind three-card monty but two spots ahead of straight daytime flashing" 07:06:22 lexande sometimes claims to be an X.509 certificate authority but he won't give me a cert 07:07:43 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 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 "error: command failed: non-zero return code: -11" 09:24:25 It's good to have verbose diagnostics. 09:25:07 someone turned that command down to eleven 09:29:30 -!- yorick has joined. 09:30:15 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:38 netsplits for all! 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:42:59 *+t 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 [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:16 HackEgo++ 10:12:18 [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 I like the wiki edits 10:13:38 eep 10:14:52 tomorrow: DMM's new comic 10:14:52 That is, I like that HackEgo posts them 10:15:01 oerjan, oh god I forgot about that 10:15:18 -!- myndzi has quit (Ping timeout: 264 seconds). 10:15:43 he has revealed a hint that the name is a tv trope 10:16:42 I've stopped following the IWC rerun :( 10:17:03 Might try to get back into it 10:17:05 well this was in the forum. 10:17:18 I haven't been there for aaaageees 10:17:48 he also said "This will narrow things down quite a bit:" i smell irony 10:18:04 That sounds more like sarcasm 10:18:21 OKAY 10:18:32 * oerjan is vague on those fine distinctions 10:18:48 I just assume that nothing is irony 10:18:57 I know what dramatic irony and metallurgic irony are 10:19:52 -!- myndzi has joined. 10:19:53 i googled that and the most promising hit was tvtropes 10:20:07 (metallurgic) 10:20:08 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 "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:42:59 heh 11:47:09 :-) 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 [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 [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 `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:38 No output. 14:37:49 `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:37:50 No output. 14:38:16 `run dis86 $'\x90\x90' 14:38:17 No output. 14:38:23 Oh wait 14:38:29 `run dis86 9090 14:38:30 nop; nop; 14:41:55 `run dis86 aa21b2314d783b7cd162a315180cb03aa749b61fd4ce167ead31b8f4246bca0ce8e89762e3e35995 14:41:56 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 [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 [wiki] [[Indirect]] http://esolangs.org/w/index.php?diff=39255&oldid=39246 * 76.94.2.75 * (+383) /* "operations" */ 14:51:32 [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 cool https://en.wikipedia.org/wiki/Seventeen_or_Bust 22:26:31 oerjan: seems somewhat stalled 22:28:21 there's of course the possibility the conjecture is wrong and the last six will never budge 22:28:54 no progress for seven years is a bit sad 22:29:03 (okay, fsvo "progress") 22:29:24 And their homepage 22:29:27 It's... 22:29:41 Brown 22:29:51 note the digits column though, they've definitely not stopped searching 22:31:38 maybe they should get tao on the case to prove it's wrong 22:32:02 the tao is silent 22:34:41 -!- fizzie has quit (Ping timeout: 245 seconds). 22:34:43 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 Hm, this time the codu.org is in fact entirely down, or is it just me? 22:52:47 `echo hi 22:52:48 hi 22:53:17 DFM 22:53:54 No, I mean, http://codu.org/logs/_esoteric/ or http://codu.org/ for that matter. 22:54:34 that's what i meant too 22:54:51 Oh, I didn't understand DFM at all. 22:55:05 I thought it was some kind of a new HTH. 22:55:24 (I was trying to see all the no doubt incredible happenings that had happened while I was gone there.) 22:55:26 no it was a new WFM HTH 22:55:52 indeed, his blog seems to have never mentioned it 22:56:23 i suppose you may have missed something before that too 22:56:47 " 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 ok 2048 is officially passé, dagbladet.no is covering it. (and putting it behind their paywall part.) 22:58:04 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 are there numbers stations on twitter 23:15:56 https://twitter.com/NumbersStations 23:16:17 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).