00:12:05 -!- spiette has quit (Quit: :qa!).
00:14:13 -!- PinealGlandOptic has joined.
00:19:10 -!- hppavilion[2] has quit (Ping timeout: 252 seconds).
00:20:57 <Caesura> http://www.ltg.ed.ac.uk/~richard/goldbach.html
00:39:34 -!- LegionMammal978 has joined.
00:40:16 -!- TellsTogo has quit (Quit: Page closed).
00:41:39 -!- LegionMammal978 has quit (Client Quit).
00:43:57 -!- sebbu has quit (Ping timeout: 260 seconds).
00:52:31 -!- Moon_ has joined.
00:52:37 <Moon_> | ____|___ ___ | | __ _ _ __ __ _ __ _(_) | _(_)
00:52:37 <Moon_> | _| / __|/ _ \| |/ _` | '_ \ / _` | \ \ /\ / / | |/ / |
00:52:37 <Moon_> | |___\__ \ (_) | | (_| | | | | (_| | \ V V /| | <| |
00:52:37 <Moon_> |_____|___/\___/|_|\__,_|_| |_|\__, | \_/\_/ |_|_|\_\_|
00:57:14 <Moon_> Where u gonna put it?
01:04:46 <Moon_> Phantom_Hoover boop
01:06:14 <Moon_> ___ ___ ___ ___ ___ ___ ___
01:06:14 <Moon_> _____ / /\ / /\ ___ /__/\ / /\ /__/\ / /\ /__/|
01:06:14 <Moon_> \ \:\/:/~/:/ \ \:\/:::::/ \ \:\/:/__\/ \ \:\/\ \ \:\~~\~~\/ \ \:\/:/ \ \:\ / /:/ \ \:\ / /:/ \ \:\/:::::/
01:06:14 <Moon_> \ \::/ /:/ \ \::/~~~~ \ \::/ \__\::/ \ \:\ ~~~ \ \::/ \ \:\ /:/ \ \:\ /:/ \ \::/~~~~
01:06:15 <Moon_> \ \:\/:/ \ \:\ \ \:\ /__/:/ \ \:\ \ \:\ \ \:\/:/ \ \:\/:/ \ \:\
01:06:15 <Moon_> \ \::/ \ \:\ \ \:\ \__\/ \ \:\ \ \:\ \ \::/ \ \::/ \ \:\
01:06:16 <Moon_> \__\/ \__\/ \__\/ \__\/ \__\/ \__\/ \__\/ \__\/
01:06:19 <Moon_> ___ ___ ___ ___ ___ ___ ___
01:06:19 <Moon_> _____ / /\ / /\ ___ /__/\ / /\ /__/\ / /\ /__/|
01:06:19 <Moon_> \ \:\/:/~/:/ \ \:\/:::::/ \ \:\/:/__\/ \ \:\/\ \ \:\~~\~~\/ \ \:\/:/ \ \:\ / /:/ \ \:\ / /:/ \ \:\/:::::/
01:06:19 <Moon_> \ \::/ /:/ \ \::/~~~~ \ \::/ \__\::/ \ \:\ ~~~ \ \::/ \ \:\ /:/ \ \:\ /:/ \ \::/~~~~
01:06:20 <Moon_> \ \:\/:/ \ \:\ \ \:\ /__/:/ \ \:\ \ \:\ \ \:\/:/ \ \:\/:/ \ \:\
01:06:20 <Moon_> \ \::/ \ \:\ \ \:\ \__\/ \ \:\ \ \:\ \ \::/ \ \::/ \ \:\
01:06:21 <Moon_> \__\/ \__\/ \__\/ \__\/ \__\/ \__\/ \__\/ \__\/
01:06:25 <Moon_> *Sigh* it gets cut off
01:10:20 <Moon_> | ____|___ ___ | | __ _ _ __ __ _ __ _(_) | _(_)
01:10:20 <Moon_> | _| / __|/ _ \| |/ _` | '_ \ / _` | \ \ /\ / / | |/ / |
01:10:20 <Moon_> | |___\__ \ (_) | | (_| | | | | (_| | \ V V /| | <| |
01:10:20 <Moon_> |_____|___/\___/|_|\__,_|_| |_|\__, | \_/\_/ |_|_|\_\_|
01:10:25 <Moon_> was made for the same reason
01:13:16 <Moon_> No, i didnt do figlet.
01:13:29 <Moon_> I assembled that by hand, and now i discover i wasted my time
01:13:42 <Moon_> The expanded brainfuck was made by something else
01:15:18 -!- lambda-11235 has joined.
01:18:46 <Moon_> Flipped through random, get reminded to finish hellborne instruction set
01:20:42 <HackEgo> Violation is the act of playing a viola or another instrument in the viola family.
01:20:48 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: whois: not found
01:21:01 <Moon_> too used to hackego
01:21:04 <prooftechnique> Also good: https://asciinema.org/a/5qygszp4cmjjgf2ruzoaj0r4p
01:21:12 <Moon_> `ciol rdamnit hackego;
01:22:18 <fizzie> ▛▘▗▖▗ ▐ ▄ ▄ ▗▖ ▖▖▝ ▌ ▝
01:22:18 <fizzie> ▛▘▘▖▌▌▐ ▄▌▌▌▚▌ ▙▌▐ ▙▘▐
01:25:51 -!- jaboja has quit (Ping timeout: 276 seconds).
01:28:04 -!- jaboja has joined.
01:47:52 <\oren\> Hmm, you could use the braille characters to make even more compact big letters, (or the same size but more details)
01:51:34 -!- ybden has quit (Quit: leaving).
01:55:36 -!- tromp_ has joined.
01:56:52 -!- tromp_ has quit (Remote host closed the connection).
01:59:03 -!- tromp_ has joined.
01:59:28 <FireFly> ⢰⠒⠂⡖⠲⠀⡖⠒⡆⡆⠀⢰⠒⢲⢰⢲⢰⢰⠒⠆⠀⠀⡆⡆⡆⡆⡆⢰⠀⡆
01:59:29 <FireFly> ⢸⣉⡀⣍⣉⡇⣇⣀⡇⣇⣀⢸⠒⢺⢸⢸⣸⢸⣀⣹⠀⠀⣇⣇⡇⡇⡏⠉⡇⡇
02:00:21 <FireFly> works better when there's no braille next to it
02:02:00 -!- Moon_ has quit (Ping timeout: 246 seconds).
02:13:11 -!- tromp_ has quit (Remote host closed the connection).
02:18:28 -!- moon_ has joined.
02:27:04 -!- moon_ has quit (Ping timeout: 250 seconds).
02:35:37 <lifthrasiir> https://twitter.com/papamitra/status/729199063367737345 kind of a good point.
02:39:19 <Phantom_Hoover> it's a good point when you overlook the part where it makes no sense
02:40:36 <pikhq> That is not etymologically accurate, either.
02:40:54 <pikhq> Oh, hah. Bit masking. :P
02:41:46 -!- sebbu has joined.
02:42:30 <lifthrasiir> the entire CJK ideograph block was populated from multiple sources in the order of radical-stroke indices, so it is almost impossible to tamper
02:47:22 <tswett> `le/rn war/A lot more young people have gone off to fight in this war than I would have, at that age.
02:49:03 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
02:50:39 <shachaf> `` python -c 'print chr(ord("r") & ord("g"))'
02:55:07 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: coïns: not found
02:55:23 <tswett> Short for "coïnsurance", of course.
02:57:28 -!- Zoroaster has joined.
03:01:25 -!- Caesura has quit (Ping timeout: 252 seconds).
03:10:39 -!- tromp_ has joined.
03:39:00 -!- tromp_ has quit (Remote host closed the connection).
03:58:21 <lambdabot> No instance for (Show (m0 Char)) arising from a use of ‘print’
03:58:21 <lambdabot> The type variable ‘m0’ is ambiguous
03:58:21 <lambdabot> Note: there are several potential instances:
03:59:01 -!- Moon_ has joined.
04:03:48 -!- Moon_ has quit (Ping timeout: 276 seconds).
04:09:08 <Zoroaster> Really! That's an interesting result of combination.
04:09:33 <Zoroaster> > text [chr(ord('生') .&. ord('活'))]
04:10:08 <Zoroaster> > text [chr(ord('火') .&. ord('水'))]
04:12:54 -!- jaboja has quit (Ping timeout: 276 seconds).
04:14:23 -!- jaboja has joined.
04:20:22 -!- lambda-11235 has quit (Ping timeout: 260 seconds).
04:27:13 <Zoroaster> How is it that love appears from life and death?
04:29:35 -!- Zoroaster has quit (Quit: Leaving).
04:31:02 -!- tromp_ has joined.
04:35:59 -!- lambda-11235 has joined.
04:40:16 <shachaf> @tell boily Feel free to @messages this one in the channel.
04:47:52 -!- Kaynato has joined.
04:48:21 -!- Kaynato has quit (Client Quit).
04:53:04 -!- tromp_ has quit (Remote host closed the connection).
05:20:03 -!- centrinia has quit (Ping timeout: 240 seconds).
05:40:34 -!- jaboja has quit (Remote host closed the connection).
05:53:41 -!- tromp_ has joined.
05:56:51 -!- centrinia has joined.
05:58:03 -!- tromp_ has quit (Ping timeout: 240 seconds).
06:02:35 -!- lambda-11235 has quit (Quit: Bye).
06:20:54 -!- centrinia has quit (Quit: Leaving).
06:36:26 -!- PinealGlandOptic has quit (Ping timeout: 244 seconds).
06:46:43 <HackEgo> [wiki] [[Unnecessary]] https://esolangs.org/w/index.php?diff=47013&oldid=47001 * 91.159.232.100 * (+4) Undo revision 47001 by [[Special:Contributions/94.223.139.176|94.223.139.176]] ([[User talk:94.223.139.176|talk]])
06:52:55 <HackEgo> [wiki] [[Unnecessary]] https://esolangs.org/w/index.php?diff=47014&oldid=47013 * 95.244.75.222 * (-2) \! -> !
06:55:12 -!- tromp_ has joined.
06:57:08 -!- mad has joined.
06:57:20 <mad> has our society reached peak complexity
06:57:31 <mad> aka the point of diminishing returns
06:59:50 -!- tromp_ has quit (Ping timeout: 265 seconds).
07:05:58 <mad> because that would sorta explain what's wrong with the economy
07:07:07 -!- rdococ has joined.
07:09:47 <mad> you see it in video games... they get all AAA then get too big and then spiral out of control
07:09:52 <mad> like duke nukem forever
07:32:35 -!- AnotherTest has joined.
07:36:40 -!- AnotherTest has quit (Ping timeout: 250 seconds).
07:48:00 -!- AnotherTest has joined.
07:57:59 -!- AnotherTest has quit (Ping timeout: 276 seconds).
07:58:39 -!- FireFly has quit (Ping timeout: 246 seconds).
08:00:04 -!- Lymia has quit (Ping timeout: 260 seconds).
08:01:04 -!- Lymia has joined.
08:04:52 -!- FireFly has joined.
08:47:49 -!- mad has quit (Quit: Pics or it didn't happen).
08:55:13 -!- tromp_ has joined.
08:59:26 -!- tromp_ has quit (Ping timeout: 250 seconds).
09:22:48 -!- impomatic has quit (Read error: Connection reset by peer).
09:24:03 -!- impomatic has joined.
09:38:05 -!- Akaibu has quit (Ping timeout: 276 seconds).
09:39:24 -!- AnotherTest has joined.
09:39:30 -!- Akaibu has joined.
09:53:12 <FireFly> I don't think that's why DNF was a failure
10:01:04 -!- rdococ has quit (Ping timeout: 252 seconds).
10:30:36 -!- impomatic has quit (Read error: Connection reset by peer).
10:56:01 -!- tromp_ has joined.
11:01:06 -!- tromp_ has quit (Ping timeout: 276 seconds).
11:01:31 -!- bender has joined.
11:18:44 -!- oerjan has joined.
11:21:53 <lambdabot> hppavilion[1] said 14h 31m 37s ago: I have really cool teacher, so...
11:22:10 <oerjan> @tell hppavilion[1] Good, good.
11:38:18 -!- boily has joined.
11:48:01 <boily> aurgh. the one time I @massages in lambdie's channel, I get the permission to #esoterichannel it.
11:49:53 <boily> *soulful mapole whistle*
11:51:05 * oerjan gets overrun by a speeding moose
11:58:21 <boily> lesson from yesterday night: a trinitron TV is fungotting heavy, even when rolling it on a table extension on wheels on a cycling path.
11:58:31 <boily> fungot: 209 lbs? wouldn't be surprised.
11:58:32 <fungot> boily: sir t. mitchell for several interesting lines :) argument, from geographical distribution, and geological succession :) organic beings. without variability nothing can be more profound and striking than your observations on/ waxy secretion which makes some leaves glaucous. i think that i told you that hooker, who was not impelled by any deep, instinctive feeling, to sacrifice his life, my brother worked hard at chemistry
12:08:18 <oerjan> argh i just cannot get yesterday's logs to be interpreted as utf-8
12:08:42 <oerjan> (or, for that matter, open it inline, which is part of the problem.)
12:11:40 <oerjan> HackEgo put a lot of color codes near the beginning, which means it won't get accepted as a normal text file.
12:12:18 <oerjan> which means i never get to the menu to force the charset.
12:12:49 <oerjan> and vim doesn't want to think it's in utf8 either.
12:17:24 <oerjan> i think :e ++enc=utf8 worked
12:17:38 <oerjan> i just had to find out how to do it
12:19:42 <oerjan> there, finally a readable format
12:23:06 -!- boily has quit (Quit: PÉRIGÉE CHICKEN).
12:27:32 <HackEgo> cat: bin/things: No such file or directory
12:28:21 <HackEgo> words ${1---eng-1M --esolangs 20} | sed -re "s/( |$)/$1\1/g" | rainwords
12:28:52 <oerjan> `` sed -i 's/1/2/' bin/thingwords
12:31:48 <HackEgo> words ${1---eng-1M --esolangs 20} | sed -re 's/( |$)/coin\1/g' | rainwords
12:36:58 -!- pikhq has quit (Ping timeout: 250 seconds).
12:40:33 -!- ybden has joined.
13:05:06 <HackEgo> [wiki] [[Unnecessary]] https://esolangs.org/w/index.php?diff=47015&oldid=47014 * Oerjan * (-4) Pretty sure I agree with the previous.
13:05:56 <oerjan> did unnecessary get posted somewhere
13:17:04 -!- Moon__ has quit (Ping timeout: 250 seconds).
13:22:05 <b_jonas> wait, is Questionable Content parodying Casey & Andy with today's strip?
13:23:44 -!- J_Arcane__ has joined.
13:24:22 <oerjan> b_jonas: nah, not enough mad science
13:27:14 -!- J_Arcane has quit (Ping timeout: 250 seconds).
13:27:24 -!- J_Arcane__ has changed nick to J_Arcane.
13:30:34 -!- pikhq has joined.
13:30:47 <b_jonas> oerjan: what? it even has a robotic hand like Andy's
13:31:40 <b_jonas> oerjan: Andy gets one at the very end of the story, in http://www.galactanet.com/comic/view.php?strip=665 , after his girlfriend tears off his arm (it's complicated)
13:32:42 <oerjan> i somehow just didn't notice the hand
13:37:17 -!- bender has quit (Ping timeout: 276 seconds).
13:54:03 -!- Sgeo has quit (Ping timeout: 240 seconds).
13:55:20 <int-e> yes, definitely casey & andy
13:57:29 -!- tromp_ has joined.
14:02:19 -!- tromp_ has quit (Ping timeout: 260 seconds).
14:48:57 -!- `^_^v has joined.
15:01:36 -!- Sgeo has joined.
15:06:51 -!- spiette has joined.
15:25:11 -!- Akaibu has quit (Ping timeout: 276 seconds).
15:26:13 -!- Akaibu has joined.
15:31:35 <HackEgo> [wiki] [[SetBang]] N https://esolangs.org/w/index.php?oldid=47016 * 207.237.146.34 * (+941) Created a page for this language. Because why not. It should probably be filled with more information.
15:52:49 <tromp> generally, languages designed by people called "Church" are pretty great
15:58:41 -!- oerjan has quit (Quit: Later).
16:02:03 -!- J_Arcane__ has joined.
16:03:32 -!- J_Arcane has quit (Ping timeout: 276 seconds).
16:03:43 -!- J_Arcane__ has changed nick to J_Arcane.
16:05:52 -!- nycs has joined.
16:07:44 -!- `^_^v has quit (Ping timeout: 260 seconds).
16:13:36 -!- Reece` has joined.
16:30:29 -!- gremlins has joined.
16:30:55 -!- gremlins has quit (Remote host closed the connection).
16:31:19 -!- gremlins has joined.
16:31:29 -!- gremlins has quit (Remote host closed the connection).
16:32:14 -!- Reece` has quit (Ping timeout: 260 seconds).
16:49:34 <HackEgo> int-e är inte svensk. Hen kommer att spränga solen. Hen står för sig själv.
16:51:59 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: metar: not found
16:52:08 <int-e> Neither can I but I know its history. "int-e is not [note:inte in swedish] swedish. He will blow up the sun. He stands for himself."
16:52:42 <int-e> (not sure about the gender on the last one... it may be neutral)
16:52:50 <quintopia> hmm. it doesn't tell how you got your nick
16:53:05 <int-e> because I don't tell
16:53:38 <quintopia> mystery isn't as cool as people think it is
16:53:51 <quintopia> but if the story is boring, it could still be cooler than the alternative
17:01:27 -!- PinealGlandOptic has joined.
17:09:39 <fizzie> int-e: "Hen" is indeed the gender-neutral Swedish third-person singular pronoun. I believe it's even in a somewhat wider use than the English equivalents.
17:10:11 <fizzie> (han/hon/hen for he/she/[whatever variant you like].)
17:12:19 <int-e> sometimes I love bugfixes. 2 files changed, 17 insertions(+), 344 deletions(-)
17:13:19 <int-e> (though to be fair most of that was code duplication and unused code)
17:16:23 <b_jonas> fungot, why are these numbers on my screen wrong?
17:16:25 <fungot> b_jonas: fnord on drifted seeds and trees. on account :)/ instinctive dread, which his monkeys exhibited, for i tried to approach/ subject on/ continent also have fnord attached to/ larger islands; and those which produce yellow cocoons differ slightly in colour, in/ two other forms) than when crossed inter se: but to a less degree to/ present day, represented by corpora wolffiana in/ human brain. on/ 13th/ storm raged with its
17:17:41 <fizzie> (That was a particularly nice bug.)
17:17:43 <shachaf> fizzie: "hen" isn't gender-neutral in english at all
17:17:57 <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
17:18:01 <\oren\> aargh the easiest way to do this is to spider their api,but theyll get mad if i do that
17:19:30 <b_jonas> \oren\: what do you want to download or follow?
17:20:03 <\oren\> i need a list of all sibway stations
17:20:35 <fizzie> See, what happened is, I had a thing to prune tokens that occur less often than a given constant, and it went ahead and actually pruned also some of the punctuation tokens, but the punctuations tokens actually have a fixed translation, the first few non-negative integers are hardcoded in the source, rather than being in the tokens.bin, because they have nonstandard spacing. Aren't you glad you ...
17:21:44 <\oren\> so one way to do tjis is to spider nextbus.con
17:22:02 <b_jonas> so those two shouldn't actually be the same
17:23:01 <fizzie> I heard a story the other day, a friend-of-a-friend in Helsinki was approached by a tourist, who wanted to know where they could find the *full* subway map, because they could only find the one line.
17:23:08 <fizzie> (The joke is that http://www.railway-technology.com/projects/helsinki-metro/images/5-helsinki-metro-map.jpg *is* the full subway map.)
17:24:29 <notfowl> norway is phallic shaped anyways, looks fine
17:24:46 <\oren\> hmm if i take my laptp to starbucks they wont know its me
17:26:32 <fizzie> Do you actually need good data for whatever you're doing? Because I would expect you could get a good approximation by just getting the OpenStreetMap data with tag:station=subway.
17:27:01 <\oren\> oh. shit why dis i not think of that
17:32:22 <\oren\> this will work. after all i only need their names
18:38:17 -!- jaboja has joined.
18:43:31 -!- Phantom_Hoover has joined.
18:47:19 <notfowl> Here's a tiny VM I wrote when I was bored https://gist.github.com/fowlmouth/1edf02cde1952b4866ea4ab252221329
19:11:34 -!- Kaynato has joined.
19:18:34 <HackEgo> [wiki] [[Hexagony]] https://esolangs.org/w/index.php?diff=47017&oldid=46662 * Timwi * (-25) /* I/O */ Fix semantics of , and ;
19:31:09 -!- hppavilion[1] has joined.
19:57:39 <HackEgo> [wiki] [[N--]] https://esolangs.org/w/index.php?diff=47018&oldid=46999 * Moon * (+268) New change, also, you can only specify variables now.
20:00:52 <HackEgo> [wiki] [[N--]] https://esolangs.org/w/index.php?diff=47019&oldid=47018 * Moon * (-8) Not much of a stub now, eh?
20:02:31 <HackEgo> [wiki] [[N--]] https://esolangs.org/w/index.php?diff=47020&oldid=47019 * Moon * (+53) Im mooning the wiki and forgeting all sorts of things
20:20:05 -!- idris-bot has quit (Remote host closed the connection).
20:20:10 -!- Melvar has quit (Quit: WeeChat 1.4).
20:21:41 -!- rdococ has joined.
20:24:28 <HackEgo> [wiki] [[N--]] https://esolangs.org/w/index.php?diff=47021&oldid=47020 * Moon * (+176)
20:25:13 -!- Melvar has joined.
20:29:43 -!- idris-bot has joined.
20:47:16 <b_jonas> Is it possible to make a polyglot that's both an interesting efghij program, and the result of performing a Chef program literally, at the same time?
20:49:05 -!- Phantom_Hoover has quit (Quit: Leaving).
20:51:13 <b_jonas> prooftechnique: new esolang. see the wiki.
20:52:20 <prooftechnique> And by Chef you mean the esolang, not the infrastructure tool, right? :D
20:52:37 <b_jonas> prooftechnique: the esolang
20:59:18 -!- rdococ has quit (Quit: Leaving).
20:59:58 <prooftechnique> Well, it looks like most of the components of a Chef program are currently undefined in efghij, so I supppose you could bolt I/O onto efghij by way of Chef
21:01:01 <prooftechnique> Though you'd have to determine if the video proof required to run a literal Chef program is compatible with the photographic nature of efghij
21:05:25 <HackEgo> [wiki] [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=47022&oldid=46988 * B jonas * (+114)
21:10:07 -!- hppavilion[2] has joined.
21:10:58 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
21:18:30 -!- f10d4 has joined.
21:19:44 <HackEgo> f10d4: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
21:20:00 <f10d4> good evening bots and dudes!
21:20:37 -!- oerjan has joined.
21:21:02 <f10d4> proved turing-completeness of some ancient programming languages
21:21:28 <f10d4> simulated rule-110 automata in them
21:24:12 <oerjan> f10d4: rule-110's universality proof requires infinite initial state. that means you must be careful when using it for TC proofs.
21:24:46 <f10d4> oerjan: not exactly
21:24:53 <oerjan> (the halting condition might also be tricky. although i suspect it's just a redex)
21:25:17 <oerjan> f10d4: not exactly how?
21:25:34 <f10d4> oerjan: for being correct, a simulation is enough for only finite increasing intervals
21:26:03 <f10d4> because we assume that everything above the starting cells is an infinite patterns
21:26:13 <quintopia> i'm 90% sure oerjan is always right
21:26:40 <oerjan> f10d4: i'm sure i'm right, but i'm not sure you're interpreting me the right way :P
21:27:04 <oerjan> f10d4: i'm just saying you may or may not have considered this subtlety.
21:27:10 <f10d4> mathematician = says a, writes b, thinks about c, correct is d
21:27:20 <oerjan> quintopia: no, i'm pretty sure i was pretty out of it yesterday.
21:27:42 <quintopia> well, you would know, being right and all
21:27:53 <oerjan> although it did not involve math. math should be OK.
21:28:30 <oerjan> prooftechnique: i'm not convinced of that.
21:28:48 <quintopia> when trump is president you will have been right about that too
21:30:32 <oerjan> <quintopia> oh right the one i can't read <-- jag ser inte problemet
21:31:18 <oerjan> it's perfectly latin-based alphabet and everything
21:32:32 <oerjan> i understand everything about his and tromp's laver tables except why they're shelves.
21:32:53 <oerjan> int-e: you've been idle for 4 hours
21:32:55 <int-e> I don't understand that either.
21:33:14 <int-e> I might try to figure it out the coming weekend
21:33:22 <oerjan> int-e: in fact, when i just looked at laver.hs it was pretty much exactly what i'd thought
21:33:27 <int-e> but probably not on my own... reading literature instead
21:33:37 <oerjan> darn literature, but it may be the only way
21:34:04 -!- hppavilion[2] has quit (Ping timeout: 252 seconds).
21:34:44 <oerjan> unless i can find an insanely clever induction on [a, ..., mx] being a subshelf. that's my best idea so far.
21:36:23 <oerjan> shachaf: i didn't know he had one
21:36:58 <oerjan> (i'm sorry, there's currently a swatting shortage due to overuse. please hold for a few days.)
21:36:59 -!- vanila has joined.
21:37:35 <shachaf> oerjan: would the swat be for the capital
21:38:06 <oerjan> i didn't even notice the capital.
21:38:18 <shachaf> blood for the blood god, capital for the capitalists
21:38:42 <oerjan> shachaf: is this jesus in a very creepy alternative dimension
21:39:17 <shachaf> "capital for the capitalists" is just regular capitalism
21:39:30 <shachaf> the other one is some internet thing
21:39:37 * oerjan realizes shachaf may not know the allusion
21:39:49 <int-e> oerjan: there must be some very clever insight into how to find the most significant bit when going from domain size 2^n to domain size 2^{n+1}
21:40:44 <oerjan> new testament, Mark 12:17: "So Jesus told them, "Give to Caesar what is Caesar's, and to God what is God's."
21:41:10 <oerjan> that's pretty much almost equivalent.
21:41:24 <shachaf> oerjan: http://i.imgur.com/odBEeLF.png
21:41:36 <oerjan> especially in context. except with less blood, but other parts of the bible have that, i think.
21:41:51 <int-e> oerjan: Anyway, I'll be _afk_ for an hour!!!1
21:42:46 <oerjan> shachaf: ken m is a bit of a closet non-christian.
21:44:03 <oerjan> i think the pope might not be.
21:45:21 <shachaf> http://www.theonion.com/article/pope-francis-clarifies-god-just-one-many-immortal--51470
21:48:33 <shachaf> oerjan: actually http://i.imgur.com/HSexikG.jpg
21:49:11 <oerjan> int-e: wait, most significant bit? ...oh darn, i just barely missed that ((2^{n-1}-1) |>) obviously preserves all lower ones...
21:52:55 <oerjan> shachaf: i see ken m has flexible devoutness
21:53:35 <shachaf> http://i.imgur.com/ViHGGeg.png
21:55:04 <oerjan> full of wisdom this one is
21:58:44 <lambdabot> ENVA 122050Z 28021KT 9999 SHRA FEW020 SCT028 BKN061 05/01 Q1012 RMK WIND 670FT 29021KT
21:59:14 <lambdabot> KATL 122052Z 25006KT 10SM FEW050 BKN100 BKN140 OVC250 28/16 A3006 RMK AO2 SLP170 CB DSNT N-NE SHRA DSNT N-NE & VC W T02780156 56013
21:59:50 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: weather: not found
22:00:00 <oerjan> int-e: maybe @metar should give a message for wrong argument syntax
22:00:07 <HackEgo> lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK
22:00:10 <lambdabot> CYUL 122000Z VRB05KT 15SM BKN210 25/05 A2999 RMK CI7 SLP156 DENSITY ALT 1200FT \ ENVA 122050Z 28021KT 9999 SHRA FEW020 SCT028 BKN061 05/01 Q1012 RMK WIND 670FT 29021KT \ ESSB 122050Z AUTO 14006KT 9999 NCD 08/01 Q1008 \ KOAK 122053Z 29013KT 10SM FEW015 SCT200 18/09 A3005 RMK AO2 SLP175 T01830094 58009
22:05:52 <lambdabot> EGLL 122050Z AUTO 01008KT 340V050 9999 NCD 15/11 Q1004 NOSIG
22:06:03 <fizzie> It was 27 last weekend.
22:06:15 <fizzie> And it's going to be a daily high of 14 the next one.
22:06:23 <fizzie> Or something like that anyway.
22:08:50 -!- hppavilion[2] has joined.
22:08:59 -!- Moon_ has joined.
22:13:54 -!- Kaynato has quit (Quit: Leaving).
22:15:24 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:22:04 <HackEgo> Your retired mysterious evil cackling overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who mildly dislikes Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
22:22:13 <shachaf> `` sed -i 's/\. He s.*//' wisdom/oerjan
22:25:17 <fizzie> Now you got the final . as well. :/
22:26:30 <shachaf> `` sed -i 's/$/./' wisdom/oerjan
22:26:49 <shachaf> fizzie: How would you express the desired transformation in as short a command as possible?
22:30:46 <oerjan> <shachaf> i don't believe you hth <-- it was based on an actual event hth
22:30:54 <oerjan> although i've forgotten the event.
22:32:26 <oerjan> shachaf: i think leaving out the \. would have worked hth
22:32:41 <shachaf> oerjan: but that would remove the previous sentence too
22:34:00 <oerjan> `` grep ' He s' wisdom/oerjan
22:34:41 <oerjan> it was a unique string so nothing else would be removed.
22:35:27 -!- Kaynato has joined.
22:41:53 <vanila> what extensions are you doing
22:42:03 <hppavilion[2]> (I'm making my own because the normal re for python doesn't support some things I need AFAICT)
22:42:22 <hppavilion[2]> vanila: Mostly it's just PCRE with different syntax and some less-painful backreferences
22:42:56 <hppavilion[2]> vanila: A lot of the stuff is backend; e.g. the ability to choose a target for substitution other than just the first occurance
22:43:36 -!- spiette has quit (Quit: :qa!).
22:45:02 <oerjan> int-e: so as i mentioned, i'd missed that lower bits are independent of higher ones
22:45:39 <int-e> yeah... I tend to do /lastlog int-e 10 (or so) when I arrive, so I didn't miss that
22:46:59 <fizzie> Have to admit I laughed (well, giggled) at https://twitter.com/tomaspetricek/status/730442442827304961/photo/1
22:47:57 <int-e> pffft, that's more than 9.895pt
22:48:03 <oerjan> also, proving the existence of _any_ shelf with an arbitrary big period for x |> x |> ... |> x = x would also be enough, since they have to be laver tables.
22:48:10 <fizzie> int-e: Surely that depends on the page size.
22:49:13 <int-e> oerjan: uh what's the associativity there
22:49:36 <hppavilion[2]> I should probably just start by implementing simpler regex engines
22:52:25 <oerjan> hppavilion[2]: i might now accuse you of being glib hth
22:53:06 <oerjan> int-e: any element in a shelf
22:53:45 <int-e> oerjan: well then you have a problem
22:53:47 <oerjan> the subshelf generated by x is always isomorphic to a laver table.
22:54:00 <oerjan> int-e: i mean any element with that property.
22:54:02 <int-e> oerjan: since (|> 1) has period 2^n in those shelves.
22:55:05 <int-e> oerjan: ah. well, you could've been clearer about what you want to prove. I lost the context.
22:55:06 <oerjan> int-e: i'm just saying, if you could make a shelf in a completely different way and prove it has a high-period element, that would also imply laver tables work.
22:55:24 -!- Kaynato has quit (Ping timeout: 265 seconds).
22:57:42 <int-e> oerjan: if you read the blog post you'll find that Laver defined an infinite shelf that induces the finite ones as quotients
22:58:45 <int-e> (which in fact will out the way you describe though that isn't visible from the blog post)
22:59:02 <int-e> s/will out/will work out/
22:59:37 <int-e> https://johncarlosbaez.wordpress.com/2016/05/06/shelves-and-the-infinite/
23:00:08 <oerjan> i thought i _had_ read that.
23:00:22 <oerjan> or browses, at any rate.
23:00:39 <int-e> "Laver showed that this operation distributes over itself:"
23:03:27 <oerjan> int-e: oh. well that won't really help since it assumes a large cardinal axiom. i'd assumed you could prove the tables at least _were_ shelves without it.
23:04:05 * int-e hasn't actually read the definition... regarding it as some sort of spoiler.
23:04:16 -!- hppavilion[2] has quit (Ping timeout: 252 seconds).
23:05:25 <oerjan> int-e: the problem with quotienting out by the equation is that you still have to prove you only identify the elements you want.
23:11:09 -!- Akaibu has quit (Quit: Connection closed for inactivity).
23:13:27 -!- nycs has quit (Quit: This computer has gone to sleep).
23:17:08 <oerjan> wtf is with the math formatting at https://ncatlab.org/nlab/show/shelf
23:17:36 <oerjan> all formulas show up twice, once badly rendered, then followed by TeX.
23:18:31 <int-e> not for me... try disabling javascript? :P
23:19:29 <fizzie> Relatively pretty too.
23:19:36 <oerjan> ok the homepage mentions MathML.
23:19:47 <fizzie> Seems it's just MathJax.
23:20:56 <fizzie> Well, "just" may not be the right word. It's the kind of MathJax where you actually have MathML in the sources, and then MathJax makes it work in places where it wouldn't otherwise.
23:22:36 <fizzie> At least I assume so. The code looks a bit dubious to me.
23:23:42 <Moon_> ima start learning haskell
23:26:22 -!- Akaibu has joined.
23:40:07 -!- hppavilion[2] has joined.
23:40:50 <Moon_> hi hppavilion[2], im going to be learning haskell, a big change for me
23:41:49 -!- vanila has quit (Quit: Leaving).
23:43:36 <Moon_> Already likeing the idea of Ranges
23:44:01 <Moon_> *Has been freed from handwriting a rangemaking function*