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 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 _____ _ _ _ _ 00:52:37 | ____|___ ___ | | __ _ _ __ __ _ __ _(_) | _(_) 00:52:37 | _| / __|/ _ \| |/ _` | '_ \ / _` | \ \ /\ / / | |/ / | 00:52:37 | |___\__ \ (_) | | (_| | | | | (_| | \ V V /| | <| | 00:52:37 |_____|___/\___/|_|\__,_|_| |_|\__, | \_/\_/ |_|_|\_\_| 00:52:38 |___/ 00:52:38 00:52:41 (= 00:55:32 thx 00:57:01 Np 00:57:14 Where u gonna put it? 01:04:39 Hello? 01:04:46 Phantom_Hoover boop 01:06:14 ___ ___ ___ ___ ___ ___ ___ 01:06:14 _____ / /\ / /\ ___ /__/\ / /\ /__/\ / /\ /__/| 01:06:14 \ \:\/:/~/:/ \ \:\/:::::/ \ \:\/:/__\/ \ \:\/\ \ \:\~~\~~\/ \ \:\/:/ \ \:\ / /:/ \ \:\ / /:/ \ \:\/:::::/ 01:06:14 \ \::/ /:/ \ \::/~~~~ \ \::/ \__\::/ \ \:\ ~~~ \ \::/ \ \:\ /:/ \ \:\ /:/ \ \::/~~~~ 01:06:15 \ \:\/:/ \ \:\ \ \:\ /__/:/ \ \:\ \ \:\ \ \:\/:/ \ \:\/:/ \ \:\ 01:06:15 \ \::/ \ \:\ \ \:\ \__\/ \ \:\ \ \:\ \ \::/ \ \::/ \ \:\ 01:06:16 \__\/ \__\/ \__\/ \__\/ \__\/ \__\/ \__\/ \__\/ 01:06:18 Damnit 01:06:19 ___ ___ ___ ___ ___ ___ ___ 01:06:19 _____ / /\ / /\ ___ /__/\ / /\ /__/\ / /\ /__/| 01:06:19 \ \:\/:/~/:/ \ \:\/:::::/ \ \:\/:/__\/ \ \:\/\ \ \:\~~\~~\/ \ \:\/:/ \ \:\ / /:/ \ \:\ / /:/ \ \:\/:::::/ 01:06:19 \ \::/ /:/ \ \::/~~~~ \ \::/ \__\::/ \ \:\ ~~~ \ \::/ \ \:\ /:/ \ \:\ /:/ \ \::/~~~~ 01:06:20 \ \:\/:/ \ \:\ \ \:\ /__/:/ \ \:\ \ \:\ \ \:\/:/ \ \:\/:/ \ \:\ 01:06:20 \ \::/ \ \:\ \ \:\ \__\/ \ \:\ \ \:\ \ \::/ \ \::/ \ \:\ 01:06:21 \__\/ \__\/ \__\/ \__\/ \__\/ \__\/ \__\/ \__\/ 01:06:25 *Sigh* it gets cut off 01:09:43 What's it supposed to day? 01:09:44 *say 01:09:49 Brainfuck 01:10:07 I got bored 01:10:19 Oh, now I see it 01:10:19 _____ _ _ _ _ 01:10:20 | ____|___ ___ | | __ _ _ __ __ _ __ _(_) | _(_) 01:10:20 | _| / __|/ _ \| |/ _` | '_ \ / _` | \ \ /\ / / | |/ / | 01:10:20 | |___\__ \ (_) | | (_| | | | | (_| | \ V V /| | <| | 01:10:20 |_____|___/\___/|_|\__,_|_| |_|\__, | \_/\_/ |_|_|\_\_| 01:10:20 |___/ 01:10:25 was made for the same reason 01:10:37 Isn't it just figlet? 01:10:48 ? 01:11:01 'Figlet?' 01:12:25 https://asciinema.org/a/csj05bmajli21j0qk3jcobg9f 01:13:16 No, i didnt do figlet. 01:13:29 I assembled that by hand, and now i discover i wasted my time 01:13:42 The expanded brainfuck was made by something else 01:14:38 what os is that? 01:15:18 -!- lambda-11235 has joined. 01:15:53 Hi 01:17:11 It's OS X 01:18:46 Flipped through random, get reminded to finish hellborne instruction set 01:20:10 `? violation 01:20:42 `whois hackego 01:20:42 Violation is the act of playing a viola or another instrument in the viola family. 01:20:48 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: whois: not found 01:20:54 whoops 01:20:56 ment / 01:21:01 too used to hackego 01:21:04 Also good: https://asciinema.org/a/5qygszp4cmjjgf2ruzoaj0r4p 01:21:12 `ciol rdamnit hackego; 01:21:13 damnit hackego 01:22:18 ▛▘▗▖▗ ▐ ▄ ▄ ▗▖ ▖▖▝ ▌ ▝ 01:22:18 ▛▘▘▖▌▌▐ ▄▌▌▌▚▌ ▙▌▐ ▙▘▐ 01:22:18 ▀▘▀ ▝ ▘▀▘▘▘▄▘ ▀▘▝ ▘▘▝ 01:22:21 More compact, y'see. 01:23:41 hizzie 01:25:28 ▗▖▌ ▗ ▐ ▐ ▗▖▌ ▄ ▗▖ 01:25:28 ▘▖▛▖▛▘▐ ▐ ▌ ▛▖▄▌▙ 01:25:28 ▀ ▘▘▝▘ ▘ ▘▝▘▘▘▀▘▘ 01:25:50 (Welp, asleep now.) 01:25:51 -!- jaboja has quit (Ping timeout: 276 seconds). 01:28:04 -!- jaboja has joined. 01:28:09 hi 01:28:11 im alive 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:00 I have a script for that 01:56:02 let's see 01:56:52 -!- tromp_ has quit (Remote host closed the connection). 01:59:03 -!- tromp_ has joined. 01:59:28 ⢰⠒⠂⡖⠲⠀⡖⠒⡆⡆⠀⢰⠒⢲⢰⢲⢰⢰⠒⠆⠀⠀⡆⡆⡆⡆⡆⢰⠀⡆ 01:59:29 ⢸⣉⡀⣍⣉⡇⣇⣀⡇⣇⣀⢸⠒⢺⢸⢸⣸⢸⣀⣹⠀⠀⣇⣇⡇⡇⡏⠉⡇⡇ 01:59:55 ⣟⡁⣺⠅⢎⠆⣇⡀⡮⡆⡏⡆⢎⡅⠀⣧⡇⣹⡁⡗⡅⣹⡁ 02:00:10 hm 02:00:12 ⣟⡁⣺⠅⢎⠆⣇⡀⡮⡆⡏⡆⢎⡅⠀⣧⡇⣹⡁⡗⡅⣹⡁ 02:00:21 works better when there's no braille next to it 02:00:24 Esolang wiki 02:00:35 Where's the fun in that 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:22:30 hi 02:22:30 Jeff 02:27:04 -!- moon_ has quit (Ping timeout: 250 seconds). 02:35:37 https://twitter.com/papamitra/status/729199063367737345 kind of a good point. 02:36:21 life (生) and (&) death (死) makes love (愛) 02:39:19 it's a good point when you overlook the part where it makes no sense 02:40:36 That is not etymologically accurate, either. 02:40:54 Oh, hah. Bit masking. :P 02:41:40 pikhq: nice coincidence indeed 02:41:46 -!- sebbu has joined. 02:42:30 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:46:53 `? war 02:47:13 war? ¯\(°​_o)/¯ 02:47:22 `le/rn war/A lot more young people have gone off to fight in this war than I would have, at that age. 02:47:30 Learned «war» 02:49:03 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 02:50:39 `` python -c 'print chr(ord("r") & ord("g"))' 02:50:42 b 02:50:43 coïncidence?! 02:55:05 `coïns 02:55:07 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: coïns: not found 02:55:23 Short for "coïnsurance", of course. 02:55:28 `loins 02:56:12 No output. 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:57:54 > putStrLn . return $ chr(ord('生') .&. ord('死')) 03:57:56 03:58:19 > print . return $ chr(ord('生') .&. ord('死')) 03:58:21 No instance for (Show (m0 Char)) arising from a use of ‘print’ 03:58:21 The type variable ‘m0’ is ambiguous 03:58:21 Note: there are several potential instances: 03:59:01 -!- Moon_ has joined. 04:00:22 > text [chr(ord('生') .&. ord('死'))] 04:00:26 愛 04:00:28 There 04:03:48 -!- Moon_ has quit (Ping timeout: 276 seconds). 04:09:08 Really! That's an interesting result of combination. 04:09:33 > text [chr(ord('生') .&. ord('活'))] 04:09:34 攛 04:09:46 It's really a coincidence...? 04:10:08 > text [chr(ord('火') .&. ord('水'))] 04:10:10 æ€ 04:10:17 A very interesting coincidence... 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:26:27 aescEuro is the most beautiful of the ideographs 04:27:13 How is it that love appears from life and death? 04:28:41 Pure coincidence. 04:29:35 -!- Zoroaster has quit (Quit: Leaving). 04:29:35 I find that a good gin fizz goes a long way, too 04:31:02 -!- tromp_ has joined. 04:35:59 -!- lambda-11235 has joined. 04:40:16 @tell boily Feel free to @messages this one in the channel. 04:40:16 Consider it noted. 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 [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 [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 has our society reached peak complexity 06:57:31 aka the point of diminishing returns 06:59:50 -!- tromp_ has quit (Ping timeout: 265 seconds). 07:02:20 why are you asking? 07:05:58 because that would sorta explain what's wrong with the economy 07:07:07 -!- rdococ has joined. 07:09:47 you see it in video games... they get all AAA then get too big and then spiral out of control 07:09:52 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 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:52 @messages- 11:21:53 hppavilion[1] said 14h 31m 37s ago: I have really cool teacher, so... 11:22:10 @tell hppavilion[1] Good, good. 11:22:12 Consider it noted. 11:38:18 -!- boily has joined. 11:38:36 nhoily! 11:46:24 hellørjanh! 11:47:28 @messages 11:47:28 You don't have any messages 11:48:01 aurgh. the one time I @massages in lambdie's channel, I get the permission to #esoterichannel it. 11:48:29 *sad trombone* 11:49:53 *soulful mapole whistle* 11:51:05 * oerjan gets overrun by a speeding moose 11:58:21 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:21 boily: " 209? 1. 11:58:31 fungot: 209 lbs? wouldn't be surprised. 11:58:32 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 argh i just cannot get yesterday's logs to be interpreted as utf-8 12:08:42 (or, for that matter, open it inline, which is part of the problem.) 12:08:56 hm... 12:10:00 * oerjan gives up 12:11:40 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 which means i never get to the menu to force the charset. 12:12:49 and vim doesn't want to think it's in utf8 either. 12:12:59 hm... 12:15:43 vim -b, perhaps? 12:17:24 i think :e ++enc=utf8 worked 12:17:38 i just had to find out how to do it 12:19:42 there, finally a readable format 12:23:06 -!- boily has quit (Quit: PÉRIGÉE CHICKEN). 12:26:51 `cat bin/things 12:27:21 ....... 12:27:32 cat: bin/things: No such file or directory 12:27:35 oh 12:27:39 well then. 12:27:59 oh wait 12:28:05 `cat bin/thingwords 12:28:19 wat 12:28:21 words ${1---eng-1M --esolangs 20} | sed -re "s/( |$)/$1\1/g" | rainwords 12:28:52 `` sed -i 's/1/2/' bin/thingwords 12:28:59 No output. 12:29:05 `thingwords fnord 12:29:49 No output. 12:29:52 `thingwords fnord 12:30:31 No output. 12:30:32 WHATEVER 12:31:45 `cat bin/coins 12:31:48 words ${1---eng-1M --esolangs 20} | sed -re 's/( |$)/coin\1/g' | rainwords 12:33:22 oerjan's awake! 12:34:00 ZZwhat 12:34:29 in jetlag mode 12:36:58 -!- pikhq has quit (Ping timeout: 250 seconds). 12:40:33 -!- ybden has joined. 13:05:06 [wiki] [[Unnecessary]] https://esolangs.org/w/index.php?diff=47015&oldid=47014 * Oerjan * (-4) Pretty sure I agree with the previous. 13:05:56 did unnecessary get posted somewhere 13:17:04 -!- Moon__ has quit (Ping timeout: 250 seconds). 13:22:05 wait, is Questionable Content parodying Casey & Andy with today's strip? 13:23:44 -!- J_Arcane__ has joined. 13:24:22 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 oerjan: what? it even has a robotic hand like Andy's 13:30:58 wat 13:31:31 FINE 13:31:40 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:33 i know 13:32:42 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 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 [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 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:42:58 hi tromp 16:43:05 hi oerjan 16:43:35 hi quintopia 16:43:41 `? topia 16:44:11 hint-e 16:44:13 topia? ¯\(°​_o)/¯ 16:49:30 `? int-e 16:49:34 int-e är inte svensk. Hen kommer att spränga solen. Hen står för sig själv. 16:49:43 oh right the one i can't read 16:51:14 @metar 16:51:23 ^metar 16:51:26 who knows metar 16:51:48 ?metar 16:51:56 `metar 16:51:59 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: metar: not found 16:52:08 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 (not sure about the gender on the last one... it may be neutral) 16:52:50 hmm. it doesn't tell how you got your nick 16:53:05 because I don't tell 16:53:38 mystery isn't as cool as people think it is 16:53:51 but if the story is boring, it could still be cooler than the alternative 17:01:27 -!- PinealGlandOptic has joined. 17:09:39 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 (han/hon/hen for he/she/[whatever variant you like].) 17:12:19 sometimes I love bugfixes. 2 files changed, 17 insertions(+), 344 deletions(-) 17:13:19 (though to be fair most of that was code duplication and unused code) 17:16:23 fungot, why are these numbers on my screen wrong? 17:16:25 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:03 :) -> of, / -> the. 17:17:41 (That was a particularly nice bug.) 17:17:43 fizzie: "hen" isn't gender-neutral in english at all 17:17:57 ^style 17:17:57 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 \oren\: what do you want to download or follow? 17:20:03 <\oren\> i need a list of all sibway stations 17:20:12 <\oren\> in the worlf 17:20:35 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:20:41 ... didn't ask? 17:21:44 <\oren\> so one way to do tjis is to spider nextbus.con 17:21:54 oh, I see! 17:22:02 so those two shouldn't actually be the same 17:22:11 that's why they aren't 17:23:01 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 (The joke is that http://www.railway-technology.com/projects/helsinki-metro/images/5-helsinki-metro-map.jpg *is* the full subway map.) 17:23:33 <\oren\> lol 17:24:29 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 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 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 [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 [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 [wiki] [[N--]] https://esolangs.org/w/index.php?diff=47019&oldid=47018 * Moon * (-8) Not much of a stub now, eh? 20:02:31 [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 [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 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:04 efghij? 20:51:13 prooftechnique: new esolang. see the wiki. 20:51:34 Oh, look at that. Neat :) 20:52:20 And by Chef you mean the esolang, not the infrastructure tool, right? :D 20:52:37 prooftechnique: the esolang 20:59:18 -!- rdococ has quit (Quit: Leaving). 20:59:58 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:00:29 bon_journas 21:01:01 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 [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:18:51 o/ 21:19:23 `welcome f10d4 21:19:44 f10d4: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 21:20:00 good evening bots and dudes! 21:20:37 -!- oerjan has joined. 21:21:02 proved turing-completeness of some ancient programming languages 21:21:28 simulated rule-110 automata in them 21:21:53 * quintopia shrugs 21:22:20 hi quintopia 21:23:09 helloerjan 21:24:12 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 oerjan: not exactly 21:24:53 (the halting condition might also be tricky. although i suspect it's just a redex) 21:25:17 f10d4: not exactly how? 21:25:34 oerjan: for being correct, a simulation is enough for only finite increasing intervals 21:26:03 because we assume that everything above the starting cells is an infinite patterns 21:26:06 -s 21:26:13 i'm 90% sure oerjan is always right 21:26:23 but not now 21:26:23 quintopia: good, good 21:26:27 oerjan: are you always right? 21:26:36 I'm entirely sure that oerjan is always 90% right. 21:26:40 f10d4: i'm sure i'm right, but i'm not sure you're interpreting me the right way :P 21:27:01 oerjan: always? 21:27:04 f10d4: i'm just saying you may or may not have considered this subtlety. 21:27:10 mathematician = says a, writes b, thinks about c, correct is d 21:27:20 quintopia: no, i'm pretty sure i was pretty out of it yesterday. 21:27:26 oh 21:27:42 well, you would know, being right and all 21:27:53 although it did not involve math. math should be OK. 21:28:12 you say nonmath things? 21:28:21 Ultimately, it's all math 21:28:30 prooftechnique: i'm not convinced of that. 21:28:48 when trump is president you will have been right about that too 21:29:17 oerjan: Just like a mathematician 21:29:25 OKAY 21:30:32 oh right the one i can't read <-- jag ser inte problemet 21:31:18 it's perfectly latin-based alphabet and everything 21:31:22 he translated it 21:31:59 good, good 21:32:06 now where _is_ int-e 21:32:31 WHAT! 21:32:32 no such person exists 21:32:32 i understand everything about his and tromp's laver tables except why they're shelves. 21:32:53 int-e: you've been idle for 4 hours 21:32:55 I don't understand that either. 21:32:59 int-e: darn. 21:33:14 I might try to figure it out the coming weekend 21:33:22 int-e: in fact, when i just looked at laver.hs it was pretty much exactly what i'd thought 21:33:27 but probably not on my own... reading literature instead 21:33:37 darn literature, but it may be the only way 21:34:04 -!- hppavilion[2] has quit (Ping timeout: 252 seconds). 21:34:44 unless i can find an insanely clever induction on [a, ..., mx] being a subshelf. that's my best idea so far. 21:35:42 *{ } 21:36:09 what About shub's elf 21:36:23 shachaf: i didn't know he had one 21:36:58 (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:00 hello 21:37:25 vanhila 21:37:35 oerjan: would the swat be for the capital 21:38:06 i didn't even notice the capital. 21:38:18 blood for the blood god, capital for the capitalists 21:38:42 shachaf: is this jesus in a very creepy alternative dimension 21:39:17 "capital for the capitalists" is just regular capitalism 21:39:30 the other one is some internet thing 21:39:37 * oerjan realizes shachaf may not know the allusion 21:39:49 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:05 probably not 21:40:44 new testament, Mark 12:17: "So Jesus told them, "Give to Caesar what is Caesar's, and to God what is God's." 21:40:53 *+" 21:41:10 that's pretty much almost equivalent. 21:41:24 oerjan: http://i.imgur.com/odBEeLF.png 21:41:36 especially in context. except with less blood, but other parts of the bible have that, i think. 21:41:51 oerjan: Anyway, I'll be _afk_ for an hour!!!1 21:42:46 shachaf: ken m is a bit of a closet non-christian. 21:43:03 int-e: *GASP* 21:43:42 oerjan: aren't we all 21:43:54 ken m is great, though 21:44:03 i think the pope might not be. 21:45:21 http://www.theonion.com/article/pope-francis-clarifies-god-just-one-many-immortal--51470 21:48:33 oerjan: actually http://i.imgur.com/HSexikG.jpg 21:49:11 int-e: wait, most significant bit? ...oh darn, i just barely missed that ((2^{n-1}-1) |>) obviously preserves all lower ones... 21:49:45 (laver0 indexing.) 21:52:55 shachaf: i see ken m has flexible devoutness 21:53:27 now i'm reading ken ms 21:53:30 thoerjan 21:53:35 http://i.imgur.com/ViHGGeg.png 21:55:04 full of wisdom this one is 21:58:37 @metar 21:58:44 @metar ENVA 21:58:44 ENVA 122050Z 28021KT 9999 SHRA FEW020 SCT028 BKN061 05/01 Q1012 RMK WIND 670FT 29021KT 21:58:58 ic 21:59:09 @metar ENVA KOAK 21:59:12 @metar KATL 21:59:14 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:24 :( 21:59:36 `weather 21:59:50 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: weather: not found 22:00:00 int-e: maybe @metar should give a message for wrong argument syntax 22:00:03 `? weather 22:00:07 lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK 22:00:10 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:01:10 whoa 22:05:51 @metar EGLL 22:05:52 EGLL 122050Z AUTO 01008KT 340V050 9999 NCD 15/11 Q1004 NOSIG 22:06:03 It was 27 last weekend. 22:06:15 And it's going to be a daily high of 14 the next one. 22:06:23 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:02 `? oerjan 22:22:04 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:08 i don't believe you hth 22:22:13 `` sed -i 's/\. He s.*//' wisdom/oerjan 22:22:22 No output. 22:25:17 Now you got the final . as well. :/ 22:25:57 oops 22:26:09 clearly i'm not thinking 22:26:20 (said yoda) 22:26:30 `` sed -i 's/$/./' wisdom/oerjan 22:26:34 No output. 22:26:49 fizzie: How would you express the desired transformation in as short a command as possible? 22:30:46 i don't believe you hth <-- it was based on an actual event hth 22:30:54 although i've forgotten the event. 22:32:26 shachaf: i think leaving out the \. would have worked hth 22:32:41 oerjan: but that would remove the previous sentence too 22:32:52 why 22:34:00 `` grep ' He s' wisdom/oerjan 22:34:02 No output. 22:34:41 it was a unique string so nothing else would be removed. 22:35:27 -!- Kaynato has joined. 22:40:19 re. 22:41:20 Ugh 22:41:28 I'm trying to roll my own regex processor 22:41:35 cool 22:41:39 (PCRE-like regex, not pure regex) 22:41:43 It's giving me a headache 22:41:53 what extensions are you doing 22:42:03 (I'm making my own because the normal re for python doesn't support some things I need AFAICT) 22:42:22 vanila: Mostly it's just PCRE with different syntax and some less-painful backreferences 22:42:56 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 int-e: so as i mentioned, i'd missed that lower bits are independent of higher ones 22:45:39 yeah... I tend to do /lastlog int-e 10 (or so) when I arrive, so I didn't miss that 22:46:59 Have to admit I laughed (well, giggled) at https://twitter.com/tomaspetricek/status/730442442827304961/photo/1 22:47:57 pffft, that's more than 9.895pt 22:48:03 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 int-e: Surely that depends on the page size. 22:48:43 yes. 22:49:13 oerjan: uh what's the associativity there 22:49:36 I should probably just start by implementing simpler regex engines 22:49:43 Like glob, sglob, gleb, and sgleb 22:50:16 int-e: left 22:51:53 and what is x... 22:52:25 hppavilion[2]: i might now accuse you of being glib hth 22:52:39 oerjan: HOW DARE YOU 22:52:40 :P 22:53:06 int-e: any element in a shelf 22:53:14 or generating a shelf 22:53:45 oerjan: well then you have a problem 22:53:47 the subshelf generated by x is always isomorphic to a laver table. 22:54:00 int-e: i mean any element with that property. 22:54:02 oerjan: since (|> 1) has period 2^n in those shelves. 22:54:11 i know that. 22:54:19 (x is 1, in spirit) 22:55:05 oerjan: ah. well, you could've been clearer about what you want to prove. I lost the context. 22:55:06 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 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 (which in fact will out the way you describe though that isn't visible from the blog post) 22:59:02 s/will out/will work out/ 22:59:29 wait which blog post 22:59:37 https://johncarlosbaez.wordpress.com/2016/05/06/shelves-and-the-infinite/ 23:00:08 i thought i _had_ read that. 23:00:14 * oerjan rereads. 23:00:22 or browses, at any rate. 23:00:39 "Laver showed that this operation distributes over itself:" 23:03:27 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 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:00 N-- 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 wtf is with the math formatting at https://ncatlab.org/nlab/show/shelf 23:17:36 all formulas show up twice, once badly rendered, then followed by TeX. 23:18:31 not for me... try disabling javascript? :P 23:18:42 wat 23:19:13 Works for me. 23:19:29 Relatively pretty too. 23:19:36 ok the homepage mentions MathML. 23:19:47 Seems it's just MathJax. 23:20:56 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 At least I assume so. The code looks a bit dubious to me. 23:23:42 ima start learning haskell 23:26:22 -!- Akaibu has joined. 23:27:10 Hi 23:40:07 -!- hppavilion[2] has joined. 23:40:50 hi hppavilion[2], im going to be learning haskell, a big change for me 23:41:49 -!- vanila has quit (Quit: Leaving). 23:42:12 Moon_: Good 23:43:36 Already likeing the idea of Ranges 23:44:01 *Has been freed from handwriting a rangemaking function*