| 2025-04-05 00:00:28 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-05 00:01:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-05 00:02:35 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-04-05 00:02:43 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-04-05 00:03:15 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-04-05 00:03:15 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-05 00:03:30 +0200 | forell | (~forell@user/forell) forell |
| 2025-04-05 00:06:19 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-05 00:06:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) |
| 2025-04-05 00:08:43 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-05 00:09:40 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-05 00:10:08 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-04-05 00:12:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 00:15:12 +0200 | remexre_ | (~remexre@user/remexre) remexre |
| 2025-04-05 00:15:19 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 265 seconds) |
| 2025-04-05 00:16:39 +0200 | remexre_ | remexre |
| 2025-04-05 00:16:46 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 265 seconds) |
| 2025-04-05 00:18:34 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-05 00:24:54 +0200 | krei-se | (~krei-se@p200300f1cfff316bda9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-05 00:25:35 +0200 | krei-se- | (~krei-se@p3ee0f990.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-04-05 00:26:26 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-04-05 00:26:53 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-05 00:27:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-05 00:27:45 +0200 | remexre_ | (~remexre@user/remexre) remexre |
| 2025-04-05 00:27:58 +0200 | remexre | (~remexre@user/remexre) (Read error: Connection reset by peer) |
| 2025-04-05 00:29:27 +0200 | remexre_ | remexre |
| 2025-04-05 00:31:24 +0200 | krei-se- | (~krei-se@p200300f1cfff3170da9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-05 00:31:59 +0200 | krei-se | (~krei-se@p200300f1cfff316bda9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-05 00:32:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-05 00:35:28 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-05 00:35:40 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 2025-04-05 00:51:44 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-04-05 00:52:22 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-05 01:01:06 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-04-05 01:12:05 +0200 | sprotte24_ | (~sprotte24@p200300d16f176a007d5b6fd7286fde7f.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-05 01:12:20 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-05 01:14:02 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:c0fa:b50a:3031:4dce) |
| 2025-04-05 01:17:24 +0200 | Kaladin | (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) |
| 2025-04-05 01:18:25 +0200 | Kaladin | (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2025-04-05 01:19:04 +0200 | krei-se | (~krei-se@p3ee0f75f.dip0.t-ipconnect.de) krei-se |
| 2025-04-05 01:19:49 +0200 | krei-se- | (~krei-se@p200300f1cfff3170da9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-05 01:20:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-05 01:22:24 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-05 01:25:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 01:27:15 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-05 01:28:19 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-05 01:28:44 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection) |
| 2025-04-05 01:29:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-05 01:30:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-05 01:40:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 01:41:40 +0200 | krei-se | (~krei-se@p3ee0f75f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-05 01:48:42 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-05 01:49:08 +0200 | krei-se | (~krei-se@p200300f1cfff3299da9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-05 01:51:28 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-04-05 01:52:29 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-04-05 01:53:07 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-05 01:53:39 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-04-05 01:55:04 +0200 | forell | (~forell@user/forell) forell |
| 2025-04-05 01:59:19 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-05 02:06:42 +0200 | Feuermagier | Guest6426 |
| 2025-04-05 02:06:42 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-04-05 02:06:42 +0200 | Guest6426 | (~Feuermagi@user/feuermagier) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2025-04-05 02:06:42 +0200 | Feuermagier_ | Feuermagier |
| 2025-04-05 02:06:54 +0200 | otto_s | (~user@p5de2ff42.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-04-05 02:08:29 +0200 | otto_s | (~user@p5de2f9f0.dip0.t-ipconnect.de) |
| 2025-04-05 02:08:41 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-04-05 02:14:57 +0200 | krei-se | (~krei-se@p200300f1cfff3299da9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-05 02:16:37 +0200 | krei-se | (~krei-se@p3ee0f069.dip0.t-ipconnect.de) krei-se |
| 2025-04-05 02:19:27 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-05 02:24:46 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:c0fa:b50a:3031:4dce) (Quit: Leaving) |
| 2025-04-05 02:25:13 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-05 02:25:57 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f05ad6cd39b235d43c6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-05 02:41:48 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds) |
| 2025-04-05 02:44:11 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-04-05 02:46:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-05 02:57:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 03:03:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-05 03:05:35 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 244 seconds) |
| 2025-04-05 03:13:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 03:18:06 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-04-05 03:22:27 +0200 | Square2 | (~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 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-04-05 03:58:32 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:eb48:5118:6a44:9814) (Remote host closed the connection) |
| 2025-04-05 03:58:35 +0200 | thuna` | (~thuna`@user/thuna/x-1480069) thuna` |
| 2025-04-05 03:58:56 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:abb4:3ad0:1d9:d299) |
| 2025-04-05 04:05:41 +0200 | toby-bro | (~toby-bro@user/toby-bro) (Ping timeout: 248 seconds) |
| 2025-04-05 04:06:13 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm but "GhcMonad" needs the "ghc-lib" package which is sort of huge |
| 2025-04-05 04:06:42 +0200 | <haskellbridge> | <thirdofmay18081814goya> any other method to construct "Settings" and "DynFlags", other than manually filling out the fields? |
| 2025-04-05 04:08:42 +0200 | forell | (~forell@user/forell) (Ping timeout: 252 seconds) |
| 2025-04-05 04:09:00 +0200 | <haskellbridge> | <Liamzee> thirdofmay18081814goya: you're also on matrix, you can try the matrix haskell channel as well |
| 2025-04-05 04:09:49 +0200 | <haskellbridge> | <thirdofmay18081814goya> will ask there too ty |
| 2025-04-05 04:10:29 +0200 | cheater | (~Username@user/cheater) cheater |
| 2025-04-05 04:16:55 +0200 | <monochrom> | It should be pretty evident by now that even though converting (mod 7) to a faster multiplication and bitwise operations is well understood, it is not going to be a priority of GHC for the forseeable future. Instead, let use -fllvm and let LLVM do it. |
| 2025-04-05 04:18:18 +0200 | <monochrom> | Applying very basic economics, you look at what reward people get for contributing to GHC, you see their priorities. |
| 2025-04-05 04:19:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-05 04:19:31 +0200 | <monochrom> | So for example, some people get papers published for adding linear types to GHC, so they did. But no one gets papers published for using linear types to optimize code, so no one does. |
| 2025-04-05 04:20:15 +0200 | <monochrom> | Not to mention the too-little-too-late :doc commands. |
| 2025-04-05 04:22:20 +0200 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-04-05 04:23:56 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 272 seconds) |
| 2025-04-05 04:27:59 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 2025-04-05 04:29:08 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-04-05 04:31:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 04:35:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-05 04:46:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 04:51:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-05 04:53:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 04:58:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-05 05:00:24 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 246 seconds) |
| 2025-04-05 05:01:28 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-04-05 05:02:29 +0200 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2025-04-05 05:03:40 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-04-05 05:04:14 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-05 05:09:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 05:10:02 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb1 - https://znc.in) |
| 2025-04-05 05:14:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-05 05:24:56 +0200 | monochrom | (trebla@216.138.220.146) |
| 2025-04-05 05:25:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 05:35:14 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-04-05 05:51:21 +0200 | krei-se | (~krei-se@p3ee0f069.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-05 05:52:29 +0200 | krei-se | (~krei-se@p200300f1cfff387fda9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-05 05:58:45 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-05 06:04:08 +0200 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 268 seconds) |
| 2025-04-05 06:05:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-05 06:05:29 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-04-05 06:10:44 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-05 06:12:17 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-04-05 06:12:49 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-05 06:13:06 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-04-05 06:14:50 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-05 06:15:05 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-05 06:15:50 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-04-05 06:30:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-05 06:41:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 06:46:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-05 06:57:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 06:59:11 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-05 07:01:00 +0200 | Pixi` | Pixi |
| 2025-04-05 07:03:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-05 07:04:30 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Remote host closed the connection) |
| 2025-04-05 07:10:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-05 07:13:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 07:19:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-05 07:20:02 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 2025-04-05 07:23:12 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 2025-04-05 07:23:12 +0200 | jmcantrell_ | jmcantrell |
| 2025-04-05 07:33:18 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 2025-04-05 07:34:30 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-04-05 07:40:41 +0200 | aman | (~aman@user/aman) (Quit: aman) |
| 2025-04-05 07:42:06 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2025-04-05 07:44:12 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-05 07:59:10 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-04-05 08:00:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-05 08:07:32 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 265 seconds) |
| 2025-04-05 08:18:49 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-04-05 08:18:52 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:3a06:d959:ac54:37fc) dhil |
| 2025-04-05 08:19:00 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-04-05 08:25:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-05 08:37:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 08:44:03 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:3a06:d959:ac54:37fc) (Ping timeout: 246 seconds) |
| 2025-04-05 09:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-05 09:00:49 +0200 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-04-05 09:00:51 +0200 | caconym | (~caconym@user/caconym) caconym |