Logs: liberachat/#xmonad
| 2022-05-12 02:14:20 | → | ares[m] joins (~arescatgi@2001:470:69fc:105::1:cca5) |
| 2022-05-12 02:14:40 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 2022-05-12 02:16:17 | → | lyiriyah[m] joins (~lyiriyahm@2001:470:69fc:105::cc0) |
| 2022-05-12 02:16:43 | × | ^[ quits (~user@user//x-8473491) (Ping timeout: 260 seconds) |
| 2022-05-12 02:18:08 | → | ^[ joins (~user@user//x-8473491) |
| 2022-05-12 02:23:10 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-05-12 02:30:50 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-05-12 03:46:20 | × | zawaken quits (~zawaken@user/zawaken) (Ping timeout: 252 seconds) |
| 2022-05-12 03:54:39 | → | zawaken joins (~zawaken@user/zawaken) |
| 2022-05-12 04:30:45 | × | rekahsoft quits (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2022-05-12 04:32:55 | → | benin joins (~benin@183.82.31.174) |
| 2022-05-12 04:43:15 | × | sibi quits (~sibi@2001:470:69fc:105::8ab) (Quit: Reconnecting) |
| 2022-05-12 04:43:31 | → | sibi joins (~sibi@2001:470:69fc:105::8ab) |
| 2022-05-12 06:35:50 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 2022-05-12 06:39:49 | × | steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-05-12 07:27:03 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-12 07:38:52 | → | TheWizardTower[m joins (~thewizard@2001:470:69fc:105::a5b) |
| 2022-05-12 07:59:29 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-05-12 08:13:41 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-12 08:38:03 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-12 09:00:35 | × | Zarak[m] quits (~zarakmatr@2001:470:69fc:105::1:f67f) (Quit: You have been kicked for being idle) |
| 2022-05-12 09:11:45 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-12 09:11:49 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-05-12 09:13:01 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-12 09:13:22 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2022-05-12 09:14:30 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-12 09:17:39 | → | Benzi-Junior joins (~BenziJuni@88-149-64-179.du.xdsl.is) |
| 2022-05-12 10:14:58 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-12 10:30:35 | × | haskl quits (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2022-05-12 10:33:03 | → | haskl joins (~haskl@user/haskl) |
| 2022-05-12 12:17:22 | → | tcoopman joins (~tcoopman@ptr-178-51-218-190.dyn.mobistar.be) |
| 2022-05-12 12:56:29 | × | tcoopman quits (~tcoopman@ptr-178-51-218-190.dyn.mobistar.be) (Quit: Client closed) |
| 2022-05-12 13:12:48 | × | [Leary] quits (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (Ping timeout: 252 seconds) |
| 2022-05-12 13:55:07 | → | twiclo1 joins (~twiclo@mail.twil.cx) |
| 2022-05-12 14:16:09 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-05-12 14:24:46 | → | [Leary] joins (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) |
| 2022-05-12 15:31:41 | × | benin quits (~benin@183.82.31.174) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-12 16:00:06 | × | thonoht[m] quits (~thonohtma@2001:470:69fc:105::d7be) (Quit: You have been kicked for being idle) |
| 2022-05-12 16:00:35 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Quit: You have been kicked for being idle) |
| 2022-05-12 16:31:21 | × | twiclo1 quits (~twiclo@mail.twil.cx) (Read error: No route to host) |
| 2022-05-12 16:53:34 | <geekosaur> | somewhat out of date, but https://github.com/wouter-swierstra/xmonad port of xmonad to coq |
| 2022-05-12 16:53:48 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 2022-05-12 17:06:50 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-12 17:10:50 | → | moonsheep joins (~user@user/moonsheep) |
| 2022-05-12 17:11:54 | → | twiclo1 joins (~twiclo@vpn.utahbroadband.com) |
| 2022-05-12 17:27:11 | ← | moonsheep parts (~user@user/moonsheep) (ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-05-12 17:45:00 | → | dschrempf joins (~dominik@mobiledyn-62-240-134-183.mrsn.at) |
| 2022-05-12 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 |
| 2022-05-12 18:10:30 | × | dschrempf quits (~dominik@mobiledyn-62-240-134-183.mrsn.at) (Ping timeout: 240 seconds) |
| 2022-05-12 18:12:36 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-12 18:17:50 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 240 seconds) |
| 2022-05-12 19:51:35 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 252 seconds) |
| 2022-05-12 19:56:44 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-05-12 20:19:34 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-05-12 22:17:46 | → | steve_ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-05-12 22:53:22 | → | stackdroid18 joins (14094@user/stackdroid) |
| 2022-05-12 23:14:45 | × | Hash quits (~Hash@hey.howstoned.ru) (Quit: ZNC - https://znc.in) |
| 2022-05-12 23:26:38 | → | Hash joins (~Hash@hey.howstoned.ru) |
| 2022-05-12 23:31:00 | × | Hash quits (~Hash@hey.howstoned.ru) (Client Quit) |
| 2022-05-12 23:48:47 | × | Solitary quits (~Solitary@user/solitary) (Ping timeout: 240 seconds) |
| 2022-05-12 23:54:40 | → | Solitary joins (~Solitary@user/solitary) |
| 2022-05-12 23:56:32 | → | Hash joins (~Hash@hey.howstoned.ru) |
| 2022-05-13 00:01:40 | × | Hash quits (~Hash@hey.howstoned.ru) (Quit: ZNC - https://znc.in) |
| 2022-05-13 00:10:22 | → | Hash joins (~Hash@hey.howstoned.ru) |
| 2022-05-13 00:16:15 | × | Hash quits (~Hash@hey.howstoned.ru) (Ping timeout: 260 seconds) |
| 2022-05-13 00:20:49 | → | Hash joins (~Hash@hey.howstoned.ru) |
| 2022-05-13 00:21:49 | × | Hash quits (~Hash@hey.howstoned.ru) (Read error: Connection reset by peer) |
| 2022-05-13 00:26:30 | → | Hash joins (~Hash@hey.howstoned.ru) |
| 2022-05-13 00:53:48 | × | xacktm quits (xacktm@user/xacktm) (Ping timeout: 240 seconds) |
| 2022-05-13 01:04:32 | × | Benzi-Junior quits (~BenziJuni@88-149-64-179.du.xdsl.is) (Ping timeout: 252 seconds) |
| 2022-05-13 01:43:36 | → | xacktm joins (xacktm@user/xacktm) |
| 2022-05-13 01:59:38 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-13 02:04:54 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 276 seconds) |
| 2022-05-13 02:08:17 | × | steve_ quits (~steve@ool-182c2b80.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-05-13 02:25:37 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2022-05-13 03:00:01 | × | haasn quits (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-05-13 03:01:23 | → | haasn joins (~nand@haasn.dev) |
| 2022-05-13 05:34:26 | → | dschrempf joins (~dominik@mobiledyn-62-240-134-183.mrsn.at) |
| 2022-05-13 05:48:43 | × | sagax quits (~sagax_nb@user/sagax) (Ping timeout: 256 seconds) |
| 2022-05-13 06:17:53 | × | dschrempf quits (~dominik@mobiledyn-62-240-134-183.mrsn.at) (Ping timeout: 260 seconds) |
| 2022-05-13 06:44:52 | → | sagax joins (~sagax_nb@user/sagax) |
| 2022-05-13 06:58:32 | → | steve_ joins (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-05-13 06:59:54 | → | dschrempf joins (~dominik@mobiledyn-62-240-134-183.mrsn.at) |
| 2022-05-13 07:36:45 | → | Guest748 joins (~Guest74@2803:1500:e00:c6e:84bb:208f:4b22:9da1) |
| 2022-05-13 07:36:50 | × | Guest748 quits (~Guest74@2803:1500:e00:c6e:84bb:208f:4b22:9da1) (Client Quit) |
| 2022-05-13 07:39:55 | → | cfricke joins (~cfricke@user/cfricke) |
| 2022-05-13 07:44:10 | → | chomwitt joins (~chomwitt@2a02:587:dc21:9e00:6dfd:37a:2bc3:ca7e) |
| 2022-05-13 08:18:00 | × | dschrempf quits (~dominik@mobiledyn-62-240-134-183.mrsn.at) (Quit: WeeChat 3.5) |
| 2022-05-13 08:51:29 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-05-13 09:00:06 | × | anon_kun600[m] quits (~anonkun60@2001:470:69fc:105::1:ebb8) (Quit: You have been kicked for being idle) |
| 2022-05-13 09:00:22 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 2022-05-13 09:27:53 | → | Benzi-Junior joins (~BenziJuni@88-149-64-179.du.xdsl.is) |
| 2022-05-13 09:32:28 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-05-13 10:43:34 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2022-05-13 10:43:39 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2022-05-13 10:43:42 | allbery_b | is now known as geekosaur |
| 2022-05-13 12:20:14 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-05-13 12:22:23 | → | RudraveerMandal[ joins (~magphimat@2001:470:69fc:105::2:eb9) |
| 2022-05-13 12:23:10 | <RudraveerMandal[> | Since I will start learning Haskell |
| 2022-05-13 12:23:28 | <RudraveerMandal[> | I am thinking about switching to XMonad from Qtile |
All times are in UTC.