00:03:27 -!- vodkode has joined.
00:03:53 <oerjan> `relcome vodkode 
00:03:55 <HackEgo> ​vodkode: 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 irc.dal.net.)
00:04:32 <vodkode> heya oerjan how are ya?
00:05:26 -!- L8D has joined.
00:06:26 <oerjan> you do not have clearance for that information citizen
00:07:21 <ProofTechnique> All glory to the glow cloud!
00:07:44 -!- tromp_ has joined.
00:10:37 -!- L8D has quit (Ping timeout: 255 seconds).
00:38:36 -!- adu has joined.
00:48:35 <quintopia> ProofTechnique: cannot wait for apr 4
00:48:45 <quintopia> oerjan: what's your opinion of danny elfman
00:49:34 <oerjan> who is danny elfman
00:51:17 <oerjan> ok i googled, still no opinion
00:51:38 <quintopia> hm
00:54:51 -!- L8D has joined.
01:16:14 <ProofTechnique> quintopia: I'm jealous.
01:20:57 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
01:29:42 -!- hjulle has joined.
01:34:29 -!- vodkode has quit (Remote host closed the connection).
01:36:22 -!- vodkode has joined.
02:02:10 -!- tromp_ has quit (Remote host closed the connection).
02:02:42 -!- tromp_ has joined.
02:06:52 -!- tromp_ has quit (Ping timeout: 240 seconds).
02:16:57 -!- augur has quit (Quit: Leaving...).
02:20:02 -!- MoALTz__ has joined.
02:22:46 -!- MoALTz_ has quit (Ping timeout: 252 seconds).
02:24:38 -!- augur has joined.
02:33:34 -!- L8D has quit (Ping timeout: 245 seconds).
02:39:02 -!- tromp_ has joined.
03:17:19 -!- tromp_ has quit (Remote host closed the connection).
03:28:37 -!- adu has quit (Quit: adu).
03:30:40 -!- L8D has joined.
03:35:22 -!- L8D has quit (Ping timeout: 256 seconds).
03:38:17 -!- Frooxius has quit (Quit: *bubbles away*).
03:43:04 -!- oerjan has quit (Quit: Zleep zoon).
04:17:52 -!- tromp_ has joined.
04:22:42 -!- tromp_ has quit (Ping timeout: 272 seconds).
05:10:00 -!- vodkode has changed nick to vodkode-away.
05:19:17 -!- tromp_ has joined.
05:23:22 -!- tromp_ has quit (Ping timeout: 240 seconds).
05:32:44 -!- dianne has quit (Ping timeout: 245 seconds).
05:34:44 -!- dianne has joined.
05:36:55 -!- Patashu has joined.
05:41:17 -!- Patashu has quit (Disconnected by services).
05:41:17 -!- Patashu_ has joined.
06:09:35 -!- Frooxius has joined.
06:14:31 -!- f|`-`|f_ has joined.
06:16:37 -!- f|`-`|f has quit (Ping timeout: 264 seconds).
06:16:41 -!- f|`-`|f_ has changed nick to f|`-`|f.
06:18:27 -!- Frooxius has quit (Quit: *bubbles away*).
06:19:53 -!- L8D has joined.
06:24:32 -!- L8D has quit (Ping timeout: 244 seconds).
06:25:08 -!- ^v has quit (Read error: Connection reset by peer).
06:25:31 -!- ^v has joined.
06:31:44 -!- Patashu_ has quit (Ping timeout: 252 seconds).
06:46:05 -!- Phantom_Hoover has joined.
07:19:05 -!- tromp_ has joined.
07:23:26 -!- tromp_ has quit (Ping timeout: 252 seconds).
07:32:45 -!- kapil___ has joined.
08:08:29 -!- Tritonio has joined.
08:21:09 -!- boily has joined.
08:53:08 -!- Tritonio has quit (Ping timeout: 272 seconds).
08:53:21 -!- Tritonio has joined.
08:58:54 <boily> `olist (977)
08:59:02 <HackEgo> olist (977): shachaf oerjan Sgeo FireFly boily nortti
09:07:57 -!- tromp_ has joined.
09:09:04 <HackEgo> [wiki] [[Fish]]  http://esolangs.org/w/index.php?diff=42110&oldid=38399 * 77.88.93.100 * (+231) /* Interpreters */
09:12:33 -!- tromp_ has quit (Ping timeout: 252 seconds).
09:14:28 -!- Mackan90096 has joined.
09:17:03 -!- sebbu2 has joined.
09:17:42 -!- sebbu2 has quit (Changing host).
09:17:42 -!- sebbu2 has joined.
09:19:39 -!- sebbu has quit (Ping timeout: 246 seconds).
09:21:07 -!- sebbu2 has changed nick to sebbu.
09:24:08 -!- boily has quit (Quit: HYGROTROPIC CHICKEN).
09:25:38 -!- Mackledoge has joined.
09:29:30 -!- Mackan90096 has quit (Ping timeout: 244 seconds).
09:37:02 -!- Mackledoge has quit (Read error: Connection reset by peer).
09:37:40 -!- Mackledoge has joined.
09:54:51 -!- Mackledoge has quit (Read error: error:1408F119:SSL routines:SSL3_GET_RECORD:decryption failed or bad record mac).
09:55:51 -!- Mackledoge has joined.
09:57:31 -!- L8D has joined.
10:02:12 -!- L8D has quit (Ping timeout: 252 seconds).
10:12:34 -!- kapil___ has quit (Quit: Connection closed for inactivity).
10:33:34 <Jafet> https://en.wiktionary.org/wiki/forget,_when_up_to_one%27s_neck_in_alligators,_that_the_mission_is_to_drain_the_swamp
10:35:17 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
10:41:08 -!- tromp_ has joined.
11:15:03 -!- L8D has joined.
11:17:06 -!- curtiii has joined.
11:22:35 <oren> buenos dias!
11:30:02 <J_Arcane> so i have a dumb idea for a gui framework
11:33:57 -!- Mackledoge has quit (Read error: error:1408F119:SSL routines:SSL3_GET_RECORD:decryption failed or bad record mac).
11:34:27 -!- Mackledoge has joined.
11:42:54 <oren> J_Arcane: can't be much dumber than the ones that exist.
11:42:55 <oren> So, what language? 
11:42:55 <J_Arcane> oren: Racket, but possibly not directly, but rather as a major feature of my next language project.
11:42:56 <J_Arcane> The gist is that the "view" is a function, which takes a model and returns the model, but the function's described with a declarative template syntax that describes both the UI elements, and the input/output elements of same. The function takes a struct/object and injects its values into the output fields as described in the template, and then returns a new struct with the values of the...
11:42:56 <J_Arcane> ...input fields.
11:42:56 <J_Arcane> So you'd have (view (window (textbox FOO) (button BAR))), and you pass (view ...) a struct containing fields FOO and BAR, and the framework would draw a window and put the value of FOO into the text box, and if BAR gets clicked, when it returns that cycle, BAR will equal #t or whatever.
11:44:43 -!- L8D has quit (Ping timeout: 252 seconds).
11:48:56 <diginet> you know what would be interesting?
11:48:56 <diginet> instead of esoteric languages, esoteric CPUs
11:48:58 <diginet> or more specifically, esoteric instruction sets
11:49:12 <diginet> (which I guess in a way, does kind of fall under the category of language)
11:49:26 <oren> bytepusher
11:52:04 <diginet> oren: what's that?
11:52:29 <diginet> oh, interesting
11:52:29 <diginet> so it's like CHIP-8]
11:53:00 -!- Mackledoge has quit (Ping timeout: 272 seconds).
11:55:02 -!- `^_^v has joined.
11:55:27 -!- Mackledoge has joined.
12:07:43 -!- L8D has joined.
12:10:44 -!- Mackledoge has quit (Ping timeout: 272 seconds).
12:22:25 -!- oren has quit (Quit: Lost terminal).
12:29:51 -!- adu has joined.
12:30:55 -!- Mackledoge has joined.
12:36:32 -!- Mackledoge has quit (Ping timeout: 244 seconds).
12:38:07 -!- AnotherTest has joined.
12:39:25 -!- mihow has joined.
12:48:08 <FireFly> Also the GPU-like one by ais523
12:48:28 <FireFly> Ah, http://esolangs.org/wiki/Checkout
12:50:33 <Taneb> I'll be doing a topology module next year!
12:55:14 <Taneb> So maybe I'll be able to figure out what a chu space actually is
12:55:17 <Taneb> `? chu space
12:55:19 <HackEgo> A Chu space is just a matrix. Taneb invented them, then Chu stole his invention.
12:55:27 <Taneb> Huh, apparently it's just a matrix
12:59:48 <FireFly> You'd think you would know
13:00:31 <Taneb> Chu also stole my memory of it
13:00:36 <Taneb> And a lot of the precursors to it
13:01:30 <FireFly> I see
13:01:50 <Taneb> I've had to relearn all of group theory in the past three years
13:01:51 -!- nycs has joined.
13:03:17 -!- `^_^v has quit (Ping timeout: 246 seconds).
13:06:43 -!- int-e has left ("RECURRING CHICKEN").
13:06:43 -!- int-e has joined.
13:09:02 -!- nycs has quit (Quit: Leaving).
13:12:31 -!- GeekDude has joined.
13:12:48 -!- L8D has quit (Ping timeout: 250 seconds).
13:21:03 <Taneb> fnordbot, how are you doing?
13:21:04 <fnordbot> Taneb: in the dead of myxomatosis, if it's all the same to you," he added, " i'll have you hung, huge, heavy, steady in the sky a huge green catalogue to keep us out!" " what the hell am, brain the size of a planet and they ask me to take you to the bridge at that, i can tell. ford was running after him very fast? " very pretty," he shouted to the guard, " not really. " we had a look at this," said slartibartfast, " that was on
13:21:19 <fizzie> I predict a fungot on Saturday.
13:22:23 <int-e> oh wow, myxomatosis
13:22:39 <int-e> somebody ban curtiii please.
13:22:46 -!- ChanServ has set channel mode: +o elliott.
13:22:48 -!- elliott has kicked curtiii.
13:22:49 -!- curtiii has joined.
13:22:54 -!- elliott has set channel mode: +b *!*curtiii@*.
13:22:58 <elliott> didn't I ban something like that recently
13:23:00 -!- elliott has kicked curtiii.
13:23:02 -!- elliott has set channel mode: -o elliott.
13:23:17 <int-e> thanks
13:28:50 -!- L8D has joined.
13:29:04 <elliott> whoever greps the log for the last one like that and tells me the commonality
13:29:41 <FireFly> Hm, they query-spammed in #dolphin-emu a few hours ago as well
13:30:23 <FireFly> 2015-03-03 22:07:53     <--     elliott has kicked crinzesi (crinzesi)
13:30:27 <FireFly> Presumably that guy
13:31:09 <FireFly> 2015-01-03 01:10:31     <--     elliott has kicked corsee (corsee)
13:31:11 <FireFly> or that
13:32:01 <mroman> well
13:32:07 <mroman> http://mroman.ch/ESOSC is back online
13:32:49 <mroman> damn webserver isn't setting charset=utf-8 though.
13:33:39 <mroman> (http://esosc.mroman.ch also works)
13:34:02 <elliott> FireFly: but what were the hostmasks :(
13:34:22 -!- SopaXorzTaker has joined.
13:35:27 -!- L8D has quit (Ping timeout: 252 seconds).
13:35:59 <HackEgo> [wiki] [[ESOSC]]  http://esolangs.org/w/index.php?diff=42111&oldid=42082 * 160.85.232.191 * (+113) * ESOSC back in da buzinezz <br><br>
13:36:42 -!- `^_^v has joined.
13:36:58 <int-e> :crinzesi!~crinzesi@213.143.60.205 JOIN #esoteri :corsee!~corsee@90.174.3.1 JOIN #esoteric ...
13:37:04 <int-e> codu is abset?
13:37:17 <elliott> okay well let's just ban everyone with names starting with c
13:37:17 <elliott> imo
13:38:34 -!- nycs has joined.
13:39:03 -!- `^_^v has quit (Disconnected by services).
13:39:09 -!- nycs has changed nick to `^_^v.
13:40:24 <int-e> Two addresses assigned to France Telecom Spain (cprinzesi, curtiii), an IP belonging to ZHAW (http://www.zhaw.ch/), and no obvious link; could be a botnet.
13:41:29 <elliott> what were they spamming again? I've forgotten already
13:42:00 <HackEgo> [wiki] [[Special:Log/newusers]] create  * EnumCZ *  New user account
13:48:39 -!- Mackledoge has joined.
13:51:43 -!- arjanb has joined.
13:53:55 -!- Phantom_Hoover has joined.
13:54:59 -!- L8D has joined.
13:55:43 <quintopia> elliott: i agree. especially clog. that guy steams me up.
13:56:38 -!- adu has quit (Quit: adu).
13:59:17 <vodkode-away>  nnnnnnnnnnnnnn]
13:59:25 -!- vodkode-away has changed nick to vodkode.
13:59:27 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
14:01:34 -!- heroux has quit (Ping timeout: 272 seconds).
14:01:47 <mroman> Taneb: http://esosc.mroman.ch/ESOSC-2014-D3-R1.TXT
14:01:52 -!- heroux has joined.
14:03:00 <nortti> why the limit to just latin letters?
14:03:31 <Taneb> mroman, the grammar seems to have no "This is what the format is" thingy
14:03:57 <Taneb> Initial variable, I think that's the word
14:04:00 <Taneb> Also, what nortti said
14:04:05 <FireFly> mroman: wouldn't that be ESOSC-2015-D3-R1?
14:04:09 <mroman> oh
14:04:10 <mroman> RIGHT!
14:04:14 <mroman> it's 2015 already
14:04:16 <mroman> :D
14:04:27 <mroman> but it started in 2014 :)
14:04:29 <Taneb> Also I think shorthand variables should generally be separated by spaces when ambiguity can occur
14:04:50 <Taneb> Although that isn't a problem in this version
14:04:57 <mroman> you mean for variables with two or more letters?
14:05:05 <Taneb> Yeah
14:06:21 <mroman> well
14:06:32 <mroman> ideally you'd say that two letters requires spaces?
14:07:23 <mroman> hm.
14:07:52 <mroman> lambda = L, variable, ".", term; that'd be non-abbreviated
14:08:46 <mroman> you can't distinguish \xy as \"xy" from abbreviated \"x".\"y". then
14:08:47 <mroman> which sucks
14:09:14 <mroman> you could require multi letter variables to start with a special character
14:10:19 <mroman> like _ or ' or whatever
14:10:36 <mroman> then \_xy_zc is without ambuigity \_xy.\_zc
14:11:26 <FireFly> That's ugly :\
14:11:46 <mroman> yeah
14:11:49 <mroman> but you can't parse it otherwise
14:11:54 <FireFly> I think mandating  \x y z.  is fine
14:12:02 <mroman> or do that, yeah
14:12:05 <mroman> then you can't write \xyz
14:12:09 <FireFly> Right
14:12:30 <mroman> but that's a good trade-off :)
14:12:36 <quintopia> pfft who needs multiletter variables? just allow all of unicode as variable names!
14:13:18 -!- bb010g has quit (Ping timeout: 265 seconds).
14:13:47 -!- supay has quit (Ping timeout: 265 seconds).
14:14:16 -!- pikhq has quit (Ping timeout: 265 seconds).
14:14:16 -!- fractal has quit (Ping timeout: 265 seconds).
14:14:45 -!- nyuszika7h has quit (Ping timeout: 265 seconds).
14:15:04 <FireFly> Iverson would be happy
14:15:42 -!- L8D has quit (Ping timeout: 256 seconds).
14:15:45 -!- pikhq has joined.
14:15:51 <int-e> `unidecode ;;
14:15:52 <HackEgo> ​[U+037E GREEK QUESTION MARK] [U+003B SEMICOLON]
14:16:20 <mroman> http://mroman.ch/ESOSC/ESOSC-2014-D3-R2.TXT
14:16:30 <int-e> `unidecode oоpр
14:16:31 <HackEgo> ​[U+006F LATIN SMALL LETTER O] [U+043E CYRILLIC SMALL LETTER O] [U+0070 LATIN SMALL LETTER P] [U+0440 CYRILLIC SMALL LETTER ER]
14:17:01 <int-e> quintopia: I'm actually really happy with programming languages that are restricted to ASCII.
14:17:12 <quintopia> neat
14:17:39 <int-e> `unidecode СССР
14:17:40 <HackEgo> ​[U+0421 CYRILLIC CAPITAL LETTER ES] [U+0421 CYRILLIC CAPITAL LETTER ES] [U+0421 CYRILLIC CAPITAL LETTER ES] [U+0420 CYRILLIC CAPITAL LETTER ER]
14:19:55 <nortti> mroman: how about whitespace? maybe just declare that you can use additional whitespace between elements?
14:19:56 -!- supay has joined.
14:21:46 <mroman> nortti: Ah. Good point.
14:21:55 <mroman> I'm not sure how you embed that into EBNF
14:22:03 <mroman> except like saying "additional whitespaces are ignored"
14:22:20 <quintopia> mroman: ' ' | epsilon
14:22:42 <quintopia> well
14:22:44 <quintopia> probably
14:22:46 <quintopia> ' ' | ''
14:22:50 <quintopia> in ascii
14:23:04 <mroman> yeah but
14:23:07 <mroman> L, variable
14:23:11 <mroman> there's no space allowed in there
14:23:15 <mroman> you'd have to do uhm
14:23:19 <mroman> L, {spaces}, variable
14:23:54 <mroman> L, {spaces}, variable, {spaces}, ".", {spaces} 
14:23:58 <mroman> to be precise
14:24:10 <mroman> or hm
14:24:16 <mroman> allow spaces after L
14:24:22 <mroman> L = "\" , {spaces}
14:24:59 -!- fractal has joined.
14:26:26 <mroman> http://mroman.ch/ESOSC/ESOSC-2014-D3-R2.TXT <- like that? @nortti
14:27:11 -!- bb010g has joined.
14:28:10 <nortti> that disallows ( foo )
14:28:44 <nortti> maybe add additional { spaces }, to the beginning of term?
14:28:57 <mroman> hm. yep
14:31:25 <mroman> (updated http://mroman.ch/ESOSC/ESOSC-2014-D3-R2.TXT)
14:31:28 -!- mihow has quit (Quit: mihow).
14:31:41 <nortti> also, where am I to start reading the grammar specification? at term?
14:31:43 <mroman> (there's a ; missing after variable, too.)
14:31:43 <quintopia> does ? thing ? mean the same as thing | ''?
14:32:11 <mroman> ISO/IEC 14977 says ? ? is a special sequence
14:32:18 <mroman> with human readable stuff afaik
14:32:19 <mroman> like
14:32:26 <mroman> ? those weird looking letters ?
14:32:30 <quintopia> ah
14:32:51 <mroman> ? all digits ?
14:32:52 <quintopia> what is {} then?
14:32:58 <mroman> { } is optional repetition
14:33:33 <quintopia> so { thing } means the same as thing = things | ''?
14:33:38 <quintopia> or rather
14:33:43 <mroman> { thing } is zero or more times a thing.
14:33:47 <quintopia> thing = thing things | ''
14:34:13 <quintopia> yeah that's what it would me
14:34:14 <quintopia> an
14:35:34 <mroman> variable = .. { spaces } is stupid though
14:35:41 <mroman> spaces aren't part of the variable actually
14:35:52 <mroman> it'd also conflict with { variable, " " },
14:36:44 <mroman> *fixed*
14:37:27 <mroman> (http://mroman.ch/ESOSC/ESOSC-2014-D3-R2.TXT)
14:38:16 -!- L8D has joined.
14:39:02 <nortti> so no whitespace permitted in the "\x."? I see
14:39:11 <mroman> well
14:39:15 <mroman> "\x ." is illegal, yes
14:39:24 <mroman> "\ x." is legal
14:39:56 <mroman> nortti: hm
14:39:59 <mroman> L, { variable, " " }, variable, ".", term, { spaces };
14:40:01 <mroman> changing that too
14:40:12 <nortti> also, isn't the { spaces } in the end of lambda a bit redundant? it can only end in term, which ends in { spaces }
14:40:12 <mroman> L, { variable, " " }, [ variable ], ".", term, { spaces }; should fix that however?
14:40:47 <mroman> nortti: true
14:40:49 <nortti> same with parens and application
14:42:51 <mroman> http://mroman.ch/ESOSC/ESOSC-2014-D3-R3.TXT <- like that
14:42:57 <mroman> that would allow "\x ."
14:43:58 -!- L8D has quit (Ping timeout: 264 seconds).
14:44:00 <nortti> yup, that seems good
14:44:15 <nortti> wait, why [ variable ] ?
14:44:20 <mroman> well
14:44:34 <mroman> you want "\x y." to be legal
14:44:59 <mroman> which wouldn't be legal only with { variable, " " } because then you'd be missing a space after "y"
14:45:08 <nortti> but why [ ]?
14:45:18 <mroman> because this way it is optional
14:45:25 <mroman> thus allowing "\x y ."
14:45:28 <nortti> ooh, right
14:45:51 <mroman> (otherwise "\x y ." would be illegal because it expects another variable)
14:46:13 <mroman> hm
14:46:19 <mroman> this way L, { spaces }, variable , ".", term; is actually redundant
14:46:32 <mroman> oh. nope
14:46:42 <mroman> otherwise "\." would be legal :D
14:47:05 <mroman> hm
14:47:13 <mroman> but you'd want at least one variable, " "
14:49:34 <mroman> { variable, " " } [variable] is both zero or more
14:50:37 <mroman> but (variable, " ") wouldn't allow "\x ." again :(
14:50:52 -!- L8D has joined.
14:50:54 <mroman> oh
14:50:56 <mroman> no it would
14:50:57 <mroman> :D
14:51:16 <mroman> http://mroman.ch/ESOSC/ESOSC-2014-D3-R4.TXT <- ok, that should fix that zero variables
14:52:20 <nortti> how about replacing " " with a space in general?
14:52:36 <mroman> I was just thinking about that too :D
14:52:56 <mroman> " " could be replaced with { space }
14:53:06 <mroman> so it would allow even stuff like "\x   y                z"
14:54:31 <mroman> k. updated R4 again.
14:54:46 -!- AnotherTest has quit (Ping timeout: 264 seconds).
14:54:48 <mroman> L, { space }, (variable, { space }), { variable, { space } },
14:56:30 -!- L8D has quit (Ping timeout: 256 seconds).
14:58:35 <mroman> Taneb: "this is what the format is"?
14:58:44 -!- Mackledoge has quit (Quit: Leaving).
15:02:13 -!- L8D has joined.
15:06:57 -!- L8D has quit (Ping timeout: 245 seconds).
15:07:17 -!- L8D has joined.
15:08:07 <Taneb> mroman, a canonical top grammar thing
15:08:11 <Taneb> LambdaExpression := ...
15:08:24 <HackEgo> [wiki] [[Brainfuck]]  http://esolangs.org/w/index.php?diff=42112&oldid=41856 * 160.85.232.191 * (+81) /* External resources */  adding ESOSC link.
15:08:38 <mroman> Taneb: that's "term"?
15:09:19 <mroman> hm.
15:09:23 <mroman> do you have a suggested wording?
15:09:32 <nortti> hmm, what happened to ESOSC brainfuck?
15:09:46 <mroman> nortti: I think it died due to no consent could be reached?
15:09:48 <Taneb> mroman, make that clear
15:10:22 <nortti> ah, ok. a bit confusing that it seems to have been skipped in numbering
15:10:46 <mroman> hm
15:10:46 <mroman> yeah
15:11:14 <mroman> lambda calculus syntax was D5
15:11:14 <mroman> so
15:11:19 <mroman> I guess I should keep it D5
15:11:22 <mroman> instead of D3
15:11:30 <nortti> what was D4?
15:11:40 <mroman> file extensions :)
15:11:42 -!- Frooxius has joined.
15:13:47 <mroman> Taneb: http://mroman.ch/ESOSC/ESOSC-2014-D5-R5.TXT <- like that
15:13:52 <mroman> or again: Suggested wording :D?
15:14:08 <Taneb> mroman, that's good
15:19:56 -!- Froox has joined.
15:23:34 -!- Frooxius has quit (Ping timeout: 264 seconds).
15:24:22 -!- Froox has quit (Ping timeout: 240 seconds).
15:28:25 -!- Fleur has joined.
15:31:57 -!- Frooxius has joined.
15:45:16 -!- FleurRose has joined.
15:47:31 -!- Fleur has quit (Ping timeout: 255 seconds).
15:47:43 -!- Tritonio_ has joined.
15:50:30 -!- Tritonio has quit (Ping timeout: 272 seconds).
15:53:21 -!- Tritonio_ has changed nick to Tritonio.
15:57:47 -!- ProofTechnique has quit (Ping timeout: 245 seconds).
16:03:37 <mroman> re
16:04:19 <mroman> 'aight. Then I guess it goes into waiting for approval state @ nortti Taneb 
16:06:09 <nortti> I approve
16:25:59 -!- ProofTechnique has joined.
16:28:44 -!- L8D has quit (Ping timeout: 246 seconds).
16:35:32 <Taneb> mroman, I also approve
16:36:09 -!- adu has joined.
16:38:25 -!- SopaXorzTaker has quit (Remote host closed the connection).
16:56:34 -!- L8D has joined.
16:59:58 -!- Sgeo_ has joined.
17:03:22 -!- Sgeo has quit (Ping timeout: 240 seconds).
17:06:46 <mroman> yay
17:12:11 <mroman> that makes A5 then
17:15:37 <int-e> wait, \x . y  is illegal?
17:16:20 <int-e> (and do you want printable letters or characters in variable names?)
17:16:38 -!- L8D has quit (Ping timeout: 272 seconds).
17:16:54 <int-e> finally I'd worry about associativity, since  a b c  can be parsed in two ways (though everybody knows which one is the "right" one)
17:18:52 <int-e> wouldn't this be simpler for "lambda"? lambda = L, { space }, { variable, { space } }, variable, { space }, ".", term
17:24:01 -!- Froox has joined.
17:26:22 -!- Froo has joined.
17:27:46 -!- Frooxius has quit (Ping timeout: 264 seconds).
17:28:28 -!- Frooxius has joined.
17:28:39 -!- Froox has quit (Ping timeout: 252 seconds).
17:28:39 <mroman> int-e: no. term has a leading { space }
17:29:11 <int-e> I was worried about the space before the .
17:29:28 -!- Froox has joined.
17:29:38 <mroman> no that's legal.
17:29:41 <int-e> I see now that this is allowed; I fail to see the purpose of the [ variable ]
17:29:55 <int-e> In any case the productions look unnecessarily complicated.
17:30:33 <int-e> (for lambda)
17:30:51 -!- Froo has quit (Ping timeout: 252 seconds).
17:31:16 -!- Froo has joined.
17:31:59 <mroman> L, { space }, { variable, { space } }, variable, { space }, ".", term; should indeed work
17:32:05 <mroman> and is more concise you're right.
17:32:59 -!- Frooxius has quit (Ping timeout: 250 seconds).
17:33:51 -!- Froox has quit (Ping timeout: 250 seconds).
17:37:14 <int-e> I would probably end up with something like  http://sprunge.us/SIfJ 
17:37:40 <int-e> (I mainly did that as an exercise for myself.)
17:41:31 -!- Froox has joined.
17:45:08 -!- Froo has quit (Ping timeout: 272 seconds).
17:46:02 -!- Froox has quit (Ping timeout: 252 seconds).
17:47:53 <int-e> Oh, writing parsers without tokenization is so tedious. Now "abc" can be up to three variables...
17:48:12 <int-e> s/parsers/grammars/
17:52:30 -!- Frooxius has joined.
17:53:30 -!- Sgeo has joined.
17:53:33 -!- Froox has joined.
17:54:19 -!- Sgeo__ has joined.
17:54:26 -!- Froo has joined.
17:56:01 -!- Sgeo_ has quit (Ping timeout: 244 seconds).
17:57:34 -!- Frooxius has quit (Ping timeout: 265 seconds).
17:58:05 -!- Sgeo has quit (Ping timeout: 244 seconds).
17:58:32 -!- Froox has quit (Ping timeout: 265 seconds).
18:13:13 -!- L8D has joined.
18:17:37 -!- L8D has quit (Ping timeout: 250 seconds).
18:18:37 -!- Sgeo has joined.
18:22:22 -!- Sgeo__ has quit (Ping timeout: 244 seconds).
18:52:34 -!- Sgeo_ has joined.
18:55:57 -!- Sgeo has quit (Ping timeout: 244 seconds).
19:00:23 -!- FleurRose has changed nick to Fleur.
19:17:34 <fizzie> Calling back to yesterday's discussion about the "single USB-C port only in MacBook Whateveritwas", apparently we just released an updated version of the "Pixel" Chromebook, and it has... a USB-C port both for charging and peripherals. (Except it's got two of those, and two regular USB 3 type-B ports. Also I think it's not quite as crazy-expensive as the old Pixel, even if it's still quite so.)
19:19:14 <fizzie> I'm not so happy about USB type-C ports in general, but I guess if it turns out all new laptops will use it for charging (instead of having custom charger ports) that's a win? 
19:20:09 <fizzie> "-- universal charger[3] make it easy to take Pixel anywhere --" "[3] Charger only works with USB Type-C devices."  nice footnote.
19:20:17 <fizzie> And/or nice definition of "universal".
19:21:14 <fizzie> (Also I meant type A ports instead of type B in the above. I keep mixing those up.)
19:22:35 <int-e> meh, another USB connector?!
19:23:08 <int-e> (old news apparently but I haven't been paying attention)
19:23:16 <fizzie> Yes, yes... but standardized chargers!
19:24:00 <fizzie> On the other hand, another USB connector. :/
19:27:23 <fizzie> Also the standard type C size is pretty small (not too much larger than micro-B), so maybe they won't make mini-C and micro-C next. (Yeah, right.)
19:33:02 -!- Sgeo has joined.
19:35:13 -!- Sgeo_ has quit (Ping timeout: 244 seconds).
19:35:46 -!- Froox has joined.
19:37:22 <int-e> and 24 pins, crazy.
19:39:02 -!- Froo has quit (Ping timeout: 245 seconds).
19:40:14 -!- Froox has quit (Ping timeout: 245 seconds).
19:47:23 -!- Frooxius has joined.
19:48:25 -!- Froox has joined.
19:49:19 -!- Froo has joined.
19:51:05 <int-e> `unidecode ᵤ
19:51:20 <HackEgo> ​[U+1D64 LATIN SUBSCRIPT SMALL LETTER U]
19:52:05 -!- Frooxius has quit (Ping timeout: 250 seconds).
19:52:16 -!- Frooxius has joined.
19:52:57 -!- Froox has quit (Ping timeout: 250 seconds).
19:53:37 -!- Froox has joined.
19:54:20 -!- Froo has quit (Ping timeout: 272 seconds).
19:56:52 -!- Frooxius has quit (Ping timeout: 240 seconds).
20:05:35 -!- adu has quit (Ping timeout: 252 seconds).
20:06:55 -!- boily has joined.
20:11:34 -!- `^_^v has quit (Ping timeout: 264 seconds).
20:13:47 -!- augur has quit (Quit: Leaving...).
20:36:02 -!- adu has joined.
20:40:33 -!- oren has joined.
20:41:08 <fizzie> int-e: Those are some pretty small pins.
20:41:13 <fizzie> int-e: Must be expensive to make, too.
20:41:55 <fizzie> (Well, that was just pure guesswork, I don't know anything about making hardware. Maybe it's not.)
20:43:22 -!- TieSoul_ has joined.
20:44:27 -!- Fleur has quit (Ping timeout: 252 seconds).
20:46:57 -!- TieSoul has quit (Ping timeout: 245 seconds).
20:48:38 -!- Fleur has joined.
21:02:15 -!- arjanb has quit (Quit: zzz).
21:04:25 -!- adu has quit (Quit: adu).
21:11:04 -!- Fleur has quit (Ping timeout: 255 seconds).
21:15:49 -!- oerjan has joined.
21:35:17 -!- sebbu2 has joined.
21:35:58 -!- sebbu2 has quit (Changing host).
21:35:58 -!- sebbu2 has joined.
21:36:46 -!- sebbu has quit (Ping timeout: 264 seconds).
21:42:39 -!- L8D has joined.
21:44:31 <oren> ok i'm an idiot. my monitor was glitching up, and i tried to screenshot it
21:44:57 <oren> obviously the computer has no idea about glitches in the monitor
21:45:06 -!- Tritonio has quit (Ping timeout: 252 seconds).
21:47:17 <oerjan> well at least it proves the error isn't somewhere earlier
21:49:15 <oren> true. clearly the error is between the display memory and the LCD panel
21:50:21 <oren> although I should have known that, given that I have been solving the glitches by punching the back of the screen
21:52:06 <oren> Someone should make a laptop with a webcam that points at the screen
21:53:22 -!- naturalog has quit (Ping timeout: 240 seconds).
21:54:55 <fizzie> Or maybe just a portable reflective surface you can hold in your hands.
21:55:11 <oerjan> now that's crazy talk
21:55:39 <boily> helloren. fizziello. hellørjan.
21:55:46 <fizzie> Hoily.
21:55:47 <boily> oren: what do you glitches look like?
21:55:49 <oerjan> hb
21:55:53 <boily> hø.
21:58:12 <oren> It looks like the screen freezing and then slowly turning white until I hit it
21:59:03 <FireFly> bohily
21:59:27 -!- ais523 has joined.
21:59:33 <boily> FirelloFly!
21:59:44 <boily> oren: ŏ_Ô?
22:00:08 -!- bb010g has quit (Quit: Connection closed for inactivity).
22:00:49 -!- naturalog has joined.
22:08:08 -!- TieSoul_ has quit (Quit: No Ping reply in 180 seconds.).
22:09:43 -!- TieSoul has joined.
22:13:25 -!- augur has joined.
22:31:15 <ais523> `unicode MINUS SIGN
22:31:21 <HackEgo> ​−
22:31:26 <ais523> thank you
22:32:18 <boily> `unidecode ―
22:32:30 <HackEgo> ​[U+2015 HORIZONTAL BAR]
22:32:31 -!- TieSoul has quit (Quit: No Ping reply in 180 seconds.).
22:34:05 -!- TieSoul has joined.
22:46:16 <oren> `unidecode -
22:46:26 <HackEgo> ​[U+002D HYPHEN-MINUS]
22:46:33 <oren> WTF
22:47:32 <oren> `unidecode ー一～
22:47:33 <HackEgo> ​[U+30FC KATAKANA-HIRAGANA PROLONGED SOUND MARK] [U+4E00 CJK UNIFIED IDEOGRAPH-4E00] [U+FF5E FULLWIDTH TILDE]
22:49:30 <ais523> that last one is a tilde
22:49:32 <ais523> not a horizontal line
22:49:52 <oren> `unidecode －
22:49:53 <HackEgo> ​[U+FF0D FULLWIDTH HYPHEN-MINUS]
22:50:04 <ais523> that's better
22:50:20 <oren> ＷＴＦ
22:51:21 <oren> 　[U+FFUU FULLWIDTH WHAT-THE-FUCK] 
22:51:50 <fizzie> `run unicode 'EN DASH' 'EM DASH'  # I'm missing a compose key
22:51:53 <HackEgo> ​–—
22:52:50 <fizzie> The difference between e{n,m} dashes is pretty subtle (if it even exists) on this particular monospace font.
22:53:06 <fizzie> Maybe that makes sense, given the names.
22:53:20 <lifthrasiir> ern dash
22:53:37 <lifthrasiir> (with a sufficiently miniscule keming)
22:53:39 <oren> On my terminal settings the em dash overlies the next charcter
22:53:55 <ais523> it's very clear in this proportional one
22:54:02 <ais523> but in a monospace font, 'm' and 'n' have the same width
22:54:10 <ais523> so you'd expect em and en dashes to have the same width, too
22:54:26 <fizzie> Yes, that was the "makes sense" part.
22:54:38 <oren> I think a lot of the characters are being taken from some other font who
22:54:53 <oren> is porposional
22:55:26 <oren> fuck speling
22:55:50 -!- Phantom_Hoover has joined.
22:56:12 <oren> Yeah. This font only supports characters from Shift-JIS
22:58:37 <boily> my apartment just vibrated, with a dull sound of somebody having tripped...
23:02:45 <oerjan> porpoisonal sound fonts
23:03:22 <oerjan> boily: is someone living upstairs twh
23:03:45 <oren> Interesting fact: shift-jis has twelve characters whose origins and meanings are entirely unknown:墸壥妛彁挧暃椢槞蟐袮閠駲
23:04:11 <oren> These later made it into unicode
23:04:35 <lifthrasiir> actually, 彁 is the only character with completely unknown origin
23:04:49 <oerjan> oren: they're a magical incantation that causes cthulhu to trip 5 minutes in the past hth
23:04:51 <lifthrasiir> others have partial infos about them available
23:05:42 <oren> Do they have a meaning?
23:07:10 <lifthrasiir> mostly transcription error.
23:07:32 <oren> Ah, that makes sense
23:07:44 <lifthrasiir> 彁 is unique because there is no clue about the origin of error (or if any, plausible origin)
23:08:04 <lifthrasiir> http://en.wikipedia.org/wiki/JIS_X_0208#Kanji_from_unknown_sources
23:08:49 -!- hjulle has quit (Ping timeout: 250 seconds).
23:10:55 <ais523> so, do those kanji have any actual pronunciation?
23:11:02 <boily> oren: there aren't nobody upstairs. and as far as I know, there is no upstairs.
23:11:13 <ais523> I'm guessing no, because IIRC you cant pronounce a kanji just from its shape
23:11:33 <boily> I'm sure some demented entomologist'll come with a meaning for 蟐 someday.
23:11:34 <lifthrasiir> ais523: in fact, to some degress, you can.
23:11:47 <oren> http://kanjitisiki.com/yuureimozi/ Some have pronounciations listed on this website
23:11:54 * oerjan swats boily -----###
23:12:01 <boily> hi hi hi ^^
23:12:09 <oren> boily: heh
23:12:10 <lifthrasiir> most kanjis (or hanjas or hanzis, anyway) are phono-semantic compounds and their sounds can be inferred from a part of the character
23:12:19 <fizzie> Hm. I tried to find a lounge with a VW bus in it, but only found a Star Trek corridor, a ball pit, and a pile of rooms named after Star Trek characters. I think I'm in the wrong building.
23:12:27 <oren> oh, yeah. "read the side"
23:13:06 <lifthrasiir> (when I say "most", I really mean about 90%)
23:14:28 <boily> fizzie: ask Taneb. he has experience being sci-filly mislead.
23:14:40 <boily> (btw, what is the adverb for sci-fi?)
23:16:05 <ais523> I'm not sure you can make arbitrary noun modifiers into adverbs
23:16:58 -!- L8D has quit (Ping timeout: 264 seconds).
23:17:02 <Phantom_Hoover> sci-fial?
23:17:24 <Phantom_Hoover> i've seen SFnal used seriously, though that is of course a different abbreviation
23:17:36 <elliott> I had a dream where some asshole joined this channel and /msg'd me multiple times when I was asleep to tell him to take his side in arguments and enforce it with op powers
23:17:39 <elliott> psa: don't be an asshole
23:18:24 <oren> sci-fi -> science-fiction -> science-fictionally ->  scifixily
23:19:05 <fizzie> boily: Found the bus. I was in fact in the wrong building.
23:19:10 <oren> But  SFnaly
23:19:16 <oren> is shorter
23:21:34 * oerjan hasn't got to the part of the log with elliott's dreams in it yet
23:22:12 <boily> fizzie was in the wrong building. oren drives the bus.
23:22:27 <oren> Hmm... it seems that while the On-yomi generally follow the "read the side" rule, the kun-yomi are all over the place. makes sense i guess since the kun-yomi are just japanese words assigned to a chinese character with a close meaning
23:22:54 <lifthrasiir> yes, that's completely arbitrary
23:23:02 <boily> on'yomi are easier than their kunterparts.
23:23:10 <oren> WWWWW
23:23:26 <oren> WWWWWW is much easier to type than lololol
23:23:52 <ais523> I'm not sure
23:23:59 <ais523> alternating between two characters is often faster than spamming one
23:24:05 <ais523> lololololololololololololol
23:24:09 <ais523> wwwwwwwwwwwwwwwwwww
23:24:12 <ais523> yep, the ws are more painful
23:24:13 <lifthrasiir> wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
23:24:17 <elliott> oerjan: er, I just woke up and said that now.
23:24:29 <oerjan> ais523: you forgot to capitalize the ws too
23:24:40 <ais523> oerjan: assume I have a caps lock key
23:24:50 <ProofTechnique> People still have those?
23:24:58 <boily> my caps lock key was remapped to Esc a long, long time ago.
23:25:07 <ProofTechnique> Also, I hope you have a terrible sense of humor, or you will definitely get RSI.
23:25:10 <oerjan> elliott: i am sorry, i am going to assume your dream was psychic until i've finished the logs hth
23:25:11 <oren> Um, I don't "spam" W I hold it down
23:25:11 <boily> also, as a pianist expert I say lol is easier than www.
23:25:31 <boily> oren: neophyte. plebeian. real men spam w.
23:25:45 <ProofTechnique> oren: You take your reasonableness elsewhere
23:25:49 <ais523> holding it down's limited by the keyboard repeat rate
23:25:56 <ProofTechnique> Whippersnappers with their key repeat
23:26:02 <ais523> I guess you could increase the keyboard repeat rate just to spam nicovideo more easily
23:26:09 <lifthrasiir> my keyboard's repeat rate is sufficiently high that I have no problem spamming wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
23:26:30 <tswett> 32iw<ESC>
23:26:51 <lifthrasiir> good try.
23:26:56 <oerjan> > repeat'w'
23:26:57 <lambdabot>  Not in scope: ‘repeat'w'’
23:27:01 <oerjan> argh
23:27:12 <oerjan> saved by the syntax bell
23:27:15 <lifthrasiir> 'w' looks like a face of some animal
23:27:25 <elliott> oerjan: when I "woke up" in the dream I was grouchy but vaguely satisfied by the thought that he's probably the one I should ban instead
23:27:32 <oerjan> lifthrasiir: it's a vampire bat hth
23:28:00 <oren> (ôwô)
23:28:14 <Melvar> >ω>
23:28:27 <oerjan> owl
23:28:40 <oerjan> the only word that's an emoticon of itself
23:28:49 <Melvar> That would have a v, would it not?
23:29:20 <oerjan> this owl is from the czernobyl area hth
23:29:38 <boily> TIL a chernobyl owl represents itself when written.
23:30:10 <FireFly> "chernobyl owl" doesn't look like I imagine a chernobyl owl would look like, to me
23:31:00 -!- L8D has joined.
23:31:06 <ProofTechnique> Chernobyl Owls are very important in representation theory
23:31:53 <oren> 🐦
23:32:42 <oren> Unicode doesn't appear to have an owl yet
23:33:02 <ProofTechnique> What a travesty
23:34:37 <ProofTechnique>      ) \___/ (
23:34:37 <ProofTechnique>   { ( @)v(@ ) }
23:34:37 <ProofTechnique>    { |  ~~~  | }
23:34:37 <ProofTechnique>   { /  ^^^^  \ }
23:34:37 <ProofTechnique> ___`m – m`__
23:37:38 <oren> At least I can say 🔨 💻 💥
23:37:44 -!- boily has quit (Quit: PRISMATIC CHICKEN).
23:38:27 <oerjan> `unidecode 🔨 💻 💥
23:38:35 <HackEgo> U+1F528 HAMMER \ UTF-8: f0 9f 94 a8  UTF-16BE: d83ddd28  Decimal: &#128296; \ 🔨 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \  \ U+0020 SPACE \ UTF-8: 20  UTF-16BE: 0020  Decimal: &#32; \   \ Category: Zs (Separator, Space) \ Bidi: WS (Whitespace) \  \ U+1F4BB PERSONAL COMPUTER \ UTF-8: f0 9f 92 bb  UTF-16BE: d83ddcbb  Decimal: &#
23:38:41 -!- bb010g has joined.
23:38:47 <oerjan> `unidecode 💥
23:38:54 <HackEgo> U+1F4A5 COLLISION SYMBOL \ UTF-8: f0 9f 92 a5  UTF-16BE: d83ddca5  Decimal: &#128165; \ 💥 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals)
23:40:30 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
23:41:07 <oren> Or I can tell a story: 👮 💴 👯 👇 👄 👅
23:41:29 -!- L8D has quit (Ping timeout: 245 seconds).
23:41:59 -!- L8D has joined.
23:44:04 <ProofTechnique> Yikes
23:44:39 <oren> I have no idea why "woman with bunny ears" is a legitimate unicode character
23:44:51 <oren> but I think I just used it correctly
23:50:10 <oerjan> elliott: nothing in the logs, i guess your dream must be precognitive then hth
23:50:51 <ais523> oren: emoticons most likely
23:51:22 <elliott> oerjan: yikes
23:52:04 <oren> 👨 💸 📉 💢 ; 👨 💴 👔 ,💥 📈 -- if only this were true
23:53:01 <ProofTechnique> Stress out about losing money. Buy suit. Explosive growth?
23:53:15 <oren> Yah
23:54:36 <oren> Unfortunately wearing a suit has virtually no effect on how much money you make...
23:56:46 <ProofTechnique> Though how much money you make can have an effect on how many suits you wear. Or how many suits you make, depending on what side of things you're one.
23:56:53 <ProofTechnique> *on
23:58:20 -!- Froo has joined.