01:06:05 -!- boily has joined. 01:09:40 `5 w 01:09:46 1/2:hacker//Jim Hacker is a former British prime minister. \ ais523//Agent “Iä” Smith is an alien with a strange allergy to avian body covering, which he is trying to retroactively prevent from ever evolving. On the 3rd of March, he's lawful good. \ rho//Rho is the Greek letter that represents the mind, and thus psychology is called rho 01:09:47 `n 01:09:48 2/2:science. Today's reductionists consider the mind obsolete, and prefer to study new rho science. \ treat//Treats are tasty. \ macabre//The Macabres have been the hereditary rulers of Lochaber for 3 centuries. 01:10:54 `cwlprits rho 01:11:02 shachäf 01:11:03 figures 01:11:05 forget rho 01:11:19 `forget rho 01:11:21 Forget what? 01:14:09 -!- sleffy has quit (Ping timeout: 240 seconds). 01:14:12 `? irish 01:14:13 irish? ¯\(°​_o)/¯ 01:14:22 `? english 01:14:24 English is an inherently ambiguous context-sensitive language that is too powerful to fully describe itself. 01:14:26 `? french 01:14:28 Le français n'est pas le démon, visitez les Coupeurs. Ne pas couvrir. Meilleur avant! 01:14:35 `? japanese 01:14:36 japanese? ¯\(°​_o)/¯ 01:28:47 -!- jaboja has quit (Ping timeout: 248 seconds). 01:31:19 helloochaf, bonsoircah. 01:31:44 \o 01:38:31 You missed the ysaclist 01:38:44 But they're forgettable, I think 01:40:09 `? ysaclist 01:40:10 ysaclist? ¯\(°​_o)/¯ 01:46:00 I was either on vacation and/or lagged when they were issued. last two episodes were very short :/ 01:46:18 primitive technology was nice, tho. 01:47:39 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:49:01 boily: Sure, sign me up for ptlist 01:49:33 -!- hppavilion[1] has joined. 01:50:15 -!- jaboja has joined. 01:55:47 -!- boily has quit (Quit: ELECTRONIC CHICKEN). 01:56:18 what is ysac and pt? 01:58:04 I think pt is often physical therapy 01:59:55 and other times programming theory? 02:01:23 Perhaps. 02:01:46 In this case I meant the first two words of boily's last sentence 02:02:01 AHA! 02:25:04 -!- hppavilion[0] has joined. 02:27:59 -!- hppavilion[1] has quit (Ping timeout: 248 seconds). 02:45:44 -!- hppavilion[0] has quit (Ping timeout: 258 seconds). 03:01:43 -!- ATMunn has quit (Quit: humans need sleep, unfortunately). 03:06:11 -!- erkin has joined. 03:09:03 -!- tromp has quit (Remote host closed the connection). 03:11:13 -!- ais523 has joined. 03:44:10 -!- tromp has joined. 03:48:21 -!- tromp has quit (Ping timeout: 240 seconds). 04:32:20 -!- sleffy has joined. 04:38:23 -!- tromp has joined. 04:42:57 -!- tromp has quit (Ping timeout: 248 seconds). 05:10:02 -!- doesthiswork has quit (Quit: Leaving.). 05:32:30 -!- tromp has joined. 05:33:39 -!- jaboja has quit (Ping timeout: 240 seconds). 05:37:09 -!- tromp has quit (Ping timeout: 240 seconds). 05:51:21 -!- doesthiswork has joined. 06:12:05 -!- sleffy has quit (Ping timeout: 240 seconds). 06:28:14 -!- doesthiswork has quit (Quit: Leaving.). 07:03:52 -!- tromp has joined. 07:05:21 -!- tromp has quit (Remote host closed the connection). 07:05:35 -!- tromp has joined. 07:07:37 -!- zzo38 has quit (Ping timeout: 260 seconds). 07:14:49 -!- ais523 has quit (Quit: quit). 07:16:54 -!- tromp has quit (Remote host closed the connection). 07:23:09 23:22 i,i an esolang where every time you make a mistake one more thing becomes undefined behavior 07:23:14 23:22 There's plenty of self-modifying code, but are there self-modifying languages? 07:26:04 -!- zzo38 has joined. 07:32:27 * Taneb good morning 07:33:54 -!- tromp has joined. 07:36:54 Good morneb. 07:47:26 -!- hppavilion[1] has joined. 07:47:52 -!- augur has quit (Remote host closed the connection). 08:16:30 -!- augur has joined. 08:28:48 -!- imode has quit (Ping timeout: 246 seconds). 09:11:01 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 09:19:07 -!- AnotherTest has joined. 09:20:48 -!- LKoen has joined. 09:47:09 shachaf: There are self-modifying languages, I think 09:50:43 -!- augur has quit (Remote host closed the connection). 10:14:47 [wiki] [[Special:Log/newusers]] create * Dan zh * New user account 10:20:04 [wiki] [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=53142&oldid=53140 * Dan zh * (+136) 10:21:49 [wiki] [[User:Dan zh]] N https://esolangs.org/w/index.php?oldid=53143 * Dan zh * (+101) Created page with "Hi! I am Danil! I like making translators from different languages. I'm Reacheable(sometimes) by IRC." 10:22:58 -!- dan_zh has joined. 10:23:23 Hello there! 10:36:39 -!- 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.”). 10:42:39 -!- dan_zh has quit (Ping timeout: 260 seconds). 11:15:08 -!- AnotherTest has quit (Ping timeout: 240 seconds). 12:18:31 Finally got paper for my printer! 12:18:34 What should I print 12:19:12 black pages until you run out of ink or toner :P 12:19:45 or dark brown if it's a color printer 12:19:54 int-e, I'd probably run out of paper first 12:20:11 And I'd like to print something slightly more interesting 12:20:40 Like "Quantum Lambda Calculi with Calssical Control: Syntax and Expressive Power" 12:24:18 print all papers from https://www.win.tue.nl/~gwoegi/P-versus-NP.htm ? ;-) 12:31:19 or print the source code of X11R6, I hear it's a classic 12:35:57 Maybe print a play. 12:44:43 or #esoteric logs 13:00:51 Print ASCII art to tape on your walls. 13:01:43 Did I mention the time I hooked a tractor feed dot matrix printer to IRC? That got old fast. 13:01:48 (They're p. noisy.) 13:06:23 . o O ( that must have come as a big surprise ) 13:18:04 -!- Phantom_Hoover has joined. 13:52:09 [wiki] [[Countdown]] N https://esolangs.org/w/index.php?oldid=53144 * Dan zh * (+583) Created page with "Countdown is a Quite Easy Esoteric Programming Translator. The code is here: global stack stack = [0 , 0, 0] print("Hello! This is the countdown translator!!") print("countdo..." 13:53:11 [wiki] [[Countdown]] https://esolangs.org/w/index.php?diff=53145&oldid=53144 * Dan zh * (+18) 13:53:54 [wiki] [[Countdown]] https://esolangs.org/w/index.php?diff=53146&oldid=53145 * Dan zh * (+10) 13:54:13 [wiki] [[Countdown]] https://esolangs.org/w/index.php?diff=53147&oldid=53146 * Dan zh * (+1) 13:59:03 [wiki] [[Countdown]] M https://esolangs.org/w/index.php?diff=53148&oldid=53147 * Dan zh * (+146) 14:00:17 [wiki] [[Countdown]] https://esolangs.org/w/index.php?diff=53149&oldid=53148 * Dan zh * (-55) 14:00:32 -!- doesthiswork has joined. 14:01:12 [wiki] [[Countdown]] https://esolangs.org/w/index.php?diff=53150&oldid=53149 * Dan zh * (+33) 14:01:30 [wiki] [[Countdown]] M https://esolangs.org/w/index.php?diff=53151&oldid=53150 * Dan zh * (+1) 14:08:15 [wiki] [[Language list]] M https://esolangs.org/w/index.php?diff=53152&oldid=53075 * Dan zh * (+16) 14:13:58 -!- jaboja has joined. 14:24:21 -!- AnotherTest has joined. 14:40:01 -!- doesthiswork has quit (Quit: Leaving.). 14:41:33 -!- ATMunn has joined. 14:57:22 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 15:12:17 -!- jaboja has quit (Ping timeout: 248 seconds). 15:47:33 -!- jaboja has joined. 16:16:49 -!- jaboja has quit (Ping timeout: 248 seconds). 16:21:43 -!- doesthiswork has joined. 16:21:46 -!- doesthiswork has quit (Client Quit). 16:38:38 I think you do not need to print something right away; it can be a waste of paper. Make a printout of something on the times when you need/want them. 16:51:35 -!- zseri has joined. 16:57:19 -!- cyber4dude has joined. 17:14:17 -!- Remavas has joined. 17:36:33 -!- sleffy has joined. 18:02:00 -!- cyber4dude has quit (Remote host closed the connection). 18:23:22 -!- jaboja has joined. 18:27:49 -!- hppavilion[1] has joined. 18:29:54 -!- zseri has quit (Quit: Leaving). 18:33:06 -!- hppavilion[1] has quit (Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH). 18:33:36 -!- hppavilion[1] has joined. 19:07:04 -!- jaboja has quit (Ping timeout: 258 seconds). 19:30:04 -!- jaboja has joined. 20:06:00 Maybe print a calendar, if you do not already have one. 20:09:23 -!- Phantom_Hoover has joined. 20:10:55 Do you like the kind of computer game I make up? It is not quite finish yet, but, many buildings are larger inside but not all; the castle is much smaller inside. On the outside it spans multiple screens, but on the inside it takes up less than a quarter of the screen (and part of the screen is taken up by a message "Why is this castle so small inside? It look much bigger outside") 20:12:15 -!- imode has joined. 20:12:37 cal -y | lpr 20:13:38 FreeFull: Yes it is one way to print out the calendar, if you do not need to add the holidays and spaces to write your own markings per days and so on 20:16:39 The king and queen nevertheless does not want this kind of strange monsters in their castle (even though the note says that any people (or monsters) who solve this puzzle are allowed in) and will cast a spell on you!!! 20:27:30 zzo38, thank you for the advice 20:27:48 I ended up print a chapter of a book on quantum lambda calculus (I am kind of into QLC right now) 20:31:08 OK, if you like that, then that is good 20:38:14 -!- sleffy has quit (Ping timeout: 255 seconds). 20:40:37 how does qlc work 20:43:30 I don't know, but I should learn too, if you explain it please 20:44:32 I presume you are familiar with regular lambda calculus 20:44:48 Or rather, simply typed lambda calculus 20:46:23 Yes 20:48:01 And linear typing? 20:52:18 If you take a simply typed lambda calculus with linear typing, product types, and like the version I'm reading has sum types and also recursion 20:52:30 And also a qubit type 20:52:35 I know linear logic, I don't know how linear typing is work 20:53:12 I don't know if linear logic is related to linear typing 20:53:25 I also don't know 20:54:05 But linear typing is a way of encoding "you can only use this value once" in a type system 20:55:26 Well, linear logic can do that too 20:55:51 linear logic is "you can only use this premise once (unless there's a bang)" - the connection is the usual one between lambda calculus and sequent calculus 20:55:58 (afaiui) 20:56:19 int-e: Yes, I think that is correct 20:56:48 you must use the premise as well... the same is true for the linear arguments in the linear lambda calculus 20:57:45 Anyway, it works out that linear typing is good for representing quantum state 20:57:48 But linear typing is a way of encoding "you can only use this value once" in a type system 20:58:08 so that's because you're representing quantum computations that have to conserve information 20:58:09 correct? 20:58:12 Yeah 20:58:26 (I should have said "exactly once", sorry) 20:59:43 I think linear logic also has a question mark, which is like exclamation mark but on the other side of the logic instead. 21:00:28 hi zzo38 21:00:52 Hello 21:01:41 Is !A the same as, uh, 1 & A & A⊗A & A⊗A⊗A & ... ? 21:04:20 -!- sleffy has joined. 21:04:42 I have read somewhere that it is possible to have multiple kind of ! and ? which act in the same way but are incompatible. 21:05:29 shachaf, I don't think that that is the case in QLC 21:06:29 -!- augur has joined. 21:07:36 shachaf: you do get !x |- x though, and !x = !x,!x in contexts (in the sense that anything provable with !x,!x in the context is provable with !x and vice versa) 21:08:21 int-e: And also !x |- 1, right? Or whatever that thing was. 21:08:32 And !x |- !!x? 21:08:35 ! behaves like a comonad and !x behaves like a comonoid. Or something. 21:09:06 shachaf: there's no !!x in the syntax. 21:09:13 (in what I'm currently reading) 21:09:31 "A Lambda Calculus for Quantum Computation" by van Tonder 21:09:43 !(!x) 21:10:04 oh wait. 21:10:15 I misunderstood. Let me check 21:10:33 int-e, there is in what I am reading, Quantum Lambda Calculus by Selinger and Valiron 21:10:35 yes, you hget !x |- !!x 21:11:01 unfamiliar territory, mistakes happen :) 21:11:12 I think in maybe two or three years I would like to do a PhD in QLC (once I have some money saved up) 21:14:01 shachaf: (what happened was that I was focussed on abstractions, where there's no !!x, instead of terms, where such a thing does exist) 21:15:03 Abstractions? 21:15:18 λx . t and λ!x . t 21:15:43 Taneb: Maybe you should save up money by coming to work in California. 21:15:50 You could work at that quantum computing startup in Berkeley. 21:17:34 For the foreseeable future I'd much rather work in Europe 21:17:39 What does ! mean in a lambda? 21:18:22 that the argument is non-linear 21:18:49 it corresponds to having !x in the proof context 21:18:52 Does it have a different type? 21:19:13 it's --> vs. --o 21:19:22 TG 21:40:09 int-e, I'm printing a copy of van Tonder's thing 21:46:15 -!- ais523 has joined. 22:00:03 -!- callforjudgement has joined. 22:00:04 -!- ais523 has quit (Remote host closed the connection). 22:00:08 -!- callforjudgement has changed nick to ais523. 22:22:14 -!- ais523 has quit (Quit: It seems most convenient to apologise for my connection in the quit message, given how often it comes up… If I immediately reconnect, it's probably because I could send but not receive.). 22:22:24 -!- ais523 has joined. 22:33:41 -!- imode has quit (Ping timeout: 258 seconds). 22:40:58 -!- AnotherTest has quit (Ping timeout: 258 seconds). 22:41:07 -!- augur has quit (Read error: Connection reset by peer). 22:43:00 -!- Remavas has quit (Read error: Connection reset by peer). 22:43:25 -!- Remavas has joined. 22:43:38 -!- augur has joined. 23:00:51 -!- augur has quit (Remote host closed the connection). 23:14:22 -!- ais523 has quit (Quit: qut). 23:20:55 -!- Remavas has quit (Quit: Leaving). 23:50:36 [wiki] [[Special:Log/newusers]] create * Random dude * New user account 23:51:35 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=53153&oldid=53142 * Random dude * (+199) /* Introductions */ 23:52:02 -!- Cthulhux has joined.