| 2026-04-18 00:01:17 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-18 00:02:10 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-18 00:05:00 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 00:09:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 00:09:58 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 265 seconds) |
| 2026-04-18 00:14:30 +0000 | craunts795335385 | (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-18 00:14:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 00:15:45 +0000 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-04-18 00:18:20 +0000 | Googulator95 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-18 00:18:25 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-18 00:25:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 00:26:49 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-18 00:32:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-18 00:36:13 +0000 | vols | (~vols@user/vols) vols |
| 2026-04-18 00:38:44 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 00:39:52 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-04-18 00:42:58 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-18 00:43:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 00:45:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-18 00:48:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 00:51:59 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e514d29093b409f92ccc.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-04-18 00:57:54 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 00:58:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 01:02:42 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 256 seconds) |
| 2026-04-18 01:03:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 01:15:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 01:20:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 01:23:05 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 01:27:33 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 246 seconds) |
| 2026-04-18 01:31:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 01:36:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 01:43:56 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 01:44:20 +0000 | dtman34 | (~dtman34@2601:447:d183:2302:b0c5:8965:1c3f:d560) (Ping timeout: 245 seconds) |
| 2026-04-18 01:46:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 01:48:05 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 245 seconds) |
| 2026-04-18 01:49:36 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-04-18 01:50:24 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-04-18 01:50:48 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-18 01:51:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 01:57:54 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2026-04-18 02:02:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 02:04:58 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-04-18 02:06:43 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 02:08:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 02:14:04 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 276 seconds) |
| 2026-04-18 02:18:31 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-04-18 02:18:58 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-18 02:20:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 02:22:51 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-04-18 02:23:38 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-18 02:24:17 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-18 02:24:26 +0000 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2026-04-18 02:24:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 02:26:03 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-18 02:28:30 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-04-18 02:30:27 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-18 02:32:28 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-18 02:35:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 02:40:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-18 02:41:54 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-04-18 02:48:33 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-18 02:50:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 02:55:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-18 03:00:02 +0000 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-04-18 03:05:00 +0000 | attlin | (~user@user/attlin) attlin |
| 2026-04-18 03:06:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 03:09:27 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 03:10:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 03:12:37 +0000 | vols | (~vols@user/vols) (Quit: ~) |
| 2026-04-18 03:21:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 03:26:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-18 03:27:05 +0000 | Googulator95 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-18 03:27:10 +0000 | Googulator84 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-18 03:30:34 +0000 | Googulator84 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Client Quit) |
| 2026-04-18 03:31:00 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-18 03:36:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 03:39:53 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-18 03:40:26 +0000 | xal | (~xal@mx1.xal.systems) (Read error: Connection reset by peer) |
| 2026-04-18 03:41:39 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2026-04-18 03:43:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 03:45:30 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 03:50:07 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2026-04-18 03:51:40 +0000 | Square3 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-04-18 03:55:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 03:59:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 04:06:06 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 04:08:43 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c6f2:203e:25ca:637b) (Ping timeout: 244 seconds) |
| 2026-04-18 04:09:18 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-18 04:10:15 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-04-18 04:10:18 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-18 04:10:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 04:12:54 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-04-18 04:16:24 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c6f2:203e:25ca:637b) |
| 2026-04-18 04:18:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 04:18:55 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-18 04:29:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 04:31:08 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-18 04:33:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-18 04:34:27 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 246 seconds) |
| 2026-04-18 04:34:27 +0000 | polykernel_ | polykernel |
| 2026-04-18 04:42:08 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 04:44:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 04:46:39 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 255 seconds) |
| 2026-04-18 04:49:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 04:58:41 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-18 05:00:18 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-18 05:00:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 05:02:11 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 05:04:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-18 05:06:54 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 255 seconds) |
| 2026-04-18 05:09:21 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 05:13:44 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 256 seconds) |
| 2026-04-18 05:15:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 05:22:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 05:33:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 05:38:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 05:43:28 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 05:48:18 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2026-04-18 05:49:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 05:54:00 +0000 | <haskellbridge> | <maerwald> kinda confused to learn that Dhall doesn't have text equality... |
| 2026-04-18 05:54:11 +0000 | <haskellbridge> | <maerwald> but Natural/Integer equality. What's the difference lol |
| 2026-04-18 05:54:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-18 05:57:28 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 06:04:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 06:09:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 06:15:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 06:19:01 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-18 06:19:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-18 06:22:32 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-18 06:29:40 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2026-04-18 06:30:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 06:33:21 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-04-18 06:35:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 06:41:47 +0000 | <haskellbridge> | <maerwald> Maybe should give Nickel a try |
| 2026-04-18 06:46:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 06:47:04 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 06:47:31 +0000 | mags_ | (~mags@cpc80651-stap13-2-0-cust620.12-2.cable.virginm.net) |
| 2026-04-18 06:47:57 +0000 | <mags_> | quit |
| 2026-04-18 06:48:00 +0000 | <mags_> | oops |
| 2026-04-18 06:48:01 +0000 | mags_ | (~mags@cpc80651-stap13-2-0-cust620.12-2.cable.virginm.net) (Client Quit) |
| 2026-04-18 06:50:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 06:54:55 +0000 | pyook | (~puke@user/puke) puke |
| 2026-04-18 06:54:56 +0000 | puke | Guest8632 |
| 2026-04-18 06:54:56 +0000 | pyook | puke |
| 2026-04-18 06:55:06 +0000 | Guest8632 | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-18 07:01:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 07:02:37 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds)) |
| 2026-04-18 07:03:07 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2026-04-18 07:04:46 +0000 | _0xa_ | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2026-04-18 07:05:00 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2026-04-18 07:05:00 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |
| 2026-04-18 07:05:00 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-04-18 07:08:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-18 07:09:16 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 07:11:59 +0000 | _0xa | (~user@user/0xa/x-3134607) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-04-18 07:12:49 +0000 | _0xa | (~user@95.179.128.10) |
| 2026-04-18 07:12:49 +0000 | _0xa | (~user@95.179.128.10) (Changing host) |
| 2026-04-18 07:12:49 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-04-18 07:14:10 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-18 07:14:12 +0000 | <gentauro> | maerwald: so you can't compare strings? |
| 2026-04-18 07:14:22 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 276 seconds) |
| 2026-04-18 07:16:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 07:20:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 07:21:20 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-18 07:21:57 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-18 07:24:16 +0000 | Logio | (em@kapsi.fi) (Quit: Lost terminal) |
| 2026-04-18 07:28:22 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 07:29:30 +0000 | _0xa | (~user@user/0xa/x-3134607) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-04-18 07:29:47 +0000 | _0xa | (~user@95.179.128.10) |
| 2026-04-18 07:29:47 +0000 | _0xa | (~user@95.179.128.10) (Changing host) |
| 2026-04-18 07:29:47 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-04-18 07:29:55 +0000 | <haskellbridge> | <maerwald> yes |
| 2026-04-18 07:31:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 07:32:34 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 248 seconds) |
| 2026-04-18 07:36:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 07:36:26 +0000 | <yushyin> | afair, that was a deliberate design decision |
| 2026-04-18 07:36:39 +0000 | <yushyin> | "The main reason for forbidding Text equality comparisons is to prevent people from parsing Text values at all, in order to encourage them to use more structured data types instead." -- https://github.com/dhall-lang/dhall-haskell/issues/72#issuecomment-309074784 |
| 2026-04-18 07:37:04 +0000 | <yushyin> | whether this is sensible or not is beyond my expertise :D |
| 2026-04-18 07:38:40 +0000 | <haskellbridge> | <maerwald> that makes no sense |
| 2026-04-18 07:39:12 +0000 | <haskellbridge> | <maerwald> because I can hack around it by encoding sum types as integers and doing equality checks on them |
| 2026-04-18 07:39:57 +0000 | <haskellbridge> | <maerwald> it's just that everything looks horrible |
| 2026-04-18 07:40:20 +0000 | <haskellbridge> | <ozkutuk> Dhall provides extension points to introduce your own built-ins, so if you are using Dhall as a library, you can extend it to add a Text/equal built-in |
| 2026-04-18 07:40:35 +0000 | <haskellbridge> | <ozkutuk> docs have an example: https://hackage-content.haskell.org/package/dhall-1.42.3/docs/Dhall-Tutorial.html#g:23 |
| 2026-04-18 07:41:06 +0000 | <haskellbridge> | <maerwald> aha, now I have to fork dhall? |
| 2026-04-18 07:42:55 +0000 | _0xa | (~user@user/0xa/x-3134607) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-04-18 07:43:03 +0000 | <haskellbridge> | <ozkutuk> no fork needed, you write your custom normalizer in your application code and pass it as an argument to the Dhall library functions rather than using the implicit default one |
| 2026-04-18 07:43:45 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2026-04-18 07:43:45 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |
| 2026-04-18 07:43:45 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-04-18 07:44:38 +0000 | <haskellbridge> | <ozkutuk> Say, you use "Dhall.inputWithSettings <yourSettings>", rather than "Dhall.input" |
| 2026-04-18 07:44:50 +0000 | <haskellbridge> | <maerwald> What application code? I want to use it to generate yaml. Now everyone who wants to use my config has to build their own dhall binary. |
| 2026-04-18 07:47:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 07:48:38 +0000 | <haskellbridge> | <ozkutuk> Ah, I see. This solution assumed you are using Dhall in your application to parse config, hence I qualified my initial response with "if you are using Dhall as a library" |
| 2026-04-18 07:48:52 +0000 | <haskellbridge> | <ozkutuk> In your case I don't think there is much you can do |
| 2026-04-18 07:49:19 +0000 | <haskellbridge> | <maerwald> Also, the Map interface... oh dear |
| 2026-04-18 07:49:50 +0000 | <haskellbridge> | <maerwald> keys have to be text (but guess what... you can't compare text, lol)... |
| 2026-04-18 07:49:56 +0000 | <haskellbridge> | <maerwald> you can't do lookup even |
| 2026-04-18 07:50:30 +0000 | <haskellbridge> | <maerwald> no sensible way to do updates (e.g. to do deeply nested merges) |
| 2026-04-18 07:51:54 +0000 | <haskellbridge> | <maerwald> it seems the only value it brings is a little bit of string interpolation... and that's all |
| 2026-04-18 07:52:51 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c6f2:203e:25ca:637b) (Ping timeout: 244 seconds) |
| 2026-04-18 07:52:52 +0000 | <haskellbridge> | <maerwald> using functions like fold/map with all the verbose type annotations looks super confusing too |
| 2026-04-18 07:53:42 +0000 | xff0x | (~xff0x@2405:6580:b080:900:73ce:e440:32fb:1d76) |
| 2026-04-18 07:56:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 07:57:29 +0000 | <haskellbridge> | <ozkutuk> maerwald: yeah this gets annoying super fast. There is a function to do function composition ("compose"), but it is pretty much useless because you need to explicitly provide the type of both sides and also the return type... |
| 2026-04-18 08:00:32 +0000 | <haskellbridge> | <maerwald> What I'm trying to do is to have a flat description of data that gets turned into a deeply nested map... but you have to handle value updates for collisions |
| 2026-04-18 08:00:49 +0000 | <haskellbridge> | <maerwald> I don't need a turing complete language for that |
| 2026-04-18 08:01:19 +0000 | <haskellbridge> | <ozkutuk> maerwald: I am confused by this though, the Prelude functions seem to be general over the key type? |
| 2026-04-18 08:04:32 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-18 08:11:03 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 265 seconds) |
| 2026-04-18 08:11:24 +0000 | <haskellbridge> | <maerwald> hm, maybe I did something wrong then |
| 2026-04-18 08:12:49 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-04-18 08:13:28 +0000 | <haskellbridge> | <maerwald> Error: Wrong type of function argument |
| 2026-04-18 08:13:28 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/uAHVWSKXlolUhvmlYrnhpPBa/dt9xjbb6wZM (3 lines) |
| 2026-04-18 08:13:40 +0000 | <haskellbridge> | <maerwald> This is what I get when using "keyValue" with a sum type |
| 2026-04-18 08:13:46 +0000 | <haskellbridge> | <maerwald> so it seems to expect Text |
| 2026-04-18 08:14:32 +0000 | <haskellbridge> | <maerwald> https://store.dhall-lang.org/Prelude-v23.1.0/Map/keyValue.dhall.html |
| 2026-04-18 08:14:35 +0000 | <haskellbridge> | <maerwald> yes it expects Text |
| 2026-04-18 08:17:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 08:21:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 08:23:52 +0000 | <haskellbridge> | <maerwald> you can create a record "{ mapKey = SomeUnionType, mapValue = "foo" }" but it seems it won't recognize it as an actual Map then |
| 2026-04-18 08:27:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-18 08:27:43 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 08:30:11 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5141894a807bc2030f5.dip0.t-ipconnect.de) |
| 2026-04-18 08:30:42 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-18 08:32:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 08:36:11 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 08:36:44 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 08:39:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-18 08:41:12 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-18 08:50:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 08:51:08 +0000 | <gentauro> | yushyin: :o |
| 2026-04-18 08:55:19 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-18 08:55:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-18 08:55:26 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 08:57:29 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-04-18 08:57:54 +0000 | raelie | (~raelie@user/raelie) raelie |
| 2026-04-18 09:00:11 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2026-04-18 09:06:08 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-18 09:09:10 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-18 09:10:27 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-18 09:11:17 +0000 | cawfee | (root@2401:c080:3800:3460::babe) (Quit: WeeChat 4.8.1) |
| 2026-04-18 09:11:34 +0000 | cawfee | (root@2401:c080:3800:3460::babe) qjqqyy |
| 2026-04-18 09:18:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 09:18:53 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-18 09:21:41 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 09:22:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-18 09:25:51 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-18 09:33:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 09:35:17 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 09:37:52 +0000 | PickChea | (~PickChea@user/pickchea) Pickchea |
| 2026-04-18 09:38:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 09:45:26 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-18 09:49:06 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-18 09:50:04 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 09:52:54 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-04-18 09:53:13 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e506416acdcc27bf5aca.dip0.t-ipconnect.de) acidjnk |
| 2026-04-18 09:53:33 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-04-18 09:56:40 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-18 09:56:49 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5141894a807bc2030f5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-04-18 09:56:55 +0000 | Guest62 | (~Guest62@p200300ca8f0fd6005fc48170fd0a94cd.dip0.t-ipconnect.de) |
| 2026-04-18 10:04:29 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-18 10:08:51 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-04-18 10:10:14 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:9a5:64fb:d75b:893c) |
| 2026-04-18 10:10:14 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:9a5:64fb:d75b:893c) (Changing host) |
| 2026-04-18 10:10:14 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-18 10:17:19 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 10:19:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 10:19:54 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-18 10:21:40 +0000 | Milan_Vanca | (~milan@88.212.61.169) |
| 2026-04-18 10:21:55 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2026-04-18 10:22:55 +0000 | Tuplanolla | (~Tuplanoll@85-156-32-112.elisa-laajakaista.fi) Tuplanolla |
| 2026-04-18 10:23:32 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 10:24:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 10:24:42 +0000 | <Milan_Vanca> | Hello guyz, this might be offtopic but in the end it is related to haskell. Imaigne program you parallelize it and gain speedup... Then some time later the same program parallelized gained slowdown. My question is could different CPU show slowdown? |
| 2026-04-18 10:28:17 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-18 10:28:38 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2026-04-18 10:30:08 +0000 | raelie | (~raelie@user/raelie) () |
| 2026-04-18 10:33:55 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-04-18 10:34:55 +0000 | <darkling> | Yes. Just off the top of my head, there's memory bandwidth and SMT that could affect the parallelism. There's undoubtedly a bunch of other reasons that I haven't thought of yet. |
| 2026-04-18 10:35:24 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-18 10:42:04 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 10:46:30 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-18 10:48:00 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-18 10:48:42 +0000 | cawfee | (root@2401:c080:3800:3460::babe) (Quit: WeeChat 4.9.0) |
| 2026-04-18 10:49:25 +0000 | <Milan_Vanca> | Ah paralelization is hard... |
| 2026-04-18 10:50:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 10:52:48 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-04-18 10:54:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 10:55:44 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-18 10:59:03 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 11:01:12 +0000 | comonad | (~comonad@p200300d027019d009435023fd7f36a1f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-04-18 11:03:05 +0000 | comonad | (~comonad@p200300d027288000c87b63c79bf92a6b.dip0.t-ipconnect.de) |
| 2026-04-18 11:03:30 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-18 11:04:37 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:9a5:64fb:d75b:893c) |
| 2026-04-18 11:04:37 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:9a5:64fb:d75b:893c) (Changing host) |
| 2026-04-18 11:04:37 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-18 11:09:13 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-04-18 11:09:32 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-04-18 11:13:23 +0000 | PickChea | (~PickChea@user/pickchea) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2026-04-18 11:15:45 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-18 11:19:39 +0000 | <Milan_Vanca> | I have found yet another interesting fact same CPU idle, seq = 0.6s, par = 0.3s, CPU busy seq = 2s, par= 4,3s |
| 2026-04-18 11:20:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 11:20:33 +0000 | <Milan_Vanca> | I would expect still 2x speedup so when CPU is busy par should be 1s. But it is not... interesting |
| 2026-04-18 11:21:49 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 11:23:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:73ce:e440:32fb:1d76) (Ping timeout: 246 seconds) |
| 2026-04-18 11:25:56 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b92c:2467:1a30:4f61) |
| 2026-04-18 11:26:20 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-18 11:27:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 11:27:26 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-18 11:37:37 +0000 | hsw | (~hsw@106.104.103.195) hsw |
| 2026-04-18 11:38:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 11:39:43 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-04-18 11:42:17 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 11:42:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-18 11:46:57 +0000 | <jreicher> | Milan_Vanca: did you add any locking or resource contention to introduce the parallelisation? |
| 2026-04-18 11:47:01 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2026-04-18 11:47:41 +0000 | <gentauro> | Milan_Vanca: from uni days, CPU's aren't all what you expect (except the PlayStation 3 cell processor). Most parts of CPU are used by branch-prediction |
| 2026-04-18 11:47:57 +0000 | gentauro | this is a longer story and not really related to Haskell as you say |
| 2026-04-18 11:51:17 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-04-18 11:51:58 +0000 | <Milan_Vanca> | jreicher: I am using from Control.Parallel.Strategies, rseq, parList.. |
| 2026-04-18 11:52:55 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-04-18 11:53:16 +0000 | <Milan_Vanca> | gentauro: I get that there is branch-prediction and choosing wrong branch slows execution down. However other processes don't "poision" branch prediction for other processes right? |
| 2026-04-18 11:53:31 +0000 | <Milan_Vanca> | Or do they? |
| 2026-04-18 11:53:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 11:57:35 +0000 | vgtw_ | (~vgtw@user/vgtw) vgtw |
| 2026-04-18 11:57:35 +0000 | <Milan_Vanca> | gentauro: And what do you mean by "except the PlayStation 3 cell processor"? |
| 2026-04-18 11:58:29 +0000 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2026-04-18 11:58:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 12:00:49 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 2026-04-18 12:01:41 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 12:06:15 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-04-18 12:06:45 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2026-04-18 12:07:03 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-18 12:09:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 12:09:47 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-04-18 12:13:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 12:18:10 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-04-18 12:22:38 +0000 | cawfee | (root@2401:c080:3800:3460::babe) qjqqyy |
| 2026-04-18 12:24:27 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 12:24:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 12:25:55 +0000 | <yin> | it breaks my heart having to discard all my elegant purely functional solutions with knot tying and all that good stuff |
| 2026-04-18 12:26:30 +0000 | <yin> | when the time to optimize comes |
| 2026-04-18 12:27:47 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-18 12:27:48 +0000 | <yin> | import Data.Vector here I come... |
| 2026-04-18 12:28:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 12:28:56 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 256 seconds) |
| 2026-04-18 12:29:16 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-18 12:37:44 +0000 | jreicher | (~joelr@user/jreicher) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-18 12:38:35 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-18 12:40:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 12:40:20 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2026-04-18 12:40:58 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-04-18 12:41:12 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-18 12:44:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 12:49:28 +0000 | jreicher | (~joelr@user/jreicher) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-18 12:49:34 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-18 12:50:03 +0000 | Milan_Vanca | (~milan@88.212.61.169) (Quit: WeeChat 4.7.2) |
| 2026-04-18 12:51:07 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-18 12:55:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 12:58:59 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 13:02:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-18 13:03:22 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-18 13:13:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 13:17:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 13:18:54 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 13:22:57 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-18 13:23:54 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 13:28:05 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2026-04-18 13:28:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 13:33:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 13:40:57 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2026-04-18 13:42:00 +0000 | Guest62 | (~Guest62@p200300ca8f0fd6005fc48170fd0a94cd.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2026-04-18 13:43:07 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 13:44:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 13:47:23 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2026-04-18 13:49:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-18 13:57:38 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 248 seconds) |
| 2026-04-18 13:59:50 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2026-04-18 13:59:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 14:03:08 +0000 | Square3 | (~Square@user/square) Square |
| 2026-04-18 14:04:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 14:09:24 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-18 14:10:41 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-18 14:15:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 14:17:12 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-18 14:18:43 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 14:20:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-18 14:21:24 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2026-04-18 14:23:27 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2026-04-18 14:24:09 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-04-18 14:27:00 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 14:30:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 14:37:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 14:41:55 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 14:43:30 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 14:48:11 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2026-04-18 14:48:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 14:51:24 +0000 | xal | (~xal@mx1.xal.systems) (Quit: No Ping reply in 180 seconds.) |
| 2026-04-18 14:52:43 +0000 | ent | (entgod@kapsi.fi) (Remote host closed the connection) |
| 2026-04-18 14:53:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-18 14:54:10 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2026-04-18 14:59:43 +0000 | <gentauro> | yin: that should be the compilers job |
| 2026-04-18 15:02:51 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 15:04:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 15:07:30 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 248 seconds) |
| 2026-04-18 15:08:00 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-18 15:08:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-18 15:19:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 15:24:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-18 15:25:54 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 15:28:32 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-18 15:30:55 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2026-04-18 15:34:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 15:38:23 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 15:38:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 15:45:02 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 15:47:26 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-18 15:47:43 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-18 15:49:29 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 248 seconds) |
| 2026-04-18 15:50:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 15:53:51 +0000 | emaczen | (~user@user/emaczen) emaczen |
| 2026-04-18 15:54:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-18 15:56:00 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 15:57:29 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2026-04-18 16:02:05 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-04-18 16:05:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 16:09:58 +0000 | <yin> | gentauro: i wish ghc was that smart |
| 2026-04-18 16:11:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-18 16:20:34 +0000 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 248 seconds) |
| 2026-04-18 16:26:09 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-18 16:29:27 +0000 | <juri_> | Has anyone here worked with intelli-monad? I'm having trouble getting it to function, and it has no real built in debugging. |
| 2026-04-18 16:34:50 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-18 16:34:56 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-18 16:36:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 16:38:49 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 16:41:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 16:42:03 +0000 | <gentauro> | yin: a good example on "nice code" transforming into monstrocity -> https://chrispenner.ca/posts/wc :'( |
| 2026-04-18 16:42:57 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-18 16:46:50 +0000 | Vajb | (~Vajb@n854ip96os9fc74v6iq-1.v6.elisa-mobile.fi) (Ping timeout: 245 seconds) |
| 2026-04-18 16:47:39 +0000 | Vajb | (~Vajb@n739npbtpf138whub2d-1.v6.elisa-mobile.fi) |
| 2026-04-18 16:53:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 16:56:16 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-04-18 16:56:54 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2026-04-18 16:58:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 16:58:52 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 17:03:19 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2026-04-18 17:04:15 +0000 | Guest37 | (~Guest37@150.107.206.33) |
| 2026-04-18 17:08:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 17:09:47 +0000 | Guest37 | (~Guest37@150.107.206.33) (Ping timeout: 245 seconds) |
| 2026-04-18 17:13:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 17:19:04 +0000 | Guest37 | (~Guest37@150.107.206.33) |
| 2026-04-18 17:21:42 +0000 | <janus> | gentauro: that's not what Chris Penner says though. He says in the article that he considers the final version very readable |
| 2026-04-18 17:22:05 +0000 | Guest37 | (~Guest37@150.107.206.33) (Client Quit) |
| 2026-04-18 17:24:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 17:24:21 +0000 | <monochrom> | I have too lazy to read that post. But supposedly you can always have your own judgment on the code, despite what the author self-declares. |
| 2026-04-18 17:25:40 +0000 | <janus> | i can see why streaming is seen as complicated. i've never used it in anger |
| 2026-04-18 17:26:00 +0000 | <janus> | but it seems like a useful abstraction at some point |
| 2026-04-18 17:26:42 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 17:27:05 +0000 | <janus> | and it's a subject we keep having to mention because lazy IO is a poor man's streaming, i think? |
| 2026-04-18 17:27:55 +0000 | <janus> | gentauro: but do you actually think lazy IO was a mistake? |
| 2026-04-18 17:28:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-18 17:29:25 +0000 | <monochrom> | Yeah l use lazy IO, but only because I only need toy programs. :) |
| 2026-04-18 17:29:48 +0000 | <monochrom> | aka scripts |
| 2026-04-18 17:30:03 +0000 | <monochrom> | (shots fired haha) |
| 2026-04-18 17:30:08 +0000 | <janus> | sure it's convenient, it's just unfortunate when the stdlib provides foot guns |
| 2026-04-18 17:30:27 +0000 | <janus> | i think your view is common. it's pragmatic |
| 2026-04-18 17:30:39 +0000 | <monochrom> | Alternatively, I really understand lazy evaluation, so lazy IO doesn't bite me. |
| 2026-04-18 17:31:20 +0000 | <janus> | heh i like that, that is the GOAT perspective |
| 2026-04-18 17:31:59 +0000 | <janus> | like Lamport dressing like a clown and saying "why should you trust me?", then changing clothes and saying "I won the turing award" |
| 2026-04-18 17:32:10 +0000 | <monochrom> | haha |
| 2026-04-18 17:34:44 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 17:34:57 +0000 | <monochrom> | I recognize that beyond toys and scripts, lazy IO requires too much thinking and re-thinking to tame, even if you understand lazy evaluation perfectly, e.g., it's fragile (tiny changes to your pure FP code implies big changes to I/O timing). Streaming libraries give you much better predictability and peace of mind. |
| 2026-04-18 17:39:09 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-18 17:40:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 17:41:26 +0000 | marinelli | (~weechat@brrr.fr) marinelli |
| 2026-04-18 17:44:30 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-18 17:44:51 +0000 | <haskellbridge> | <maerwald> Depends on the streaming library |
| 2026-04-18 17:45:55 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2026-04-18 17:46:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 17:47:51 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-18 17:48:37 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-18 17:55:03 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2026-04-18 17:58:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 18:02:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 18:04:49 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-18 18:08:36 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 18:13:21 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2026-04-18 18:13:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 18:15:02 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2026-04-18 18:15:19 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 245 seconds) |
| 2026-04-18 18:17:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-04-18 18:18:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-18 18:29:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 18:33:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 18:34:30 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-18 18:43:26 +0000 | Square3 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-04-18 18:43:26 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 18:44:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 18:47:40 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2026-04-18 18:47:50 +0000 | <gentauro> | janus: lazy IO is the best |
| 2026-04-18 18:48:34 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-18 18:49:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-18 18:49:25 +0000 | <janus> | gentauro: did you see Tweag is paying to remove acid-state from hackage-server? |
| 2026-04-18 18:50:50 +0000 | <janus> | (there is actually a SEGWAY between these topics, as we had a problem with referencial transparency and acid-state, it encoded the module location to disk) |
| 2026-04-18 18:51:02 +0000 | <gentauro> | janus: you can't really call the final solution "Haskell code" -> https://github.com/composewell/streamly/blob/master/src/Streamly/Internal/System/IOVec/Type.hsc |
| 2026-04-18 18:51:29 +0000 | <EvanR> | you can pay to remove things from hackage? |
| 2026-04-18 18:51:52 +0000 | <gentauro> | FFI'ing to C/C++ isn't really Haskell |
| 2026-04-18 18:51:56 +0000 | <janus> | EvanR: you have to pay! who would do the work without payment? |
| 2026-04-18 18:52:14 +0000 | <gentauro> | if that's the approach, well, then we are no better than "wrappy", ups, I mean Python |
| 2026-04-18 18:52:15 +0000 | <janus> | gentauro: ah right, that is an age old issue with the GHC ecosystem i suppose |
| 2026-04-18 18:52:52 +0000 | <janus> | EvanR: as part of the work, a new storage backend must be added, of course |
| 2026-04-18 18:53:01 +0000 | <gentauro> | janus: corner-cutting in the name of "pragmatism" (aka sloppiness) |
| 2026-04-18 18:53:10 +0000 | <EvanR> | FFIing to C isn't really haskell so, anything that uses Integer (gmp) isn't haskell! |
| 2026-04-18 18:53:20 +0000 | <gentauro> | EvanR: correct |
| 2026-04-18 18:53:26 +0000 | <EvanR> | lol |
| 2026-04-18 18:54:40 +0000 | <mauke> | segue? |
| 2026-04-18 18:55:03 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-18 18:55:40 +0000 | <gentauro> | janus: is Tweag still doing Haskell? |
| 2026-04-18 18:55:54 +0000 | <janus> | mauke: yes sry |
| 2026-04-18 18:56:55 +0000 | gmg | (~user@user/gehmehgeh) (Client Quit) |
| 2026-04-18 18:56:58 +0000 | <janus> | gentauro: yes, look at their blog: https://www.tweag.io/tag/haskell |
| 2026-04-18 18:57:22 +0000 | <gentauro> | hmmm, I thought they dropped all FP when Mathieu Boespflug sold the company |
| 2026-04-18 18:57:28 +0000 | <gentauro> | but good to know they still at it :) |
| 2026-04-18 18:57:56 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-18 18:59:17 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 18:59:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 19:01:11 +0000 | <gentauro> | I guess there is still a spot for my (low-level) F# parquet/delta-lake lib (with pql {…} and dql {…} computations expressions …). I never understood the "simplistic" approach to wrapping stuff for the sake of wrapping stuff. At that point, just use Java … |
| 2026-04-18 19:01:17 +0000 | <gentauro> | anyway :-\ |
| 2026-04-18 19:04:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 19:08:04 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 276 seconds) |
| 2026-04-18 19:11:42 +0000 | gentauro | forgot posting link -> https://www.tweag.io/blog/2022-12-08-creating-a-Delta-Lake-in-Haskell-with-Sparkle/ |
| 2026-04-18 19:15:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 19:20:12 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-04-18 19:21:47 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 19:21:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-18 19:29:29 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2026-04-18 19:29:41 +0000 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
| 2026-04-18 19:30:40 +0000 | hololeap | (~quassel@user/hololeap) hololeap |
| 2026-04-18 19:33:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 19:33:41 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-18 19:37:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 19:37:53 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-18 19:38:06 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 2026-04-18 19:39:01 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-18 19:39:40 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-18 19:40:32 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-18 19:48:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 19:52:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-18 19:57:22 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-18 19:57:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2026-04-18 19:58:42 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-04-18 19:59:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 20:00:58 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 20:04:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-18 20:05:43 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2026-04-18 20:06:51 +0000 | xal | (~xal@mx1.xal.systems) (Ping timeout: 246 seconds) |
| 2026-04-18 20:06:51 +0000 | xal_ | (~xal@mx1.xal.systems) xal |
| 2026-04-18 20:14:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 20:19:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 20:20:10 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-18 20:30:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 20:34:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 20:37:12 +0000 | <yin> | pure $ unsafePerformIO $ peek nullPtr :: IO Word |
| 2026-04-18 20:38:00 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 20:38:37 +0000 | <int-e> | you can use `unsafeInterleaveIO` if you're doing pure . unsafePerformIO in the IO monad |
| 2026-04-18 20:42:27 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 255 seconds) |
| 2026-04-18 20:45:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 20:48:55 +0000 | haritzondo | (~hrtz@140.228.70.141) (Changing host) |
| 2026-04-18 20:48:55 +0000 | haritzondo | (~hrtz@user/haritz) haritz |
| 2026-04-18 20:50:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-18 20:50:48 +0000 | xal_ | (~xal@mx1.xal.systems) (Read error: Connection reset by peer) |
| 2026-04-18 20:52:01 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2026-04-18 20:53:17 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-04-18 20:57:01 +0000 | haritzondo | haritz |
| 2026-04-18 20:57:06 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 20:58:04 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-18 21:00:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 21:01:22 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-18 21:01:23 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-18 21:04:09 +0000 | eugenrh | (~eugenrh@user/eugenrh) (Quit: WeeChat 4.6.3) |
| 2026-04-18 21:05:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-18 21:06:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-18 21:07:26 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-18 21:17:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 21:19:36 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-04-18 21:21:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 21:23:50 +0000 | vols | (~vols@user/vols) vols |
| 2026-04-18 21:30:17 +0000 | eugenrh | (~eugenrh@user/eugenrh) eugenrh |
| 2026-04-18 21:31:53 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 21:32:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 21:33:06 +0000 | malte | (~malte@mal.tc) (Ping timeout: 248 seconds) |
| 2026-04-18 21:36:19 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-04-18 21:36:47 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2026-04-18 21:37:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 21:39:01 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-04-18 21:39:09 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-18 21:46:35 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:b5ec:efdf:69e2:8f88) |
| 2026-04-18 21:46:35 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:b5ec:efdf:69e2:8f88) (Changing host) |
| 2026-04-18 21:46:35 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-18 21:48:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 21:53:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-18 21:53:23 +0000 | Square3 | (~Square@user/square) Square |
| 2026-04-18 21:55:03 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-18 21:58:27 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-18 22:02:01 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 22:03:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 22:06:12 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-18 22:10:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-18 22:10:58 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 248 seconds) |
| 2026-04-18 22:14:00 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-04-18 22:21:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-18 22:22:12 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-18 22:25:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-18 22:26:09 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 246 seconds) |
| 2026-04-18 22:26:25 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 245 seconds) |