| 2025-12-31 00:06:20 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-31 00:06:39 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-12-31 00:11:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 00:15:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-31 00:17:31 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-31 00:18:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 00:22:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 00:26:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 00:31:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 00:42:37 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-12-31 00:51:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-31 00:53:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 00:56:55 +0100 | corecaps | (~quassel@user/corecaps) (Remote host closed the connection) |
| 2025-12-31 00:57:02 +0100 | aetepe | (~aetepe@188.119.22.20) aetepe |
| 2025-12-31 00:57:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-31 00:59:00 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-31 01:01:28 +0100 | aetepe | (~aetepe@188.119.22.20) (Ping timeout: 246 seconds) |
| 2025-12-31 01:10:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 01:12:36 +0100 | aetepe | (~aetepe@188.119.22.20) aetepe |
| 2025-12-31 01:15:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 01:17:25 +0100 | aetepe | (~aetepe@188.119.22.20) (Ping timeout: 264 seconds) |
| 2025-12-31 01:21:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 01:26:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 01:34:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-31 01:39:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 01:40:57 +0100 | <gentauro> | 19:03 < sm> gentauro, stack is better than ever - wasn't that a problem with haskell-language-server ? |
| 2025-12-31 01:41:16 +0100 | <gentauro> | sm: I've just arrived at home after 39c3 so I have been out of the loop |
| 2025-12-31 01:41:33 +0100 | <gentauro> | sm: but you say `stack` is the way (as it always have been)? |
| 2025-12-31 01:43:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 01:48:30 +0100 | <EvanR> | cabal is great |
| 2025-12-31 01:52:05 +0100 | <int-e> | . o O ( there is no Haskell cabal ) |
| 2025-12-31 01:57:30 +0100 | <geekosaur> | they're equally good, it depends on what approach you prefer: solver, or pre-solved |
| 2025-12-31 01:59:16 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-31 02:12:16 +0100 | omidmash5 | (~omidmash@user/omidmash) omidmash |
| 2025-12-31 02:12:20 +0100 | <haskellbridge> | <sm> gentauro I'm just reassuring you re "it seems that "stack" isn't as good as it was before" - no, it's better than ever. |
| 2025-12-31 02:13:40 +0100 | <haskellbridge> | <sm> also you linked to an issue about building HLS with GHC 9.10 using stack - that can certainly be done, but it's not automatic, projects have to provide a suitable stack config sometimes |
| 2025-12-31 02:14:14 +0100 | <haskellbridge> | <sm> * always going to work with no config - projects have to provide that |
| 2025-12-31 02:14:14 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 265 seconds) |
| 2025-12-31 02:14:14 +0100 | omidmash5 | omidmash |
| 2025-12-31 02:14:23 +0100 | <haskellbridge> | <sm> oops, irc #noedit |
| 2025-12-31 02:15:19 +0100 | mvk | (~mvk@2607:fea8:5c9d:ee00::ca9c) mvk |
| 2025-12-31 02:17:23 +0100 | <haskellbridge> | <sm> hls provides a stack.yaml but it needs updating (it uses ghc 9.8) |
| 2025-12-31 02:21:26 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2025-12-31 02:22:20 +0100 | mvk | (~mvk@2607:fea8:5c9d:ee00::ca9c) (Quit: Going elsewhere) |
| 2025-12-31 02:24:52 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-31 02:25:00 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-12-31 02:25:52 +0100 | divlamir_ | divlamir |
| 2025-12-31 02:29:02 +0100 | apache | (apache2@anubis.0x90.dk) apache2 |
| 2025-12-31 02:31:29 +0100 | AntiRembane | (~Rembane@user/Rembane) Rembane |
| 2025-12-31 02:31:49 +0100 | Rembane | (~Rembane@user/Rembane) (Ping timeout: 246 seconds) |
| 2025-12-31 02:31:49 +0100 | apache2 | (apache2@anubis.0x90.dk) (Ping timeout: 246 seconds) |
| 2025-12-31 02:31:49 +0100 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 246 seconds) |
| 2025-12-31 02:31:49 +0100 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 246 seconds) |
| 2025-12-31 02:31:50 +0100 | malte | (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 2025-12-31 02:31:56 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-12-31 02:32:07 +0100 | tired- | (~tired@user/tired) tired |
| 2025-12-31 02:32:07 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 246 seconds) |
| 2025-12-31 02:32:07 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 246 seconds) |
| 2025-12-31 02:32:07 +0100 | markasoftware | (~quassel@2604:180:f2::217) (Ping timeout: 246 seconds) |
| 2025-12-31 02:32:19 +0100 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2025-12-31 02:32:24 +0100 | markasoftware | (~quassel@2604:180:f2::217) markasoftware |
| 2025-12-31 02:32:49 +0100 | jj | (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) (Ping timeout: 246 seconds) |
| 2025-12-31 02:32:50 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 246 seconds) |
| 2025-12-31 02:32:50 +0100 | tired | (~tired@user/tired) (Ping timeout: 246 seconds) |
| 2025-12-31 02:33:31 +0100 | rainbyte_ | (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2025-12-31 02:33:54 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-31 02:34:12 +0100 | ames | (~amelia@offtopia/offtopian/amelia) (Quit: Ping timeout (120 seconds)) |
| 2025-12-31 02:34:13 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2025-12-31 02:34:36 +0100 | SheRejoined | (haveident@libera/staff/she/her) She |
| 2025-12-31 02:34:54 +0100 | jj | (~apropos@d154-20-120-135.bchsia.telus.net) omentic |
| 2025-12-31 02:35:04 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-31 02:35:28 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-12-31 02:35:30 +0100 | She | (haveident@libera/staff/she/her) (Killed (SheRejoined (GIVE ME BACK MY FACE!))) |
| 2025-12-31 02:35:30 +0100 | SheRejoined | She |
| 2025-12-31 02:35:55 +0100 | Digit | (~Digit@user/digit) (Read error: Connection reset by peer) |
| 2025-12-31 02:35:58 +0100 | ridcully | (~ridcully@pd951fc06.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-12-31 02:36:40 +0100 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 2025-12-31 02:36:41 +0100 | xelxebar_ | (~xelxebar@42.203.199.104.bc.googleusercontent.com) xelxebar |
| 2025-12-31 02:36:42 +0100 | itaipu | (~itaipu@168.121.98.37) itaipu |
| 2025-12-31 02:36:51 +0100 | Digitteknohippie | (~Digit@user/digit) Digit |
| 2025-12-31 02:37:01 +0100 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 246 seconds) |
| 2025-12-31 02:37:04 +0100 | ridcully | (~ridcully@pd951fc06.dip0.t-ipconnect.de) ridcully |
| 2025-12-31 02:38:22 +0100 | malte | (~malte@mal.tc) malte |
| 2025-12-31 02:38:35 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-31 02:40:47 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-31 02:43:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-31 02:51:35 +0100 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2025-12-31 03:04:50 +0100 | monochrm | (trebla@216.138.220.146) monochrom |
| 2025-12-31 03:05:04 +0100 | itaipu | (~itaipu@168.121.98.37) (Ping timeout: 244 seconds) |
| 2025-12-31 03:06:33 +0100 | tjbc_ | (~tjbc@user/fliife) fliife |
| 2025-12-31 03:06:39 +0100 | vetkat1 | (~vetkat@user/vetkat) vetkat |
| 2025-12-31 03:06:45 +0100 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-12-31 03:06:46 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 240 seconds) |
| 2025-12-31 03:06:46 +0100 | thaumavorio | (~thaumavor@thaumavor.io) (Ping timeout: 240 seconds) |
| 2025-12-31 03:06:46 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 240 seconds) |
| 2025-12-31 03:06:46 +0100 | finsternis | (~X@23.226.237.192) (Ping timeout: 240 seconds) |
| 2025-12-31 03:06:46 +0100 | vetkat | (~vetkat@user/vetkat) (Ping timeout: 240 seconds) |
| 2025-12-31 03:06:46 +0100 | red-snail | (~red-snail@static.151.210.203.116.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-12-31 03:06:46 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2025-12-31 03:06:47 +0100 | vetkat1 | vetkat |
| 2025-12-31 03:07:12 +0100 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-12-31 03:07:15 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 240 seconds) |
| 2025-12-31 03:07:15 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 240 seconds) |
| 2025-12-31 03:07:15 +0100 | monochrm | monochrom |
| 2025-12-31 03:07:16 +0100 | haetsal | (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 2025-12-31 03:07:24 +0100 | tjbc | (~tjbc@user/fliife) (Read error: Connection reset by peer) |
| 2025-12-31 03:07:52 +0100 | red-snail | (~red-snail@static.151.210.203.116.clients.your-server.de) red-snail |
| 2025-12-31 03:08:15 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 240 seconds) |
| 2025-12-31 03:08:19 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2025-12-31 03:08:20 +0100 | thaumavorio | (~thaumavor@thaumavor.io) thaumavorio |
| 2025-12-31 03:08:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 03:08:45 +0100 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) mulk |
| 2025-12-31 03:09:06 +0100 | enikar | (~enikar@user/enikar) (*.net *.split) |
| 2025-12-31 03:09:06 +0100 | elenril | (~elenril@tutturu.khirnov.net) (*.net *.split) |
| 2025-12-31 03:09:12 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-12-31 03:09:55 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2025-12-31 03:10:05 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2025-12-31 03:10:07 +0100 | enikar | (~enikar@user/enikar) enikar |
| 2025-12-31 03:10:07 +0100 | elenril | (~elenril@tutturu.khirnov.net) elenril |
| 2025-12-31 03:13:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-31 03:15:32 +0100 | sympt | (~sympt@user/sympt) sympt |
| 2025-12-31 03:19:26 +0100 | itaipu | (~itaipu@168.121.98.37) itaipu |
| 2025-12-31 03:25:43 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-12-31 03:26:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 03:27:47 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-31 03:28:48 +0100 | Digitteknohippie | Digit |
| 2025-12-31 03:31:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 03:33:24 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-12-31 03:42:25 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-12-31 03:42:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 03:47:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 03:48:37 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-12-31 04:00:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 04:05:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 04:08:02 +0100 | myxos | (~myxos@174-18-25-201.tcso.qwest.net) myxokephale |
| 2025-12-31 04:08:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-12-31 04:17:03 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-31 04:18:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 04:19:59 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2025-12-31 04:22:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 04:27:58 +0100 | sympt | (~sympt@user/sympt) (Ping timeout: 246 seconds) |
| 2025-12-31 04:33:51 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2025-12-31 04:47:12 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-31 04:47:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-31 04:48:13 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-31 04:55:05 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-31 05:06:37 +0100 | aman | (~aman@user/aman) aman |
| 2025-12-31 05:17:10 +0100 | ames | (~amelia@offtopia/offtopian/amelia) {ames} |
| 2025-12-31 05:22:46 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-31 05:24:06 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-31 05:25:20 +0100 | img | (~img@user/img) img |
| 2025-12-31 05:29:45 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-31 05:31:27 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-31 05:33:01 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-31 05:44:39 +0100 | myxokephale | (~myxos@174-18-25-201.tcso.qwest.net) myxokephale |
| 2025-12-31 05:46:33 +0100 | emergence1 | (emergence@vm0.max-p.me) emergence |
| 2025-12-31 05:46:36 +0100 | myxos | (~myxos@174-18-25-201.tcso.qwest.net) (Read error: Connection reset by peer) |
| 2025-12-31 05:46:51 +0100 | raym | (~ray@user/raym) (Ping timeout: 240 seconds) |
| 2025-12-31 05:46:51 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2025-12-31 05:46:51 +0100 | aman | (~aman@user/aman) (Ping timeout: 240 seconds) |
| 2025-12-31 05:46:59 +0100 | emergence | (emergence@vm0.max-p.me) (Ping timeout: 240 seconds) |
| 2025-12-31 05:46:59 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 240 seconds) |
| 2025-12-31 05:46:59 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-12-31 05:46:59 +0100 | emergence1 | emergence |
| 2025-12-31 05:46:59 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 240 seconds) |
| 2025-12-31 05:47:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 05:48:09 +0100 | raym | (~ray@user/raym) raym |
| 2025-12-31 05:50:11 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-31 05:50:20 +0100 | aman | (~aman@user/aman) aman |
| 2025-12-31 05:53:32 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-12-31 05:53:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 06:00:33 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-12-31 06:00:53 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-12-31 06:01:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 06:05:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-31 06:12:10 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-12-31 06:17:43 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2025-12-31 06:19:51 +0100 | aetepe | (~aetepe@188.119.22.20) aetepe |
| 2025-12-31 06:21:31 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-31 06:28:55 +0100 | EvanR_ | EvanR |
| 2025-12-31 06:42:43 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-12-31 06:45:54 +0100 | caz | (866183745f@2a03:6000:1812:100::15d4) caz |
| 2025-12-31 06:56:28 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-31 06:57:11 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-31 07:21:55 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-31 07:30:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 07:30:24 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-31 07:34:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 07:46:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 07:50:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 07:59:21 +0100 | ft | (~ft@p508dbaa4.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-31 08:00:20 +0100 | mmohammadi9812 | (~mohammad@46.236.253.38) mmohammadi9812 |
| 2025-12-31 08:02:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 08:06:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 08:13:59 +0100 | annamalai | (~annamalai@157.33.228.123) (Ping timeout: 260 seconds) |
| 2025-12-31 08:18:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 08:22:02 +0100 | mmohammadi9812 | (~mohammad@46.236.253.38) (Remote host closed the connection) |
| 2025-12-31 08:23:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-31 08:23:55 +0100 | annamalai | (~annamalai@157.33.228.123) annamalai |
| 2025-12-31 08:26:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-31 08:28:05 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-31 08:32:34 +0100 | housemate | (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2025-12-31 08:36:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 08:36:37 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 264 seconds) |
| 2025-12-31 08:43:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-31 08:47:16 +0100 | ft | (~ft@p508dbaa4.dip0.t-ipconnect.de) ft |
| 2025-12-31 08:50:20 +0100 | itaipu | (~itaipu@168.121.98.37) (Ping timeout: 245 seconds) |
| 2025-12-31 08:53:55 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2025-12-31 08:54:24 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-31 08:55:47 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-31 09:00:30 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-12-31 09:03:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 09:05:09 +0100 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 2025-12-31 09:07:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 09:28:25 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
| 2025-12-31 09:29:02 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-12-31 09:49:45 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-31 09:53:43 +0100 | wickedjargon | (~user@64.114.24.74) (Ping timeout: 264 seconds) |
| 2025-12-31 09:56:07 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-31 10:04:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 10:06:46 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2025-12-31 10:08:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 10:16:34 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2025-12-31 10:20:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 10:24:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 10:36:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 10:38:16 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-31 10:40:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 10:44:40 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2025-12-31 10:51:50 +0100 | mmohammadi9812 | (~mohammad@104.28.214.168) mmohammadi9812 |
| 2025-12-31 10:52:19 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 256 seconds) |
| 2025-12-31 10:54:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 10:58:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 11:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 11:08:10 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-31 11:11:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 11:13:00 +0100 | astra | amish |
| 2025-12-31 11:13:16 +0100 | amish | (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 2025-12-31 11:13:16 +0100 | amish | (sid289983@user/amish) amish |
| 2025-12-31 11:13:43 +0100 | amish | astra |
| 2025-12-31 11:23:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-12-31 11:24:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-31 11:24:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 11:28:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 11:37:09 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-31 11:40:55 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-31 11:42:10 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-31 11:46:51 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-31 11:52:49 +0100 | d34db33f | (~d34db33f@user/d34db33f) d34db33f |
| 2025-12-31 11:53:36 +0100 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 2025-12-31 11:54:46 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-31 11:57:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-31 12:06:12 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-31 12:06:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:09:58 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 246 seconds) |
| 2025-12-31 12:10:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 12:11:56 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-12-31 12:21:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:26:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-31 12:36:02 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-31 12:36:30 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 244 seconds) |
| 2025-12-31 12:37:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:37:58 +0100 | aman | (~aman@user/aman) (Ping timeout: 246 seconds) |
| 2025-12-31 12:41:03 +0100 | <yin> | is it ok to have class constraints in newtypes? |
| 2025-12-31 12:41:07 +0100 | aetepe | (~aetepe@188.119.22.20) (Ping timeout: 246 seconds) |
| 2025-12-31 12:42:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 12:42:12 +0100 | <yin> | newtype A a = A (C a => ...) |
| 2025-12-31 12:52:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-12-31 12:52:22 +0100 | aetepe | (~aetepe@188.119.22.20) aetepe |
| 2025-12-31 12:52:24 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-31 12:54:52 +0100 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-12-31 12:55:07 +0100 | <yin> | ah, i see nominal vs representational |
| 2025-12-31 12:55:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:56:35 +0100 | aetepe | (~aetepe@188.119.22.20) (Ping timeout: 240 seconds) |
| 2025-12-31 12:57:19 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 240 seconds) |
| 2025-12-31 12:59:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 13:07:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 13:13:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-31 13:25:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 13:29:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 13:33:18 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-31 13:35:26 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-31 13:39:43 +0100 | mmohammadi9812 | (~mohammad@104.28.214.168) (Remote host closed the connection) |
| 2025-12-31 13:43:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-31 13:46:05 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2025-12-31 13:56:09 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2025-12-31 13:57:31 +0100 | stefan-__ | (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2025-12-31 14:00:51 +0100 | stefan-__ | (~m-yh2rcc@42dots.de) stefan-__ |
| 2025-12-31 14:08:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 14:13:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 14:14:37 +0100 | aetepe | (~aetepe@188.119.22.20) aetepe |
| 2025-12-31 14:26:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 14:30:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 14:34:08 +0100 | mmohammadi9812 | (~mohammad@46.236.253.51) mmohammadi9812 |
| 2025-12-31 14:41:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 14:43:51 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-12-31 14:46:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-31 14:47:11 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-31 14:47:18 +0100 | housemate | (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2025-12-31 14:47:38 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-31 14:47:48 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2025-12-31 14:48:05 +0100 | mmohammadi9812 | (~mohammad@46.236.253.51) (Remote host closed the connection) |
| 2025-12-31 14:56:59 +0100 | housemate | (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2025-12-31 14:57:22 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2025-12-31 14:59:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 15:02:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-31 15:03:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 15:03:29 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-31 15:03:52 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-31 15:04:18 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-31 15:09:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 15:14:53 +0100 | housemate | (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2025-12-31 15:15:07 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-31 15:15:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-31 15:18:58 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 2025-12-31 15:19:40 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2025-12-31 15:21:10 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-31 15:21:27 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2025-12-31 15:28:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 15:32:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 15:41:22 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-12-31 15:43:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 15:48:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-31 15:50:18 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-31 15:52:41 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-31 15:56:58 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Ping timeout: 244 seconds) |
| 2025-12-31 15:59:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 16:03:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 16:10:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 16:14:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 16:28:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 16:28:55 +0100 | aman | (~aman@user/aman) aman |
| 2025-12-31 16:30:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-31 16:31:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-31 16:31:46 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-31 16:32:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 16:40:38 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2025-12-31 16:45:14 +0100 | spew | (~spew@user/spew) (Quit: happy new year) |
| 2025-12-31 16:45:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 16:55:50 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-31 16:56:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-31 16:59:01 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2025-12-31 17:05:37 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-31 17:05:37 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-12-31 17:08:04 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-31 17:11:00 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-31 17:11:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 17:16:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-31 17:18:49 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2025-12-31 17:23:09 +0100 | aman | (~aman@user/aman) (Ping timeout: 244 seconds) |
| 2025-12-31 17:23:57 +0100 | mmohammadi9812 | (~mohammad@46.236.253.10) mmohammadi9812 |
| 2025-12-31 17:30:55 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-31 17:32:10 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-12-31 17:34:33 +0100 | haskellbridge | (~hackager@96.28.224.214) (Ping timeout: 260 seconds) |
| 2025-12-31 17:35:18 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-12-31 17:35:18 +0100 | ChanServ | +v haskellbridge |
| 2025-12-31 17:37:40 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-31 17:51:34 +0100 | aetepe | (~aetepe@188.119.22.20) (Ping timeout: 246 seconds) |
| 2025-12-31 17:51:57 +0100 | Pixi` | Pixi |
| 2025-12-31 18:01:05 +0100 | housemate | (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2025-12-31 18:01:44 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2025-12-31 18:06:30 +0100 | <Noinia> | Hmm I have some code that compiles into '<<<loop>>>' when optimziations are enabled, but seems to compile fine with -O0. Any suggestions for debugging further where the exact issue is? |
| 2025-12-31 18:10:08 +0100 | <c_wraith> | that only sounds possible when a RULE is firing and the replacement it's performing is broken |
| 2025-12-31 18:12:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 18:16:08 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-31 18:17:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 18:17:32 +0100 | <Noinia> | hmm, I don't have any RULES defined in my project |
| 2025-12-31 18:18:12 +0100 | <Noinia> | I'm wondering if this is a GHC bug; but I'm also somewhat stuck minimizing my code further |
| 2025-12-31 18:18:50 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-31 18:19:05 +0100 | aetepe | (~aetepe@188.119.22.20) aetepe |
| 2025-12-31 18:23:25 +0100 | aetepe | (~aetepe@188.119.22.20) (Ping timeout: 246 seconds) |
| 2025-12-31 18:24:37 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-31 18:28:36 +0100 | mmohammadi9812 | (~mohammad@46.236.253.10) (Remote host closed the connection) |
| 2025-12-31 18:30:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 18:30:38 +0100 | <gentauro> | sm: sometimes I wished there was only one "good" tool (like `dune` for OCaml) and everybody used that. It would make things so much easier. |
| 2025-12-31 18:30:54 +0100 | <gentauro> | However, I get the point of "competition" to ensure neither tool just lay back. |
| 2025-12-31 18:31:31 +0100 | hellwolf | (~user@6e47-00f8-af7e-fb42-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-12-31 18:34:34 +0100 | aetepe | (~aetepe@188.119.22.20) aetepe |
| 2025-12-31 18:34:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 18:36:56 +0100 | <geekosaur> | it's also fairly limiting, though. in corporate development in particular, the stack model is likely better because it enforces preferred/known compatible versions of things |
| 2025-12-31 18:38:49 +0100 | aetepe | (~aetepe@188.119.22.20) (Ping timeout: 246 seconds) |
| 2025-12-31 18:40:09 +0100 | <geekosaur> | (that said, if creating a "private hackage" were easier, cabal would probably work fairly well in that space as well) |
| 2025-12-31 18:40:47 +0100 | <geekosaur> | but I suspect building one tool that supported both models well would produce something too complicated for most people |
| 2025-12-31 18:45:07 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-12-31 18:45:21 +0100 | lbseale_ | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-31 18:46:43 +0100 | ft_ | (~ft@p508dbaa4.dip0.t-ipconnect.de) ft |
| 2025-12-31 18:47:14 +0100 | Tuplanolla1 | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-31 18:47:35 +0100 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2025-12-31 18:47:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 18:50:39 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 240 seconds) |
| 2025-12-31 18:50:39 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 240 seconds) |
| 2025-12-31 18:50:39 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-31 18:50:39 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2025-12-31 18:50:39 +0100 | ft | (~ft@p508dbaa4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-12-31 18:50:39 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 240 seconds) |
| 2025-12-31 18:50:39 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 240 seconds) |
| 2025-12-31 18:50:39 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2025-12-31 18:50:39 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2025-12-31 18:50:39 +0100 | tremon | (~tremon@83.80.159.219) (Ping timeout: 240 seconds) |
| 2025-12-31 18:50:39 +0100 | ft_ | ft |
| 2025-12-31 18:50:52 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-31 18:52:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-31 18:53:48 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-12-31 18:56:17 +0100 | Square3 | (~Square@user/square) Square |
| 2025-12-31 18:57:50 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 246 seconds) |
| 2025-12-31 18:58:34 +0100 | CloneOfNone_ | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2025-12-31 18:58:36 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2025-12-31 18:59:17 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-12-31 18:59:33 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-31 19:00:36 +0100 | sajith_ | (~sajith@user/sajith) sajith |
| 2025-12-31 19:00:37 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 246 seconds) |
| 2025-12-31 19:00:43 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 246 seconds) |
| 2025-12-31 19:00:43 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-31 19:00:43 +0100 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-12-31 19:00:43 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 246 seconds) |
| 2025-12-31 19:00:43 +0100 | malte | (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 2025-12-31 19:00:44 +0100 | Vq | (~vq@user/vq) (Ping timeout: 246 seconds) |
| 2025-12-31 19:00:44 +0100 | sajith | (~sajith@user/sajith) (Ping timeout: 246 seconds) |
| 2025-12-31 19:01:05 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 2025-12-31 19:01:05 +0100 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) (Ping timeout: 246 seconds) |
| 2025-12-31 19:01:07 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2025-12-31 19:01:13 +0100 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) (Ping timeout: 246 seconds) |
| 2025-12-31 19:01:32 +0100 | Vq | (~vq@user/vq) Vq |
| 2025-12-31 19:02:10 +0100 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) distopico |
| 2025-12-31 19:02:38 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-31 19:04:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 19:08:07 +0100 | <haskellbridge> | <sm> gentauro of course, we'd probably all like to have [had] a simpler haskell tools story |
| 2025-12-31 19:08:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 19:10:49 +0100 | malte | (~malte@mal.tc) malte |
| 2025-12-31 19:10:53 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-12-31 19:12:21 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-12-31 19:13:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 19:14:16 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-31 19:15:37 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-31 19:18:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 19:20:44 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-12-31 19:30:25 +0100 | user363627 | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-31 19:30:41 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-12-31 19:30:56 +0100 | user363627 | weary-traveler |
| 2025-12-31 19:42:17 +0100 | mmohammadi9812 | (~mohammad@46.236.253.10) mmohammadi9812 |
| 2025-12-31 19:47:30 +0100 | housemate | (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2025-12-31 19:47:48 +0100 | housemate | (~housemate@202.7.247.155) housemate |
| 2025-12-31 20:01:16 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-31 20:10:48 +0100 | Psy-Q | (~psy-q@user/psy-q) (Exploring beyond the veil.) |
| 2025-12-31 20:14:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 20:21:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-31 20:21:26 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2025-12-31 20:22:32 +0100 | aetepe | (~aetepe@212.125.9.97) aetepe |
| 2025-12-31 20:23:46 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-31 20:24:45 +0100 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2025-12-31 20:25:00 +0100 | oats | (~oats@user/oats) oats |
| 2025-12-31 20:25:27 +0100 | <monochrom> | In principle, two programs for two models is equivalent to one program with two sets of options. The latter cannot be said to be simpler. |
| 2025-12-31 20:26:56 +0100 | <EvanR> | do two things and switch between them with options and do it well |
| 2025-12-31 20:27:30 +0100 | <EvanR> | is not the unix philosophy as stated but seems to defacto be the philosophy |
| 2025-12-31 20:31:57 +0100 | <monochrom> | Maybe it's the Multics philosophy. >:) |
| 2025-12-31 20:34:49 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-31 20:35:09 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-31 20:35:24 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-12-31 20:36:28 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-31 20:39:45 +0100 | Everything | (~Everythin@46.96.10.169) Everything |
| 2025-12-31 20:55:29 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-31 21:07:10 +0100 | mmohammadi9812 | (~mohammad@46.236.253.10) (Remote host closed the connection) |
| 2025-12-31 21:07:41 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) (Ping timeout: 272 seconds) |
| 2025-12-31 21:15:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 21:20:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 21:24:31 +0100 | Pozyomka_ | (~pyon@user/pyon) (Ping timeout: 240 seconds) |
| 2025-12-31 21:33:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 21:37:16 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-31 21:37:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 21:49:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 21:50:37 +0100 | aetepe | (~aetepe@212.125.9.97) (Ping timeout: 250 seconds) |
| 2025-12-31 21:54:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 21:54:18 +0100 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 2025-12-31 22:06:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 22:08:08 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-31 22:11:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 22:12:25 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Ping timeout: 245 seconds) |
| 2025-12-31 22:16:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 22:22:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 22:24:57 +0100 | <yin> | the probem with the "one thing" philosophy is that "thing" is not well-defined |
| 2025-12-31 22:33:21 +0100 | <int-e> | that's fine because you can still have a tool for each thing |
| 2025-12-31 22:33:33 +0100 | yotic | (~yotic@user/yotic) yotic |
| 2025-12-31 22:33:39 +0100 | <int-e> | or two, or many |
| 2025-12-31 22:53:16 +0100 | wickedjargon | (~user@64.114.24.74) (Ping timeout: 246 seconds) |
| 2025-12-31 23:12:01 +0100 | <EvanR> | I think it was either albuquerque or atlanta, a billboard for "divorce lawyer and movers -- do one thing and do it well" |
| 2025-12-31 23:13:22 +0100 | <EvanR> | another one locally which should have had that billboard: this place "pool tables and pools" |
| 2025-12-31 23:17:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 23:18:29 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2025-12-31 23:21:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 23:23:45 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-31 23:23:48 +0100 | <geekosaur> | now I'm reminded of a TV ad which had a pizza delivery car roll up, then the pizza sign rotated into (IIRC) a real estate agent sign |
| 2025-12-31 23:28:33 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-31 23:32:25 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-31 23:35:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 23:40:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 23:53:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |