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 @messages-cloudy 01:15:30 int-e said 13h 24m 35s ago: Oh GG... could it be love? 01:15:50 @ask int-e wat. 01:15:50 Consider it noted. 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 . o O ( is there such a thing as a loud massage? ) 01:41:09 helloily. obviously. 01:41:17 boily: thoily 01:41:27 Though I think this YSAC was lacking. 01:42:16 my mom had an electric massager, that did make some noise. 01:42:57 . 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 helloochaf! it had pepper pepper pepper. 02:08:07 [[Mayor Indbur]] N https://esolangs.org/w/index.php?oldid=53934 * Camto * (+2401) Actually create the page 02:11:47 [[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 [[Mayor Indbur]] M https://esolangs.org/w/index.php?diff=53936&oldid=53935 * Camto * (-8) 02:15:02 [[Mayor Indbur]] M https://esolangs.org/w/index.php?diff=53937&oldid=53936 * Camto * (-1) whoops 02:25:41 [[User:Camto]] N https://esolangs.org/w/index.php?oldid=53938 * Camto * (+260) My page. 02:28:27 `5 w 02:28:32 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:34 `n 02:28:35 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 [[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 @tell oerjan Dupree and Gil. 11:47:44 Consider it noted. 11:49:51 int-ello. eh? 11:51:55 boily: I did ask whether it could be love. 11:52:56 wasn't Gil supposed to Agatha? I haven't GG in quite a while... 11:54:35 boily: look at the last panel of the most recent GG 11:54:42 that's all I have 11:55:25 oh. 12:02:27 But it's so uncharacteristic for Dupree to show any kind of concern at all that I'm wondering. 12:08:11 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:51 hi 19:24:52 -!- zseri has quit (Remote host closed the connection). 19:25:21 -!- zseri has joined. 19:28:56 hi again 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:05 bye 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. 22:57:44 @massages-loud 22:57:45 You don't have any messages 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 A library I wrote was mentioned in some paper about proving libraries safe 23:58:52 https://gitlab.mpi-sws.org/FP/LambdaRust-coq/tree/eec05e0aa61e2e8346ab380d0930bbaca4cc1a31