00:16:19 -!- Aparecido has left.
00:18:56 -!- oerjan has quit (Quit: Nite).
00:24:13 -!- variable has joined.
01:05:24 -!- Phantom_Hoover has joined.
01:05:24 -!- Phantom_Hoover has quit (Changing host).
01:05:24 -!- Phantom_Hoover has joined.
01:05:30 -!- variable has quit (Quit: /dev/null is full).
01:06:02 -!- variable has joined.
01:06:21 -!- variable has quit (Client Quit).
01:06:59 -!- variable has joined.
01:07:08 -!- variable has quit (Client Quit).
01:08:26 -!- variable has joined.
01:08:42 -!- variable has quit (Client Quit).
01:13:26 <quintopia> i see its cold enough to cause some painful shrinkage tbe
01:37:21 -!- erkin has joined.
01:38:10 -!- Phantom_Hoover has quit (Remote host closed the connection).
01:40:40 -!- ais523 has quit (Quit: quit).
02:17:43 -!- boily has quit (Quit: SECRET CHICKEN).
02:19:28 -!- sprocklem has joined.
02:22:45 -!- doesthiswork has joined.
02:35:49 -!- jaboja has quit (Remote host closed the connection).
02:36:50 -!- MDude has joined.
03:19:27 -!- sleffy has quit (Ping timeout: 248 seconds).
03:44:52 -!- variable has joined.
03:45:33 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
03:54:29 -!- sleffy has joined.
04:01:45 <shachaf> https://orbifold.xyz/interesting-encodings.html
04:02:03 <shachaf> @ask zzo38 Do you like KOI-8?
04:19:11 <variable> although I think I knew one of the authors
04:28:04 <variable> shachaf: ache, one of the authors of KOI-8
04:28:35 <variable> I don't like it, cause I don't like code pages in the first place
04:39:04 <pikhq> Legacy charsets make me sad.
04:39:58 <variable> ascii makes me sad cause it only uses 7 bits
04:46:45 -!- augur has quit (Remote host closed the connection).
05:06:43 -!- Aparecido has joined.
05:10:00 -!- doesthiswork has quit (Quit: Leaving.).
06:20:08 -!- sleffy has quit (Ping timeout: 240 seconds).
06:20:49 -!- sleffy has joined.
06:35:08 -!- sleffy has quit (Ping timeout: 265 seconds).
06:54:06 -!- sprocklem has quit (Ping timeout: 272 seconds).
06:55:50 -!- sprocklem has joined.
07:32:15 -!- Aparecido has quit (Ping timeout: 248 seconds).
07:47:45 -!- Aparecido has joined.
07:51:41 -!- variable has changed nick to constant.
08:32:16 -!- sebbu has quit (Ping timeout: 272 seconds).
08:52:19 -!- AnotherTest has joined.
09:04:56 -!- constant has quit (Quit: /dev/null is full).
09:05:28 -!- variable has joined.
09:05:42 -!- variable has quit (Client Quit).
09:06:18 -!- variable has joined.
09:06:31 -!- variable has quit (Client Quit).
09:07:08 -!- variable has joined.
09:07:18 -!- variable has quit (Client Quit).
09:08:01 -!- variable has joined.
09:08:05 -!- variable has quit (Client Quit).
09:21:56 -!- xkapastel has quit (Quit: Connection closed for inactivity).
09:22:35 <izabera> how many bits would you want to use to represent 128 characters?
09:30:19 <garit> izabera: usually 8 bit per character, 1024 bits
09:32:43 <izabera> add some math to your daily diet
09:39:27 -!- GeekDude has quit (Ping timeout: 240 seconds).
09:42:41 -!- GeekDude has joined.
11:06:10 -!- sebbu has joined.
11:35:46 -!- boily has joined.
11:43:48 <HackEgo> 1/2:mpanion cube//Aperture Science has created a talking cube - we call it the mpanion cube, because it's the opposite of the mute companion cube. \ cut elimination//The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator. \ lifthrasiir//lifthrasiir is shunned by
11:43:50 <HackEgo> 2/2: the rest of his country for being no good at League of Legends. \ friendship//friendship wisdom \ latin//LATINA EST SVBLIMISSIMA LINGVA MVNDI
11:45:04 <HackEgo> 6946:2016-02-24 <shachäf> le/rn cut elimination/The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator.
12:25:44 -!- boily has quit (Quit: ALLEGED CHICKEN).
12:35:31 <Soni> is this esoteric enough for #esoteric ? https://bitbucket.org/SoniEx2/jsonwhite
12:38:21 <Soni> may I use it in production?
12:53:35 -!- sprocklem has quit (Ping timeout: 265 seconds).
13:08:39 -!- doesthiswork has joined.
13:22:33 -!- LeoLambda has quit (Ping timeout: 250 seconds).
13:24:53 -!- LeoLambda has joined.
13:45:25 -!- propumpkin has changed nick to contrapumpkin.
14:14:20 -!- hkgit03 has joined.
14:56:27 -!- `^_^v has joined.
15:03:23 -!- doesthiswork has quit (Quit: Leaving.).
15:13:46 -!- zseri has joined.
15:43:12 -!- sprocklem has joined.
16:05:19 -!- sprocklem has quit (Ping timeout: 248 seconds).
16:12:59 -!- hkgit03 has quit (Quit: Leaving).
16:26:22 -!- sleffy has joined.
16:49:59 -!- FreeFull has joined.
17:05:23 -!- augur has joined.
17:06:36 -!- jaboja has joined.
17:14:41 -!- sleffy has quit (Ping timeout: 260 seconds).
17:14:58 -!- erkin has joined.
17:23:41 -!- sleffy has joined.
17:27:23 <esowiki> [[Vein]] N https://esolangs.org/w/index.php?oldid=53611 * Keymaker * (+3201) A new language, sort of branching off from Countercall.
17:45:29 <esowiki> [[Countercall]] https://esolangs.org/w/index.php?diff=53612&oldid=53237 * Keymaker * (+27) Added see also.
17:48:42 <esowiki> [[User:Keymaker]] https://esolangs.org/w/index.php?diff=53613&oldid=51310 * Keymaker * (+63) Added Vein.
17:50:10 <esowiki> [[Vein]] https://esolangs.org/w/index.php?diff=53614&oldid=53611 * Keymaker * (+26) Category stack-based.
17:56:07 <esowiki> [[Vein]] https://esolangs.org/w/index.php?diff=53615&oldid=53614 * Keymaker * (+546) Added some example code.
17:58:58 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
18:06:33 <esowiki> [[Vein]] https://esolangs.org/w/index.php?diff=53616&oldid=53615 * Keymaker * (+72) Clarifying a bit, seems I was slightly confused.
18:15:27 -!- oerjan has joined.
18:21:39 <oerjan> fizzie: )s are showing up as 41 in the .txt version
18:24:26 <oerjan> fizzie: i see a nick change where the result nick is missing
18:42:02 -!- erkin has joined.
18:45:35 -!- Phantom_Hoover has joined.
18:45:35 -!- Phantom_Hoover has quit (Changing host).
18:45:35 -!- Phantom_Hoover has joined.
18:57:03 -!- jaboja has quit (Ping timeout: 248 seconds).
19:01:53 -!- sleffy has quit (Ping timeout: 265 seconds).
19:05:20 <fizzie> oerjan: Fixed the "41"s. An amusing mishap involving C++ overload resolution and 'char' being an integral type.
19:08:38 <fizzie> oerjan: And the nick changes (which I added later and didn't remember to fix in the text format).
19:10:19 -!- jaboja has joined.
19:12:52 -!- sleffy has joined.
19:14:09 -!- erkin has quit (Ping timeout: 264 seconds).
19:14:51 -!- erkin has joined.
19:36:37 -!- jaboja has quit (Ping timeout: 256 seconds).
19:51:12 -!- zzo38 has joined.
19:55:51 -!- LKoen has joined.
19:58:06 <esowiki> [[User:JayCampbell]] https://esolangs.org/w/index.php?diff=53617&oldid=43554 * JayCampbell * (+229) Changed license, added compilers under construction
20:00:50 <esowiki> [[What the fuck is the Internet?]] N https://esolangs.org/w/index.php?oldid=53618 * JayCampbell * (+333) Created page with "Tape and stack machine based on Jason Mewes' obscene rap at the beginning of [https://www.youtube.com/watch?v=F5bW8H-kNZs Jay & Silent Bob Strike Back]. ==Status== * Languag..."
20:02:26 -!- `^_^v has quit (Quit: This computer has gone to sleep).
20:03:22 <esowiki> [[Cry]] N https://esolangs.org/w/index.php?oldid=53619 * JayCampbell * (+213) Golfing language that takes advantage of LLVM optimization for faster execution
20:06:39 -!- sleffy has quit (Ping timeout: 265 seconds).
20:34:12 <zzo38> shachaf: I suppose KOI-8 is suitable for Russian writing
20:34:30 <quintopia> sometimes cutting is the fastest and clearest way to search out the things you need
20:35:04 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
20:39:19 <zzo38> EBCDIC can be suitable if you are communicating with punched cards; otherwise ASCII is much better than EBCDIC.
20:41:37 <oerjan> quintopia: the same applies for the real term cut elimination, which this is a pun on.
20:42:16 <HackEgo> ! is a syntax used in Haskell and Prolog for solving evaluation order problems.
20:46:09 <pikhq> As I understand it, the main benefit of EBCDIC in the punch card space is that EBCDIC is compatible with even older conventions for doing data on punch cards.
20:46:46 <pikhq> But if you don't need that, ASCII is entirely suitable there as well.
20:46:56 <pikhq> (as evidenced by the ASCII punch card systems that existed)
20:54:05 <zzo38> But then the holes might be different?
21:05:49 <zzo38> (However, MIX only requires that the cards have eighty columns; it does not matter what encoding is used, although the common IBM cards are probably best)
21:08:55 -!- augur has quit (Remote host closed the connection).
21:09:01 <quintopia> i mean unless you consider the existence of two theorems that share a name a pun
21:14:41 <quintopia> shachaf: the cut elimination theorem
21:38:45 <oerjan> quintopia: one of the theorems may not actually be seriously called that, and i'm not entirely sure it's true either although it might be hth
21:42:37 <quintopia> tdh. i wouldnt be surprised if it is true tho
22:01:07 -!- sleffy has joined.
22:11:09 -!- hkgit03 has joined.
22:18:31 -!- FreeFull has quit (Ping timeout: 255 seconds).
22:20:34 -!- FreeFull has joined.
22:28:16 <zseri> b_jonas: I improved https://gist.github.com/zserik/911ad922cec6c9b95269102523efdbf8, and updated zsdatab::table so that to perform a context::filter, the context don't copies the whole data before that
22:31:22 -!- LKoen has quit (Remote host closed the connection).
22:35:07 -!- Aparecido has quit (Ping timeout: 256 seconds).
22:35:31 -!- zseri has quit (Quit: Leaving).
22:46:00 -!- LKoen has joined.
22:51:02 -!- hkgit03 has quit (Quit: Leaving).
22:51:09 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
22:57:36 -!- augur has joined.
23:16:20 -!- variable has joined.
23:16:49 -!- Aparecido has joined.
23:17:47 -!- variable has quit (Client Quit).
23:24:45 -!- fnodeuser has changed nick to quakenetuser.
23:25:08 -!- quakenetuser has changed nick to fnodeuser.
23:38:06 -!- boily has joined.
23:53:05 <oerjan> . o O ( does boily use Steam a lot )
23:54:56 <boily> hellørjan. I sometimes do!
23:55:01 <boily> mainly to quinthellopia.
23:56:23 <fizzie> boily: What's your Steam level? Or is that a secret?