| 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... |