Logs on 2021-10-30 (liberachat/#xmonad)
| 00:00:03 | × | gruntsplatter quits (~sogens@gateway/vpn/pia/sogens) (*.net *.split) |
| 00:00:03 | × | terrorjack quits (~terrorjac@static.3.200.12.49.clients.your-server.de) (*.net *.split) |
| 00:00:04 | × | AndrewYu quits (~andrew@user/andrewyu) (*.net *.split) |
| 00:00:04 | × | Solitary quits (~Solitary@user/solitary) (*.net *.split) |
| 00:00:04 | × | burp quits (~quassel@hedgewars/sysadmin/burp) (*.net *.split) |
| 00:00:04 | × | lazycat quits (~lazycat@user/lazycat) (*.net *.split) |
| 00:00:05 | × | haasn quits (~nand@haasn.dev) (*.net *.split) |
| 00:00:05 | × | davve quits (davve@bsd.douchedata.com) (*.net *.split) |
| 00:00:05 | × | pyriphlegeton[m] quits (~pyriphleg@2001:470:69fc:105::1:1f49) (*.net *.split) |
| 00:00:05 | × | scardinal quits (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (*.net *.split) |
| 00:00:05 | × | vrs quits (~vrs@user/vrs) (*.net *.split) |
| 00:00:05 | × | deepy quits (deepy@user/deepy) (*.net *.split) |
| 00:00:05 | × | thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 00:00:24 | → | scardinal joins (~supreme@customer-212-237-101-39.ip4.gigabit.dk) |
| 00:00:44 | → | AndrewYu joins (~andrew@andrewyu.org) |
| 00:01:20 | → | lazycat joins (~lazycat@mail.nubecula.net) |
| 00:01:22 | × | AndrewYu quits (~andrew@andrewyu.org) (Changing host) |
| 00:01:22 | → | AndrewYu joins (~andrew@user/andrewyu) |
| 00:01:43 | × | lazycat quits (~lazycat@mail.nubecula.net) (Changing host) |
| 00:01:43 | → | lazycat joins (~lazycat@user/lazycat) |
| 00:02:01 | → | deepy joins (deepy@user/deepy) |
| 00:02:06 | → | burp joins (~quassel@hedgewars/sysadmin/burp) |
| 00:02:35 | → | haasn joins (~nand@haasn.dev) |
| 00:03:23 | × | humky quits (~humky@user/humky) (Quit: Leaving) |
| 00:03:24 | → | Solitary joins (~Solitary@user/solitary) |
| 00:03:31 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 00:03:32 | → | vrs joins (~vrs@user/vrs) |
| 00:04:02 | → | pyriphlegeton[m] joins (~pyriphleg@2001:470:69fc:105::1:1f49) |
| 00:04:24 | → | terrorjack joins (~terrorjac@static.3.200.12.49.clients.your-server.de) |
| 00:05:11 | → | davve joins (davve@bsd.douchedata.com) |
| 00:22:10 | → | trillp joins (~trillp@69.233.98.238) |
| 01:31:19 | × | trillp quits (~trillp@69.233.98.238) (Quit: nyaa~) |
| 02:00:00 | → | gruntsplatter joins (~sogens@gateway/vpn/pia/sogens) |
| 02:04:31 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 260 seconds) |
| 02:22:17 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 02:25:04 | → | Xaerru[m] joins (~xaerrumat@2001:470:69fc:105::fe2d) |
| 02:45:06 | × | eyenx quits (~m-5paiux@eyenx.ch) (Remote host closed the connection) |
| 02:45:46 | → | catman joins (~catman@user/catman) |
| 02:45:53 | → | eyenx joins (~m-5paiux@eyenx.ch) |
| 02:53:04 | × | td_ quits (~td@muedsl-82-207-238-132.citykom.de) (Ping timeout: 260 seconds) |
| 02:54:40 | → | td_ joins (~td@muedsl-82-207-238-253.citykom.de) |
| 03:06:09 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 03:16:53 | × | td_ quits (~td@muedsl-82-207-238-253.citykom.de) (Ping timeout: 264 seconds) |
| 03:18:09 | → | td_ joins (~td@muedsl-82-207-238-113.citykom.de) |
| 04:02:07 | → | catman joins (~catman@user/catman) |
| 04:02:54 | Hash | is now known as EnchanterTim |
| 04:57:24 | EnchanterTim | is now known as HAsh |
| 04:57:27 | HAsh | is now known as Hash |
| 05:10:53 | × | gruntsplatter quits (~sogens@gateway/vpn/pia/sogens) (Ping timeout: 264 seconds) |
| 05:16:41 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 05:40:10 | × | faultline quits (~christian@193.27.14.21) (Ping timeout: 260 seconds) |
| 05:43:42 | → | gruntsplatter joins (~sogens@gateway/vpn/pia/sogens) |
| 05:56:21 | <Solid> | yeah that is a bit weird |
| 05:57:19 | <Solid> | and to assure GHC that everything's okay we'd need to prove that reverse doesn't change the length, which seems dubious in vanilla Haskell |
| 06:22:38 | → | catman joins (~catman@user/catman) |
| 06:39:03 | × | catman quits (~catman@user/catman) (Read error: Connection reset by peer) |
| 06:57:01 | → | catman joins (~catman@user/catman) |
| 07:42:11 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 07:45:19 | → | catman joins (~catman@user/catman) |
| 08:08:05 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:08:58 | <liskin> | There's Data.List.NonEmpty |
| 08:09:10 | <liskin> | I fixed most of those already yesterday |
| 08:11:17 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 08:19:05 | → | catman joins (~catman@user/catman) |
| 08:38:07 | × | Hash quits (~weechat@protect.yourself.with.hashsecurity.org) (Quit: WeeChat 3.3) |
| 08:42:55 | → | alternateved joins (~user@staticline-31-183-149-3.toya.net.pl) |
| 08:59:20 | → | Hash joins (~weechat@thestonedapes.com) |
| 09:00:09 | × | x7and7[m] quits (~haidermir@2001:470:69fc:105::e7ba) (Quit: You have been kicked for being idle) |
| 09:00:30 | × | Hash quits (~weechat@thestonedapes.com) (Client Quit) |
| 09:15:58 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 09:25:05 | → | catman joins (~catman@user/catman) |
| 09:26:22 | × | catman quits (~catman@user/catman) (Client Quit) |
| 09:30:10 | → | Hash joins (~weechat@thestonedapes.com) |
| 09:38:58 | → | seschwar joins (~seschwar@user/seschwar) |
| 09:41:53 | → | themc47 joins (~mc47@xmonad/TheMC47) |
| 09:44:41 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 245 seconds) |
| 09:49:54 | × | Hash quits (~weechat@thestonedapes.com) (Quit: WeeChat 3.3) |
| 09:50:07 | × | themc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 09:51:11 | → | Hash joins (~weechat@thestonedapes.com) |
| 10:02:48 | → | stoned joins (~weechat@thestonedapes.com) |
| 10:03:17 | stoned | is now known as EnchanterTim |
| 10:03:51 | × | Hash quits (~weechat@thestonedapes.com) (Ping timeout: 245 seconds) |
| 10:27:06 | × | gruntsplatter quits (~sogens@gateway/vpn/pia/sogens) (Quit: WeeChat 3.3) |
| 11:42:20 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 12:43:27 | → | benin joins (~benin@183.82.30.38) |
| 13:01:54 | → | dariof4 joins (~dariof4@134.0.0.51) |
| 13:09:19 | <Solid> | oh true that one also has a reverse |
| 13:12:56 | × | EnchanterTim quits (~weechat@thestonedapes.com) (Quit: WeeChat 3.3) |
| 13:13:12 | → | Hash joins (~hash@thestonedapes.com) |
| 13:28:19 | Hash | is now known as OpenSores |
| 13:44:02 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 13:46:05 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 13:57:59 | × | OpenSores quits (~hash@thestonedapes.com) (Quit: WeeChat 3.3) |
| 13:58:15 | → | Hash joins (~stoned@is.coding.when.stoned.io) |
| 14:24:49 | → | gruntsplatter joins (~sogens@gateway/vpn/pia/sogens) |
| 15:29:50 | × | steve__ quits (~steve@ool-182c2aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 15:30:08 | → | steve__ joins (~steve@ool-182c2aa4.dyn.optonline.net) |
| 16:31:17 | × | sagax quits (~sagax_nb@user/sagax) (Ping timeout: 264 seconds) |
| 16:46:01 | → | sagax joins (~sagax_nb@user/sagax) |
| 17:13:17 | × | dariof4 quits (~dariof4@134.0.0.51) (Ping timeout: 264 seconds) |
| 17:15:13 | → | dariof4 joins (~dariof4@5.179.181.91) |
| 17:56:39 | × | dariof4 quits (~dariof4@5.179.181.91) (Ping timeout: 268 seconds) |
| 17:58:34 | → | dariof4 joins (~dariof4@5.77.103.193) |
| 18:07:01 | → | catman joins (~catman@user/catman) |
| 18:14:58 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 18:15:22 | → | catman joins (~catman@user/catman) |
| 18:20:45 | → | mvk joins (~mvk@2607:fea8:5cc1:300::d3fb) |
| 18:34:04 | → | Extropy joins (~extropy@gateway/tor-sasl/extropy) |
| 18:50:09 | → | trillp joins (~trillp@69.233.98.238) |
| 18:52:12 | × | dariof4 quits (~dariof4@5.77.103.193) (Ping timeout: 265 seconds) |
| 18:53:55 | → | dariof4 joins (~dariof4@5.11.107.11) |
| 19:38:47 | × | dariof4 quits (~dariof4@5.11.107.11) (Ping timeout: 264 seconds) |
| 19:40:20 | → | dariof4 joins (~dariof4@95.131.44.100) |
| 19:40:38 | × | benin quits (~benin@183.82.30.38) (Quit: The Lounge - https://thelounge.chat) |
| 19:51:19 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 20:06:23 | × | mvk quits (~mvk@2607:fea8:5cc1:300::d3fb) (Ping timeout: 264 seconds) |
| 20:27:32 | <geekosaur> | sorry for throwing water on the proceedings… |
| 21:03:32 | → | catman joins (~catman@user/catman) |
| 21:16:35 | × | eblip quits (~eb0t@90.211.41.180) (Ping timeout: 264 seconds) |
| 21:18:27 | → | eblip joins (~eb0t@90.196.142.2) |
| 21:22:31 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 21:24:28 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 22:03:41 | → | catman joins (~catman@user/catman) |
| 22:05:25 | × | Extropy quits (~extropy@gateway/tor-sasl/extropy) (Quit: WeeChat 3.3) |
| 22:15:49 | → | Extropy joins (~extropy@gateway/tor-sasl/extropy) |
| 22:19:33 | × | alternateved quits (~user@staticline-31-183-149-3.toya.net.pl) (Ping timeout: 265 seconds) |
| 22:46:15 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 22:59:26 | × | gruntsplatter quits (~sogens@gateway/vpn/pia/sogens) (Ping timeout: 268 seconds) |
| 23:00:32 | → | gruntsplatter joins (~sogens@gateway/vpn/pia/sogens) |
| 23:12:14 | × | dariof4 quits (~dariof4@95.131.44.100) (Quit: WeeChat 3.3) |
All times are in UTC on 2021-10-30.