00:00:11 excellent excuse 00:00:38 Speaking of people being awake and present 00:00:44 I think I'm gonna head to bed 00:00:45 Goodnight! 00:00:52 Tanoooo 00:01:17 bonn tanuitb! 00:01:39 Tanoooo? is that some finno-ugric overlong vowel? 00:01:54 eeeeeeeeeesti vabarik 00:01:57 helloily 00:02:18 maybe some class A amnesiacs were applied on my person hth 00:02:19 oops, *vabariik 00:02:20 amnestics! 00:02:42 amnestics at the amnesium 00:03:07 b_jellőőőőnas. 00:03:12 `? amnesium 00:03:14 Phantom_Heloooover. 00:03:23 amnesium? ¯\(°_o)/¯ 00:03:27 Phantom_Hoover, that kind of error makes me nauseous 00:03:45 Tanelle. aren't you sleeping now? 00:03:55 I said I thought I would head to be 00:03:55 d 00:04:00 Thus far I have not 00:04:09 it appears to be the case indeed. 00:04:46 . o O ( transconsciousness bio-augmented digital communication ) 00:04:47 helloerjan 00:05:07 boily, an alternate explanation is I have a laptop and am IRCing from bed 00:05:13 This, however, would be false 00:05:16 -!- Sprocklem has quit (Ping timeout: 250 seconds). 00:05:24 I revived termbot, but people suggested me that I take it to another channel (which I count as success) so now it's running on #termbot 00:06:03 `learn An amnesium is a school where you forgot everything you learned as soon as you graduate. 00:06:09 Learned 'amnesium': An amnesium is a school where you forgot everything you learned as soon as you graduate. 00:06:16 `learn An amnesium is a school where you forget everything you learned as soon as you graduate. 00:06:20 stupid grammer 00:06:21 Relearned 'amnesium': An amnesium is a school where you forget everything you learned as soon as you graduate. 00:06:41 oerjan: that would actually be better than normal schools, where you forget everything you learned after each exam 00:07:15 I know how to draw an integral symbol. fungot if I remember how to solve one... 00:07:16 boily: no problem! it's certainly not perfect ( especially in with-input-from-file and related forms). and the climate is like. sometimes smart people deliberately choose the " save target as...", i.e. 00:08:07 b_jonas: hm alas i may have mistyped, then 00:08:25 `learn An amnesium is a school where you forget everything you learned after each test. 00:08:29 Relearned 'amnesium': An amnesium is a school where you forget everything you learned after each test. 00:09:46 boily: just do differentiation in reverse hth 00:10:20 (technically correct, the best kind of correct) 00:12:32 boily: I know how to solve integrals -- you type them to Wolfram Alpha. 00:14:03 I haven't had to solve an integral for two years this month 00:17:48 I was pretty proud the other day that I could still somehow manage to derive $\frac{4 \pi r^3}{3}$ from $2 \int_0^r \pi(r^2-x^2) dx$ when I couldn't quite feel certain about the volume of a sphere. 00:17:58 “Hi, my name is Taneb, and I haven't solved an integral in two years” “Hi Taneb” 00:18:27 :P 00:18:32 Now I will go to bed 00:18:32 Well, Taneb invented integrals. 00:18:38 Goodnight, again 00:19:31 rebonne retanuitb! 00:20:40 -!- moon__ has quit (Ping timeout: 252 seconds). 00:24:53 `le/rn tanebvention/Tanebventions are inventions Taneb invented. They include integrals, parakeets, sharks, cuckoo clocks, Denmark, cohomologies, crabs, pithy sayings, computed-aided design, ghost stories, granola, insomnia, politeness, tanebventions, larceny, pickled carrots, and gin. 00:25:57 Hmm, Taneb invented a lot of animals. 00:30:04 * boily needs to find a good pickled carrot recipe 00:30:46 . o O ( why doesn't irssi make styling codes copy/pasteable ) 00:32:22 -!- moon__ has joined. 00:32:24 * ybden . o O ( why doesn't irssi log styling codes ) 00:32:29 `? boily 00:32:34 "Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist. 00:32:38 hellybden! 00:32:46 @metar CYQB 00:32:47 CYQB 072300Z 07010G16KT 20SM SCT065 BKN100 BKN280 15/11 A2961 RMK SC4AC1CI2 CB NW AND S DIST SLP030 DENSITY ALT 600FT 00:32:51 -!- tromp_ has joined. 00:32:52 ybden: i think that's an option? 00:32:56 CB NW AND S indeed. 00:33:06 @metar ENVA 00:33:07 ENVA 072250Z 12003KT 9999 FEW074 SCT110 10/06 Q1020 RMK WIND 670FT 00000KT 00:33:22 boily sprø som selleri 00:33:23 oerjan: Oh? 00:33:40 perhaps boily sprø som coselleri 00:34:04 I only sprœ un peu de céleri hth 00:34:18 celery is a scow vegetable 00:34:21 disgusting imo 00:34:28 how can anyone eat it tdnh 00:35:01 ybden: autolog_colors 00:35:11 oerjan: oh, thanks 00:35:47 shachaf: celery is wonderful. part of the créole holy trinity, with onions and bell peppers. 00:36:39 "Whether to save colors in autologs. Colors make logs harder to parse and grep, but they may be vital for channels that deal heavily in ANSI art, or something." 00:36:41 Onions are great. 00:36:53 Bell peppers and celery are the scow of vegetables. 00:36:57 Along with olives. 00:37:39 -!- Kaynato has joined. 00:37:40 olives are addictive. I tried anchovy-stuffed olives; that thing should be regulated. 00:38:06 -!- tromp_ has quit (Ping timeout: 276 seconds). 00:39:29 <\oren\> The only green thing I eat is green apples 00:39:50 <\oren\> I do not like red apples 00:39:58 \oren\: What sorts of red apples? 00:40:07 <\oren\> the kind that arent sour 00:40:11 I like green apples, but it turns out I like some red apples too. 00:40:17 apples taste good, but I can't really eat them raw. they give me toothache. 00:40:19 Not Red Delicious, obviously. 00:40:37 red delicious is flavourless starchy paste. it doesn't count as an apple. 00:41:04 boily: do potatoes count as apples twh 00:42:36 potatoes are potatous, while apples apply hth 00:43:19 oerjan: Hmm, that doesn't seem to have worked 00:43:25 whoa whoa whoa 00:43:29 remember http://www.game-art-hq.com/wp-content/uploads/2015/04/Tomator-in-Lost-Vikings-Screenshot.jpg ? 00:43:37 shachaf: Apples of the Earth? 00:43:49 ybden: of course 00:45:09 im alive 00:46:15 * boily pokes moon__ to check for aliveness 00:47:10 Hidden Purelace {-} Conspiracy ;; Hidden agenda ;; Nonbasic objects with the chosen name are white. 00:47:15 Do you like this kind of things? 00:47:40 nonbasic? 00:47:49 * boily finds no aliveness 00:48:11 zzo38: I'd prefer if it was called "Hidden Deathlace" and said "black" instead of "white". 00:48:16 It does not affect basic lands (the actual Purelace can, but only one per casting) 00:48:25 shachaf: I did make up that one too, as well as the other three 00:48:42 zzo38: I know you made that one up. But that's a different card. 00:48:48 I'd prefer if this card had those properties. 00:49:26 But then it would be the different card. 00:50:15 -!- lambda-11235 has joined. 00:51:17 -!- ybden has quit (Quit: BigBrother is watching you.). 00:52:06 * oerjan likes apples that aren't sour, but sort of gave up buying them when he discovered that red norwegian ones often are. 00:53:50 @ask ybden i dunno, maybe it only works if set before the logs are opened? i've never used it, anyway. 00:53:50 Consider it noted. 00:56:36 The other conspiracy card I made up is "When ~ faced up, you may pay {1(2/U)(2/U)}. If you do, or if target spell's name is the chosen name, counter that spell." I have written ones for the other four colors too by now though 00:57:13 @ask oerjan did i do this right? 00:57:13 Consider it noted. 00:57:35 * moon__ pokes boily to check for aliveness 01:01:36 @messages- 01:01:36 moon__ asked 4m 22s ago: did i do this right? 01:01:50 @tell moon__ No. More groveling please. 01:01:50 Consider it noted. 01:02:21 . o O ( now that "please" looks out of place ) 01:03:17 moon__: i predict boily chickening out hth 01:03:41 [wiki] [[Unreadable]] https://esolangs.org/w/index.php?diff=46971&oldid=45209 * 67.164.67.38 * (+154) /* Alphabet */ removed a frivolous comment; clarified Whitespace comment; put inline code blocks so you could tell what characters were in use 01:06:10 -!- IRCFrEAK has joined. 01:06:33 -!- IRCFrEAK has changed nick to moon___. 01:07:33 -!- moon__ has quit (Ping timeout: 240 seconds). 01:12:51 -!- tromp_ has joined. 01:18:45 Hia tromp_ 01:19:06 hi 01:19:40 -!- hppavilion[1] has joined. 01:20:11 afk to dinner 01:24:03 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:30:49 -!- centrinia has joined. 01:31:08 hia 01:43:11 b_jonas: pero el loco me fnord fnord en oikein tiedä, mun fnord on vitun kipee what <-- very multilingual 01:43:11 oerjan: the sound didn't work for some things 01:46:12 Also, they render horribly in several clients <-- including the tunes logs tdnh 01:47:05 oerjan: what's with the tunes logs being not being served as text/plain tdnh 01:47:35 ask the maintainer hth 01:48:03 what, you retired from that too? 01:48:11 The glogbot logs are better though, isn't it? 01:48:20 zzo38: glogbot is not present 01:48:23 they're missing animportant feature right now hth 01:48:41 zzo38: i don't remember what glogbot's logs do with notice 01:49:17 It records all raw data together with timestamps, so it does nothing 01:49:21 of course neither of them renders colors 01:50:08 oerjan: which is good because they let you catch when certain unnamed users cheat with irc control codes hth 01:50:10 zzo38: i mean the log web pages that don't hurt my eyes 01:50:29 zzo38: raw format is definitely _worse_ than what i'm already complaining about tunes doing. 01:50:44 shachaf: tru dat. 01:51:03 No the raw format is OK. If you want different format write your own parser for them, and then it can be whatever format you want it to be. 01:51:45 shachaf: however, it means all the colored lines look like they're just strewn with random digits. 01:51:46 zzo38: but what if you don't want to write your own parser, though 01:52:36 Then download a parser that someone else made up and run it on the logs 01:53:25 zzo38: your view on what's a convenient interface is not very popular 01:55:54 shachaf: also, if the logs rendered colors and i wanted to check for cheating, _then_ i could use the raw version. (although i don't know if tunes has any.) 01:56:29 Tunes seems to have none but they ought to have raw version. 01:56:41 `erro 01:56:47 01:57:08 `erro Error 8: Lol! I can hear rocks! 01:57:13 Error 8: Lol! I can hear rocks! 02:04:26 -!- jaboja has quit (Ping timeout: 250 seconds). 02:05:55 -!- jaboja has joined. 02:06:19 whoa whoa whoa 02:06:20 https://ncatlab.org/nlab/show/essentially+surjective+functor 02:06:26 so that's what esolangs are about? 02:09:31 How is that? 02:09:46 this swatter is essentially surjective on shachaf -----### 02:17:01 moon___: I'm making a language called PicoScript you may be interested in 02:18:28 zzo38: Essentially Surjective Functors are fungots that are Essentially Surjective on Objects (eso) 02:18:28 hppavilion[1]: go to c, it has totally adorable pics of his dog. 02:18:59 -!- hppavilion[1] has set topic: The international hub of solid matrices | Home of the world's largest ball of threads | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | Note: people with cloaks will be treated as if they're from Saint Petersburg (not Saint Petersburg). 02:20:02 Don't you mean functors and not fungots? 02:21:25 * oerjan realizes this makes his next city pair obvious 02:21:52 and very close to home. 02:31:01 -!- jaboja has quit (Ping timeout: 252 seconds). 02:32:12 oerjan: I am not due to chicken yet hth. 02:32:40 -!- moon___ has quit (Ping timeout: 252 seconds). 02:41:44 boily: i am very bad at time estimates hth 02:42:11 (also lengths, although that comes up far rarer) 02:43:27 -!- ocharles_ has quit (Ping timeout: 250 seconds). 02:43:49 -!- mbrcknl has quit (Read error: Connection reset by peer). 02:43:54 -!- incomprehensibly has quit (Read error: Connection reset by peer). 02:44:53 -!- ocharles_ has joined. 02:45:04 -!- mbrcknl has joined. 02:45:20 length and time are the same. "My friend lives 30 minutes away" is perfectly acceptable. 02:45:37 -!- incomprehensibly has joined. 02:46:00 I think area is inversely proportional to acceleration too. 02:46:25 O KAY 02:47:52 DIMENSIONS 02:48:44 hm nope. 02:49:06 it's v^2/r, not v/r^2. 02:49:40 oh. hm. eeeerghgh. 02:49:47 <_<'... 02:49:50 >_>;... 02:50:23 -!- sebbu has quit (Ping timeout: 250 seconds). 02:50:32 hm wait 02:50:52 try gravitation instead, that fits. 02:52:38 `thanks oerjan 02:52:53 Thanks, oerjan. Thoerjan. 03:02:37 -!- dingbat has quit (Quit: Connection closed for inactivity). 03:40:11 boily: "It's been 30 miles since I last saw you" 03:40:14 Wait, that actually works 03:45:55 hppavellon[1]. wait for the dimensions to work. the space between them is illusory. all in all, the parts will align as they should. 03:46:33 -!- boily has quit (Quit: IMPORTANT CHICKEN). 03:49:03 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 03:52:42 I am making another implementation if Internet Quiz Engine in JavaScript, which includes a try block to use it as a stand-alone program with Node.js (if it isn't running under Node.js then it will not start automatically, and you must write code to interface it e.g. in a web page). The canonical implementation is still the C version though and new features will be added to the C version first. 03:54:38 zzo38: Why don't you compile one version to the other? 03:54:51 hm... 03:54:56 `hcf 03:55:02 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hcf: not found 03:55:21 short term memory, oerjan 03:55:28 `hfs 03:55:30 You have discovered an eerie cavern. The air aboe the dark stone floor is alive ith vortices of purple light and dark, boiling clouds. Seemingly bottemless pits mark the surface. 03:55:36 `cat bin/hfs 03:55:37 erro 'You have discovered an eerie cavern. The air aboe the dark stone floor is alive ith vortices of purple light and dark, boiling clouds. Seemingly bottemless pits mark the surface.' erro "$1" erro 'stands below' 03:56:06 `` le/rn "hfs//"`hfs` 03:56:07 shachaf: They are written in different ways. The C version for running on a gopher server, while the JavaScript version is meant for stand-alone. 03:56:14 Learned «hfs» 03:56:17 oops 03:56:24 (I also don't know how to compile one to the other.) 03:56:30 `` le/rn "hfs/"`hfs` 03:56:34 Relearned «hfs» 03:56:39 `? hfs 03:56:41 You 03:56:44 wat 03:56:58 `` le/rn "hfs/`hfs`" # Maybe this way better? 03:57:12 Relearned «hfs» 03:57:16 `? hfs 03:57:18 You have discovered an eerie cavern. The air aboe the dark stone floor is alive ith vortices of purple light and dark, boiling clouds. Seemingly bottemless pits mark the surface. 03:57:28 zzo38: apparently, i didn't know `` worked inside quotes 03:57:31 that, or `` le/rn "hfs/$(hfs)" 03:57:43 int-e: was just about to write that. 03:57:44 oerjan: Now you know 03:57:47 `rm bin/hfs 03:57:51 No output. 03:58:01 `culprits bin/hfs 03:58:09 * int-e wonders whether tromp is still awake 03:58:14 oerjan moon__ moon__ moon__ moon__ moon__ 03:58:14 @time tromp_ 03:58:15 Local time for tromp_ is 2016/05/07 22:58 -0400 03:58:48 *sigh* no use @tell'ing someone who has random number of _ suffixes. 03:59:09 Is "tromp" anything like "trump"? And if it is, is it like whist or like Donald Trump (or both)? 03:59:42 zzo38: i hope not, or else tromp is probably long since sick of that comparison. 03:59:47 zzo38: Is a trump in whist anything like a trebled fromp in double fanucci? 04:00:03 Do you know the rules to double fanucci? 04:00:38 No I do not know the rules of double fanucci, or if a trump in whist is anything like it or not. 04:01:01 Have you played Zork Zero? 04:01:14 * oerjan starts feeling bad, then remembers he's retired again. 04:01:29 oerjan: Bad about what? 04:01:33 No, although I know how cards are in a fanucci deck. 04:01:45 zzo38: You should play Zork Zero. 04:01:49 shachaf: about not having an obvious way to tell moon_* i moved it. 04:02:26 There are fifteen suits, each with 0 to 9 and infinity, and nine trumps. (I think?) 04:02:51 zzo38: Do you play bridge? 04:03:27 I do know how, but I have played only a few times. It is similar to whist but more complicated. 04:03:29 zzo38: Oh, now I remember. 04:03:44 There's a trick to winning in Double Fanucci. 04:03:48 shachaf: also my right foot aches a bit tdnh 04:03:56 Three undetrumps after an opponent's discard of a trebled fromp. 04:04:01 So I guess a trump isn't like a fromp. 04:04:16 Yes and that information is printed on the calendar that comes with the game I think. 04:04:23 Yes. 04:04:29 The game is difficult to play without the calendar. 04:05:14 do the rules change by date? otherwise a calendar seems somewhat off... 04:06:00 I think the rules do change by date, but what it says on the calendar is just how Flathead won the game, I Think. 04:06:11 It's a calendar for the year 883. 04:06:16 aha 04:06:27 http://infodoc.plover.net/manuals/temp/zork0.pdf 04:06:51 The calendar starts on page 21. 04:06:57 It's pretty good. 04:07:09 oh it's a game within a game 04:08:21 zzo38: Did you read the calendar? 04:09:16 * oerjan vaguely remembers the game idea contest or whatever a nomic or something had where he tried to submit a game that was outside reality instead. alas people didn't appreciate it ihrc 04:09:25 I did read the calendar. 04:10:13 oerjan: itym ierc hth 04:10:22 well, maybe it was a different nomic 04:10:47 shachaf: i'm pretty sure i'm male, and also it was web-based somehow. it may have been just a forum and not an actual nomic. 04:11:16 oerjan: well i thought agora required spivak pronouns for everyone 04:11:39 i don't think they require it when the gender is known. 04:12:16 hm... 04:12:57 You can make up other games with the same fanucci cards just as it can also be done with other card too. 04:13:20 zzo38: can you invent cards such that it's impossible to make up games with them 04:14:06 shachaf: I don't know. Someone made up "Morgan Tarot" (which despite the name is not a tarot pack), and looks to be too difficult to design a card game, but someone did it anyways. 04:14:13 alas, the one example of in the current rules is a mistaken "his" in a spot that should be "eir". 04:14:48 i'm not sure anyone but Michael Norrish is mentioned by name in the rule texts, and there's no pronoun invoked. 04:15:16 (there is "he" in a judgement quote) 04:15:35 er CFJ quote 04:17:26 @time ski 04:17:27 Local time for ski is Sun May 8 05:17:26 2016 04:18:45 oh the Town Fountain rule has more names/nicks. but no singular pronouns. 04:21:05 and the Birthday Rule. that may be all, although i don't know how to search. 04:21:38 (the Birthday Rule has some singular pronouns, but not third person ones.) 04:29:14 -!- moon___ has joined. 04:29:54 moon___: hi you have too many _s also i move hfs to wisdom hth 04:30:01 *moved 04:31:25 oerjan: you have too few _s so it works out hth 04:32:41 grmb 04:32:55 * oerjan thought he included an l 04:33:20 * oerjan isn't sure whether his finger motorics or his keyboard is the most defect 04:33:38 maybe you should hire a detect to find out for you hth 04:33:40 -!- moon___ has quit (Ping timeout: 252 seconds). 04:33:48 plausib 04:46:03 Someone else on here once made a quiz file for use with Internet Quiz Engine, related to esoteric programming language. I will make this program you can test it more easily by locally too. 04:47:06 -!- sebbu has joined. 04:47:36 -!- hppavilion[1] has joined. 04:54:17 -!- Sprocklem has joined. 04:54:49 @tell fizzie (There was a tiny-font disclaimer in the end about how this version of the story "is the one the author wishes to believe".) <-- have em do the holocaust next hth 04:54:49 Consider it noted. 05:00:37 -!- Kaynato has changed nick to Caesura. 05:02:20 `? norway 05:02:38 Norway is the suburb capital of Sweden. It's where the Nobel Peace Prize is announced. 05:03:31 @tell b_jonas (I added some stupid wisdom entries in private message again.) <-- good i'm retired so i don't have to complain that we rewrote the learn commands precisely so we could check wisdom additions just by reading the logs hth 05:03:31 Consider it noted. 05:04:08 `learn_append norway It was invented by King Taneb I in in the 9th century. 05:04:41 b_jonas: adding wisdom entries in /msg is a bit of a scow move imo 05:04:51 unless they're pranks 05:05:08 does anyone know if there comes a time in life when you start getting _less_ grumpy again twh 05:05:21 `./!\.´ 05:05:22 emergency signal toggled 05:05:48 oerjan: are you expecting an answer from someone older than you 05:06:05 because if anything i should be the one asking this question 05:06:05 >_> <_< 05:06:07 How do you know which way it is toggled? 05:06:19 zzo38: You check the logs for the number of times it's been toggled so far. 05:06:47 shachaf: sounds like a job for hg 05:06:50 I think is better not to add by private because if it public then it can be copied to all of the available logs automatically. 05:07:33 hm wait 05:07:39 that won't work. 05:07:51 oh well. i'm retired. now where's my cane... 05:08:58 * oerjan subtly spreads some grass seeds around him 05:09:45 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 05:10:57 `? #esoteric 05:11:03 #esoteric is the only channel that exists. monqy is its centroïd. It's about 30 m (100 ft) across. 05:12:06 `learn_append #esoteric oerjan seems to be making a lawn in the northern part. 05:12:12 Learned '#esoteric': #esoteric is the only channel that exists. monqy is its centroïd. It's about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part. 05:13:24 `` sed -i 's/mon[^.]*/After monqy left it's slightly off-center/' wisdom/#esoteric 05:13:27 /hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching `'' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file 05:13:37 `` sed -i 's/mon[^.]*/After monqy left it'"'"'s slightly off-center/' wisdom/#esoteric 05:13:39 No output. 05:13:42 oerjan: centër hth 05:13:44 `? #esoteric 05:13:45 #esoteric is the only channel that exists. After monqy left it's slightly off-center. It's about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part. 05:14:33 `` sed -i s/enter/entër/ wisdom/#esoteric 05:14:37 No output. 05:14:48 thx 05:14:50 `? english channel 05:14:52 english channel? ¯\(°_o)/¯ 05:15:25 Figuring out how to get WebRTC JS to talk to my C server is killing me 05:15:39 Not even slowly, but very rapidly 05:15:52 `? oerjan 05:15:53 Your infamous 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. 05:16:22 I think I wrote in the back file for the level20.tex story that Iuckqlwviv Kjugobe play Double Fanucci game against a half dragon and lost; if it was a real dragon then he would be killed instead. 05:16:23 `` sed -i 's/infamous/retired/' wisdom/oerjan 05:16:26 No output. 05:16:41 `le/rn english channel/If it existed, the English Channel would separate Hexham from Finland. 05:16:44 Learned «english channel» 05:16:48 But since it is half dragon it is only the loss of ten perica (approximately) 05:17:03 `` grep -r chann wisdom 05:17:21 wisdom/#programming:No such channel. See `? #esoteric \ wisdom/esoteric:This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet. \ wisdom/stereotype:A stereotype is a two-channel monotype. \ wisdom/fungot:fungot is our beloved channel mascot and voice of reason. \ wisdom/finland:Finland is a European c 05:17:41 `` grep -r nnël wisdom 05:17:43 No output. 05:17:47 `sedlast s/If it existed/Were it to exist/ 05:17:48 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: sedlast: not found 05:17:49 hm 05:18:15 shachaf: sorry about this. i got tired of the race conditions. 05:18:24 `` hg log --removed bin/sedlast | grep summary: 05:18:41 summary: rm bin/sedlast \ summary: mkx bin/sedlast//files="$(lastfiles)"; sed -i "$1" "$files"; echo -n "$files//"; cat "$files" \ summary: mkx bin/sedlast//sed -i "$1" "$(lastfiles)" 05:18:43 oerjan: scow move imo hth 05:19:00 i suppose you can put back since i retired hth 05:19:04 *put it 05:21:19 oerjan: well, maybe a sed file//s/.../.../ command would be sufficient 05:21:27 you should write it as penance for deleting the other file twh 05:21:31 just copy the code from mk 05:22:28 hm 05:22:32 `cat bin/f 05:22:33 #! /bin/bash \ cmd="$1" \ shift \ f="$*" \ if [[ -z "$f" && "$cmd" == *\ * ]]; then f="${cmd#* }"; cmd="${cmd%% *}"; fi \ if [[ -z "$f" ]]; then echo try: \`f command filename; elif [[ -e "$f" ]]; then "$cmd" "$(< "$f")"; else echo no such file: "$f"; fi 05:22:51 i think that's space-delimited, though 05:23:31 spaces are scow hth 05:23:37 oh and the wrong order 05:23:38 doesn't work for wisdom/english channel 05:24:22 `` hg log --removed bin/sedlast 05:24:28 changeset: 7813:8bc49d1253ed \ user: HackBot \ date: Fri May 06 00:36:07 2016 +0000 \ summary: rm bin/sedlast \ \ changeset: 7780:87f80d4bcedd \ user: HackBot \ date: Fri May 06 00:15:56 2016 +0000 \ summary: mkx bin/sedlast//files="$(lastfiles)"; sed -i "$1" "$files"; echo -n "$files//"; c 05:24:35 `undo 7813 05:24:44 patching file bin/sedlast 05:24:53 `cat bin/sedlast 05:24:54 files="$(lastfiles)"; sed -i "$1" "$files"; echo -n "$files//"; cat "$files" 05:25:04 too lazy for more 05:27:09 oerjan: you're practically compliant with the haskell report these days 05:27:47 OKAY 05:28:19 oerjan: well, i can't blame you 05:28:25 you were already tired, and then you got tired again 05:28:52 * ski nods 05:29:05 hi ski 05:29:10 @time ski 05:29:11 Local time for ski is Sun May 8 06:29:11 2016 05:29:21 you're up pretty late hth 05:29:23 @time shachaf 05:29:25 Local time for shachaf is Sat May 7 21:29:23 2016 05:29:29 @time lambdabot 05:29:29 I live on the internet, do you expect me to have a local time? 05:29:36 yes 05:29:56 @time oerjan 05:29:57 Local time for oerjan is Sun May 8 06:29:56 2016 05:30:15 oerjan must be one of those early morning birds 05:30:15 `? ski 05:30:16 ski? ¯\(°_o)/¯ 05:30:40 ski: Just like you? 05:31:38 provided that you mean that i've been up for 10 hours. 05:31:41 i suppose it's a case of "leaned so far `foldr' they came back `foldl'" 05:33:09 * ski has been up for .. hmm .. `20' hours, perhaps 05:34:02 @uptime 05:34:02 uptime: 5d 13h 11m 53s, longest uptime: 1m 12d 14h 14m 14s 05:34:14 lambdabot: no wonder you're acting like that 05:34:30 ski: Perhaps the time has come to wrap up this document. :-) 05:34:38 anyway, i don't think i have much more, ontopic, to add to atm 05:34:54 I'd be happy to hear more about the topic at one point. :-) 05:35:08 I should get a book or nlab or something and work through all these definitions until they make sense. 05:35:39 * ski was pondering "decreasing naturals" a little bit earlier 05:36:11 -!- Caesura has quit (Ping timeout: 244 seconds). 05:38:19 Decreasing naturals 05:38:21 ? 05:38:33 oerjan: you've infected my keyboard tdnh 05:38:58 where you'll in general only know an upper bound of the natural number 05:39:26 @tell Taneb Are there any interesting algorithms that run in Theta(BB(n)) time? <-- no, see http://www.scottaaronson.com/blog/?p=2725#comment-1084808 05:39:26 Consider it noted. 05:39:36 i define decreasing naturals as the limits of decreasing infinite sequences of natural numbers 05:40:07 (well, in practice, as infimum, or alternatively another similar thing. but the "rough idea" is "limits") 05:40:43 the question is how to compute with decreasing natural numbers 05:41:38 (if you take infimum, or the other thing, then any infinite sequence of natural numbers would work. but you can reduce that case to the simpler decreasing infinite sequence case) 05:41:51 * ski isn't sure what "the other thing" is called 05:41:57 tip: decreasing infinite sequences of natural numbers are eventually constant hth 05:42:41 oerjan : unfortunately, proving that requires Lesser Principle of Omniscience 05:42:45 oerjan: whoa, comment 123 05:42:55 ski: aka induction hth 05:43:11 (unless you know there's a `0' in the sequence. in that case it works, yes) 05:43:18 oerjan : no, induction is computable 05:43:19 someone finds turing machines more intuitive than lambda calculus? 05:43:27 LPO isn't known to be computable 05:43:43 hm, probably one can show it isn't in `Eff' or something 05:43:45