| 2026-01-18 00:02:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 00:07:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 00:08:00 +0000 | <Leary> | Man of Letters (Mikolaj): Re the heterogeneous types, it's basically just a matter of building a home for your discarded types to live in. In the simplest case where all those types have the same kind, you could literally just add a type level list to your AST: `AstCastS :: (NumScalar r1, RealFrac r1, NumScalar r2, RealFrac r2) => AstTensor discarded ms s (TKS sh r1) -> AstTensor (r1:discarded) ms s (TKS sh r2)` |
| 2026-01-18 00:10:55 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2026-01-18 00:14:31 +0000 | qqq | (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 2026-01-18 00:17:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 00:18:32 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> oh wow, thank you, that's interesting |
| 2026-01-18 00:20:00 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.10.1+deb1 - https://znc.in) |
| 2026-01-18 00:20:19 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> falls more into the category of "ways to make existential-like things zero-cost" than the category "an alternative but similarly handy abstraction mechanism" |
| 2026-01-18 00:21:35 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds) |
| 2026-01-18 00:22:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-18 00:24:23 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-01-18 00:25:43 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2026-01-18 00:27:33 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-01-18 00:31:08 +0000 | trickard_ | trickard |
| 2026-01-18 00:32:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 00:38:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-18 00:38:48 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-18 00:43:04 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-01-18 00:43:05 +0000 | droideqa | (uid499291@user/droideqa) (Quit: Connection closed for inactivity) |
| 2026-01-18 00:43:25 +0000 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-18 00:44:59 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-18 00:47:16 +0000 | Core4452 | (~Zemy@2600:100c:b04a:cc3c:ac56:f4ff:fe3c:1c26) (Ping timeout: 246 seconds) |
| 2026-01-18 00:48:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 00:50:11 +0000 | <monochrom> | Existentials are zero-cost iff unusable. |
| 2026-01-18 00:51:58 +0000 | <monochrom> | an easy corollary of information theory. For a value to be usable, you must pass around sufficient information, thus the non-zero cost. |
| 2026-01-18 00:53:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 00:53:34 +0000 | <EvanR> | a value can have zero cost if the only possibility is that it exists i.e. () |
| 2026-01-18 00:53:52 +0000 | <EvanR> | sounds useful |
| 2026-01-18 00:54:07 +0000 | <monochrom> | A concrete example being: If you give me an existential value and want me to be able to use Show methods on it, then you must also give me the Show methods, lest how do I even know that I'm allowed to. |
| 2026-01-18 00:55:30 +0000 | <monochrom> | or at least a pointer to the struct of Show methods. |
| 2026-01-18 00:57:12 +0000 | <monochrom> | OK OK s/unusable/indistinguishable from ()/ :) |
| 2026-01-18 01:00:09 +0000 | Zemy_ | (~Zemy@2600:100c:b04a:cc3c:1015:34ff:fe46:86ce) |
| 2026-01-18 01:03:18 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-01-18 01:03:18 +0000 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 252 seconds) |
| 2026-01-18 01:03:30 +0000 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-18 01:04:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 01:06:55 +0000 | Zemy_ | (~Zemy@2600:100c:b04a:cc3c:1015:34ff:fe46:86ce) (Ping timeout: 264 seconds) |
| 2026-01-18 01:06:58 +0000 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-01-18 01:10:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 01:22:03 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-18 01:22:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 01:24:45 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-18 01:25:10 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-01-18 01:27:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 01:31:54 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 01:32:08 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 01:38:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 01:40:02 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 01:40:15 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 01:42:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 01:44:17 +0000 | acidjnk | (~acidjnk@p200300d6e7171955902046af4b3b27fd.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2026-01-18 01:49:48 +0000 | omidmash0 | (~omidmash@user/omidmash) omidmash |
| 2026-01-18 01:50:39 +0000 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2026-01-18 01:52:24 +0000 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2026-01-18 01:52:24 +0000 | omidmash0 | omidmash |
| 2026-01-18 01:54:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 01:58:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-18 02:06:13 +0000 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-18 02:09:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 02:10:30 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 02:10:44 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 02:14:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 02:17:30 +0000 | Inline | (~User@2001-4dd6-dd24-0-5713-7235-9889-58da.ipv6dyn.netcologne.de) Inline |
| 2026-01-18 02:25:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 02:30:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 02:35:55 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-18 02:41:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 02:45:52 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-18 02:48:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-18 02:48:13 +0000 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-18 02:51:36 +0000 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-01-18 02:53:25 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 02:54:47 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 02:56:24 +0000 | emmanuelux | (~em@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-18 02:59:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 03:00:17 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c589:6b53:dd18:5a14) (Ping timeout: 265 seconds) |
| 2026-01-18 03:00:47 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c180:d9e0:95c3:e24d) |
| 2026-01-18 03:00:55 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 03:03:01 +0000 | emmanuelux | (~em@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-18 03:04:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-18 03:05:03 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-01-18 03:05:35 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-01-18 03:07:45 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-18 03:14:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 03:16:14 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 03:19:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 03:46:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 03:52:11 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-18 03:53:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 04:03:42 +0000 | attlin | (~user@user/attlin) (Ping timeout: 256 seconds) |
| 2026-01-18 04:05:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 04:07:09 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 04:07:22 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 04:08:06 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-01-18 04:10:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-18 04:21:00 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 04:21:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 04:21:49 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 04:24:35 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-18 04:27:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 04:30:18 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-18 04:34:16 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 04:34:30 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 04:34:52 +0000 | emmanuelux | (~em@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-18 04:35:12 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 04:39:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 04:44:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-18 04:47:39 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 04:47:53 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 04:55:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 05:00:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 05:00:34 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-18 05:10:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 05:15:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 05:18:57 +0000 | attlin | (~user@user/attlin) attlin |
| 2026-01-18 05:26:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 05:31:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-18 05:41:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 05:46:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-18 05:50:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 05:52:43 +0000 | attlin | (~user@user/attlin) (Ping timeout: 260 seconds) |
| 2026-01-18 05:55:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-18 05:57:40 +0000 | yangby | (~secret@115.205.110.194) yangby |
| 2026-01-18 05:57:43 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-01-18 05:58:06 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 05:58:52 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-18 06:03:31 +0000 | attlin | (~user@2602:fa59:9:1fe::1) |
| 2026-01-18 06:03:31 +0000 | attlin | (~user@2602:fa59:9:1fe::1) (Changing host) |
| 2026-01-18 06:03:31 +0000 | attlin | (~user@user/attlin) attlin |
| 2026-01-18 06:04:49 +0000 | troydm | (~troydm@user/troydm) (Ping timeout: 264 seconds) |
| 2026-01-18 06:06:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 06:08:37 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 06:12:24 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 06:12:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 06:19:12 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 06:24:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 06:29:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-18 06:32:01 +0000 | raym_ | (~ray@user/raym) (Ping timeout: 246 seconds) |
| 2026-01-18 06:38:25 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-01-18 06:38:59 +0000 | raym | (~ray@user/raym) raym |
| 2026-01-18 06:39:06 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-18 06:40:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 06:42:40 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 06:42:54 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 06:43:36 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-01-18 06:44:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 06:48:39 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 06:49:49 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-01-18 06:51:16 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-01-18 06:51:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 06:53:17 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 06:56:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 07:05:10 +0000 | qqq | (~qqq@185.54.21.105) |
| 2026-01-18 07:07:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 07:12:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 07:16:08 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-18 07:16:31 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c180:d9e0:95c3:e24d) (Ping timeout: 264 seconds) |
| 2026-01-18 07:23:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 07:28:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-18 07:30:28 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 07:30:36 +0000 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-18 07:30:41 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 07:31:06 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-18 07:32:54 +0000 | DetourNe- | DetourNetworkUK |
| 2026-01-18 07:39:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 07:43:21 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-18 07:43:33 +0000 | Square2 | (~Square@user/square) Square |
| 2026-01-18 07:44:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-18 07:45:19 +0000 | attlin | (~user@user/attlin) (Ping timeout: 260 seconds) |
| 2026-01-18 07:52:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 07:57:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 07:58:31 +0000 | attlin | (~user@user/attlin) attlin |
| 2026-01-18 07:59:13 +0000 | xff0x | (~xff0x@2405:6580:b080:900:33be:7383:eef7:7461) |
| 2026-01-18 08:00:02 +0000 | tt1231607 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-18 08:05:23 +0000 | tt1231607 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-01-18 08:08:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 08:11:55 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-18 08:13:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-18 08:22:34 +0000 | xff0x | (~xff0x@2405:6580:b080:900:33be:7383:eef7:7461) (Ping timeout: 255 seconds) |
| 2026-01-18 08:23:07 +0000 | st_aldini | (~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) (Ping timeout: 264 seconds) |
| 2026-01-18 08:23:26 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a8dd:12e:d0f2:f716) |
| 2026-01-18 08:24:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 08:25:18 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 08:26:18 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 08:28:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 08:30:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 08:34:40 +0000 | comonad | (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2026-01-18 08:35:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-18 08:38:14 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-18 08:44:46 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a8dd:12e:d0f2:f716) (Ping timeout: 256 seconds) |
| 2026-01-18 08:45:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 08:48:09 +0000 | Enrico63 | (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) Enrico63 |
| 2026-01-18 08:50:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 08:51:04 +0000 | Enrico63 | (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) (Client Quit) |
| 2026-01-18 08:51:37 +0000 | xff0x | (~xff0x@2405:6580:b080:900:25c8:1714:302a:7a94) |
| 2026-01-18 08:54:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 08:59:08 +0000 | housemate | (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-18 09:00:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-18 09:02:13 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-18 09:02:17 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) |
| 2026-01-18 09:02:18 +0000 | dpk | (~dpk@jains.nonceword.org) (Ping timeout: 260 seconds) |
| 2026-01-18 09:04:47 +0000 | dpk | (~dpk@jains.nonceword.org) |
| 2026-01-18 09:07:01 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
| 2026-01-18 09:07:47 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2026-01-18 09:11:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 09:12:29 +0000 | housemate | (~housemate@203.56.146.214) housemate |
| 2026-01-18 09:16:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 09:19:06 +0000 | annamalai | (~annamalai@117.231.194.195) (Ping timeout: 244 seconds) |
| 2026-01-18 09:19:31 +0000 | annamalai | (~annamalai@117.231.194.136) annamalai |
| 2026-01-18 09:22:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-01-18 09:26:28 +0000 | Square2 | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2026-01-18 09:27:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 09:28:27 +0000 | trickard_ | trickard |
| 2026-01-18 09:31:43 +0000 | qqq | (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 2026-01-18 09:32:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 09:41:09 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 09:41:23 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 09:41:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-18 09:42:03 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-18 09:43:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 09:45:16 +0000 | trickard_ | trickard |
| 2026-01-18 09:46:55 +0000 | annamalai | (~annamalai@117.231.194.136) (Ping timeout: 240 seconds) |
| 2026-01-18 09:47:18 +0000 | annamalai | (~annamalai@117.231.195.7) annamalai |
| 2026-01-18 09:48:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-18 09:49:15 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 240 seconds) |
| 2026-01-18 09:54:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 09:58:28 +0000 | xff0x | (~xff0x@2405:6580:b080:900:25c8:1714:302a:7a94) (Ping timeout: 244 seconds) |
| 2026-01-18 09:58:35 +0000 | annamalai | (~annamalai@117.231.195.7) (Ping timeout: 240 seconds) |
| 2026-01-18 09:58:49 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e686:993d:24d8:5732) |
| 2026-01-18 09:59:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-18 10:00:06 +0000 | st_aldini | (~Thunderbi@136.48.46.187) st_aldini |
| 2026-01-18 10:00:59 +0000 | housemate | (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-18 10:02:18 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-18 10:05:20 +0000 | housemate | (~housemate@203.56.146.214) housemate |
| 2026-01-18 10:10:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 10:11:28 +0000 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) (Ping timeout: 246 seconds) |
| 2026-01-18 10:15:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 10:16:37 +0000 | annamalai | (~annamalai@117.231.194.200) annamalai |
| 2026-01-18 10:17:32 +0000 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-01-18 10:20:33 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-01-18 10:26:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 10:30:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 10:33:01 +0000 | annamalai | (~annamalai@117.231.194.200) (Ping timeout: 264 seconds) |
| 2026-01-18 10:33:15 +0000 | annamalai | (~annamalai@157.49.202.195) annamalai |
| 2026-01-18 10:38:28 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2026-01-18 10:39:21 +0000 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin |
| 2026-01-18 10:42:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 10:48:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-18 10:55:10 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-18 10:55:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 10:57:55 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) |
| 2026-01-18 11:00:09 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-18 11:00:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 11:00:36 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-18 11:08:11 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-18 11:09:30 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-18 11:09:45 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-01-18 11:11:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 11:12:07 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-18 11:16:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 11:27:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 11:28:20 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-18 11:31:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 11:43:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 11:43:44 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-01-18 11:43:49 +0000 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-01-18 11:47:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 11:56:05 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-01-18 11:56:23 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-01-18 11:56:39 +0000 | housemate | (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-18 11:56:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 11:57:38 +0000 | annamalai | (~annamalai@157.49.202.195) (Remote host closed the connection) |
| 2026-01-18 12:01:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 12:03:00 +0000 | Digitteknohippie | Digit |
| 2026-01-18 12:12:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 12:19:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 12:27:06 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-18 12:29:07 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-01-18 12:30:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 12:34:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 12:46:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 12:46:55 +0000 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-01-18 12:50:45 +0000 | acidjnk | (~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) acidjnk |
| 2026-01-18 12:50:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 12:57:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 13:00:54 +0000 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-18 13:02:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 13:13:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 13:16:33 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-01-18 13:17:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 13:18:35 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-01-18 13:29:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 13:31:04 +0000 | qqq | (~qqq@185.54.21.105) |
| 2026-01-18 13:33:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-18 13:44:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 13:47:41 +0000 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-01-18 13:49:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 13:52:52 +0000 | yangby | (~secret@115.205.110.194) (Quit: Go out for a walk and buy a drink.) |
| 2026-01-18 13:54:37 +0000 | kitties | Catty |
| 2026-01-18 13:58:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 14:05:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 14:06:47 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-01-18 14:07:05 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-01-18 14:16:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 14:21:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 14:32:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 14:36:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 14:40:13 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-01-18 14:43:14 +0000 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-18 14:48:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 14:53:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-18 14:55:26 +0000 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-01-18 14:56:54 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-01-18 14:59:17 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-18 14:59:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 15:00:37 +0000 | Zemy_ | (~Zemy@2600:100c:b0ae:c5b:44cb:e6ff:fe44:545d) |
| 2026-01-18 15:03:01 +0000 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 264 seconds) |
| 2026-01-18 15:04:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-18 15:09:00 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-01-18 15:09:27 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-01-18 15:11:04 +0000 | Zemy | (~Zemy@12.50.240.58) |
| 2026-01-18 15:12:38 +0000 | <dutchie> | optic libraries: is there a good discussion of pros/cons for lens/microlens/optics? which should I use if I'm writing an application and am not hugely concerned about dependencies? optics for the best error messages? |
| 2026-01-18 15:14:29 +0000 | Zemy_ | (~Zemy@2600:100c:b0ae:c5b:44cb:e6ff:fe44:545d) (Ping timeout: 260 seconds) |
| 2026-01-18 15:15:07 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-18 15:15:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 15:15:27 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-01-18 15:16:48 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 15:18:48 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-18 15:19:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 15:20:12 +0000 | <thenightmail> | is there a list where people show math functions and the elegant way to write them in haskell? I am learning, and I tend to over use parenthesis |
| 2026-01-18 15:20:37 +0000 | <thenightmail> | heck, probably there is a program that tells you if you are over using parenthesis ... |
| 2026-01-18 15:21:08 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) |
| 2026-01-18 15:22:12 +0000 | Square2 | (~Square@user/square) Square |
| 2026-01-18 15:27:38 +0000 | <dutchie> | thenightmail: hlint will do it |
| 2026-01-18 15:30:26 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-18 15:30:36 +0000 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) Milan_Vanca |
| 2026-01-18 15:31:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 15:34:42 +0000 | <haskellbridge> | <sm> yea I would pick optics if you have no reason not to |
| 2026-01-18 15:35:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 15:37:27 +0000 | <thenightmail> | mm, hlint seems like something I want to setup. I've got to look into how people have their emacs setup for haskell I guess. so far I've just got haskell-mode installed |
| 2026-01-18 15:37:44 +0000 | Zemy | (~Zemy@12.50.240.58) (Read error: Connection reset by peer) |
| 2026-01-18 15:37:46 +0000 | Zemy_ | (~Zemy@2600:100c:b0ae:c5b:f45b:d5ff:fe1f:d2ed) |
| 2026-01-18 15:39:19 +0000 | Zemy | (~Zemy@12.50.240.58) |
| 2026-01-18 15:40:07 +0000 | qqq | (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 2026-01-18 15:42:19 +0000 | Zemy_ | (~Zemy@2600:100c:b0ae:c5b:f45b:d5ff:fe1f:d2ed) (Ping timeout: 264 seconds) |
| 2026-01-18 15:44:20 +0000 | Zemy_ | (~Zemy@mobile-107-80-206-99.mycingular.net) |
| 2026-01-18 15:45:43 +0000 | Zemy | (~Zemy@12.50.240.58) (Ping timeout: 240 seconds) |
| 2026-01-18 15:47:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 15:48:35 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-01-18 15:50:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-01-18 15:50:31 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-01-18 15:52:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-18 15:55:38 +0000 | <dutchie> | eglot + haskell-language-server is a reasonably good way to go |
| 2026-01-18 16:00:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 16:05:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-18 16:12:22 +0000 | Zemy | (~Zemy@2600:100c:b0ae:c5b:30da:bdff:fef3:86cd) |
| 2026-01-18 16:14:16 +0000 | <thenightmail> | hmm, hslint didn't seem to complain about my parenthesis. guess I'm doing things right. also found stylish-haskell and will try to get that going too |
| 2026-01-18 16:14:55 +0000 | Zemy_ | (~Zemy@mobile-107-80-206-99.mycingular.net) (Ping timeout: 240 seconds) |
| 2026-01-18 16:15:10 +0000 | <thenightmail> | I'm using ghcup and that seems to be the way. installing these things with cabal install <package> |
| 2026-01-18 16:15:14 +0000 | <haskellbridge> | <sm> hlint has a ton of settings you can configure |
| 2026-01-18 16:16:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 16:17:31 +0000 | Square2 | (~Square@user/square) (Quit: Leaving) |
| 2026-01-18 16:18:02 +0000 | Square | (~Square@user/square) Square |
| 2026-01-18 16:18:05 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2026-01-18 16:21:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-18 16:21:34 +0000 | Zemy | (~Zemy@2600:100c:b0ae:c5b:30da:bdff:fef3:86cd) (Ping timeout: 260 seconds) |
| 2026-01-18 16:26:34 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-18 16:32:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 16:36:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-18 16:42:56 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-18 16:43:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 16:46:11 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 2026-01-18 16:47:35 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2026-01-18 16:51:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 16:52:50 +0000 | comonad | (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) |
| 2026-01-18 17:01:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 17:09:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-18 17:19:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 17:25:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 17:31:23 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.7.1) |
| 2026-01-18 17:35:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 17:35:52 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 17:40:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 17:47:54 +0000 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 2026-01-18 17:50:10 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-01-18 17:50:11 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-01-18 17:51:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 17:56:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 18:00:39 +0000 | st_aldini1 | (~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) st_aldini |
| 2026-01-18 18:03:33 +0000 | st_aldini | (~Thunderbi@136.48.46.187) (Ping timeout: 252 seconds) |
| 2026-01-18 18:03:33 +0000 | st_aldini1 | st_aldini |
| 2026-01-18 18:03:59 +0000 | <haskellbridge> | <thirdofmay18081814goya> is there a reference implementation of typeclasses somewhere? |
| 2026-01-18 18:09:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 18:12:25 +0000 | <haskellbridge> | <sm> the typeclasses machinery ? Just in GHC I'd guess. |
| 2026-01-18 18:14:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-18 18:19:09 +0000 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) Milan_Vanca |
| 2026-01-18 18:19:21 +0000 | <haskellbridge> | <thirdofmay18081814goya> hm hopefully it's readable ty |
| 2026-01-18 18:20:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 18:21:39 +0000 | st_aldini1 | (~Thunderbi@2605:a601:a07c:7426:e89f:cd5f:b143:6c97) st_aldini |
| 2026-01-18 18:22:02 +0000 | michalz | (~michalz@185.246.207.221) |
| 2026-01-18 18:24:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 18:25:33 +0000 | st_aldini | (~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) (Ping timeout: 252 seconds) |
| 2026-01-18 18:25:33 +0000 | st_aldini1 | st_aldini |
| 2026-01-18 18:25:52 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 18:26:06 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 18:32:19 +0000 | <monochrom> | Or Hugs. Or MicroHS. :) |
| 2026-01-18 18:32:52 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-01-18 18:32:53 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-01-18 18:32:53 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-01-18 18:34:34 +0000 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2026-01-18 18:35:25 +0000 | <monochrom> | If you just look for type checking, there is Typing Haskell in Haskell. If you also need execution or code generation, I bet MicroHS is the best starting point, simply because it is written from scratch most recently therefore maximum benefit of hindsight. |
| 2026-01-18 18:35:39 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2026-01-18 18:41:07 +0000 | acidjnk | (~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-01-18 18:46:05 +0000 | <geekosaur> | https://github.com/Superstar64/Hazy |
| 2026-01-18 18:46:17 +0000 | <geekosaur> | (in development) |
| 2026-01-18 18:47:42 +0000 | michalz_ | (~michalz@185.246.207.221) |
| 2026-01-18 18:49:55 +0000 | michalz | (~michalz@185.246.207.221) (Ping timeout: 240 seconds) |
| 2026-01-18 18:50:30 +0000 | <haskellbridge> | <thirdofmay18081814goya> neat, ty both for references! and wow MicroHS really is small |
| 2026-01-18 18:53:15 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2026-01-18 18:54:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 18:54:27 +0000 | trickard_ | trickard |
| 2026-01-18 18:59:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-18 19:09:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 19:10:57 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-18 19:11:16 +0000 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-18 19:13:14 +0000 | DetourNe- | DetourNetworkUK |
| 2026-01-18 19:14:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 19:18:18 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-18 19:22:31 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 2026-01-18 19:23:39 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-18 19:24:22 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-18 19:24:30 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-01-18 19:25:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 19:29:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 19:31:14 +0000 | acidjnk | (~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) acidjnk |
| 2026-01-18 19:38:35 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-01-18 19:39:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-01-18 19:41:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 19:41:23 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-01-18 19:45:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 19:51:16 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2026-01-18 19:56:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 20:01:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 20:04:24 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-18 20:12:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 20:13:15 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2026-01-18 20:13:58 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 20:18:13 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-01-18 20:18:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 20:23:55 +0000 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 2026-01-18 20:25:45 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-01-18 20:25:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-01-18 20:26:47 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 20:27:00 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 20:30:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 20:35:06 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-18 20:35:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-18 20:37:20 +0000 | <thenightmail> | so I'm taking physics 2 and discrete math this semester. I plan on using haskell for checking work / implementing some stuff. Is there any obvious libraries I ought to know of or is this stuff built into the language? I'll get the syllabus in a couple of days to know for sure what I need, but it seems like these entire courses are trivialized by using haskell. |
| 2026-01-18 20:38:45 +0000 | <thenightmail> | specifically with physics I found the learn-physics library which I think goes along with the book Learn Physics with Functional Programming, guess I'm looking for something of the sorts for discrete mathematics, but it is probably just built into the language from what I've seen |
| 2026-01-18 20:40:55 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-01-18 20:41:28 +0000 | <thenightmail> | there is the book Discrete Mathematics Using a Computer which might be what I'm looking for. hmm |
| 2026-01-18 20:46:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 20:50:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-18 21:01:41 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 21:01:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 21:01:55 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 21:05:36 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-01-18 21:07:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 21:08:49 +0000 | <thenightmail> | alright I'm finding lots of books now, never mind https://wiki.haskell.org/index.php?title=Books |
| 2026-01-18 21:09:15 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-18 21:16:41 +0000 | michalz_ | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2026-01-18 21:17:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 21:19:10 +0000 | Zemy | (~Zemy@2600:100c:b04a:4ffa:497:59ff:fed0:974a) |
| 2026-01-18 21:20:17 +0000 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-18 21:21:24 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 260 seconds) |
| 2026-01-18 21:21:34 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2026-01-18 21:21:54 +0000 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:5a54:82cc:d405:8239) youngfrog |
| 2026-01-18 21:22:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 21:24:15 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2026-01-18 21:27:12 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2026-01-18 21:27:27 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2026-01-18 21:30:50 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 21:31:04 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 21:33:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 21:38:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 21:43:11 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-18 21:48:25 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 21:48:38 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 21:49:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 21:53:09 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2026-01-18 21:55:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-18 21:56:43 +0000 | Zemy | (~Zemy@2600:100c:b04a:4ffa:497:59ff:fed0:974a) (Ping timeout: 246 seconds) |
| 2026-01-18 21:56:51 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-18 22:00:45 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-18 22:07:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 22:07:57 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-18 22:11:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 22:17:55 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-18 22:22:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 22:23:07 +0000 | spew | (~spew@user/spew) spew |
| 2026-01-18 22:27:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 22:27:31 +0000 | malte | (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 2026-01-18 22:27:38 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2026-01-18 22:28:39 +0000 | lisq_ | (~quassel@lis.moe) (Ping timeout: 252 seconds) |
| 2026-01-18 22:30:24 +0000 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2026-01-18 22:30:56 +0000 | mange | (~mange@user/mange) mange |
| 2026-01-18 22:31:39 +0000 | st_aldini1 | (~Thunderbi@136.48.46.187) st_aldini |
| 2026-01-18 22:35:29 +0000 | st_aldini | (~Thunderbi@2605:a601:a07c:7426:e89f:cd5f:b143:6c97) (Ping timeout: 260 seconds) |
| 2026-01-18 22:35:29 +0000 | st_aldini1 | st_aldini |
| 2026-01-18 22:38:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 22:43:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 22:54:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 22:54:56 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-18 22:55:10 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (Ping timeout: 246 seconds) |
| 2026-01-18 22:56:38 +0000 | tromp | (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-18 22:56:43 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2026-01-18 22:58:01 +0000 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 244 seconds) |
| 2026-01-18 22:59:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-18 23:09:36 +0000 | trickard_ | trickard |
| 2026-01-18 23:10:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 23:11:39 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2026-01-18 23:14:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 23:16:45 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-18 23:18:45 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 23:18:58 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 23:23:55 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2026-01-18 23:25:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 23:29:27 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 23:30:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 23:38:14 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-18 23:41:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 23:46:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-18 23:48:06 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e686:993d:24d8:5732) (Quit: xff0x) |
| 2026-01-18 23:49:58 +0000 | xff0x | (~xff0x@ai083101.d.east.v6connect.net) |
| 2026-01-18 23:50:00 +0000 | malte | (~malte@mal.tc) malte |
| 2026-01-18 23:57:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 23:59:48 +0000 | jmcantrell_ | jmcantrell |