00:04:58 -!- tromp has joined. 00:10:49 -!- boily has joined. 00:11:41 holy fungot in the sky, please have mercy on my taste buds. 00:11:41 boily: default of zero points. a contestmaster may award a number to those cast by the fee shall be removed, then 00:12:05 fungot: many zeroes. chile extract. ow. 00:12:05 boily: a speaker or speaker-elect shall become frozen. the 00:17:46 boily: i think e suggests you should try to be Agora Speaker to cool down hth 00:23:03 -!- rodgort has quit (Ping timeout: 248 seconds). 00:25:53 `dice 00:25:53 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dice: not found 00:26:08 `run echo "http://www.clickhole.com/video/dont-have-dice-handy-dice-simulator-gives-you-numb-2710" > dice 00:26:10 No output. 00:26:13 `run echo "http://www.clickhole.com/video/dont-have-dice-handy-dice-simulator-gives-you-numb-2710" > bin/dice 00:26:15 No output. 00:26:17 `dice 00:26:18 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/dice: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/dice: cannot execute: Permission denied 00:26:25 `run chmod a+x bin/dice 00:26:27 No output. 00:26:28 `dice 00:26:28 ​/hackenv/bin/dice: line 1: http://www.clickhole.com/video/dont-have-dice-handy-dice-simulator-gives-you-numb-2710: No such file or directory 00:26:48 `wisdom 00:26:48 unicode/Unicode is a mess invented in 1988 by Xerox, Microsoft, the Spanish Inquisition, and the evil Human Supremacy Corporation, in order to make it easier for the government to spy on Chinese people. 00:26:54 `run echo "echo 'http://www.clickhole.com/video/dont-have-dice-handy-dice-simulator-gives-you-numb-2710'" > dice 00:26:58 No output. 00:27:01 `dice 00:27:01 ​/hackenv/bin/dice: line 1: http://www.clickhole.com/video/dont-have-dice-handy-dice-simulator-gives-you-numb-2710: No such file or directory 00:27:09 I feel dumb today 00:27:14 `run echo "echo 'http://www.clickhole.com/video/dont-have-dice-handy-dice-simulator-gives-you-numb-2710'" > bin/dice 00:27:16 No output. 00:27:17 `dice 00:27:18 http://www.clickhole.com/video/dont-have-dice-handy-dice-simulator-gives-you-numb-2710 00:27:40 `rm dice 00:27:43 No output. 00:32:31 -!- sebbu2 has joined. 00:32:39 -!- sebbu has quit (Ping timeout: 248 seconds). 00:34:28 also you cannot depose the speaker by deputisation, for at least two different reasons: (1) it's not an elected office (2) the speaker has no actual duties you could deputise for 00:34:39 wong wrindow 00:36:03 I'll do as if I hadn't seen anything, and gently continue `wisdoming. 00:36:05 `wisdom 00:36:07 heck/Heck is where you end up if you don't believe in Gosh. 00:37:31 `wisdom 00:37:41 mauris/maur is the correct spelling 00:37:46 helloren. 00:37:48 `wisdom 00:37:50 a/A is _not_ a village in Norway, unless you're the BBC and don't understand things on top of letters. 00:44:13 http://www.onionstudios.com/embed?id=2990&replay_allow=false&replay_text=Roll%20Again dice videos go from [2990,3012] excluding 3011 00:53:54 -!- Thisbe has quit (Quit: Left). 00:54:28 -!- Thisbe has joined. 01:11:27 -!- Herbalist has joined. 01:11:28 -!- Herbalist has quit (Changing host). 01:11:28 -!- Herbalist has joined. 01:11:56 -!- Herbalist has left. 01:22:55 -!- tromp has quit (Remote host closed the connection). 01:27:37 -!- boily has quit (Quit: JARRED CHICKEN). 01:57:11 -!- conehead has joined. 01:57:11 -!- conehead has quit (Changing host). 01:57:11 -!- conehead has joined. 01:57:30 @metar KOAK 01:57:31 KOAK 100153Z 26010KT 10SM FEW014 SCT026 BKN080 OVC130 17/13 A2989 RMK AO2 SLP122 T01720128 02:05:35 -!- ZombieAlive has quit (Remote host closed the connection). 02:23:33 -!- tromp has joined. 02:24:41 -!- jwg443 has joined. 02:28:09 -!- tromp has quit (Ping timeout: 265 seconds). 02:31:05 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:33:18 -!- jwg443 has quit (Ping timeout: 244 seconds). 02:52:30 -!- variable has joined. 03:10:02 zzo38: are you related to https://github.com/dev-zzo twh 03:10:16 I do not have accoutn on GitHub 03:11:07 another member of the zzo family 03:13:05 -!- madbr has quit (Ping timeout: 244 seconds). 03:13:31 -!- nys has quit (Quit: quit). 03:25:06 -!- tromp has joined. 03:29:10 -!- tromp has quit (Ping timeout: 248 seconds). 03:34:39 @metar CYYZ 03:34:40 CYYZ 100300Z 35007KT 15SM FEW045 18/12 A2998 RMK SC1 SLP152 DENSITY ALT 1000FT 03:37:43 -!- password2 has joined. 03:38:25 -!- rodgort has joined. 03:39:29 eep another tls error from a different site, i'm starting to think it's my browser that's got a bug 03:40:20 a number of things got more flakey recently. 03:43:29 oerjan: What's the website? 03:43:44 mail.haskell.org this time 03:43:59 the previous ones were all reddit, so i thought they were the culprit 03:50:01 The SSL looks fine to me 03:50:21 Let's confirm we are getting the same certificate 03:50:28 What web browser are you using? 03:51:48 I connected to http://mail.haskell.org/ so we shouldn't need SSL with it? 03:52:09 It automatically redirects to SSL 03:52:23 Or wait, that might be the HTTPS Everywhere addon 03:53:09 I think HTTP 2 always does encryption too 03:53:26 Then tell it which ones to enable/disable individually maybe, or disable HTTP 2 if that is the problem 03:57:13 Ok, it is the website that automatically redirects to https 03:58:01 For me it doesn't? 03:59:02 Odd, it does for me with https everywhere disabled. Maybe Firefox remembers it works over https? 03:59:27 Ok, I can go to it over http with xlinks 03:59:50 Possibly with HSTS or with cookies; if HSTS, you need to replace your browser. 04:00:46 oerjan: What's your browser? 04:04:54 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 04:06:04 IE 11 04:07:18 FreeFull: oh also, the error is intermittent, reloading fixes it. 04:08:04 I have a different problem; when HTTPS fails on some server, it won't work again for that server until the browser is restarted (but this doesn't automatically cause problems on other servers too). 04:53:04 oerjan: No idea then 04:53:06 Never used IE 04:53:23 shocking 04:55:28 oerjan, IE10 works at least once 04:56:07 Oh this is actually IE11 04:56:46 i am mostly assuming they broke something with one of the last updates - because tabs started behaving a bit weird too 04:57:01 HSTS is set 04:57:10 > 63072000 / 60 04:57:12 1051200.0 04:57:23 > 63072000 / 60 / 60 04:57:25 17520.0 04:57:28 > 63072000 / 60 / 60 / 24 04:57:30 730.0 04:57:38 > 63072000 / 60 / 60 / 24 / 365 04:57:40 2.0 04:57:49 I didn't know HSTS could go for two years 05:09:42 HSTS goes against any good kind of software design 05:21:10 -!- Wright has quit (Ping timeout: 256 seconds). 05:22:39 -!- password2 has quit (Ping timeout: 255 seconds). 05:24:40 -!- tromp has joined. 05:29:31 -!- tromp has quit (Ping timeout: 256 seconds). 05:31:00 -!- copumpkin has joined. 05:35:45 -!- copumpkin has quit (Ping timeout: 256 seconds). 05:35:47 -!- password2 has joined. 05:56:22 -!- Thisbe has quit (Ping timeout: 248 seconds). 05:58:35 -!- Thisbe has joined. 06:02:58 -!- password2 has quit (Read error: Connection reset by peer). 06:06:13 [wiki] [[User talk:Rdococ]] http://esolangs.org/w/index.php?diff=43442&oldid=43407 * Rdococ * (+121) /* Peano */ 06:22:01 [wiki] [[Refract]] M http://esolangs.org/w/index.php?diff=43443&oldid=43426 * Phase * (+71) add categories 06:27:21 Pretty sure a HSTS header can be set for longer than the lifetime of most certificates 06:30:42 twitter.com: max-age=631138519 06:31:03 Certificate expires: Sun 22 Jan 2017 06:39:08 -!- variable has quit (Ping timeout: 246 seconds). 06:42:58 -!- evalj has joined. 06:49:42 And the certificate expiry overrides it? 06:50:22 I don't know how firefox thinks about that. 06:50:30 Maybe fungot knows. 06:50:30 Jafet: private orders are executed by a type of change, unambiguously describing the action, 07:13:35 -!- tromp has joined. 07:17:59 -!- tromp has quit (Ping timeout: 246 seconds). 07:47:36 why do they call software "RC2" if it contains stuff they definitely have to fix before the release? 07:47:47 that's just riddiculous 07:47:56 call it "beta2" or something 07:54:06 -!- idris-bot has quit (Quit: Terminated). 07:58:07 -!- idris-bot has joined. 08:07:34 -!- evalj has quit (Remote host closed the connection). 08:08:38 [wiki] [[Jumper]] N http://esolangs.org/w/index.php?oldid=43444 * Phase * (+2752) Create Jumper 08:12:06 -!- llue has joined. 08:12:06 -!- llue has quit (Changing host). 08:12:06 -!- llue has joined. 08:15:17 fnord. 08:15:39 -!- lleu has quit (Ping timeout: 265 seconds). 08:15:45 Why are you just sending a dot 08:16:39 -!- oerjan has quit (Quit: leaving). 08:16:40 . 08:29:58 -!- Thisbe has quit (Ping timeout: 248 seconds). 08:30:23 -!- Thisbe has joined. 08:31:50 [wiki] [[Jumper]] M http://esolangs.org/w/index.php?diff=43445&oldid=43444 * Phase * (+25) Add headers 08:36:38 [wiki] [[Jumper]] http://esolangs.org/w/index.php?diff=43446&oldid=43445 * Phase * (+557) Examples and more syntax 08:36:51 -!- haavard has joined. 08:45:20 -!- Patashu has joined. 08:49:56 -!- ais523 has joined. 08:56:08 [wiki] [[Argh!]] http://esolangs.org/w/index.php?diff=43447&oldid=9440 * 80.175.127.178 * (+61) Added external link to Mercurial repository 09:02:22 -!- tromp has joined. 09:07:17 -!- tromp has quit (Ping timeout: 264 seconds). 09:13:59 -!- gamemanj has joined. 09:14:22 -!- gamemanj has quit (Client Quit). 09:44:38 -!- Thisbe has quit (Ping timeout: 248 seconds). 09:53:36 -!- Phantom_Hoover has joined. 10:08:37 -!- sebbu2 has changed nick to sebbu. 10:09:39 -!- boily has joined. 10:45:32 hey, does anyone here know about primitive recursive busy beavers? 10:45:46 my instincts are that the busy beaver problem is decidable in a primitive recursive language 10:45:49 I'm not quite sure how to define it, though 10:46:16 something like "the largest number that can be output by a program that's no more than X bytes long in «insert primitive recursive language here»" 10:46:44 we don't have enough primitive recursive esolangs, really 10:47:17 this came up at work, I'm specifically wondering about whether Church arithmetic in typed lambda calculus has the same power as primitive recursive functions 10:50:56 o 10:50:57 -!- tromp has joined. 10:54:09 -!- Froox has joined. 10:54:09 -!- Frooxius has quit (Read error: Connection reset by peer). 10:58:51 ais523: wait... busy beaver functions come up at work? 10:59:02 but those are totally impractical functions! 10:59:26 I mean, even the computable variants, if such a thing exists, probably are 10:59:27 b_jonas: the specific problem is that we can't get a working type inference algo 10:59:44 and the reason seems to be that the algos we've been looking at can only handle exponential blowup in the size of a type 11:00:02 but some sufficiently impractical types blow up faster than that 11:00:46 this morning I found a constant function f, such that for varying x, the type of f(x) has a size O(2**(2**n)) in the size of the type of x 11:00:53 but yes, I think busy beaver function for a primitive recursive language is probably computable (though obviously it would blow up very quickly) 11:01:00 which instantly gives a counterexample 11:01:06 I also think it's computable, and blows up very quickly 11:01:17 and suspect that it's related to the ackermann function somehow 11:01:55 yes, something like that. it could depend on which version of primitive recursive you take 11:02:12 or are all the definitions for that essentially equivalent? 11:02:28 if it matters, I don't know which one it is 11:02:39 I don't even know that the primitive recursive functions are what the type system encodes 11:02:45 it's just a guess that's looking reasonable at this point 11:03:00 I see 11:03:05 anyway, lunchtime 11:03:07 -!- ais523 has quit (Quit: lunch). 11:05:11 -!- tromp has quit (Remote host closed the connection). 11:16:58 what's primitive recursion? 11:17:21 I think he means -recursive functions without the ? 11:17:36 0, successor operator, projection, and recursion 11:17:52 mroman_: you know, that crazy thingy logicians invented about a class of algorithms that can be syntactically checked to make sure they terminate 11:17:57 why is the ackermann function not primitive recursive? 11:18:25 Look at Ackermann's paper, I guess? 11:18:42 I'm bad at math. 11:18:43 mroman_: the detail about the ackermann function doesn't matter, the point is that because of Godel and stuff, you can't make a class that can be syntactically checked to terminate but covers all turing-complete stuff 11:18:56 mroman_: so you have to settle for some intermediate class that covers enough useful things and is closed in some senses 11:19:00 Yeah I got it. Gödel sucked the joy out of the world. 11:19:10 mroman_: polynomial time would be too small 11:19:23 -!- boily has quit (Quit: DIRECTED CHICKEN). 11:19:35 you could choose a larger class that covers Ackermann, but why bother, then there'd be some even faster growing function it doesn't cover 11:20:07 primitive recursive covers all of PH and much more, including double-exponential and triple-exponential runtime algorithms 11:20:55 slereah: dunno, that definition never made sense to me. it's like an artifically golfed definition 11:21:17 Isn't PR exactly the functions you can construct from typed church numerals? 11:21:19 but probably I just haven't spent the time to understand how it really works 11:21:30 Jafet: that's sort of what ais asked 11:21:37 I dunno 11:22:42 wp says busy beavers are neither primitive recursive nor μ-recursive 11:39:57 @ask ais523 There is already an esoteric language based on PR. It's called PR. 11:39:57 Consider it noted. 11:40:17 Jafet: sure, and BLOOP may count as esoteric by some definitions too 11:44:04 @ask ais523 The implicit computational complexity people would be the most likely to have proven equivalence between church numerals and PR, but I can't find such a result. 11:44:04 Consider it noted. 12:00:31 -!- ais523 has joined. 12:20:48 -!- tromp has joined. 12:25:12 -!- tromp has quit (Ping timeout: 246 seconds). 12:32:18 Right, I have eaten at least two meals at least two days in a row 12:32:21 This is a good start 12:39:37 for? 12:41:25 mroman_, getting my eating habits back on track 12:41:34 I am the kind of person who forgets to eat 12:47:27 ais523: . 12:47:43 b_jonas: I think you're missing a sentence there 12:48:02 ais523: yeah, I'm just waiting for lambdabot to tell you some messages or something 12:48:10 but he's not listening 12:48:19 (or told in another channel) 12:48:23 @messages? 12:48:24 You have 2 new messages. '/msg lambdabot @messages' to read them. 12:48:46 hmm, thanks Jafet 12:48:55 Taneb: ic 12:57:51 -!- ais523 has quit (Quit: meeting). 12:58:26 where's my cargo 13:02:06 oh well. Installed the nightly builds 13:07:16 -!- Herbalist has joined. 13:08:32 -!- Herbalist has left. 13:12:55 `? metatarski 13:13:05 metatarski? ¯\(°​_o)/¯ 13:13:51 `` ls wisdom | grep -i tarski 13:13:52 No output. 13:16:11 `` echo wisdom/* | tr ' ' '\n' | grep -i tarski 13:16:12 wisdom/banach-tarski 13:16:21 `? banach-tarski 13:16:22 ​"Banach-Tarski" is an anagram of "Banach-Tarski Banach-Tarski". 13:16:31 badum tish 13:18:37 Some people, when confronted with a problem, think "I know, I'll use the Banach-Tarski theorem." 13:19:23 I hope u have a good knife 13:19:30 To cut things into non-measurable pieces 13:21:28 Jafet: hehe, that's a good one 13:21:30 or two 13:32:22 src/main.rs:6:2: 6:5 error: binary assignment operation `+=` cannot be applied to types `_` and `&i32` [E0368] 13:32:25 meh 13:32:26 _? 13:32:29 what's type _ 13:32:50 Can you paste the source somewhere? 13:35:24 hm. seems I have to dereference it first with * 13:35:31 what language is that even? 13:35:47 http://codepad.org/69j7U1Yn <- this works 13:35:49 b_jonas: It's Rust. 13:35:52 oh, Rust 13:35:53 right 13:38:11 Taneb: find doesn't work on vectors? 13:38:43 ?? 13:41:04 sure it works 13:41:21 (0..100).find(|x| *x > 42); 13:41:24 like that 13:42:04 -!- GeekDude has joined. 13:43:05 mroman_: um, that's a Range, not a vector 13:43:25 -!- `^_^v has joined. 13:47:47 [wiki] [[Talk:Polynomial]] M http://esolangs.org/w/index.php?diff=43448&oldid=43440 * LegionMammal978 * (-7) fixed code 13:48:46 http://codepad.org/0d5bygmT <- this looks a bit overly complicated 13:49:19 need to dereference twice there apparentely 13:50:15 iterating over Vec gives you i32 13:50:25 iterating over &Vec gives you i32 13:50:34 * &i32 13:50:43 and combine that with find and you'll get &&i32; 13:51:51 -!- tromp has joined. 13:56:15 -!- tromp has quit (Ping timeout: 256 seconds). 14:03:31 `? fternooner 14:03:31 fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”) is a screamingly delicious pastry. 14:03:45 What is a fternooner and where can I find one 14:06:16 -!- tromp has joined. 14:10:40 -!- tromp has quit (Ping timeout: 250 seconds). 14:15:42 I do have idea of how to implement HSTS in a better way though. Instead of doing what it currently does, it would cause the client to assocate any authentication and any cookies that are specified as secure-only with the certificate and cipher in use, as well as stores them in the memory so if the HSTS does not expire yet, it will warn the user if these change, and also store them with bookmarks; but, also permit the user to override any of these op 14:16:07 -!- J_A_Work has joined. 14:17:00 The setting for redirecting http:// URLs to https:// URLs (or any URL to any URL) automatically would be defined only by the user though. 14:22:13 -!- J_A_Work has quit (Quit: J_A_Work). 14:24:39 -!- dropdabase has joined. 14:26:12 -!- mauris has joined. 14:28:58 -!- Patashu has quit (Ping timeout: 256 seconds). 14:31:29 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 14:35:55 -!- dropdabase has quit (Ping timeout: 256 seconds). 14:37:16 -!- ZombieAlive has joined. 14:46:36 -!- dropdabase has joined. 15:01:17 -!- mnkeg has joined. 15:06:54 -!- tromp has joined. 15:07:31 -!- Phantom_Hoover has joined. 15:10:59 -!- tromp has quit (Ping timeout: 240 seconds). 15:19:32 -!- slereah has quit (Quit: Leaving). 15:27:14 -!- nys has joined. 15:31:11 -!- ais523 has joined. 15:31:13 -!- mnkeg has quit (Remote host closed the connection). 15:45:57 -!- dumbbutt has joined. 15:57:26 -!- password2 has joined. 16:11:44 -!- dumbbutt has quit (Ping timeout: 265 seconds). 16:14:29 -!- dropdabase has quit (Ping timeout: 248 seconds). 16:21:59 -!- trn has quit (Ping timeout: 240 seconds). 16:25:56 -!- trn has joined. 16:33:52 -!- llue has quit (Quit: That's what she said). 16:33:54 -!- ais523 has quit (Ping timeout: 244 seconds). 16:34:09 -!- lleu has joined. 16:34:09 -!- lleu has quit (Changing host). 16:34:09 -!- lleu has joined. 16:37:52 -!- ais523 has joined. 16:38:28 -!- rdococ has joined. 16:38:56 -!- Wright has joined. 16:43:30 -!- ais523 has quit (Ping timeout: 246 seconds). 16:50:16 -!- bb010g has joined. 16:52:22 -!- dropdabase has joined. 16:55:46 -!- tromp has joined. 16:58:50 -!- dropdabase has quit (Ping timeout: 256 seconds). 17:00:32 -!- tromp has quit (Ping timeout: 265 seconds). 17:01:00 -!- vicky36 has joined. 17:02:33 -!- villasukka has quit (Ping timeout: 258 seconds). 17:02:37 -!- atehwa_ has quit (Ping timeout: 252 seconds). 17:08:25 -!- villasukka has joined. 17:08:33 -!- atehwa has joined. 17:29:23 -!- vicky36 has quit (Ping timeout: 264 seconds). 17:30:13 -!- odb has joined. 17:30:29 -!- password2 has quit (Ping timeout: 252 seconds). 17:31:02 -!- password2 has joined. 17:36:33 -!- dumbbutt has joined. 17:39:00 -!- ZombieAlive has quit (Ping timeout: 244 seconds). 17:41:38 -!- odb has quit (Ping timeout: 255 seconds). 17:49:18 -!- dumbbutt has quit (Read error: Connection reset by peer). 18:02:03 -!- ais523 has joined. 18:02:55 -!- password2 has quit (Ping timeout: 250 seconds). 18:03:27 -!- password2 has joined. 18:06:16 -!- Thisbe has joined. 18:06:27 -!- Thisbe has quit (Client Quit). 18:07:01 -!- Thisbe has joined. 18:29:04 -!- idris-bot has quit (Quit: Terminated). 18:29:20 -!- idris-bot has joined. 18:37:38 -!- password2 has quit (Remote host closed the connection). 18:44:44 -!- tromp has joined. 18:48:59 -!- tromp has quit (Ping timeout: 240 seconds). 18:55:48 -!- hppavilion[1] has joined. 18:55:50 Hi 18:56:13 `wisdom 18:56:16 Ooh 18:56:21 rdococ is on 18:56:31 ​¯\(°_o)/¯/¯\(°_o)/¯ `? ¯\(°_o)/¯ 18:56:31 | | | 18:56:31 o/`¯º o/`¯º o/`¯º 18:56:33 Maybe 18:59:57 Or not 19:00:16 _o_ 19:00:17 | 19:00:17 /'\ 19:01:09 _o_ 19:01:09 | 19:01:10 /| 19:01:21 -!- ais523 has quit. 19:01:21 -_- 19:01:36 Maybe we should discuss esolangs :P 19:05:50 c.c \o/ heresy O.o 19:05:50 c.c.c | 19:05:50 c.c |\ 19:07:30 fnordbot: why are you still here... I expected you do be kicked by now.. 19:07:31 int-e: you on which the galaxy, a device which made this starship, one day, a student at the university of maximegalon, who pursued a brilliant marble-sanded beaches of santraginus v, inhaling the heady sea vapours; you can sleep under it. " yeah," he was saying, " magrathea is a myth, a fairy story, it's what parents tell their kids at school nicknamed him ix, which in the language. he couldn't, and he didn't like the sound of 19:07:46 -!- fnordbot has quit (Remote host closed the connection). 19:09:00 ^celebrate 19:09:00 \o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/ 19:09:00 | c.c.c | ¯|¯⌠ `\o/´ | c.c.c | `\o/´ ¯|¯⌠ | c.c.c | 19:09:00 |\ c.c /'\ /< | | /| c.c |\ | /^\| >\ c.c /´\ 19:09:01 /'\ /'¯|_) 19:09:01 (_| |_) (_| 19:09:06 Well that was coincidential 19:09:13 hppavilion[1]: not really 19:09:29 Is fnordbot programmed to quit when you talk to it? 19:09:45 hppavilion[1]: no, but it didn't survive ^C on the shell 19:09:53 Oh 19:10:11 Wait 19:10:14 What? 19:10:40 Wad fnordbot running somewhere you had access to? 19:10:43 hppavilion[1]: fizzie runs fungot, but fungot had stability problems (also, it moved...). I set up a poor replacement... that's fnordbot. 19:10:43 int-e: a proposal, or 19:10:53 Oh 19:11:59 Wait 19:12:01 int e? 19:12:14 I'm trying to figure out that name... 19:12:20 What language is it supposed to be? 19:12:28 Either it's a variable declaration or a cast 19:13:05 fungot 19:13:06 hppavilion[1]: quota: 1 elements: limited immaculate players 3 exploit: if a revolt occurs. there are no votes cast on the behalf of whom 19:13:09 Huh 19:13:23 fungot fungot fungot fungot 19:13:23 hppavilion[1]: except that which a player submits a judgement to all rules governing proposals, 19:13:30 ^style 19:13:30 Available: agora* alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 19:13:40 ^style agora 19:13:40 Selected style: agora (a large selection of Agora rules, both current and historical) 19:13:43 ... 19:13:54 Hi 19:13:58 fun one. 19:14:19 hppavilion[1]: I expect this isn't going to help you, but the - is a minus. 19:14:28 Oh 19:14:42 I thought it was just a filler because you couldn't do space :P 19:14:50 Though I guess _ would make more sense for that :P 19:14:52 http://arin.ga/82YXp1/raw super dead code elimination \o/ 19:14:52 | 19:14:52 /| 19:15:30 * izabera still has to work on multiplication loops 19:15:50 So I made a language centered around making Neural Networks 19:15:52 hmm, dead code elimination. "my compiler removes code that will never be run"... 19:16:21 I'm trying to figure out a joke about that 19:16:23 But I can't 19:16:39 (there's a loophole in there) 19:16:42 int-e: <.< 19:17:08 What's the loophole? 19:17:26 removed code will never be run. 19:17:35 Oh 19:17:37 xD 19:18:04 def compile(script): return '' 19:18:20 #Code that will never be run removed 19:19:32 So what does lambabot do? 19:19:58 stock market quotes, weather reports, quotations, notifications... 19:20:03 oh and some haskell stuff 19:20:05 Ah 19:20:09 Oooh 19:20:10 Haskell 19:20:52 @ticker VOO 19:20:52 VOO: 190.44 +2.59 (+1.38%) @ 7/10/2015 3:06pm 19:20:58 fancy 19:20:58 > fix ((0:) : scanl (+) 1) 19:21:00 Couldn't match expected type ‘a -> a’ 19:21:00 with actual type ‘[[Integer] -> [Integer]]’ 19:21:00 In the first argument of ‘fix’, namely ‘((0 :) : scanl (+) 1)’ 19:21:10 err, stupid me 19:21:13 > fix ((0:) . scanl (+) 1) 19:21:14 [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... 19:24:23 -!- hppavilion[1] has quit (Ping timeout: 246 seconds). 19:47:57 `wisdom 19:48:08 ​̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_͙̣͎͎͙̪̪̝̖͉̟̭̻̥̫̗̱̗͍̳̦̮̟̲̥͔̿̊ͣ̉ͣͪ͒̓̐͊̏ͫ̓̚̚҉̕͜͠͠҉̡̧̛͞/̼͚͇̮͕̘̳̞̤̜̯̪̘̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_̿̊ͣ̉ͣͪ͒̓ 19:49:00 `unidecode ​̚_̿̊�͎͎/̂̚ 19:49:02 ​[U+0020 SPACE] [U+200B ZERO WIDTH SPACE] [U+031A COMBINING LEFT ANGLE ABOVE] [U+005F LOW LINE] [U+033F COMBINING DOUBLE OVERLINE] [U+030A COMBINING RING ABOVE] [U+FFFD REPLACEMENT CHARACTER] [U+034E COMBINING UPWARDS ARROW BELOW] [U+034E COMBINING UPWARDS ARROW BELOW] [U+002F SOLIDUS] [U+031A COMBINING LEFT ANGLE ABOVE] [U+0302 COMBINING CIRCUMF 19:49:11 `wisdom 19:49:14 hexham/Hexham es la ciudad mas importante de programación esotérico 19:49:19 `culprits wisdom/hexham 19:49:24 oerjan elliott Bike FreeFull elliott ais523 ais523 elliott FreeFull oerjan FreeFull oerjan FreeFull Taneb elliott oerjan shachaf oerjan 19:50:06 `culprits ​̚_̿̊�͎͎ 19:50:07 No output. 19:50:16 `culprits wisdom/ ​̚_̿̊�͎͎ 19:50:17 No output. 19:50:29 `culprits wisdom/_̿̊�͎͎ 19:50:31 No output. 19:50:36 whatever :/ 19:51:41 -!- lemurian has joined. 19:51:51 `culprits wisdom/​̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_͙̣̿̊ͣ̉ͣͪ͒̓̐͊̏ͫ̓̚̚�͎͎͙̪̪̝̖͉̟̭̻̥̫̗̱̗͍̳̦̮̟̲̥͔҉̕͜͠͠҉̡̧̛͞ 19:51:52 No output. 19:52:15 `echo wisdom/*͠* 19:52:16 wisdom/*͠* 19:52:23 `` echo wisdom/*͠* 19:52:24 wisdom/̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_͙̣͎͎͙̪̪̝̖͉̟̭̻̥̫̗̱̗͍̳̦̮̟̲̥͔̿̊ͣ̉ͣͪ͒̓̐͊̏ͫ̓̚̚҉̕͜͠͠҉̡̧̛͞ 19:52:40 `` culprits $(echo wisdom/*͠*) 19:52:41 oerjan elliott Bike FreeFull guestbot 19:53:39 Is there an advantage to foo $(echo ...) over foo ...? 19:54:37 uhm, no. 19:56:14 funny. I just didn't think about what echo does at all while feeding its output as an argument to culprits 19:57:39 I sometimes wish sh didn't have < and > 19:57:49 And instead you used processes with pipes to get the same functionality. 19:58:10 read in | foo | write out 19:58:37 well, you can write < in foo > out 19:58:55 Yes. 19:59:09 The main reason I want it to be that way is so people would stop complaining when you type "cat in | ..." 19:59:19 and besides it'd be really inefficient. 19:59:31 Also, tee would just be a flag to write, instead of its own process. 19:59:34 it's silly to complain about that really. 19:59:49 shachaf: they would still complain 19:59:55 It'd be inefficient enough that it wouldn't be a great idea, but probably not terrible for most uses. 20:01:10 at some point I ended up doing cat | ... because the ... part tested whether stdin is a terminal. 20:01:29 * int-e forgot the precise circumstances 20:03:05 `? hash 2346ad27d7568ba9896f1b7da6b5991251debdf2 20:03:09 hash 2346ad27d7568ba9896f1b7da6b5991251debdf2 20:03:14 `? hash 20:03:15 hash? ¯\(°​_o)/¯ 20:05:46 -!- lleu has quit (Read error: Connection reset by peer). 20:06:17 why does culprits list so many people for http://codu.org/projects/hackbot/fshg/index.cgi/log/070977d66f58/wisdom/_%CC%86%CC%93%CC%B0_%CC%CC%85%CD%AD%CD%AD%CD%AC%CC%A6%CC%BB%CC%96%CD%8D%CC%9F%CC%96%CD%A1_%CD%A7%CD%92%CC%90%CD%89%CC%AD_%CD%82%CD%8B%CD%92%CD%A7%CD%8B%CC%CC%8B%CC%AF%CD%99%CC%AC%CC%AC%CC%A6%CC%AF_%CC%94%CC%89%CC%85%CD%A8%CC%9D%CC%B4%CD%9E ? 20:06:24 -!- lleu has joined. 20:07:19 `culprits wisdom/ants 20:07:21 No output. 20:07:26 `culprits wisdom/ant 20:07:27 int-e 20:09:45 Oh that was part of the Lilax episode. 20:09:55 `rm wisdom/ant 20:09:59 No output. 20:12:21 -!- Thisbe has quit (Ping timeout: 248 seconds). 20:12:25 -!- lemurian has quit (Ping timeout: 265 seconds). 20:12:46 -!- Thisbe has joined. 20:13:41 ... 20:13:44 lel 20:20:04 `cat wisdom/phantom_* 20:20:05 cat: wisdom/phantom_*: No such file or directory 20:20:08 `` cat wisdom/phantom_* 20:20:13 Phantom Michael Hoover is a true Scotsman, hatheist, and completely out of the loop. \ Phantom__Hoover can't decide what an appropriate number of underscores is. \ Phantom___Hoover sucks at ghosting himself. \ It doesn't get any better than this. \ OK you got me there. \ Your soundcard works perfectly. 20:24:02 `` sed -i 's=$= They get eaten by poets in stone dens.' wisdom/lion 20:24:03 sed: -e expression #1, char 43: unterminated `s' command 20:24:12 `` sed -i 's=$= They get eaten by poets in stone dens.=' wisdom/lion 20:24:15 No output. 20:33:36 -!- tromp has joined. 20:35:29 `? lion 20:35:29 Lions are the catamorphisms of the animal world. They get eaten by poets in stone dens. 20:35:48 int-e: that's what learn_append is for hth 20:37:50 -!- tromp has quit (Ping timeout: 252 seconds). 20:38:07 It wouldn't have worked. I'd have needed a le/rn_append 20:39:04 wait...a hatheist? 20:39:31 hahaha 20:46:40 int-e: Are you sure? 20:46:56 `cat bin/learn_append 20:46:59 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ stuff=$(echo "$1" | cut -d' ' -f2-) \ perl -i -p -e 's/\n/ /' "wisdom/$topic" \ echo "$stuff" >>"wisdom/$topic" \ echo -n "Learned '$topic': " \ cat "wisdom/$topic" 20:47:03 shachaf: note the "They" 20:47:42 `learn_append lions blah blah blah 20:47:44 Learned 'lion': Lions are the catamorphisms of the animal world. They get eaten by poets in stone dens. blah blah blah 20:47:49 `revert 20:47:56 hmm. 20:48:00 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 20:48:15 `? lions 20:48:15 Lions are the catamorphisms of the animal world. They get eaten by poets in stone dens. 20:48:29 Ok, thanks... maybe next time. 20:48:43 le/rn is so good 20:48:48 but not as good as mk 20:49:15 `cat bin/hatesgeo 20:49:15 ​#!/bin/sh \ perl -n -e '/:(.*?)!.*JOIN/; $j{$1}++; END {print "$_ $j{$_};" for sort {$j{$b} <=> $j{$a}} keys %j}' $@ 20:50:59 `? goat 20:51:00 Goats are drunk 24/7, ask Solain for details. 20:51:24 oh it sorts people by how frequently they join. which made sense back when hackego had access to channel logs 20:54:01 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 20:54:06 `mk a//blah//c 20:54:08 a 20:54:11 `cat a 20:54:12 blah//c 20:54:16 `revert 20:54:16 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 20:58:18 -!- Thisbe has quit (Quit: Left). 20:58:33 -!- Thisbe has joined. 21:08:45 `cat bin/mkx 21:08:49 key=$(mk "$@") && echo "$key" && chmod +x "$key" 21:08:51 too good 21:09:11 -!- Phantom_Hoover has joined. 21:09:15 Why doesn't that have quotes around the $()? 21:12:48 -!- `^_^v has quit (Quit: This computer has gone to sleep). 21:12:53 `culprits bin/mk 21:12:57 tswett tswett shachaf shachaf shachaf shachaf 21:13:01 `culprits bin/mkx 21:13:03 tswett tswett shachaf 21:13:13 `culprits le/rn 21:13:15 shachaf oerjan shachaf 21:13:26 `culprits bin/learn 21:13:27 tswett tswett oerjan oerjan oerjan oerjan oerjan oerjan elliott oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan shachaf shachaf shachaf elliott elliott nitia 21:15:31 `culprits bin/slashlearn 21:15:33 tswett tswett shachaf shachaf shachaf shachaf 21:16:01 Why is tswett all over these logs? 21:16:06 `` hg log --removed bin/mk | grep tswett 21:16:07 summary: revert \ summary: rm bin -r 21:16:14 ah tdnh 21:19:44 -!- nooga has joined. 21:20:57 I went to Austria and saw this town called Vomp 21:21:50 Jmm, seen the name; it's near Innsbruck. 21:21:54 *Hmm. 21:23:07 hah. https://en.wikipedia.org/wiki/Vomp 21:23:12 this name is so stupid that I keep repeating it in my mind weeks after seeing the town 21:23:20 weird 21:51:36 vomit 21:58:29 -!- nooga has quit (Ping timeout: 256 seconds). 22:00:51 -!- nooga has joined. 22:09:16 "As a closing note, it was sickening to see some of the things redditors wrote about Ellen. [1] The reduction in compassion that happens when we’re all behind computer screens is not good for the world. People are still people even if there is Internet between you." 22:10:47 -!- nooga has quit (Ping timeout: 264 seconds). 22:22:27 -!- tromp has joined. 22:26:51 -!- tromp has quit (Ping timeout: 246 seconds). 22:27:15 I'm still laghing on how the http://www.norwegian.com/ airline has special rules for transporting a double bass as checked baggage. 22:27:30 Yes, it sort of makes sense, but stil. 22:27:40 Airline rules are always funny. 22:32:36 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 22:36:05 -!- Phantom_Hoover has joined. 22:47:21 -!- lleu has quit (Read error: Connection reset by peer). 22:47:47 -!- lleu has joined. 22:51:13 -!- boily has joined. 22:57:32 -!- oerjan has joined. 23:00:35 -!- tromp has joined. 23:00:48 -!- tromp has quit (Client Quit). 23:01:57 -!- Thisbe has quit (Ping timeout: 248 seconds). 23:02:56 -!- tromp has joined. 23:07:58 -!- aretecode has quit (Read error: Connection reset by peer). 23:09:11 -!- Thisbe has joined. 23:14:06 -!- Thisbe has quit (Read error: Connection reset by peer). 23:35:44 -!- Patashu has joined. 23:49:58 -!- ZombieAlive has joined. 23:54:11 @tell ais523 my instincts are that the busy beaver problem is decidable in a primitive recursive language <-- s/primitive recursive/terminating/, and almost trivially so 23:54:11 Consider it noted. 23:58:03 If I give you a program and promise you that it's terminating, what can you decide about it? 23:58:36 anything i can find out by running it until it terminates... 23:59:11 Well, you can't decide e.g. whether it implements the identity function. 23:59:26 true.