00:17:41 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
00:44:22 -!- variable has joined.
01:11:16 -!- augur has quit (Remote host closed the connection).
01:15:30 <lambdabot> int-e said 13h 24m 35s ago: Oh GG... could it be love?
01:16:23 -!- sebbu2 has joined.
01:16:26 -!- augur has joined.
01:17:54 -!- sebbu has quit (Ping timeout: 256 seconds).
01:19:44 -!- sebbu2 has changed nick to sebbu.
01:21:05 -!- augur has quit (Ping timeout: 248 seconds).
01:25:54 <boily> . o O ( is there such a thing as a loud massage? )
01:41:27 <shachaf> Though I think this YSAC was lacking.
01:42:16 <oerjan> my mom had an electric massager, that did make some noise.
01:42:57 <oerjan> . o O ( no, it was really for massaging. stop your filthy thinking. )
01:44:12 -!- contrapumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
01:45:48 -!- contrapumpkin has joined.
01:54:11 <boily> helloochaf! it had pepper pepper pepper.
02:08:07 <esowiki> [[Mayor Indbur]] N https://esolangs.org/w/index.php?oldid=53934 * Camto * (+2401) Actually create the page
02:11:47 <esowiki> [[Mayor Indbur]] https://esolangs.org/w/index.php?diff=53935&oldid=53934 * Camto * (+70) Categories are cool.
02:13:20 -!- S1R has quit (Quit: Leaving).
02:13:49 <esowiki> [[Mayor Indbur]] M https://esolangs.org/w/index.php?diff=53936&oldid=53935 * Camto * (-8)
02:15:02 <esowiki> [[Mayor Indbur]] M https://esolangs.org/w/index.php?diff=53937&oldid=53936 * Camto * (-1) whoops
02:25:41 <esowiki> [[User:Camto]] N https://esolangs.org/w/index.php?oldid=53938 * Camto * (+260) My page.
02:28:32 <HackEgo> 1/2:turing//Turing is what you are doing when you Tur. \ coffee//Coffee is a strange brew. Enticing wisps of vapour catch the eye, the soul ensnared into dark vortices of flavour. Some minds mix in milk and sugar to counteract coffee's black magic. \ mad//This wisdom entry was censored for being too accurate. \ astronomy//Astronomy is the s
02:28:35 <HackEgo> 2/2:tudy of stars, such as Julia Child and Gordon Ramsay, typically through long-distance viewing devices. Despite the name, it does not involve the study of the astrointestinal tract. \ friend//friend is a portmanteau of fritter and rend
02:29:00 <esowiki> [[User:Camto]] https://esolangs.org/w/index.php?diff=53939&oldid=53938 * Camto * (+103) github link
02:31:30 -!- xkapastel has quit (Quit: Connection closed for inactivity).
02:46:46 -!- boily has quit (Quit: PREËMPTIVE CHICKEN).
03:09:40 -!- augur has joined.
03:14:35 -!- aloril has quit (Ping timeout: 240 seconds).
03:22:03 -!- aloril has joined.
03:25:42 -!- sprocklem has quit (Ping timeout: 252 seconds).
03:27:58 -!- sprocklem has joined.
03:29:18 -!- idris-bot has quit (Ping timeout: 240 seconds).
03:31:05 -!- Melvar has quit (Ping timeout: 240 seconds).
03:37:33 -!- augur has quit (Remote host closed the connection).
04:04:24 -!- augur has joined.
04:04:44 -!- Melvar has joined.
04:08:57 -!- augur has quit (Ping timeout: 240 seconds).
04:41:25 -!- Guest6549 has joined.
04:43:04 -!- Slereah has quit (Ping timeout: 252 seconds).
05:16:14 -!- oerjan has quit (Quit: Nite).
05:32:27 -!- augur has joined.
07:06:41 -!- sleffy has quit (Ping timeout: 248 seconds).
07:12:39 -!- variable has quit (Quit: Found 1 in /dev/zero).
08:17:42 -!- ISS has quit.
08:29:13 -!- augur has quit (Remote host closed the connection).
08:36:30 -!- mniip has quit (Ping timeout: 268 seconds).
08:39:22 -!- AnotherTest has joined.
09:24:58 -!- mniip has joined.
09:26:48 -!- Naergon has quit (Ping timeout: 240 seconds).
10:47:17 -!- LKoen has joined.
11:11:17 -!- sparr has quit (Ping timeout: 276 seconds).
11:11:17 -!- Lord_of_Life has quit (Ping timeout: 276 seconds).
11:11:29 -!- FreeFull has quit (Ping timeout: 276 seconds).
11:12:13 -!- FreeFull has joined.
11:13:18 -!- sparr has joined.
11:14:26 -!- Lord_of_Life has joined.
11:36:05 -!- boily has joined.
11:47:44 <int-e> @tell oerjan Dupree and Gil.
11:51:55 <int-e> boily: I did ask whether it could be love.
11:52:56 <boily> wasn't Gil supposed to Agatha? I haven't GG in quite a while...
11:54:35 <int-e> boily: look at the last panel of the most recent GG
12:02:27 <int-e> But it's so uncharacteristic for Dupree to show any kind of concern at all that I'm wondering.
12:08:11 <Taneb> I think she holds a lot of affection for Gil, not sure if it's romantic love
12:17:04 -!- idris-bot has joined.
12:21:36 -!- boily has quit (Quit: ROLLERCOASTER CHICKEN).
13:33:39 -!- Lord_of_Life has quit (Changing host).
13:33:39 -!- Lord_of_Life has joined.
13:33:39 -!- Lord_of_Life has quit (Changing host).
13:33:39 -!- Lord_of_Life has joined.
13:41:10 -!- doesthiswork has joined.
13:53:29 -!- zseri has joined.
14:53:13 -!- doesthiswork has quit (Quit: Leaving.).
14:59:53 -!- `^_^v has joined.
16:04:28 -!- jaboja has joined.
16:11:51 -!- jaboja has quit (Quit: Leaving).
16:14:44 -!- xkapastel has joined.
16:22:15 -!- jaboja has joined.
16:22:33 -!- jaboja has quit (Client Quit).
16:45:19 -!- ais523_ has joined.
16:49:10 -!- augur has joined.
16:50:39 -!- laerling has joined.
17:10:44 -!- ais523_ has quit (Ping timeout: 260 seconds).
17:34:09 -!- erkin has joined.
17:43:24 -!- laerling has quit (Quit: Leaving).
17:44:18 -!- j-bot has joined.
17:48:26 -!- sleffy has joined.
17:48:41 -!- Phantom_Hoover has joined.
18:15:33 -!- sleffy has quit (Ping timeout: 268 seconds).
18:42:31 -!- sprocklem has quit (Ping timeout: 256 seconds).
18:55:34 -!- augur has quit (Ping timeout: 252 seconds).
18:57:35 -!- danieljabailey has quit (Ping timeout: 248 seconds).
19:11:50 -!- moei has joined.
19:15:47 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
19:24:52 -!- zseri has quit (Remote host closed the connection).
19:25:21 -!- zseri has joined.
19:29:45 -!- laerling has joined.
19:49:08 -!- sleffy has joined.
20:47:35 -!- propumpkin has joined.
20:48:04 -!- contrapumpkin has quit (Ping timeout: 256 seconds).
20:50:16 -!- propumpkin has changed nick to contrapumpkin.
21:08:00 -!- laerling has quit (Quit: Leaving).
21:14:08 -!- zseri has quit (Quit: Leaving).
22:03:57 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:25:36 -!- sprocklem has joined.
22:52:02 -!- boily has joined.
23:22:40 -!- AnotherTest has quit (Ping timeout: 248 seconds).
23:45:44 -!- 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.”).
23:58:06 <Sgeo> A library I wrote was mentioned in some paper about proving libraries safe
23:58:52 <Sgeo> https://gitlab.mpi-sws.org/FP/LambdaRust-coq/tree/eec05e0aa61e2e8346ab380d0930bbaca4cc1a31