| 2025-10-17 00:06:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 00:07:02 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 00:10:22 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-17 00:11:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 00:11:47 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-10-17 00:14:50 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2025-10-17 00:15:32 +0000 | zfnmxt | (~m-gkkevi@user/zfnmxt) (Remote host closed the connection) |
| 2025-10-17 00:16:06 +0000 | Zemy | (~Zemy@2600:100c:b0a4:d984:e881:2dff:fe8d:7adc) |
| 2025-10-17 00:16:23 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-17 00:18:34 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 00:18:43 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 00:20:14 +0000 | zfnmxt | (~m-gkkevi@209.209.10.107) |
| 2025-10-17 00:20:28 +0000 | divya | (divya@140.238.251.170) divya |
| 2025-10-17 00:20:44 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 244 seconds) |
| 2025-10-17 00:22:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 00:24:55 +0000 | zfnmxt | (~m-gkkevi@209.209.10.107) (Ping timeout: 256 seconds) |
| 2025-10-17 00:25:30 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Ping timeout: 248 seconds) |
| 2025-10-17 00:26:37 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2025-10-17 00:27:44 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 00:27:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 00:29:01 +0000 | gustrb | (~gustrb@200.132.2.8) |
| 2025-10-17 00:30:51 +0000 | zfnmxt | (~m-gkkevi@209.209.10.107) |
| 2025-10-17 00:34:52 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-10-17 00:35:41 +0000 | zfnmxt | (~m-gkkevi@209.209.10.107) (Ping timeout: 256 seconds) |
| 2025-10-17 00:38:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 00:39:39 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-10-17 00:43:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 00:45:32 +0000 | otto_s_ | (~user@p4ff27814.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-10-17 00:47:18 +0000 | otto_s | (~user@p5de2f2fc.dip0.t-ipconnect.de) |
| 2025-10-17 00:54:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 00:54:49 +0000 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-10-17 00:55:23 +0000 | Square | (~Square4@user/square) Square |
| 2025-10-17 00:57:30 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) (Ping timeout: 248 seconds) |
| 2025-10-17 00:59:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-17 01:00:07 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-17 01:05:43 +0000 | FANTOM | (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
| 2025-10-17 01:09:38 +0000 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-17 01:09:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 01:10:02 +0000 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-17 01:13:05 +0000 | gustrb | (~gustrb@200.132.2.8) (Ping timeout: 256 seconds) |
| 2025-10-17 01:14:56 +0000 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2025-10-17 01:15:20 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-10-17 01:16:01 +0000 | FANTOM | (~fantom@90.244.168.178) |
| 2025-10-17 01:16:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 01:18:25 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-10-17 01:18:51 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-17 01:19:58 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-10-17 01:20:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 01:20:13 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-17 01:20:43 +0000 | zfnmxt | (~m-gkkevi@209.209.10.107) |
| 2025-10-17 01:24:10 +0000 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 248 seconds) |
| 2025-10-17 01:24:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 01:28:46 +0000 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 01:33:14 +0000 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-17 01:35:11 +0000 | <jackdk> | dolio: Apparently that work ran into roadblocks and is not planned any more: https://gitlab.haskell.org/ghc/ghc/-/issues/15028. This libraries@ post lists the main problems: https://mail.haskell.org/pipermail/libraries/2020-April/030357.html . Most seem fixable, but the syntactic noise seems really annoying and the strictness change more fundamentally difficult. |
| 2025-10-17 01:35:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 01:38:08 +0000 | trickard_ | trickard |
| 2025-10-17 01:40:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 01:51:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 01:54:43 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 01:56:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 02:06:42 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-17 02:07:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 02:12:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 02:20:19 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-17 02:23:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 02:24:32 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-10-17 02:27:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 02:28:35 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-17 02:33:00 +0000 | td_ | (~td@i5387093E.versanet.de) (Ping timeout: 244 seconds) |
| 2025-10-17 02:35:07 +0000 | td_ | (~td@i5387090B.versanet.de) td_ |
| 2025-10-17 02:38:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 02:39:27 +0000 | <dcpagan> | Is there a way to either undo an import or hide a variable from an existing import? |
| 2025-10-17 02:39:37 +0000 | <dcpagan> | I keep getting ambiguous occurrence errors. |
| 2025-10-17 02:39:47 +0000 | <dcpagan> | I mean in the interactive shell. |
| 2025-10-17 02:40:07 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-10-17 02:40:47 +0000 | <geekosaur> | probably have to unimport and re-import with `hiding` |
| 2025-10-17 02:41:06 +0000 | <geekosaur> | (unimporting is done with the old `:m` command: `:m -Module.Name` |
| 2025-10-17 02:41:12 +0000 | <geekosaur> | ) |
| 2025-10-17 02:43:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 02:44:11 +0000 | <ski> | import Prelude hiding (length) |
| 2025-10-17 02:44:43 +0000 | <fgidim> | something like import Prelude hiding tail or import Prelude hiding( head, tail ) |
| 2025-10-17 02:54:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 03:01:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 03:09:49 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2025-10-17 03:12:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 03:13:15 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 03:17:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 03:21:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 03:25:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 03:28:22 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-10-17 03:29:31 +0000 | karenw_ | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-10-17 03:29:50 +0000 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 2025-10-17 03:30:28 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-10-17 03:30:29 +0000 | ChanServ | +v haskellbridge |
| 2025-10-17 03:32:59 +0000 | n0um3n4 | (~n0um3n4@104.28.199.133) (Remote host closed the connection) |
| 2025-10-17 03:36:10 +0000 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-10-17 03:36:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 03:36:32 +0000 | karenw_ | (~karenw@user/karenw) (Client Quit) |
| 2025-10-17 03:41:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 03:52:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 03:56:22 +0000 | aforemny | (~aforemny@2001:9e8:6cf1:8200:5418:7e22:c389:aad3) aforemny |
| 2025-10-17 03:56:49 +0000 | aforemny_ | (~aforemny@2001:9e8:6cd3:9e00:ec6c:33df:2ec4:2c9f) (Ping timeout: 246 seconds) |
| 2025-10-17 03:57:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-17 03:59:51 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-17 04:08:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 04:11:13 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2025-10-17 04:12:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 04:19:55 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2025-10-17 04:22:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 04:22:31 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 04:27:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 04:35:23 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-17 04:37:12 +0000 | michalz | (~michalz@185.246.207.201) |
| 2025-10-17 04:37:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 04:41:34 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-10-17 04:43:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-17 04:54:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 04:59:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-17 05:08:46 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 05:10:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 05:13:21 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-10-17 05:14:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 05:17:03 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-17 05:17:48 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-17 05:19:35 +0000 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-10-17 05:20:43 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 05:20:56 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 05:23:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 05:24:44 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-10-17 05:24:47 +0000 | fgidim | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2025-10-17 05:25:29 +0000 | fgarcia | fgidim |
| 2025-10-17 05:27:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 05:37:26 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-17 05:38:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 05:43:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 05:44:31 +0000 | ubert | (~Thunderbi@77.119.165.5.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2025-10-17 05:54:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 05:57:43 +0000 | jreicher | (~user@user/jreicher) (Quit: NIN (via TRON)) |
| 2025-10-17 05:59:21 +0000 | craunts795335385 | (~craunts@175.176.17.164) |
| 2025-10-17 05:59:38 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-10-17 06:00:52 +0000 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-10-17 06:01:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 06:10:28 +0000 | halloy7365 | (~halloy736@2404:4400:5446:4e00:9554:c574:8d58:cb38) |
| 2025-10-17 06:12:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 06:15:45 +0000 | elenril | (~elenril@tutturu.khirnov.net) (Ping timeout: 245 seconds) |
| 2025-10-17 06:15:46 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-10-17 06:18:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-17 06:19:51 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 06:20:04 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 06:21:57 +0000 | ft | (~ft@p4fc2a207.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-17 06:24:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 06:25:42 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-17 06:25:42 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) (Read error: Connection reset by peer) |
| 2025-10-17 06:26:47 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) synchromesh |
| 2025-10-17 06:26:52 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-17 06:29:22 +0000 | elenril | (~elenril@tutturu.khirnov.net) elenril |
| 2025-10-17 06:29:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-17 06:31:16 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-17 06:40:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 06:42:03 +0000 | halloy7365 | (~halloy736@2404:4400:5446:4e00:9554:c574:8d58:cb38) (Quit: halloy7365) |
| 2025-10-17 06:45:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 06:55:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 06:59:57 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-17 07:00:03 +0000 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-17 07:00:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-17 07:00:36 +0000 | trickard_ | trickard |
| 2025-10-17 07:00:44 +0000 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-17 07:01:05 +0000 | n0um3n4 | (~n0um3n4@104.30.133.59) |
| 2025-10-17 07:02:29 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-10-17 07:05:33 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-10-17 07:07:06 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-17 07:10:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 07:11:18 +0000 | dtman34_ | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-10-17 07:11:25 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2025-10-17 07:14:01 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-17 07:14:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 07:15:51 +0000 | annamalai | (~annamalai@2409:4042:4e3c:ee1e::9e4a:2910) (Ping timeout: 250 seconds) |
| 2025-10-17 07:18:05 +0000 | rubin55_ | (sid666180@id-666180.ilkley.irccloud.com) () |
| 2025-10-17 07:18:34 +0000 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) rubin55 |
| 2025-10-17 07:19:53 +0000 | craunts795335385 | (~craunts@175.176.17.164) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-17 07:23:41 +0000 | Square | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2025-10-17 07:23:47 +0000 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-10-17 07:25:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 07:31:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 07:32:12 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 260 seconds) |
| 2025-10-17 07:33:54 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-17 07:34:00 +0000 | craunts795335385 | (~craunts@175.176.17.164) |
| 2025-10-17 07:37:00 +0000 | kukimik | (~kukimik@93-159-13-148.cgnat.inetia.pl) |
| 2025-10-17 07:38:23 +0000 | n0um3n4 | (~n0um3n4@104.30.133.59) (Remote host closed the connection) |
| 2025-10-17 07:40:16 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 07:40:30 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 07:41:03 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-17 07:42:43 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-17 07:44:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 07:45:19 +0000 | tomsmeding_ | tomsmeding |
| 2025-10-17 07:45:59 +0000 | trickard_ | trickard |
| 2025-10-17 07:48:37 +0000 | FANTOM | (~fantom@90.244.168.178) (Ping timeout: 256 seconds) |
| 2025-10-17 07:49:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 07:49:47 +0000 | FANTOM | (~fantom@90.244.165.37) |
| 2025-10-17 07:50:09 +0000 | <[exa]> | just curious, did anyone do some rigorous analysis of what's packed in the ghc-produced binaries (i.e., what's making them big?) |
| 2025-10-17 07:50:45 +0000 | <[exa]> | not that they'd be super big, esp. not w.r.t. to the other pop compilers, but still curious |
| 2025-10-17 07:51:05 +0000 | a_fantom | (~fantom@90.244.165.37) |
| 2025-10-17 07:52:51 +0000 | annamalai | (~annamalai@157.32.220.158) annamalai |
| 2025-10-17 07:52:52 +0000 | <tomsmeding> | I have no idea, but libHSbase.so is 12 MB |
| 2025-10-17 07:54:51 +0000 | FANTOM | (~fantom@90.244.165.37) (Ping timeout: 256 seconds) |
| 2025-10-17 07:55:47 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-17 08:00:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 08:01:34 +0000 | phma | (~phma@2605:59c8:6211:ff08::6d1) |
| 2025-10-17 08:02:07 +0000 | chele | (~chele@user/chele) chele |
| 2025-10-17 08:04:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 08:08:49 +0000 | annamalai | (~annamalai@157.32.220.158) (Remote host closed the connection) |
| 2025-10-17 08:09:09 +0000 | annamalai | (~annamalai@157.32.220.158) annamalai |
| 2025-10-17 08:12:04 +0000 | kenran | (~void@user/kenran) kenran |
| 2025-10-17 08:15:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 08:18:02 +0000 | Zemy | (~Zemy@2600:100c:b0a4:d984:e881:2dff:fe8d:7adc) (Ping timeout: 248 seconds) |
| 2025-10-17 08:21:49 +0000 | kenran | (~void@user/kenran) (Remote host closed the connection) |
| 2025-10-17 08:27:36 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 08:27:49 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 08:30:44 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-17 08:31:56 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 08:38:26 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 08:43:17 +0000 | chenjf | (~chenjf@68.64.178.54) |
| 2025-10-17 08:43:20 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-17 08:46:50 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-17 08:47:34 +0000 | n0um3n4 | (~n0um3n4@104.30.133.59) |
| 2025-10-17 08:48:00 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-10-17 08:49:33 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-17 08:50:09 +0000 | craunts795335385 | (~craunts@175.176.17.164) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-17 08:57:09 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-17 08:57:21 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-17 09:05:11 +0000 | chenjf | (~chenjf@68.64.178.54) (Quit: WeeChat 4.7.1) |
| 2025-10-17 09:05:43 +0000 | acidjnk | (~acidjnk@p200300d6e71719070129677a31b7bc88.dip0.t-ipconnect.de) acidjnk |
| 2025-10-17 09:23:32 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-17 09:23:32 +0000 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-10-17 09:25:39 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 09:25:53 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 09:26:43 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-10-17 09:41:49 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-17 09:43:00 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-17 09:43:06 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-17 09:43:39 +0000 | kukimik | (~kukimik@93-159-13-148.cgnat.inetia.pl) (Remote host closed the connection) |
| 2025-10-17 09:44:03 +0000 | yappy | (~adi@86.123.72.40) |
| 2025-10-17 09:44:29 +0000 | yappy | (~adi@86.123.72.40) (Remote host closed the connection) |
| 2025-10-17 09:47:26 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-17 09:50:02 +0000 | <[exa]> | tomsmeding: ah well that might be a part of it :) |
| 2025-10-17 09:50:04 +0000 | <[exa]> | ok |
| 2025-10-17 09:50:16 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 09:51:38 +0000 | <[exa]> | just wondering, is there any semantic difference between doing a function with normal guards and going for the `case () { _ | theGuard -> ...}` shortcut? I've fixed a bug that shouldn't have been fixed by rewriting that, which is weird. |
| 2025-10-17 09:54:58 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-10-17 09:55:33 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-10-17 10:00:33 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-10-17 10:01:47 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-17 10:07:49 +0000 | karenw_ | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-10-17 10:09:45 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-17 10:13:54 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 10:20:55 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-17 10:23:12 +0000 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-10-17 10:23:22 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-10-17 10:28:20 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-10-17 10:29:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 10:30:36 +0000 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-10-17 10:33:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 10:36:59 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-17 10:39:52 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 10:40:06 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 10:44:38 +0000 | trickard_ | trickard |
| 2025-10-17 11:00:51 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-10-17 11:01:51 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-10-17 11:02:35 +0000 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 11:03:47 +0000 | pie__ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 250 seconds) |
| 2025-10-17 11:11:51 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-17 11:12:38 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-10-17 11:31:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-17 11:36:42 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-17 11:36:43 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-10-17 11:38:02 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-17 11:41:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 11:45:50 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-10-17 11:46:18 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-17 11:51:42 +0000 | AlexZenon_2 | AlexZenon |
| 2025-10-17 11:52:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 11:56:42 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2025-10-17 11:59:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-17 12:01:43 +0000 | Jackneill_ | (~Jackneill@94-21-95-227.pool.digikabel.hu) |
| 2025-10-17 12:03:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 12:03:38 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-17 12:04:28 +0000 | jackneill__ | (~Jackneill@94-21-46-168.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2025-10-17 12:08:31 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-17 12:08:51 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-17 12:08:55 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-17 12:10:02 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2025-10-17 12:10:14 +0000 | img | (~img@user/img) img |
| 2025-10-17 12:11:51 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-17 12:13:31 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-17 12:23:16 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-17 12:26:06 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-10-17 12:26:06 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-17 12:26:07 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-10-17 12:26:09 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 12:26:31 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-17 12:26:47 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-10-17 12:26:51 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-17 12:30:16 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2025-10-17 12:33:51 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 12:41:40 +0000 | ft | (~ft@p4fc2a207.dip0.t-ipconnect.de) ft |
| 2025-10-17 12:42:34 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 12:42:43 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 12:44:46 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 12:44:59 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 12:57:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-10-17 12:57:31 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-10-17 12:57:42 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-17 12:59:04 +0000 | Psychotic1 | (~Psychotic@2600:1007:b032:c0d4:c18:bfd9:c413:f780) |
| 2025-10-17 12:59:50 +0000 | Psychotic1_ | (~Psychotic@2600:1007:b032:c0d4:c18:bfd9:c413:f780) |
| 2025-10-17 13:01:24 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 13:01:39 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 13:06:34 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-10-17 13:08:31 +0000 | xff0x | (~xff0x@2405:6580:b080:900:d8fa:98a4:1ba0:2054) |
| 2025-10-17 13:08:58 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-17 13:11:41 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 13:17:40 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 13:20:56 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-17 13:22:00 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 13:23:14 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-10-17 13:26:22 +0000 | trickard_ | trickard |
| 2025-10-17 13:29:25 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-17 13:30:10 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-17 13:30:21 +0000 | opencircuit | (~quassel@user/opencircuit) (Remote host closed the connection) |
| 2025-10-17 13:30:30 +0000 | opencircuit | (~quassel@user/opencircuit) opencircuit |
| 2025-10-17 13:31:36 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-10-17 13:31:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-10-17 13:33:24 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-17 13:36:02 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-10-17 13:37:33 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-10-17 13:43:00 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-10-17 13:45:55 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-17 13:50:47 +0000 | Psychotic1_ | (~Psychotic@2600:1007:b032:c0d4:c18:bfd9:c413:f780) (Ping timeout: 260 seconds) |
| 2025-10-17 13:50:47 +0000 | Psychotic1 | (~Psychotic@2600:1007:b032:c0d4:c18:bfd9:c413:f780) (Ping timeout: 260 seconds) |
| 2025-10-17 13:51:00 +0000 | kimiamania99 | (~92460e22@user/kimiamania) kimiamania |
| 2025-10-17 13:53:13 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2025-10-17 13:55:04 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 13:59:06 +0000 | Zemy | (~Zemy@76.184.190.146) |
| 2025-10-17 14:04:07 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-17 14:06:01 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 14:09:48 +0000 | Guest305 | (jinsun@here.and.ready-to.party) (Changing host) |
| 2025-10-17 14:09:48 +0000 | Guest305 | (jinsun@user/jinsun) jinsun |
| 2025-10-17 14:09:48 +0000 | Guest305 | jinsun |
| 2025-10-17 14:13:08 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-10-17 14:15:20 +0000 | Zemy | (~Zemy@76.184.190.146) (Ping timeout: 240 seconds) |
| 2025-10-17 14:21:46 +0000 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-17 14:25:49 +0000 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 14:38:15 +0000 | satler | (~satler@user/satler) satler |
| 2025-10-17 14:39:38 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-17 14:42:23 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 14:43:00 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 14:43:14 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 14:43:18 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-10-17 14:43:39 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) (Read error: Connection reset by peer) |
| 2025-10-17 14:44:27 +0000 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 260 seconds) |
| 2025-10-17 14:45:07 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) synchromesh |
| 2025-10-17 14:45:14 +0000 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 14:50:31 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-17 14:53:54 +0000 | satler | (~satler@user/satler) (Quit: satler) |
| 2025-10-17 14:54:30 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-17 14:56:16 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 15:00:32 +0000 | trickard_ | trickard |
| 2025-10-17 15:02:51 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-10-17 15:06:01 +0000 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 2025-10-17 15:09:46 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 15:14:58 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 15:23:48 +0000 | OftenFaded81 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-10-17 15:25:52 +0000 | OftenFaded81 | (~OftenFade@user/tisktisk) (Client Quit) |
| 2025-10-17 15:32:06 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-17 15:37:55 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-10-17 15:38:18 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-10-17 15:42:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 15:43:12 +0000 | <ski> | [exa] : failure in `case' can't fall back to alternate defining clauses, if that's what you're thinking of. so, if there's only one defining equation, you should be fine |
| 2025-10-17 15:43:55 +0000 | <ski> | (of course, can't fall back to another `case', either) |
| 2025-10-17 15:44:54 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-17 15:46:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 15:48:42 +0000 | AlexZenon | (~alzenon@85.174.180.124) (Ping timeout: 248 seconds) |
| 2025-10-17 15:49:53 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.7.1) |
| 2025-10-17 15:55:36 +0000 | AlexZenon | (~alzenon@85.174.180.124) |
| 2025-10-17 15:57:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 15:57:42 +0000 | yabobay | (~pizza@2a02:85f:fcd5:1601:439e:d9b3:6a5d:d567) yabobay |
| 2025-10-17 15:59:19 +0000 | <yabobay> | what was the 'opposite' of `pure` where you get, for example, Nothing when casting to Maybe |
| 2025-10-17 15:59:45 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-17 15:59:49 +0000 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-10-17 16:01:27 +0000 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 16:04:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-17 16:06:18 +0000 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-17 16:07:29 +0000 | <ski> | huh ? |
| 2025-10-17 16:08:11 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-10-17 16:08:12 +0000 | <ski> | maybe you should show some example(s) ? |
| 2025-10-17 16:14:27 +0000 | <yabobay> | like if there was a function called foo and i could go `foo :: Maybe a` and i'd get Nothing |
| 2025-10-17 16:15:19 +0000 | <int-e> | :t empty |
| 2025-10-17 16:15:20 +0000 | <lambdabot> | Alternative f => f a |
| 2025-10-17 16:15:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 16:15:29 +0000 | <int-e> | :t mempty |
| 2025-10-17 16:15:30 +0000 | <lambdabot> | Monoid a => a |
| 2025-10-17 16:16:00 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-10-17 16:16:04 +0000 | <int-e> | (`empty` is closer to Applicative) |
| 2025-10-17 16:16:23 +0000 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 16:18:06 +0000 | <yabobay> | my ghc doesn't have empty. is it in a module or something? |
| 2025-10-17 16:19:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 16:19:58 +0000 | <Leary> | @hoogle empty |
| 2025-10-17 16:19:58 +0000 | <lambdabot> | Control.Applicative empty :: Alternative f => f a |
| 2025-10-17 16:19:58 +0000 | <lambdabot> | GHC.Base empty :: Alternative f => f a |
| 2025-10-17 16:19:58 +0000 | <lambdabot> | Data.ByteString empty :: ByteString |
| 2025-10-17 16:20:16 +0000 | <yabobay> | ok sorry i hoogled it myself |
| 2025-10-17 16:20:17 +0000 | <yabobay> | thanks! |
| 2025-10-17 16:20:19 +0000 | yabobay | (~pizza@2a02:85f:fcd5:1601:439e:d9b3:6a5d:d567) (bye) |
| 2025-10-17 16:21:32 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-10-17 16:22:23 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-17 16:23:25 +0000 | <ski> | @index empty |
| 2025-10-17 16:23:25 +0000 | <lambdabot> | Control.Applicative, Data.Binary.Builder, Data.ByteString.Lazy, Data.ByteString.Lazy.Char8, Data.ByteString, Data.ByteString.Char8, Data.ByteString.Short, Data.IntMap.Strict, Data.IntMap.Lazy, Data. |
| 2025-10-17 16:23:25 +0000 | <lambdabot> | IntMap, Data.IntSet, Data.Map.Lazy, Data.Map.Strict, Data.Map, Data.Set, Data.Sequence, Text.PrettyPrint.HughesPJ, Text.PrettyPrint.HughesPJClass, Text.PrettyPrint, Language.Haskell.TH.PprLib |
| 2025-10-17 16:23:46 +0000 | <ski> | oh, they left |
| 2025-10-17 16:30:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 16:35:03 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2025-10-17 16:35:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 16:41:27 +0000 | yobhel | (~yobhel@85-238-68-165.pool.digikabel.hu) |
| 2025-10-17 16:46:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 16:46:49 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-10-17 16:50:44 +0000 | yobhel | (~yobhel@85-238-68-165.pool.digikabel.hu) (Quit: yobhel) |
| 2025-10-17 16:51:33 +0000 | yobhel | (~yobhel@85-238-68-165.pool.digikabel.hu) |
| 2025-10-17 16:51:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-17 16:54:55 +0000 | yobhel | (~yobhel@85-238-68-165.pool.digikabel.hu) (Client Quit) |
| 2025-10-17 16:56:45 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-17 17:02:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 17:04:37 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-17 17:05:03 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-17 17:05:39 +0000 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 2025-10-17 17:05:40 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-17 17:07:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 17:11:19 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2025-10-17 17:11:59 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) fp |
| 2025-10-17 17:12:22 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-17 17:13:01 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 2025-10-17 17:18:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 17:20:01 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-17 17:20:33 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) (Ping timeout: 265 seconds) |
| 2025-10-17 17:22:38 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) |
| 2025-10-17 17:23:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 17:23:55 +0000 | Psychotic1_ | (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) |
| 2025-10-17 17:25:37 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
| 2025-10-17 17:26:18 +0000 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-17 17:26:37 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-10-17 17:33:03 +0000 | n0um3n4 | (~n0um3n4@104.30.133.59) (Remote host closed the connection) |
| 2025-10-17 17:34:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 17:34:50 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2025-10-17 17:39:57 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-17 17:40:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-17 17:42:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 17:45:02 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-17 17:45:05 +0000 | Square2 | (~Square@user/square) Square |
| 2025-10-17 17:45:47 +0000 | Zemy | (~Zemy@2600:100c:b0a4:d984:58e9:bff:fe07:fef6) |
| 2025-10-17 17:46:22 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-17 17:47:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-17 17:50:32 +0000 | Zemy | (~Zemy@2600:100c:b0a4:d984:58e9:bff:fe07:fef6) (Ping timeout: 260 seconds) |
| 2025-10-17 17:58:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 17:58:44 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 265 seconds) |
| 2025-10-17 18:01:25 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-17 18:03:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 18:03:17 +0000 | <dcpagan> | Is a function with only two pattern guards, the second guard consisting only of "otherwise" just as efficient as implementing the function as an if statement? |
| 2025-10-17 18:05:16 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-17 18:10:36 +0000 | <mauke> | that sounds like a guard, not a pattern guard |
| 2025-10-17 18:10:46 +0000 | <mauke> | but yes, I don't think there's any performance difference |
| 2025-10-17 18:12:08 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 240 seconds) |
| 2025-10-17 18:14:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 18:16:47 +0000 | Psychotic1_ | (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Ping timeout: 260 seconds) |
| 2025-10-17 18:16:47 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Ping timeout: 260 seconds) |
| 2025-10-17 18:19:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 18:19:13 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 264 seconds) |
| 2025-10-17 18:19:43 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 18:26:29 +0000 | <monochrom> | Unless it is positively proven that I really need fast code, I write code to express what I think, not to micromanage what the machine code looks like. |
| 2025-10-17 18:28:08 +0000 | <EvanR> | please turn in your control freak license and weapon |
| 2025-10-17 18:28:17 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-10-17 18:28:20 +0000 | <EvanR> | your don't deserve to wear that uniform |
| 2025-10-17 18:29:05 +0000 | <monochrom> | I never got that license and uniform in the first place because I never learned VHDL. >:) |
| 2025-10-17 18:29:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 18:31:31 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
| 2025-10-17 18:34:01 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-17 18:35:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 18:35:08 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-17 18:35:22 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-17 18:37:10 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-10-17 18:42:18 +0000 | <fgidim> | i think for pattern guards, those are desugared to a case expression. though i don't know if there is a speed difference between that and if statements |
| 2025-10-17 18:44:08 +0000 | <EvanR> | the airspeed velocity of an if statement |
| 2025-10-17 18:44:48 +0000 | <EvanR> | "if statement" isn't actually a thing, it's compiled into a case expression |
| 2025-10-17 18:45:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 18:46:40 +0000 | <mauke> | if x then y else z = case x of { True -> y; _ -> z } |
| 2025-10-17 18:50:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-17 19:00:05 +0000 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-17 19:00:46 +0000 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-17 19:01:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 19:01:56 +0000 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 19:04:47 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-17 19:05:40 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-10-17 19:06:01 +0000 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.1.1) |
| 2025-10-17 19:06:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 19:10:54 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-17 19:12:05 +0000 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-10-17 19:15:44 +0000 | Digit | (~user@user/digit) Digit |
| 2025-10-17 19:17:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 19:17:58 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Quit: fp) |
| 2025-10-17 19:20:11 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-10-17 19:20:32 +0000 | <fgidim> | there is more on page 20 https://www.haskell.org/definition/haskell2010.pdf |
| 2025-10-17 19:20:46 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit) |
| 2025-10-17 19:24:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 19:30:13 +0000 | <EvanR> | case x of { False -> z; _ -> y } would also work |
| 2025-10-17 19:33:14 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-10-17 19:35:19 +0000 | fgidim | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-10-17 19:35:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 19:37:43 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-10-17 19:39:16 +0000 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2025-10-17 19:40:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 19:42:07 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-10-17 19:45:35 +0000 | <ggVGc> | case isn't a real thing because it's compiled to... |
| 2025-10-17 19:45:42 +0000 | <ggVGc> | goto? |
| 2025-10-17 19:46:10 +0000 | <monochrom> | It's syntax sugar all the way down. |
| 2025-10-17 19:47:07 +0000 | <monochrom> | goto isn't a real thing because it's code for "mov foo, programCounter" |
| 2025-10-17 19:47:09 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-10-17 19:47:40 +0000 | <ggVGc> | the program counter isn't a real thing because your CPU microcode doesn't execute things the way you imagine anyway. |
| 2025-10-17 19:48:30 +0000 | <monochrom> | CPU isn't a real thing because it's either a social construct or a quantum wave function. |
| 2025-10-17 19:49:39 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-10-17 19:49:40 +0000 | <ggVGc> | monochrom: fwiw I did learn VHDL (even took a proper university course in it), and I also don't want to micromanage the machine. |
| 2025-10-17 19:50:21 +0000 | <monochrom> | You have still earned the license to. :) |
| 2025-10-17 19:50:32 +0000 | <ggVGc> | but, I mean, file IO is always the issue anyway, so it's nice that in Haskell we don't ever interact with the real world and can ignore that. |
| 2025-10-17 19:50:54 +0000 | <monochrom> | Hot take: Jobs that require licenses are precisely jobs that no one wants apart from the money. >:) |
| 2025-10-17 19:50:59 +0000 | annamalai | (~annamalai@157.32.220.158) (Remote host closed the connection) |
| 2025-10-17 19:51:58 +0000 | <ggVGc> | sounds accurate |
| 2025-10-17 19:52:36 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2025-10-17 19:52:40 +0000 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 2025-10-17 19:56:11 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) |
| 2025-10-17 19:56:12 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-10-17 19:56:16 +0000 | Psychotic1_ | (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) |
| 2025-10-17 19:57:57 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-17 20:02:02 +0000 | Psychotic1_ | (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Read error: Connection reset by peer) |
| 2025-10-17 20:02:02 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Read error: Connection reset by peer) |
| 2025-10-17 20:02:22 +0000 | <haskellbridge> | <slack1256> Bad take. Lots of people go into medicine thinking of grey's anatomy or doctor house. |
| 2025-10-17 20:02:22 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/uXERyEzaexCoaTxYnLuoPBUn/1MBTkuiYsZk (3 lines) |
| 2025-10-17 20:02:32 +0000 | <haskellbridge> | <slack1256> Has* |
| 2025-10-17 20:06:56 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
| 2025-10-17 20:07:35 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:4878:6537:6fa3:5fbc) |
| 2025-10-17 20:09:07 +0000 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 2025-10-17 20:10:41 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-17 20:10:43 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-17 20:20:30 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-10-17 20:24:40 +0000 | Unicorn_Princes- | (~Unicorn_P@89.143.18.181) |
| 2025-10-17 20:27:28 +0000 | <[exa]> | ski: if I got it right, the "case" match is more committed there than the guard? |
| 2025-10-17 20:29:29 +0000 | <[exa]> | no wait that makes no sense :D |
| 2025-10-17 20:30:35 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-17 20:30:41 +0000 | Googulator47 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-17 20:32:07 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 20:36:36 +0000 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-17 20:42:02 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:4878:6537:6fa3:5fbc) (Ping timeout: 248 seconds) |
| 2025-10-17 20:46:35 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-17 20:50:39 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-17 20:50:42 +0000 | Googulator47 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-17 20:53:08 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-17 20:53:12 +0000 | bggd | (~bgg@2a01:e0a:819:1510:8541:de44:31ff:4da2) (Remote host closed the connection) |
| 2025-10-17 20:59:35 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) |
| 2025-10-17 21:00:00 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-10-17 21:00:41 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) (Remote host closed the connection) |
| 2025-10-17 21:00:41 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-10-17 21:02:08 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-17 21:02:16 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 21:03:02 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) |
| 2025-10-17 21:04:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 21:06:20 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 21:08:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 21:10:18 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 21:10:27 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 21:10:37 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-10-17 21:10:52 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-17 21:11:08 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Client Quit) |
| 2025-10-17 21:11:24 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-17 21:15:44 +0000 | Googulator16 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-17 21:15:44 +0000 | Googulator8 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-17 21:16:08 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Client Quit) |
| 2025-10-17 21:16:25 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-17 21:19:07 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) (Ping timeout: 246 seconds) |
| 2025-10-17 21:20:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 21:23:03 +0000 | AlexNoo | (~AlexNoo@85.174.180.124) (Quit: Leaving) |
| 2025-10-17 21:23:53 +0000 | AlexZenon | (~alzenon@85.174.180.124) (Quit: ;-) |
| 2025-10-17 21:23:56 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-17 21:24:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 21:26:14 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-10-17 21:26:37 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) |
| 2025-10-17 21:34:08 +0000 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) (Quit: Leaving) |
| 2025-10-17 21:35:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 21:37:50 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-10-17 21:40:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 21:42:01 +0000 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 21:51:16 +0000 | AlexNoo | (~AlexNoo@85.174.180.124) |
| 2025-10-17 21:51:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 21:56:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-17 21:56:30 +0000 | AlexZenon | (~alzenon@85.174.180.124) |
| 2025-10-17 21:57:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-17 21:59:03 +0000 | <ski> | [exa] : not if the guard is in that `case'. but there could be another level of pattern-matching and guards |
| 2025-10-17 21:59:21 +0000 | <ski> | (hard to say more, without seeing the before & after code) |
| 2025-10-17 21:59:45 +0000 | poxel | (~poxel@user/poxel) (Quit: WeeChat 4.6.3) |
| 2025-10-17 22:06:50 +0000 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2025-10-17 22:07:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 22:13:02 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-17 22:13:14 +0000 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 248 seconds) |
| 2025-10-17 22:13:22 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-17 22:13:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 22:14:00 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 22:14:32 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 22:21:02 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-17 22:25:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 22:26:49 +0000 | OftenFaded52 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-10-17 22:29:05 +0000 | OftenFaded52 | (~OftenFade@user/tisktisk) () |
| 2025-10-17 22:29:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 22:30:58 +0000 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-10-17 22:36:49 +0000 | Guest35 | (~Guest35@2601:445:701:128b:81d2:9396:b0b4:2042) |
| 2025-10-17 22:37:44 +0000 | Guest35 | (~Guest35@2601:445:701:128b:81d2:9396:b0b4:2042) (Client Quit) |
| 2025-10-17 22:37:52 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-17 22:39:21 +0000 | bggd | (~bgg@2a01:e0a:819:1510:f5d2:a275:c958:d954) |
| 2025-10-17 22:40:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 22:45:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 22:46:53 +0000 | trickard_ | trickard |
| 2025-10-17 22:47:12 +0000 | Unicorn_Princes- | Unicorn_Princes |
| 2025-10-17 22:52:11 +0000 | Unicorn_Princes | (~Unicorn_P@89.143.18.181) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in) |
| 2025-10-17 22:53:00 +0000 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 22:54:10 +0000 | gustrb | (~gustrb@191.243.134.87) (Remote host closed the connection) |
| 2025-10-17 22:54:34 +0000 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-17 22:56:32 +0000 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-17 22:56:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 22:56:51 +0000 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-17 23:00:10 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) (Read error: Connection reset by peer) |
| 2025-10-17 23:00:58 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:946e:eb4c:8b28:63bf) synchromesh |
| 2025-10-17 23:01:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 23:09:52 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-17 23:12:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 23:17:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-17 23:19:57 +0000 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 23:20:10 +0000 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 23:26:41 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-17 23:28:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 23:31:53 +0000 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-17 23:32:42 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 23:32:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 23:34:51 +0000 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 23:36:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 23:41:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 23:41:25 +0000 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 265 seconds) |
| 2025-10-17 23:41:54 +0000 | end | (~end@user/end/x-0094621) (Ping timeout: 265 seconds) |
| 2025-10-17 23:42:51 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-17 23:42:52 +0000 | sus0 | (zero@user/zeromomentum) (Ping timeout: 265 seconds) |
| 2025-10-17 23:51:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 23:58:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |