00:05:29 <hppavilion[1]> boily: That's a tough question. Water where there's more ice than liquid water perhaps?
00:06:06 <hppavilion[1]> I don't like soda, and if you were on at the time you'd know I'm too young to consume alcohol legally in America, so my options are limited to water and chocolate milk, really.
00:06:24 <coppro> boily: what's the other?
00:07:38 <boily> hppavilion[1]: coffee, tea, yerba mate, kombucha, kvass, mango lassi?
00:08:01 <boily> chelloppro. I'm still thinking about it. probably fungotland.
00:08:01 <fungot> boily: be in cahoots with! you guess none the wiser, you board the shuttle. next stop, it's unbecoming these movies are great. you don't care what the consequences. they allude to other things as well?
00:08:09 <hppavilion[1]> boily: Don't like coffee, not british, don't know what the rest of thoe are (though I can guess that the last one contains Mangos xD)
00:09:07 <boily> a lassi is a yogurty drink.
00:15:56 <pikhq> Mango lassi is pretty good.
00:17:53 <boily> pikhelloq. any beveragey preferences?
00:25:00 <tswett> Is a lassi similar to irssi?
00:27:14 <\oren\> konboilyha, quintossupia, tswello, hippavilion[1]!!!!
00:28:55 <\oren\> screw it. ni hao, pikhq
00:30:01 <boily> quintopia: I never tried horchata nor glogg. are they good?
00:31:36 <pikhq> boily: I like coffee, I like beer, I like tea, I like yerba, I like mango lassi, I like soda...
00:31:41 <pikhq> My fav soda is Dr Pepper.
00:32:49 <tswett> Ooh, I like boily's greeting.
00:37:55 <\oren\> lifthrasiir: Wow, you added Armenian already!
00:40:54 <boily> lifthellorasiir. do you have a link to your font?
00:45:26 <\oren\> boily: lifthrasiir's font is at https://lifthrasiir.github.io/unison/sample.html
00:46:10 <HackEgo> [wiki] [[COW]] http://esolangs.org/w/index.php?diff=45818&oldid=40934 * PixelToast * (+3593) Added instructions and hello world code
00:46:18 <^v> my first contribution to the wiki \o/
00:53:59 <boily> (or is it hellov?)
00:54:21 <hppavilion[1]> You know what an awesome way to annoy other mathematicians would be?
00:55:00 <hppavilion[1]> Write "(modulus ∞)" after every formula that isn't "(modulus <n>)"
00:56:02 -!- sebbu has quit (Ping timeout: 272 seconds).
00:56:19 <lifthrasiir> \oren\: that was the next alphabet after Cyrillic :p
00:56:33 <lifthrasiir> and my tear was shed when I saw the Armenian Eternity Sign
00:58:11 -!- sebbu has joined.
01:03:08 <\oren\> ha. \(\textrm{modulo}\;\infty\)
01:03:47 <tswett> Congruent mod infinity. I like it.
01:04:57 <lifthrasiir> tswett: can be an actually useful concept when you have a cardinal or ordinal number :p
01:13:19 <boily> what's an abita about?
01:16:51 <oerjan> boily: abita this and abita that
01:19:54 <boily> sorry, was midway through supper.
01:20:08 * boily flexes, practices a few swings
01:20:42 * oerjan sails 30 m through the air
01:21:08 <boily> a perfectly parabolical tragectory.
01:39:24 <boily> AAAAAAAAAAAAAAAAAAAAAAAAAAARGH!
01:39:29 <boily> a fungotting newt killed me.
01:39:29 <fungot> boily: only one of the previously mentioned it is your birthday. a number of cakes are scattered about your room. you of course it was a nasty pair of trick! he has to go on crazy.
01:39:50 <boily> fungot: my birthday is in some days.
01:39:50 <fungot> boily: that happens, right. the old things i've been angry about.
01:39:58 <boily> fungot: once per year.
01:39:58 <fungot> boily: a young man stands in his bedroom.
01:40:04 <boily> fungot: I'm sitting.
01:41:19 <fungot> zgrep: you you might be here too. minus 5 build a way up the echeladder a while.
01:46:09 <quintopia> oerjan: I be to this I be to that?
01:49:24 -!- mihow has quit (Quit: mihow).
01:49:46 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
01:56:56 -!- pikhq has quit (Remote host closed the connection).
01:57:04 -!- pikhq has joined.
01:57:51 -!- hppavilion[1] has joined.
02:03:33 -!- boily has quit (Quit: PROTECTED CHICKEN).
02:17:03 -!- jaboja has quit (Read error: Connection reset by peer).
02:17:46 -!- jaboja has joined.
02:17:50 <lifthrasiir> just started using Unison as a terminal font.
02:18:25 <lifthrasiir> not that bad, except that it does not have a fine-tuned bitmap glyph in smaller size
02:19:55 <Phantom_Hoover> was there a conversation in here where people figured out that recent spectral gap uncomputability result yet
02:20:08 <Phantom_Hoover> because these guys are making some p. dubious claims about axiomatic independence
02:23:19 <Phantom_Hoover> they seem to construct a universal wang tiling in the appropriate context, but that doesn't give you independence... right?
02:30:20 -!- mauris has joined.
02:32:58 * oerjan declares this question over his head
02:34:29 <oerjan> oh, new shtetl optimized post
02:38:58 <\oren\> lifthrasiir: you have it in ttf?
02:39:29 <lifthrasiir> https://github.com/lifthrasiir/unison/blob/gh-pages/unison.ttf
02:40:09 <lifthrasiir> it is not optimized at all, have some performance problem (due to a large number of composite glyphs I think)
02:41:13 <\oren\> what't the native size?
02:41:58 <\oren\> ah ok, then I don't need to adjust the size
02:41:59 <lifthrasiir> it does not have a bitmap info (yet), so subpixel rendering is up to the rendering engine
02:42:25 <lifthrasiir> in my terminal (PuTTY) the half-filled pixel seems to be too bright
02:42:45 <lifthrasiir> ultimately a proper hinting and/or bitmap data should be added to solve that
02:42:57 <\oren\> I'm using a variant of putty
02:45:31 <HackEgo> bash: u8tbl: command not found
02:45:45 <HackEgo> ¡¢£¤¥¦§¨©ª«¬®¯ \ °±²³´µ¶·¸¹º»¼½¾¿ \ ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏ \ ÐÑÒÓÔÕÖ×ØÙÚÛÜÝÞß \ àáâãäåæçèéêëìíîï \ ðñòóôõö÷øùúûüýþÿ \ Ā
02:46:10 -!- andrew has joined.
02:46:39 <\oren\> `` ./u8tbl 0x100 0x17f
02:46:40 <HackEgo> ĀāĂ㥹ĆćĈĉĊċČčĎď \ ĐđĒēĔĕĖėĘęĚěĜĝĞğ \ ĠġĢģĤĥĦħĨĩĪīĬĭĮį \ İıIJijĴĵĶķĸĹĺĻļĽľĿ \ ŀŁłŃńŅņŇňʼnŊŋŌōŎŏ \ ŐőŒœŔŕŖŗŘřŚśŜŝŞş \ ŠšŢţŤťŦŧŨũŪūŬŭŮů \ ŰűŲųŴŵŶŷŸŹźŻżŽžſ
02:48:18 <oerjan> `` mv u8tbl bin; mv u8tbl.c src
02:50:32 <HackEgo> bash: utf8tbl: command not found
02:52:58 <hppavilion[1]> Why does a cubic function never actually loop back down when I graph it?
02:53:12 <hppavilion[1]> It appears to flatten out in the middle before going up, but it never dips
02:55:29 <oerjan> well if its derivative never crosses zero, that would happen
02:56:24 <oerjan> but x^3 - C x for C > 0 will
02:57:46 <oerjan> (derivative being 3*x^2 - C)
03:03:32 -!- jaboja has quit (Ping timeout: 256 seconds).
03:12:11 -!- aloril has quit (Ping timeout: 260 seconds).
03:26:07 -!- aloril has joined.
03:28:55 -!- tromp has joined.
03:29:52 <\oren\> lifthrasiir: those look halfwidth to me
03:31:26 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:31:45 <\oren\> http://www.orenwatson.be/sjdjs.png
03:41:25 <\oren\> i also updated my font
04:01:32 -!- aretecode has quit (Read error: Connection reset by peer).
04:01:54 -!- ^v^v has joined.
04:10:18 <hppavilion[1]> If we can define algebras, can we define trigonometries?
04:10:38 <hppavilion[1]> I'd like to see Kleene Trig so I can figure out what sin("walrus") is
04:10:51 -!- glowcoil has changed nick to incomprehensibly.
04:13:33 <hppavilion[1]> \oren\: Have any idea how I could go about doing that?
04:13:54 <hppavilion[1]> (Oh, and in the case of sin("walrus"), we're dealing with the ASCIIbet)
04:24:56 -!- v^ has joined.
04:25:10 <hppavilion[1]> https://upload.wikimedia.org/wikipedia/commons/9/9d/Circle-trig6.svg
04:25:36 <hppavilion[1]> And that doesn't take into account a..., ...h, and a...h
04:27:15 -!- ^v^v has quit (Ping timeout: 240 seconds).
04:27:24 <hppavilion[1]> What happens if we use rectangles instead of right triangles?
04:35:41 <hppavilion[1]> Ugh. Why doesn't math support ALL the trig functions? xD
04:43:18 <oerjan> mainly because everything beyond sin, cos, and arctan can be easily rewritten in terms of those
04:43:59 <oerjan> iirc sec x is just 1 / cos x for example
04:44:31 <oerjan> (we didn't even learn those in high school afair)
04:49:20 <shachaf> I got the vague impression those were only used in the US these days.
04:52:32 -!- tromp has quit (Remote host closed the connection).
04:53:17 -!- tromp has joined.
04:53:24 <lifthrasiir> \oren\: yeah, same to me (the eterenity signs I meant)
04:53:35 <lifthrasiir> not sure but probably PuTTY has its own wcwidth impl?
04:54:18 <lifthrasiir> I seriously don't like the wcwidth approach at all
04:56:50 -!- PupUser0443db has joined.
04:57:46 -!- PupUser0443db has left.
05:03:47 -!- tromp has quit (Ping timeout: 250 seconds).
05:14:27 <hppavilion[1]> oerjan: Is there a place where I can find a table of those definitions?
05:26:58 <oerjan> atan is what you need for the inverses.
05:27:02 <hppavilion[1]> And would I be right to assume you just divide by the inverse to get the inverse of the derived function?
05:28:08 * oerjan seems to have half forgotten the rule for differentiating inverses
05:28:34 <oerjan> f(g(x)) = x gives g'(x)*f'(g(x)) = 1
05:29:23 <oerjan> so (f^-1)'(x) = 1/f'(f^-1(x))
05:30:14 <oerjan> the inverse of the derived function may not be that easy.
05:31:05 -!- tromp has joined.
05:35:25 -!- tromp has quit (Ping timeout: 250 seconds).
05:46:15 -!- andrew has quit (Ping timeout: 250 seconds).
05:46:43 -!- andrew has joined.
06:11:06 -!- Phantom_Hoover has joined.
06:29:53 -!- Phantom_Hoover has quit (Remote host closed the connection).
06:32:31 -!- tromp has joined.
06:37:10 -!- tromp has quit (Ping timeout: 256 seconds).
07:29:56 -!- oerjan has quit (Quit: leaving).
07:31:26 -!- Welo has joined.
07:35:12 -!- Patashu has joined.
07:39:16 -!- Patashu has quit (Remote host closed the connection).
07:39:37 -!- Patashu has joined.
07:40:06 -!- hppavilion[1] has quit (Ping timeout: 272 seconds).
07:43:32 -!- hppavilion[1] has joined.
08:04:14 -!- Welo has quit (Quit: Leaving).
08:27:42 -!- mroman has joined.
08:30:08 -!- hppavilion[1] has quit (Ping timeout: 272 seconds).
08:31:05 -!- hppavilion[1] has joined.
08:38:26 -!- J_Arcane has quit (Ping timeout: 256 seconds).
08:52:24 -!- AnotherTest has joined.
08:57:04 <b_jonas> hppavilion[1]: ise the power series
08:59:13 <b_jonas> hppavilion[1]: "I'd like to see Kleene Trig so I can figure out what sin("walrus") is"
09:01:50 -!- tromp has joined.
09:03:25 -!- AnotherTest has quit (Ping timeout: 250 seconds).
09:04:12 <b_jonas> \oren\: for your font samples, maybe you should separate the sample texts to a different page from the characters, and then add Japanese sample text
09:04:20 -!- hppavilion[1] has quit (Ping timeout: 272 seconds).
09:04:57 <b_jonas> \oren\: and I'd also like to see sample text of serbian or similar
09:05:05 <b_jonas> (that is, serbian or macedonian mostly)
09:05:26 <b_jonas> serbian cyrillic or macedonian
09:06:52 -!- tromp has quit (Ping timeout: 272 seconds).
09:15:12 -!- AnotherTest has joined.
09:16:24 <b_jonas> \oren\: more about your font. it seems to me as if the deseret letter es ("𐐝" and "𐑅") is mirrored from how it should look like
09:18:13 <b_jonas> \oren\: also, in the demo page, I think it would be better if the deseret letters were presented so that the capital letters take up only two lines, not two and a half, and then the small letters take up two lines in the same arrangement
09:19:55 -!- v^ has quit (Read error: Connection reset by peer).
09:22:24 <b_jonas> (I don't much like Deseret, but if you have it in your font, do it properly.)
09:28:46 -!- AnotherTest has quit (Ping timeout: 240 seconds).
09:35:02 <b_jonas> Anyway, even though there's still many things to be done, I declare my project of moving to the new apartment a success in easy mode.
09:35:55 -!- AnotherTest has joined.
09:36:53 -!- ais523 has joined.
10:10:12 -!- ^v has quit (Ping timeout: 272 seconds).
10:45:39 -!- ais523 has quit.
10:46:35 -!- ais523 has joined.
10:51:10 -!- KOKOLY has joined.
10:59:27 -!- KOKOLY has left ("Closing Window").
11:11:00 -!- ais523 has quit.
11:11:58 -!- ais523 has joined.
11:19:30 -!- choochter has joined.
11:37:27 -!- boily has joined.
11:41:00 <HackEgo> l/L is far too short to be a village in Wales.
11:43:45 -!- AnotherTest has quit (Ping timeout: 250 seconds).
11:52:23 -!- ais523 has quit.
11:52:35 -!- ais523 has joined.
12:04:33 -!- FreeFull has quit (Ping timeout: 250 seconds).
12:05:43 -!- FreeFull has joined.
12:06:44 -!- Patashu has quit (Ping timeout: 272 seconds).
12:10:45 -!- AnotherTest has joined.
12:16:34 -!- ais523 has quit (Quit: lunch).
12:24:16 -!- jaboja has joined.
12:31:01 -!- boily has quit (Quit: TRAVERSABLE CHICKEN).
12:40:57 -!- AnotherTest has quit (Ping timeout: 250 seconds).
12:42:47 -!- AnotherTest has joined.
12:43:07 <fizzie> Very meta; this spam email claims "Your account was detected spam activities and will be fully blocked" (sic), and includes a very spammy-looking "Re-activate now" link into masseyclarkfischer.com/upload/wp-serv/[random garbage].php.
12:47:49 <fizzie> NOTE: Failure to respond to this message, your account will be deactivated from the database.
12:48:19 -!- tromp has joined.
12:49:27 <int-e> fizzie: that's how you know it's serious
12:50:58 <int-e> today's been boring on the spam front for me; all I got was an attachment: payment form authentification.rar
12:52:08 <int-e> been a while since I saw a rar file
12:52:39 -!- tromp has quit (Ping timeout: 250 seconds).
12:52:41 <fizzie> I also got a lot of "find people to date" spam that was in Swedish, over the last week or two, though now it seems to have dried up.
12:52:57 <fizzie> There are some copy_invoice_29845318
12:53:11 <fizzie> Er, copy_invoice_NNNNNNNN.zip's, is what I meant to say.
12:53:22 <nchambers> I always just get the generic ones :L
12:53:26 <fizzie> The dreaded backspace/enter conflict hit again.
12:53:43 <fizzie> "This e-mail is pursuant to your contract with Foreman&Clark Ltd. for ourservices date November 15, 2015 for the amount of $5,487."
12:54:12 -!- andrew has quit (Remote host closed the connection).
12:54:50 <fizzie> That was from "Morton Fitzpatrick, Sales Manager". There's another message sent few hours later naming the same company but an amount of $5,633, sent by "Ulysses Small, Sales Manager".
12:55:01 <fizzie> They've got a lot of Sales Managers at Foreman & Clark Ltd.
12:56:56 -!- TodPunk has quit (Read error: Connection reset by peer).
12:57:03 -!- Tod-Autojoined has joined.
13:01:44 -!- ais523 has joined.
13:01:55 -!- ais523 has quit (Changing host).
13:01:55 -!- ais523 has joined.
13:04:17 -!- ais523 has quit (Client Quit).
13:04:44 -!- ais523 has joined.
13:10:23 <HackEgo> [wiki] [[Minsky machine]] http://esolangs.org/w/index.php?diff=45819&oldid=15064 * Ais523 * (+39) /* See also */ +[[Portable Minsky Machine Notation]] (which hopefully won't stay red for long)
13:12:33 <HackEgo> [wiki] [[Portable Minsky Machine Notation]] N http://esolangs.org/w/index.php?oldid=45820 * Ais523 * (+6306) Minsky machines are something I discuss a lot (especially recently), and are a well-known and useful system for TCness proofs; it's about time they had the extra practical stuff (notation, etc.) to make them an actual language
13:13:03 <HackEgo> [wiki] [[Portable Minsky Machine Notation]] M http://esolangs.org/w/index.php?diff=45821&oldid=45820 * Ais523 * (+0) typo
13:13:36 <HackEgo> [wiki] [[Portable Minsky Machine Notation]] M http://esolangs.org/w/index.php?diff=45822&oldid=45821 * Ais523 * (+0) apparently I mentally pronounce hyphens and spaces the same way
13:14:51 <HackEgo> [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=45823&oldid=45750 * Ais523 * (+39) /* P */ +[[Portable Minsky Machine Notation]]
13:15:29 <HackEgo> [wiki] [[User:Ais523]] http://esolangs.org/w/index.php?diff=45824&oldid=45751 * Ais523 * (+38) +1
13:20:11 <ais523> fwiw, if you see me create a language page with neither "implemented" nor "unimplemented" on it
13:20:22 <ais523> it's because an implementation exists but possibly should never be exposed to the public
13:21:53 <HackEgo> [wiki] [[Kangaroo]] N http://esolangs.org/w/index.php?oldid=45825 * Ais523 * (+7655) another language I found lying around as a result of [[The Amnesiac From Minsk]] experiments; I'm pretty sure you can compile this one into level 3, but don't have more than a proof sketch yet
13:23:22 <HackEgo> [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=45826&oldid=45823 * Ais523 * (+15) /* K */ +[[Kangaroo]]
13:24:04 <HackEgo> [wiki] [[User:Ais523]] http://esolangs.org/w/index.php?diff=45827&oldid=45824 * Ais523 * (+14) +1
13:24:16 <ais523> b_jonas: so wrt your comment a while back about needing to be able to actually run esolangs
13:24:34 <ais523> my current goal is to write a PMMN compiler that's fast enough to run an Underlambda interp that's written in PMMN
13:24:34 -!- ais523 has quit.
13:24:51 -!- ais523 has joined.
13:25:07 <ais523> <ais523> my current goal is to write a PMMN compiler that's fast enough to run an Underlambda interp that's written in PMMN
13:25:13 <ais523> also to write an Underlambda interp in PMMN
13:29:39 -!- ais523 has quit (Read error: Connection reset by peer).
13:30:41 -!- ais523 has joined.
13:32:18 <ais523> nchambers: http://esolangs.org/wiki/Portable_Minsky_Machine_Notation
13:32:30 <ais523> i.e. basically minsky machines with actual syntax, rather than being a mathematical conceptualization
13:47:39 <ais523> actually I'm on my second attempt now, once I realised that using single static assignment would solve a lot of problems (while introducing new ones)
13:48:43 -!- spiette has joined.
13:49:55 -!- ais523 has quit.
13:51:02 -!- clog has quit (Ping timeout: 260 seconds).
13:57:34 -!- mbrcknl has quit (Ping timeout: 260 seconds).
13:59:11 -!- mbrcknl has joined.
14:12:29 -!- Sgeo has joined.
14:15:36 -!- Sgeo__ has quit (Ping timeout: 256 seconds).
14:49:45 -!- tromp has joined.
14:54:08 -!- tromp has quit (Ping timeout: 256 seconds).
14:55:00 -!- J_Arcane has joined.
14:58:23 -!- jaboja64 has joined.
15:01:46 -!- jaboja has quit (Ping timeout: 240 seconds).
15:44:49 -!- clog has joined.
16:15:00 -!- mroman has quit (Quit: Lost terminal).
16:39:49 -!- LuboBike has joined.
16:40:27 -!- LuboBike has quit (Client Quit).
16:41:14 -!- J_Arcane has quit (Ping timeout: 256 seconds).
16:56:11 -!- AnotherTest has quit (Ping timeout: 250 seconds).
17:04:59 -!- vanila has joined.
17:05:10 <vanila> has anyone read this new quantum mechanical undecidability result?
17:06:07 <vanila> http://phys.org/news/2015-12-quantum-physics-problem-unsolvable-godel.html
17:22:10 <APic> Is there a Hello-World-Program in Malbolge yet with correct Caps?
17:22:38 <APic> http://rosettacode.org/wiki/Hello_world/Text
17:22:59 <APic> Ok, not mixed CAPS
17:24:12 <b_jonas> APic: I think there is. have you looked at http://esolangs.org/wiki/Malbolge ?
17:25:33 <APic> http://acooke.org/malbolge.html is the one with mixed Case which i remembered
17:26:40 <APic> http://rosettacode.org/wiki/Category:Programming_Tasks and http://rosettacode.org/wiki/Category:Simple shall allow me to write my own
17:46:06 <b_jonas> If I see a compiler error message in a bug report, and recognize that it's probably from clang, does that mean I'm programming C too much?
17:49:17 -!- hppavilion[1] has joined.
17:54:35 -!- hppavilion1 has joined.
17:56:36 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
18:01:37 -!- hppavilion1 has quit (Ping timeout: 250 seconds).
18:02:18 -!- Welo has joined.
18:04:12 -!- hppavilion1 has joined.
18:06:13 -!- tromp has joined.
18:10:12 -!- hppavilion1 has quit (Ping timeout: 256 seconds).
18:10:26 -!- tromp has quit (Ping timeout: 240 seconds).
18:17:10 -!- vanila has left ("Leaving").
18:18:02 -!- hppavilion1 has joined.
18:18:56 <b_jonas> fungot, do you like butterflies?
18:18:56 <fungot> b_jonas: of apocalypse your thoughts on these developments in your gamefaqs walkthrough/ journal. it can only be a moment. it's a pretty sweet weapon with outstanding juice windfall
18:28:36 -!- AnotherTest has joined.
18:34:02 -!- Phantom_Hoover has joined.
18:53:04 -!- Welo has quit (Quit: Leaving).
19:02:58 <lifthrasiir> I've eliminated many intermediate glyphs that are redundant in the truetype font
19:03:01 <hppavilion1> I have given up the C++ implementation of W'' for now and am just implementing it in Python
19:04:24 <b_jonas> lifthrasiir: as in, automatically?
19:05:24 <lifthrasiir> unison.ttf: 733K -> 654K, unison.woff2: 60K -> 46K
19:05:42 <b_jonas> lifthrasiir: will you draw the punctuation characters required for Korean, and then render samples of actual Korean text with the font, so that people can judge aesthetics and readability more than from just the list of characters?
19:06:09 <hppavilion1> It's equivalent to "`BACK_ROT_LONG_FAR" in W''
19:06:49 <lifthrasiir> b_jonas: hmm, would UDHR be enough? (as in http://unicode.org/udhr/ )
19:09:04 <b_jonas> lifthrasiir: maybe? I don't know, I don't read Korean.
19:10:58 <b_jonas> I also don't know how many punctuation characters you need for typical texts. I assume you need the dot and the comma, but I don't know how much else.
19:11:21 <lifthrasiir> b_jonas: Korean text generally uses same punctuations as western scripts.
19:11:39 <b_jonas> what? doesn't it use Japanese punctuation marks?
19:11:46 <b_jonas> how would those fit in a grid?
19:12:20 <b_jonas> I sort of have the impression that Korean has basically the same grammar as Japenese
19:13:03 <lifthrasiir> that's approximately correct, but Korean writing is much more similar to English writing in general
19:13:42 <b_jonas> Similar in what ways? That there are letters that correspond to pronunciation more or less, as opposed to half of the text being written in kanji?
19:15:06 <lifthrasiir> b_jonas: words are separated by spaces, (half-width) period, comma, quotes, excl. mark, ques. mark is in common use (ideographic punctutations were used from time to time but almost extinct nowadays)
19:15:32 <lifthrasiir> you can, though, say that there are some unique punctuations like middle dots in Korean writing
19:15:48 <b_jonas> Sure, European languages have lots of unique punctuation too.
19:16:16 <b_jonas> And different rules for the common punctuation too.
19:16:58 <lifthrasiir> anyway, I'm using it as a terminal font at work
19:17:20 <lifthrasiir> and have fixed some glyphs yesterday in response to that
19:17:29 <b_jonas> What do you have in the terminals? Code, English text, Korean text, text in other languages?
19:18:04 <lifthrasiir> thus code, English text and Korean text are expected
19:24:09 <b_jonas> non-syllables? as in kanjis?
19:24:23 <b_jonas> I thought those were rarely used these days
19:25:11 <lifthrasiir> b_jonas: well, jamos by themselves are used like acronyms or so
19:25:31 <lifthrasiir> of course, they should be common in the IRC log
19:25:51 <b_jonas> so they're like syllables but are missing the medial or the initial?
19:26:14 <lifthrasiir> maybe the abbreviation should be a better description
19:26:25 <lifthrasiir> the actual pronunciation is not set in stone
19:26:46 <b_jonas> how many of these are there?
19:27:46 <b_jonas> by the way, have you drawn all the syllables in modern use? the set seemed complete enough to me, but I wouldn't have noticed if some were missing
19:28:00 <lifthrasiir> 19 initials, 21 medials, 27 finals make about 50 of them (without duplicates)
19:28:12 <lifthrasiir> yeah, 11,172 syllables in the modern Hangul
19:28:38 <lifthrasiir> the ancient Hangul in the precomposed form would fill the entire Unicode planes
19:29:46 -!- hppavilion1 has quit (Ping timeout: 240 seconds).
19:33:26 -!- hppavilion1 has joined.
19:36:42 <hppavilion1> Are there elliptic equivalents of the trigonometric functions? e.g. sine(x) (not to be confused with the sine of x, sine is elliptical sine by analogue to sinh)
19:39:12 <hppavilion1> (Is that a thing? If superelliptical geometry can be a thing, then square geometry is definitely a thing...)
19:42:47 -!- hernandes has joined.
19:44:35 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: welcome.es: not found
19:44:41 <mauris> that isn't the command, is it
19:45:41 <HackEgo> 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.)
19:46:21 <mauris> nah, the one aimed at spanish users who stumble in here
19:46:26 <hernandes> my name is:yorhelsing soto later 10 hablo en ingles pero no mucho
19:46:41 <HackEgo> ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en EFnet o DALnet.)
19:47:50 <mauris> la mayoría de nosotros no hablamos español, hernandes! lo siento
19:48:23 -!- hernandes1 has joined.
19:48:32 -!- hernandes has quit (Quit: Leaving.).
19:48:52 <hppavilion1> mauris: Out of curiosity, what are the spanish-speaking users who stumble in here expecting?
19:49:06 <mauris> hppavilion1: the channel name starts with "#es"
19:49:39 <mauris> hernandes1 thinks it means "español", but it does not
19:49:49 <Xe> hablamos japones
19:50:12 <mauris> (we really need a more descriptive `bienvenido, but i don't speak spanish...)
19:50:16 <Xe> mi espanol estas mierdo
19:51:20 <hppavilion1> mauris: Should we make a `noespanole command (no squiggly because most of us don't have that on our keyboards) that explains that this channel is not what they're looking for
19:51:25 <Xe> doutashimasuka?
19:51:45 <Xe> o genki desuka?
19:51:52 <hppavilion1> (They might be looking for it, but it would also note that few of us actually speak spanish)
19:52:53 <Xe> hernandes1: hablo el arte de su puta madre una mula
19:52:55 <mauris> hernandes1: Voy a tratar de aclarar a través de Google Translate. Esto no es una sala de chat en español. Tal vez trate de hacer en # ubuntu-es.
19:54:36 <mauris> hernandes1: no están hablando de ti :) pero aquí nadie habla español
19:54:52 -!- hernandes1 has quit (Read error: Connection reset by peer).
19:55:09 <mauris> whew thank you google translate
19:55:15 -!- hernandes has joined.
19:55:28 <hppavilion1> hernandes: Pocos de nosotros habla español y esto es un canal de programación; probable es que usted está buscando algún otro canal. Lo lamento.
19:56:04 -!- hernandes has quit (Read error: Connection reset by peer).
19:56:25 -!- hernandes has joined.
19:56:33 <hppavilion1> hernandes: Pocos de nosotros habla español y esto es un canal de programación; probable es que usted está buscando algún otro canal. Lo lamento.
20:01:32 -!- hernandes has quit (Remote host closed the connection).
20:01:33 -!- hernandes1 has joined.
20:07:40 -!- tromp has joined.
20:08:35 -!- Patashu has joined.
20:08:38 -!- hernandes1 has quit (Ping timeout: 256 seconds).
20:12:30 -!- tromp has quit (Ping timeout: 272 seconds).
20:17:34 -!- hppavilion1 has quit (Ping timeout: 272 seconds).
20:22:46 -!- hppavilion1 has joined.
20:27:48 -!- jaboja64 has quit (Read error: Connection reset by peer).
20:28:36 -!- jaboja has joined.
20:43:12 -!- Patashu has quit (Ping timeout: 256 seconds).
20:45:52 -!- ^v has joined.
20:45:53 -!- ^v^v has joined.
20:46:02 -!- ^v^v has quit (Remote host closed the connection).
20:59:08 -!- mihow has joined.
21:13:33 -!- hppavilion1 has changed nick to hppavilion[1].
21:14:40 -!- evalj has joined.
21:21:46 <FireFly> `` find -type f -exec grep 'irc\.dal\.net' {} \;
21:22:10 <FireFly> wait, that's not even in the message
21:22:22 <FireFly> `` find -type f -exec grep DALnet {} \;
21:23:44 <FireFly> `` for f in bin/* wisdom/*; grep -q DALnet "$f" && echo "$f"; done
21:23:45 <HackEgo> bash: -c: line 0: syntax error near unexpected token `grep' \ bash: -c: line 0: `for f in bin/* wisdom/*; grep -q DALnet "$f" && echo "$f"; done'
21:23:54 <FireFly> `` for f in bin/* wisdom/*; do grep -q DALnet "$f" && echo "$f"; done
21:24:26 <HackEgo> wisdom/esoteric \ grep: wisdom/le: Is a directory
21:24:51 <HackEgo> #!/usr/bin/perl -w \ if (defined($_=shift)) { s/ *$//; s/ +/ @ /g; exec "bin/@", $_ . " ? welcome"; } else { exec "bin/?", "welcome"; }
21:24:52 -!- ^v has quit (Read error: Connection reset by peer).
21:24:58 <HackEgo> This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet.
21:25:06 <HackEgo> 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.)
21:25:19 <FireFly> now why wouldn't it find that one too
21:26:01 -!- XorSwap has joined.
21:27:01 -!- XorSwap has quit (Client Quit).
21:27:24 <olsner> `` find / -type f -exec grep DALnet {} \;
21:27:55 <HackEgo> grep: /sys/bus/cpu/uevent: Permission denied \ grep: /sys/bus/cpu/drivers_probe: Permission denied \ grep: /sys/bus/clocksource/uevent: Permission denied \ grep: /sys/bus/clocksource/drivers_probe: Permission denied \ grep: /sys/bus/workqueue/uevent: Permission denied \ grep: /sys/bus/workqueue/drivers_probe: Permission denied \ grep: /sys/bus/plat
21:28:21 <olsner> well, I got some output at least
21:38:24 <fizzie> `` find wisdom -type f -print0 | xargs -0 grep -l DALnet
21:38:25 <HackEgo> wisdom/esoteric \ wisdom/welcome.fr \ wisdom/welcome.nl \ wisdom/willkommen \ wisdom/welcome \ wisdom/welcome.sv \ wisdom/welcome.es
21:39:14 <HackEgo> wisdom/dahl:dahl dih dahl dahl \ wisdom/oerjan:Your famous evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who hates Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. His arch-nemesis is Betty Crocker.
21:39:23 <HackEgo> int-e ais523 oerjan elliott Bike FreeFull Phantom_Hoover
21:40:21 <fizzie> `` find wisdom -type f -exec grep -l DALnet '{}' + # or the find-only version
21:40:23 <HackEgo> wisdom/esoteric \ wisdom/welcome.fr \ wisdom/welcome.nl \ wisdom/willkommen \ wisdom/welcome \ wisdom/welcome.sv \ wisdom/welcome.es
21:40:45 <fizzie> Not that I could have remembered the "-exec ... +" feature without consulting the documentation.
21:40:52 <Phantom_Hoover> i remember there was a reason for dahl but i've forgotten it entirely
21:41:06 <fizzie> I might have managed the regular -exec ... \; but that would've done far too many greps.
21:46:18 <fizzie> I've been just xargsing it up, sometimes with -print0/-0 if I feel real fancy.
21:46:43 <FireFly> I think the fact that -print0 / -0 is needed is a bit ugly
21:49:43 <FireFly> “If you use this option, you must ensure that your $PATH environment variable does not reference `.'; otherwise, an attacker can run any commands they like by leaving an appropriately-named file in a directory in which you will run -execdir. The same applies to having entries in $PATH which are empty or which are not absolute directory names.”
21:50:05 <FireFly> I knew about the former, of course, but what is the problem with having empty directories in $PATH?
21:50:43 <b_jonas> they'll be interpreted as relative
21:51:18 <FireFly> even if they start with a leading slash? seems silly
21:51:33 <fizzie> Empty entries, not empty directories. I think.
21:51:44 <b_jonas> FireFly: if an entry has a leading slash, it's not an empty string
21:51:46 <FireFly> Right, that makes more sense
21:51:57 <b_jonas> There's also a problem with having PATH undefined by the way,
21:51:58 <FireFly> Right, I read it as entries pointing to empty directories
21:53:10 <b_jonas> that shouldn't be a problme
21:53:27 -!- spiette has quit (Ping timeout: 250 seconds).
21:54:06 <b_jonas> although entries pointing to an empty directory on a floppy disk or network drive or similar unaccessible file systems can be a problem because it can slow down exec
21:54:54 <FireFly> though the emptiness doesn't really matter in that case
21:55:40 <b_jonas> DOS is even worse, for historical reasons, because no matter the path it looks in the working directory of the current drive first, and if the PATH contains a reference to a nonexistant drive you get an error (a nonexistant directory on a valid drive isn't a problem)
22:11:39 -!- pikhq has quit (Ping timeout: 250 seconds).
22:14:36 -!- pikhq has joined.
22:30:01 <hppavilion[1]> Forgot that some people don't think and read in python
22:44:54 -!- oerjan has joined.
22:50:38 -!- MoALTz has quit (Quit: Leaving).
22:55:52 -!- J_Arcane has joined.
22:58:37 -!- evalj has quit (Remote host closed the connection).
23:04:27 -!- edwardk has left.
23:04:46 -!- hppavilion[1] has quit (Ping timeout: 272 seconds).
23:22:12 -!- Lord_of_Life has quit (Excess Flood).
23:23:36 -!- Lord_of_Life has joined.
23:26:26 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
23:31:18 <oerjan> @tell hppavilion1 <hppavilion1> mauris: Should we make a `noespanole command (no squiggly because most of us don't have that on our keyboards) that explains that this channel is not what they're looking for <-- that's essentially what `bienvenido _is_ hth
23:33:11 <oerjan> @tell hppavilion[1] it's impossible to communicate effectively with people who keep changing nick (aka you have a @tell at hppavilion1)
23:37:14 <HackEgo> [wiki] [[DUCK]] N http://esolangs.org/w/index.php?oldid=45828 * Hurricane996 * (+529) Created page with "Duck is a [[Joke language list|joke language]] made by [[user:Hurricane996]]. The language is different for every interpreter. When you write an interpreter, any program does ..."
23:41:01 -!- hppavilion[1] has joined.
23:43:04 -!- hppavilion1 has joined.
23:43:25 <hppavilion1> (Just joining with a secondary nick to check for a message)
23:44:01 -!- hppavilion1 has quit (Client Quit).
23:44:29 <hppavilion[1]> A Knowledge Representation Format. Something like XML or JSON, but eso-.
23:44:35 <oerjan> effectivity, that's us
23:45:09 <oerjan> effective communication hth
23:45:29 <HackEgo> [wiki] [[User:Hurricane996]] N http://esolangs.org/w/index.php?oldid=45829 * Hurricane996 * (+42) Created page with "Hi. i just want this here to be consistent"
23:45:44 <HackEgo> [wiki] [[User talk:Hurricane996]] N http://esolangs.org/w/index.php?oldid=45830 * Hurricane996 * (+20) Created page with "Same as my user page"
23:45:51 <hppavilion[1]> I thought you were referring to "A Knowledge representation format..." xD. I was thinking "Wait, we're a KRF?"
23:46:35 <hppavilion[1]> Oh, and I got the message. It looks like the existing command is just a translation of `relcome and might not be clear if it's a spanish-speaking user looking for something else other than the DALnet channel.
23:46:36 -!- oerjan has set topic: The international hub for esoteric KRF design and deployment. | /ɛ̃ˈglɪʃ spɛˈliŋ ʀɘfɔʀm/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://esolangs.org/.
23:46:48 <hppavilion[1]> Which is what I understood the person on earlier to be
23:47:08 <oerjan> hppavilion[1]: but it's not, there's an extra part in it
23:54:05 -!- tromp has joined.
23:58:17 -!- ^v has joined.
23:58:26 -!- tromp has quit (Ping timeout: 240 seconds).