2025/09/22

Newest at the top

2025-09-22 06:23:33 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-22 06:21:58 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-09-22 06:18:03 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-22 06:18:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-22 06:16:13 +0200Googulator39(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 06:16:04 +0200Axma29690(~Axman6@user/axman6) Axman6
2025-09-22 06:15:44 +0200Googulator52(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 06:13:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 06:10:45 +0200Googulator56(~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed)
2025-09-22 06:10:37 +0200Googulator39(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 06:02:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-22 06:01:30 +0200aforemny_(~aforemny@2001:9e8:6cc3:700:ed80:1557:7873:ea6d) (Ping timeout: 248 seconds)
2025-09-22 06:01:28 +0200aforemny(~aforemny@2001:9e8:6cc7:a300:13f0:3a0e:66b2:bfa6) aforemny
2025-09-22 05:59:37 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-22 05:58:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 05:48:12 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-09-22 05:47:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-22 05:46:58 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-09-22 05:46:10 +0200Googulator12(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 05:45:44 +0200Googulator56(~Googulato@80-95-93-255.pool.digikabel.hu)
2025-09-22 05:42:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 05:41:35 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-22 05:40:46 +0200Googulator40(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 05:40:37 +0200Googulator12(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 05:32:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-22 05:29:55 +0200 <dcpagan> I would like a format similar to Johan Tibell's configuration (https://github.com/ennocramer/floskell/blob/master/styles/johan-tibell.md), but without aligning GADT records.
2025-09-22 05:27:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 05:24:01 +0200 <dcpagan> How do I turn off alignment for GADTs with Floskell?
2025-09-22 05:22:24 +0200dcpagan(~dcpagan@gateway/tor-sasl/dcpagan) dcpagan
2025-09-22 05:18:40 +0200williu5(~williu5@user/williu5) williu5
2025-09-22 05:16:59 +0200weary-traveler(~user@user/user363627) user363627
2025-09-22 05:16:39 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-09-22 05:16:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-22 05:15:45 +0200Googulator40(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 05:15:39 +0200Googulator11(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 05:12:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 05:06:13 +0200Googulator93(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 05:06:03 +0200Googulator11(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 05:04:44 +0200aforemny(~aforemny@2001:9e8:6ce4:5a00:77d6:6f62:e46:c270) (Ping timeout: 244 seconds)
2025-09-22 05:03:54 +0200aforemny_(~aforemny@2001:9e8:6cc3:700:ed80:1557:7873:ea6d) aforemny
2025-09-22 05:03:54 +0200williu5(~williu5@user/williu5) (Quit: WeeChat 4.7.1)
2025-09-22 05:00:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-22 04:55:27 +0200williu5(~williu5@user/williu5) williu5
2025-09-22 04:55:07 +0200williu5(~williu5@user/williu5) (Quit: WeeChat 4.7.1)
2025-09-22 04:54:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-22 04:53:54 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds)
2025-09-22 04:50:45 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-09-22 04:50:41 +0200Googulator80(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-22 04:50:37 +0200Googulator93(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-22 04:49:21 +0200Axma12764(~Axman6@user/axman6) (Ping timeout: 250 seconds)