00:04:16 -!- password2 has quit (Ping timeout: 245 seconds). 00:25:05 -!- conehead has quit (Quit: Computer has gone to sleep). 00:26:17 -!- tertu has joined. 00:33:02 -!- Sprocklem has joined. 00:33:15 -!- conehead has joined. 00:41:28 -!- Tod-Autojoined has quit (Ping timeout: 252 seconds). 00:41:59 -!- ^v has quit (Ping timeout: 252 seconds). 00:51:48 -!- TodPunk has joined. 00:59:10 -!- Sorella has quit (Quit: It is tiem!). 01:08:57 -!- tertu has quit (Ping timeout: 252 seconds). 01:09:05 -!- tertu has joined. 01:17:16 -!- oerjan has quit (Quit: leaving). 01:20:06 -!- tertu has quit (Ping timeout: 276 seconds). 01:41:05 -!- CapitalSigma has joined. 01:41:08 hey all 01:41:38 is there a BNF grammar for brainfuck out there somewhere? 01:43:26 I think it would just be c ::= "[" c "]" | "+" | "-" | "<" | ">" | "," | "." 01:43:27 -!- zzo38 has joined. 01:43:41 and a lot of interpreters will accept unbalanced [] until you actually hit them 01:43:52 so it's not clear whether that's a syntax error or a runtime exception 01:44:03 er 01:44:23 c ::= "" | "[" c "]" | "+" c | "-" c | "<" c | ">" c | "," c | "." c 01:48:56 -!- boily has joined. 01:52:31 okay. i'm trying to learn about compilers so i figure that getting a parser+lexer for brainfuck working would be the easiest place to start -- are there any good resources out there? 01:53:08 Ah. What are you trying to write the program in? 01:56:06 brainfuck isn't the kind of language you would use those tools for 01:56:12 [wiki] [[Smartboxes]] http://esolangs.org/w/index.php?diff=39293&oldid=39288 * Doesthiswork * (+2056) added a simple genetic algorithm as an example 01:56:24 I would start with a simple expression grammar 01:56:39 zzo38: i'm really interested in learning how to use parser-generators, i'm using antlr 01:56:43 Yes it is true you don't need a parser+lexer for brainfuck compiling 01:57:01 parse arithmetic expressions with literals and +-*/ and parentheses 01:57:08 that's kind of the standard first parser project 01:58:41 [wiki] [[Smartboxes]] M http://esolangs.org/w/index.php?diff=39294&oldid=39293 * Doesthiswork * (+7) 01:58:54 okay.... and that would look something like: op ::= "+" | "*" | "/" | "-"; exp ::= exp op exp | id; id ::= [0-9]+; 01:58:57 ? 01:59:20 CapitalSigma: That won't make any precedences. 01:59:56 -!- doesthiswork has joined. 02:00:09 I have seen the parser for the OASYS compiler (a text-adventure game system); is not too difficult for understanding. (I have, in fact, rewritten it in BASIC from a printout of the C code, because I didn't have a disk, and on the target computer I didn't have a C compiler.) 02:02:08 -!- ^v has joined. 02:02:33 zzo38: okay. so it needs parens.... i suppose exp ::= "(" exp op exp ")"; would be enough... is there anything that you all recommend i read for starting off? 02:05:37 I actually don't read much about parser either...the only expression parser I really studied much is the one used in OASYS, and didn't find it so difficult. 02:09:15 I have read some books too, telling about LL(1), LR(1), and so on, but I forgot what book it is. 02:09:26 Wikipedia might have some more information. 02:16:58 gotcha, i'll look around, thanks 02:24:09 -!- Sprocklem has quit (Ping timeout: 250 seconds). 02:24:31 -!- nisstyre has joined. 02:45:13 If only NullPointerException was a checked exception... 02:45:54 (Actually that would probably be quite annoying to work with) 02:46:06 Not sure which is worse 02:47:04 if only, if only, the woodpecker sighs 02:49:27 apparently there was a comic charecter named Smokey Stover who called things he didn't know the name of "foo" 02:52:49 the bark on the trees was as soft as the skies 02:54:07 -!- boily has quit (Quit: Poulet!). 03:02:41 Google seems to disagree on if it's 'trees' or 'tree' 03:03:48 -!- doesthiswork has quit (Ping timeout: 240 seconds). 03:06:12 * Sgeo goes to install EclipseFP 03:19:35 -!- SpaceWizard has quit (Remote host closed the connection). 03:31:23 -!- nooodl has quit (Ping timeout: 252 seconds). 03:33:05 https://www.cloudflarechallenge.com/heartbleed 03:33:15 So, are they just trying to figure out the plausibility of stolen certificates? 03:37:30 Is it possible for a random third party to hinder Heartbleed attacks slightly by asking for a smaller heartbeat payload than it gives? 03:39:49 What 03:39:55 that sounds hilarious 03:40:50 I don't know what that means, but you could inundate servers with traffic so that single attackers are less likely to find sensitive data amongst all of your buffers 03:41:31 Though, it costs you more traffic to play this game than them. 03:45:31 https://twitter.com/indutny/status/454767565991325697 03:48:52 you have to use www.cloudflarechallenge.com to make it actually work 03:49:04 I think twitter messes with things that look like hostnames 03:49:26 Hovering over the links shows www 03:50:26 What if someone steals the private key from his server 03:50:29 !!! 04:23:30 There is this quotation about Lisp programming: SQL, Lisp, and Haskell are the only programming languages that I've seen where one spends more time thinking than typing. -- Philip Greenspun 04:24:58 Greenspun hasn't seen enough languages 04:26:55 elliott: You are probably correct. 04:29:30 [wiki] [[Smartboxes]] http://esolangs.org/w/index.php?diff=39295&oldid=39294 * Zerk * (-50) /* Examples */(Decrement) I think I just figured out recursion, correct me if I'm misunderstanding the semantics. 04:36:00 i also get that with brainfuck 04:36:46 Why do you hate FORTRAN so much? 04:39:49 why you want rail for kalashnikov 04:40:44 -!- ^v has quit (Read error: Connection reset by peer). 04:42:10 [wiki] [[Smartboxes]] http://esolangs.org/w/index.php?diff=39296&oldid=39295 * Zerk * (+50) Undo revision 39295 by [[Special:Contributions/Zerk|Zerk]] ([[User talk:Zerk|talk]]) I do misunderstand the semantics! It would reach the right value, but then unwind back to the original 0 before returning. 04:43:50 I don't know who/what they are. 04:44:43 What do you call a chain A, B, C, ... such that A ⊆ B ⊆ C ⊆ ...? 04:45:11 -!- ^v has joined. 04:47:39 why do i hate fortran so much 04:48:17 -!- password2 has joined. 04:48:33 shachaf: descending chain? or what 04:48:46 maybe 04:48:54 i guess chain is the actual term 04:49:02 also why is it descending and not ascending 04:49:17 look, i'm not noether 05:00:36 How can you make a programming language where the types are Hoare triples? 05:00:41 It occurs to me that I'm already using an entirely online password manager, completely unencrypted 05:00:59 (At least, I think it's unencrypted) 05:02:21 -!- adu has joined. 05:06:27 [wiki] [[Smartboxes]] http://esolangs.org/w/index.php?diff=39297&oldid=39296 * Doesthiswork * (-2065) removed the GA example after concluding that it is a mess semantically 05:12:06 -!- zzo38 has quit (Ping timeout: 240 seconds). 05:14:24 Google already has my passwords, why not LastPass? 05:15:58 Chrome is unecrypted by default but you can encrypt them if you'd like. 05:16:11 I believe the local store is encrypted though; the encryption option just affects the syncing 05:18:52 -!- zzo38 has joined. 05:19:33 Is it possible to do sequent calculus with only bound variables and no free variables (so that free variables are ungrammatical)? 05:21:29 been too long since I've seen sequent calculus 05:27:09 I try to think of a way 05:43:14 -!- ^v has quit (Quit: http://i.imgur.com/DrFFzea.png). 05:46:38 -!- tertu has joined. 06:06:38 -!- tromp has quit (Remote host closed the connection). 06:07:10 -!- tromp has joined. 06:09:23 whoa, you gave your password to google?!@# 06:11:06 -!- tromp has quit (Ping timeout: 240 seconds). 06:14:11 -!- tertu has quit (Ping timeout: 252 seconds). 06:18:22 newsham: it's what happens when you decide to use gmail. 06:21:05 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 06:34:03 cant you tell them you want to use gmail but you dont want to give them your pw? 06:35:56 The trouble is that most services that use authentication persistently insist that you should allow them to delegate the authentication to google. 06:37:26 Hmm, I wonder if I could simply point them at foo@example.com. (Probably not; IANA has a server there.) 06:38:09 most services i've seen dont delegate auth to google 06:38:39 you know what pisses me off lately? hotmail and google and others pestering me constantly to link a cell phone number to my account 06:38:57 They do, but have a strange name for this--"Forgot your password?" 06:42:39 yah well hotmail locked me out of my account for a month because i didnt have a cell phone number in case I "forgot my password" 06:42:48 so whats more dangerous, forgetting my password, or hotmail? 06:43:57 in a few days when its finally available again i can start migrating all my accounts off of that email addr 06:45:26 Those are two opposite kinds of danger. I don't know how forgetful you are, but I create passwords algorithmically so "forgetting" them is not an issue. The only issue, then, is email. 06:46:07 Import Your Contacts From Gmail 06:50:05 import your contacts from the depths of hell 07:05:40 -!- MoALTz has quit (Quit: Leaving). 07:06:42 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 07:10:14 -!- MoALTz has joined. 07:42:01 [wiki] [[Talk:Smartboxes]] http://esolangs.org/w/index.php?diff=39298&oldid=39290 * Zerk * (+2165) /* Implicit evaluation */ new section 07:50:59 is it just me or does smartboxes look to useful to be an esolang? :D 07:59:14 The lead mentions Kay, so it is esoteric pretty much by construction 08:00:57 'kay 08:01:37 O(Kay) 08:03:05 is that good or bad? 08:10:17 O(k) 08:11:21 myname: it's an upper bound, so anything except good? (unless good is small, then anything except bad) 08:11:23 -!- adu has quit (Quit: adu). 08:22:06 -!- Slereah has quit (Ping timeout: 240 seconds). 08:27:41 -!- Slereah_ has joined. 08:32:00 -!- Slereah has joined. 08:34:57 -!- Slereah_ has quit (Ping timeout: 276 seconds). 09:09:33 -!- tromp has joined. 09:09:42 -!- tromp has quit (Read error: Connection reset by peer). 09:10:20 -!- tromp has joined. 09:14:41 -!- tromp has quit (Ping timeout: 245 seconds). 09:39:44 -!- MindlessDrone has joined. 09:48:00 -!- yorick has joined. 09:59:12 http://sprunge.us/WRGj That's quite the regexp. 10:03:47 -!- Slereah_ has joined. 10:04:47 -!- Slereah has quit (Ping timeout: 250 seconds). 10:14:16 well, pretty simple, though 10:14:49 not like that deprecated expression for email addresses 10:43:50 -!- Vorpal has joined. 10:48:01 -!- conehead has quit (Quit: Computer has gone to sleep). 11:03:04 -!- oerjan has joined. 11:04:27 -!- Frooxius has joined. 11:08:26 -!- Slereah_ has quit (Ping timeout: 245 seconds). 11:08:38 -!- Slereah_ has joined. 11:27:37 -!- nooodl has joined. 11:43:51 -!- Melvar` has joined. 11:44:45 -!- idris-ircslave has quit (Ping timeout: 276 seconds). 11:45:26 -!- Melvar has quit (Ping timeout: 255 seconds). 11:56:43 -!- Melvar` has changed nick to Melvar. 11:57:32 -!- idris-ircslave has joined. 12:24:42 -!- Slereah_ has quit (Ping timeout: 240 seconds). 12:32:29 -!- boily has joined. 12:34:19 -!- Slereah_ has joined. 12:36:30 [wiki] [[Boxy]] N http://esolangs.org/w/index.php?oldid=39299 * Zerk * (+2725) Spec fork! 12:44:14 Oh, fancy 12:50:11 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 12:50:53 -!- Vorpal has joined. 12:50:53 -!- Vorpal has quit (Changing host). 12:50:53 -!- Vorpal has joined. 12:54:42 -!- Sorella has joined. 13:05:31 Hmm. My 16 GB CF card has turned into a 2 TB CF card. 13:05:55 [3432361.978679] sd 11:0:0:0: [sde] 3842213123 512-byte logical blocks: (1.96 TB/1.78 TiB) 13:06:08 That's what it says when I plug it into a card reader. 13:06:17 wow, that's some luck 13:06:31 olsner: Less lucky is that any IO access to it just hangs indefinitely. 13:07:12 Oh, it wasn't indefinitely; but it does go all http://sprunge.us/Meab after a long delay. 13:07:17 Some manufacturers inflate the apparent capacity of their flash devices, but this is somewhat excessive 13:07:39 It does manage to read the partition table off, so maybe a dd on the first 16 gigs could work. 13:08:12 Jafet: it's only a 7 order of magnitude error. nothing to worry about. 13:10:10 dd of the first partition (there seems to be three) at least seems to be working. fdisk didn't, but maybe it was trying to check something at the end of the disk. 13:11:29 (Okay, it's only reading 100 kilobytes/sec, but that still counts as working, I guess.) 13:13:31 `frink 16 gigabytes / (100 kilobytes/s) 13:13:36 160000 s (time) 13:13:44 That's only 46 hours to read the 16 gigs that should be there, and a further 220 days to see what's on the rest of the two terabytes. 13:14:02 piece of cake 13:15:57 so does the data that you get off the drive make sense? 13:17:11 hmm, for some reason I could see immediately that 160000s is about two days, but had to think a long while to realize that 46h is also about two days 13:22:35 int-e: I haven't looked yet. But it had the same number of partitions, so presumably at least the first sector was correct. 13:23:07 ok. anyway, good luck :) 13:23:09 Same number that I expected it to have, that is. 13:23:56 There's nothing terribly important in there; it used to be the "hard disk" of a computer, I was just missing some scripts and crontabs I think were in /root which I didn't copy back when the card was working normally. 13:36:40 140345856 bytes (140 MB) copied, 1327.63 s, 106 kB/s 13:37:02 -!- nucular has joined. 13:38:09 Contents seem correct, too. Except that sde1 was apparently /boot, so they're not exactly useful. 14:02:12 -!- tertu has joined. 14:14:10 -!- ^v has joined. 14:19:18 -!- password2 has quit (Ping timeout: 240 seconds). 14:38:44 -!- Tritonio has joined. 14:45:01 -!- password2 has joined. 14:49:59 -!- tromp has joined. 15:00:50 -!- Patashu has quit (Ping timeout: 258 seconds). 15:07:20 -!- password2 has left ("Leaving"). 15:16:12 -!- tertu has quit (Read error: Connection reset by peer). 15:37:40 -!- oerjan has quit (Quit: leaving). 15:42:44 -!- erdic has quit (Ping timeout: 246 seconds). 15:43:46 -!- erdic has joined. 15:45:54 -!- copumpkin has joined. 16:13:49 Also got http://sprunge.us/aFOb during a scheduled check of a backup disk, which doesn't sound good. 16:20:48 I can never figure out how to read this smartctl output. :/ 16:28:34 LBA numbers, right next to planck units and ancient greek cubits 16:28:42 gsmartctl helps 16:29:20 -!- MoALTz_ has joined. 16:30:42 Is it a graphical something? The disk is not on a computer with X libraries or anything. 16:31:11 It is a gtk something 16:31:58 I don't even know if big numbers or small numbers are good for these translated ones. 16:32:07 -!- MoALTz__ has joined. 16:32:11 -!- MoALTz has quit (Ping timeout: 250 seconds). 16:32:39 Well, you could keep mashing the drive and check if the number increases. 16:34:04 I guess I'll run the self-tests, since those at least should say something reasonable, hopefully. 16:34:54 -!- MoALTz_ has quit (Ping timeout: 240 seconds). 16:35:01 Reallocated_Sector_ct has a velue of "200", worst of "200", threshold of "140" and a raw value of "1". 16:38:08 `run echo $'#include \n#include \n#include \nmain(){\n void *p = mmap((void*)0x398e4f53fa300000, 4096, PROT_NONE, MAP_PRIVATE|MAP_ANON|MAP_FIXED, -1, 0);\n return !printf("%p %s\n", p, strerror(errno)); }\n' > /tmp/m.c && gcc m.c -o m && ./m 16:38:09 gcc: error: m.c: No such file or directory \ gcc: fatal error: no input files \ compilation terminated. 16:38:20 `run echo $'#include \n#include \n#include \nmain(){\n void *p = mmap((void*)0x398e4f53fa300000, 4096, PROT_NONE, MAP_PRIVATE|MAP_ANON|MAP_FIXED, -1, 0);\n return !printf("%p %s\n", p, strerror(errno)); }\n' > /tmp/m.c && gcc /tmp/m.c -o /tmp/m && /tmp/m 16:38:21 ​/tmp/m.c: In function ‘main’: \ /tmp/m.c:6:17: warning: missing terminating " character [enabled by default] \ /tmp/m.c:6:2: error: missing terminating " character \ /tmp/m.c:7:1: warning: missing terminating " character [enabled by default] \ /tmp/m.c:7:1: error: missing terminating " character \ /tmp/m.c:7:1: error: expected expression at 16:39:18 `run echo $'#include \n#include \n#include \n#include \nmain(){\n void *p = mmap((void*)0x1000000000, 4096, PROT_NONE, MAP_PRIVATE|MAP_ANON|MAP_FIXED, -1, 0);\n return !printf("%p %s\\n", p, strerror(errno)); }\n' > /tmp/m.c && gcc /tmp/m.c -o /tmp/m && /tmp/m 16:39:19 0x1000000000 Success 16:39:31 Ok, seeing the reactive-banana guy act like an idiot makes me sad 16:39:33 `run echo $'#include \n#include \n#include \n#include \nmain(){\n void *p = mmap((void*)0x1000000000000, 4096, PROT_NONE, MAP_PRIVATE|MAP_ANON|MAP_FIXED, -1, 0);\n return !printf("%p %s\\n", p, strerror(errno)); }\n' > /tmp/m.c && gcc /tmp/m.c -o /tmp/m && /tmp/m 16:39:34 0xffffffffffffffff Cannot allocate memory 16:39:44 Weird. 16:40:33 `run echo $'#include \n#include \n#include \n#include \nmain(){\n void *p = mmap((void*)0x1000000000000ull, 4096, PROT_NONE, MAP_PRIVATE|MAP_ANON|MAP_FIXED, -1, 0);\n return !printf("%p %s\\n", p, strerror(errno)); }\n' > /tmp/m.c && gcc /tmp/m.c -o /tmp/m && /tmp/m 16:40:33 0xffffffffffffffff Cannot allocate memory 16:40:48 http://www.reddit.com/r/haskell/comments/22udou/heartbleed_aftermath_should_haskell_web/ 16:44:10 Jafet: Wouldn't 0x1'0000'0000'0000 fail the canonical-address test? 16:46:12 Huh, there are such things as canonical addresses. 16:46:14 "In addition, the AMD specification requires that bits 48 through 63 of any virtual address must be copies of bit 47 (in a manner akin to sign extension), or the processor will raise an exception.[1](p131) Addresses complying with this rule are referred to as "canonical form."[1](p130) Canonical form addresses run from 0 through 00007FFF'FFFFFFFF, and from FFFF8000'00000000 through ... 16:46:20 ... FFFFFFFF'FFFFFFFF, for a total of 256 TB of usable virtual address space." 16:46:34 Bits don't grow on trees, you know! 16:46:36 I thought CPUs were more clever about masking the unimplemented address lines. 16:46:44 FFFFFFFF'UUUUUUUU 16:47:07 They're clever about hiding unimplemented physical address lines. 16:47:46 L/ 16:47:59 That was meant to be an emoticon but I am too tired 16:48:59 otoh, I bought a new comic :) 16:49:17 They're less clever about the virtual address space limit, which I gather has something to do with saving area on the chip. (As well as maybe some page table -related things?) 16:50:12 Fun fact: Intel manuals allow for up to 52-bit physical addresses even while the linear addresses are restricted to 48 bits. 16:51:12 48-bit PAE... they think ahead, don't they. 16:52:52 Man, I feel like crap 16:54:10 the canonical address thing is done on purpose 16:54:24 so that people don't use the unused bits for tag bits (without masking) 16:54:34 so that the virtual address space can be extended later without breaking shit 16:54:59 Spoilsports 16:55:07 i know, right? 16:55:12 imo there should at least be a way to disable it 16:55:27 some people care a whole lot about speed and not at all about binary forwards-compatibility 16:55:39 there's probably a secret MSR or something 16:55:55 Even a translation of a 48-bit virtual address involves quite a lot of pointers. The CR3 register points at the start of the PML4 table; bits 39..47 of the address select an entry of it pointing at a Page-Directory-Pointer Table; bits 30..38 select an entry of it pointing at a Page-Directory Table; bits 21..29 select an entry of it pointing at a Page Table; bits 12..20 select an entry of it ... 16:56:01 ... pointing to a physical page; and bits 0..11 are an offset within the page. 16:56:29 kind of bugs me that they all have names instead of just being level4 .. level1 16:56:46 "PML4" has a 4 in it, at least. 16:56:49 yeah 16:57:02 I'd like to see them invent names for all similar tables of a full 64-bit setup. 16:57:14 don't give them any ideas 16:57:19 Although, you could map identical ranges that have a tag bit on and off to the same underlying pages 16:57:31 yeah 16:57:36 I've wondered if there are programs that do that 16:57:39 Might screw with the tlb, but isn't it worth it 16:57:57 Just set the "Page-Directory-Selector-Index-Hyperpage-Pointer" suitably and... 16:58:06 also do you know the trick about having a page directory table entry that points back to the page directory table? 16:58:28 the PDT and PT records have a similar layout 16:59:12 Who would you trick with that 16:59:21 if you use the PDT as a PT, then you've mapped all the PTs as pages in virtual memory 17:01:54 Taneb: why do you feel like crap? :/ 17:02:43 Num Test_Description Status Remaining LifeTime(hours) LBA_of_first_error 17:02:47 # 1 Short offline Completed: read failure 80% 26750 470670340 17:02:50 I'm going to call it broken. 17:02:52 I was meeting from friends and I kind of abandoned them and I feel bad about it 17:03:55 oh 17:04:38 fizzie: eek 17:05:42 Taneb: eek. 17:10:51 -!- AnotherTest has joined. 17:11:02 > 1 -- did I break this? 17:11:02 1 : Integer 17:11:03 mueval-core: GhcException "cannot satisfy -package lens\n (use -v for mor... 17:11:13 obviously. bah. 17:12:50 Why do Intel make it too complicated/confusing? 17:13:56 @run 1 17:13:58 1 17:14:37 -!- MindlessDrone has quit (Ping timeout: 258 seconds). 17:15:36 Hah, there was a 36-month warranty on the disk, and it ended three weeks ago. 17:16:18 fizzie: nice 17:16:24 Man, those engineers are good when it comes to planned obsolescence. 17:16:32 Dangerous level of competency here. 17:19:52 > "hi bots" 17:19:53 "hi bots" : String 17:19:54 "hi bots" 17:25:24 -!- yorick has quit (Remote host closed the connection). 17:29:31 -!- MindlessDrone has joined. 17:32:27 -!- lambdabot has quit (Quit: 7.8.1 -> 7.8.2). 17:34:18 -!- Slereah_ has quit (Ping timeout: 240 seconds). 17:37:06 -!- lambdabot has joined. 17:41:15 * boily lightly pokes lambdabot 17:41:43 @tell idris-ircslave hello! 17:41:44 Consider it noted. 17:44:31 > "hi fungot" 17:44:31 "hi fungot" : String 17:44:31 kmc: those wallpapers have fnord. python has no semicolons, but mandatory newlines and indentation. 17:44:32 "hi fungot" 17:44:55 python does have semicolons 17:46:20 fungot: if Python has semicolons, does it mean that wallpapers are fnordless? 17:46:27 ;-;^ 17:46:37 I wanted ^;-;^ 17:46:46 ^;-;^? 17:47:06 fungot: I'm talking to you, you uncouth bot! 17:47:06 boily: if all the benchmarks were implemented. the shared state was very clearly isolated in both scheme48 t ( except in summer when i earn nothing 17:47:21 fungot: ah. summer internship? 17:47:21 boily: that doesn't render correctly here." " n=1" " n=2" " n=3" " n=4" " n=5" " n=6"... etc. 17:48:02 int-e: is that a vampire bat 17:48:13 fungot: are you a vampire bat 17:48:13 kmc: strange labels like spells and magic recipes?" but i don't 17:48:40 hi boily 17:48:44 kmc: you're good. 17:48:45 hintopia! 17:48:48 happyy saturday 17:49:02 today is a day for being tired 17:49:16 today is a day to be smooth and drink coffee. 17:49:29 i drank some coffee 17:49:42 it was almost two weeks old and gross 17:49:52 * int-e ponders compiling a couple more ghcs 17:49:55 but it was hot and caffeiney 17:50:02 * int-e should probably change some passwords instead 17:50:18 two. weeks. old. coffee. I am impressed. 17:50:36 i hope i don't die 17:51:04 . o O ( please tell us if you do ) 17:51:43 I hope you're going to live through the Experience, then pen a beautiful, heart-wrenching Memoir about it. 17:51:50 i'll be sure to put it in my will 17:52:06 "here's my password. get on all my networks and tell them i'm dead please and how i died." 17:52:29 is your password hunter2weekOldCoffee? 17:53:38 what do you mean *******weekOldCoffee? 17:53:45 The thought of dying from stale coffee is enough to keep one awake at night. 17:53:46 it was almost two weeks old 17:55:29 still better than 2weakOldCoffee 17:56:26 -!- Slereah_ has joined. 17:57:24 it wasn't weak 17:57:28 it was strong 17:57:35 but it wasn't quite coffee either 17:57:46 -!- tromp has quit (Remote host closed the connection). 17:58:18 -!- tromp has joined. 17:58:35 -!- conehead has joined. 17:59:47 meanwhile, I just finished a full pot of http://www.ikea.com/ca/en/catalog/products/60241389/?query=UPPHETTA 18:02:45 -!- tromp has quit (Ping timeout: 250 seconds). 18:09:16 -!- Slereah_ has quit (Ping timeout: 245 seconds). 18:21:52 -!- lambdabot has quit (Quit: utf8 woes). 18:23:53 -!- nisstyre has joined. 18:24:00 -!- nisstyre has quit (Changing host). 18:24:00 -!- nisstyre has joined. 18:26:09 -!- lambdabot has joined. 18:40:46 -!- boily has quit (Quit: Poulet!). 18:58:14 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:05:04 Did you look at Nock? (there is now an article on esolang wiki, and a talk page with a comment on it) 19:15:12 -!- Slereah_ has joined. 19:17:55 -!- MoALTz__ has quit (Quit: Leaving). 19:25:15 -!- Slereah has joined. 19:25:57 -!- Slereah_ has quit (Ping timeout: 250 seconds). 19:43:46 `coins 19:43:48 eta-julinersuscoin arcallyidocoin unshicoin stanacoin trocoin inforkcoin ringvilcoin unlamcoin crambdcoin uncecoin hcmoncoin keliucoin briacoin blocoin msglecoin wobtucoin kimossercoin waiperlinecoin ennecoin etchellcoin 19:44:01 The first one sounds good. 19:45:18 `cats 19:45:19 meow meow meow meow 19:45:33 `coins --swedish 19:45:33 kommaservägacoin 19:45:44 `coins --swedish 20 19:45:44 puscoin varscoin härtatcoin äkterskådandlatcoin böncoin bestallatcoin opencoin livitcoin uddeställcoin avböjtscoin frisioneracoin tonårcoin återscoin stancoin kokosympacoin omväxlincoin natikuslingcoin gunviscoin elväggnacoin ausarnacoin 19:45:49 `cats --swedish 19:45:50 ​/usr/bin/tail: option used in invalid context -- 1 19:46:37 two of those were beancoin and teenagecoin in swedish 19:47:27 deniedcoin/rejectedcoin too 19:47:47 `coins --finnish 20 19:47:48 mattomuutomimpänäcoin kireammecoin läpäivässännecoin persovemacoin loppiincoin humistävänäncoin tuneimpinallecoin seksennecoin upottelicoin herkkostansacoin kivaimpianicoin innöiltacoin kailemmecoin puuteleviävistäsicoin joutsuttavammottuvistacoin kiipeimmiltacoin alustammecoin oikografisimmassacoin havastustamincoin pöydäntegiasicoin 19:48:44 `coins --klingon 20 19:48:45 Unknown option: klingon 19:48:53 `coins --welsh 20 19:48:54 Unknown option: welsh 19:52:46 `coins --chinese 20 19:52:46 Unknown option: chinese 19:52:53 `coins --french 20 19:52:54 babiliocoin nanisercoin desgotricanglecoin recencoin glriencoin lyeaucoin mbuscoin repréexprivacoin cudentcoin trèsfactécoin lilécoin regacoin siminuovecoin tewarolencoin procoin uivcoin clorescoin dêlecoin édouvecoin pérecoin 19:53:03 "2379071488 bytes (2.4 GB) copied, 22536.1 s, 106 kB/s" fastest CF card in the West 19:54:12 only 13.6GB left of the 16GB card then? 19:55:49 -!- nucular has quit (Quit: Switching to phone). 19:56:21 -!- Sgeo|iPad has joined. 19:57:13 Stupidly went to another town' s AT&T store without my computer to wait two hours for my phone to be repaired 19:59:10 at&t store, that exists? 19:59:58 Yes. There's one near where I live and one in this other town that is an expensive cab ride away 20:04:18 olsner: Something like that. I had to stop temporarily to reboot. 20:04:50 Sgeo|iPad: what was wrong with the one where you live? 20:04:53 !ping 20:04:55 olsner: (Also for some reason the new 3.13.x kernel Debian had installed hangs in the "waiting for /dev to be fully populated..." at boot; the old 3.12.x worked.) 20:04:58 Pong! 20:05:12 They directed me to come to this one 20:05:16 (Today's apparently the National Computer Problems Day.) 20:05:23 Or leave phone with the. 20:05:32 With them overnight which I didn't want to do 20:11:50 -!- Sgeo|iPad has quit (Quit: Page closed). 20:12:35 -!- tromp_ has quit. 20:19:18 -!- aergus has joined. 20:26:31 -!- Slereah_ has joined. 20:28:21 -!- Slereah has quit (Ping timeout: 250 seconds). 20:42:55 -!- heroux has quit (Ping timeout: 252 seconds). 20:43:25 fizzie: isn't the "problems" redundant there?! 20:48:00 -!- heroux has joined. 20:49:29 I guess so. After all, "computer" is a Navajo word meaning "the cause of problems". (Not true.) 20:51:42 Ut oh, now the CF card reading has stopped. 20:56:39 Help I accidentally qualified for the google code jam 20:56:44 None of you make the joke please 21:01:06 -!- tromp has joined. 21:02:33 Taneb: damn. what joke? 21:03:34 "is it good on code toast"/"i prefer code marmalade" etc 21:03:58 Didn't get phone fixed 21:04:08 ah. food programming. spaghetti code. 21:04:12 They said need to order a new part to do it safely 21:04:13 Me neither, Sgeo 21:04:47 I don't feel like ordering a new part, going to some place again, blah 21:04:53 Might just buy a new phone 21:05:06 But I don't want to get into the habit of buying a phone just because the old one broke slightly 21:06:21 -!- tromp has quit (Ping timeout: 276 seconds). 21:11:57 -!- Koen_ has joined. 21:12:11 -!- Koen_ has quit (Remote host closed the connection). 21:24:00 -!- tromp_ has joined. 21:50:19 -!- oerjan has joined. 21:51:18 -!- Patashu has joined. 21:56:15 Ok, seeing the reactive-banana guy act like an idiot makes me sad <-- yeah people who aren't perfect all the time are so stupid 21:56:42 (i noticed those comments too btw.) 21:57:39 -!- Patashu[Zzz] has joined. 21:57:39 -!- Patashu has quit (Disconnected by services). 22:06:51 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 22:06:53 * int-e ponders compiling a couple more ghcs <-- what, are you updating lambdabot to 6.8.2 already? :) 22:07:07 oops 22:07:11 *7.8.2 22:07:28 I think 6.8.2 was the first GHC version I used. 22:07:35 -!- AnotherTest has quit (Ping timeout: 250 seconds). 22:09:41 oerjan: already done 22:10:08 19:32:27 --- lambdabot has quit [Quit: 7.8.1 -> 7.8.2] 22:10:16 (CET) 22:10:20 smashing 22:10:58 i vaguely recall lambdabot used to be several versions behind 22:11:00 I was amazed, all dependencies already worked, I only had to patch lambdabot itself. 22:11:13 yay 22:12:03 they seem to be getting good at updating packages for big releases 22:12:06 there was only this small problem related to role annotations: https://github.com/int-e/lambdabot/commit/dc7ee36480a3e2b4e1b25d0022de72b764029bf7 22:13:36 (I'm waiting for somebody to figure out that not being able to infer a representational role for the return value of monad transformers is actually quite annoying.) 22:13:44 [wiki] [[Boxy]] http://esolangs.org/w/index.php?diff=39300&oldid=39299 * Zerk * (+2358) Examples! 22:14:02 well, s/monad transformer/concrete monad stack/ 22:14:59 int-e: hm indeed, i'd have expected m to have the nominal role if any? 22:15:13 not that i really understand roles yet 22:15:21 (Oh. LB a = StateT State IO a, for some datatype State) 22:15:35 I want a to be representational there. 22:15:46 right 22:16:26 And it's not because the monad transformer uses 'm a' for unknown 'm', forcing the argument to be nominal (that's the only safe choice in general). 22:16:59 you can't force m to be representational instead? 22:17:09 -!- aergus has quit (Read error: Connection reset by peer). 22:17:30 or maybe they simplified the role system so much they cannot express that. 22:17:35 hmm. what do roles even mean for things of kind other than *? 22:17:43 (i.e. plain types) 22:18:14 or perhaps more relevantly, what does m ~ n mean if m,n : * -> *? 22:18:14 i'd imagine that it should mean that m is something that is representational if its argument is 22:18:33 gah too much brain 22:20:06 i suppose they'll be forced to implement role polymorphism eventually >:) 22:22:00 int-e: you changed lim80! the end of an era 22:22:25 lambdabot: @run 123 22:22:26 123 22:22:28 what's lim80 22:22:31 whoa. 22:22:40 the two-space days are over. 22:22:44 oerjan: lambdabot's output limiting command 22:22:57 right, i thought he did that a while ago 22:23:05 oerjan: it's the thing that makes lambdabot cut off > [1..] far too early, but lets you flood the channel with N lines of error. 22:23:11 elliott: but you get 80 characters on each line! 22:23:25 rather than 80, total. 22:23:25 > [1..] 22:23:27 [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,... 22:23:35 -!- idris-ircslave has quit (Quit: Terminated). 22:23:47 D: 22:23:49 int-e: now just rewrite @run to use repl and support user-local definitions and you'll be ahead of not only what I actually did, but my plans as well. 22:23:49 oops 22:23:51 *:D 22:25:11 elliott: that sounds like work though 22:25:26 int-e: but it was sooooo fast 22:25:34 and soooo brittle. so many ways to crash that thing 22:26:43 [wiki] [[Talk:Smartboxes]] M http://esolangs.org/w/index.php?diff=39301&oldid=39298 * Doesthiswork * (+866) 22:26:49 oerjan: I did that in December last year. 22:27:03 yep, that's a while ago ok 22:27:26 yeah, but I didn't look at the log until now. 22:27:55 @faq 22:27:56 http://www.haskell.org/haskellwiki/FAQ 22:27:59 nice. 22:28:08 elliott: the branch I'm actually using is called 'config' btw. that's where all the nasty changes are hidden. 22:28:17 (like this change to @faq) 22:28:33 I think you should upstream config stuff 22:28:47 there's no reason the default config and rc and stuff \bot ships with should differ from what actually runs on lambdabot 22:29:21 I have to admit that the actual configuration is not even checked in. I should really do that. 22:29:51 (and I have to clean up the utf8 changes very slightly and put them on master) 22:30:27 oh, you ported it to UTF-8?!?! 22:30:38 I started to do that but it was such a massive effort to untangle what's really a bytestring and what's really text 22:30:51 at one point @run was broken because of double-encoding or something like that 22:31:11 elliott: not really. ghc-7.8 now uses utf-8 quotes ... 22:31:15 @type huh 22:31:16 Not in scope: ‘huh’ 22:31:24 ah. 22:31:31 like there. so I patched @eval and @type where it leaked through 22:31:31 so just a @run-local hack 22:31:39 no, @eval is something else entirely :) 22:31:41 ah. @run. right 22:31:48 (it should stop being something else entirely and become @run instead) 22:31:57 (well, it's more like nothing else entirely.) 22:32:08 I know, but I will probably continue to mix them up. 22:32:13 @evil plans 22:32:24 @list eval 22:32:24 eval provides: run let define undefine 22:32:28 @help eval 22:32:28 eval. Do nothing (perversely) 22:33:30 [wiki] [[Talk:Smartboxes]] http://esolangs.org/w/index.php?diff=39302&oldid=39301 * Zerk * (+222) /* Implicit evaluation */ 22:34:03 [wiki] [[Talk:Smartboxes]] M http://esolangs.org/w/index.php?diff=39303&oldid=39302 * Zerk * (+73) Forgot to sign 22:41:59 elliott: https://github.com/int-e/lambdabot/commit/e4c4c70c41f79d497bc59e381552d5b6b3c44d38 is the actual configuration 22:42:07 (you may like the scripts) 22:42:42 wow, you refactored it and everything. 22:43:08 online.rc, I mean. 22:43:26 is the nickserv password still, erm, *that*? 22:43:44 I think so. There was no reason to change it. 22:44:24 yes, I refactored online.rc, because I actually have two of them, one using a DNS name for freenode, and the other using an IP. I grew tired of keeping them in sync. 22:44:37 why two? 22:44:42 as in, what's the point of the IP one? 22:44:51 IP works better when Freenode is under DDoS attack 22:44:55 ah 22:45:10 it should support a list of addresses for a server :) 22:46:10 And the screen session setup should actually be invoked automatically when the server reboots. I have not tested that though. 22:46:24 int-e: incidentally, what with the rate of owner turnover, I think lambdabot's 100% loyalty rating could use a reassessment. 22:46:36 good point 22:46:46 _|_% ?! 22:47:18 int-e: make it pick a random number on startup! 22:47:41 just move that into an -e rather than the .rc. 22:50:15 hmm, I wonder if I have a binary clock, or if I'm remembering someone else's 22:50:17 I guess laziness and purity wins that fight: It has already been evaluated to 100%, it'll stay that way. 23:09:37 @google lamdu 23:09:37 https://github.com/Peaker/lamdu 23:10:20 shachaf: ^^^ HTTP does not support https out of the box, but at least it does not error out anymore. 23:10:37 http-conduit does https 23:36:25 [wiki] [[User:Doesthiswork]] http://esolangs.org/w/index.php?diff=39304&oldid=39292 * Oerjan * (+1) I don't normally edit user pages but that's a broken link. 23:49:07 -!- Tritonio1 has joined. 23:49:16 -!- Slereah_ has quit (Ping timeout: 245 seconds). 23:50:39 -!- Sprocklem has joined. 23:51:30 -!- idris-ircslave has joined. 23:52:06 -!- Tritonio has quit (Ping timeout: 276 seconds). 23:58:18 -!- xpte has joined.