Logs on 2022-05-12 (liberachat/#xmonad)
| 00:38:39 | × | Ash[m] quits (~signal-wa@2001:470:69fc:105::1:2318) (Ping timeout: 240 seconds) |
| 00:38:39 | × | sibi quits (~sibi@2001:470:69fc:105::8ab) (Ping timeout: 240 seconds) |
| 00:38:47 | × | VarikValefor[m] quits (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 240 seconds) |
| 00:38:48 | × | ms[m] quits (~msmatrixp@2001:470:69fc:105::2b48) (Ping timeout: 248 seconds) |
| 00:38:59 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Ping timeout: 240 seconds) |
| 00:38:59 | × | DeepMajumder[m] quits (~reddocmdm@2001:470:69fc:105::1:f486) (Ping timeout: 240 seconds) |
| 00:38:59 | × | RosarioPulella[m quits (~rosariopu@2001:470:69fc:105::a57) (Ping timeout: 240 seconds) |
| 00:39:00 | × | geekosaur[m][m] quits (~geekosaur@2001:470:69fc:105::2:cb7) (Ping timeout: 248 seconds) |
| 00:39:00 | × | cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (Ping timeout: 248 seconds) |
| 00:39:07 | × | reavertor[m] quits (~reavertor@2001:470:69fc:105::1:ffd7) (Ping timeout: 240 seconds) |
| 00:39:15 | × | aaaaa22[m] quits (~aaaaa22ma@2001:470:69fc:105::2:d11) (Ping timeout: 260 seconds) |
| 00:39:15 | × | mj5sim[m] quits (~mj5simmat@2001:470:69fc:105::2:c40) (Ping timeout: 260 seconds) |
| 00:39:18 | × | anon_kun600[m] quits (~anonkun60@2001:470:69fc:105::1:ebb8) (Ping timeout: 260 seconds) |
| 00:39:18 | × | jakeStateless-Fa quits (~jakefroms@2001:470:69fc:105::15ef) (Ping timeout: 260 seconds) |
| 00:39:18 | × | HAL[m] quits (~evadk8mat@2001:470:69fc:105::3ed0) (Ping timeout: 260 seconds) |
| 00:39:18 | × | lyiriyah[m] quits (~lyiriyahm@2001:470:69fc:105::cc0) (Ping timeout: 260 seconds) |
| 00:39:18 | × | RajatVerma[m] quits (~rajatvmat@2001:470:69fc:105::1:fb34) (Ping timeout: 260 seconds) |
| 00:39:19 | × | ares[m] quits (~arescatgi@2001:470:69fc:105::1:cca5) (Ping timeout: 256 seconds) |
| 00:39:19 | × | butterfly[m] quits (~butterfly@2001:470:69fc:105::1:70db) (Ping timeout: 256 seconds) |
| 00:39:19 | × | Johann[m] quits (~wubhlueao@2001:470:69fc:105::1:f791) (Ping timeout: 256 seconds) |
| 00:39:19 | × | evanjs[m] quits (~evanjsxma@2001:470:69fc:105::1:fc72) (Ping timeout: 256 seconds) |
| 00:39:20 | × | hypoesoteric[m] quits (~hypoesote@2001:470:69fc:105::1:f849) (Ping timeout: 248 seconds) |
| 00:39:20 | × | yuu[m] quits (~yuumatrix@2001:470:69fc:105::8a6) (Ping timeout: 248 seconds) |
| 00:39:20 | × | abastro[m] quits (~abastroma@2001:470:69fc:105::1:e119) (Ping timeout: 248 seconds) |
| 00:39:20 | × | qbit[m]1 quits (~qbittapen@2001:470:69fc:105::194) (Ping timeout: 248 seconds) |
| 00:39:21 | × | LukasLuluHu[m] quits (~ge59woxtu@2001:470:69fc:105::1:fdcf) (Ping timeout: 248 seconds) |
| 00:39:21 | × | CodeBitCookie[m] quits (~code-bit-@2001:470:69fc:105::a2f) (Ping timeout: 248 seconds) |
| 00:39:21 | × | Drishal[m] quits (~drishalma@2001:470:69fc:105::a36) (Ping timeout: 248 seconds) |
| 00:39:27 | × | iffsid quits (~iffsid@2001:470:69fc:105::a3e) (Ping timeout: 240 seconds) |
| 00:39:27 | × | mekeor[m] quits (~mekeormat@2001:470:69fc:105::17e4) (Ping timeout: 240 seconds) |
| 00:39:32 | × | Etxeberrialex[m] quits (~etxeberri@2001:470:69fc:105::1:5ae6) (Ping timeout: 248 seconds) |
| 00:39:32 | × | Zarak[m] quits (~zarakmatr@2001:470:69fc:105::1:f67f) (Ping timeout: 248 seconds) |
| 00:39:32 | × | Ether[m] quits (~etherrorc@2001:470:69fc:105::1:e66e) (Ping timeout: 248 seconds) |
| 00:39:32 | × | thonoht[m] quits (~thonohtma@2001:470:69fc:105::d7be) (Ping timeout: 248 seconds) |
| 00:39:32 | × | ArshiaAghaei[m] quits (~arshiaagh@2001:470:69fc:105::1:c382) (Ping timeout: 248 seconds) |
| 00:39:39 | × | M-elo-[m] quits (~gilganixm@2001:470:69fc:105::3d09) (Ping timeout: 240 seconds) |
| 00:39:50 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Ping timeout: 260 seconds) |
| 00:39:50 | × | kwer[m] quits (~kwermatri@2001:470:69fc:105::1:4da1) (Ping timeout: 260 seconds) |
| 00:39:50 | × | yusz-01[m] quits (~yusz-01ma@2001:470:69fc:105::1:f697) (Ping timeout: 260 seconds) |
| 00:39:50 | × | Yehoshua quits (~yehoshua@2001:470:69fc:105::1:593f) (Ping timeout: 260 seconds) |
| 00:39:50 | × | valarMorghulis[m quits (~lladeebll@2001:470:69fc:105::2:72) (Ping timeout: 260 seconds) |
| 00:39:50 | × | neopenk[m] quits (~neopenkma@2001:470:69fc:105::1:6286) (Ping timeout: 260 seconds) |
| 00:39:51 | × | Tisoxin quits (~ikosit@user/ikosit) (Ping timeout: 252 seconds) |
| 00:39:53 | × | Solid[m] quits (~slot-matr@2001:470:69fc:105::1:a84) (Ping timeout: 260 seconds) |
| 00:39:53 | × | jaklt[m] quits (~jaklttchn@2001:470:69fc:105::a42) (Ping timeout: 260 seconds) |
| 00:41:22 | × | Benzi-Junior quits (~BenziJuni@88-149-64-179.du.xdsl.is) (Ping timeout: 246 seconds) |
| 00:42:30 | → | Benzi-Junior joins (~BenziJuni@dsl-149-64-179.hive.is) |
| 00:47:24 | × | Benzi-Junior quits (~BenziJuni@dsl-149-64-179.hive.is) (Ping timeout: 240 seconds) |
| 00:53:36 | × | sagax quits (~sagax_nb@user/sagax) (Remote host closed the connection) |
| 01:04:24 | → | anon_kun600[m] joins (~anonkun60@2001:470:69fc:105::1:ebb8) |
| 01:08:27 | → | RajatVerma[m] joins (~rajatvmat@2001:470:69fc:105::1:fb34) |
| 01:09:24 | → | HAL[m] joins (~evadk8mat@2001:470:69fc:105::3ed0) |
| 01:09:27 | → | reavertor[m] joins (~reavertor@2001:470:69fc:105::1:ffd7) |
| 01:10:34 | → | VarikValefor[m] joins (~varikvale@2001:470:69fc:105::a5d) |
| 01:11:04 | → | jakeStateless-Fa joins (~jakefroms@2001:470:69fc:105::15ef) |
| 01:11:39 | → | lyiriyah[m] joins (~lyiriyahm@2001:470:69fc:105::cc0) |
| 01:12:04 | → | sibi joins (~sibi@2001:470:69fc:105::8ab) |
| 01:16:57 | → | ms[m] joins (~msmatrixp@2001:470:69fc:105::2b48) |
| 01:17:19 | → | Ash[m] joins (~signal-wa@2001:470:69fc:105::1:2318) |
| 01:18:40 | → | LukasLuluHu[m] joins (~ge59woxtu@2001:470:69fc:105::1:fdcf) |
| 01:21:50 | → | mj5sim[m] joins (~mj5simmat@2001:470:69fc:105::2:c40) |
| 01:24:54 | → | cdepillabout[m] joins (~cdepillab@2001:470:69fc:105::3d3) |
| 01:27:20 | → | Johann[m] joins (~wubhlueao@2001:470:69fc:105::1:f791) |
| 01:27:21 | → | butterfly[m] joins (~butterfly@2001:470:69fc:105::1:70db) |
| 01:27:22 | → | evanjs[m] joins (~evanjsxma@2001:470:69fc:105::1:fc72) |
| 01:27:31 | → | aaaaa22[m] joins (~aaaaa22ma@2001:470:69fc:105::2:d11) |
| 01:27:42 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 01:27:54 | → | geekosaur[m][m] joins (~geekosaur@2001:470:69fc:105::2:cb7) |
| 01:28:01 | → | DeepMajumder[m] joins (~reddocmdm@2001:470:69fc:105::1:f486) |
| 01:30:03 | → | thonoht[m] joins (~thonohtma@2001:470:69fc:105::d7be) |
| 01:30:04 | → | Zarak[m] joins (~zarakmatr@2001:470:69fc:105::1:f67f) |
| 01:31:21 | → | rekahsoft joins (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 01:31:58 | → | RosarioPulella[m joins (~rosariopu@2001:470:69fc:105::a57) |
| 01:32:42 | → | ArshiaAghaei[m] joins (~arshiaagh@2001:470:69fc:105::1:c382) |
| 01:32:59 | → | sagax joins (~sagax_nb@user/sagax) |
| 01:33:48 | → | CodeBitCookie[m] joins (~code-bit-@2001:470:69fc:105::a2f) |
| 01:36:33 | → | Solid[m] joins (~slot-matr@2001:470:69fc:105::1:a84) |
| 01:36:38 | → | ares[m] joins (~arescatgi@2001:470:69fc:105::1:cca5) |
| 01:38:18 | → | mekeor[m] joins (~mekeormat@2001:470:69fc:105::17e4) |
| 01:38:49 | → | qbit[m]1 joins (~qbittapen@2001:470:69fc:105::194) |
| 01:40:28 | → | Drishal[m] joins (~drishalma@2001:470:69fc:105::a36) |
| 01:41:52 | → | jaklt[m] joins (~jaklttchn@2001:470:69fc:105::a42) |
| 01:43:45 | → | Ether[m] joins (~etherrorc@2001:470:69fc:105::1:e66e) |
| 01:48:04 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Ping timeout: 240 seconds) |
| 01:48:07 | × | Drishal[m] quits (~drishalma@2001:470:69fc:105::a36) (Ping timeout: 250 seconds) |
| 01:48:07 | × | ares[m] quits (~arescatgi@2001:470:69fc:105::1:cca5) (Ping timeout: 250 seconds) |
| 01:48:08 | × | lyiriyah[m] quits (~lyiriyahm@2001:470:69fc:105::cc0) (Ping timeout: 250 seconds) |
| 01:48:14 | × | DeepMajumder[m] quits (~reddocmdm@2001:470:69fc:105::1:f486) (Ping timeout: 240 seconds) |
| 01:49:17 | → | neopenk[m] joins (~neopenkma@2001:470:69fc:105::1:6286) |
| 01:49:57 | → | kwer[m] joins (~kwermatri@2001:470:69fc:105::1:4da1) |
| 01:49:57 | → | yusz-01[m] joins (~yusz-01ma@2001:470:69fc:105::1:f697) |
| 01:51:19 | × | jao quits (~mail@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 01:52:55 | → | iffsid joins (~iffsid@2001:470:69fc:105::a3e) |
| 01:53:42 | → | valarMorghulis[m joins (~lladeebll@2001:470:69fc:105::2:72) |
| 01:57:25 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 01:58:11 | → | abastro[m] joins (~abastroma@2001:470:69fc:105::1:e119) |
| 02:03:17 | → | hypoesoteric[m] joins (~hypoesote@2001:470:69fc:105::1:f849) |
| 02:03:51 | → | yuu[m] joins (~yuumatrix@2001:470:69fc:105::8a6) |
| 02:04:25 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 256 seconds) |
| 02:06:14 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 252 seconds) |
| 02:06:22 | → | M-elo-[m] joins (~gilganixm@2001:470:69fc:105::3d09) |
| 02:07:11 | → | Tisoxin joins (~ikosit@user/ikosit) |
| 02:08:16 | → | Yehoshua joins (~yehoshua@2001:470:69fc:105::1:593f) |
| 02:08:17 | → | Etxeberrialex[m] joins (~etxeberri@2001:470:69fc:105::1:5ae6) |
| 02:08:37 | → | DeepMajumder[m] joins (~reddocmdm@2001:470:69fc:105::1:f486) |
| 02:14:04 | → | Drishal[m] joins (~drishalma@2001:470:69fc:105::a36) |
| 02:14:20 | → | ares[m] joins (~arescatgi@2001:470:69fc:105::1:cca5) |
| 02:14:40 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 02:16:17 | → | lyiriyah[m] joins (~lyiriyahm@2001:470:69fc:105::cc0) |
| 02:16:43 | × | ^[ quits (~user@user//x-8473491) (Ping timeout: 260 seconds) |
| 02:18:08 | → | ^[ joins (~user@user//x-8473491) |
| 02:23:10 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 02:30:50 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 03:46:20 | × | zawaken quits (~zawaken@user/zawaken) (Ping timeout: 252 seconds) |
| 03:54:39 | → | zawaken joins (~zawaken@user/zawaken) |
| 04:30:45 | × | rekahsoft quits (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 04:32:55 | → | benin joins (~benin@183.82.31.174) |
| 04:43:15 | × | sibi quits (~sibi@2001:470:69fc:105::8ab) (Quit: Reconnecting) |
| 04:43:31 | → | sibi joins (~sibi@2001:470:69fc:105::8ab) |
| 06:35:50 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 06:39:49 | × | steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 07:27:03 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 07:38:52 | → | TheWizardTower[m joins (~thewizard@2001:470:69fc:105::a5b) |
| 07:59:29 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:13:41 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 08:38:03 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 09:00:35 | × | Zarak[m] quits (~zarakmatr@2001:470:69fc:105::1:f67f) (Quit: You have been kicked for being idle) |
| 09:11:45 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 09:11:49 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 09:13:01 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 09:13:22 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 09:14:30 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 09:17:39 | → | Benzi-Junior joins (~BenziJuni@88-149-64-179.du.xdsl.is) |
| 10:14:58 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 10:30:35 | × | haskl quits (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 10:33:03 | → | haskl joins (~haskl@user/haskl) |
| 12:17:22 | → | tcoopman joins (~tcoopman@ptr-178-51-218-190.dyn.mobistar.be) |
| 12:56:29 | × | tcoopman quits (~tcoopman@ptr-178-51-218-190.dyn.mobistar.be) (Quit: Client closed) |
| 13:12:48 | × | [Leary] quits (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (Ping timeout: 252 seconds) |
| 13:55:07 | → | twiclo1 joins (~twiclo@mail.twil.cx) |
| 14:16:09 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 14:24:46 | → | [Leary] joins (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) |
| 15:31:41 | × | benin quits (~benin@183.82.31.174) (Quit: The Lounge - https://thelounge.chat) |
| 16:00:06 | × | thonoht[m] quits (~thonohtma@2001:470:69fc:105::d7be) (Quit: You have been kicked for being idle) |
| 16:00:35 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Quit: You have been kicked for being idle) |
| 16:31:21 | × | twiclo1 quits (~twiclo@mail.twil.cx) (Read error: No route to host) |
| 16:53:34 | <geekosaur> | somewhat out of date, but https://github.com/wouter-swierstra/xmonad port of xmonad to coq |
| 16:53:48 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 17:06:50 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:10:50 | → | moonsheep joins (~user@user/moonsheep) |
| 17:11:54 | → | twiclo1 joins (~twiclo@vpn.utahbroadband.com) |
| 17:27:11 | ← | moonsheep parts (~user@user/moonsheep) (ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 17:45:00 | → | dschrempf joins (~dominik@mobiledyn-62-240-134-183.mrsn.at) |
| 18:10:23 | <mc47> | geekosaur I wanted to do the same but in Isabelle (for a small course project), but the theorems were too easy to prove lol |
| 18:10:30 | × | dschrempf quits (~dominik@mobiledyn-62-240-134-183.mrsn.at) (Ping timeout: 240 seconds) |
| 18:12:36 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 18:17:50 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 240 seconds) |
| 19:51:35 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 252 seconds) |
| 19:56:44 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 20:19:34 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 22:17:46 | → | steve_ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 22:53:22 | → | stackdroid18 joins (14094@user/stackdroid) |
| 23:14:45 | × | Hash quits (~Hash@hey.howstoned.ru) (Quit: ZNC - https://znc.in) |
| 23:26:38 | → | Hash joins (~Hash@hey.howstoned.ru) |
| 23:31:00 | × | Hash quits (~Hash@hey.howstoned.ru) (Client Quit) |
| 23:48:47 | × | Solitary quits (~Solitary@user/solitary) (Ping timeout: 240 seconds) |
| 23:54:40 | → | Solitary joins (~Solitary@user/solitary) |
| 23:56:32 | → | Hash joins (~Hash@hey.howstoned.ru) |
All times are in UTC on 2022-05-12.