IRCBrowse

2022/05/12

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