Home liberachat/#xmonad: Logs Calendar

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.