IRCBrowse

2022/05/12

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