01:06:05 -!- boily has joined.
01:09:46 <HackEgo> 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:48 <HackEgo> 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:14:09 -!- sleffy has quit (Ping timeout: 240 seconds).
01:14:24 <HackEgo> English is an inherently ambiguous context-sensitive language that is too powerful to fully describe itself.
01:14:28 <HackEgo> Le français n'est pas le démon, visitez les Coupeurs. Ne pas couvrir. Meilleur avant!
01:28:47 -!- jaboja has quit (Ping timeout: 248 seconds).
01:31:19 <boily> helloochaf, bonsoircah.
01:38:44 <shachaf> But they're forgettable, I think
01:46:00 <boily> I was either on vacation and/or lagged when they were issued. last two episodes were very short :/
01:46:18 <boily> primitive technology was nice, tho.
01:47:39 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:49:01 <shachaf> 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:58:04 <shachaf> I think pt is often physical therapy
02:01:46 <shachaf> In this case I meant the first two words of boily's last sentence
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 <shachaf> 23:22 <shachaf> i,i an esolang where every time you make a mistake one more thing becomes undefined behavior
07:23:14 <shachaf> 23:22 <shachaf> There's plenty of self-modifying code, but are there self-modifying languages?
07:26:04 -!- zzo38 has joined.
07:33:54 -!- tromp has joined.
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 <FreeFull> shachaf: There are self-modifying languages, I think
09:50:43 -!- augur has quit (Remote host closed the connection).
10:14:47 <HackEgo> [wiki] [[Special:Log/newusers]] create * Dan zh * New user account
10:20:04 <HackEgo> [wiki] [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=53142&oldid=53140 * Dan zh * (+136)
10:21:49 <HackEgo> [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: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 <Taneb> Finally got paper for my printer!
12:18:34 <Taneb> What should I print
12:19:12 <int-e> black pages until you run out of ink or toner :P
12:19:45 <int-e> or dark brown if it's a color printer
12:19:54 <Taneb> int-e, I'd probably run out of paper first
12:20:11 <Taneb> And I'd like to print something slightly more interesting
12:20:40 <Taneb> Like "Quantum Lambda Calculi with Calssical Control: Syntax and Expressive Power"
12:24:18 <int-e> print all papers from https://www.win.tue.nl/~gwoegi/P-versus-NP.htm ? ;-)
12:31:19 <int-e> or print the source code of X11R6, I hear it's a classic
13:00:51 <fizzie> Print ASCII art to tape on your walls.
13:01:43 <fizzie> Did I mention the time I hooked a tractor feed dot matrix printer to IRC? That got old fast.
13:06:23 <int-e> . o O ( that must have come as a big surprise )
13:18:04 -!- Phantom_Hoover has joined.
13:52:09 <HackEgo> [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 <HackEgo> [wiki] [[Countdown]] https://esolangs.org/w/index.php?diff=53145&oldid=53144 * Dan zh * (+18)
13:53:54 <HackEgo> [wiki] [[Countdown]] https://esolangs.org/w/index.php?diff=53146&oldid=53145 * Dan zh * (+10)
13:54:13 <HackEgo> [wiki] [[Countdown]] https://esolangs.org/w/index.php?diff=53147&oldid=53146 * Dan zh * (+1)
13:59:03 <HackEgo> [wiki] [[Countdown]] M https://esolangs.org/w/index.php?diff=53148&oldid=53147 * Dan zh * (+146)
14:00:17 <HackEgo> [wiki] [[Countdown]] https://esolangs.org/w/index.php?diff=53149&oldid=53148 * Dan zh * (-55)
14:00:32 -!- doesthiswork has joined.
14:01:12 <HackEgo> [wiki] [[Countdown]] https://esolangs.org/w/index.php?diff=53150&oldid=53149 * Dan zh * (+33)
14:01:30 <HackEgo> [wiki] [[Countdown]] M https://esolangs.org/w/index.php?diff=53151&oldid=53150 * Dan zh * (+1)
14:08:15 <HackEgo> [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 <zzo38> 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 <zzo38> Maybe print a calendar, if you do not already have one.
20:09:23 -!- Phantom_Hoover has joined.
20:10:55 <zzo38> 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:13:38 <zzo38> 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 <zzo38> 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 <Taneb> zzo38, thank you for the advice
20:27:48 <Taneb> I ended up print a chapter of a book on quantum lambda calculus (I am kind of into QLC right now)
20:31:08 <zzo38> OK, if you like that, then that is good
20:38:14 -!- sleffy has quit (Ping timeout: 255 seconds).
20:43:30 <zzo38> I don't know, but I should learn too, if you explain it please
20:44:32 <Taneb> I presume you are familiar with regular lambda calculus
20:44:48 <Taneb> Or rather, simply typed lambda calculus
20:48:01 <Taneb> And linear typing?
20:52:18 <Taneb> 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 <Taneb> And also a qubit type
20:52:35 <zzo38> I know linear logic, I don't know how linear typing is work
20:53:12 <Taneb> I don't know if linear logic is related to linear typing
20:54:05 <Taneb> But linear typing is a way of encoding "you can only use this value once" in a type system
20:55:26 <zzo38> Well, linear logic can do that too
20:55:51 <int-e> 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:56:19 <zzo38> int-e: Yes, I think that is correct
20:56:48 <int-e> you must use the premise as well... the same is true for the linear arguments in the linear lambda calculus
20:57:45 <Taneb> Anyway, it works out that linear typing is good for representing quantum state
20:57:48 <Phantom_Hoover> <Taneb> But linear typing is a way of encoding "you can only use this value once" in a type system
20:58:08 <Phantom_Hoover> so that's because you're representing quantum computations that have to conserve information
20:58:26 <Taneb> (I should have said "exactly once", sorry)
20:59:43 <zzo38> I think linear logic also has a question mark, which is like exclamation mark but on the other side of the logic instead.
21:01:41 <shachaf> Is !A the same as, uh, 1 & A & A⊗A & A⊗A⊗A & ... ?
21:04:20 -!- sleffy has joined.
21:04:42 <zzo38> 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 <Taneb> shachaf, I don't think that that is the case in QLC
21:06:29 -!- augur has joined.
21:07:36 <int-e> 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 <shachaf> int-e: And also !x |- 1, right? Or whatever that thing was.
21:08:35 <shachaf> ! behaves like a comonad and !x behaves like a comonoid. Or something.
21:09:06 <int-e> shachaf: there's no !!x in the syntax.
21:09:13 <int-e> (in what I'm currently reading)
21:09:31 <int-e> "A Lambda Calculus for Quantum Computation" by van Tonder
21:10:15 <int-e> I misunderstood. Let me check
21:10:33 <Taneb> int-e, there is in what I am reading, Quantum Lambda Calculus by Selinger and Valiron
21:10:35 <int-e> yes, you hget !x |- !!x
21:11:01 <int-e> unfamiliar territory, mistakes happen :)
21:11:12 <Taneb> 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 <int-e> 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:18 <int-e> λx . t and λ!x . t
21:15:43 <shachaf> Taneb: Maybe you should save up money by coming to work in California.
21:15:50 <shachaf> You could work at that quantum computing startup in Berkeley.
21:17:34 <Taneb> For the foreseeable future I'd much rather work in Europe
21:17:39 <shachaf> What does ! mean in a lambda?
21:18:22 <int-e> that the argument is non-linear
21:18:49 <int-e> it corresponds to having !x in the proof context
21:18:52 <shachaf> Does it have a different type?
21:40:09 <Taneb> 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 <HackEgo> [wiki] [[Special:Log/newusers]] create * Random dude * New user account
23:51:35 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=53153&oldid=53142 * Random dude * (+199) /* Introductions */
23:52:02 -!- Cthulhux has joined.