2025/04/05

2025-04-05 00:00:28 +0200tromp(~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-05 00:01:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-05 00:02:35 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-04-05 00:02:43 +0200forell(~forell@user/forell) (Quit: ZNC - https://znc.in)
2025-04-05 00:03:15 +0200remexre(~remexre@user/remexre) remexre
2025-04-05 00:03:15 +0200Eoco(~ian@128.101.131.218) Eoco
2025-04-05 00:03:30 +0200forell(~forell@user/forell) forell
2025-04-05 00:06:19 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 252 seconds)
2025-04-05 00:06:22 +0200tromp(~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a)
2025-04-05 00:08:43 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-05 00:09:40 +0200jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net)
2025-04-05 00:10:08 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-04-05 00:12:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-05 00:15:12 +0200remexre_(~remexre@user/remexre) remexre
2025-04-05 00:15:19 +0200remexre(~remexre@user/remexre) (Ping timeout: 265 seconds)
2025-04-05 00:16:39 +0200remexre_remexre
2025-04-05 00:16:46 +0200Eoco(~ian@128.101.131.218) (Ping timeout: 265 seconds)
2025-04-05 00:18:34 +0200Eoco(~ian@128.101.131.218) Eoco
2025-04-05 00:24:54 +0200krei-se(~krei-se@p200300f1cfff316bda9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se
2025-04-05 00:25:35 +0200krei-se-(~krei-se@p3ee0f990.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-04-05 00:26:26 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 265 seconds)
2025-04-05 00:26:53 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-05 00:27:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-04-05 00:27:45 +0200remexre_(~remexre@user/remexre) remexre
2025-04-05 00:27:58 +0200remexre(~remexre@user/remexre) (Read error: Connection reset by peer)
2025-04-05 00:29:27 +0200remexre_remexre
2025-04-05 00:31:24 +0200krei-se-(~krei-se@p200300f1cfff3170da9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se
2025-04-05 00:31:59 +0200krei-se(~krei-se@p200300f1cfff316bda9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-04-05 00:32:06 +0200tromp(~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-05 00:35:28 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-04-05 00:35:40 +0200remexre(~remexre@user/remexre) (Ping timeout: 252 seconds)
2025-04-05 00:51:44 +0200nitrix(~nitrix@user/meow/nitrix) nitrix
2025-04-05 00:52:22 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-04-05 01:01:06 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-04-05 01:12:05 +0200sprotte24_(~sprotte24@p200300d16f176a007d5b6fd7286fde7f.dip0.t-ipconnect.de) (Quit: Leaving)
2025-04-05 01:12:20 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 252 seconds)
2025-04-05 01:14:02 +0200notdabs(~Owner@2600:1700:69cf:9000:c0fa:b50a:3031:4dce)
2025-04-05 01:17:24 +0200Kaladin(~Kaladin@157-131-246-110.fiber.dynamic.sonic.net)
2025-04-05 01:18:25 +0200Kaladin(~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) (Remote host closed the connection)
2025-04-05 01:19:04 +0200krei-se(~krei-se@p3ee0f75f.dip0.t-ipconnect.de) krei-se
2025-04-05 01:19:49 +0200krei-se-(~krei-se@p200300f1cfff3170da9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-04-05 01:20:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-05 01:22:24 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-05 01:25:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-05 01:27:15 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds)
2025-04-05 01:28:19 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-05 01:28:44 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection)
2025-04-05 01:29:11 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-04-05 01:30:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-05 01:40:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-05 01:41:40 +0200krei-se(~krei-se@p3ee0f75f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-05 01:48:42 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-05 01:49:08 +0200krei-se(~krei-se@p200300f1cfff3299da9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se
2025-04-05 01:51:28 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-04-05 01:52:29 +0200Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2025-04-05 01:53:07 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-05 01:53:39 +0200forell(~forell@user/forell) (Quit: ZNC - https://znc.in)
2025-04-05 01:55:04 +0200forell(~forell@user/forell) forell
2025-04-05 01:59:19 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds)
2025-04-05 02:06:42 +0200FeuermagierGuest6426
2025-04-05 02:06:42 +0200Feuermagier_(~Feuermagi@user/feuermagier) Feuermagier
2025-04-05 02:06:42 +0200Guest6426(~Feuermagi@user/feuermagier) (Killed (tungsten.libera.chat (Nickname regained by services)))
2025-04-05 02:06:42 +0200Feuermagier_Feuermagier
2025-04-05 02:06:54 +0200otto_s(~user@p5de2ff42.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-04-05 02:08:29 +0200otto_s(~user@p5de2f9f0.dip0.t-ipconnect.de)
2025-04-05 02:08:41 +0200jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed)
2025-04-05 02:14:57 +0200krei-se(~krei-se@p200300f1cfff3299da9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-05 02:16:37 +0200krei-se(~krei-se@p3ee0f069.dip0.t-ipconnect.de) krei-se
2025-04-05 02:19:27 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-05 02:24:46 +0200notdabs(~Owner@2600:1700:69cf:9000:c0fa:b50a:3031:4dce) (Quit: Leaving)
2025-04-05 02:25:13 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds)
2025-04-05 02:25:57 +0200acidjnk_new3(~acidjnk@p200300d6e71c4f05ad6cd39b235d43c6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-05 02:41:48 +0200Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds)
2025-04-05 02:44:11 +0200remexre(~remexre@user/remexre) remexre
2025-04-05 02:46:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-05 02:57:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-05 03:03:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-05 03:05:35 +0200cheater(~Username@user/cheater) (Ping timeout: 244 seconds)
2025-04-05 03:13:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-05 03:18:06 +0200pavonia(~user@user/siracusa) siracusa
2025-04-05 03:22:27 +0200Square2(~Square@user/square) (Ping timeout: 276 seconds)
2025-04-05 03:33:44 +0200 <haskellbridge> <Liamzee> cheating feels good, or rather, being able to improve the algorithm slightly with replacement of quot (foo 3) bar /= quot (foo 4) bar with a slightly more efficient algorithm, although I guess I should track down Gordon to confirm that Debian benchmarks told us to screw ourselves :(
2025-04-05 03:38:01 +0200 <haskellbridge> <thirdofmay18081814goya> anyone know if "ghc-lib-parser" provides a monad to construct "Settings" and "DynFlags"?
2025-04-05 03:38:16 +0200 <haskellbridge> <thirdofmay18081814goya> from the local ghc environment
2025-04-05 03:40:03 +0200 <haskellbridge> <Liamzee> lol it's ironic because Jeremy Gibbons published the original algorithm that pidigits is supposed to be based on
2025-04-05 03:40:06 +0200 <haskellbridge> <Liamzee> https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/spigot.pdf
2025-04-05 03:40:10 +0200 <haskellbridge> <Liamzee> that's the spec, hahahaha
2025-04-05 03:43:21 +0200 <haskellbridge> <thirdofmay18081814goya> you can use "getSessionDynFlags" supposing "GhcMonad"
2025-04-05 03:57:56 +0200Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2025-04-05 03:58:32 +0200tabemann(~tabemann@2600:1700:7990:24e0:eb48:5118:6a44:9814) (Remote host closed the connection)
2025-04-05 03:58:35 +0200thuna`(~thuna`@user/thuna/x-1480069) thuna`
2025-04-05 03:58:56 +0200tabemann(~tabemann@2600:1700:7990:24e0:abb4:3ad0:1d9:d299)
2025-04-05 04:05:41 +0200toby-bro(~toby-bro@user/toby-bro) (Ping timeout: 248 seconds)