| 2026-05-09 00:00:37 +0000 | vetkat | (~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish) |
| 2026-05-09 00:01:49 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-09 00:04:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 00:07:24 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 246 seconds) |
| 2026-05-09 00:09:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-09 00:10:56 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2026-05-09 00:20:19 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-09 00:20:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 00:23:28 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-09 00:25:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-09 00:28:46 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-05-09 00:30:22 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-09 00:31:24 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: leaving) |
| 2026-05-09 00:34:58 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2026-05-09 00:37:29 +0000 | whotfisthis | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-05-09 00:38:23 +0000 | whotfisthis | (~Unknown@user/ezzieyguywuf) (Client Quit) |
| 2026-05-09 00:39:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 00:42:01 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-09 00:44:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 00:46:10 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-05-09 00:54:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 00:55:11 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-09 00:59:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-09 01:10:56 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-09 01:14:43 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Ping timeout: 264 seconds) |
| 2026-05-09 01:17:24 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 246 seconds) |
| 2026-05-09 01:28:35 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-09 01:33:11 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-09 01:44:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 01:49:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-09 01:58:37 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2026-05-09 01:59:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 02:02:34 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Client Quit) |
| 2026-05-09 02:04:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-09 02:11:02 +0000 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 265 seconds) |
| 2026-05-09 02:12:40 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-09 02:12:47 +0000 | td_ | (~td@i53870919.versanet.de) |
| 2026-05-09 02:13:22 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2026-05-09 02:15:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 02:20:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-09 02:31:07 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-09 02:32:14 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) (Read error: Connection reset by peer) |
| 2026-05-09 02:33:08 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) synchromesh |
| 2026-05-09 02:34:42 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-05-09 02:36:07 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-05-09 02:41:15 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-09 02:46:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 02:53:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-09 03:04:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 03:09:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-09 03:19:04 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 2026-05-09 03:20:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 03:30:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 03:40:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 03:45:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 03:54:17 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:629a:a85f:faf9:3b72) |
| 2026-05-09 03:54:58 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:629a:a85f:faf9:3b72) (Client Quit) |
| 2026-05-09 03:55:16 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-09 03:56:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 04:02:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 04:08:00 +0000 | AlexZenon | (~alzenon@5.139.233.78) (Ping timeout: 265 seconds) |
| 2026-05-09 04:12:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 04:17:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-09 04:22:38 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 252 seconds) |
| 2026-05-09 04:28:18 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-09 04:29:06 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-05-09 04:35:43 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-05-09 04:36:52 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) (Remote host closed the connection) |
| 2026-05-09 04:42:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 04:47:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-09 04:58:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 05:02:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-09 05:10:10 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 245 seconds) |
| 2026-05-09 05:12:54 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-09 05:13:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 05:18:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-09 05:23:33 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2026-05-09 05:24:06 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2026-05-09 05:29:11 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-09 05:31:25 +0000 | <jreicher> | raincomplex: logic isn't related to truth |
| 2026-05-09 05:31:35 +0000 | Square | (~Square@user/square) Square |
| 2026-05-09 05:31:42 +0000 | <jreicher> | The two concepts are completely different |
| 2026-05-09 05:33:57 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-09 05:37:26 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2026-05-09 05:44:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 05:50:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-09 05:59:16 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-09 06:00:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 06:00:55 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2026-05-09 06:00:55 +0000 | tnt2 | tnt1 |
| 2026-05-09 06:07:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-09 06:12:49 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds) |
| 2026-05-09 06:13:41 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-09 06:18:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 06:22:04 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-09 06:23:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-09 06:34:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 06:39:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-09 06:41:19 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) (Read error: Connection reset by peer) |
| 2026-05-09 06:42:54 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) synchromesh |
| 2026-05-09 06:45:08 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) |
| 2026-05-09 06:59:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 07:02:31 +0000 | ft | (~ft@p4fc2aefd.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-05-09 07:04:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 07:06:13 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-05-09 07:10:12 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-09 07:15:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 07:20:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 07:29:22 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-05-09 07:30:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 07:34:10 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-05-09 07:35:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-09 07:44:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 07:46:14 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-05-09 07:51:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-09 07:59:28 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-09 08:00:24 +0000 | drbean | (~drbean@softbank126022010209.bbtec.net) owuser |
| 2026-05-09 08:02:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 08:07:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-09 08:11:20 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-09 08:18:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 08:23:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 08:29:56 +0000 | <drbean> | I'm trying to understand why the ghcup toolchain's stack is failing to build the turtle package with the msys2 environment I installed, the error being permission denied to C:\windows, but *is* building it with stack's msys2. |
| 2026-05-09 08:31:23 +0000 | <drbean> | https://discourse.haskell.org/t/problems-using-stack-in-a-msys2-shell/13939 |
| 2026-05-09 08:33:50 +0000 | <drbean> | TLDR: If the TMP, TEMP msys envars are removed, it fails unable to find a spurious subdir in the dir in which stack is being executed. |
| 2026-05-09 08:34:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 08:36:58 +0000 | <drbean> | To remove ghcup from the equation, I'm thinking to download the latest ghc, cabal-install and stack windows binaries, and run `stack build turtle`, |
| 2026-05-09 08:37:26 +0000 | <drbean> | What do you think could possibly go wrong? |
| 2026-05-09 08:39:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-09 08:41:43 +0000 | skum | (~skum@user/skum) (Quit: WeeChat 4.9.0) |
| 2026-05-09 08:42:55 +0000 | supersecant | (~superseca@2a02:6b6f:e715:4f00:9a48:27ff:fee1:1da8) supersecant |
| 2026-05-09 08:45:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 08:48:09 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-09 08:50:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-09 08:59:42 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-09 09:00:00 +0000 | <tomsmeding> | drbean: downloading binaries yourself has always been an option |
| 2026-05-09 09:00:19 +0000 | <tomsmeding> | so yes, if that helps in debugging, definitely do so |
| 2026-05-09 09:00:24 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-09 09:01:01 +0000 | <tomsmeding> | ghcup's binaries are also available for manual download if you know where to look, so if it turns out you can't reproduce it with normal bindists you could even manually download the binaries that ghcup would've downloaded |
| 2026-05-09 09:01:12 +0000 | <tomsmeding> | but I hope you don't have to go there :p |
| 2026-05-09 09:05:35 +0000 | Guest96 | (~Guest96@2401:4900:c961:8c56:d462:4617:657d:cc91) |
| 2026-05-09 09:09:24 +0000 | itaipu | (~itaipu@168.121.98.126) (Ping timeout: 244 seconds) |
| 2026-05-09 09:13:02 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) (Ping timeout: 256 seconds) |
| 2026-05-09 09:14:14 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-05-09 09:17:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 09:17:43 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2026-05-09 09:19:26 +0000 | tzh | (~tzh@76.115.131.146) (Quit: zzz) |
| 2026-05-09 09:20:46 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-05-09 09:21:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-09 09:25:45 +0000 | <drbean> | OK. Ghcup's windows ghc binary should be more recent than chocolately's 2024 one directed to by https://www.haskell.org/downloads. Wait! https://www.haskell.org/ghc/ linked on that page has the recent binaries! |
| 2026-05-09 09:32:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 09:38:57 +0000 | Guest96 | (~Guest96@2401:4900:c961:8c56:d462:4617:657d:cc91) (Ping timeout: 245 seconds) |
| 2026-05-09 09:39:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-09 09:43:33 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-09 09:46:08 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-09 09:46:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 09:51:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-09 09:51:18 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-09 09:54:50 +0000 | <drbean> | dinner time |
| 2026-05-09 09:54:53 +0000 | drbean | (~drbean@softbank126022010209.bbtec.net) (Quit: WeeChat 4.9.0) |
| 2026-05-09 10:02:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 10:07:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-09 10:17:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 10:23:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-09 10:34:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 10:39:01 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-05-09 10:39:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-09 10:40:00 +0000 | <lisbeths> | I got some questions at 4 am |
| 2026-05-09 10:40:20 +0000 | <lisbeths> | is there libs for Haskell to get mathematical consistency I.e. guarantee of halting |
| 2026-05-09 10:40:41 +0000 | <mauke> | what does that mean? |
| 2026-05-09 10:40:48 +0000 | <jaror> | Liquid Haskell has a termination checker |
| 2026-05-09 10:41:05 +0000 | <lisbeths> | so in the field of mathematics languages can be consistent or complete but not both at the same time as proven by Godel. ty jaror |
| 2026-05-09 10:41:22 +0000 | <mauke> | how can a mere library prevent me from fixing id? |
| 2026-05-09 10:42:09 +0000 | <lisbeths> | well for example if you use the kessetrel function and the kite function from lambda calculus the applications of those together shall always halt so long as you only use those and nothing else |
| 2026-05-09 10:42:57 +0000 | <lisbeths> | my second question is how possible is it to write in Haskell using only s expressions without an external macro system |
| 2026-05-09 10:43:22 +0000 | <int-e> | Haskell has full recursion and adding libraries doesn't restrict the core language. Which is why people who want this tend to make their own languages (like Agda, to name a prominent one). |
| 2026-05-09 10:43:53 +0000 | <int-e> | lisbeths: Maybe 4 am questions should be written in a notebook and asked if they still make sense after you got some sleep. |
| 2026-05-09 10:45:06 +0000 | <int-e> | Like I suppose technically Haskell's syntax has an s-expression like fragment. Not no nice mechanism for quoting which tends to be the main point of these low syntax shenanigans. |
| 2026-05-09 10:45:17 +0000 | <lisbeths> | I am normally awake at this time and I am clean and sober. I think my queries were syntactically clean and correct and mapped to a reasonable question semantically |
| 2026-05-09 10:45:23 +0000 | <int-e> | And to waht end? The keywords don't really suggest an objective. |
| 2026-05-09 10:47:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 10:48:23 +0000 | <lisbeths> | I've been praying about it and I feel like god wants me to add safeties such as immutability and proof checking to my coding language |
| 2026-05-09 10:48:54 +0000 | <lisbeths> | so I've been toying with very small and simple algorithms for immutable data structures and really small systems that are totally immutable |
| 2026-05-09 10:49:33 +0000 | <jreicher> | lisbeths: that's not what Godel proved. |
| 2026-05-09 10:49:43 +0000 | <lisbeths> | I played with Haskell like 8 years ago and after about 2 years of toying with haskell I moved onto scheme lisp |
| 2026-05-09 10:50:29 +0000 | <lisbeths> | well regardless of what Godel proved there are advantages in terms of safety to using mathematically consistent coding systems |
| 2026-05-09 10:50:49 +0000 | <lisbeths> | and these advantages are similar but functionally different to the advantage of using an immutable system |
| 2026-05-09 10:51:57 +0000 | <jreicher> | I don't think I've ever seen an inconsistent programming language. What does it do? Behave randomly with every repeated run, even if it's the same input? |
| 2026-05-09 10:52:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 10:54:04 +0000 | <lisbeths> | so I got this info by interviewing the developers in the #rocq irc channel which was at that time called #coq on freenode |
| 2026-05-09 10:54:32 +0000 | <lisbeths> | to be mathematically consistent as a programming language you primarily have to have a guarantee that you are going to halt |
| 2026-05-09 10:54:54 +0000 | <lisbeths> | and if you want to recourse infinitely you have a contract with the outside world that the world will eventually send you a token telling you not to ercurse |
| 2026-05-09 10:55:02 +0000 | <lisbeths> | and they use these things called proof checkers to prove that their systems are consistent |
| 2026-05-09 10:55:06 +0000 | <lisbeths> | I have no idea how that magic works |
| 2026-05-09 10:56:36 +0000 | <jaror> | There's a good explanation of consistency and how it relates to Haskell on Stack Overflow: https://stackoverflow.com/a/50457170/15207568 |
| 2026-05-09 10:57:40 +0000 | <lisbeths> | the tldr is that consistency offers some nice properties to your code that can make the code safer and that can eliminate a category of bugs to o with not knowing if your code is going to halt. and mathematicians tend to prefer consistent systems over complete systems |
| 2026-05-09 10:57:46 +0000 | <int-e> | :t fix id |
| 2026-05-09 10:57:47 +0000 | <lambdabot> | a |
| 2026-05-09 10:58:40 +0000 | <jaror> | Obviously, nontermination is also just bad from a programmers perspective. Even, say, exponential time complexity is often bad. |
| 2026-05-09 10:59:18 +0000 | <int-e> | It's just not a total language unless you exercise a ton of programming discipline. |
| 2026-05-09 11:00:02 +0000 | <jaror> | Liquid Haskell can check it for you |
| 2026-05-09 11:02:33 +0000 | int-e | is more than happy to work only with programs that terminate in at most `ack 4 4` steps anyway ;-) |
| 2026-05-09 11:03:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 11:04:15 +0000 | <int-e> | (aka 2↑↑7 - 3, leaving room for quite a few advances in computing technology) |
| 2026-05-09 11:04:32 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-09 11:05:44 +0000 | <[exa]> | lisbeths: not sure if it's relevant to the question but there are small eDSLs for haskells that generate provably terminating (and otherwisey correct) programs |
| 2026-05-09 11:08:07 +0000 | <[exa]> | int-e: "oh wow it might compute for a while, I'll just make myself (7!)! coffees" |
| 2026-05-09 11:08:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-09 11:09:34 +0000 | <[exa]> | lisbeths: https://hackage.haskell.org/package/ivory |
| 2026-05-09 11:09:44 +0000 | <jreicher> | lisbeths: a guarantee of a halt means its decidable, not that it's consistent. Consistency is different. |
| 2026-05-09 11:10:16 +0000 | <lisbeths> | ah |
| 2026-05-09 11:11:52 +0000 | <jaror> | You do need termination for if you want the Curry-Howard logic that corresponds to your language to be consistent. |
| 2026-05-09 11:12:08 +0000 | <jaror> | Otherwise you can prove false with any nonterminating program. |
| 2026-05-09 11:13:04 +0000 | <jaror> | (at least for most standard type systems and languages) |
| 2026-05-09 11:15:41 +0000 | <jreicher> | https://plato.stanford.edu/archives/win2013/entries/lambda-calculus/#ConLCal |
| 2026-05-09 11:16:32 +0000 | <jreicher> | While you can to a certain extent make the question make sense, to begin with it doesn't, really. |
| 2026-05-09 11:16:52 +0000 | <jaror> | That's about untyped lambda calculus. |
| 2026-05-09 11:17:03 +0000 | <jaror> | Then of course Curry-Howard doesn't make sense |
| 2026-05-09 11:17:21 +0000 | <jreicher> | Sorry, here's the more recent one https://plato.stanford.edu/entries/lambda-calculus/#ConLCal |
| 2026-05-09 11:17:39 +0000 | Exadim | (~Exadim@user/exadim) exadim |
| 2026-05-09 11:17:41 +0000 | ryou | (~haze@user/ryou) ryou |
| 2026-05-09 11:17:48 +0000 | <jreicher> | I'm not referring to the lambda calculus here. I'm referring to the commentary in that article about the problem with the question as applied to anything that is not a logic |
| 2026-05-09 11:18:04 +0000 | <jaror> | But typed PLs do correspond to logics |
| 2026-05-09 11:18:15 +0000 | <jaror> | and you can talk about the consistency of those logics |
| 2026-05-09 11:19:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 11:19:26 +0000 | <jaror> | That's probably what the #rocq folk meant anyway |
| 2026-05-09 11:20:19 +0000 | <jreicher> | OK, so you can say there's a logic that corresponds to the type system of the programming language. But if that logic is inconsistent, why does that say anything about the programming language that it is twice removed from? |
| 2026-05-09 11:21:25 +0000 | <jaror> | That you can't use it as a proof assistant, which I guess is what #rocq folk care about. |
| 2026-05-09 11:21:36 +0000 | <lisbeths> | my math tutor would say "go read the book Godel's proof" which is thinner than half as thin as a cigarette in terms of pages |
| 2026-05-09 11:21:37 +0000 | <jaror> | But I see your point that it is not that relevant to programmers |
| 2026-05-09 11:22:14 +0000 | <lisbeths> | both decide able and consistent languages are arguably safer than ones that are not |
| 2026-05-09 11:24:25 +0000 | <int-e> | Not really. Non-termination is usually benign. And in cases that it isn't benign you tend to have actual deadlines so you need concrete bounds on the running time. It's not worthless; you can catch accidental infinite recursion. But as a safety *guarantee*, termination is rather pointless. |
| 2026-05-09 11:25:57 +0000 | <jaror> | Checking termination is much easier (and more portable) than checking concrete bounds on the running time |
| 2026-05-09 11:26:13 +0000 | <jaror> | Like how type checking is easier than fully proving correctness |
| 2026-05-09 11:26:14 +0000 | <int-e> | Oh for sure. |
| 2026-05-09 11:26:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-09 11:26:43 +0000 | <jaror> | We do type checking, so why don't we also check termination? |
| 2026-05-09 11:27:49 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-09 11:28:13 +0000 | <int-e> | because it tends to devolve into the programmer annotating the program with types so elaborate that they become termination proofs? |
| 2026-05-09 11:28:42 +0000 | <mauke> | servers |
| 2026-05-09 11:28:50 +0000 | <jaror> | what? most termination checkers don't require any annotations. |
| 2026-05-09 11:29:01 +0000 | <int-e> | most termination checkers are woefully incomplete |
| 2026-05-09 11:29:16 +0000 | <lisbeths> | afaik if you compose nothing but functions that terminate then the function which is output shall terminate. but that is just coming from my intuition |
| 2026-05-09 11:29:29 +0000 | <lisbeths> | or rather nothing but functions that always terminate |
| 2026-05-09 11:29:47 +0000 | <jaror> | Sure, but if you're doing fancy recursion you should perhaps use a Rust-style unsafe block to make it clear that code needs extra attention |
| 2026-05-09 11:30:30 +0000 | <jaror> | One thing that is problematic I guess are higher order functions. It would be nice to be more complete in that regard. |
| 2026-05-09 11:30:37 +0000 | <int-e> | jaror: cool, now you've put an obstacle between me and just running my code to see whether it finishes |
| 2026-05-09 11:30:49 +0000 | int-e | shrugs |
| 2026-05-09 11:31:09 +0000 | <lisbeths> | you can remove more obstacles if you just use an any type |
| 2026-05-09 11:31:29 +0000 | <mauke> | twice [] = []; twice (x : xs) = (2 * x) : twice xs |
| 2026-05-09 11:31:33 +0000 | <mauke> | this function doesn't terminate |
| 2026-05-09 11:31:56 +0000 | <mauke> | so what do I do if I want to double a list? |
| 2026-05-09 11:32:21 +0000 | <lisbeths> | show me an input and an output list for doubling |
| 2026-05-09 11:32:39 +0000 | <jaror> | Yeah you do need to distinguish recursion and corecursion if you want to have a sane termination story. |
| 2026-05-09 11:32:53 +0000 | <jaror> | data/codata should be separate |
| 2026-05-09 11:33:04 +0000 | <mauke> | > replicate 5 |
| 2026-05-09 11:33:05 +0000 | <lambdabot> | No instance for ‘Typeable a0’ |
| 2026-05-09 11:33:05 +0000 | <lambdabot> | arising from a use of ‘show_M15623259598638174941’ |
| 2026-05-09 11:33:05 +0000 | <lambdabot> | In the expression: |
| 2026-05-09 11:33:11 +0000 | <mauke> | > repeat 5 |
| 2026-05-09 11:33:12 +0000 | <lambdabot> | [5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5... |
| 2026-05-09 11:35:23 +0000 | <int-e> | lisbeths: But HM types approximate in the right direction: rejected programs are definitely wrong. |
| 2026-05-09 11:35:57 +0000 | <jaror> | int-e: that's not true |
| 2026-05-09 11:36:13 +0000 | <jaror> | you can write a safe program that cannot be typed by HM |
| 2026-05-09 11:38:03 +0000 | <jaror> | foo = False : 'a' : foo; bar = if foo !! 10 then 'b' else foo !! 11 |
| 2026-05-09 11:38:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 11:38:31 +0000 | <int-e> | I suppose. Then it's amazing how often that doesn't come up. ;) |
| 2026-05-09 11:39:16 +0000 | <jreicher> | lisbeths: godel did not even prove logic was inconsistent. Quite the opposite; his first big achievement was a consistency proof. |
| 2026-05-09 11:39:44 +0000 | <lisbeths> | eh I'm not a mathematician |
| 2026-05-09 11:39:47 +0000 | <jaror> | Well, it does come up if you want to be stricter with your types. The whole reason we have GADTs is because HM alone is not expressive enough |
| 2026-05-09 11:40:05 +0000 | <jaror> | Agda takes it even further |
| 2026-05-09 11:41:14 +0000 | <jaror> | Also RankNTypes are used often in Haskell and are not suppored by HM |
| 2026-05-09 11:41:47 +0000 | <int-e> | Yeah yeah and there's the unsafeCoerce backdoor as well. |
| 2026-05-09 11:42:15 +0000 | Exadim | (~Exadim@user/exadim) () |
| 2026-05-09 11:42:34 +0000 | <jreicher> | Sorry I take that back. Not consistency; completeness. All this switching of terminology is confusing me too. |
| 2026-05-09 11:43:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-09 11:46:21 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-05-09 11:48:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 11:53:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-09 12:04:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 12:07:53 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2026-05-09 12:07:53 +0000 | int-e | (~noone@int-e.eu) (Remote host closed the connection) |
| 2026-05-09 12:08:20 +0000 | lambdabot | (~lambdabot@int-e.eu) |
| 2026-05-09 12:08:20 +0000 | lambdabot | (~lambdabot@int-e.eu) (Changing host) |
| 2026-05-09 12:08:20 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2026-05-09 12:08:20 +0000 | ChanServ | +v lambdabot |
| 2026-05-09 12:09:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-09 12:09:20 +0000 | int-e | (~noone@int-e.eu) int-e |
| 2026-05-09 12:20:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 12:24:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 12:35:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 12:40:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 12:43:37 +0000 | byorgey | (~byorgey@user/byorgey) (Quit: leaving) |
| 2026-05-09 12:48:30 +0000 | byorgey | (~byorgey@155.138.238.211) |
| 2026-05-09 12:48:30 +0000 | byorgey | (~byorgey@155.138.238.211) (Changing host) |
| 2026-05-09 12:48:30 +0000 | byorgey | (~byorgey@user/byorgey) byorgey |
| 2026-05-09 12:49:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 12:50:16 +0000 | xdej_ | (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2026-05-09 12:54:09 +0000 | <[exa]> | what's the lightest way to get a binary little-endian representation of an integerish type, say Word64? |
| 2026-05-09 12:56:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-09 12:57:20 +0000 | layline_ | (~layline@149.154.26.39) layline |
| 2026-05-09 12:57:42 +0000 | <__monty__> | I imagine x86 assembly has a word for that. |
| 2026-05-09 12:58:38 +0000 | <[exa]> | oh I meant... as a ByteString |
| 2026-05-09 13:00:21 +0000 | <[exa]> | like putWord64be from `binary` but preferably using the most rudimentary tools out there |
| 2026-05-09 13:05:22 +0000 | <int-e> | Well you can follow this up the chain to https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/Data-ByteString-Builder.html#… |
| 2026-05-09 13:05:39 +0000 | <int-e> | (or BE, you jumped between the two) |
| 2026-05-09 13:06:41 +0000 | <[exa]> | oh wow it's directly in bytestring |
| 2026-05-09 13:06:46 +0000 | <[exa]> | okay I missed that one |
| 2026-05-09 13:06:49 +0000 | <[exa]> | thanks a lot |
| 2026-05-09 13:07:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 13:10:49 +0000 | <int-e> | Hmm but it looks like it doesn't expose enough of the internals to directly make a strict bytestring. |
| 2026-05-09 13:12:42 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) |
| 2026-05-09 13:12:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 13:14:13 +0000 | <int-e> | Like, there's https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/Data-ByteString-Builder-Prim.… but the only thing I see that you can do with a FixedPrim is to create a Builder from it (via BoundedPrim). Which is mildly sad because the data inside FixedPrim would fit perfectly into... |
| 2026-05-09 13:14:18 +0000 | <int-e> | ...https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/Data-ByteString-Internal.html… |
| 2026-05-09 13:18:57 +0000 | layline_ | layline-away |
| 2026-05-09 13:19:12 +0000 | layline-away | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-09 13:23:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 13:28:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-09 13:36:36 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-09 13:38:47 +0000 | layline_ | (~layline@149.154.26.39) layline |
| 2026-05-09 13:40:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 13:41:14 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-05-09 13:44:02 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-09 13:45:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-09 13:48:25 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-09 13:50:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 13:55:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-09 13:57:48 +0000 | emaczen | (~user@user/emaczen) emaczen |
| 2026-05-09 13:59:21 +0000 | Deltaspace | (~Deltaspac@user/Deltaspace) (Quit: Deltaspace) |
| 2026-05-09 13:59:37 +0000 | Deltaspace | (~Deltaspac@103.251.167.3) |
| 2026-05-09 13:59:42 +0000 | Deltaspace | (~Deltaspac@103.251.167.3) (Changing host) |
| 2026-05-09 13:59:42 +0000 | Deltaspace | (~Deltaspac@user/Deltaspace) Deltaspace |
| 2026-05-09 14:06:10 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2026-05-09 14:07:24 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2026-05-09 14:08:44 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-09 14:14:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-09 14:16:33 +0000 | layline_ | layline-away |
| 2026-05-09 14:17:07 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-09 14:18:51 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-05-09 14:19:03 +0000 | layline-away | layline_ |
| 2026-05-09 14:22:01 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-09 14:22:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 14:25:00 +0000 | ski | (~ski@90-224-14-130-no600.tbcn.telia.com) ski |
| 2026-05-09 14:26:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-09 14:38:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 14:45:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-09 14:51:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 14:54:11 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-09 14:57:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-09 14:59:35 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) (Read error: Connection reset by peer) |
| 2026-05-09 15:00:38 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) synchromesh |
| 2026-05-09 15:06:27 +0000 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2026-05-09 15:07:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 15:12:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-09 15:14:58 +0000 | layline_ | layline-away |
| 2026-05-09 15:21:41 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) |
| 2026-05-09 15:22:41 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2026-05-09 15:22:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 15:24:14 +0000 | layline-away | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-09 15:27:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 15:31:54 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-09 15:35:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 15:39:07 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-09 15:40:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 15:50:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 15:53:30 +0000 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2026-05-09 15:53:58 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-05-09 15:56:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-09 15:57:20 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-05-09 15:58:36 +0000 | APic | (apic@chiptune.apic.name) (Quit: Boot tut gut™.) |
| 2026-05-09 16:06:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 16:09:37 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2026-05-09 16:11:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-09 16:12:43 +0000 | APic | (apic@chiptune.apic.name) APic |
| 2026-05-09 16:13:03 +0000 | darnok | (~darnok@p200300d5e715f566890ce9f9eab938b8.dip0.t-ipconnect.de) |
| 2026-05-09 16:17:17 +0000 | darnok | (~darnok@p200300d5e715f566890ce9f9eab938b8.dip0.t-ipconnect.de) (Quit: WeeChat 4.9.0) |
| 2026-05-09 16:21:20 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2026-05-09 16:22:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 16:24:36 +0000 | itaipu | (~itaipu@168.121.98.126) itaipu |
| 2026-05-09 16:27:28 +0000 | Digit | (~user@user/digit) Digit |
| 2026-05-09 16:27:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 16:28:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2026-05-09 16:31:46 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-09 16:36:19 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 2026-05-09 16:38:08 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-09 16:38:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 16:41:37 +0000 | darnok | (~darnok@p200300d5e715f566890ce9f9eab938b8.dip0.t-ipconnect.de) |
| 2026-05-09 16:42:37 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-09 16:43:31 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2026-05-09 16:44:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-09 16:44:56 +0000 | darnok | (~darnok@p200300d5e715f566890ce9f9eab938b8.dip0.t-ipconnect.de) (Quit: WeeChat 4.9.0) |
| 2026-05-09 16:45:29 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-05-09 16:47:49 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-05-09 16:49:49 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-05-09 16:56:04 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) fp |
| 2026-05-09 16:56:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 16:58:58 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-09 17:01:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 17:05:50 +0000 | darnok | (~darnok@p200300d5e715f566890ce9f9eab938b8.dip0.t-ipconnect.de) |
| 2026-05-09 17:10:34 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-09 17:10:38 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2026-05-09 17:12:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 17:14:56 +0000 | Digitteknohippie | (~user@user/digit) (Quit: double buffer trouble) |
| 2026-05-09 17:15:11 +0000 | Digit | Digitteknohippie |
| 2026-05-09 17:15:26 +0000 | Digitteknohippie | Digit |
| 2026-05-09 17:17:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-09 17:27:35 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-09 17:27:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 17:32:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-09 17:41:46 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:180f:7305:7a85:1cae) |
| 2026-05-09 17:42:55 +0000 | hololeap | (~quassel@user/hololeap) (Ping timeout: 264 seconds) |
| 2026-05-09 17:43:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 17:48:12 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) |
| 2026-05-09 17:48:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-09 17:54:17 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2026-05-09 17:59:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 18:00:58 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-09 18:04:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-09 18:06:00 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-09 18:10:22 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-09 18:10:43 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-05-09 18:11:09 +0000 | Buliarou1 | (~gypsydang@46.232.210.139) (Quit: leaving) |
| 2026-05-09 18:13:17 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-09 18:19:14 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) |
| 2026-05-09 18:20:45 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-09 18:21:40 +0000 | layline_ | (~layline@149.154.26.39) layline |
| 2026-05-09 18:26:33 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-09 18:32:12 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.0) |
| 2026-05-09 18:33:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 18:38:27 +0000 | misterfish | (~misterfis@84-82-125-212.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2026-05-09 18:38:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 18:40:44 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-05-09 18:42:02 +0000 | darnok | (~darnok@p200300d5e715f566890ce9f9eab938b8.dip0.t-ipconnect.de) (Changing host) |
| 2026-05-09 18:42:02 +0000 | darnok | (~darnok@user/darnok) darnok |
| 2026-05-09 18:45:17 +0000 | bionade24 | (~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!) |
| 2026-05-09 18:45:29 +0000 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
| 2026-05-09 18:49:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 18:54:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-09 18:56:37 +0000 | jonnie | (~jonnie@user/jonnie) (Read error: Connection reset by peer) |
| 2026-05-09 18:56:50 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-05-09 18:59:09 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) fp |
| 2026-05-09 19:05:43 +0000 | darnok | (~darnok@user/darnok) (Quit: WeeChat 4.9.0) |
| 2026-05-09 19:06:28 +0000 | kuribas | (~user@2a02-1810-2825-6000-5fb4-5fd-ccc5-e460.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2026-05-09 19:08:05 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) (Read error: Connection reset by peer) |
| 2026-05-09 19:09:18 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) synchromesh |
| 2026-05-09 19:11:21 +0000 | layline_ | layline-away |
| 2026-05-09 19:12:15 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) (Ping timeout: 244 seconds) |
| 2026-05-09 19:12:59 +0000 | layline-away | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-09 19:13:39 +0000 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2026-05-09 19:13:48 +0000 | sttau | (~sttau@199.180.255.81) (Ping timeout: 244 seconds) |
| 2026-05-09 19:14:01 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-05-09 19:14:19 +0000 | potatoes | (~quassel@user/potatoes) (Ping timeout: 244 seconds) |
| 2026-05-09 19:14:50 +0000 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 244 seconds) |
| 2026-05-09 19:15:01 +0000 | sttau | (~sttau@199.180.255.81) |
| 2026-05-09 19:15:45 +0000 | jrm | (~jrm@user/jrm) (Ping timeout: 246 seconds) |
| 2026-05-09 19:15:47 +0000 | ChanServ | +o litharge |
| 2026-05-09 19:15:48 +0000 | litharge | -bo *!*@5.139.233.78 litharge |
| 2026-05-09 19:15:52 +0000 | energizer | (~energizer@user/energizer) (Ping timeout: 244 seconds) |
| 2026-05-09 19:16:43 +0000 | energizer | (~energizer@user/energizer) energizer |
| 2026-05-09 19:16:46 +0000 | potatoes | (~quassel@130.44.145.181) |
| 2026-05-09 19:16:46 +0000 | potatoes | (~quassel@130.44.145.181) (Changing host) |
| 2026-05-09 19:16:46 +0000 | potatoes | (~quassel@user/potatoes) potatoes |
| 2026-05-09 19:16:55 +0000 | jj_ | (~apropos@154.20.120.135) (Ping timeout: 244 seconds) |
| 2026-05-09 19:18:32 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2026-05-09 19:18:35 +0000 | jj_ | (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) |
| 2026-05-09 19:20:06 +0000 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2026-05-09 19:20:19 +0000 | jrm | (~jrm@user/jrm) (Client Quit) |
| 2026-05-09 19:20:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 19:22:55 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2026-05-09 19:25:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-09 19:32:13 +0000 | layline_ | (~layline@149.154.26.39) layline |
| 2026-05-09 19:41:47 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) (Ping timeout: 272 seconds) |
| 2026-05-09 19:51:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 19:51:51 +0000 | mtmn | (~mtmn@user/mtmn) (Remote host closed the connection) |
| 2026-05-09 19:52:45 +0000 | AlexZenon | (~alzenon@5.139.233.78) |
| 2026-05-09 19:52:52 +0000 | mtmn | (~mtmn@user/mtmn) mtmn |
| 2026-05-09 19:53:12 +0000 | Alex_delenda_est | (~al_test@5.139.233.78) |
| 2026-05-09 19:54:42 +0000 | layline_ | layline-away |
| 2026-05-09 19:54:47 +0000 | layline-away | layline_ |
| 2026-05-09 19:54:57 +0000 | layline_ | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-09 19:55:54 +0000 | layline_ | (~layline@149.154.26.39) layline |
| 2026-05-09 19:56:17 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-09 19:57:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-09 20:03:21 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 246 seconds) |
| 2026-05-09 20:09:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 20:09:34 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:180f:7305:7a85:1cae) (Quit: ricardomaps) |
| 2026-05-09 20:11:59 +0000 | supersecant | (~superseca@2a02:6b6f:e715:4f00:9a48:27ff:fee1:1da8) (Ping timeout: 245 seconds) |
| 2026-05-09 20:14:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-09 20:14:54 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2026-05-09 20:22:26 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: snks) |
| 2026-05-09 20:24:27 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-05-09 20:24:40 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-05-09 20:24:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 20:29:38 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-05-09 20:30:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-09 20:33:16 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-09 20:35:41 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-05-09 20:40:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 20:41:22 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:180f:7305:7a85:1cae) |
| 2026-05-09 20:43:38 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:180f:7305:7a85:1cae) (Client Quit) |
| 2026-05-09 20:45:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-09 20:48:45 +0000 | Buliarou1 | (~gypsydang@46.232.210.139) Buliarous |
| 2026-05-09 20:55:22 +0000 | elarks | (~elarks@user/yerrii) yerrii |
| 2026-05-09 20:56:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 21:01:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-09 21:06:18 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) fp |
| 2026-05-09 21:08:27 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-05-09 21:08:51 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-09 21:12:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 21:12:55 +0000 | jrm | (~jrm@user/jrm) (Ping timeout: 264 seconds) |
| 2026-05-09 21:13:15 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-05-09 21:14:24 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2026-05-09 21:17:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-09 21:28:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 21:32:47 +0000 | layline_ | layline-away |
| 2026-05-09 21:33:42 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2026-05-09 21:35:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-09 21:35:28 +0000 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 244 seconds) |
| 2026-05-09 21:36:05 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-05-09 21:36:26 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-09 21:37:57 +0000 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2026-05-09 21:38:39 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) (Ping timeout: 245 seconds) |
| 2026-05-09 21:45:51 +0000 | layline-away | layline_ |
| 2026-05-09 21:46:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 21:50:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-09 21:52:41 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) |
| 2026-05-09 21:56:42 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2026-05-09 21:57:57 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2026-05-09 22:00:34 +0000 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2026-05-09 22:05:16 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2026-05-09 22:05:40 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2026-05-09 22:08:45 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2026-05-09 22:16:18 +0000 | Square | (~Square@user/square) Square |
| 2026-05-09 22:29:35 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-05-09 22:36:51 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2026-05-09 22:38:06 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2026-05-09 22:57:03 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) (Ping timeout: 268 seconds) |
| 2026-05-09 23:05:22 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-09 23:08:44 +0000 | layline_ | layline-away |
| 2026-05-09 23:15:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 23:18:06 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-09 23:19:37 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.9.0) |
| 2026-05-09 23:19:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-09 23:22:40 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2026-05-09 23:23:49 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2026-05-09 23:23:54 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2026-05-09 23:29:29 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-05-09 23:30:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 23:35:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-09 23:46:33 +0000 | tjoppie | (~tjoppie@user/tjoppie) tjoppie |
| 2026-05-09 23:46:46 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-05-09 23:52:07 +0000 | tjoppie | (~tjoppie@user/tjoppie) (Quit: leaving) |
| 2026-05-09 23:52:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-09 23:52:21 +0000 | tjoppie | (~tjoppie@24.161.107.245) |
| 2026-05-09 23:53:25 +0000 | tjoppie | (~tjoppie@24.161.107.245) (Client Quit) |
| 2026-05-09 23:53:39 +0000 | tjoppie | (~tjoppie@user/tjoppie) tjoppie |
| 2026-05-09 23:57:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-09 23:58:06 +0000 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |