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:12:32 helloily 01:13:26 i see its cold enough to cause some painful shrinkage tbe 01:13:29 there 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). 01:43:15 QUINTHELLOPIA! 01:43:43 RAN RAN RUU! 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 https://orbifold.xyz/interesting-encodings.html 04:02:03 @ask zzo38 Do you like KOI-8? 04:02:03 Consider it noted. 04:18:35 shachaf: no 04:19:11 although I think I knew one of the authors 04:27:29 ? 04:28:04 shachaf: ache, one of the authors of KOI-8 04:28:35 I don't like it, cause I don't like code pages in the first place 04:39:04 Legacy charsets make me sad. 04:39:58 ascii makes me sad cause it only uses 7 bits 04:40:00 :-) 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 how many bits would you want to use to represent 128 characters? 09:30:19 izabera: usually 8 bit per character, 1024 bits 09:32:43 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:43 `5 w 11:43:48 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:49 `n 11:43:50 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:44:42 whose is that? 11:44:51 `dowg cut elimination 11:45:04 6946:2016-02-24 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 is this esoteric enough for #esoteric ? https://bitbucket.org/SoniEx2/jsonwhite 12:37:49 Soni: yes 12:38:21 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 [[Vein]] N https://esolangs.org/w/index.php?oldid=53611 * Keymaker * (+3201) A new language, sort of branching off from Countercall. 17:45:29 [[Countercall]] https://esolangs.org/w/index.php?diff=53612&oldid=53237 * Keymaker * (+27) Added see also. 17:48:42 [[User:Keymaker]] https://esolangs.org/w/index.php?diff=53613&oldid=51310 * Keymaker * (+63) Added Vein. 17:50:10 [[Vein]] https://esolangs.org/w/index.php?diff=53614&oldid=53611 * Keymaker * (+26) Category stack-based. 17:56:07 [[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 [[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 fizzie: )s are showing up as 41 in the .txt version 18:24:26 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 oerjan: Fixed the "41"s. An amusing mishap involving C++ overload resolution and 'char' being an integral type. 19:08:38 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 [[User:JayCampbell]] https://esolangs.org/w/index.php?diff=53617&oldid=43554 * JayCampbell * (+229) Changed license, added compilers under construction 20:00:50 [[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 [[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:33:39 cut elimination? why wou 20:33:47 ld you want to? 20:34:12 shachaf: I suppose KOI-8 is suitable for Russian writing 20:34:30 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 EBCDIC can be suitable if you are communicating with punched cards; otherwise ASCII is much better than EBCDIC. 20:41:37 quintopia: the same applies for the real term cut elimination, which this is a pun on. 20:42:15 `? ! 20:42:16 ​! is a syntax used in Haskell and Prolog for solving evaluation order problems. 20:46:09 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 But if you don't need that, ASCII is entirely suitable there as well. 20:46:56 (as evidenced by the ASCII punch card systems that existed) 20:54:05 But then the holes might be different? 21:04:27 oerjan: i dont see a pun 21:05:49 (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 i mean unless you consider the existence of two theorems that share a name a pun 21:11:58 What's the other theorem? 21:14:41 shachaf: the cut elimination theorem 21:14:45 hth 21:38:45 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 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 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 . o O ( does boily use Steam a lot ) 23:54:56 hellørjan. I sometimes do! 23:55:01 mainly to quinthellopia. 23:56:23 boily: What's your Steam level? Or is that a secret? 23:57:59 helloily 23:58:09 hows the freezing wind 23:58:15 good friday night?