00:04:58 -!- tromp has joined.
00:10:49 -!- boily has joined.
00:11:41 <boily> holy fungot in the sky, please have mercy on my taste buds.
00:11:41 <fungot> boily: default of zero points. a contestmaster may award a number to those cast by the fee shall be removed, then
00:12:05 <boily> fungot: many zeroes. chile extract. ow.
00:12:05 <fungot> boily: a speaker or speaker-elect shall become frozen. the
00:17:46 <oerjan> 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 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dice: not found
00:26:08 <Sgeo_> `run echo "http://www.clickhole.com/video/dont-have-dice-handy-dice-simulator-gives-you-numb-2710" > dice
00:26:13 <Sgeo_> `run echo "http://www.clickhole.com/video/dont-have-dice-handy-dice-simulator-gives-you-numb-2710" > bin/dice
00:26:18 <HackEgo> /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 <Sgeo_> `run chmod a+x bin/dice
00:26:28 <HackEgo> /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 <HackEgo> 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 <Sgeo_> `run echo "echo 'http://www.clickhole.com/video/dont-have-dice-handy-dice-simulator-gives-you-numb-2710'" > dice
00:27:01 <HackEgo> /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:14 <Sgeo_> `run echo "echo 'http://www.clickhole.com/video/dont-have-dice-handy-dice-simulator-gives-you-numb-2710'" > bin/dice
00:27:18 <HackEgo> http://www.clickhole.com/video/dont-have-dice-handy-dice-simulator-gives-you-numb-2710
00:32:31 -!- sebbu2 has joined.
00:32:39 -!- sebbu has quit (Ping timeout: 248 seconds).
00:34:28 <oerjan> 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:36:03 <boily> I'll do as if I hadn't seen anything, and gently continue `wisdoming.
00:36:07 <HackEgo> heck/Heck is where you end up if you don't believe in Gosh.
00:37:41 <HackEgo> mauris/maur is the correct spelling
00:37:50 <HackEgo> 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 <Sgeo_> 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:31 <lambdabot> 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 <shachaf> zzo38: are you related to https://github.com/dev-zzo twh
03:10:16 <zzo38> I do not have accoutn on GitHub
03:11:07 <nys> 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:40 <lambdabot> 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 <oerjan> 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 <oerjan> a number of things got more flakey recently.
03:43:44 <oerjan> mail.haskell.org this time
03:43:59 <oerjan> the previous ones were all reddit, so i thought they were the culprit
03:50:21 <FreeFull> Let's confirm we are getting the same certificate
03:50:28 <FreeFull> What web browser are you using?
03:51:48 <zzo38> I connected to http://mail.haskell.org/ so we shouldn't need SSL with it?
03:52:09 <FreeFull> It automatically redirects to SSL
03:52:23 <FreeFull> Or wait, that might be the HTTPS Everywhere addon
03:53:09 <FreeFull> I think HTTP 2 always does encryption too
03:53:26 <zzo38> Then tell it which ones to enable/disable individually maybe, or disable HTTP 2 if that is the problem
03:57:13 <FreeFull> Ok, it is the website that automatically redirects to https
03:58:01 <zzo38> For me it doesn't?
03:59:02 <FreeFull> Odd, it does for me with https everywhere disabled. Maybe Firefox remembers it works over https?
03:59:27 <FreeFull> Ok, I can go to it over http with xlinks
03:59:50 <zzo38> Possibly with HSTS or with cookies; if HSTS, you need to replace your browser.
04:04:54 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
04:07:18 <oerjan> FreeFull: oh also, the error is intermittent, reloading fixes it.
04:08:04 <zzo38> 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:55:28 <Sgeo_> oerjan, IE10 works at least once
04:56:07 <Sgeo_> Oh this is actually IE11
04:56:46 <oerjan> i am mostly assuming they broke something with one of the last updates - because tabs started behaving a bit weird too
04:57:23 <Sgeo_> > 63072000 / 60 / 60
04:57:28 <Sgeo_> > 63072000 / 60 / 60 / 24
04:57:38 <Sgeo_> > 63072000 / 60 / 60 / 24 / 365
04:57:49 <Sgeo_> I didn't know HSTS could go for two years
05:09:42 <zzo38> 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 <HackEgo> [wiki] [[User talk:Rdococ]] http://esolangs.org/w/index.php?diff=43442&oldid=43407 * Rdococ * (+121) /* Peano */
06:22:01 <HackEgo> [wiki] [[Refract]] M http://esolangs.org/w/index.php?diff=43443&oldid=43426 * Phase * (+71) add categories
06:27:21 <Jafet> Pretty sure a HSTS header can be set for longer than the lifetime of most certificates
06:30:42 <Jafet> twitter.com: max-age=631138519
06:31:03 <Jafet> 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 <FreeFull> And the certificate expiry overrides it?
06:50:22 <Jafet> I don't know how firefox thinks about that.
06:50:30 <Jafet> Maybe fungot knows.
06:50:30 <fungot> 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 <b_jonas> why do they call software "RC2" if it contains stuff they definitely have to fix before the release?
07:47:56 <b_jonas> 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 <HackEgo> [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:39 -!- lleu has quit (Ping timeout: 265 seconds).
08:15:45 <slereah> Why are you just sending a dot
08:16:39 -!- oerjan has quit (Quit: leaving).
08:29:58 -!- Thisbe has quit (Ping timeout: 248 seconds).
08:30:23 -!- Thisbe has joined.
08:31:50 <HackEgo> [wiki] [[Jumper]] M http://esolangs.org/w/index.php?diff=43445&oldid=43444 * Phase * (+25) Add headers
08:36:38 <HackEgo> [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 <HackEgo> [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 <ais523> hey, does anyone here know about primitive recursive busy beavers?
10:45:46 <ais523> my instincts are that the busy beaver problem is decidable in a primitive recursive language
10:45:49 <ais523> I'm not quite sure how to define it, though
10:46:16 <ais523> 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 <ais523> we don't have enough primitive recursive esolangs, really
10:47:17 <ais523> 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: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 <b_jonas> ais523: wait... busy beaver functions come up at work?
10:59:02 <b_jonas> but those are totally impractical functions!
10:59:26 <b_jonas> I mean, even the computable variants, if such a thing exists, probably are
10:59:27 <ais523> b_jonas: the specific problem is that we can't get a working type inference algo
10:59:44 <ais523> 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 <ais523> but some sufficiently impractical types blow up faster than that
11:00:46 <ais523> 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 <b_jonas> 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 <ais523> which instantly gives a counterexample
11:01:06 <ais523> I also think it's computable, and blows up very quickly
11:01:17 <ais523> and suspect that it's related to the ackermann function somehow
11:01:55 <b_jonas> yes, something like that. it could depend on which version of primitive recursive you take
11:02:12 <b_jonas> or are all the definitions for that essentially equivalent?
11:02:28 <ais523> if it matters, I don't know which one it is
11:02:39 <ais523> I don't even know that the primitive recursive functions are what the type system encodes
11:02:45 <ais523> it's just a guess that's looking reasonable at this point
11:03:07 -!- ais523 has quit (Quit: lunch).
11:05:11 -!- tromp has quit (Remote host closed the connection).
11:16:58 <mroman_> what's primitive recursion?
11:17:21 <slereah> I think he means -recursive functions without the ?
11:17:36 <slereah> 0, successor operator, projection, and recursion
11:17:52 <b_jonas> 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 <mroman_> why is the ackermann function not primitive recursive?
11:18:25 <slereah> Look at Ackermann's paper, I guess?
11:18:43 <b_jonas> 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 <b_jonas> mroman_: so you have to settle for some intermediate class that covers enough useful things and is closed in some senses
11:19:00 <mroman_> Yeah I got it. Gödel sucked the joy out of the world.
11:19:10 <b_jonas> mroman_: polynomial time would be too small
11:19:23 -!- boily has quit (Quit: DIRECTED CHICKEN).
11:19:35 <b_jonas> 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 <b_jonas> primitive recursive covers all of PH and much more, including double-exponential and triple-exponential runtime algorithms
11:20:55 <b_jonas> slereah: dunno, that definition never made sense to me. it's like an artifically golfed definition
11:21:17 <Jafet> Isn't PR exactly the functions you can construct from typed church numerals?
11:21:19 <b_jonas> but probably I just haven't spent the time to understand how it really works
11:21:30 <b_jonas> Jafet: that's sort of what ais asked
11:22:42 <mroman_> wp says busy beavers are neither primitive recursive nor μ-recursive
11:39:57 <Jafet> @ask ais523 There is already an esoteric language based on PR. It's called PR.
11:40:17 <b_jonas> Jafet: sure, and BLOOP may count as esoteric by some definitions too
11:44:04 <Jafet> @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.
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 <Taneb> Right, I have eaten at least two meals at least two days in a row
12:32:21 <Taneb> This is a good start
12:41:25 <Taneb> mroman_, getting my eating habits back on track
12:41:34 <Taneb> I am the kind of person who forgets to eat
12:47:43 <ais523> b_jonas: I think you're missing a sentence there
12:48:02 <b_jonas> ais523: yeah, I'm just waiting for lambdabot to tell you some messages or something
12:48:19 <b_jonas> (or told in another channel)
12:48:24 <lambdabot> You have 2 new messages. '/msg lambdabot @messages' to read them.
12:57:51 -!- ais523 has quit (Quit: meeting).
13:02:06 <mroman_> oh well. Installed the nightly builds
13:07:16 -!- Herbalist has joined.
13:08:32 -!- Herbalist has left.
13:13:51 <Jafet> `` ls wisdom | grep -i tarski
13:16:11 <Jafet> `` echo wisdom/* | tr ' ' '\n' | grep -i tarski
13:16:22 <HackEgo> "Banach-Tarski" is an anagram of "Banach-Tarski Banach-Tarski".
13:18:37 <Jafet> Some people, when confronted with a problem, think "I know, I'll use the Banach-Tarski theorem."
13:19:23 <slereah> I hope u have a good knife
13:19:30 <slereah> To cut things into non-measurable pieces
13:21:28 <b_jonas> Jafet: hehe, that's a good one
13:32:22 <mroman_> src/main.rs:6:2: 6:5 error: binary assignment operation `+=` cannot be applied to types `_` and `&i32` [E0368]
13:32:50 <Taneb> Can you paste the source somewhere?
13:35:24 <mroman_> hm. seems I have to dereference it first with *
13:35:31 <b_jonas> what language is that even?
13:35:47 <mroman_> http://codepad.org/69j7U1Yn <- this works
13:38:11 <mroman_> Taneb: find doesn't work on vectors?
13:41:21 <mroman_> (0..100).find(|x| *x > 42);
13:42:04 -!- GeekDude has joined.
13:43:05 <b_jonas> mroman_: um, that's a Range, not a vector
13:43:25 -!- `^_^v has joined.
13:47:47 <HackEgo> [wiki] [[Talk:Polynomial]] M http://esolangs.org/w/index.php?diff=43448&oldid=43440 * LegionMammal978 * (-7) fixed code
13:48:46 <mroman_> http://codepad.org/0d5bygmT <- this looks a bit overly complicated
13:49:19 <mroman_> need to dereference twice there apparentely
13:50:15 <mroman_> iterating over Vec<i32> gives you i32
13:50:25 <mroman_> iterating over &Vec<i32> gives you i32
13:50:43 <mroman_> 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 <HackEgo> fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”) is a screamingly delicious pastry.
14:03:45 <Taneb> 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 <zzo38> 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 <zzo38> 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:56:31 <HackEgo> ¯\(°_o)/¯/¯\(°_o)/¯ `? ¯\(°_o)/¯
19:01:21 -!- ais523 has quit.
19:05:50 <int-e> c.c \o/ heresy O.o
19:07:30 <int-e> fnordbot: why are you still here... I expected you do be kicked by now..
19:07:31 <fnordbot> 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 <fungot> \o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/
19:09:00 <myndzi> | c.c.c | ¯|¯⌠ `\o/´ | c.c.c | `\o/´ ¯|¯⌠ | c.c.c |
19:09:00 <myndzi> |\ c.c /'\ /< | | /| c.c |\ | /^\| >\ c.c /´\
19:09:13 <int-e> hppavilion[1]: not really
19:09:29 <hppavilion[1]> Is fnordbot programmed to quit when you talk to it?
19:09:45 <int-e> hppavilion[1]: no, but it didn't survive ^C on the shell
19:10:43 <int-e> hppavilion[1]: fizzie runs fungot, but fungot had stability problems (also, it moved...). I set up a poor replacement... that's fnordbot.
19:13:06 <fungot> 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:23 <fungot> hppavilion[1]: except that which a player submits a judgement to all rules governing proposals,
19:13:30 <fungot> Available: agora* alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
19:13:40 <fungot> Selected style: agora (a large selection of Agora rules, both current and historical)
19:14:19 <int-e> hppavilion[1]: I expect this isn't going to help you, but the - is a minus.
19:14:42 <hppavilion[1]> I thought it was just a filler because you couldn't do space :P
19:14:50 <hppavilion[1]> Though I guess _ would make more sense for that :P
19:14:52 <izabera> http://arin.ga/82YXp1/raw super dead code elimination \o/
19:15:30 * izabera still has to work on multiplication loops
19:15:50 <hppavilion[1]> So I made a language centered around making Neural Networks
19:15:52 <int-e> hmm, dead code elimination. "my compiler removes code that will never be run"...
19:16:39 <int-e> (there's a loophole in there)
19:17:26 <int-e> removed code will never be run.
19:19:58 <int-e> stock market quotes, weather reports, quotations, notifications...
19:20:03 <int-e> oh and some haskell stuff
19:20:52 <lambdabot> VOO: 190.44 +2.59 (+1.38%) @ 7/10/2015 3:06pm
19:20:58 <int-e> > fix ((0:) : scanl (+) 1)
19:21:00 <lambdabot> Couldn't match expected type ‘a -> a’
19:21:00 <lambdabot> with actual type ‘[[Integer] -> [Integer]]’
19:21:00 <lambdabot> In the first argument of ‘fix’, namely ‘((0 :) : scanl (+) 1)’
19:21:13 <int-e> > fix ((0:) . scanl (+) 1)
19:21:14 <lambdabot> [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:48:08 <HackEgo> ̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_͙̣͎͎͙̪̪̝̖͉̟̭̻̥̫̗̱̗͍̳̦̮̟̲̥͔̿̊ͣ̉ͣͪ͒̓̐͊̏ͫ̓̚̚҉̕͜͠͠҉̡̧̛͞/̼͚͇̮͕̘̳̞̤̜̯̪̘̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_̿̊ͣ̉ͣͪ͒̓
19:49:00 <int-e> `unidecode ̚_̿̊�͎͎/̂̚
19:49:02 <HackEgo> [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:14 <HackEgo> hexham/Hexham es la ciudad mas importante de programación esotérico
19:49:24 <HackEgo> oerjan elliott Bike FreeFull elliott ais523 ais523 elliott FreeFull oerjan FreeFull oerjan FreeFull Taneb elliott oerjan shachaf oerjan
19:50:06 <int-e> `culprits ̚_̿̊�͎͎
19:50:16 <int-e> `culprits wisdom/ ̚_̿̊�͎͎
19:50:29 <int-e> `culprits wisdom/_̿̊�͎͎
19:51:41 -!- lemurian has joined.
19:51:51 <int-e> `culprits wisdom/̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_͙̣̿̊ͣ̉ͣͪ͒̓̐͊̏ͫ̓̚̚�͎͎͙̪̪̝̖͉̟̭̻̥̫̗̱̗͍̳̦̮̟̲̥͔҉̕͜͠͠҉̡̧̛͞
19:52:23 <int-e> `` echo wisdom/*͠*
19:52:24 <HackEgo> wisdom/̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_͙̣͎͎͙̪̪̝̖͉̟̭̻̥̫̗̱̗͍̳̦̮̟̲̥͔̿̊ͣ̉ͣͪ͒̓̐͊̏ͫ̓̚̚҉̕͜͠͠҉̡̧̛͞
19:52:40 <int-e> `` culprits $(echo wisdom/*͠*)
19:52:41 <HackEgo> oerjan elliott Bike FreeFull guestbot
19:53:39 <shachaf> Is there an advantage to foo $(echo ...) over foo ...?
19:56:14 <int-e> funny. I just didn't think about what echo does at all while feeding its output as an argument to culprits
19:57:39 <shachaf> I sometimes wish sh didn't have < and >
19:57:49 <shachaf> And instead you used processes with pipes to get the same functionality.
19:58:37 <int-e> well, you can write < in foo > out
19:59:09 <shachaf> The main reason I want it to be that way is so people would stop complaining when you type "cat in | ..."
19:59:19 <int-e> and besides it'd be really inefficient.
19:59:31 <shachaf> Also, tee would just be a flag to write, instead of its own process.
19:59:34 <int-e> it's silly to complain about that really.
19:59:49 <myname> shachaf: they would still complain
19:59:55 <shachaf> It'd be inefficient enough that it wouldn't be a great idea, but probably not terrible for most uses.
20:01:10 <int-e> 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 <int-e> `? hash 2346ad27d7568ba9896f1b7da6b5991251debdf2
20:03:09 <HackEgo> hash 2346ad27d7568ba9896f1b7da6b5991251debdf2
20:05:46 -!- lleu has quit (Read error: Connection reset by peer).
20:06:17 <int-e> 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 <int-e> `culprits wisdom/ants
20:07:26 <int-e> `culprits wisdom/ant
20:09:45 <int-e> Oh that was part of the Lilax episode.
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:20:04 <int-e> `cat wisdom/phantom_*
20:20:05 <HackEgo> cat: wisdom/phantom_*: No such file or directory
20:20:08 <int-e> `` cat wisdom/phantom_*
20:20:13 <HackEgo> 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. \ <span accent="British">Your soundcard works perfectly.</span>
20:24:02 <int-e> `` sed -i 's=$= They get eaten by poets in stone dens.' wisdom/lion
20:24:03 <HackEgo> sed: -e expression #1, char 43: unterminated `s' command
20:24:12 <int-e> `` sed -i 's=$= They get eaten by poets in stone dens.=' wisdom/lion
20:33:36 -!- tromp has joined.
20:35:29 <HackEgo> Lions are the catamorphisms of the animal world. They get eaten by poets in stone dens.
20:35:48 <shachaf> int-e: that's what learn_append is for hth
20:37:50 -!- tromp has quit (Ping timeout: 252 seconds).
20:38:07 <int-e> It wouldn't have worked. I'd have needed a le/rn_append
20:46:59 <HackEgo> #!/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 <int-e> shachaf: note the "They"
20:47:42 <shachaf> `learn_append lions blah blah blah
20:47:44 <HackEgo> Learned 'lion': Lions are the catamorphisms of the animal world. They get eaten by poets in stone dens. blah blah blah
20:48:00 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
20:48:15 <HackEgo> Lions are the catamorphisms of the animal world. They get eaten by poets in stone dens.
20:48:29 <int-e> Ok, thanks... maybe next time.
20:49:15 <HackEgo> #!/bin/sh \ perl -n -e '/:(.*?)!.*JOIN/; $j{$1}++; END {print "$_ $j{$_};" for sort {$j{$b} <=> $j{$a}} keys %j}' $@
20:51:00 <HackEgo> Goats are drunk 24/7, ask Solain for details.
20:51:24 <int-e> 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:16 <HackEgo> 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:49 <HackEgo> key=$(mk "$@") && echo "$key" && chmod +x "$key"
21:09:11 -!- Phantom_Hoover has joined.
21:09:15 <shachaf> Why doesn't that have quotes around the $()?
21:12:48 -!- `^_^v has quit (Quit: This computer has gone to sleep).
21:12:57 <HackEgo> tswett tswett shachaf shachaf shachaf shachaf
21:13:26 <int-e> `culprits bin/learn
21:13:27 <HackEgo> 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:33 <HackEgo> tswett tswett shachaf shachaf shachaf shachaf
21:16:01 <shachaf> Why is tswett all over these logs?
21:16:06 <shachaf> `` hg log --removed bin/mk | grep tswett
21:16:07 <HackEgo> summary: <tswett> revert \ summary: <tswett> rm bin -r
21:19:44 -!- nooga has joined.
21:20:57 <nooga> I went to Austria and saw this town called Vomp
21:21:50 <int-e> Jmm, seen the name; it's near Innsbruck.
21:23:07 <int-e> hah. https://en.wikipedia.org/wiki/Vomp
21:23:12 <nooga> this name is so stupid that I keep repeating it in my mind weeks after seeing the town
21:58:29 -!- nooga has quit (Ping timeout: 256 seconds).
22:00:51 -!- nooga has joined.
22:09:16 <Sgeo_> "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 <b_jonas> 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 <b_jonas> Yes, it sort of makes sense, but stil.
22:27:40 <b_jonas> 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 <oerjan> @tell ais523 <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:58:03 <shachaf> If I give you a program and promise you that it's terminating, what can you decide about it?
23:58:36 <oerjan> anything i can find out by running it until it terminates...
23:59:11 <shachaf> Well, you can't decide e.g. whether it implements the identity function.