2025/04/12

2025-04-12 00:02:07 +0200peterbecich1(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-12 00:03:29 +0200 <tomsmeding> has there been a time when GHC.Generics did not produce balanced trees but instead a right- or left-leaning tree?
2025-04-12 00:04:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-12 00:04:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-04-12 00:08:56 +0200peterbecich1(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-04-12 00:11:52 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 252 seconds)
2025-04-12 00:12:17 +0200tromp(~textual@2001:1c00:3487:1b00:d08a:2428:1bec:2dd5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-12 00:12:52 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-04-12 00:15:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 00:21:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 00:22:25 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-04-12 00:25:14 +0200sayurc(~sayurc@169.150.203.34) (Quit: Konversation terminated!)
2025-04-12 00:25:51 +0200 <geekosaur> now, aiui
2025-04-12 00:26:06 +0200 <geekosaur> my understanding is that if you want balanced trees you want sop-generics
2025-04-12 00:26:12 +0200 <tomsmeding> other way round
2025-04-12 00:26:22 +0200 <tomsmeding> sop-generics produces a list of lists; GHC.Generics produces balanced trees
2025-04-12 00:26:34 +0200 <tomsmeding> % :seti -XDeriveGeneric
2025-04-12 00:26:34 +0200 <yahb2> <no output>
2025-04-12 00:26:50 +0200 <tomsmeding> % data T = A | B | C | D | E | F deriving (Show, Generic)
2025-04-12 00:26:50 +0200 <yahb2> <interactive>:61:48: error: [GHC-76037] ; Not in scope: type constructor or class ‘Generic’
2025-04-12 00:26:55 +0200 <tomsmeding> % import GHC.Generics
2025-04-12 00:26:55 +0200 <yahb2> <no output>
2025-04-12 00:26:57 +0200 <tomsmeding> % data T = A | B | C | D | E | F deriving (Show, Generic)
2025-04-12 00:26:57 +0200 <yahb2> <no output>
2025-04-12 00:27:05 +0200 <tomsmeding> % :k! Rep T ()
2025-04-12 00:27:05 +0200 <yahb2> Rep T () :: * ; = M1 ; D ; (MetaData "T" "Ghci13" "interactive" False) ; ((M1 C (MetaCons "A" PrefixI False) U1 ; :+: (M1 C (MetaCons "B" PrefixI False) U1 ; :+: M1 C (...
2025-04-12 00:27:08 +0200 <tomsmeding> meh
2025-04-12 00:27:26 +0200 <tomsmeding> %% :k! Rep T ()
2025-04-12 00:27:27 +0200 <yahb2> https://paste.tomsmeding.com/PlhqwSXT
2025-04-12 00:28:07 +0200 <tomsmeding> (A + (B + C)) + (D + (E + F))
2025-04-12 00:28:51 +0200gawen(~gawen@user/gawen) (Quit: cya)
2025-04-12 00:28:54 +0200 <tomsmeding> geekosaur: the "sop" in sop-generics is "sum-of-products", where "sum" is used a contrastive to "plus", like `sum` vs (+)
2025-04-12 00:31:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 00:35:14 +0200gawen(~gawen@user/gawen) gawen
2025-04-12 00:36:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 00:39:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-12 00:42:05 +0200 <emojelly> pipes is so, so, so much faster than coroutines...
2025-04-12 00:42:19 +0200 <EvanR> pipes, haven't heard about that one for a minute
2025-04-12 00:43:38 +0200 <emojelly> For my specific needs it seems quite fitting.
2025-04-12 00:43:57 +0200sayurc(~sayurc@169.150.203.34) sayurc
2025-04-12 00:44:08 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-04-12 00:44:42 +0200 <EvanR> > p (const Z) N Err "(a b ? d e f)"
2025-04-12 00:44:48 +0200 <EvanR> N [Z,Z,Err]
2025-04-12 00:44:54 +0200 <EvanR> this is not great for reasons
2025-04-12 00:45:13 +0200 <EvanR> though it is kind of lazy
2025-04-12 00:47:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 00:50:33 +0200gawen(~gawen@user/gawen) (Quit: cya)
2025-04-12 00:53:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 00:56:24 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-04-12 00:56:46 +0200gawen(~gawen@user/gawen) gawen
2025-04-12 01:01:33 +0200 <EvanR> if you can get away with folding over tokens then clearly there is more laziness
2025-04-12 01:03:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 01:06:17 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-12 01:08:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 01:09:51 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-12 01:11:33 +0200polyphem(~rod@pd9fbfc2f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-12 01:16:55 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-12 01:20:05 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-04-12 01:23:06 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-04-12 01:23:07 +0200ljdarj1ljdarj
2025-04-12 01:32:49 +0200prolic_(~sasa@181.122.135.9) prolic_
2025-04-12 01:37:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 01:41:18 +0200ft(~ft@p508db594.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-04-12 01:41:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 01:42:29 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft
2025-04-12 01:50:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 01:51:53 +0200weary-traveler(~user@user/user363627) user363627
2025-04-12 01:54:44 +0200sprotte24(~sprotte24@p200300d16f1c5b003c76b51cf90902ef.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-04-12 01:55:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 01:59:33 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-12 02:03:01 +0200acidjnk_new(~acidjnk@p200300d6e71c4f3781d551119ad8c4a9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-04-12 02:04:21 +0200jespada(~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-04-12 02:08:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 02:13:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 02:22:03 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-04-12 02:23:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 02:25:52 +0200prolic_(~sasa@181.122.135.9) (Remote host closed the connection)
2025-04-12 02:28:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-12 02:32:34 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-04-12 02:34:05 +0200califax(~califax@user/califx) califx
2025-04-12 02:39:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 02:44:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-12 02:52:12 +0200euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Remote host closed the connection)
2025-04-12 02:53:04 +0200euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de)
2025-04-12 02:55:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 02:57:13 +0200otto_s(~user@p5de2fd33.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-12 02:58:25 +0200otto_s(~user@p4ff27f53.dip0.t-ipconnect.de)
2025-04-12 03:01:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 03:11:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 03:16:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 03:27:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 03:27:12 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-04-12 03:32:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 03:42:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 03:47:39 +0200ZLima12(~zlima12@user/meow/ZLima12) (Remote host closed the connection)
2025-04-12 03:48:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 03:48:48 +0200ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2025-04-12 03:52:34 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) hgolden
2025-04-12 03:57:04 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-12 03:58:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 04:00:24 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) (Remote host closed the connection)
2025-04-12 04:03:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 04:14:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 04:15:22 +0200nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-04-12 04:15:56 +0200myxokephale(~myxos@172.93.132.85) myxokephale
2025-04-12 04:17:34 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 260 seconds)
2025-04-12 04:18:38 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-04-12 04:18:46 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-12 04:19:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-12 04:32:19 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale
2025-04-12 04:34:04 +0200myxokephale(~myxos@172.93.132.85) (Ping timeout: 276 seconds)
2025-04-12 04:40:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-04-12 04:45:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 04:46:29 +0200euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-12 04:47:22 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-12 04:50:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 04:54:37 +0200nek0(~nek0@user/nek0) nek0
2025-04-12 04:59:06 +0200notdabs(~Owner@2600:1700:69cf:9000:a8ba:1089:2e3e:b3d1) (Read error: Connection reset by peer)
2025-04-12 05:00:24 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) hgolden
2025-04-12 05:00:52 +0200 <haskellbridge> <Liamzee> why doesn't this get passed around much these days? https://www.cs.rice.edu/~javaplt/411/24-spring/Readings/WhyFunctionalProrammingMattered.pdf
2025-04-12 05:01:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 05:03:22 +0200 <geekosaur> nobody wants to hear it
2025-04-12 05:06:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 05:10:40 +0200dottily(~user@user/dottily) dottily
2025-04-12 05:15:46 +0200 <EvanR> and the filename was misspelled
2025-04-12 05:16:46 +0200 <haskellbridge> <Liamzee> the link's mistitled
2025-04-12 05:16:47 +0200 <haskellbridge> <Liamzee> https://academic.oup.com/nsr/article/2/3/349/1427872
2025-04-12 05:17:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 05:17:39 +0200 <haskellbridge> <Liamzee> Since it's more John Hughes' student alongside John Hughes seemingly running an update to Why Functional Programming Matters
2025-04-12 05:18:44 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-04-12 05:18:49 +0200 <haskellbridge> <Liamzee> Well, not really. I guess the title just sucks, otherwise it'd probably be passed around more.
2025-04-12 05:19:51 +0200 <EvanR> promoting stuff, even good stuff, gets tiring
2025-04-12 05:20:00 +0200 <EvanR> especially if you're not paid to do it
2025-04-12 05:22:20 +0200 <haskellbridge> <Liamzee> I mean in reference to the fact that I see the original Why Functional Programming Matters paper around more. But w/e, not here to annoy.
2025-04-12 05:22:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-12 05:23:07 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-04-12 05:25:18 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-12 05:33:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 05:35:28 +0200ludihan(~ludihan@189.36.207.182)
2025-04-12 05:38:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 05:44:55 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-04-12 05:45:57 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-04-12 05:46:44 +0200aforemny_(~aforemny@2001:9e8:6cd3:8d00:395c:e354:5e4c:23ac) aforemny
2025-04-12 05:46:59 +0200aforemny(~aforemny@2001:9e8:6cf4:300:5306:52f:8502:4ee0) (Ping timeout: 260 seconds)
2025-04-12 05:49:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 05:53:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-12 05:58:16 +0200ludihan(~ludihan@189.36.207.182) (Quit: ludihan)
2025-04-12 06:03:07 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-04-12 06:04:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 06:10:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 06:12:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 06:16:07 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 276 seconds)
2025-04-12 06:17:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 06:28:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 06:33:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 06:35:19 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-12 06:39:08 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-04-12 06:39:46 +0200euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de)
2025-04-12 06:42:45 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-04-12 06:43:55 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-12 06:44:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 06:49:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 06:59:07 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e)
2025-04-12 06:59:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 07:04:17 +0200inca(~inca@71.30.233.213)
2025-04-12 07:04:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 07:09:32 +0200inca(~inca@71.30.233.213) (Ping timeout: 268 seconds)
2025-04-12 07:15:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 07:20:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 07:22:41 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c)
2025-04-12 07:23:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 07:28:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-12 07:29:28 +0200arahael(~arahael@user/arahael) (Ping timeout: 244 seconds)
2025-04-12 07:37:55 +0200euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-12 07:38:13 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-12 07:39:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 07:44:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 07:51:01 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-04-12 07:51:20 +0200euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de)
2025-04-12 07:52:46 +0200euleritian(~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-12 07:52:50 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) (Remote host closed the connection)
2025-04-12 07:53:04 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-12 07:55:19 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-04-12 07:55:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 07:59:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-12 08:10:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 08:18:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-12 08:29:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 08:33:54 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) hgolden
2025-04-12 08:34:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 08:35:15 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1)
2025-04-12 08:45:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 08:47:34 +0200rvalue-(~rvalue@user/rvalue) rvalue
2025-04-12 08:48:24 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 260 seconds)
2025-04-12 08:50:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 08:52:23 +0200rvalue-rvalue
2025-04-12 08:59:08 +0200acidjnk_new(~acidjnk@p200300d6e71c4f37896c69e30b3a7fdf.dip0.t-ipconnect.de) acidjnk
2025-04-12 08:59:21 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-12 08:59:55 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-12 09:00:01 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-04-12 09:00:16 +0200JamesMowery17(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
2025-04-12 09:00:33 +0200JamesMowery17(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-04-12 09:00:48 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds)
2025-04-12 09:00:53 +0200caconym(~caconym@user/caconym) caconym
2025-04-12 09:01:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 09:03:02 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-04-12 09:04:53 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-12 09:06:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-12 09:06:48 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-04-12 09:09:39 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-12 09:13:42 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-12 09:14:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 09:18:10 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds)
2025-04-12 09:18:19 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-04-12 09:19:00 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2025-04-12 09:19:04 +0200jrm(~jrm@user/jrm) (Quit: ciao)
2025-04-12 09:19:27 +0200jrm(~jrm@user/jrm) jrm
2025-04-12 09:19:42 +0200Lord_of_Life_Lord_of_Life
2025-04-12 09:19:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-12 09:30:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 09:34:23 +0200sayurc(~sayurc@169.150.203.34) (Quit: Konversation terminated!)
2025-04-12 09:35:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-12 09:38:55 +0200acidjnk_new(~acidjnk@p200300d6e71c4f37896c69e30b3a7fdf.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-12 09:46:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-12 09:50:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-12 09:52:15 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-04-12 10:01:00 +0200fp1(~Thunderbi@hof1.kyla.fi) fp
2025-04-12 10:01:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn