00:04:40 -!- shikhin has changed nick to shikhindawg.
00:06:08 -!- shikhindawg has changed nick to shikhincat.
00:06:11 -!- shikhincat has changed nick to shikhin.
00:14:25 -!- tromp_ has joined.
00:19:58 <MDude> SOunds like something that would be linked form the front page.
00:23:45 <int-e> MDude: right, for example under "Meta"
00:24:11 <int-e> (I have to admit that tis wasn't the first place where I looked)
00:32:46 -!- gde33 has left.
00:54:30 -!- Darien has quit (Ping timeout: 252 seconds).
00:57:16 -!- Warrigal has changed nick to tswett.
00:59:43 <tswett> Oh hey, I remember Brainhype.
01:00:25 -!- relrod has quit (Quit: ZNC - http://znc.in).
01:00:27 <tswett> Lemme see, when was I hppavilion[1]'s age? That would have been around 2006, I think.
01:04:03 * lifthrasiir is trying to write a new brainfuck interpreter that should be FAST
01:17:47 -!- hppavilion[1] has joined.
01:32:42 <oerjan> @tell b_jonas <b_jonas> I'll have to figure out the right place to store ordinary bread. <-- i'm such a barbarian i keep it in the fridge and freezer. although i only started doing that after my bread drawer in the old apartment got bugs in it.
01:38:26 -!- Sgeo has joined.
01:40:40 <oerjan> `` diff wisdom/sock{,s}
01:40:56 <oerjan> `` diff wisdom/sock{,s}
01:41:04 -!- Sgeo__ has quit (Ping timeout: 240 seconds).
01:42:47 <coppro> good news for the day: got a couple random things done
01:42:52 <coppro> bad news: didn't get any work done on mage knight
01:43:14 <oerjan> maybe you should work on better dice
01:45:24 <oerjan> so you can get better random things hth
01:52:24 <HackEgo> Palate is usually a metaphor for a person's perferences about food or drink.
01:52:40 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:52:58 <oerjan> `` sed -i 's/perf/pref/' wisdom/palate
01:53:30 <MDude> Well let me know if I should go back and remove a category.
01:54:10 <MDude> And I'll bring them up here before adding them, if I ever see the need to make them again.
01:54:29 <oerjan> i think the bringing up should in principle be on the wiki.
01:55:32 <oerjan> also, i'm >half speaking for ais523 because he's too meek to protest anything that isn't clear vandalism.
01:56:12 <oerjan> and he got annoyed at one you added yesterday
01:57:35 <oerjan> i don't really manage to keep up with the wiki myself any longer.
01:59:35 <MDude> I'm pretty sure I only added two.
02:00:13 <MDude> So it's either psudonatural or OISC.
02:00:25 <MDude> The latter of which I think I added today?
02:00:47 <oerjan> well it was the former. he didn't think it was an interesting category.
02:00:50 <MDude> So I'm guessing neither meets his approval.
02:01:06 <oerjan> well he's probably not seen the latter yet.
02:01:51 <MDude> Both were created because there was an uncategorized language that I wasn't sure how to otherwise classify.
02:02:58 <oerjan> pseudonatural might largely be a subset of thematic
02:03:12 <oerjan> which i think is an existing cat
02:08:19 <HackEgo> fisherman's friend? ¯\(°_o)/¯
02:08:36 <oerjan> `le/rn fisherman's friend/Fisherman's Friend is the friend of the palate that is more sore than discerning.
02:08:38 <HackEgo> Learned «fisherman's friend»
02:13:34 -!- Treio has quit (Ping timeout: 240 seconds).
02:20:28 <oerjan> @tell halycon <halycon> Specifically, I am wonder how (if possible) you can create a combinator from (P->Q)->((Q->R)->(P->R)) akin to S. <-- that's the type of \f g x -> g (f x), aka CB.
02:21:19 <oerjan> @djinn (p->q)->((q->r)->(p->r))
02:21:48 <oerjan> @tell halcyon Try @djinn (p->q)->((q->r)->(p->r)) in lambdabot
02:24:41 <halycon> @tell oerjan thanks oerjan! So it is possible!
02:26:16 <oerjan> yep. in general any intuitionistic theorem has a curry-howard equivalent combinator.
02:29:30 <oerjan> well, or lambda term. depends on your exact definitions, but if a logic has a curry-howard correspondence, then that's part of what that means.
02:38:06 <oerjan> halycon: also, when excluding pierce's law it looks like you have the combinators K and CB, which is not enough. a common alternative basis without S is https://en.wikipedia.org/wiki/B,_C,_K,_W_system
02:38:39 <oerjan> (for intuitionistic PC)
02:39:58 <halycon> how were you able to test (or know) that K and CB was not sufficient?
02:40:22 <oerjan> well it's part of BCKW and missing W, so ...
02:41:44 <oerjan> also, W is the only one of them that allows duplicating a variable.
02:42:00 <oerjan> (while K is the only one that allows removing one)
02:43:35 <halycon> looks like I've got some reading to do, thank you much :)
02:53:47 <oerjan> `culprits wisdom/hyperbolic geometry
02:54:17 <oerjan> `? hyperbolic geometry
02:54:18 <HackEgo> Hyperbolic Geometry is geometry that is exaggerated to the point of absurdity.
02:54:56 <oerjan> huh that's weird why did b_jonas get an empty answer
02:55:07 <HackEgo> hyperbolic group/Hyperbolic groups are the best groups there are, they're totally awesome and cure cancer.
02:55:14 <oerjan> `wisdom hyperbolic geometry
02:55:16 <HackEgo> hyperbolic geometry/Hyperbolic Geometry is geometry that is exaggerated to the point of absurdity.
02:55:56 <oerjan> `unidecode hyperbolic geometry/
02:55:57 <HackEgo> [U+0068 LATIN SMALL LETTER H] [U+0079 LATIN SMALL LETTER Y] [U+0070 LATIN SMALL LETTER P] [U+0065 LATIN SMALL LETTER E] [U+0072 LATIN SMALL LETTER R] [U+0062 LATIN SMALL LETTER B] [U+006F LATIN SMALL LETTER O] [U+006C LATIN SMALL LETTER L] [U+0069 LATIN SMALL LETTER I] [U+0063 LATIN SMALL LETTER C] [U+0020 SPACE] [U+0067 LATIN SMALL LETTER G] [U
02:56:11 <HackEgo> [U+0067 LATIN SMALL LETTER G] [U+0065 LATIN SMALL LETTER E] [U+006F LATIN SMALL LETTER O] [U+006D LATIN SMALL LETTER M] [U+0065 LATIN SMALL LETTER E] [U+0074 LATIN SMALL LETTER T] [U+0072 LATIN SMALL LETTER R] [U+0079 LATIN SMALL LETTER Y] [U+002F SOLIDUS]
02:58:09 <HackEgo> F="$(find wisdom -name "*$(echo "$1" | lowercase)*" -type f | shuf -n1)"; echo -n "${F#wisdom/}/" | rnooodl; cat "$F" | rnooodl
02:58:52 <HackEgo> perl -pe 's/([Nn])ooodl/"$1@{[o x(3+rand 7)]}dl"/ge'
02:59:54 <oerjan> maybe there was a very precise timeout.
03:21:40 <zzo38> I did play the Dungeons&Dragons game today. Now you have to guess before I write it down and afterward you can check and see if you guessed correctly or not.
03:21:40 -!- yorick has quit (Ping timeout: 248 seconds).
03:25:45 -!- yorick__ has joined.
03:47:46 -!- jaboja has quit (Ping timeout: 244 seconds).
04:01:30 -!- yorick__ has quit (Ping timeout: 276 seconds).
04:05:12 -!- yorick__ has joined.
04:05:12 -!- yorick__ has quit (Changing host).
04:05:12 -!- yorick__ has joined.
04:05:25 -!- jaboja has joined.
04:16:49 -!- relrod_ has joined.
04:18:56 -!- relrod_ has quit (Changing host).
04:18:57 -!- relrod_ has joined.
04:19:02 -!- relrod_ has changed nick to relrod.
04:19:26 <HackEgo> zimbabwe/olsner's desk points zimbabwards. it is highly dependent on tswett's michiganic orientation.
04:19:40 <HackEgo> mojibake/mojibake _ÌÌÌ°_ÌÌÍÍ̦̻ͬÌÍÌÌÍ¡_ͧÍÌÍÌ_ÍÍÍͧÍÌÌ̯Í̬̬̦̯_ÌÌÌͨÌÌ´Í
04:19:53 <HackEgo> el camino real/There is no royal road to analytic geometry.
04:20:03 <HackEgo> hovercraft/a-é-ro-g-liss-e-ur. If you mention eels, you'll get smacked with one of them in a most unappropriate manner.
04:20:32 <HackEgo> d/D is a letter in the alphabet! It's also the name of a programming language.
04:21:16 <zzo38> How many letters of Arabic alphabets are also name of programming languages?
04:21:27 -!- Deewiant has quit (Quit: Viivan loppu.).
04:21:36 -!- Deewiant has joined.
04:43:01 -!- oerjan has quit (Quit: Eel try to avoid that, then.).
04:44:38 <lifthrasiir> zzo38: not directly comparable since programming languages are not frequently named in Arabic. even Arabic languages have English names.
04:44:59 <lifthrasiir> ج seems to be one example, though (http://www.jeemlang.com/)
04:51:30 <zzo38> How many programming languages are named by Egyptian alphabets?
04:51:57 <zzo38> (Actually I know Egyptian writing is more complicated than that)
05:01:54 <HackEgo> danddreclist 75: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex
05:08:23 -!- XorSwap has joined.
05:12:47 <hppavilion[1]> `le/rn mojibake/_ÌÌÌ°_ÌÌÍÍ̦̻ͬÌÍÌÌÍ¡_ͧÍÌÍÌ_ÍÍÍͧÍÌÌ̯Í̬̬̦̯_ÌÌÌͨÌÌ´Í
05:13:05 <hppavilion[1]> (the fact that "mojibake" properly rendered was bugging me)
05:14:28 <lifthrasiir> hppavilion[1]: ASCII-compatible encoding, so it's fine
05:15:01 <hppavilion[1]> lifthrasiir: Yes, but then why is the rest the way it is?
05:15:14 <hppavilion[1]> lifthrasiir: What text was in there that led to it being rendered as such?
05:15:38 <hppavilion[1]> lifthrasiir: Why are there so many of that one character in a row?
05:16:14 <lifthrasiir> hppavilion[1]: japanese characters do not use spaces (normally).
05:16:56 <hppavilion[1]> lifthrasiir: Why does that particular character appear?
05:17:34 <lifthrasiir> hppavilion[1]: are you asking for the mechanics of mojibake? :)
05:18:50 <lifthrasiir> I can imagine some text like "mojibake（文字化け）とは、コンピュータで文字を表示する際に、正しく表示されない現象のこと。"
05:19:24 <hppavilion[1]> lifthrasiir: Clearly you can do more than imagine it; you can send it via IRC
05:19:48 <lifthrasiir> hppavilion[1]: ah, so you are wondering about the (real) original text for that sentence
05:21:42 <pikhq> Shift-JIS gives the first byte of two-byte character only a few possibilities, and Ì is a pretty common one (when you reinterpret it as Latin-1).
05:31:03 -!- APic has quit (Ping timeout: 240 seconds).
05:37:23 -!- APic has joined.
05:39:39 <zzo38> Will they add -ntsc and +ntsc commands into ImageMagick and/or GraphicsMagick?
05:48:37 -!- halycon has quit (Quit: Leaving).
06:07:50 <izabera> did you know that there are much better algorithms to compute the factorial of a number than repeated multiplication? http://www.luschny.de/math/factorial/FastFactorialFunctions.htm
06:22:08 -!- adu has joined.
06:22:27 <adu> hppavilion[1]!
06:23:43 <zzo38> O, there are? Let me see
06:30:59 -!- jaboja has quit (Ping timeout: 248 seconds).
06:33:04 -!- adu has quit (Quit: adu).
06:33:32 -!- ent0nces has joined.
06:38:04 -!- ent0nces_ has joined.
06:40:11 -!- XorSwap has quit (Quit: Leaving).
06:40:35 -!- tromp_ has quit (Remote host closed the connection).
06:40:46 -!- ent0nces has quit (Ping timeout: 255 seconds).
06:44:29 -!- ent0nces has joined.
06:46:27 -!- ent0nces_ has quit (Ping timeout: 248 seconds).
07:02:13 -!- lambda-11235 has quit (Quit: Bye).
07:05:35 -!- ent0nces_ has joined.
07:08:03 -!- ent0nces has quit (Ping timeout: 276 seconds).
07:10:39 -!- ent0nces has joined.
07:13:10 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
07:23:29 -!- skamath has joined.
07:24:53 <skamath> Hey, can anyone help me identify this : http://pastebin.com/yMBF5tB5
07:25:38 -!- jaboja has joined.
07:37:23 <HackEgo> [wiki] [[Category:OISC]] https://esolangs.org/w/index.php?diff=46454&oldid=46453 * Keymaker * (-1) Fixed 2 typos.
07:39:29 -!- ent0nces_ has joined.
07:40:46 <myname> looks like ookless ook
07:41:07 -!- tromp_ has joined.
07:41:55 -!- ent0nces has quit (Ping timeout: 248 seconds).
07:44:54 -!- skamath has quit (Quit: Page closed).
07:45:39 -!- tromp_ has quit (Ping timeout: 248 seconds).
07:49:06 -!- jaboja has quit (Ping timeout: 250 seconds).
07:52:32 -!- ent0nces has joined.
07:55:01 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
08:07:03 -!- ent0nces_ has joined.
08:09:39 -!- ent0nces has quit (Ping timeout: 248 seconds).
08:11:34 -!- AnotherTest has joined.
08:20:57 -!- MoALTz has quit (Read error: Connection reset by peer).
08:26:46 -!- J_Arcane has quit (Ping timeout: 244 seconds).
08:31:43 -!- ent0nces has joined.
08:34:37 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
08:38:16 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
08:40:09 -!- hppavilion[1] has joined.
08:44:40 -!- ent0nces_ has joined.
08:46:59 -!- ent0nces has quit (Ping timeout: 248 seconds).
08:51:27 -!- ent0nces has joined.
08:54:25 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
08:55:05 -!- ent0nces_ has joined.
08:57:39 -!- ent0nces has quit (Ping timeout: 248 seconds).
08:58:20 -!- ent0nces has joined.
09:00:43 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
09:22:16 -!- AnotherTest has quit (Ping timeout: 252 seconds).
09:27:22 -!- ent0nces_ has joined.
09:29:38 -!- ent0nces has quit (Ping timeout: 250 seconds).
09:34:10 <lifthrasiir> hppavilion[1]: the first three punctuations are used for Ook! language. since I was out of letters, I went with an arbitrary punctuation
09:34:31 <lifthrasiir> (or, myname may refer to the fact that : is not a sentence terminator)
09:35:18 <hppavilion[1]> lifthrasiir: Yes, but what does : have to do with this?
09:35:37 <lifthrasiir> . ! ? are all used so I went with an arbitrary letter
09:36:00 <lifthrasiir> uh, a series of... single letter conversations?
09:36:10 <myname> hppavilion[1]: for the same reason Ou used a ;
09:39:05 -!- ent0nces has joined.
09:41:31 -!- tromp_ has joined.
09:41:40 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
09:42:05 <HackEgo> syntactic sugar? ¯\(°_o)/¯
09:42:13 <HackEgo> Syntax is just a subset of grammar.
09:42:19 <b_jonas> ``` find wisdom -iname "*synta[cx]*" -o -iname "*sugar*"
09:42:55 <b_jonas> `slashlearn syntactic sugar/Syntactic sugar causes semicolon cancer
09:43:06 <b_jonas> `slashlearn syntactic sugar/Syntactic sugar causes semicolon cancer.
09:44:50 -!- staffehn has quit (Quit: No Ping reply in 180 seconds.).
09:45:06 -!- staffehn has joined.
09:46:20 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
09:46:39 -!- tromp_ has quit (Ping timeout: 276 seconds).
09:47:08 -!- ent0nces_ has joined.
09:49:23 -!- ent0nces has quit (Ping timeout: 248 seconds).
10:02:41 <HackEgo> [wiki] [[User:GermanyBoy]] https://esolangs.org/w/index.php?diff=46455&oldid=41610 * GermanyBoy * (+136) added röda
10:04:56 <HackEgo> [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=46456&oldid=46343 * GermanyBoy * (+145) /* Röda */ added section
10:06:48 -!- izabera has quit (Ping timeout: 276 seconds).
10:07:06 <b_jonas> ``` find wisdom -iname "*rstr*"
10:09:05 -!- ent0nces has joined.
10:09:09 -!- Treio has joined.
10:11:49 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
10:13:51 -!- andrew_ has joined.
10:14:19 -!- izabera has joined.
10:40:13 -!- ent0nces_ has joined.
10:42:43 -!- ent0nces has quit (Ping timeout: 248 seconds).
10:45:50 -!- ent0nces has joined.
10:48:43 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
10:50:52 -!- ent0nces_ has joined.
10:53:23 -!- ent0nces has quit (Ping timeout: 248 seconds).
10:53:35 -!- andrew_ has quit (Quit: Leaving).
10:56:22 -!- bender| has joined.
10:57:32 -!- andrew_ has joined.
10:59:35 -!- ent0nces has joined.
11:02:13 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
11:15:23 -!- boily has joined.
11:23:40 -!- ent0nces_ has joined.
11:25:55 -!- ent0nces has quit (Ping timeout: 248 seconds).
11:31:31 -!- Treio has quit (Ping timeout: 252 seconds).
11:33:14 -!- ent0nces has joined.
11:35:58 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
11:37:43 -!- Froox has joined.
11:40:06 -!- zgrep_ has joined.
11:40:26 -!- zgrep has quit (Ping timeout: 240 seconds).
11:40:35 -!- zgrep_ has changed nick to zgrep.
11:40:50 -!- Xe has quit (Ping timeout: 240 seconds).
11:41:13 -!- Frooxius has quit (Ping timeout: 240 seconds).
11:44:20 -!- AnotherTest has joined.
11:47:36 -!- Xe has joined.
11:52:03 -!- ent0nces_ has joined.
11:54:43 -!- ent0nces has quit (Ping timeout: 248 seconds).
12:00:50 -!- ent0nces has joined.
12:03:25 -!- ent0nces_ has quit (Ping timeout: 252 seconds).
12:06:48 -!- ent0nces_ has joined.
12:09:16 -!- ent0nces has quit (Ping timeout: 255 seconds).
12:16:13 <zgrep> How about quiet massages?
12:19:31 -!- boily has quit (Quit: ANIMISTIC CHICKEN).
12:21:31 -!- ent0nces has joined.
12:24:03 -!- ent0nces_ has quit (Ping timeout: 248 seconds).
12:26:15 -!- ent0nces_ has joined.
12:29:04 -!- ent0nces has quit (Ping timeout: 255 seconds).
12:33:01 -!- ent0nces has joined.
12:34:11 <HackEgo> [U+1D2E MODIFIER LETTER CAPITAL B] [U+1D3C MODIFIER LETTER CAPITAL O] [U+1D3C MODIFIER LETTER CAPITAL O] [U+1D3E MODIFIER LETTER CAPITAL P]
12:35:47 -!- ent0nces_ has quit (Ping timeout: 248 seconds).
12:36:41 -!- ent0nces_ has joined.
12:38:31 -!- ent0nces has quit (Ping timeout: 255 seconds).
12:40:20 -!- ent0nces has joined.
12:43:27 -!- ent0nces_ has quit (Ping timeout: 276 seconds).
13:04:35 <myname> i am impressed how people have no shame in calling themself GermanyBoy
13:10:15 -!- tromp has quit (Read error: Connection reset by peer).
13:21:22 <Taneb> Why is the fact that Vienna and Bratislava are less than 40 miles apart annoying me so much
13:23:26 -!- ent0nces_ has joined.
13:23:59 <b_jonas> Taneb: that's simply a side effect of both of them being close to Budapest and to the Danube
13:25:55 -!- ent0nces has quit (Ping timeout: 248 seconds).
13:28:35 <Taneb> b_jonas, they're both... well, closer to Budapest than I am to any capital city, but Ezstergom is closer
13:32:14 -!- andrew_ has quit (Remote host closed the connection).
13:34:07 -!- andrew has joined.
13:34:14 -!- andrew has quit (Remote host closed the connection).
13:43:03 -!- tromp has joined.
13:45:25 -!- tswettsh has joined.
13:45:36 -!- tswettsh has quit (Client Quit).
14:04:11 -!- tromp has quit (Remote host closed the connection).
14:04:22 -!- Alcest has joined.
14:08:37 -!- ent0nces has joined.
14:10:46 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
14:13:44 -!- tromp has joined.
14:18:23 -!- ent0nces_ has joined.
14:20:15 -!- `^_^v has joined.
14:20:51 -!- ent0nces has quit (Ping timeout: 248 seconds).
14:26:23 -!- ent0nces has joined.
14:29:13 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
14:38:04 -!- ent0nces_ has joined.
14:40:35 -!- ent0nces has quit (Ping timeout: 248 seconds).
14:40:46 -!- J_Arcane has joined.
14:48:58 -!- AnotherTest has quit (Ping timeout: 252 seconds).
14:59:50 -!- spiette has joined.
15:04:45 -!- tromp_ has joined.
15:07:00 -!- oerjan has joined.
15:09:19 -!- tromp_ has quit (Ping timeout: 252 seconds).
15:18:06 -!- ent0nces has joined.
15:20:31 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
15:28:17 <EgoBot> perl (sending via DCC)
15:29:14 <oerjan> hm that doesn't work for this.
15:38:58 -!- ent0nces_ has joined.
15:41:23 -!- ent0nces has quit (Ping timeout: 248 seconds).
15:42:45 -!- bender| has quit (Ping timeout: 250 seconds).
15:47:22 -!- lambda-11235 has joined.
15:49:05 <HackEgo> Syntactic sugar causes semicolon cancer.
15:50:52 <b_jonas> ``` find wisdom -iname "*super*"
15:50:53 <HackEgo> wisdom/supermarionation \ wisdom/superexponential growth \ wisdom/superduperexponential growth \ wisdom/superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal \ wisdom/supermarioperator \ wisdom/supercalifragilisticexponential growth
15:51:25 <HackEgo> supermarioperator is one of many confusing operators as defined in Control.Plumbers.Monad. Your sanity is in another castle.
15:52:28 <b_jonas> ``` find wisdom -iname "*lar*"
15:56:34 <HackEgo> [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=46457&oldid=46456 * Oerjan * (-1) On the one hand, someone cannot read. On the other hand, it's better after the section header anyway.
16:05:36 <Taneb> `? superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal
16:05:39 <HackEgo> Superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal is where mroman lives.
16:06:57 <b_jonas> ``` find wisdom -iname "*ego*"
16:06:58 <HackEgo> wisdom/monoidal category \ wisdom/oregon \ wisdom/hackego \ wisdom/category \ wisdom/categorical product \ wisdom/category theory \ wisdom/something-that-isn't-in-hackego's-wisdom \ wisdom/gregor \ wisdom/bicategory \ wisdom/egobot \ wisdom/category-helpdesk
16:20:49 -!- earendel has quit (Ping timeout: 255 seconds).
16:23:22 <b_jonas> ``` find wisdom -iname "*ball*"
16:25:20 -!- earendel has joined.
16:28:55 -!- ent0nces has joined.
16:29:54 -!- adu has joined.
16:31:10 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
16:31:53 -!- oerjan has quit (Quit: Later).
16:33:17 <prooftechnique> `? superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal
16:33:18 <HackEgo> Superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal is where mroman lives.
16:38:58 -!- XorSwap has joined.
16:49:33 -!- atehwa has quit (Ping timeout: 268 seconds).
16:50:06 -!- lynn has joined.
16:50:40 -!- atehwa has joined.
17:04:50 -!- tromp_ has joined.
17:06:42 -!- ent0nces_ has joined.
17:09:23 -!- ent0nces has quit (Ping timeout: 248 seconds).
17:09:57 -!- tromp_ has quit (Ping timeout: 276 seconds).
17:26:31 -!- Sprocklem_ has quit (Ping timeout: 255 seconds).
17:30:35 -!- ent0nces has joined.
17:31:26 -!- AnotherTest has joined.
17:33:16 -!- ent0nces_ has quit (Ping timeout: 255 seconds).
17:35:33 -!- AnotherTest has quit (Ping timeout: 240 seconds).
17:37:59 -!- sebbu has quit (Ping timeout: 240 seconds).
17:54:19 -!- AnotherTest has joined.
17:56:35 -!- XorSwap has quit (Read error: Connection reset by peer).
17:56:47 -!- XorSwap has joined.
17:57:38 -!- Treio has joined.
17:59:22 -!- ent0nces_ has joined.
17:59:56 -!- hppavilion[1] has joined.
18:01:07 -!- MoALTz has joined.
18:01:39 -!- ent0nces has quit (Ping timeout: 248 seconds).
18:06:08 -!- tromp_ has joined.
18:08:55 -!- ent0nces_ has quit.
18:09:27 -!- ent0nces has joined.
18:10:36 -!- tromp_ has quit (Ping timeout: 244 seconds).
18:10:59 -!- earendel has quit (Ping timeout: 240 seconds).
18:17:04 -!- XorSwap has quit (Quit: Leaving).
18:18:58 -!- earendel has joined.
18:27:08 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
18:43:58 -!- sebbu has joined.
18:44:53 -!- hppavilion[1] has joined.
18:52:07 -!- Treio has quit (Ping timeout: 250 seconds).
19:05:37 -!- mihow has joined.
19:10:32 -!- Treio has joined.
19:13:58 -!- XorSwap has joined.
19:15:36 <izabera> https://v1.std3.ru/71/b7/1450110575-71b77b2bd06f431f2bd0b4abb983738f.gif
19:17:29 -!- impomatic_ has joined.
19:21:24 -!- Phantom_Hoover has joined.
19:24:33 -!- XorSwap has quit (Ping timeout: 240 seconds).
19:31:48 <impomatic_> Does anyone know where I might find an archive or fj.binaries.msdos? I haven't found anything by Googling :-(
19:32:35 -!- adu has quit (Quit: adu).
19:33:59 <Phantom_Hoover> why do HoTT people have to keep going on about how it's the second coming of maths jesus :/
19:35:06 <zzo38> I had idea, I can invent a new kind of computer puzzle game, a bit like Hero Mesh but it is Linux and many differences, such as some of the design of Hero Mesh is badly designed, so I would do it in the better way. Also you can examine any tile by clicking on it so that nothing is hidden. What is your opinion of this so far?
19:35:17 <zzo38> (Also, I do not know the answer of either of your two questions)
19:36:55 <zzo38> I would probably also to avoid animation (at least at first), and to ensure that keys such as shift/ctrl/alt/capslock/numlock are not game commands
19:43:05 -!- earendel has quit (Ping timeout: 244 seconds).
19:43:18 -!- ent0nces_ has joined.
19:45:39 -!- ent0nces has quit (Ping timeout: 248 seconds).
19:48:10 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
19:49:42 -!- hppavilion[1] has joined.
19:54:01 -!- Sprocklem has joined.
19:57:33 -!- ent0nces_ has quit (Remote host closed the connection).
19:57:52 -!- ent0nces has joined.
20:02:13 -!- ent0nces has quit (Ping timeout: 255 seconds).
20:07:56 <hppavilion[1]> We have lazy-evaluated sequences, but not lazy-evaluated trees
20:08:51 -!- ent0nces has joined.
20:13:53 <myname> infinite trees? no problem
20:14:55 <hppavilion[1]> myname: I don't know, what's the rho-calculus like?
20:15:31 <hppavilion[1]> myname: I guess a rho is something you can term rewrite
20:17:15 <myname> how is it different than lambda x y z: x+y*z?
20:17:48 <hppavilion[1]> myname: That doesn't produce a function; it produces a rewritable
20:18:11 <hppavilion[1]> myname: Yes, perhaps (I don't know much about rho-calculus OR the C preprocessor), but as a builtin language construct.
20:19:13 <hppavilion[1]> (rho x y z -> x*(y+z)).distribute() produces a rho x y z -> x*y+x*z
20:20:31 -!- puckipedia has quit (*.net *.split).
20:20:32 -!- gniourf has quit (*.net *.split).
20:20:32 -!- deltab has quit (*.net *.split).
20:20:32 -!- kline has quit (*.net *.split).
20:20:32 -!- erdic has quit (*.net *.split).
20:20:45 -!- deltab has joined.
20:20:52 -!- erdic has joined.
20:21:50 -!- gniourf has joined.
20:22:56 -!- puckipedia has joined.
20:22:56 -!- sebbu has quit (Ping timeout: 255 seconds).
20:23:20 <zzo38> This is part of document of my idea of "Universal Terminal Character Encoding": http://zzo38computer.org/textfile/miscellaneous/utce
20:24:41 -!- nisstyre has quit (Changing host).
20:24:41 -!- nisstyre has joined.
20:25:23 <zzo38> Note that it includes many characters not available in Unicode, although a conversion from Unicode will also be lossy.
20:25:41 -!- kline has joined.
20:25:47 -!- sebbu has joined.
20:26:53 <zzo38> Also, for simplicity, there is no right-to-left nor any complex scripts; it is designed to be simple but also elaborate.
20:30:03 -!- lambda-11235 has quit (Quit: Bye).
20:48:33 -!- shikhin has changed nick to kvIRC.
20:48:39 -!- kvIRC has changed nick to shikhin.
20:57:09 -!- jaboja has joined.
21:03:10 <hppavilion[1]> myname: Also, pis, based on the pi calculus. Anonymous threads, basically.
21:13:06 -!- ent0nces has quit.
21:16:04 <b_jonas> shachaf: ring the obell for @1025
21:16:10 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
21:16:19 <shachaf> b_jonas: you should do it hth
21:17:18 <b_jonas> prooftechnique: the obell is what we ring each time a new strip of the o webcomic is published
21:17:28 <HackEgo> olist 1025: shachaf oerjan Sgeo FireFly boily nortti b_jonas
21:17:46 -!- earendel has joined.
21:17:59 <b_jonas> `learn The obell is what we ring each time a new strip of the o webcomic is published.
21:18:03 <HackEgo> Learned 'obell': The obell is what we ring each time a new strip of the o webcomic is published.
21:19:06 <prooftechnique> And, as a followup question, where do I read this webcomic?
21:19:21 <HackEgo> Update notification for the webcomic Order of the Stick. http://www.giantitp.com/comics/ootslatest.html
21:21:48 <FireFly> https://en.wiktionary.org/wiki/afton
21:23:55 <HackEgo> fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”) is a screamingly delicious pastry.
21:26:02 <prooftechnique> I think all the different quote conventions are the most interesting part of that entry.
21:26:42 <HackEgo> fentimans is a delicious beverage out from Hexham, that can be paired with a fresh fternooner for a nutritive midday snack.
21:27:49 <Taneb> Haven't had any Fentimans in months
21:29:17 -!- hppavilion[1] has joined.
21:29:33 <HackEgo> 665) <NihilistDandy> Benchmarks are only a good measure of surprise
21:32:48 <b_jonas> prooftechnique: different quoting styles reminds me to http://www.madore.org/~david/weblog/d.2014-07-08.2212.html which asks what style of quotation marks to use when you quote text from a different language than the main text.
21:33:26 -!- oerjan has joined.
21:34:31 <prooftechnique> We should all just adopt the perl convention. Q is underused, anyway
21:34:48 <shachaf> Taneb: Is that carbonated?
21:34:55 <Taneb> shachaf: generally
21:35:24 -!- XorSwap has joined.
21:35:53 <oerjan> eek the bug workaround for pine in tmux broke irssi instead...
21:36:03 -!- oerjan has quit (Client Quit).
21:36:03 -!- sebbu has quit (Ping timeout: 240 seconds).
21:37:39 -!- zzo38 has quit (Remote host closed the connection).
21:38:09 -!- lynn has quit (Quit: Leaving).
21:39:10 -!- sebbu has joined.
21:39:19 -!- oerjan has joined.
21:48:40 -!- jaboja has quit (Remote host closed the connection).
21:49:39 -!- lynn has joined.
21:51:29 -!- hydraz has changed nick to nothing.
21:51:33 -!- nothing has changed nick to hydraz.
21:51:52 <oerjan> prooftechnique: they upgraded fedora on the server i use for mail and irssi, which includes a buggy version of tmux that breaks reverse video, but not irssi. the simplest fix (while waiting for the actual tmux bugfix) is to set TERM=xterm instead of TERM=screen inside tmux, but that breaks irssi instead...
21:52:41 <shachaf> oerjan: use a better server hth
21:52:54 <oerjan> so i'm playing around with shell and tmux config
21:53:30 <oerjan> shachaf: but but it's my 24 year old email account
21:53:57 <shachaf> why do you run an irc client on your email account
21:54:23 <oerjan> also this is a computer club, so the admin who answered suggested _i_ build tmux with the patch for them.
21:54:37 <shachaf> did email even exist 24 years ago
21:54:57 <int-e> I agree with oerjan
21:55:04 <oerjan> or possibly it was all faked last thursday.
21:55:09 <b_jonas> shachaf: yes, I existed 24 years ago
21:55:21 -!- earendel has quit (Ping timeout: 244 seconds).
21:55:22 <b_jonas> I even have photos of me and my family from back then
21:55:46 <shachaf> 24 years is almost a quarter of a century
21:56:06 <shachaf> that's way too long a time span for anything
21:56:22 <int-e> people live longer than that
21:57:13 <int-e> we are talking about Earth years, right?
21:57:43 <oerjan> shachaf: are you a veetan by any chance
21:58:07 <oerjan> although they can live to 25
21:59:16 <oerjan> `learn Veetans are a race of cuddly, yet sturdy aliens in the Drive comic.
21:59:18 <HackEgo> Learned 'veetan': Veetans are a race of cuddly, yet sturdy aliens in the Drive comic.
21:59:47 <myname> what's the drive comic
21:59:51 <oerjan> `learn Veetans are a race of cuddly, yet sturdy aliens in the Drive comic. Their maximum lifespan is 25 years, but they use it well.
21:59:53 <HackEgo> Learned 'veetan': Veetans are a race of cuddly, yet sturdy aliens in the Drive comic. Their maximum lifespan is 25 years, but they use it well.
21:59:56 <shachaf> oh, is that what dlist is about?
22:00:02 <shachaf> i thought it was a prolog thing
22:00:07 <oerjan> shachaf: hm not that i know of
22:00:24 <oerjan> it's not irregular enough for a list, any more.
22:01:40 <shachaf> if you don't demonstrate a magic talent by that age you get exiled, i think
22:01:57 <oerjan> i could find a quote on that, if the drive website didn't have the worst archive system _ever_.
22:02:28 <oerjan> i don't think veetans are magic much.
22:03:05 -!- earendel has joined.
22:03:41 * oerjan tries via google, again
22:04:00 <HackEgo> Google your half-Word Haskell is Problem.
22:04:17 <int-e> ... that did not help at all
22:05:27 <shachaf> pikhq: did you go to that google class where they tell you how search works
22:07:34 -!- tromp_ has joined.
22:09:00 <oerjan> no wait, it doesn't, it's from before the comic moved.
22:10:04 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
22:11:53 -!- tromp_ has quit (Ping timeout: 244 seconds).
22:19:03 <oerjan> finally http://www.drivecomic.com/archive/100731.html
22:21:36 <shachaf> "drive is ad-free, thanks to reader support. click to back the strip on patreon!"
22:21:54 <shachaf> i don't think ad-free means what you think it means hth
22:22:13 <izabera> how can i pick up a new webcomic if i have to read 100000 past issues?
22:22:57 <int-e> izabera: just start reading... bookmark the latest comic you've read... you'll catch up eventually
22:23:11 <oerjan> shachaf: i don't think that is the worst problem with the site hth
22:23:25 <int-e> izabera: or spend an extended weekend...
22:23:47 <oerjan> izabera: sadly, it's just the date
22:23:48 <int-e> izabera: also you're exaggerating
22:24:36 <izabera> oerjan: what moron uses that date format
22:24:38 <oerjan> the date url scheme is just one part of why the site is almost completely unnavigable
22:24:59 <shachaf> perhaps this channel is inhabited entirely by veetans
22:25:01 <oerjan> (if updates were completely regular, it would work, but they haven't been)
22:25:45 <int-e> izabera: it looks like a weekly, maybe twice a week, comic that has been around for 6 1/2 years
22:26:11 -!- S1 has joined.
22:26:13 <oerjan> izabera: i have frequent, but so far overcome desires to register on disqus just to tell the author to fire his website programmers.
22:27:47 <oerjan> int-e: it's twice a week now, one main comic and one guest comic. but it has been far more rare, and had essentially a year of hiatus while kellett worked on a film project.
22:28:27 <oerjan> before that year, there was a "look at the last year of comics" menu that sort of worked.
22:28:27 <int-e> oerjan: that's fine, I was looking for an upper bound on the number of issues
22:29:29 <int-e> anyway, I wouldn't complain about the URL scheme. I would complain about the lack of navigation beyond "next" and "prev".
22:30:51 <oerjan> int-e: well the url scheme is such that you cannot hack around the lack of navigation, because together with the frequent hiatuses in the middle of the run, it is completely unpredictable which dates have comics
22:31:36 <oerjan> so it _is_ part of the problem, although wouldn't be a good solution alone.
22:31:52 -!- S1 has quit (Quit: S1).
22:31:52 <int-e> fwiw I have that problem with GG as well... though one can usually hit a comic in at most 3 tries (using a calendar would be too tedious ;-) )
22:32:00 <shachaf> www.drivecomic.com/archive/random is all the navigation you need hth
22:32:08 <shachaf> oops, where did the http:// go
22:32:34 <oerjan> int-e: GG has a menu of story arcs, from which you can start jumping by weeks.
22:33:04 <oerjan> it's not as good as a list of every comic, but infinitely better than what drive has.
22:35:06 <oerjan> lately, things have gotten even more insane, as kellett has started moving the guest comic arcs in the sequence once they're finished, apparently by _swapping_ url contents
22:35:13 <oerjan> breaking absolutely all links
22:35:23 <oerjan> including the comment threads
22:38:33 <oerjan> they have a working random link?
22:38:51 <oerjan> shachaf: see if you can find a working list of comics link twh
22:39:06 <shachaf> who knows what else is hidden in /archive
22:39:48 <shachaf> oerjan: http://www.drivecomic.com/archive/archives.html hth
22:40:28 <shachaf> what, did you want more than a year?
22:40:46 <shachaf> http://web.archive.org/web/*/http://www.drivecomic.com/archive/archives.html hth
22:41:19 <oerjan> ooh that still exists? it was removed from the main page, of course.
22:41:24 <shachaf> oh, if you look at the historical archives, there's a search box
22:41:31 <shachaf> but it's gone from the real archives
22:45:48 <oerjan> shachaf: ah yes, at one time there was a button to suggest list transcriptions, which that box probably used, and which no one actually made
22:46:56 <oerjan> so, a slightly broken system bit rotted until it was just removed.
22:48:55 <oerjan> from other hints, presumably on a "no one has a clue how it _should_ work" basis.
22:49:50 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:51:20 -!- boily has joined.
22:53:06 <oerjan> <Phantom_Hoover> why do HoTT people have to keep going on about how it's the second coming of maths jesus :/ <-- presumably it hasn't yet been used thoroughly enough for experience to enforce a reality check
22:54:02 <oerjan> every new idea is a panacea until proven otherwise.
22:55:23 <boily> Panamean Panacea Manna.
23:03:05 -!- hydraz has changed nick to heddwchfart.
23:03:34 -!- heddwchfart has changed nick to hydraz.
23:04:59 <boily> hydraz: hellodraz. welsh?
23:05:38 <shachaf> does "poisson deux" mean "fish two" or "two fish" twh
23:06:40 <hydraz> boily: Negative, joke on another channel.
23:07:31 <oerjan> actually if it were two fish, it should be poissons...
23:07:33 <boily> hellochaf. it's the former.
23:08:12 <boily> “two fish” is «deux poissons». «poisson deux» sounds like you are counting them: «poisson un, poisson deux, poisson trois...»
23:08:35 <boily> or more normally, «premier poisson, deuxième poisson, troisième poisson...»
23:08:54 -!- XorSwap has quit (Quit: Leaving).
23:08:56 -!- tromp_ has joined.
23:09:46 <boily> shachaf: you switched from pooches over to fish?
23:13:28 -!- tromp_ has quit (Ping timeout: 255 seconds).
23:17:16 <shachaf> boily: I was looking at the title of _One Fish, Two Fish, Red Fish, Blue Fish_ in French.
23:24:32 <Phantom_Hoover> <boily> or more normally, «premier poisson, deuxième poisson, troisième poisson...»
23:24:55 <Phantom_Hoover> 'fish one, fish two, ...' in english would be using the nominal case, not ordinal
23:25:24 -!- adu has joined.
23:42:38 <boily> one shachaf, two sachafayim, three shachafes, four shachafen...
23:43:41 <boily> conjugating shachaf if hard. let's poutine.
23:43:51 -!- `^_^v has quit (Ping timeout: 276 seconds).
23:43:54 -!- boily has quit (Quit: TUMBLER CHICKEN).
23:44:45 -!- alejandro12 has joined.
23:45:40 <oerjan> `bienvenito alejandro12
23:46:01 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bienvenito: not found
23:46:55 <oerjan> `bienvenido alejandro12
23:47:02 <HackEgo> alejandro12: ¡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.)
23:52:46 <oerjan> esto es #esoteric en Freenode
23:53:59 <alejandro12> bye this group is bored are very seriousGoogle Traductor para empresas:Translator ToolkitTraductor de sitios webGlobal Market Finder
23:55:09 -!- hppavilion[1] has joined.
23:55:29 <hppavilion[1]> int-e: Do you have any clue what that half-word Haskell thing means?
23:56:33 <hppavilion[1]> I think one of the paths to true eso is to make something first-class that is never first-class
23:56:47 <oerjan> what half-word haskell thing
23:57:19 -!- alejandro12 has left.
23:57:19 <oerjan> hppavilion[1]: sounds like a good plan
23:57:48 <HackEgo> Google your half-Word Haskell is Problem.
23:57:51 <shachaf> http://tunes.org/~nef/logs/esoteric/15.12.19
23:58:04 <hppavilion[1]> oerjan: The real question is just /what/ to make first-class
23:58:15 <shachaf> make making things first-class first-class hth
23:58:42 <oerjan> shachaf: you should use codu then you can point at individual lines hth
23:58:49 <shachaf> oerjan: codu doesn't have logs for that day hth