| 2025-11-22 00:02:50 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 245 seconds) |
| 2025-11-22 00:04:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 00:07:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-11-22 00:10:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-22 00:13:22 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-22 00:15:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 00:18:00 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:2881:6633:48c6:4881) (Remote host closed the connection) |
| 2025-11-22 00:18:23 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:c84e:ee96:e470:3884) |
| 2025-11-22 00:20:33 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-22 00:21:43 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-22 00:22:05 +0100 | trickard | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 00:22:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 00:22:18 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-22 00:28:37 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-22 00:29:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-22 00:32:48 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 00:33:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 00:34:34 +0100 | marlino | (~marlino@96-8-193-104.block0.gvtc.com) |
| 2025-11-22 00:35:22 +0100 | trickard_ | trickard |
| 2025-11-22 00:36:19 +0100 | haritzondo | (~hrtz@140.228.70.141) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-22 00:37:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 00:38:31 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:c84e:ee96:e470:3884) (Remote host closed the connection) |
| 2025-11-22 00:38:48 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:2d8e:e617:f271:23ab) |
| 2025-11-22 00:38:58 +0100 | trickard | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 00:39:12 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-22 00:43:29 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-22 00:43:51 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-22 00:45:46 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-22 00:48:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 00:51:15 +0100 | marlino | (~marlino@96-8-193-104.block0.gvtc.com) (Quit: WeeChat 4.7.1) |
| 2025-11-22 00:52:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 00:56:52 +0100 | travisb | tabemann |
| 2025-11-22 00:58:10 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-11-22 00:58:21 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-22 00:58:33 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:2d8e:e617:f271:23ab) (Remote host closed the connection) |
| 2025-11-22 00:58:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 00:59:09 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:6397:cee2:c5e0:974) |
| 2025-11-22 00:59:52 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-11-22 00:59:52 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-22 01:03:40 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::8bad) sp1ff |
| 2025-11-22 01:03:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 01:05:59 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-11-22 01:06:00 +0100 | Googulator | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 01:06:06 +0100 | Googulator47 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 01:08:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 01:11:36 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 01:18:35 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:6397:cee2:c5e0:974) (Remote host closed the connection) |
| 2025-11-22 01:19:11 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:d18a:fc86:fb14:80c4) |
| 2025-11-22 01:19:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 01:24:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-22 01:25:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 01:35:57 +0100 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.6.3) |
| 2025-11-22 01:36:01 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 01:36:14 +0100 | Googulator47 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 01:37:17 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-22 01:37:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 01:38:37 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:d18a:fc86:fb14:80c4) (Remote host closed the connection) |
| 2025-11-22 01:39:01 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:3c5b:60ca:8ff2:89a) |
| 2025-11-22 01:42:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 01:50:26 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-11-22 01:51:31 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-22 01:52:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 01:57:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 01:58:42 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:3c5b:60ca:8ff2:89a) (Remote host closed the connection) |
| 2025-11-22 01:58:59 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:50dc:ff54:b65:89be) |
| 2025-11-22 02:05:54 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-11-22 02:05:55 +0100 | omidmash9 | (~omidmash@user/omidmash) omidmash |
| 2025-11-22 02:06:13 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-11-22 02:08:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 02:08:23 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2025-11-22 02:08:23 +0100 | omidmash9 | omidmash |
| 2025-11-22 02:12:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-22 02:18:44 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:50dc:ff54:b65:89be) (Remote host closed the connection) |
| 2025-11-22 02:18:59 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:cad2:5dba:c1cf:899) |
| 2025-11-22 02:23:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 02:28:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 02:29:49 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-11-22 02:30:04 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 02:39:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 02:39:17 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:cad2:5dba:c1cf:899) (Remote host closed the connection) |
| 2025-11-22 02:39:52 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:da31:b526:95c:5a4a) |
| 2025-11-22 02:42:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-22 02:43:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 02:44:55 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-22 02:46:12 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-11-22 02:54:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 02:55:47 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-22 02:56:09 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-22 02:58:45 +0100 | acidjnk | (~acidjnk@p200300d6e717197425fbe5e3285ef130.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-11-22 02:59:19 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:da31:b526:95c:5a4a) (Remote host closed the connection) |
| 2025-11-22 02:59:55 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:3b3f:4318:37b5:e2ae) |
| 2025-11-22 03:01:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 03:04:44 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-22 03:12:20 +0100 | trickard_ | trickard |
| 2025-11-22 03:12:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 03:16:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 03:23:30 +0100 | trickard | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 03:23:44 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-22 03:27:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 03:30:37 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 03:32:21 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:3b3f:4318:37b5:e2ae) (Remote host closed the connection) |
| 2025-11-22 03:32:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 03:32:40 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:412b:3f2f:9bee:7b64) |
| 2025-11-22 03:34:07 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-22 03:36:06 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2025-11-22 03:43:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 03:47:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 03:48:00 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-22 03:58:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 04:03:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 04:06:10 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 04:14:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 04:17:05 +0100 | vardhan | (~vardhan@122.172.85.166) |
| 2025-11-22 04:18:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 04:18:56 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-22 04:20:27 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2025-11-22 04:21:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-22 04:22:08 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-22 04:24:25 +0100 | bggd | (~bgg@2a01:e0a:819:1510:ad2b:2815:ce76:fa73) |
| 2025-11-22 04:26:58 +0100 | ubert1 | (~Thunderbi@77.119.163.162.wireless.dyn.drei.com) ubert |
| 2025-11-22 04:27:19 +0100 | vardhan | (~vardhan@122.172.85.166) (Ping timeout: 246 seconds) |
| 2025-11-22 04:29:09 +0100 | Comstar | (~Comstar@user/Comstar) Comstar |
| 2025-11-22 04:29:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 04:29:43 +0100 | ubert | (~Thunderbi@178.165.175.248.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2025-11-22 04:29:43 +0100 | ubert1 | ubert |
| 2025-11-22 04:31:34 +0100 | <jreicher> | Does anyone have a reference for the "Tag" that kuribas was talking about earlier? |
| 2025-11-22 04:31:57 +0100 | <jreicher> | Did they mean Data.Tagged? |
| 2025-11-22 04:33:00 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 265 seconds) |
| 2025-11-22 04:33:32 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-22 04:34:49 +0100 | <int-e> | I don't think it was anything concrete. It would conceptually be a GADT like data Tag t where Tag_Int :: Tag Int | Tag_List :: Tag t -> Tag [t] | ... |
| 2025-11-22 04:34:57 +0100 | <Leary> | jreicher: I imagine they meant something equivalent to `Type.Reflection.TypeRep`. |
| 2025-11-22 04:35:50 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 04:35:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 04:36:12 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 04:37:13 +0100 | <monochrom> | <troll>It just means "day" in German >:) </troll> |
| 2025-11-22 04:38:08 +0100 | <jreicher> | :D |
| 2025-11-22 04:39:23 +0100 | <haskellbridge> | <Liamzee> are there any reasons, like perofrmance, not to replace a long when sequence with traverse_ (uncurry when)? |
| 2025-11-22 04:39:41 +0100 | <haskellbridge> | <Liamzee> i guess the biggest issue is freaking out newbies |
| 2025-11-22 04:41:17 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-22 04:41:56 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:412b:3f2f:9bee:7b64) (Remote host closed the connection) |
| 2025-11-22 04:42:32 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:f48e:62ec:f758:b0eb) |
| 2025-11-22 04:44:36 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 265 seconds) |
| 2025-11-22 04:44:45 +0100 | <monochrom> | Actually I didn't think of that. Cool trick. :) |
| 2025-11-22 04:44:52 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 04:45:32 +0100 | trickard_ | trickard |
| 2025-11-22 04:46:16 +0100 | <monochrom> | Necessity is the mother of invention. I guess I would think of that if I had 10 lines of "when"s. I had came up with clever uses of foldr and foldM in the past to replace 10 lines of something. |
| 2025-11-22 04:46:49 +0100 | <monochrom> | or some other repetativeness. |
| 2025-11-22 04:47:12 +0100 | <monochrom> | Ugh English. s/came/come/ |
| 2025-11-22 04:47:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 04:48:35 +0100 | <monochrom> | I am not sympathetic with young people overreacting and underthinking. |
| 2025-11-22 04:50:27 +0100 | <haskellbridge> | <Liamzee> https://gitlab.haskell.org/Liamzy/haddocks-view/-/blob/master/utils/haddock/haddock-api/src/Haddoc… |
| 2025-11-22 04:50:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 04:51:43 +0100 | <haskellbridge> | <Liamzee> i mean this: https://gitlab.haskell.org/ghc/ghc/-/blob/master/utils/haddock/haddock-api/src/Haddock.hs?ref_type… |
| 2025-11-22 04:52:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 04:53:34 +0100 | <monochrom> | Haha that's epic. |
| 2025-11-22 04:54:31 +0100 | <Leary> | I don't see what you gain from that refactor though; a string of `, (<cond>, <action>)` is no better than a string of `when <cond> <action>`. The latter is clear, local, and essentially the same length. |
| 2025-11-22 04:54:51 +0100 | <monochrom> | It probably evolved from just 1 when-clause a long time ago to today's dozens by slowly accreting more when's over the years at the rate of 1 addition per year so at no point anyone would think about it. |
| 2025-11-22 05:02:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 05:03:54 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-11-22 05:05:47 +0100 | <haskellbridge> | <Liamzee> Leary: it makes the string explicit instead of implicit, although i worry about the tuple |
| 2025-11-22 05:06:28 +0100 | <monochrom> | Yeah the tuples would be annoying too. |
| 2025-11-22 05:06:47 +0100 | <haskellbridge> | <Liamzee> also, in theory, the when chain is more portable and reusable as a list |
| 2025-11-22 05:06:53 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-11-22 05:07:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 05:08:21 +0100 | <haskellbridge> | <Liamzee> for instance, if you have the set of conditions constant, you can have the set of flags constant, then generate the response by zipping it with a list of actions |
| 2025-11-22 05:12:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-22 05:14:29 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:f48e:62ec:f758:b0eb) (Remote host closed the connection) |
| 2025-11-22 05:15:04 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:a6ea:b4a1:b325:a58f) |
| 2025-11-22 05:18:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 05:19:47 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 05:22:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 05:30:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-22 05:33:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 05:34:31 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:a6ea:b4a1:b325:a58f) (Remote host closed the connection) |
| 2025-11-22 05:34:39 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 05:35:06 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:eb5d:86e5:8fa9:c8d4) |
| 2025-11-22 05:35:42 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 05:35:47 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 05:38:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 05:42:16 +0100 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-22 05:44:33 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-11-22 05:46:08 +0100 | trickard | (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 05:46:21 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 05:47:22 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-11-22 05:47:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-22 05:48:53 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 05:49:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 05:50:03 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-22 05:53:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 05:53:21 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-11-22 05:54:06 +0100 | <Comstar> | what's the bridge to |
| 2025-11-22 05:54:26 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-11-22 05:54:33 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:eb5d:86e5:8fa9:c8d4) (Remote host closed the connection) |
| 2025-11-22 05:54:48 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8683:4951:5b82:1f35) |
| 2025-11-22 05:56:11 +0100 | <Comstar> | the whois has a bit.ly with all the connections that's cool. Ty geekosaur for the bridge and documentation! |
| 2025-11-22 06:00:12 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-22 06:04:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 06:05:47 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 06:06:13 +0100 | Googulator43 | (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-22 06:08:17 +0100 | <fgarcia> | Comstar: i think it is #haskell-space on matrix |
| 2025-11-22 06:08:35 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-22 06:09:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 06:11:15 +0100 | <Comstar> | oh? the bitly lists it as being #haskell-irc:matrix.org <-> #haskell, fgarcia |
| 2025-11-22 06:11:23 +0100 | <Comstar> | maybe it's outdated |
| 2025-11-22 06:12:14 +0100 | <fgarcia> | Comstar: i read it from here https://wiki.haskell.org/IRC_channel though things may have changed |
| 2025-11-22 06:14:35 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8683:4951:5b82:1f35) (Remote host closed the connection) |
| 2025-11-22 06:19:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 06:22:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-22 06:22:44 +0100 | Comstar | (~Comstar@user/Comstar) (Ping timeout: 244 seconds) |
| 2025-11-22 06:24:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 06:31:36 +0100 | vardhan | (~vardhan@122.172.85.166) |
| 2025-11-22 06:35:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 06:35:36 +0100 | Googulator77 | (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-22 06:35:49 +0100 | Googulator43 | (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 06:40:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-22 06:50:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 06:52:39 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-11-22 06:55:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-22 06:55:22 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 2025-11-22 06:58:36 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-11-22 06:59:49 +0100 | EvanR_ | EvanR |
| 2025-11-22 07:03:44 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 07:03:57 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 07:06:01 +0100 | inline__ | (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) Inline |
| 2025-11-22 07:06:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 07:07:39 +0100 | Inline | (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) (Ping timeout: 252 seconds) |
| 2025-11-22 07:12:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 07:18:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 07:18:09 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-11-22 07:18:25 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 07:20:28 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-22 07:22:26 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-22 07:22:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 07:23:39 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-22 07:25:27 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-22 07:30:12 +0100 | falafel | (~falafel@2603:8000:ca00:83fb:1db5:6d25:28c0:7c1c) falafel |
| 2025-11-22 07:33:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 07:37:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 07:48:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 07:50:13 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 2025-11-22 07:52:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 07:55:22 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-11-22 08:01:52 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-22 08:04:06 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-22 08:04:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 08:05:50 +0100 | Googulator70 | (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-22 08:06:13 +0100 | Googulator77 | (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 08:08:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 08:13:32 +0100 | trickard_ | trickard |
| 2025-11-22 08:19:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 08:19:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 08:21:48 +0100 | Comstar | (~Comstar@user/Comstar) Comstar |
| 2025-11-22 08:23:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-11-22 08:23:00 +0100 | Comstar | (~Comstar@user/Comstar) (Client Quit) |
| 2025-11-22 08:23:32 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-22 08:24:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 08:25:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-22 08:27:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-22 08:30:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 08:35:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 08:46:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 08:48:05 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) |
| 2025-11-22 08:51:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 09:02:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 09:02:40 +0100 | jreicher | (~user@user/jreicher) (Remote host closed the connection) |
| 2025-11-22 09:02:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-22 09:04:02 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-22 09:05:46 +0100 | Googulator57 | (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-22 09:05:46 +0100 | Googulator70 | (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 09:07:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 09:17:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 09:21:12 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 09:22:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 09:23:11 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-22 09:28:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-22 09:29:08 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 09:33:23 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-11-22 09:33:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 09:35:07 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-22 09:36:25 +0100 | inline__ | Inline |
| 2025-11-22 09:38:07 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-22 09:38:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 09:46:10 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-22 09:48:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 09:53:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 09:58:52 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-22 10:04:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 10:09:49 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 2025-11-22 10:11:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-22 10:18:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 10:21:10 +0100 | bggd | (~bgg@2a01:e0a:819:1510:ad2b:2815:ce76:fa73) (Remote host closed the connection) |
| 2025-11-22 10:23:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 10:34:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 10:39:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-22 10:45:00 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-22 10:48:57 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 10:49:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 10:52:33 +0100 | acidjnk | (~acidjnk@p200300d6e71719523cbe3f8115602cb8.dip0.t-ipconnect.de) acidjnk |
| 2025-11-22 10:52:34 +0100 | <tomsmeding> | I have two ForeignPtrs pointing to resources on some external device; the finaliser for ForeignPtr 1 needs ForeignPtr 2 in order to properly free its resource. (FP 2 is some kind of "device context", and FP 1 wraps an "object" on that device.) This means that the finaliser for FP 2 may only start running after the finaliser for FP 1 has fully completed. GHC does not honour ordering dependencies |
| 2025-11-22 10:52:34 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-22 10:52:36 +0100 | <tomsmeding> | between finalisers of ForeignPtrs, and this results in crashes in practice for us. Is there some standard pattern I can apply here to still make my code work? |
| 2025-11-22 10:54:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-22 10:55:40 +0100 | <tomsmeding> | s/may only start/must only be allowed to start/ |
| 2025-11-22 10:55:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-22 10:56:10 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-11-22 11:02:08 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-22 11:05:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 11:07:43 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) |
| 2025-11-22 11:08:22 +0100 | <Leary> | tomsmeding: <https://hackage.haskell.org/package/base-4.21.0.0/docs/Foreign-ForeignPtr.html#v:touchForeignPtr>, but based on the docs you might be SOL. |
| 2025-11-22 11:08:32 +0100 | trickard | (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 11:08:45 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 11:09:01 +0100 | <tomsmeding> | Leary: That documentation is why I came here. :P |
| 2025-11-22 11:09:31 +0100 | <tomsmeding> | I do love the unexpected deadlock situation that the docs describe |
| 2025-11-22 11:09:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-22 11:10:38 +0100 | <Leary> | Well, add more `forkIO`, I guess. |
| 2025-11-22 11:11:16 +0100 | <tomsmeding> | Yes, I'm not scared of a couple more forkIO, but it's a brilliant footgun |
| 2025-11-22 11:12:34 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-22 11:15:02 +0100 | <jreicher> | ForkIO Asks a Question... |
| 2025-11-22 11:19:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 11:24:02 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-22 11:24:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 11:27:46 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) |
| 2025-11-22 11:30:41 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1c88:6424:1e2a:539d) (Quit: WeeChat 4.1.1) |
| 2025-11-22 11:34:15 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 11:34:29 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 11:35:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 11:35:59 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-22 11:39:54 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-22 11:42:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 11:53:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 11:58:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-22 12:08:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 12:13:19 +0100 | sp1ff` | (~user@2601:1c2:4c00:6820::e122) |
| 2025-11-22 12:13:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 12:14:26 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-11-22 12:14:29 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::8bad) (Ping timeout: 260 seconds) |
| 2025-11-22 12:14:36 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 12:20:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 12:21:35 +0100 | annamalai | (~annamalai@157.32.221.227) (Ping timeout: 245 seconds) |
| 2025-11-22 12:25:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 12:32:25 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-11-22 12:35:50 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-22 12:36:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 12:36:29 +0100 | <probie> | I think a ref count is a good idea. |
| 2025-11-22 12:37:17 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-22 12:38:59 +0100 | <probie> | f = atomicModifyIORef ref (\x -> (x-1, x <= 1)) >>= (`when` runFP2Cleanup) |
| 2025-11-22 12:39:34 +0100 | <probie> | initialise the ref to 2, add `f` as the last instruction to the finaliser for FP1, and have the finaliser for FP2 just be `f` |
| 2025-11-22 12:40:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-22 12:51:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 12:54:43 +0100 | <tomsmeding> | probie: that's also a cute solution |
| 2025-11-22 12:55:52 +0100 | <tomsmeding> | in this case, because of the semantics of the device (it's a GPU), cleaning up FP2 _before_ FP1 implicitly also cleans up FP1, so I implemented some synchronisation so that if the finalizer of FP2 happens to be run first, FP1's finalizer just does nothing |
| 2025-11-22 12:56:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-22 12:56:45 +0100 | <tomsmeding> | (what is actually concretely disallowed is explicitly cleaning up FP1 after FP2, or running the two in parallel) |
| 2025-11-22 12:58:54 +0100 | trickard_ | trickard |
| 2025-11-22 13:00:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-22 13:06:32 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-22 13:07:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 13:11:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 13:17:35 +0100 | ubert1 | (~Thunderbi@91.141.74.115.wireless.dyn.drei.com) ubert |
| 2025-11-22 13:19:15 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-22 13:19:38 +0100 | Everything | (~Everythin@88.155.11.254) Everything |
| 2025-11-22 13:19:40 +0100 | ubert | (~Thunderbi@77.119.163.162.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2025-11-22 13:19:41 +0100 | ubert1 | ubert |
| 2025-11-22 13:19:59 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 13:21:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 13:24:12 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-22 13:26:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 13:30:04 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-22 13:37:01 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-22 13:37:10 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 13:37:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 13:39:15 +0100 | trickard | (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 13:39:28 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 13:42:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 13:42:13 +0100 | Googulator57 | (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 13:42:36 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 13:45:13 +0100 | AlexZenon | (~alzenon@94.233.240.123) (Quit: ;-) |
| 2025-11-22 13:46:06 +0100 | AlexNoo | (~AlexNoo@94.233.240.123) (Quit: Leaving) |
| 2025-11-22 13:46:32 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-22 13:48:02 +0100 | mniip_ | mniip |
| 2025-11-22 13:52:34 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-22 13:52:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 13:52:57 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 13:57:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 14:08:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 14:12:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 14:12:50 +0100 | falafel | (~falafel@2603:8000:ca00:83fb:1db5:6d25:28c0:7c1c) (Ping timeout: 256 seconds) |
| 2025-11-22 14:13:38 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-22 14:20:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-22 14:20:33 +0100 | AlexNoo | (~AlexNoo@94.233.240.123) |
| 2025-11-22 14:21:46 +0100 | AlexZenon | (~alzenon@94.233.240.123) |
| 2025-11-22 14:23:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 14:24:21 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 14:29:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 14:41:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 14:45:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 14:46:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-22 14:48:59 +0100 | Miroboru | (~myrvoll@84.215.250.50) (Quit: Lost terminal) |
| 2025-11-22 14:51:21 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 14:55:08 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) |
| 2025-11-22 14:56:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 15:01:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 15:04:25 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-22 15:05:08 +0100 | Guest49 | (~Guest27@203.213.69.119) |
| 2025-11-22 15:05:59 +0100 | Guest49 | (~Guest27@203.213.69.119) (Client Quit) |
| 2025-11-22 15:08:46 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-22 15:11:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 15:15:52 +0100 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-11-22 15:16:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 15:18:53 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-11-22 15:19:42 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-11-22 15:20:08 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-11-22 15:20:36 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 15:20:49 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 15:23:20 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-11-22 15:23:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 15:26:01 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-22 15:28:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 15:29:59 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 15:30:12 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 15:38:42 +0100 | Everything | (~Everythin@88.155.11.254) (Quit: leaving) |
| 2025-11-22 15:39:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 15:40:22 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-22 15:44:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-22 15:53:52 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-22 15:54:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 15:54:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 15:54:57 +0100 | sadeq_iran | (~sadeq_ira@5.239.173.126) |
| 2025-11-22 15:55:45 +0100 | sadeq_iran | (~sadeq_ira@5.239.173.126) (Client Quit) |
| 2025-11-22 15:56:15 +0100 | sadeq_iran | (~sadeq_ira@5.239.173.126) |
| 2025-11-22 15:57:38 +0100 | sadeq_iran | (~sadeq_ira@5.239.173.126) (Client Quit) |
| 2025-11-22 15:59:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 16:02:55 +0100 | sadeq_ir | (~sadeq_ir@5.239.173.126) |
| 2025-11-22 16:03:22 +0100 | sadeq_ir | (~sadeq_ir@5.239.173.126) (Read error: Connection reset by peer) |
| 2025-11-22 16:06:08 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-22 16:10:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 16:12:37 +0100 | olivial_ | (~benjaminl@73.240.192.240) (Ping timeout: 264 seconds) |
| 2025-11-22 16:14:17 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-11-22 16:17:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 16:20:01 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 16:20:15 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 16:24:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 16:28:46 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-22 16:29:11 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 16:29:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 16:34:13 +0100 | mmaruseacph2 | (~mihai@mihai.page) (Ping timeout: 264 seconds) |
| 2025-11-22 16:35:43 +0100 | mmaruseacph2 | (~mihai@mihai.page) mmaruseacph2 |
| 2025-11-22 16:37:06 +0100 | <geekosaur> | fgarcia, Comstar: #haskell-space is a space (group of rooms). #fashell-irc is the actual room |
| 2025-11-22 16:37:26 +0100 | <geekosaur> | #haskell-irc |
| 2025-11-22 16:37:33 +0100 | <geekosaur> | still working on first coffee… |
| 2025-11-22 16:40:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 16:43:00 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-22 16:44:10 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) (Quit: PegeLinux) |
| 2025-11-22 16:44:54 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) kimiamania |
| 2025-11-22 16:47:15 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-22 16:48:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-22 16:49:31 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) (Client Quit) |
| 2025-11-22 16:50:39 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) kimiamania |
| 2025-11-22 16:51:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-22 16:51:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-22 16:59:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 17:03:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 17:04:56 +0100 | vardhan | (~vardhan@122.172.85.166) (Ping timeout: 240 seconds) |
| 2025-11-22 17:05:46 +0100 | Googulator44 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 17:06:22 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 17:11:55 +0100 | tromp | (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) |
| 2025-11-22 17:12:54 +0100 | <EvanR> | fashell sounds like it could be a thing |
| 2025-11-22 17:14:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 17:15:08 +0100 | <haskellbridge> | <Morj> Fashell sounds like the twitter users would call a shell made by someone they don't like |
| 2025-11-22 17:19:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-22 17:23:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 17:25:06 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-22 17:30:07 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-22 17:30:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 17:30:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-11-22 17:31:27 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-11-22 17:41:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 17:47:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 17:49:53 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) mreh |
| 2025-11-22 17:51:27 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-22 17:53:44 +0100 | <mreh> | it's been a good PR week for statically typed languages |
| 2025-11-22 17:56:56 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 17:59:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 18:03:46 +0100 | <glguy> | why's that? |
| 2025-11-22 18:04:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 18:04:29 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-22 18:07:14 +0100 | kayvank | (~kayvank@52-119-115-185.PUBLIC.monkeybrains.net) kayvank |
| 2025-11-22 18:13:49 +0100 | Square3 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-11-22 18:14:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 18:17:54 +0100 | <mreh> | glguy: referring to the use of unwrap() by Cloudflare which brought down half the internet |
| 2025-11-22 18:18:02 +0100 | <mreh> | (not Haskell, sorry) |
| 2025-11-22 18:18:37 +0100 | <glguy> | oh, ok. what was the link to static types there? |
| 2025-11-22 18:19:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-22 18:19:06 +0100 | <mreh> | unwrap is equivalent to fromJust I suppose |
| 2025-11-22 18:19:30 +0100 | <mreh> | I can't find a searchable log to see if there was any discussion of it |
| 2025-11-22 18:22:32 +0100 | <mreh> | I dont understand the specifics of it, but I think it was called partly to assert some variant that the type couldn't prove. Wish I had more insight. |
| 2025-11-22 18:22:52 +0100 | <EvanR> | what language is unwrap |
| 2025-11-22 18:23:01 +0100 | <gmg> | Rust? |
| 2025-11-22 18:23:09 +0100 | <EvanR> | gross |
| 2025-11-22 18:23:32 +0100 | <EvanR> | sounds like they were thinking of burritos when they named it |
| 2025-11-22 18:23:40 +0100 | <yushyin> | xD |
| 2025-11-22 18:24:07 +0100 | <mreh> | EvanR, gmg, yes Rust |
| 2025-11-22 18:26:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 18:27:03 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-22 18:27:27 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 18:31:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 18:32:48 +0100 | kayvank | (~kayvank@52-119-115-185.PUBLIC.monkeybrains.net) (Killed (NickServ (GHOST command used by kayvank-!~kayvan@52-119-115-185.PUBLIC.monkeybrains.net))) |
| 2025-11-22 18:33:02 +0100 | kayvank | (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) kayvank |
| 2025-11-22 18:34:02 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-11-22 18:34:02 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-11-22 18:34:02 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-22 18:36:23 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-22 18:42:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 18:43:23 +0100 | AlexZenon | (~alzenon@94.233.240.123) (Ping timeout: 240 seconds) |
| 2025-11-22 18:46:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 18:49:23 +0100 | AlexZenon | (~alzenon@94.233.240.123) |
| 2025-11-22 18:52:18 +0100 | <monochrom> | I think I remember now, Rust's equivalent of our Maybe type has an unwrap() meaning our fromJust. |
| 2025-11-22 18:53:09 +0100 | <monochrom> | This isn't PR for static typing (Haskell can do the same thing) unless you have dependent typing in mind. |
| 2025-11-22 18:53:43 +0100 | AlexZenon | (~alzenon@94.233.240.123) (Ping timeout: 240 seconds) |
| 2025-11-22 18:54:21 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-22 18:54:42 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-22 18:54:42 +0100 | <EvanR> | it is PR for logic |
| 2025-11-22 18:55:02 +0100 | AlexZenon | (~alzenon@94.233.240.123) |
| 2025-11-22 18:55:03 +0100 | <EvanR> | unwrap is illegal unless you have a possibly invisible proof that it's not Nothing or whatever it is in rust |
| 2025-11-22 18:55:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-22 18:55:43 +0100 | <monochrom> | I can stand with that. :) |
| 2025-11-22 18:55:45 +0100 | <EvanR> | if you managed to encode all this with dependent types it's not invisible |
| 2025-11-22 18:55:55 +0100 | <EvanR> | which may scare small children |
| 2025-11-22 18:56:55 +0100 | <EvanR> | but that does call into question the "safety" of rust doesn't it |
| 2025-11-22 18:57:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 18:58:03 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8494:f4e8:5c4a:6a4) |
| 2025-11-22 18:58:20 +0100 | <monochrom> | They never claimed safety from partial functions. They only claimed memory safety such as from dangling pointers and double-free. |
| 2025-11-22 18:59:41 +0100 | <monochrom> | "safety", "security", "OOP" are some of the most polymorphic words people use to mean whatever they don't tell you. |
| 2025-11-22 19:00:47 +0100 | <mreh> | you make good points, but most people aren't going to see it that way |
| 2025-11-22 19:01:05 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-11-22 19:01:11 +0100 | <mreh> | anyway, I just came to see if people had perspective in a language I understood better |
| 2025-11-22 19:01:23 +0100 | <monochrom> | It's why I'm pessimistic and cynical about humanity altogether. :) |
| 2025-11-22 19:02:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 19:02:28 +0100 | <mreh> | I think pushing hard for Rust to replace mature systems has rather backfired in recent weeks. Make me appreciate this community even more. |
| 2025-11-22 19:02:31 +0100 | <monochrom> | https://www.vex.net/~trebla/humour/pessimisms.html enjoy :) |
| 2025-11-22 19:02:32 +0100 | <mreh> | Makes* |
| 2025-11-22 19:03:02 +0100 | <EvanR> | the invisible proofs thing is a thing I learned in Idris that helps in C. But in rust they think they have nothing to learn from C, and I saw that I learned from everything |
| 2025-11-22 19:03:13 +0100 | <monochrom> | As in, you appreciate that we don't push hard for Haskell? :) |
| 2025-11-22 19:03:48 +0100 | <EvanR> | in fact in helps in any language that allows bogus code |
| 2025-11-22 19:03:54 +0100 | <EvanR> | including haskell |
| 2025-11-22 19:04:14 +0100 | <mreh> | monochrom: seen the "Avoid success at all costs" video from SPJ? |
| 2025-11-22 19:04:23 +0100 | <monochrom> | Actually no. |
| 2025-11-22 19:05:04 +0100 | <mreh> | I think he makes some good points about trying to make a language with mass appeal |
| 2025-11-22 19:06:04 +0100 | <EvanR> | I remember one where he shows a graph of programming language lifetimes |
| 2025-11-22 19:06:12 +0100 | <EvanR> | most die before having more than 1 user |
| 2025-11-22 19:06:27 +0100 | <EvanR> | but some get to the point of "not being allowed to die" because too much code was written in them |
| 2025-11-22 19:06:40 +0100 | <monochrom> | But I agree about being hesistant to replace mature systems. Even when it's a good idea, it needs to be well planned out with multiple backup plans. |
| 2025-11-22 19:07:17 +0100 | <mreh> | https://www.youtube.com/watch?v=re96UgMk6GQ I think it was this talk where he coined that phrase |
| 2025-11-22 19:07:32 +0100 | <EvanR> | the argument to replace C with rust usually involves how bad people are at writing C code |
| 2025-11-22 19:07:39 +0100 | <mreh> | lol |
| 2025-11-22 19:07:40 +0100 | <EvanR> | but more and more it sounds like an argument against people |
| 2025-11-22 19:07:54 +0100 | <mreh> | yeah |
| 2025-11-22 19:08:06 +0100 | <mreh> | this incident rather torpedos that argument |
| 2025-11-22 19:08:07 +0100 | <monochrom> | I agree about being against people, at least most people. |
| 2025-11-22 19:09:43 +0100 | <EvanR> | if it takes 40 years to get good at writing code, maybe that's bad. And the goal is to do something to bring kids up to speed in 10 years or 5 years. But rust doesn't seem to have that in the design |
| 2025-11-22 19:10:59 +0100 | <monochrom> | For example, Dennis Ritchie and Alan Kay are extremely smart people, so when they say unsafe unchecked languages like C and Lisp work great for them, sure. But when they say it will also work for the rest of us because "oh-so flexible, oh-so unleash your creativity" I say no, the rest of us need at least static type checking. |
| 2025-11-22 19:11:13 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 265 seconds) |
| 2025-11-22 19:11:55 +0100 | <monochrom> | Generally the problem with opinion leaders is that their opinions work great for themselves because they are so smart. Not so great for the rest of us. |
| 2025-11-22 19:12:46 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-22 19:13:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 19:13:16 +0100 | <mauke> | I know a lot of people who would take issue with "need at least static type checking" (and calling Lisp "unsafe") |
| 2025-11-22 19:13:51 +0100 | <monochrom> | I'm sure. Of course they bought Ritchie's and Kay's opinion. |
| 2025-11-22 19:14:18 +0100 | <monochrom> | Because Ritchie and Kay are opinion leaders. Everyone wants to follow opinion leaders. |
| 2025-11-22 19:15:01 +0100 | <monochrom> | You have heard "history is written by the victors". But have you also considered: Success stories are written by victors. |
| 2025-11-22 19:15:15 +0100 | <mreh> | It's quite lucrative to follow the herd |
| 2025-11-22 19:15:40 +0100 | <monochrom> | Even more sinister if you think about it. |
| 2025-11-22 19:15:43 +0100 | <glguy> | monochrom: I've heard of "survivorship bias" |
| 2025-11-22 19:15:46 +0100 | <EvanR> | history is written by the victors, except in the US south, but that's another story |
| 2025-11-22 19:15:55 +0100 | <monochrom> | haha |
| 2025-11-22 19:16:29 +0100 | <Franciman> | who is Victor who write all this stories? :P |
| 2025-11-22 19:16:48 +0100 | sadeq_ir | (~sadeq_ir@5.239.173.93) |
| 2025-11-22 19:16:54 +0100 | <glguy> | That'd be fun to get a history book with two authors having the first name Victor |
| 2025-11-22 19:17:19 +0100 | <monochrom> | haha let me search on Amazon... |
| 2025-11-22 19:17:24 +0100 | <mreh> | aren't vectors why people chose to write Rust in the first place? |
| 2025-11-22 19:17:35 +0100 | <Franciman> | lol |
| 2025-11-22 19:17:39 +0100 | sadeq_ir | (~sadeq_ir@5.239.173.93) (Remote host closed the connection) |
| 2025-11-22 19:17:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-22 19:18:17 +0100 | <monochrom> | "The Second World Wars: How the First Global Conflict Was Fought and Won" Victor Davis Hanson |
| 2025-11-22 19:18:34 +0100 | <monochrom> | literally all of: history, won, victor |
| 2025-11-22 19:18:37 +0100 | <Franciman> | lol |
| 2025-11-22 19:18:58 +0100 | <monochrom> | Oh need two Victors. OK, searching... |
| 2025-11-22 19:20:03 +0100 | <Franciman> | lolol |
| 2025-11-22 19:20:25 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-11-22 19:21:23 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-22 19:23:31 +0100 | <monochrom> | OK Rufus says it can't find one history book with two Victors. |
| 2025-11-22 19:24:06 +0100 | <monochrom> | (And me, I clicked on 10 candidate books, then gave up. Sorry!) |
| 2025-11-22 19:24:30 +0100 | <Franciman> | we had fun, thanks |
| 2025-11-22 19:24:31 +0100 | <glguy> | maybe an llm could haluciate one for you |
| 2025-11-22 19:24:52 +0100 | <int-e> | "AI shopping assistant" |
| 2025-11-22 19:25:21 +0100 | <enikar> | :D |
| 2025-11-22 19:25:46 +0100 | <int-e> | Meanwhile I'll assume that "haluciate" is proper jargon and move on. |
| 2025-11-22 19:26:20 +0100 | <glguy> | I just don't know how to spell |
| 2025-11-22 19:28:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 19:29:15 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 19:31:33 +0100 | <Franciman> | glguy: it may be a nice word to express the concept |
| 2025-11-22 19:31:42 +0100 | <Franciman> | itself produced in the same way |
| 2025-11-22 19:32:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 19:33:51 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8494:f4e8:5c4a:6a4) (Remote host closed the connection) |
| 2025-11-22 19:34:27 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:e31c:3390:6252:c091) |
| 2025-11-22 19:39:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-22 19:39:47 +0100 | <EvanR> | halciate is how stable diffusion spells it |
| 2025-11-22 19:39:52 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-22 19:40:06 +0100 | <EvanR> | which will be standard soon |
| 2025-11-22 19:43:01 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-22 19:43:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 19:48:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 19:50:35 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-22 19:51:39 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-22 19:53:53 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:e31c:3390:6252:c091) (Remote host closed the connection) |
| 2025-11-22 19:54:17 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:f664:d06e:3e47:a034) |
| 2025-11-22 19:59:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 19:59:29 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-11-22 19:59:45 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-22 20:00:50 +0100 | <darkling> | Not to be confused with halloumination, which is when you get bad dreams from eating too much cheese. |
| 2025-11-22 20:03:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 20:05:16 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-22 20:13:55 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:f664:d06e:3e47:a034) (Remote host closed the connection) |
| 2025-11-22 20:14:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 20:15:02 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:ed2f:bc1a:3b89:45df) |
| 2025-11-22 20:19:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-22 20:24:29 +0100 | collide29548 | (~collide29@user/collide2954) collide2954 |
| 2025-11-22 20:25:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-22 20:25:04 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 20:26:25 +0100 | collide2954 | (~collide29@user/collide2954) (Ping timeout: 264 seconds) |
| 2025-11-22 20:26:25 +0100 | collide29548 | collide2954 |
| 2025-11-22 20:28:16 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-22 20:28:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 20:30:56 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-22 20:31:23 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-22 20:32:28 +0100 | <haskellbridge> | <Morj> Similar to how there is "forM = flip traverse", is there an common name for "flip fix"? Can't find anything useful in hoogle |
| 2025-11-22 20:32:54 +0100 | <haskellbridge> | <Morj> I like to use it to write one-line cycles like "flip fix initial $ \i next -> ..." |
| 2025-11-22 20:34:08 +0100 | <haskellbridge> | <Morj> *\next i (the arguments should be the opposite way) |
| 2025-11-22 20:34:27 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:ed2f:bc1a:3b89:45df) (Remote host closed the connection) |
| 2025-11-22 20:35:02 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:bfa9:f0b2:ea22:761e) |
| 2025-11-22 20:35:37 +0100 | tomsmeding | usually writes a self-referential let binding for that |
| 2025-11-22 20:35:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-22 20:35:59 +0100 | <EvanR> | flip fix x y z $ \a b c d -> ... is funny but I could not subject the general public to |
| 2025-11-22 20:36:21 +0100 | <EvanR> | it makes us look like we don't have nice things |
| 2025-11-22 20:37:03 +0100 | <haskellbridge> | <Morj> Dude rust already has "loop" as an expression, why can't we |
| 2025-11-22 20:37:19 +0100 | <tomsmeding> | :t Control.Monad.forever |
| 2025-11-22 20:37:20 +0100 | <lambdabot> | Applicative f => f a -> f b |
| 2025-11-22 20:37:46 +0100 | <haskellbridge> | <Morj> A self-referential binding is also good, but places emphasis on the binding, which a lot of the times is useless |
| 2025-11-22 20:37:56 +0100 | <tomsmeding> | I can see that |
| 2025-11-22 20:38:07 +0100 | <tomsmeding> | to wit, recursive helper functions named 'go' |
| 2025-11-22 20:38:46 +0100 | <haskellbridge> | <Morj> Yeah, sometimes I have goList1, goList2, goTree etc if there are too many structures to fold |
| 2025-11-22 20:39:08 +0100 | <haskellbridge> | <Morj> Or used to have this until I learned this fix trick |
| 2025-11-22 20:39:12 +0100 | <tomsmeding> | at that point the names actually start becoming useful, IMO |
| 2025-11-22 20:39:37 +0100 | <tomsmeding> | or at least, I like seeing the point where you recurse into a different structure |
| 2025-11-22 20:39:38 +0100 | <haskellbridge> | <Morj> Mm not really, it's just "let var1 = goList1 list1" for every |
| 2025-11-22 20:39:54 +0100 | <tomsmeding> | maybe my brain is not big enough yet |
| 2025-11-22 20:40:03 +0100 | <haskellbridge> | <Morj> Haha |
| 2025-11-22 20:40:11 +0100 | <EvanR> | please give me a recursion combinator |
| 2025-11-22 20:40:15 +0100 | <haskellbridge> | <Morj> When I do this I imagine myself an imperative grug |
| 2025-11-22 20:40:23 +0100 | <tomsmeding> | ω ω |
| 2025-11-22 20:40:34 +0100 | <haskellbridge> | <Morj> Because it is just a while loop expressed with functions |
| 2025-11-22 20:40:41 +0100 | <EvanR> | which does the exact pattern I need at this moment |
| 2025-11-22 20:40:52 +0100 | <EvanR> | with a pithy name |
| 2025-11-22 20:41:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-22 20:41:06 +0100 | <EvanR> | if pithy not available a bird will do |
| 2025-11-22 20:41:17 +0100 | <tomsmeding> | I was gonna say, we need a data-aviary version of recursion-schemes |
| 2025-11-22 20:45:00 +0100 | <chromoblob> | (`fix` initial) $ \next i -> ... |
| 2025-11-22 20:46:15 +0100 | <haskellbridge> | <Morj> As if the general public wasn't frightened enough.. |
| 2025-11-22 20:46:57 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Quit: Lost terminal) |
| 2025-11-22 20:47:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 20:48:50 +0100 | <EvanR> | frighten wasn't the emotion I was thinking of |
| 2025-11-22 20:49:25 +0100 | <EvanR> | and the general public I was thinking of was haskell programmers not the mailman |
| 2025-11-22 20:49:32 +0100 | <chromoblob> | i'm more frightened by flip f b a, it feels like a redirected thread in my head, like __s--- |
| 2025-11-22 20:50:32 +0100 | <EvanR> | a single flip is good for party tricks |
| 2025-11-22 20:50:33 +0100 | <chromoblob> | i guess i don't accept "flip" as a standard function. who and when would want to reorder arguments |
| 2025-11-22 20:51:02 +0100 | <EvanR> | sometimes the order of arguments doesn't have 1 best choice |
| 2025-11-22 20:51:13 +0100 | <EvanR> | so you can't blame the person who defined it |
| 2025-11-22 20:51:16 +0100 | <chromoblob> | then have two names for two orders |
| 2025-11-22 20:51:17 +0100 | <haskellbridge> | <Morj> I agree with you, that's why I was asking if this pattern is known and has a better named combinator :-) |
| 2025-11-22 20:51:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 20:51:53 +0100 | <chromoblob> | or use points: (\a b -> (...) b a) ... |
| 2025-11-22 20:52:01 +0100 | <EvanR> | yeah |
| 2025-11-22 20:52:05 +0100 | <EvanR> | and you can define it like this |
| 2025-11-22 20:52:07 +0100 | <EvanR> | g = flip f |
| 2025-11-22 20:52:11 +0100 | <EvanR> | \o/ |
| 2025-11-22 20:52:26 +0100 | <EvanR> | @src forM |
| 2025-11-22 20:52:26 +0100 | <lambdabot> | forM = flip mapM |
| 2025-11-22 20:52:26 +0100 | <chromoblob> | ohh |
| 2025-11-22 20:52:47 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-22 20:52:47 +0100 | <EvanR> | this is a great usecase for flip |
| 2025-11-22 20:53:28 +0100 | <chromoblob> | why isn't there more flips - flip3_1, flip3_2, ..., flip3_6 |
| 2025-11-22 20:53:59 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:bfa9:f0b2:ea22:761e) (Remote host closed the connection) |
| 2025-11-22 20:53:59 +0100 | <EvanR> | do you mean n factorial flips for each N |
| 2025-11-22 20:54:01 +0100 | <chromoblob> | or one could call them like: abcToAcb, abcToBac, ... |
| 2025-11-22 20:54:26 +0100 | <chromoblob> | yes |
| 2025-11-22 20:54:34 +0100 | <EvanR> | at this point use nonpointless form |
| 2025-11-22 20:54:36 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:1c0f:7b0:178a:6f00) |
| 2025-11-22 20:54:46 +0100 | <EvanR> | g a b c d e = f c d e a b |
| 2025-11-22 20:54:53 +0100 | <haskellbridge> | <Morj> I have flashbacks to a system which had those factorial-flips, but I erased it from my memory |
| 2025-11-22 20:55:08 +0100 | <haskellbridge> | <Morj> Was it in qt for signals |
| 2025-11-22 20:56:25 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-22 20:57:04 +0100 | falafel | (~falafel@2603:8000:ca00:83fb:1db5:6d25:28c0:7c1c) falafel |
| 2025-11-22 21:00:05 +0100 | <haskellbridge> | <Morj> God damn it, why does curl not hit a captcha, but http-client-tls does |
| 2025-11-22 21:00:37 +0100 | raym_ | (~ray@user/raym) (Ping timeout: 246 seconds) |
| 2025-11-22 21:02:24 +0100 | <[exa]> | Morj: it's curl, it has authenticated as a bot, no need to captcha! |
| 2025-11-22 21:02:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 21:02:38 +0100 | raym | (~ray@user/raym) raym |
| 2025-11-22 21:07:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 21:14:16 +0100 | <haskellbridge> | <Morj> I wonder if the page I'm scraping is going to block curl after 500 requests (in 500*2 seconds) |
| 2025-11-22 21:14:32 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:1c0f:7b0:178a:6f00) (Remote host closed the connection) |
| 2025-11-22 21:15:07 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:4399:e959:784c:f191) |
| 2025-11-22 21:15:24 +0100 | <haskellbridge> | <Morj> An btw 'scalpel' package is pretty good |
| 2025-11-22 21:16:18 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-22 21:16:38 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2025-11-22 21:17:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 21:18:21 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-22 21:18:28 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2025-11-22 21:18:52 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-22 21:19:50 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2025-11-22 21:20:09 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2025-11-22 21:21:05 +0100 | <haskellbridge> | <Morj> The worst part is that I can't define the parsers at module's top level because of ambigous types. Makes iterating in ghci a bit annoying |
| 2025-11-22 21:21:37 +0100 | <bwe> | How can I make 0 unrepresentable for a data type that is Int right now? |
| 2025-11-22 21:22:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 21:22:18 +0100 | <EvanR> | a newtype wrapper with a smart constructor? |
| 2025-11-22 21:22:32 +0100 | <glguy> | check for 0 in the function that constructs values of your new type |
| 2025-11-22 21:23:25 +0100 | <EvanR> | another avenue is to make the new type represent the value wrapped value + something |
| 2025-11-22 21:23:50 +0100 | <EvanR> | but that might be too heady |
| 2025-11-22 21:24:26 +0100 | <bwe> | glguy: oh, that's a nice trick. So I am not constructing it with MyType but newMyType that checks for 0. |
| 2025-11-22 21:24:49 +0100 | <monochrom> | Use Natural or Word but consistently off by 1, e.g., 1 is represented by 0. |
| 2025-11-22 21:24:59 +0100 | <haskellbridge> | <Morj> Yes, this is a common trick. Usually used for data structures, like https://hackage.haskell.org/package/mono-traversable-1.0.21.0/docs/Data-NonNull.html |
| 2025-11-22 21:25:10 +0100 | <EvanR> | yes Word is what I should have thought of |
| 2025-11-22 21:25:14 +0100 | <EvanR> | Word + 1 |
| 2025-11-22 21:26:16 +0100 | <EvanR> | then zero is literally not representable... but 255 is necessarily an error |
| 2025-11-22 21:26:28 +0100 | <bwe> | Word is confusing |
| 2025-11-22 21:26:30 +0100 | <EvanR> | er, maxWord |
| 2025-11-22 21:26:59 +0100 | <monochrom> | Word is no more confusing than Int. |
| 2025-11-22 21:27:12 +0100 | <bwe> | No, I mean the word `Word`. |
| 2025-11-22 21:27:23 +0100 | <haskellbridge> | <Morj> If Word is not confusing, what's the name of dynamic-sized word? |
| 2025-11-22 21:27:32 +0100 | <haskellbridge> | <Morj> Don't say Wordeger |
| 2025-11-22 21:28:20 +0100 | <monochrom> | No more confusing than any other meaningful names. |
| 2025-11-22 21:29:30 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-11-22 21:29:38 +0100 | <glguy> | Natural |
| 2025-11-22 21:30:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 21:30:14 +0100 | <monochrom> | type Lexicon = Word >:) |
| 2025-11-22 21:30:27 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-11-22 21:30:55 +0100 | <EvanR> | data NonZero = PosMinusOne Natural | NegPlusOne Natural |
| 2025-11-22 21:30:56 +0100 | monochrom | is preparing to teach a compiler course in which we begin with tokenization aka lexical analysis! |
| 2025-11-22 21:31:46 +0100 | <int-e> | monochrom: teach it with s/parsing/word processing/g? :P |
| 2025-11-22 21:31:57 +0100 | <monochrom> | haha that's great |
| 2025-11-22 21:34:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 21:35:04 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:4399:e959:784c:f191) (Remote host closed the connection) |
| 2025-11-22 21:35:39 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:863f:df64:5fc4:398c) |
| 2025-11-22 21:37:44 +0100 | <mauke> | type Lexicon = [Word] |
| 2025-11-22 21:38:07 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-22 21:38:34 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 21:40:08 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-22 21:45:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 21:46:11 +0100 | <EvanR> | Dyslexicons transform and roll out |
| 2025-11-22 21:47:18 +0100 | <monochrom> | heh |
| 2025-11-22 21:50:07 +0100 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-11-22 21:50:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 21:50:42 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2025-11-22 21:51:05 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) kimiamania |
| 2025-11-22 21:53:25 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2025-11-22 21:53:54 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 21:55:06 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:863f:df64:5fc4:398c) (Remote host closed the connection) |
| 2025-11-22 21:55:41 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:a939:4003:9f33:7d40) |
| 2025-11-22 22:00:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 22:05:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 22:07:12 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-22 22:08:15 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-11-22 22:14:38 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:a939:4003:9f33:7d40) (Remote host closed the connection) |
| 2025-11-22 22:15:15 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:5e1d:1d96:fe87:fe40) |
| 2025-11-22 22:16:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 22:20:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 22:20:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 22:25:48 +0100 | rls129 | (~rls129@150.107.206.33) |
| 2025-11-22 22:26:09 +0100 | rls129 | (~rls129@150.107.206.33) (Client Quit) |
| 2025-11-22 22:30:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 22:32:30 +0100 | <haskellbridge> | <Zemyla> I'm thinking about coexponentials. |
| 2025-11-22 22:32:48 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-11-22 22:34:08 +0100 | <haskellbridge> | <Zemyla> Exponentials have an eval :: (exp a b, a) -> b function. Coexponentials would have coeval :: b -> Either (coexp a b. a), which doesn't exist in Hask. However, it does exist in Kleisli (Cont r). |
| 2025-11-22 22:34:40 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:5e1d:1d96:fe87:fe40) (Remote host closed the connection) |
| 2025-11-22 22:35:16 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:d95e:55e2:ae9e:ce68) |
| 2025-11-22 22:35:22 +0100 | <haskellbridge> | <Zemyla> It'd be coeval :: b -> m (Either (Coexp m a b) a), where Coexp m a b = (b, a -> m Void). |
| 2025-11-22 22:35:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-22 22:37:54 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-22 22:40:38 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-22 22:42:02 +0100 | trickard_ | trickard |
| 2025-11-22 22:46:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 22:51:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 22:51:17 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds) |
| 2025-11-22 22:55:12 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:d95e:55e2:ae9e:ce68) (Remote host closed the connection) |
| 2025-11-22 22:55:48 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:1559:d36f:155b:68b3) |
| 2025-11-22 22:57:38 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-22 23:02:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 23:06:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 23:12:39 +0100 | mhatta_ | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-11-22 23:14:45 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:1559:d36f:155b:68b3) (Remote host closed the connection) |
| 2025-11-22 23:15:18 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-11-22 23:15:20 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:c47b:d446:60a0:f965) |
| 2025-11-22 23:15:25 +0100 | Square3 | (~Square@user/square) (Remote host closed the connection) |
| 2025-11-22 23:15:47 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-22 23:15:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-22 23:17:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 23:22:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |