00:08:12 -!- mauris has quit (Ping timeout: 244 seconds).
00:25:54 -!- chikhin has changed nick to heddwch.
00:44:17 <hppavilion[1]> Someone should generalize Ackerman to the complex numbers
00:45:28 -!- sc00fy has quit (Ping timeout: 246 seconds).
00:57:39 -!- atrapado has quit (Quit: Leaving).
01:01:46 * oerjan wonders if Ackerman grows too fast to be analytic
01:06:39 <izabera> isn't that function defined in N^2 ?
01:07:55 <oerjan> hm uniform convergence on compact sets, i think that implies a function defined on just naturals cannot grow too fast to be analytic
01:08:33 -!- doesthiswork has joined.
01:12:31 <oerjan> ok they can grow arbitrarily fast https://en.wikipedia.org/wiki/Entire_function#Growth
01:12:49 -!- mihow has quit (Quit: mihow).
01:19:46 <doesthiswork> I found a very cool paper in "lisp and symbolic programming". It is about how several partial descriptions of a function can be automatically combined to synthesize it. http://cs.au.dk/~hosc/local/LaSC-3-1-pp21-37.pdf
01:24:55 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:35:13 <izabera> i didn't, i'm reading it on a computer
01:37:09 -!- zzo38 has quit (Quit: zzo38).
01:39:22 <Jafet> http://www.cs.umd.edu/~saurabhs/pubs/popl10-synthesis.pdf
01:44:35 <Jafet> The Google search cache happens to have a PDF renderer
01:46:26 <doesthiswork> http://www.google.com/search?q=relative+specification+and+transformational+reuse+of+functional
01:48:49 <doesthiswork> digging around I see that the authors are haskell people
01:59:10 <tswett> Taneb: you're wondering if there's a way to combine neural networks and Markov chains? Sure—do the same sort of thing that Karpathy's char-rnn program does, but have an additional input which is the Markov chain prediction of the next letter.
01:59:20 <tswett> Actually, I like that idea.
02:02:03 <hppavilion[1]> I want to challenge a CS student to implement Ackermann as a set of For Loops
02:02:21 <hppavilion[1]> Not telling them, of course, that it's <whatever it's called>, which, AFAICT, means that you can't do that
02:03:16 <izabera> of course you can do that if you set a max value for both parameters
02:04:33 <tswett> Non-primitive-recursive.
02:04:46 <tswett> And yeah, the usual definition of the Ackermann function is recursive.
02:21:15 <MDream> Making an interpreter in Javascript and I'm wondering how to convert a variable name to an index.
02:22:14 <MDream> I'm pretty much making the language as I go.
02:22:53 <hppavilion[1]> So I want to make my MC processor a "bit" esoteric. What should I model it after?
02:22:57 <tswett> I mean, the base case is A(0,0) or something.
02:23:06 <tswett> hppavilion[1]: probably subleq.
02:23:15 <tswett> Assuming you can do arithmetic.
02:23:25 <tswett> If you can't do arithmetic, then... lemme think a few moments.
02:23:42 <hppavilion[1]> tswett: I can, as a matter of fact, do arithmetic due to the /scoreboard player operation command
02:24:10 <MDream> Right now the code is on my computer.
02:24:36 <tswett> Subleq would be pretty nice.
02:24:41 <tswett> Or RSSB. Good ol' RSSB.
02:25:15 <tswett> https://en.wikipedia.org/wiki/One_instruction_set_computer#Reverse_subtract_and_skip_if_borrow
02:26:00 <hppavilion[1]> I want to do something entirely unconventional, though
02:26:10 <hppavilion[1]> Perhaps forgoing the concept of regiestries and a stack entirely
02:28:53 <MDream> A funge could operate on a queue instead of stacks.
02:29:53 <MDream> Maybe a priority queue.
02:40:29 <tswett> "Remove from heat and boil to cool."
02:40:32 <tswett> Yeah, good luck with that.
02:40:42 -!- XorSwap has joined.
02:47:04 -!- rodgort has quit (K-Lined).
02:54:00 -!- rodgort has joined.
02:58:39 <doesthiswork> In this paper, we describe the problem and the effect of eta-redexes in terms of monovariant binding-time propagation: eta-redexes preserve the static data flow of a source program by interfacing static higher-order values in dynamic contexts and dynamic higher-order values in static contexts.
03:00:54 <MDream> Where should I put up code for people to comment on it?
03:01:00 -!- MDream has changed nick to MDude.
03:10:34 <doesthiswork> programming languages that feature higher-order facilities--first-class functions and continuations, effects and higher-order types, ob-jects, and actors. Such languages include Lisp, Scheme, ML, Haskell, Java and Dylan.
03:17:17 <HackEgo> [wiki] [[Codesine/implementation]] N http://esolangs.org/w/index.php?oldid=44357 * MDude * (+1864) Created page with "So far I have this running along with html that's just an input box with the ID read and a button to call EVAL(). I'm wondering if I should bother trying to implement named va..."
03:18:47 <MDude> Feel free to leave comment son the talk page, I'll go to bed for now.
03:18:53 -!- MDude has changed nick to MDream.
03:20:24 <Sgeo> Is ais523 around?
03:25:07 -!- zzo38 has joined.
03:33:54 -!- doesthiswork1 has joined.
03:33:54 -!- doesthiswork has quit (Read error: Connection reset by peer).
03:34:41 -!- XorSwap has quit (Quit: Leaving).
03:59:09 <\oren\> @tell b_jonas I just updated the page again. I've added about 30 more chinese charatcers
04:12:50 -!- SirCmpwn has quit (Ping timeout: 240 seconds).
04:17:34 -!- FreeFull has quit (Ping timeout: 246 seconds).
04:18:34 -!- SirCmpwn has joined.
04:18:51 -!- FreeFull has joined.
04:53:51 <zzo38> Have you ever heard of a chess variant called "Emperor Wars"? I believe I may have the only copy of the rules, and I have lost it. I do not know who wrote it either, or how I got it, but I can remember a few things about it.
04:55:13 <zzo38> Plebians are normally neutral pieces but when other pieces are adjacent they are owned by whoever own those other pieces; another piece is "Vestal Virgin" which move like queens does in chess but cannot capture anything nor can any adjacent piece capture anything.
04:58:52 <zzo38> I wrote a back story of a Dungeons&Dragons character I made it inspired by such true event too; it says: he made up a three-dimensional chess variant where some pieces can fly and some pieces can swim and some pieces normal movement, and he only made two copies, one was given away and one was lost, and no information can be found in library. So, this is kind of similar but also many difference
04:59:17 <zzo38> Such as, Emperor Wars is not three-dimensional game and I did not make it up by myself
05:00:17 <zzo38> Next time I find it (if I ever do) then I will put it into the computer.
05:05:17 <HackEgo> [wiki] [[Stream]] http://esolangs.org/w/index.php?diff=44358&oldid=43681 * Oerjan * (+41) some proofreading
05:10:06 <HackEgo> [wiki] [[LOLCODE]] http://esolangs.org/w/index.php?diff=44359&oldid=43642 * Oerjan * (+101) Undo revision 43600 by [[Special:Contributions/70.185.102.142|70.185.102.142]] ([[User talk:70.185.102.142|talk]]) (It's in the spec.)
05:14:00 <HackEgo> [wiki] [[LOLCODE]] http://esolangs.org/w/index.php?diff=44360&oldid=44359 * Oerjan * (+0) /* Criticism */ case
05:17:20 <HackEgo> [wiki] [[Esolang talk:Rules]] M http://esolangs.org/w/index.php?diff=44361&oldid=43614 * Oerjan * (+96) unsigned
05:18:33 <HackEgo> [wiki] [[Esoteric data structure]] http://esolangs.org/w/index.php?diff=44362&oldid=43604 * Oerjan * (+0) case
05:21:33 <HackEgo> [wiki] [[Talk:O]] M http://esolangs.org/w/index.php?diff=44363&oldid=43609 * Oerjan * (+47) It's not signed without a date hth
05:28:41 <HackEgo> [wiki] [[Weirdlang]] http://esolangs.org/w/index.php?diff=44364&oldid=43651 * Oerjan * (-28) Removing Title Case but leaving Ironic Case. Also a bit proofreading.
05:29:30 <HackEgo> [wiki] [[Weirdlang]] M http://esolangs.org/w/index.php?diff=44365&oldid=44364 * Oerjan * (+0) missed one
05:30:32 <HackEgo> [wiki] [[Weirdlang]] M http://esolangs.org/w/index.php?diff=44366&oldid=44365 * Oerjan * (+4) erring in opposite direction, also link
05:39:25 <HackEgo> [wiki] [[Esolang talk:Policy]] http://esolangs.org/w/index.php?diff=44367&oldid=43615 * Oerjan * (+213) unsigned, response
05:44:19 <HackEgo> [wiki] [[Talk:Folder]] M http://esolangs.org/w/index.php?diff=44368&oldid=44097 * Oerjan * (+50) unsigned
06:06:16 <HackEgo> [wiki] [[Magicard!]] M http://esolangs.org/w/index.php?diff=44369&oldid=43630 * Oerjan * (+4) /* Data Organization */ link
06:06:44 -!- doesthiswork1 has quit (Quit: Leaving.).
06:08:58 <HackEgo> [wiki] [[Abstract machine]] http://esolangs.org/w/index.php?diff=44370&oldid=43632 * Oerjan * (+0) case
06:10:04 <izabera> (+7/-7) would be much more informative than (+0)
06:12:56 -!- Frooxius has joined.
06:14:13 <b_jonas> \oren\: that's much more than 30, but ok
06:15:17 <b_jonas> \oren\: indeed, more numbers and other characters
06:16:20 <\oren\> I'm not good with the counting and shit
06:18:43 <HackEgo> [wiki] [[Disney queue]] http://esolangs.org/w/index.php?diff=44371&oldid=43637 * Oerjan * (+0) case
06:19:17 <b_jonas> you'll have to find someone who can proofread these, and the rest of the font. I gave up way back, after the Welsh characters.
06:20:45 <b_jonas> I wouldn't be able to tell if any of these is the wrong character for the code place or is drawn wrong, and that applies to most of the font.
06:23:10 <\oren\> Well I'm trying to decrease the likelihood of those for the kanji by only drawing kanji which I actually know the meaning of.
06:23:11 <HackEgo> [wiki] [[Generic Brainfuck Derivative]] M http://esolangs.org/w/index.php?diff=44372&oldid=43639 * Oerjan * (+4) link, case
06:23:56 -!- AnotherTest has joined.
06:28:38 -!- bakatotest has joined.
06:29:58 <b_jonas> \oren\: wait, I list a character. didn't you have 門 somewhere? I guess I just imagined that
06:31:59 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
06:33:19 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wälcåme: not found
06:33:36 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: blame: not found
06:35:05 <HackEgo> bakatotest: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
06:35:25 <b_jonas> `` welcome b_jonas | en2sv
06:35:26 <HackEgo> b_jånas: Wälcåme to the internatiånal hub for esotäric prågramming languagä däsign and däplåymänt! Får morä infårmatiån, chäck åut åur wiki: <http://äsålangs.org/>. (Får thä åthär kind åf äsåtärica, try #äsotäric ån ÄFnät år DALnät.)
06:36:52 <oerjan> b_jonas: no one deleted it. i suggest not spelling commands in ways you cannot remember hth
06:37:23 <b_jonas> oerjan: what? how else would it be spelled?
06:37:49 <HackEgo> bakatåtäst: Welcåme tå thä intärnatiånal hub får esotäric programming languagä design and däplåyment! For mårä infårmatiån, chäck åut åur wiki: <http://esålangs.årg/>. (For thä åther kind åf esotärica, try #esotäric on EFnet or DALnet.)
06:38:55 <oerjan> also `blame is spelt `culprits hth
06:39:41 <oerjan> surely not the best we can do.
06:39:52 <oerjan> `` WeLcOmE bakatotest | rainwords
06:39:53 <HackEgo> BaKaToTeSt: WeLcOmE To tHe iNtErNaTiOnAl hUb fOr eSoTeRiC PrOgRaMmInG LaNgUaGe dEsIgN AnD DePlOyMeNt! FoR MoRe iNfOrMaTiOn, ChEcK OuT OuR WiKi: <hTtP://EsOlAnGs.oRg/>. (fOr tHe oThEr kInD Of eSoTeRiCa, TrY #eSoTeRiC On eFnEt oR DaLnEt.)
06:40:24 <bakatotest> You would probably recognize me as the guy with an awful username who created SELECT.
06:42:25 <oerjan> <b_jonas> en2sv should remove those <-- i think replacing them by "a" is the swedish way hth
06:43:11 -!- bender| has joined.
06:44:21 <oerjan> it's so long ago that the page history has split in two
06:46:49 -!- mauris has joined.
06:51:03 <b_jonas> “<\oren\> Well I'm trying to decrease the likelihood of those for the kanji by only drawing kanji which I actually know the meaning of.” => doesn't that contradict your previously stated goal of adding all 2000 jōyō kanji?
06:54:56 <\oren\> Well given my current rate of 50 kanji a day...
06:55:30 <Jafet> You could always just learn all of the kanji before drawing them.
06:55:47 <b_jonas> \oren\: oh by the way, do the fullwidth circle punctuation that is used as the digit zero in some contexts where kanji digits are used in Japanese vertical writing
06:56:04 <\oren\> Jafet: that's a good plan
06:57:26 <HackEgo> U+3007 IDEOGRAPHIC NUMBER ZERO \ UTF-8: e3 80 87 UTF-16BE: 3007 Decimal: 〇 \ 〇 \ Category: Nl (Number, Letter) \ Numeric value: 0 \ Bidi: L (Left-to-Right)
06:57:27 <b_jonas> yes, that might work if you're dedicated
06:58:18 <b_jonas> it's used when writing numbers with multiple digits as each digit in kanji in a vertical label, because hindu-arabic numerals would look wrong in a vertical Japanese text
06:58:26 <b_jonas> but it's a punctuation used in Chinese too
06:59:12 <b_jonas> it's sort of weird because it really isn't a kanji, but is used as one, so I call it punctuation
06:59:38 <\oren\> it's in the cjk punctuation block
07:02:05 <\oren\> So yeah I'mma upload a new file each time I reach 50
07:02:21 <\oren\> 町画白的目相矢石知私穴立竹米糸缶羊羽而虫耳肉花血行言西見谷豆足赤車里釆長金門雨雪雷電馬魚骨鳥黒黄皿〇
07:02:34 <b_jonas> you see that character a lot as a tourist because many prices end in two zeros
07:03:12 <\oren\> it occurs in scores in Touhou
07:05:31 <bakatotest> <\oren\> what do you use to learn japanese
07:07:23 <bakatotest> there aren't many japanese courses here in Brazil
07:07:49 <\oren\> bakatotest: These days I read Japanese newspapers and manga.
07:08:28 <lifthrasiir> \oren\: is that a list of Kanjis with at least one square or circle?
07:09:18 <\oren\> no, it's a list of the kanji I jsut added to my font
07:09:46 <\oren\> http://www.orenwatson.be/fontdemo.htm
07:10:54 <\oren\> I hand drew more than 4000 charatcers
07:11:23 <\oren\> most are variants of base charatcers but still
07:11:55 <\oren\> the green ones are newer than the white ones
07:12:01 <lifthrasiir> it will be gradually harder when you draw more complex letters
07:12:55 <lifthrasiir> for Hanguls, there are well-known compositional approaches (e.g. 8-4-8 composition etc.)
07:13:53 <\oren\> I have 4702 characters in total so far
07:18:41 <\oren\> eventually this will be the perfect font for crazy programmmers who want to name variables random unicode things
07:19:19 <\oren\> My dad once used i, iota, and double dot i in a paper but I think he was deliberately trolling
07:26:09 <Jafet> i is just the derivative of ı.
07:28:40 <\oren\> my font does have ẊẋẌẍ
07:29:24 <\oren\> which i doubt are used for anything outside physics
07:30:59 <zgrep> \oren\: Maybe certain languages.
07:35:11 <bakatotest> most characters are really useless anyways.
07:40:07 <fowl> What is # called
07:40:52 <bakatotest> hashtag, number (as in "you're my #1")
07:42:37 -!- sc00fy has joined.
07:42:38 <bakatotest> the wiki says it's "number sign" or "hash key"
07:44:12 <bakatotest> not too much an esoteric topic, though
07:53:36 <bakatotest> If a tree falls down and there's no one there to hear
07:57:00 <bakatotest> Doesn't matter, everybody's gonna see the log!
07:57:54 <blurelIse> especially when its encoded in binary moving across thousands of miles of cords
07:58:24 <bakatotest> you destroyed my philosophical inquiry about existence
07:58:28 <blurelIse> and if i tried to listen to it through the wifi, i still wouldn't hear it, because A the freq is too high, and B, there would be loads of other info streaming
07:59:21 <bakatotest> And C - Your ears do not detect electromagnetic waves
08:00:09 -!- sc00fy has quit (Ping timeout: 250 seconds).
08:01:05 <bakatotest> no matter how high or low the frequency of the electromagnetic waves, they would not be able to move your inner ear organs
08:01:23 <blurelIse> its very hard to argue with people who dont understand that Em waves are indeed vibratory in nature
08:01:54 <bakatotest> a vibratory wave that propagates in a vacuum
08:02:30 <bakatotest> can you tell me how do you make "nothing" vibrate?
08:03:23 <zzo38> You don't make "nothing" to vibrate you can vibrate electromagnetic fields, I think
08:03:41 <blurelIse> httop://lmgtfy.com/q?=light%20wave%20property
08:04:28 <blurelIse> i'll let you research ti for a bit and get back to me
08:04:48 <blurelIse> and in the meantime i'll work on my typing
08:05:57 <zzo38> And sound waves can vibrate the air instead.
08:06:01 <blurelIse> remove the o from teh http and try again
08:06:10 <zzo38> I don't even know what URI scheme is "httop:"
08:06:28 <blurelIse> im leaning across my desk with arms extended typing
08:08:29 -!- JesseH has quit (Remote host closed the connection).
08:10:31 <bakatotest> But got to go before I can explain you how
08:11:16 <blurelIse> how sound waves are too weak to propogate through certain mediums, but Em waves can even propogate through a vaccuum?
08:11:53 <bakatotest> The classical or the quantum explanation?
08:12:40 <blurelIse> much bias, no research, such assumption. wow
08:13:31 <bakatotest> I will be watching for the log tomorrow
08:13:43 <blurelIse> like i said, hard to argue.. causes much cognative dissonance
08:14:17 -!- bakatotest has quit (Quit: Page closed).
08:53:36 -!- oerjan has quit (Quit: Nite).
09:00:26 -!- heddwch has quit (Read error: Connection reset by peer).
09:00:28 -!- FireFly has quit (Read error: Connection reset by peer).
09:01:00 -!- heddwch has joined.
09:04:53 -!- FireFly has joined.
09:20:18 -!- JesseH has joined.
09:27:49 -!- Phantom_Hoover has joined.
10:34:50 -!- boily has joined.
11:27:59 -!- bakatotest has joined.
11:30:43 -!- boily has quit (Quit: QUALITY CHICKEN).
11:30:56 <blurelIse> what rolls down stairs, and over in pairs, and over your neighbors dog
11:35:51 <bakatotest> this is giving me "cognative" dissonance
11:36:12 <blurelIse> im sure you could find a good ren and stimpy video that will ease all your suffereing
11:37:31 <blurelIse> ok, well they had a spoof commercial, for a toy called log, to the tune of the slinky commercial
11:38:09 * int-e wonders what the little guys are planning in Monday's Girl Genius comic
11:41:11 -!- gniourf has quit (Remote host closed the connection).
11:41:40 <bakatotest> kind of remembers me that song from ed edd and eddy
11:41:54 <bakatotest> where the guy has a friend which is a plank
11:43:09 -!- FreeFull has quit (Quit: BBS).
11:44:08 -!- gniourf has joined.
11:48:03 <bakatotest> my question: what is the inharmonic sound naturally observed in geared device?
11:48:55 <blurelIse> or do you speak of general resonance
11:49:47 <bakatotest> really, if you look closely, the "a" and "i" are pretty far apart
11:50:13 <blurelIse> almost as good as the question: why wont democrats ever go to mars?
11:53:02 <blurelIse> are you kinda bummed about the double slit being solved?
11:54:47 <blurelIse> are you kinda bummed they figured it out in a slightly different manner than was originally theorized?
11:55:21 <bakatotest> how can you expect me to deduce what you mean from such a vague question
11:55:52 <blurelIse> oh.. well i guess i assumed you had heard the news about it
11:56:18 <bakatotest> Sure, the most important experiments turn out different than expected
11:57:05 <blurelIse> its been chalked up to simple wave particle duality
11:57:07 <bakatotest> haven't reached Brazil yet, here we don't even have computers
11:58:13 <blurelIse> i was a little bummed, i really liked the quantum implications
11:58:55 <bakatotest> so there is no "particle crossing both slits simultaneously to interfere with itself"?
12:00:23 <blurelIse> im sure theoretically and possibly probability wise thats still sound
12:00:37 <blurelIse> just cant use the good ol double slit as evidence anymore
12:01:18 <blurelIse> afaik the math for foresaid is still there
12:04:06 <blurelIse> im really disliking this whole heavy stuff on a blanket model
12:05:52 -!- bakatotest has quit (Quit: Page closed).
12:06:54 <blurelIse> thats secret code for "iphones dont have an irc app that has a background keepalive connection and the moment I move to another app I will disconnect"
12:08:06 -!- bakatotest has joined.
12:10:19 -!- bakatotest_ has joined.
12:12:14 <blurelIse> seems like an expensive venture for an irc dedicated device
12:14:29 <bakatotest> http://english.stackexchange.com/questions/147989/what-is-the-proper-plural-form-of-apparatus
12:15:18 * blurelIse pats you on the head, saying: there they're their, it'll be ok
12:18:35 <bakatotest> now im in the studying room waiting for the alarm
12:20:54 <bakatotest> Because you are such an insistent fella
12:27:26 -!- bakatotest_ has quit (Quit: Page closed).
12:27:27 -!- bakatotest has quit (Quit: Page closed).
12:33:58 -!- bakatotest has joined.
12:34:28 <bakatotest> who wants to talk about the art of puzzle solving?
12:36:26 <bakatotest> So there was a man who went into a bar
12:39:02 <bakatotest> asking for some water. The barman inspected him closely, then pointed him a gun. The man than thanked him and went out the bar happy.
12:45:47 -!- Patashu has quit (Ping timeout: 264 seconds).
12:46:43 <fungot> int-e: i think this is used in the past?) because it is a
12:48:39 <int-e> . o O ( help, I cannot completely understand puzzles )
12:49:26 <bakatotest> you can ask questions, like "was the man really thirsty", to help finding the answer
12:56:20 -!- bailey_m has joined.
12:57:57 * int-e idly wonders how old that particular lateral thinking puzzle is... several decades at least...
13:01:17 -!- doesthiswork has joined.
13:02:00 <bakatotest> plot twist: The man was dead all along, and the barman was a medium who made he realize that
13:02:30 -!- `^_^v has joined.
13:11:43 <bakatotest> An original puzzle: What do these words have in common? THE INANIMATE HAM WILL HAVE ALL MY WINE, YET NEITHER FILM PANS IN LINE
13:12:15 -!- bakatotest has quit (Quit: Page closed).
13:12:17 -!- bailey_m has quit (Quit: Page closed).
13:13:17 -!- bakatotest has joined.
13:14:53 -!- bakatotest has quit (Client Quit).
13:22:14 -!- XorSwap has joined.
13:33:44 -!- JesseH has quit (Read error: Connection reset by peer).
13:33:58 -!- XorSwap has quit (Read error: Connection reset by peer).
13:34:10 -!- XorSwap has joined.
13:47:56 -!- XorSwap has quit (Read error: Connection reset by peer).
13:48:12 -!- XorSwap has joined.
13:49:59 -!- XorSwap has quit (Read error: Connection reset by peer).
13:50:12 -!- XorSwap has joined.
14:12:01 <tswett> All of those words are made up entirely of straight lines.
14:18:20 <HackEgo> [U+1E8A LATIN CAPITAL LETTER X WITH DOT ABOVE] [U+1E8B LATIN SMALL LETTER X WITH DOT ABOVE] [U+1E8C LATIN CAPITAL LETTER X WITH DIAERESIS]
14:22:15 <tswett> Learning all the hiragana is easy. I've done it several times.
14:23:06 -!- XorSwap has quit (Ping timeout: 250 seconds).
14:31:36 -!- doesthiswork has quit (Quit: Leaving.).
14:34:57 -!- XorSwap has joined.
14:34:57 -!- XorSwap has quit (Client Quit).
14:53:52 <HackEgo> [wiki] [[User:Orlando]] http://esolangs.org/w/index.php?diff=44373&oldid=43801 * Orlando * (-43)
15:00:10 -!- heddwch has changed nick to heddfwch.
15:08:07 -!- MDream has changed nick to MDude.
15:08:20 -!- heddfwch has changed nick to heddwch.
15:09:23 -!- aretecode has quit (Read error: Connection reset by peer).
15:36:54 -!- adu has joined.
15:41:24 -!- FreeFull has joined.
15:41:48 -!- FreeFull has changed nick to Guest71070.
15:42:44 -!- Guest71070 has quit (Changing host).
15:42:44 -!- Guest71070 has joined.
15:43:31 -!- Guest71070 has changed nick to FreeFull.
16:07:14 -!- bender| has quit (Ping timeout: 240 seconds).
16:08:42 <Taneb> I'm tempted to apply for the Haskell Prime Committee
16:22:44 -!- sc00fy has joined.
16:27:26 -!- hppavilion[1] has joined.
16:37:58 <shachaf> You'd probably be better than certain candidates.
16:48:46 <hppavilion[1]> (That would add Parallel Processing/asynch instructions, such as (in high-level assembly): IN-PLACE IMMEDIATE ADD R[0..128] 5; , which takes advantage of multiple cores to increase all registries from 0 to 128 by 1
17:00:21 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
17:04:58 -!- atrapado has joined.
17:13:45 -!- hppavilion[1] has joined.
17:19:50 -!- sc00fy has quit (Ping timeout: 240 seconds).
17:24:46 <zzo38> How can you make quick-save/quick-restore with DOSBox?
17:28:46 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
17:32:28 -!- hppavilion[1] has joined.
17:37:50 -!- hppavilion[2] has joined.
17:39:37 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
17:39:43 -!- hppavilion[2] has changed nick to hppavilion[1].
17:39:52 -!- Frooxius has quit (Quit: *bubbles away*).
17:50:23 <FreeFull> zzo38: I don't recall dosbox being able to do that
18:00:33 -!- sc00fy has joined.
18:20:01 -!- hppavilion[2] has joined.
18:22:59 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
18:25:11 -!- hppavilion[2] has quit (Ping timeout: 252 seconds).
18:25:12 -!- ais523 has joined.
18:25:20 -!- hppavilion[1] has joined.
18:31:03 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
18:32:12 -!- hppavilion[1] has joined.
18:43:04 <zzo38> Some MediaWiki sites (not only Wikipedia and their sister projects) do HTTPS only, but it is not a private message so I want to receive it in clear text so that MITM backup is possible.
18:44:15 <zzo38> And if it is a private email or something else that should be secure, there are much better ways than HTTPS to do it anyways. For one thing you should try to agree the keys in person if possible.
18:53:34 <zzo38> The internet would save a lot of energy if they did not have to insist on HTTPS. (They could save even more energy if they don't even use HTML and use plain text instead, but that cannot always be used; nevertheless sometimes it can work)
18:55:06 <shachaf> Would the Internet really save that much energy?
18:55:42 <shachaf> Only some constant multiple, presumably.
18:59:19 -!- Gril_Emo has joined.
18:59:43 -!- Gril_Emo has left.
19:08:16 <fizzie> "On our production frontend machines, SSL/TLS accounts for less than 1% of the CPU load, less than 10 KB of memory per connection and less than 2% of network overhead." -Adam Langley, Google.
19:10:04 <fizzie> I remember there being some discussion/speculation on how much electricity would be saved if Google switched to a black background.
19:10:52 <shachaf> It's not as if Google cares about being extremely efficient there.
19:10:52 <zzo38> Well, that can be the client setting, if the user want black background they can put it themself black
19:11:12 <zzo38> (Or any other colours/patterns they want for background)
19:11:29 <zzo38> If Google changes it to black and the user does not want then user can change it back to white
19:13:13 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
19:13:15 <FreeFull> I don't own any device without a backlight, or with a backlight but which would turn it down if the background is black
19:14:40 <zzo38> I will just turn off the monitor when not using it, although I use black background for xterm anyways (the system status bar is also black)
19:14:45 -!- JesseH has joined.
19:22:52 -!- FreeFull has quit (Quit: BBS).
19:26:50 -!- ais523 has quit.
19:28:45 <int-e> From what I've read, many TFT displays (but not all) use more electricity for black than for white, but the backlight dominates the power consumption.
19:34:17 -!- FreeFull has joined.
19:42:18 <b_jonas> FreeFull: no device without a blacklight? you're too old for calculators with non-color lcds?
19:44:28 <int-e> <autocorrecting> s/old/young/ </autocorrecting>
19:45:02 <FreeFull> b_jonas: Ok, I do have a calculator. Forgot about it
19:45:09 <FreeFull> I can't load google on my calculator though
19:45:20 <shachaf> <int-e> <autocorrecting> s/old/young/ </autocorrecting> </int-e>
19:45:43 <FreeFull> Also, LCD screens usually let light through by default, and don't if an electric field is applied
19:46:01 <FreeFull> Although it's possible to orient the polarising filters in a different way to have it the other way around
19:46:56 <b_jonas> FreeFull: it's a bit more complicated. some black and white LCDs, mostly the ones used in book readers, are made such that they consume electricity for changing the image
19:47:55 <b_jonas> however, in a mobile phone, if you have the blacklight off, the screen is often not updated, but that's not because of the tft, it's because of the cpu and grahpics chips use less power that way
19:47:58 <FreeFull> b_jonas: There's also e-ink screens, which aren't LCDs at all
19:48:03 <int-e> my monitor actually does switch off its backlight when the screen becomes all black (more of a nuisance than a feature, honestly... I'd prefer it to only do that when there's no signal...) but that's practically never going to happen with a browser window open, because of the window decoration.
19:48:11 <FreeFull> b_jonas: Also, it's not a blacklight, it's a backlight
19:51:21 -!- hppavilion[1] has joined.
19:51:21 -!- `^_^v has quit (Ping timeout: 252 seconds).
19:58:44 <b_jonas> oh! sorry, that was a typo, yes
19:59:38 <fizzie> My monitor turns down the backlight occasionally.
20:00:02 <fizzie> I only notice it when getting an all-black screen, which noticeably darkens after a second or three.
20:00:11 <fizzie> It's more distracting than useful. But this is a crappy monitor.
20:00:13 -!- `^_^v has joined.
20:00:32 <fizzie> Leaks light quite a lot, and the backlight strips are clearly visible on dark solid color regions (like black).
20:00:36 <b_jonas> fizzie: yes, that's apparently a "feature" and selling point in some new led monitors, and can be very annoying:
20:01:24 <fizzie> I'm pretty sure this isn't LED.
20:01:25 <b_jonas> I've seen it only once in some monitor displaying some public information, which I've seen in the day during some sunlight, and when most of the screen was darker, the bright on dark text scrolling on the bottom became very dark and unreadable.
20:02:05 <b_jonas> They're advertising it as an energy saving feature.
20:02:20 <fizzie> I've only noticed this doing that for the full-black screen, and it seems to take more like 5 seconds.
20:02:35 <fizzie> And maybe 2 seconds to un-darken when the screen turns non-black.
20:02:53 <fizzie> It's pretty annoying if there's a black screen for a scene transition in a video or something.
20:03:55 <b_jonas> yeah, with leds at least the transition is much faster
20:04:28 <fizzie> The tech specs don't mention this as a feature, unless it's the "Intelligent Auto: yes" line, which is a bit opaque (pun not intended).
20:05:08 -!- nycs has joined.
20:06:19 -!- `^_^v has quit (Ping timeout: 240 seconds).
20:11:06 -!- TieSoul has quit (Read error: Connection reset by peer).
20:19:13 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
20:23:37 -!- nycs has quit (Ping timeout: 252 seconds).
20:24:48 -!- nycs has joined.
20:26:44 -!- Melvar` has joined.
20:27:06 -!- Melvar has quit (Disconnected by services).
20:27:10 -!- Melvar` has changed nick to Melvar.
20:27:54 -!- hppavilion[1] has joined.
20:29:55 -!- idris-bot has quit (Ping timeout: 260 seconds).
20:34:15 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
20:35:49 -!- hppavilion[1] has joined.
20:45:04 -!- augur has quit (Ping timeout: 265 seconds).
20:46:35 -!- idris-bot has joined.
20:59:37 -!- Patashu has joined.
21:00:46 -!- augur has joined.
21:08:36 -!- adu has quit (Quit: adu).
21:11:02 -!- ais523 has joined.
21:13:41 -!- nycs has quit (Ping timeout: 256 seconds).
21:23:26 -!- mihow has joined.
21:28:53 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
21:35:51 -!- oerjan has joined.
21:42:08 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
21:43:03 -!- Patashu has quit (Ping timeout: 250 seconds).
21:44:23 -!- boily has joined.
21:44:54 -!- callforjudgement has joined.
21:45:29 -!- ais523 has quit (Ping timeout: 265 seconds).
21:45:41 -!- callforjudgement has changed nick to ais523.
21:52:20 -!- ais523 has quit (Read error: Connection reset by peer).
21:53:09 <b_jonas> \oren\: I see you've added more kanji, including 門 and 〇 which I mentioned specifically
21:56:27 <boily> \helloren\! you're up to doing kanji?
21:56:35 <b_jonas> boily: yes, he's doing kanji now
21:56:43 <b_jonas> boily: http://www.orenwatson.be/fontdemo.htm
21:56:47 <lambdabot> hkgit03 said 1d 10h 23m 15s ago: Opening the PDF in the topic worked. I remember reading that for the first time two years ago. I like it.
21:57:14 -!- callforjudgement has joined.
21:57:19 <boily> @ask hkgit03 is it already at least two years old? damn, time flies like a banana...
21:58:35 * boily fruitly mapoles shachaf
21:58:51 <oerjan> boily: you should use a bow for that hth
21:58:55 <b_jonas> apparently he even does Chinese characters that don't occur (much) in Japanese
21:59:27 <boily> itym guillaume tell hth
21:59:51 <oerjan> i immediately considered whether i should have said "william"
22:00:03 <oerjan> i _do_ suspect he was german-speaking, though
22:00:36 <shachaf> well, the language he spoke is certainly germane
22:00:43 <oerjan> "in the four languages of Switzerland: German: Wilhelm Tell; French: Guillaume Tell; Italian: Guglielmo Tell; Romansh: Guglielm Tell"
22:01:17 -!- callforjudgement has quit (Read error: Connection reset by peer).
22:01:21 -!- TodPunk has quit (Read error: Connection reset by peer).
22:01:47 -!- TodPunk has joined.
22:02:30 <oerjan> the other names mentioned in the tale do look distinctively german
22:04:03 <b_jonas> oerjan: um, but William Tell himself is Swiss, isn't he?
22:05:14 <boily> \oren\: 「囲碁盤」の字を加えてください
22:06:30 <b_jonas> izabera: those are quotation marks
22:06:32 -!- hppavilion[1] has joined.
22:07:25 <boily> William, William, 威廉, and வில்லியம்.
22:07:55 <boily> (Weechat fails horribly at indic script rendering. not exactly surprised there.)
22:09:23 -!- XorSwap has joined.
22:09:29 <oerjan> b_jonas: you are aware that switzerland has four national languages, one of which is german, right?
22:09:52 <b_jonas> wait, four? doesn't it have three?
22:10:00 <b_jonas> swiss german, french, italian
22:10:17 <shachaf> swiss, german, french, italian
22:10:28 * oerjan swats shachaf -----###
22:10:38 <oerjan> anyway i was just wondering how he'd have called himself.
22:11:05 <myname> isn't there one missing?
22:11:20 <b_jonas> "swiss german" as in german but very strangely pronounced
22:11:31 <b_jonas> it's like Australian English but worse than that
22:11:43 <shachaf> b_jonas: i was just going for the swat hth
22:12:41 <myname> what about rhaeto-romance?
22:12:47 <oerjan> mroman: hey you're the expert on this twh
22:13:31 <myname> as far as i know, swiss tv has to send program in that language
22:14:11 <boily> oerjan: maybe he's in the middle of saying one of those long German words, and won't be active until next month?
22:14:40 -!- impomatic_ has joined.
22:15:08 <myname> aj, itks called romansh
22:15:11 <myname> https://en.m.wikipedia.org/wiki/Languages_of_Switzerland
22:20:26 <hppavilion[1]> I figured out a primative for Event-Driven Programming
22:24:36 <hppavilion[1]> "goto :mouseClicked when R[0]" where R[0] is programmed to be set to 1 when the mouse is clicked
22:29:51 <hppavilion[1]> So how is goto-when for event-oriented programming?
22:31:37 <myname> well, you did an event loop
22:32:09 -!- atrapado has quit (Quit: Leaving).
22:32:53 <myname> how is while(true) { goto-if } different from goto-when?
22:34:42 <hppavilion[1]> myname: Well goto-when is a primative of event-driven control flow AFAICT, while while() is a non-primative of standard control flow
22:35:12 <hppavilion[1]> Also, goto-when registers an event handler that is executed whenever it goes off
22:35:24 <hppavilion[1]> so it's more like putting a goto-if between every single line of code
22:38:34 <hppavilion[1]> It's basically an event handler with a more simple syntax
22:38:58 <zzo38> Depending on the event hopefully the compiler should be able to insert goto-if only where necessary
22:40:33 -!- XorSwap has quit (Read error: Connection reset by peer).
22:40:36 -!- impomatic_ has quit (Quit: http://corewar.co.uk).
22:40:53 -!- XorSwap has joined.
22:42:52 <hppavilion[1]> zzo38: It's a primative. You have an "RBO" or "register branch on" instruction built into the computer
22:46:26 <boily> `learn A primative is a reference to a value that you were robbed of.
22:46:41 <HackEgo> Learned 'primative': A primative is a reference to a value that you were robbed of.
22:51:14 -!- adu has joined.
23:03:54 -!- XorSwap has quit (Quit: Leaving).
23:13:23 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
23:16:38 -!- adu has quit (Quit: adu).
23:29:38 <oerjan> those pesky primates, always being primative
23:30:23 <myname> still better than premature
23:38:01 -!- adu has joined.
23:50:29 -!- adu has quit (Quit: adu).
23:51:20 -!- hppavilion[1] has joined.
23:56:59 -!- doesthiswork has joined.
23:58:47 <\oren\> sure, I can add 囲碁盤 since I know what it means (the board for the game go)
23:59:27 <\oren\> 盤 is one of the most complicated kanji I know