00:00:15 or well 00:00:21 On an infinite domain. 00:00:54 plausible, but needs a proof 00:01:15 What if I give you a program and promise you that it implements a computable real? 00:01:15 possibly just some theorem i don't remember 00:01:34 hm right... 00:01:56 I guess now my question is "what can you decide about the real", rather than "what can you decide about the program". 00:02:02 (And the answer is nothing, of course.) 00:04:45 -!- tromp has quit (Remote host closed the connection). 00:07:29 Is the busy shachaf problem decidable? 00:07:56 shachaf is always busy, Q.E.D. 00:08:40 `? shachaf 00:08:42 shachaf sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. 00:08:56 apparently i have some free time on weekends 00:10:32 @tell ais523 I don't even know that the primitive recursive functions are what the type system encodes <-- note that if you have higher-order functions, things that look like primitive/structural recursion can be much more powerful. e.g. we discussed that the goodstein sequence can be computed in System F. 00:10:32 Consider it noted. 00:11:19 @tell ais523 (and someone i don't remember the nick of implemented it in non-recursive haskell) 00:11:19 Consider it noted. 00:11:34 quintopia: was it you twh 00:12:11 shachaf: it's a very busy cosplay hth 00:13:22 My life improved when I stopped writing commas after "e.g." and "i.e.". 00:13:24 What's next? 00:13:38 "eg" and "ie"? Or is that going too far? 00:13:55 nn:eg = en:I, hth 00:18:08 -!- lambdabot has quit (Remote host closed the connection). 00:18:35 their killing are bots 00:19:42 oerjan: nn:ie = en:? 00:20:33 en:hth = nn:? 00:20:37 en:N.B. = nb:? 00:21:04 en:hth = nn:hth, en:N.B. = nb:N.B. 00:21:26 N.B. is latin, after all 00:22:21 oh wait duh 00:22:31 en:hth = nn:hdh 00:22:36 -!- lambdabot has joined. 00:22:42 @bot 00:22:48 :) 00:23:15 (håper det(te) hjelper) 00:23:36 actually i'm not sure of the ending of that last word 00:24:29 oh it's correct 00:25:04 which means it's identicall in nb and nn, hth 00:25:08 *-l 00:26:00 `wisdom 00:26:03 firefly/FireFly was a short-running but well-loved sci-fi TV series released in 2003, starring Nathan Fillion and directed and written by Joss Whedon. 00:26:21 nn could also be håpar 00:27:31 hm "vonar" would be more stereotypically nn 00:27:37 vdh 00:28:09 which is better, nb or nn 00:28:47 nn for poetry, nb for technical stuff vdh 00:29:32 vdh? 00:29:36 oh 00:29:53 unless, like i did, you come upon an early 20th century nn popular science treatise on angle trisection 00:30:11 that was really something 00:33:44 is poetry translated from nn to en better than poetry translated from nb to en 00:34:07 no idea, i don't particularly read poetry 00:34:31 and i'm not sure i've ever seen poetry translated from norwegian to english 00:38:33 ♫ du skal ikkje sova bort sumarnatta ♫ ho er for ljos til det... ♫ 00:38:54 ups 00:38:59 s/du/vi/ 00:41:29 * oerjan had no idea that lyrics had a depressing backstory 00:41:41 we shall eek sofa bort Sumatra, oh err for loss till death? 00:41:53 death was involved, yes 00:41:55 (my ungoogled attempt at translating that thing.) 00:42:14 (although not _in_ the lyrics afair) 00:42:30 17:26 (håper det(te) hjelper) 00:42:44 oerjan seems obsessed with death 00:42:44 what's a sofa bort, and why does it need to be from Sumatra? 00:42:49 maybe all norwegians are 00:43:00 given how often they talk about it 00:43:18 no:det,dette = en:the,that,this hth 00:43:34 (neuter gender) 00:44:21 surely you mean "no:det,dette vdh = en:the,that,this hth" 00:44:26 (the "the" usage is often elided) 00:44:47 shachaf: vdh is nn, not nb hth 00:45:00 you said "no" 00:45:12 which i assume is some sort of union 00:45:13 so, if I understand correctly, the lyrics mourn the loss of a Sumatran sofa bort? 00:45:36 perhaps sumarnatta is more like a summer night 00:45:39 shachaf: which could have been why i left out vdh 00:46:03 ikkje seems suspiciously dutch 00:46:07 shachaf: ♫ ding ding ding ♫ 00:46:27 (well, _the_ summer night) 00:46:57 we shall little-Dutch-thing something something on the summer night, oh is for loss until that? 00:48:47 google translate is pretty bad, i see 00:49:54 well technically the words it fails worst at are those that are strictly nn 00:50:24 well it got a couple 00:51:06 we shall not sleep away the summer night, it is too bright for that hth 00:52:10 so nn:for is en:far. tdh. 00:52:28 um no? 00:52:35 but what part is “not,” what's “sleep” and what's “away”? 00:52:42 AAAAAAAAAAAAAURGH! 00:52:49 I abdicate. 00:52:50 ikkje, sova, bort, hth 00:52:52 * boily pouts 00:53:25 so nn:for is en:for? 00:53:38 it can be 00:53:49 although technically it was nn:til in the above 00:54:04 * boily facedesks 00:54:13 oh... 00:54:23 nn:for = en:too, in this case 00:54:38 *facedesk* *facedesk* *facedesk* 00:54:54 they're both germanic languages, the word order isn't _that_ different. 00:55:06 (except when it is.) 00:56:27 * oerjan gives boily some headache pills 00:56:55 * boily accepts the pills with gratitude 00:57:26 norwegian prepositions are about as insane as english ones, and _not_ corresponding insanities, either 00:58:28 I'm still a proponent of a Japonorwegian merger. sane, immuable, logical particles instead of abhorrent prepositions. 00:58:55 are you implying that japanese is sane tdnh 00:59:08 shachaf: apart from a suspicious lack of vowels, are there any unmanageable grammatical points in Hebrew too? 00:59:15 oerjan: uuuuh... yes? 00:59:58 boily: i believe the main insanity of hebrew is that most of the grammar resides in the unwritten vowels hth 01:00:25 (this is shared with other semitic languages such as arabic) 01:00:28 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:01:33 (although iirc not _all_ vowels are unwritten) 01:02:36 boily: Points? 01:03:23 insane verb conjugations? insane irregularities? insane prepositions? insane grammatical numbers? 01:03:52 boily: have i previously mentioned that for geographical place names in norwegian, you need to learn individually whether the preposition corresponding to en:in is no:i or no:på hth 01:04:17 no you didn't. now you did. this is scaring my fungotless. 01:04:17 boily: breaches of intermediate severity. while a sentence of this distribution, no distribution occurs. 01:04:39 ^style 01:04:39 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 01:04:43 fungot: stop being sentient, but thanks for supporting me. 01:04:43 boily: ( b) a list of who owns land may only be changed except as 01:05:08 can fungot have a style based on the US Internal Revenue Code twh 01:05:08 shachaf: iv) the political status of any legal significance, the notary shall declare the most 01:05:17 -!- tromp has joined. 01:07:48 it turns out ^style irc is v. different 01:10:07 -!- tromp has quit (Ping timeout: 256 seconds). 01:11:01 boily: of course this is in addition to having to learn the gender of every noun, but as a french-speaker you're already used to that. 01:12:34 Doesn't Norwegian have that too? 01:12:44 shachaf: i was speaking about norwegian 01:12:57 the problem with already inherently knowing the gender of nouns, is that when you're learning another language with them there are plenty of jarring mishaps hth 01:13:05 Oh, I thought that was still about Hebrew. 01:13:19 But Norwegian has three genders, right? 01:13:24 it can still be about Hebrew. it has genders, right? 01:13:27 which reminds me that iirc, in hebrew, the word for answering machine is the masculine form of the word for secretary. very politically correct. 01:13:58 shachaf: yes 01:14:35 oerjan: have not encountered that 01:14:51 maybe they changed it 01:15:02 «un secrétaire» can be a kind of furniture, on top of it secretary meaning. 01:15:30 (whereas «une secrétaire» is always a woman whose job is being a secretary.) 01:15:45 on the other hand hebrew has all sorts of things 01:15:54 did you know the word for husband was the same as the word for owner 01:17:01 nope 01:17:06 gack! 01:20:00 i also recall that in german, the way to be gender neutral about job titles is to use both forms with a slash. in norwegian we've mostly just decided to redefine job titles as being gender neutral whenever sensible regardless of grammatical gender. 01:21:11 feminine forms are a little bit irregular. docteur/docteure, acteur/actrice, boulanger/boulangère... 01:21:20 oerjan: next up do that for all other words twh 01:23:40 although many, but not all titles ending in -mann or -søster have been replaced. the progressive party famously still calls used to call its leader "formann" rather than "leder". 01:24:14 apparently they changed in 2009, 3 years after they got a female one. 01:26:06 many job titles would previously have added a feminine -inne ending, which was the closest thing to a grammatical variation. 01:26:18 (which german still does with -in) 01:27:58 i recall some bible verse using the actual word "manninne" for woman, i don't think it's ever been used elsewhere 01:28:45 Genesis 2:23 01:29:32 i assume in hebrew like in english, the usual word for woman is actually related to the usual word for man 01:29:42 which is not the case in norwegian. 01:30:07 so the translaters had a bit of trouble with that verse, i assume 01:30:11 *o 01:31:00 `learn A translater is one who transes a long time after the fact. 01:31:02 Learned 'translater': A translater is one who transes a long time after the fact. 01:31:20 `? transformer 01:31:21 transformer? ¯\(°​_o)/¯ 01:31:42 `learn A transformer is one who used to transe, but no longer does. 01:31:44 Learned 'transformer': A transformer is one who used to transe, but no longer does. 01:31:49 um 01:31:54 `learn A transformer is one who used to trans, but no longer does. 01:31:56 Learned 'transformer': A transformer is one who used to trans, but no longer does. 01:32:40 oerjan: genesis 2:23 uses two different words for man, it seems 01:33:04 but your assumption is correct 01:34:11 whoa, fancy: http://mathoverflow.net/q/211159 01:38:41 cute 01:40:19 -!- boily has quit (Quit: PAISLEY CHICKEN). 01:43:12 -!- lemurian has joined. 01:49:19 -!- mauris_ has joined. 01:52:38 -!- mauris has quit (Ping timeout: 246 seconds). 01:53:47 -!- mauris_ has quit (Client Quit). 02:06:49 -!- tromp has joined. 02:11:16 -!- tromp has quit (Ping timeout: 248 seconds). 02:14:00 -!- adu has joined. 02:18:45 -!- Walpurgisnacht has joined. 02:21:14 gender neutral is bleh. They should just have 3 forms: male female and plural and use the plural for gender neutral like "they". 02:23:12 unless norwegian doesn't use neutral-plural for neutral-singular? 02:23:27 oren: norwegian doesn't actually have a "gender neutral" pronoun for persons. 02:23:56 grammatical gender is scow 02:24:28 the pronoun of "neutral" gender applies strictly to _nouns_ of that grammatical gender, which has nothing consistently to do with any biological issue 02:25:08 e.g. en:house = no:hus, the latter is neuter, so takes pronoun "det". 02:25:35 moreover, there's a separate non-neuter pronoun "den", used for non-persons. 02:25:44 shachaf: well maybe they could avoid problems by calling it grammatical color instead 02:25:51 (masculine and feminine is often not distinguished) 02:26:45 in fact in danish, there is no grammatical masculine/feminine apart from the personal pronouns 02:27:05 the distinction between neuter/non-neuter still exists, though 02:27:53 so it's the opposite of what happened in most romance languages 02:27:54 swedish and dutch are similar i think 02:28:19 rather than merging neuter and masculine, they merged masculine and feminine 02:28:39 hello 02:29:04 hello 02:31:49 oren: yep 02:32:05 `wisdom 02:32:24 homestuck/Homestuck is a cult religion for disaffected teens. Gamzee drives the bus. Best summarized by http://www.mspaintadventures.com/storyfiles/hs2/05743.gif 02:37:52 -!- tromp has joined. 02:42:29 -!- relrod has quit (Ping timeout: 256 seconds). 02:59:57 `wisdom 02:59:59 zomgmodules/ZOMGMODULES is both a small blonde veterinarian and just modules over the ring of ZOMGs. 03:00:06 `? 03:00:11 ​? ¯\(°​_o)/¯ 03:31:15 [wiki] [[Boolfuck]] http://esolangs.org/w/index.php?diff=43449&oldid=30839 * Phase * (+892) Differences from Brainfuck & Examples 03:34:39 [wiki] [[Boolfuck]] M http://esolangs.org/w/index.php?diff=43451&oldid=43449 * Phase * (-345) Remove unneeded text 03:38:16 -!- nys has quit (Quit: quit). 03:39:38 [wiki] [[Refract]] M http://esolangs.org/w/index.php?diff=43452&oldid=43443 * Phase * (+41) /* Paradigms */ Add refract paradigms 03:42:20 [wiki] [[Refract]] M http://esolangs.org/w/index.php?diff=43453&oldid=43452 * Phase * (+33) Add link to other header 03:42:59 [wiki] [[Refract]] M http://esolangs.org/w/index.php?diff=43454&oldid=43453 * Phase * (-33) Undo revision 43453 by [[Special:Contributions/Phase|Phase]] ([[User talk:Phase|talk]]) 03:43:07 -!- Froo has joined. 03:43:25 -!- Froox has quit (Read error: Connection reset by peer). 03:44:24 `` allquotes | tail -1 03:44:25 1246) (on another note, I love the way that the standard way to indicate that you get a reference is to make a different obscure reference to the same thing) 03:44:35 `addquote Some people, when confronted with a problem, think "I know, I'll use the Banach-Tarski theorem." 03:44:40 1247) Some people, when confronted with a problem, think "I know, I'll use the Banach-Tarski theorem." 03:45:11 [wiki] [[Argh]] N http://esolangs.org/w/index.php?oldid=43455 * Phase * (+19) Redirect "Argh" to "Argh!" 03:45:22 `quote tarski 03:45:22 933) sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" \ 1247) Some people, when confronted with a problem, think "I know, I'll use the Banach-Tarski theorem." 03:45:38 oh. 03:45:41 `revert 03:45:50 Jafet: YOU PLAGIARIST 03:45:51 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 03:46:13 god dammit I can escape homestuck 03:46:18 damnit* 03:46:27 clearly lexande was the first person ever to think that 03:46:35 Walpurgisnacht: actually "dammit" is correct 03:47:00 also i suspect you're missing a "not" somewhere 03:47:16 who are you to say what's correct 03:47:20 prescriptivist 03:47:34 shachaf: someone told me on the internet QED 03:48:13 http://irclog.perlgeek.de/perl6/2012-01-20#i_5022203 03:48:29 hm, a tweet 03:49:01 well tweets cannot be original context, that's clearly absurd 03:49:25 oerjan: i'm hungry what shall i eat twh 03:49:36 that was correct 03:50:00 well now I can tell all those people who mis corrected me to shove off 03:51:00 shachaf: i'm not good with vegetarian cuisine 03:51:08 an apple perhaps? 03:51:18 I ate two apples today. 03:51:21 what do you eat in Norway 03:51:38 i suppose bread counts as vegetarian. 03:51:42 Food? I assume 03:51:44 Walpurgisnacht: lots of chicken 03:51:49 also whales 03:51:50 really? 03:52:28 the "official" national dish is sheep in cabbage, when people don't ironically say pizza 03:52:32 I just eat idk whatever is put in front of me thats organic 03:53:01 then which country has that really stinky dish 03:54:12 oerjan: That's ironic? 03:54:23 I heard Norwegian pizza was the best in the world. 03:54:49 thousand flees on your camels, google, why are you stealing my arrow keys 03:55:46 *fleas 03:57:25 Which arrow keys? 03:57:49 the ones that normally allow me to scroll my browser 03:58:02 Are they going up and down in search results? 03:58:05 yep 03:58:25 You used to be able to toggle that by pressing tab. 03:58:30 aha 03:58:32 But I guess that doesn't work anymore. 03:58:42 Can you still use the pageup/pagedown key to scroll the browser window? 03:58:49 i wouldn't know, i only noticed it now 03:59:00 zzo38: i could use my touchpad scroll 04:00:07 shachaf: it doesn't _normally_ happened, it was probably a side effect of me selecting special preferences to rule out new results 04:00:11 *happen 04:00:52 How are you supposed to select search results without that feature? 04:01:19 Walpurgisnacht: i'm sure every country has a really stinky dish 04:02:03 stru something 04:02:14 shachaf: with the mouse i guess? 04:02:16 its like a can of fermented fish 04:02:28 oerjan: no thanks 04:02:46 Walpurgisnacht: that's probably swedish surströmming 04:02:50 Selecting by numbers seem would better? 04:02:54 ya 04:02:56 Sometimes I click links by pressing C-f and typing a substring of the link and then pressing Esc and then pressing Enter. 04:03:11 Remember when Enter was called Return? 04:03:17 zzo38: well if they actually showed the numbers... 04:04:04 Walpurgisnacht: however, icelandic hákarl has also been mentioned on previous occasions 04:04:17 (poisonous fermented shark) 04:04:23 jfc 04:04:38 Is it good???? what are the reviews 04:05:18 i haven't tasted either and have no plans not to run away fast if offered 04:05:25 i like lutefisk, though 04:06:14 ...i've probably not tasted lutefisk since i first joined this channel... 04:06:27 stupid time passing 04:09:11 -!- shikhin has joined. 04:09:33 -!- tromp has quit (Remote host closed the connection). 04:13:53 oerjan: "now we have two quotes" 04:17:42 ...... 04:18:18 `revert 04:18:19 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 04:18:31 `help 04:18:32 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 04:18:39 `` allquotes | tail -1 04:18:44 1247) Some people, when confronted with a problem, think "I know, I'll use the Banach-Tarski theorem." 04:19:02 [wiki] [[€]] N http://esolangs.org/w/index.php?oldid=43456 * Phase * (+1570) Create € 04:22:26 [wiki] [[€]] http://esolangs.org/w/index.php?diff=43457&oldid=43456 * Phase * (+3008) Add interpreter 04:24:32 http://www.hevanet.com/cristofd/sequence.txt don't you think this is confusing? 04:26:21 You just need to write those numbers in Taneb's notation. 04:26:44 why 0??? D: 04:27:28 > iterate (2^) 0 04:27:29 [0,1,2,4,16,65536,2003529930406846464979072351560255750447825475569751419265... 04:27:46 where does 0 come from 04:27:56 izabera: ^ 04:28:20 oerjan: i asked it after seeing the output from lambdabot 04:28:39 well you have to start somewhere 04:29:16 i think 0 may be the only complex number which isn't on any 2^z branch 04:29:30 -!- variable has joined. 04:29:33 actually 04:29:39 2^z is entire, no branches 04:29:58 Did you mean lg z 04:30:23 i guess that has the corresponding branches 04:31:05 hm now i wonder if there are any loops 04:32:07 obviously no real ones 04:33:50 anyway, 0 is the only number which isn't of the form 2^z 04:34:42 hm 04:35:10 > exp (0.3181315 :+ negate 1.337235) 04:35:11 0.31813244152704157 :+ (-1.3372354713231642) 04:35:17 > log (0.3181315 :+ negate 1.337235) 04:35:19 0.318131007887779 :+ (-1.3372355870099664) 04:35:24 `thanks Jafet 04:35:29 Thanks, Jafet. Thafet. 04:35:42 Thatematica. 04:36:50 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 04:39:05 -!- Wright_ has joined. 04:39:05 -!- Wright has quit (Read error: Connection reset by peer). 04:49:55 -!- YokeOfIdea has quit (Ping timeout: 276 seconds). 04:51:06 o 05:00:05 -!- ZombieAlive has quit (Remote host closed the connection). 05:07:51 -!- variable has quit (Quit: 1 found in /dev/zero). 05:43:37 -!- Froo has quit (Read error: Connection reset by peer). 05:45:38 -!- |f`-`|f has quit (Ping timeout: 265 seconds). 05:58:03 -!- tromp has joined. 06:02:12 -!- |f`-`|f has joined. 06:02:33 -!- tromp has quit (Ping timeout: 265 seconds). 06:05:04 -!- shikhin_ has joined. 06:08:04 -!- shikhin has quit (Ping timeout: 255 seconds). 06:08:13 -!- shikhin_ has changed nick to shikhin. 06:15:28 * Taneb hello 06:15:59 Jafet, I have a notation? 06:17:04 Actually, I do have a notation 06:17:31 `? tanebventions 06:17:31 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, weetoflakes, persistence, the reals, and this sentence. He never invents anything involving sex. 06:17:41 `? this sentence 06:17:44 This sentence was not invented by Taneb. Taneb invented it. 06:18:01 `` sed -i 's/was not/was/' wisdom/'this sentence' 06:18:04 No output. 06:18:44 shachaf, that was the joke 06:18:51 What was? 06:18:56 The contradiction 06:18:59 huh IE actually displays mongolian vertical script 06:19:02 Making that wisdom a paradox 06:19:09 `` hg log wisdom/'this sentence' | grep summary: 06:19:12 summary: ` sed -i \'s/was not/was/\' wisdom/\'this sentence\' \ summary: ` sed -i \'s/was/was not/\' wisdom/this\\ sentence \ summary: echo >wisdom/this\\ sentence \'This sentence was invented by Taneb. Taneb invented it.\' 06:19:57 (I preferred it with the not, and seeing as I invented it, I should have final say) 06:20:19 `revert 06:20:26 I'm pretty sure you're not the top authority on Tanebventions around here. 06:20:36 of course not, that's me hth 06:20:40 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 06:20:47 At any rate, the sentence you invented is whichever one is in the wisdom. 06:20:48 `? this sentence 06:21:03 The reason I changed it back was that the "not" seemed kind of hostile. 06:21:05 This sentence was not invented by Taneb. Taneb invented it. 06:21:11 Taneb seems like more of a mellow kind of person. 06:22:45 Taneb: do you have a cat to keep in your lap while looking mellow twh 06:22:58 oerjan, I do not 06:23:12 If necessary I can probably borrow one 06:23:14 oerjan: "ll" isn't pronounced that way in english hth 06:23:21 you're thinking of spanish 06:23:29 I have a dog, though 06:23:34 What! 06:23:39 A Taneb dog? 06:23:39 Taneb: what about a shark tank to calmly meditate upon? 06:23:43 ooh 06:23:55 i guess sharks and dogs don't go well together 06:24:06 oerjan, I also have one of those toy sharks IKEA sells 06:24:38 whoa 06:24:45 ikea.us redirects straight to the US site 06:24:58 p. fancy 06:26:12 as opposed to actually _being_ the US site? 06:26:32 well, ikea.com takes you to the site selection page 06:28:34 Taneb: Why are flights SF<->NY so expensive this time of year? 06:28:42 shachaf, holiday season 06:28:47 Taneb: it looks like they've discontinued BLÅHAJ 06:28:47 I think you're our expert on flight prices. 06:28:54 oerjan, WAT 06:29:27 [wiki] [[TrivialBrainfuckSubstitution]] http://esolangs.org/w/index.php?diff=43458&oldid=43437 * Rdebath * (-208) Reverting, see talk 06:29:35 well it didn't give an ikea link 06:29:40 [wiki] [[Talk:TrivialBrainfuckSubstitution]] http://esolangs.org/w/index.php?diff=43459&oldid=41132 * Rdebath * (+2682) /* I deleted the count. */ new section 06:29:47 -!- adu has quit (Quit: adu). 06:31:05 oerjan: for future reference, i don't know a lick of haskell. i can sort of read it based on prolog experience, but i can't category theory worth a damn and i can barely read the types 06:31:18 http://www.ikea.com/ms/de_DE/img/local_store_info/koblenz/pdf_files/Wunschzettel_web.pdf 06:31:43 quintopia: OKAY 06:31:55 i guess you're no longer a suspect, then 06:32:12 https://www.reddit.com/r/IKEA/comments/1xuthy/any_hope_on_getting_blåhaj_back_in_production/ 06:32:17 Jafet, yes, in my notation, those numbers have quite nice representation 06:32:31 What's your notation? 06:33:27 http://www.ikea.com/ae/en/catalog/categories/departments/childrens_ikea/18740/ 06:33:30 where's the shark tdnh 06:33:57 shachaf: you probably forgot the quotes when googling, then it doesn't bother actually having it on the page hth 06:34:20 I included the quotes. 06:34:25 fancy 06:34:42 It's in http://www.ikea.com/ae/en/catalog/productsaz/1/ 06:35:31 shachaf, consider a natural number 06:35:45 You can express one as a bitstring of 1s and 0s in the usual way 06:36:05 You can then express that string as a list of the distances between the 1s 06:36:26 (eg 1011 becomes 0,1,0) 06:36:40 I start at the low bits for reasons 06:38:36 "Women have started participating in the archery and girls in the horse-racing games, but not in Mongolian wrestling." 06:39:48 -!- Thisbe has joined. 06:40:44 shachaf, these distances can then be expressed as natural numbers with the same (now recursive) notation 06:40:56 I feel like I've heard this before. 06:40:58 Was it from you? 06:44:52 pretty sure he's explained it here 06:46:26 Taneb: wait, what's the notation for 0 06:46:34 oerjan, empty list 06:46:46 and 1 06:46:52 hm... 06:47:12 1 is [0] 06:47:18 So [[]] 06:47:33 2 is [1], so [[[]]] 06:47:42 3 is [0,0], so [[],[]] 06:47:52 4 is [2], so [[[[]]]] 06:48:04 ok then your 1011 -> [0,1,0] cannot be right 06:48:30 oerjan, I think it should be 1101 on the left 06:48:32 Sorry 06:48:33 Oh, this is your natural numbers as tree skeletons thing. 06:48:35 Now I remember. 06:54:23 Anyway, those numbers in this notation become [], [[]], [[[]]], [[[[]]]], [[[[[]]]]] etc 07:06:37 -!- j-bot has joined. 07:49:50 -!- nooga has joined. 07:57:48 [wiki] [[Forth]] M http://esolangs.org/w/index.php?diff=43460&oldid=26856 * Phase * (+67) learnxinyminutes link 08:01:57 -!- nooga has quit (Ping timeout: 240 seconds). 08:03:15 skeletonics 08:12:15 ... 08:12:28 I was here the entire time? 08:16:26 -!- nooga has joined. 08:20:19 -!- relrod_ has joined. 08:20:19 -!- relrod_ has quit (Changing host). 08:20:19 -!- relrod_ has joined. 08:20:36 * Walpurgisnacht chuckles 08:22:24 -!- relrod_ has changed nick to relrod. 08:32:00 -!- Patashu has quit (Remote host closed the connection). 08:32:16 -!- Patashu has joined. 08:36:04 any interesting esolangs lately? 08:38:09 * Taneb is sleepy 08:38:53 Taneb: why are us tax laws so complicated tdnh 08:38:55 did you invent them 08:38:59 I did not 08:39:03 If I did they would be simpler 08:39:06 are you sure 08:39:17 Have you made sure you filled in the box for illegal income 08:39:24 `? irc 08:39:24 IRC is short for "Internet Relay Chat". It is named so because all the servers are constructed from relays. 08:39:57 `` hg log wisdom/irc | grep summary: 08:39:58 summary: learn IRC is short for "Internet Relay Chat". It is named so because all the servers are constructed from relays. \ summary: revert \ summary: for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done \ summary: learn irc is useless. 08:40:32 Taneb: i don't have any illegal income as far as i know 08:40:49 Then you should declare that as such 08:41:14 if i declare illegal income is it still illegal? 08:42:35 sure, but at least they won't get you for tax evasion 08:43:49 Is there any server not constructed from relays? 08:45:20 Jafet, it's not called Internet Vacuum Tube Chat 08:52:58 -!- tromp__ has joined. 08:54:55 Haha amusing 08:55:20 -!- tromp_ has quit (Remote host closed the connection). 08:58:39 Bye 09:09:08 -!- Walpurgisnacht has quit (Remote host closed the connection). 09:15:18 -!- oerjan has quit (Quit: leaving). 09:16:52 -!- Thisbe has quit (Ping timeout: 248 seconds). 09:17:17 -!- Thisbe has joined. 10:00:28 -!- tromp has joined. 10:04:46 -!- tromp has quit (Ping timeout: 244 seconds). 10:41:07 -!- Thisbe has quit (Ping timeout: 248 seconds). 11:01:22 -!- tromp has joined. 11:05:39 -!- tromp has quit (Ping timeout: 248 seconds). 11:16:45 -!- oerjan has joined. 11:17:19 * oerjan yawns 11:17:39 looks like this might be one of those skip-ahead-sleeping-cycle days 11:24:03 -!- h0rsep0wer has joined. 11:25:47 -!- Frooxius has joined. 11:41:45 -!- boily has joined. 11:43:27 quintopia: QUINTHELLOPIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA! 11:51:24 -!- idris-bot has quit (Ping timeout: 255 seconds). 11:51:30 -!- Melvar has quit (Ping timeout: 250 seconds). 11:53:56 -!- Melvar has joined. 12:00:45 -!- lleu has quit (Quit: That's what she said). 12:01:03 -!- lleu has joined. 12:01:03 -!- lleu has quit (Changing host). 12:01:03 -!- lleu has joined. 12:12:43 -!- idris-bot has joined. 12:14:38 -!- rdococ has quit (Read error: Connection reset by peer). 12:17:17 -!- tromp has joined. 12:22:00 -!- tromp has quit (Ping timeout: 255 seconds). 12:27:03 -!- nys has joined. 12:30:37 -!- TieSoul has joined. 12:31:05 -!- h0rsep0wer has quit (Ping timeout: 246 seconds). 12:33:49 @tell quintopia Will be momentarily disappearing towards faraway lands. Be back in a few hours. Meanwhile, Steam will be installing the stuff that has to be installed. 12:33:49 Consider it noted. 12:33:57 -!- boily has quit (Quit: TRIMMED CHICKEN). 12:43:26 -!- h0rsep0wer has joined. 13:05:08 -!- oerjan has quit (Quit: leaving). 13:17:47 -!- AnotherTest has joined. 13:26:44 -!- variable has joined. 13:27:36 -!- variable has changed nick to trout. 14:00:37 -!- Patashu has quit (Ping timeout: 250 seconds). 14:06:11 -!- tromp has joined. 14:10:50 -!- tromp has quit (Ping timeout: 246 seconds). 14:21:03 -!- int-e has left ("CANNIBALISTIC CHICKEN"). 14:21:03 -!- int-e has joined. 14:30:40 -!- lleu has quit (Read error: Connection reset by peer). 14:31:05 -!- lleu has joined. 14:40:47 -!- tromp has joined. 15:01:59 good moring 15:02:15 mroin 15:05:10 I've been programming in 6502 machine code 15:06:23 It's fun to try to set up a subroutine such that jumping into the middle of an instruction gives you a different path. 15:06:50 That's a lot of machine code 15:06:58 Does anyone still program in machine code 15:07:06 Maybe the people who write assemblers I guess 15:08:39 I think they probably write in assembly, then hand-translate it.. 15:09:24 Probably 15:09:25 Well 15:09:32 Some nerds still do machine code I suppose 15:09:38 To write old timey games 15:09:50 But they do it for the thrill of writing machine code 15:10:17 Really before I actually learned assembly 15:10:25 I imagined that assembly was p. much machine code 15:10:31 So it turned out, it was pretty easy 15:10:42 It has functions and variables 15:11:54 Yeah, but 6502 machine code is much easier than other computers machine codes. 15:14:13 because every instruction is of one of 3 forms: ins, ins byte, ins word. 15:14:41 where ins is one byte, byte is a data byte, and word is a little-endian data word 15:15:11 Does it do weird pipelining shit 15:15:33 In x86, jumping into the middle of an instruction can not only be fun, but extremely profitable 15:16:00 Slereah__: no. 6502 is strictly in-order 15:16:21 That is good 15:16:45 Processors can pipeline strictly in-order 15:16:50 Yeah 15:16:56 Hence why I said weird pipelining shit 15:16:56 MIPS, for example 15:17:01 Instead of Proper Pipelining 15:17:12 `wisdom mips 15:17:13 Out-of-order execution, then 15:17:17 mips/MIPS Is Popular in Schools. 15:17:31 `wisdom 6502 15:17:31 heheh 15:17:31 find: `wisdom/*6502*': No such file or directory \ /cat: : No such file or directory 15:17:41 `wisdom penis 15:17:42 find: `wisdom/*penis*': No such file or directory \ /cat: : No such file or directory 15:17:44 MIPS single delay slot after branches is tame though. 15:17:45 I am said 15:17:49 sad 15:17:51 `wisdom 15:17:52 zomgmodules/ZOMGMODULES is both a small blonde veterinarian and just modules over the ring of ZOMGs. 15:19:34 fun. https://en.wikipedia.org/wiki/Memory_ordering#Runtime_memory_ordering 15:20:37 https://asciinema.org/a/23275 <- does this happen only to me? 15:20:42 Another technique I've been using to mod games is putting a subroutine into the graphics data, if I can find a part that is never acutally used 15:20:51 i asked a friend and he can't reproduce 15:21:22 Sounds like an embarrassing medical problem. 15:21:53 -!- Wallacoloo has joined. 15:24:49 can you mount a disk over a non-empty directory, and what happens if you do (I think I just accidentally did so) 15:25:38 The directory will point to the disk until it's unmounted. 15:26:44 (A trickier question: do open file handles still work, and what does procfs say their filenames are?) 15:27:04 ok good, I'll just unmount and mount to the correct place 15:27:30 hmm actually I'll first check 15:27:40 yeah I can see the files, 15:27:50 and the contents are fine 15:28:31 -!- Thisbe has joined. 15:28:55 oh, do you mean files from before the disk was mounted? 15:29:05 izabera: can't reproduce it either; a final empty line seems to get erased, but that's independent of HISTCONTROL 15:29:29 int-e: "Dependent loads can be reordered (this is unique for Alpha)" I'm suddenly glad that nobody uses alpha64. 15:29:50 int-e: thanks for the test 15:31:30 Jafet: I believe the Linux kernel developers have lots of fun because of this :) 15:31:42 * int-e is a bit disappointed that Sparc is so tame these days... 15:33:00 If an SMP architecture had no mfence instructions, would it qualify as an esolang 15:33:04 imo yes 15:35:56 SMPAWNRMOC -- SMP architecture with no reliable means of communication? 15:36:23 Also, is it possible to maintain an operating system if you have IPIs and privileged mode but no fences 15:36:31 Idea: a NES emulator that first cross-compiles to x64-opengl 15:36:45 and then simply runs the program. 15:36:52 go for it 15:37:19 It would not work with my machine coded code, but perhaps many games would work 15:37:33 Wouldn't NES games require cycle-accurate emulators? 15:37:50 depends which games 15:38:26 Some games would require the program to have a loop simulating scanlines and vbreaks, others just vbreaks. 15:39:30 The PPU (picture processing unit) is fairly advanced in the NES. 15:39:41 Atari, however... 15:40:54 Maybe start by decompiling 6502 to qemu TCG 15:54:44 Actually, it's possible to communicate by busy-waiting on a cache line, so there is a reliable, if stupid, means of communication 15:56:43 Jafet: that's assuming some amount of cache coherence. 15:59:26 Well, it only assumes that the write from one core, if nothing else writes to the same memory, is eventually read by another core 16:01:01 the way I was picturing it, the only way to force a memory read would be to read from a memory location that's not in the cache, and writing only happens on flushing cache lines; at the same time, the CPU is allowed to do arbitrary prefetching or write-back; I guess I would not allow it to write data that is inconsistent with its own cache state. 16:02:00 so in the typical spin lock case, the CPU could just decide to never write back that cache line... 16:02:04 You can force that by reading a number of cache lines larger than the cache size 16:02:18 And you can probe the cache size by reading 1 extra, then 2 extra, then 3 extra lines... 16:02:37 not really, the evil CPU can decide to keep that cache line around just to spite you ;) 16:03:04 so you actually need to use a memory area larger than the cache to force some write to go through 16:03:23 Of course I'm just aiming for nastiness here. 16:04:03 Ok, then use a really large memory area for communicating a single bit 16:04:26 (well, you can communicate anything that fits in one line, copying it over and over.) 16:04:48 This is starting to sound appropriately esoteric 16:06:21 but somehow boring :/ 16:08:51 I guess the problem is, the cache size bounds the evilness of the memory bus 16:10:16 -!- atslash has joined. 16:11:00 hmm, here's an evil idea for single-threaded programs: At program start, set up the data area so that each memory cell has a randomly assigned buddy; updates to the memory cell will also update its buddy and vice versa... now write reliable programs on top of that. shouldn't be hard, but what kind of patterns would you use? 16:12:10 (this is inspired by an actual broken MFM drive I once had, with one address line broken... which confused the hell of a "disk repair" tool. good old times...) 16:13:23 -!- ZombieAlive has joined. 16:19:47 To begin with, there are (n n/2)/2 possible sets of non-interfering cells, which could be represented in about 2n bits 16:21:35 So this might be more fun if each word has not much more than 4 bits 16:22:48 Alternatively, make all registers also memory mapped 16:22:55 and have buddies 16:23:22 One way in a 6502 code where jumping into the middle of an instruction might be useful is the case of a "clock slide" 16:25:24 I know how to do 6502 programming. 16:29:30 A NES/Famicom emulator that doesn't emulate each cycle accurately is simply incorrect. However, there are many ways to make it incomplete without being incorrect, such as: * Don't play any audio (but you still need to implement the length counters and the DPCM timing and DPCM interference) * Omit implementations of some mappers * Omit implementation of some input devices * Run slower than realtime * Require only batch I/O 16:29:45 -!- atslash has quit (Quit: Leaving). 16:31:26 -!- atslash has joined. 16:33:44 To be correct you must also implement all stable unofficial opcodes, and of any mappers you are implementing, even the features that were never used (although you can omit playback of expansion audio and therefore omit implementation of registers that affect only audio and don't affect interrupts or the reading of any other registers or whatever else) 16:35:42 ok 16:35:48 If T-Shirts don't do shit against the sun 16:36:04 then how come I have never gotten a sun burn on the part of the skin covered by a T-Shirt 16:36:17 which means that I wouldn't even need suncream 16:36:18 mroman_: [citation needed] 16:36:30 WP on the other hand states that a white t-shirt has a pf of 10 16:36:40 -!- idris-bot has quit (Ping timeout: 264 seconds). 16:36:43 so since if've never got burnt while wearing a t-shirt 16:36:53 this would indicate that you don't need pf >30 or even 50 16:36:57 -!- Melvar has quit (Ping timeout: 240 seconds). 16:37:02 so either way 16:37:05 somebody is lying like shit 16:37:17 -!- Melvar has joined. 16:39:02 -!- Wright has joined. 16:39:02 -!- Wright_ has quit (Read error: Connection reset by peer). 16:39:33 -!- GeekDude has joined. 16:39:48 https://outdoors.stackexchange.com/questions/1226/whats-the-upf-of-a-t-shirt-or-jeans seems relevant 16:45:33 -!- zadock has joined. 16:52:17 -!- mauris has joined. 16:56:44 [wiki] [[Talk:TrivialBrainfuckSubstitution]] http://esolangs.org/w/index.php?diff=43461&oldid=43459 * Zzo38 * (+1170) Unicode is not a valid assumption. 17:07:18 -!- shikhin has quit (Ping timeout: 255 seconds). 17:10:07 -!- TieSoul_ has joined. 17:12:58 zzo38: well yes, but *how* incorrect is it? To what degree do production NES games rely on length of instruction execution? For example, many games I've analyzed spend most of their time busywaiting for the VBreak. 17:15:23 oren: It doesn't matter; it is still incorrect, since then a program you write really strangely which is still valid but that nobody knows before, won't be executed correctly. 17:17:02 > (30*30)/60 17:17:04 15.0 17:17:11 that's 15hours 17:17:31 Suncream is all full of bullshit 17:17:55 -!- boily has joined. 17:17:57 -!- AnotherTest has quit (Ping timeout: 264 seconds). 17:18:18 I usually opt to use an umbrella on super sunny days 17:18:37 @massages-loud 17:18:37 You don't have any messages 17:18:48 Can't do sports with an umbrella though. 17:18:50 -!- copumpkin has joined. 17:19:01 sounds like a challenge. 17:20:03 also 10 UPF is 30 SPF 17:20:04 so 17:20:14 a T-Shirt is as good as applying suncream with 30 SPF 17:20:58 mroman_, t-shirt doesn't cover your nose 17:21:21 Unless you're wearing it wrong 17:21:35 In which case it doesn't cover your chest 17:21:35 I know 17:21:48 (and I normally use 50+ suncream) 17:21:58 I used to do sports outside with shirt off 17:22:08 but my hyperchondriasis has gone worse 17:22:23 :( 17:22:26 what's hyperchondriasis? 17:22:37 * Taneb away 17:22:54 *hypo 17:23:23 hypochondriac: someone who constantly worries about geeting ill 17:23:31 s/eet/ett/ 17:24:18 call it heliophobia then . 17:24:33 I use an umbrella because I burn easily. damned russian and irish genes. 17:24:44 oren: yes, but for mroman_ it's hyper. 17:25:01 ah! there was a hypocorrection I haven't seen. 17:25:05 Also 10 UPF is 30 SPF <-- only because SPF factors tend to be inflated (assuming optimal application of probably insane amounts of sun cream) 17:25:34 hmm. s/SPF factors/SPFs/. 17:27:02 what's the UPF of a completely opaque object? 17:27:42 some random positive integer. probably 5. 17:27:45 good question, how much UVA is in vacuum radiation? ;-) 17:42:37 helloily. I'm gonna go for an hour or two now. Is the installation complete? 17:47:17 redeeming my keys and downloading the stuff. 17:47:28 how far along is the install 17:47:36 download i mean 17:47:44 55% on borderlands 2, downloading at 1.2 MB/s. 17:47:57 is there an ETA or ETC in steam? 17:48:14 there is a progress bar in the downloads list 17:48:22 utopia, bitopia (biotopia), tritopia, quadtopia, quintopia, sixtopia, heptopia, octatopia? 17:48:27 that much is there. 17:48:34 i dont see an eta 17:48:36 so 17:48:40 make your own estimate 17:48:50 * int-e somehow never saw the "quint" in there before. 17:48:52 I'd say... eh... probably somewhere in an hour, maybe 90 minutes. 17:49:24 char-e, short-e, int-e, long-e too? 17:49:36 double-e! 17:49:42 (cummings) 17:50:01 that would presuppose a float-e, and maybe an arbitrary-precision-e. 17:50:51 bool-e 17:51:16 xor-e 17:51:23 anyway I guess I deserved that 17:51:24 xor-e? 17:51:37 just correcting a type error. 17:52:29 -!- nooga has quit (Quit: leaving). 17:52:37 I assumed int-e was an interrupt, not an integer. 18:01:10 boily: you should read the ONUW I just played in. It was the most shocking game I've ever played. 18:01:33 -!- Herbalist has joined. 18:07:30 question of the day: is int-e maskable? 18:07:46 quintopia: is it also on xkcd's forums? 18:08:11 -!- AnotherTest has joined. 18:13:17 boily: I don't think int-e is an interrupt. it's more like an integer or integral or internal or intrinsic or intricacy or integrity or something. 18:13:20 I assumed int-e meant interrupt E out of 10 18:13:52 like maybe some processor has 16 interrupt lines? 18:15:12 -!- tromp has quit (Remote host closed the connection). 18:30:01 _Complex int-e z; 18:30:15 -!- lleu has quit (Read error: Connection reset by peer). 18:30:29 Every time I see anything related to complex numbers, the word "zomplex" pops up somewhere in my head. 18:30:37 -!- lleu has joined. 18:30:53 -!- lleu has quit (Changing host). 18:30:54 -!- lleu has joined. 18:30:57 (It's a double-precision complex value.) 18:31:36 hizzie 18:31:49 shazzie. Err, no, I got that wrong. 18:32:05 Maybe heychaf. 18:32:10 I think you mean fizzichaf 18:32:24 How's `revert? 18:32:28 Do you want a patch to fix it? 18:32:40 Is it a one-line patch? 18:33:07 I assume it is. 18:33:58 It's kind of awkward: the "correct" way would be to go via https://bitbucket.org/GregorR/hackbot/pull-requests because if I out-of-band patch the HackEgo instance, it might complicate Gregor's life unnecessarily. 18:34:03 But that might involve even more waiting. 18:34:03 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 18:34:49 I don't do pull requests. 18:34:58 Anyway the one line fix involves learning find syntax. 18:40:04 Yeah, it's nasty. I think the find might look something like find "$HACKENV" -path "$HACKENV/.hg" -prune -o -name '*.orig' -exec rm -f '{}' \; -- you *can* do it by an extra test for every file, but the documentation says you're not supposed to. I did something like this once. 18:41:33 There's also -not -path "$HACKENV/.hg/*" 18:41:40 Yes, but it's LESS EFFICIENT. 18:41:55 Yes, it'll traverse the whole directory. What a disaster. 18:42:00 "To ignore a whole directory tree, use -prune rather than checking every file in the tree." 18:42:05 See, that's what they say. 18:42:29 `culprits wisdom/fizzie 18:42:31 oerjan mroman_ oerjan elliott oerjan oerjan fizzie Bike FreeFull elliott oerjan FreeFull shachaf shachaf nitia 18:43:17 huh. I never culprited fizzie. 18:44:07 My shameful secret of setting my own wisdom entry is revealed. :/ 18:46:24 `` hg log wisdom/fizzie | grep '' 18:46:25 summary: learn fizzie is not fnord with a monad. 18:46:52 fizzie: can you make ^style irc be the internal revenue code for a while twh 18:48:07 -!- evalj has joined. 18:50:31 -!- h0rsep0wer has quit (Ping timeout: 250 seconds). 18:51:10 quintopia: fungot fscking dammit. stuck with updates. 55 minutes remaining. 18:51:10 boily: an order requiring the clerk of the change; but if the weather for a cardinal's claim until the judge of a 18:55:19 -!- TieSoul has quit (Remote host closed the connection). 18:55:20 -!- TieSoul_ has changed nick to TieSoul. 18:57:02 boily: no prob. itll be at least that long before i finish my errands 18:59:24 good! 19:12:10 -!- h0rsep0wer has joined. 19:16:10 -!- tromp has joined. 19:19:50 I think what I put there was a fungot quote. 19:19:50 fizzie: ( d) the matter being considered, for every five blots e wishes in a month, the 19:20:35 -!- tromp has quit (Ping timeout: 248 seconds). 19:23:56 -!- copumpkin has quit. 19:24:19 -!- copumpkin has joined. 19:42:41 `wisdom 19:42:42 test/test failed. HackEgo-JUnit is not available. 19:42:50 `culprits wisdom/test 19:42:52 oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan mroman_ mroman_ mroman_ mroman_ mroman_ mroman_ mroman_ 19:45:11 -!- APic has quit (Ping timeout: 256 seconds). 19:47:08 `` culprits wisdom/test | sort | uniq -c 19:47:09 ​ 1 oerjan oerjan oerjan oerjan oerjan oerjan oerjan oerjan mroman_ mroman_ mroman_ mroman_ mroman_ mroman_ mroman_ 19:47:16 `` culprits wisdom/test | tr \ \\n | sort | uniq -c 19:47:17 ​ 7 mroman_ \ 8 oerjan 19:54:08 -!- idris-bot has joined. 19:54:54 -!- Wallacoloo has left. 20:19:11 -!- Herbalist has left ("WeeChat 1.2"). 20:22:31 `wisdom 20:22:33 homestuck/Homestuck is a cult religion for disaffected teens. Gamzee drives the bus. Best summarized by http://www.mspaintadventures.com/storyfiles/hs2/05743.gif 20:22:37 `wisdom 20:22:41 marmite/Marmite is a group mind of fungal microorganisms spreading throughout the supermarkets of the Commonwealth. 20:29:24 -!- h0rsep0wer has quit (Ping timeout: 244 seconds). 20:40:24 [wiki] [[Talk:TrivialBrainfuckSubstitution]] http://esolangs.org/w/index.php?diff=43462&oldid=43461 * Rdebath * (+292) /* I deleted the count. */ 20:42:55 `wisdom 20:42:57 ​ø/ø is not going anywhere. 20:43:13 -!- h0rsep0wer has joined. 20:52:14 `wisdom 20:52:15 wikipedia/Wikipedia is a bit like TVTropes but in more languages. 20:52:29 `wisdom 20:52:30 quit//quit 20:52:33 `wisdom 20:52:34 itym/itym "i think you mean" hth 20:52:36 `wisdom 20:52:37 oerjan_/oerjan_ is oerjan and ørjan's chimæric clone. he shows up on irc when the network is having trouble. 20:53:10 time for some update... but tomorrow. today I'm steaming my laptop. 21:14:43 -!- AnotherTest has quit (Ping timeout: 256 seconds). 21:16:09 -!- tromp has joined. 21:20:48 -!- tromp has quit (Ping timeout: 256 seconds). 21:26:08 have you gotten your laptop sufficiently angry yet? 21:27:03 -!- h0rsep0wer has quit (Quit: Leaving). 21:36:55 they should make a wikipedia where all facts are represented in RDF instead of a human lanuage 21:37:24 quintopia: the only thing missing are my headphones, and we're good to go. 21:37:29 oren: RDF? 21:38:19 RDF is this url-based system for representing predicates 21:38:36 zzo38 knows a lot about it 21:38:45 `? RDF 21:38:45 RDF? ¯\(°​_o)/¯ 21:43:39 `le/rn RDF/RDF is something zzo38 knows about. 21:43:42 Learned «rdf» 21:44:21 `cat le/rn 21:44:22 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | cut -d / -f 1) \ [ -z "$topic" ] && exit 1 \ value=$(echo "$1" | cut -d / -f 2-) \ echo "$value" > wisdom/"$topic" && echo "Learned «$topic»" 21:44:29 `cat bin/mk 21:44:31 ​[[ "$1" == *//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key" 21:44:34 Hmm, mk doesn't lowercase either. 21:45:04 -!- mauris has quit (Read error: Connection reset by peer). 21:49:08 what happened to boily? 21:49:33 it happened that steam crashed, and doesn't want to be launched again. 21:50:42 going to log off, log back in, see if it still antagonizes me, perhaps reboot. 21:50:44 * boily grmbles 21:50:52 -!- boily has quit (Quit: CURVY CHICKEN). 21:51:12 . o O ( STEAMING CHICKEN ) 21:51:25 -!- Phantom_Hoover has joined. 21:54:42 -!- boily has joined. 21:56:12 -!- mauris has joined. 21:59:28 -!- h0rsep0wer has joined. 22:10:09 -!- APic has joined. 22:13:09 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 22:16:56 -!- tromp has joined. 22:21:33 -!- tromp has quit (Ping timeout: 250 seconds). 22:22:58 -!- APic has quit (Ping timeout: 248 seconds). 22:31:21 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 22:32:03 RDF is a kind of directed-graphs with nodes and kind of edges identified by URIs. 22:32:21 Except that there is also literals, and also unlabeled nodes. 22:42:20 -!- copumpkin has joined. 22:43:42 `? RDF 22:43:42 RDF is something zzo38 knows about. 22:48:14 -!- evalj has quit (Remote host closed the connection). 22:49:53 -!- oerjan has joined. 23:02:32 -!- Inri_Cristo has joined. 23:05:03 -!- h0rsep0wer has quit (Ping timeout: 256 seconds). 23:05:27 Inri_Cristo: thought you were one of the people looking for the wrong kind of esoteric for a moment there 23:07:22 -!- Inri_Cristo has quit (Ping timeout: 246 seconds). 23:09:00 -!- Inri_Cristo has joined. 23:16:01 Inri_Cristo didn't write anything yet though, therefore is also possibility some people are join just to look, too 23:16:17 (At least, not recently) 23:16:38 ah, hi :3 23:20:13 [wiki] [[SuperPar]] http://esolangs.org/w/index.php?diff=43463&oldid=20844 * Zzo38 * (+644) 23:20:35 -!- frecz has joined. 23:21:10 Hi guys! 23:21:20 anybody here? 23:21:30 Yes, I am here and probably a few others 23:21:37 thanks 23:21:58 does anybody have experience with precognitive dreams? 23:22:19 I know someone who does 23:22:40 because I'm really lost 23:23:07 can;t figure out how come one can dream about the future 23:23:08 I myself cannot say though. I have many kind of strange dream recorded in my computer (myself and others), but not precognitive or anything like that I know! 23:23:15 If you want information, look in Wikipedia 23:23:27 trust me I looked everywhere 23:23:50 I even contacted a research group 23:23:55 in Scotland 23:24:22 Some people say it is just coincidence. Probably at least in some cases it is. 23:24:33 but not my case 23:24:42 I wish they were just soincidence 23:24:51 -s+c 23:25:36 and there is an indication after waking from these dreams that they are precognitive 23:25:41 Another possibility I thought of (now known to be wrong, I think?) is that it isn't really precognitive but your memory is mixed up because the dream is confusing that you know afterward seem it is 23:26:02 ok here is an example: 23:26:24 one night I dream about a guy who has got green dices on his forehead 23:26:34 I even told to my friend what a strange dream 23:27:05 `relcome frecz 23:27:06 ​frecz: 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.) 23:27:20 If you tell someone ahead of time, don't you think they can cause it? 23:27:21 ACK NAK ETX VT 23:27:28 3 days later I met a guy at a train station who had got a piercing in his eyebrows and 2 green dices attached both of its ends 23:28:09 can you tell me that it is a coincidence? 23:28:28 It is a coincidence. 23:28:29 hth 23:28:32 mauris: thank you 23:28:36 oren: Is that supposed to be names of ASCII codes? Of what kind of program is it the ASCII codes of? 23:28:42 frecz: I can say I don't know! 23:29:12 I'm working on an aternative to ANSI escapes.. 23:29:16 I'm 100% percent sure that they are precognitive 23:29:24 Possibly due to "morphic resonance fields" which nobody really knows anything about or even if it is exist. 23:29:28 Then why did you ask? 23:29:33 and trust me I'm skeptic in general 23:29:59 I am also skeptical but equally I know I don't know everything and should consider all of the possibilities regardless. 23:30:08 oren: O, OK. Do you have a document of it? 23:30:34 zzo38: What do you if there are too many possibilities to consider? 23:30:41 anybody here has got these dreams? 23:30:55 shachaf: I didn't say I *can* consider all of the possibilities, only that I *should*. 23:31:00 That's different! 23:31:05 Should you do the impossible? 23:31:11 Working on that right now... So essentially I'm working on a program to translate my simpler escapes into termios/a 23:31:22 ANSI escapes and so on 23:31:27 guys to be honest, something is wrong with this world 23:31:39 or I should say woth this universe 23:31:55 frecz: Not as far as I remember, I have had such dream, but I have had some kind of strange dream too 23:32:01 something just doesnt add up 23:32:18 they are not just strange dreams 23:32:23 Maybe you need to learn more about the world. 23:32:28 I have those every now on then 23:32:36 these dreams are different 23:33:10 oren: It is true, even physicists don't know all of laws of physics, such as how to combine general relativity with quantum mechanics, I think. 23:33:23 This clearly explains something, but who knows what, yet? 23:33:27 zzo38: i meant based on Inri_Cristo's nickname 23:33:43 -!- Inri_Cristo has changed nick to h0rsep0wer. 23:33:43 For example, people essentially overwrite their memories every time they remember them. Thus, what you remeber your dream being now, isn't necessarily what it really was 23:34:07 Well, "INRI" is Latin for "Jesus of Nazareth, King of the Jews", isn't it? 23:34:40 oren: I see your point 23:34:43 oren: Yes I have thought of that as one possible way, but in some cases I have heard of, that hypothesis doesn't work (in some cases it does though) 23:34:52 and trust I wish that would be my case 23:35:06 but sadly it is not... 23:35:09 Iesus Nazarenus, Rex Iudaiorum 23:35:30 oren: Yes I know a few Latin words like that 23:36:09 frecz: Try writing your dreams down every morning, then you can test whether you can remember them correctly after a few days 23:36:30 Yes, that is a good test, I believe so too 23:36:33 don't need 23:36:49 I can recall all of my dreams without writing them down 23:37:08 I can even tell you what I dreamed about 2 years ago 23:37:11 But how do you know you aren't remembering them wrong 23:37:15 If you never wrote it down or told anyone or otherwise communicate it, how do you know your memory is not mix up? 23:37:52 because these dreams seems so real that I wake up immedietaly and I'm full of sweat 23:38:16 those dreams are so real that I need at least half an hour to get back to real life... 23:38:16 That isn't a real proof 23:38:19 Next time that happens, try writing it on IRC right away 23:38:42 Write it anywhere. IRC, paper, or tell it to a tape recorder, whatever 23:38:44 nobody would believe me 23:38:56 It will be logged, then when it happens you can prove that you knew 23:39:01 frecz: Doesn't matter. 23:39:17 And, yes, this IRC channel is logged, including timestamps. 23:39:32 how can I proove that something happened to me via irc? 23:40:14 Before you prove it to others, you must prove it to yourself. 23:40:17 you can't do that, but *you* will know if you are lying 23:40:39 I don't need proof for myself 23:40:49 I know that I'm not crazy 23:40:59 I know that I've had those dreams 23:41:11 zzo38: What would you say about a dream where seven thin cows eat seven fat cows? 23:41:36 shachaf: Just that it look strange, but I also seem to remember I think in the Bible something like that is mentioned, or something like that 23:41:50 That's impossible to know for sure. the definition of crazy is based on society at large, hence an individual can't tell for himself whther he is crazy. 23:41:54 Yes. 23:41:58 Genesis 41 23:42:51 Even society at large, I think, does not know; but an individual doesn't know either, you can only guess 23:43:51 Oh right that was in the movie Joseph king of dreams 23:44:25 Is https://www.youtube.com/watch?v=pY29UTk59uw the official profunctor lens anthem? 23:44:56 Why? 23:45:22 I do record many of my own dream I remember (or believe I remember the details I typed) anyways, and also from what others have told me too; but, not precognitive as far as I know. 23:45:39 shachaf, I think you know why 23:46:16 Sgeo_: I can't play audio right now. 23:46:20 Is it just because of the name Forget? 23:46:22 yes 23:46:29 OK. 23:46:38 I called it Forget because it's used for getting. 23:46:46 I never intended that to be a real name. 23:47:05 woww 23:47:07 the best pun since Atkey 23:48:32 Once I watched a television show, some scientists were researching reincarnation, and I thought: Reincarnation? That's nonsense; it is really a new kind of resonance. This was not mentioned on the show; they just called it reincarnation. Later though I learned that the researcher did have a similar idea to what I had; they just didn't mention it on the TV. 23:49:54 But, of course, how am I even to say for sure, if nobody even understand very well yet? 23:52:01 zzo38: do you like poutine? 23:52:14 Actually, no 23:52:29 (Even though I am Canadian, but I don't live in Quebec) 23:53:10 frellocz! do you like poutine? 23:53:13 I wish to try some poutine with real cheese curds 23:53:14 zzo38: If you lived in Quebec, would you like poutine? 23:53:23 shachaf: How would I know? 23:53:28 I don't know. 23:53:45 zzo38: You can give me your best approximation of the answer. 23:54:14 My best approximation is still that I don't know, though. 23:54:20 OK. 23:54:27 Canada is one of the best places on earth I think 23:55:29 and canadians are one of the best people on earth 23:56:55 we're also nice under earth, besides earth, even in space! 23:56:57 eek frecz likes poutine? this cannot be just coincidence. boily?!!! 23:57:24 oerjan: they haven't tried the REAL DEAL yet, with real cheese curds. 23:57:30 I'm Ontarian so I prefer vinegar on fries 23:57:32 ` rot13 frecz # coincidence 23:57:32 serpm 23:57:32 frecz: ever been to Québec? 23:57:37 I guess it is a coincidence. 23:57:40 oren: malt vinegar? 23:57:43 yeah 23:57:45 boily: that is what I'm talking about 23:57:47 oops, missed a question mark 23:57:56 boily: never been to Canada 23:58:05 Some things are described as "coincidence" or "not coincidence" but don't tell how much coincidence it is, since this could matter too maybe 23:58:11 shachaf: you're probably an atheist and wouldn't recognize a synchronicity if it bit you in the ass hth 23:58:22 oren: I agree with you. fish'n'chips with malt vinegar. and a pint of ale. 23:58:23 oerjan: whoa whoa whoa 23:58:27 (this goes for 90% of the channel) 23:58:31 oerjan: what's with all these assumptions 23:58:49 * oerjan vaguely prepares to learn that shachaf is strictly hasidic 23:58:54 I think synchronicitity is subjective anyways though? 23:59:32 frecz: you should come to Montréal, enjoy the scenery, the food, the potholes... 23:59:45 oerjan: I don't even know how to pronounce syncronicity