| 2026-04-19 00:00:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-19 00:02:09 +0000 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2026-04-19 00:03:27 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-19 00:05:36 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-19 00:09:34 +0000 | Square | (~Square@user/square) Square |
| 2026-04-19 00:09:58 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-19 00:11:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 00:16:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-19 00:16:41 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2026-04-19 00:17:22 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-19 00:24:06 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-04-19 00:24:06 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-04-19 00:24:06 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-19 00:27:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 00:28:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-04-19 00:28:56 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-19 00:31:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 00:42:08 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-19 00:42:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 00:47:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 00:47:26 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-19 00:49:49 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2026-04-19 00:55:23 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-19 01:02:08 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e506416acdcc27bf5aca.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2026-04-19 01:13:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 01:13:15 +0000 | Tuplanolla | (~Tuplanoll@85-156-32-112.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-04-19 01:13:42 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-19 01:20:27 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-19 01:20:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-19 01:23:22 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2026-04-19 01:25:06 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 248 seconds) |
| 2026-04-19 01:31:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 01:36:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 01:39:54 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-19 01:45:02 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2026-04-19 01:46:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 01:51:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-19 01:57:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-04-19 02:01:13 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-19 02:02:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 02:05:02 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-04-19 02:05:45 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-04-19 02:06:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 02:11:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 02:11:54 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2026-04-19 02:13:55 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-19 02:16:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 02:25:17 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-19 02:26:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 02:31:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-19 02:42:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 02:44:32 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2026-04-19 02:47:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 02:57:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 03:04:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 03:06:50 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-19 03:11:15 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 255 seconds) |
| 2026-04-19 03:15:35 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-19 03:20:00 +0000 | wickedjargon | (~user@184.69.139.242) wickedjargon |
| 2026-04-19 03:20:16 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 268 seconds) |
| 2026-04-19 03:26:55 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-19 03:30:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 03:31:59 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2026-04-19 03:32:27 +0000 | wickedjargon | (~user@184.69.139.242) (Remote host closed the connection) |
| 2026-04-19 03:32:59 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-19 03:35:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 03:41:02 +0000 | user363627 | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2026-04-19 03:42:31 +0000 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2026-04-19 03:43:35 +0000 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2026-04-19 03:44:42 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-19 03:46:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 03:50:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-19 03:59:37 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-19 04:00:58 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-19 04:05:38 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 256 seconds) |
| 2026-04-19 04:08:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 04:08:47 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-19 04:09:45 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 248 seconds) |
| 2026-04-19 04:12:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 04:13:05 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2026-04-19 04:23:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 04:27:50 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) |
| 2026-04-19 04:28:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-19 04:32:26 +0000 | uli-fem | (~uli-fem@14-202-246-84.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2026-04-19 04:39:29 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-19 04:42:15 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-19 04:46:12 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-04-19 04:57:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 05:02:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-19 05:09:07 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-19 05:12:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 05:17:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-19 05:27:27 +0000 | skum | (~skum@user/skum) (Quit: WeeChat 4.9.0) |
| 2026-04-19 05:28:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 05:32:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-19 05:38:34 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-19 05:39:17 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-19 05:40:05 +0000 | skum | (~skum@user/skum) skum |
| 2026-04-19 05:43:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 05:47:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 05:49:50 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-19 05:52:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 05:57:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 05:59:35 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-19 06:08:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 06:11:11 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-19 06:12:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 06:14:28 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Client Quit) |
| 2026-04-19 06:15:29 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2026-04-19 06:16:50 +0000 | ent- | (entgod@kapsi.fi) ent |
| 2026-04-19 06:22:27 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-19 06:23:07 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-19 06:23:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 06:30:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-19 06:33:52 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2026-04-19 06:41:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 06:46:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-19 06:52:21 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2026-04-19 06:53:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 06:58:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-19 06:59:07 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-19 07:01:02 +0000 | tt123160701978 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-19 07:06:47 +0000 | <gentauro> | always found it fascinating that using C-FFI from Haskell, is actually `Safe` (as long as you don't hide the fact that our are FFI'ing): https://blog.stermon.org/articles/2019/02/04/haskell-usage-of-malloc-free-is-safe.html 👍 |
| 2026-04-19 07:07:16 +0000 | tt123160701978 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-04-19 07:09:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 07:10:42 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-19 07:13:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 07:24:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 07:29:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 07:32:02 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2026-04-19 07:34:29 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-04-19 07:35:28 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 07:39:55 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 264 seconds) |
| 2026-04-19 07:40:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 07:44:47 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-19 07:44:48 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds)) |
| 2026-04-19 07:45:13 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2026-04-19 07:45:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-19 07:47:56 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-04-19 07:51:15 +0000 | <haskellbridge> | <Liamzee> i'm 100% an idiot, but this is nothing new |
| 2026-04-19 07:51:32 +0000 | <haskellbridge> | <Liamzee> Twain wants you to build ResponderMs, then use Post etc on them |
| 2026-04-19 07:54:59 +0000 | <haskellbridge> | <Liamzee> on a route list |
| 2026-04-19 07:55:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 07:55:10 +0000 | <haskellbridge> | <Liamzee> which makes the thing 100% workable, despite the dumb /foo/ inaccessibility bug |
| 2026-04-19 07:55:19 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 07:59:42 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 255 seconds) |
| 2026-04-19 08:01:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 08:12:27 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 08:16:40 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 244 seconds) |
| 2026-04-19 08:24:41 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-19 08:39:41 +0000 | acidjnk | (~acidjnk@p200300d6e700e5065e1c62b433f721ae.dip0.t-ipconnect.de) acidjnk |
| 2026-04-19 08:43:43 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-19 08:46:32 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 08:50:40 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 244 seconds) |
| 2026-04-19 08:52:03 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:b5ec:efdf:69e2:8f88) |
| 2026-04-19 08:52:03 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:b5ec:efdf:69e2:8f88) (Changing host) |
| 2026-04-19 08:52:03 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-19 08:56:04 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-19 08:59:33 +0000 | Blabbage | (~Blabbage@12.246.229.218) |
| 2026-04-19 09:00:19 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-04-19 09:00:43 +0000 | <Blabbage> | Any want to tell me why monoids are usefull |
| 2026-04-19 09:06:03 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 09:07:30 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-04-19 09:07:42 +0000 | Blabbage | (~Blabbage@12.246.229.218) (Ping timeout: 245 seconds) |
| 2026-04-19 09:10:41 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:f442:f813:ca8e:33af) |
| 2026-04-19 09:10:41 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:f442:f813:ca8e:33af) (Changing host) |
| 2026-04-19 09:10:41 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-19 09:10:42 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 248 seconds) |
| 2026-04-19 09:11:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 09:15:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 09:21:23 +0000 | <haskellbridge> | <Liamzee> Blabbage: because you want to text append |
| 2026-04-19 09:21:31 +0000 | Blabbage | (~Blabbage@12.246.229.218) |
| 2026-04-19 09:21:33 +0000 | <haskellbridge> | <Liamzee> also apparently monoidal parallelism is a thing |
| 2026-04-19 09:21:42 +0000 | <haskellbridge> | <Liamzee> Blabbage: because you want to text append |
| 2026-04-19 09:21:45 +0000 | <haskellbridge> | <Liamzee> Also, I found something cool |
| 2026-04-19 09:22:05 +0000 | <haskellbridge> | <Liamzee> ask >>= lift {- or liftIO -} . \Env {..} -> do |
| 2026-04-19 09:22:06 +0000 | Blabbage | (~Blabbage@12.246.229.218) (Client Quit) |
| 2026-04-19 09:22:26 +0000 | Blabbage | (~Blabbage@96.74.93.113) |
| 2026-04-19 09:26:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 09:31:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 09:36:27 +0000 | Blabbage | (~Blabbage@96.74.93.113) (Ping timeout: 245 seconds) |
| 2026-04-19 09:38:33 +0000 | malte | (~malte@mal.tc) malte |
| 2026-04-19 09:40:29 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-04-19 09:42:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 09:46:46 +0000 | Tuplanolla | (~Tuplanoll@85-156-32-112.elisa-laajakaista.fi) Tuplanolla |
| 2026-04-19 09:47:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 09:50:50 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-19 09:52:03 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5285317e8fcede52e1d.dip0.t-ipconnect.de) |
| 2026-04-19 09:55:45 +0000 | acidjnk | (~acidjnk@p200300d6e700e5065e1c62b433f721ae.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-04-19 09:57:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 10:01:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-19 10:02:19 +0000 | zeenk | (~zeenk@2a02:2f04:a30e:6d00::879) zeenk |
| 2026-04-19 10:06:16 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 10:11:07 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 264 seconds) |
| 2026-04-19 10:11:47 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-19 10:12:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 10:14:33 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 10:15:19 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2026-04-19 10:16:32 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-04-19 10:18:50 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 252 seconds) |
| 2026-04-19 10:19:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 10:24:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 10:29:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 10:35:39 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 272 seconds) |
| 2026-04-19 10:36:53 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-19 10:39:23 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-04-19 10:39:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 10:44:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-19 10:47:46 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b92c:2467:1a30:4f61) (Ping timeout: 248 seconds) |
| 2026-04-19 10:55:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 11:02:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 11:03:36 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 11:08:15 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 255 seconds) |
| 2026-04-19 11:09:15 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-04-19 11:09:35 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-04-19 11:13:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 11:18:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-19 11:21:07 +0000 | xff0x | (~xff0x@2405:6580:b080:900:327f:cd1:7644:a0b0) |
| 2026-04-19 11:25:19 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-19 11:28:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 11:33:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-19 11:44:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 11:49:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-19 11:50:02 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 11:56:27 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 4.6.3) |
| 2026-04-19 11:57:06 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 248 seconds) |
| 2026-04-19 11:59:36 +0000 | Beowulf | (florian@sleipnir.bandrate.org) (Quit: = "") |
| 2026-04-19 11:59:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 12:06:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 12:08:18 +0000 | Beowulf | (florian@sleipnir.bandrate.org) |
| 2026-04-19 12:15:19 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-19 12:16:01 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 12:17:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 12:20:42 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 255 seconds) |
| 2026-04-19 12:22:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 12:33:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 12:38:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-19 12:48:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 12:50:58 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-19 12:53:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 12:53:20 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 12:57:55 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 264 seconds) |
| 2026-04-19 13:03:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 13:04:03 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-19 13:05:13 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-19 13:05:39 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-19 13:07:36 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-19 13:07:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 13:11:03 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2026-04-19 13:16:54 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 13:19:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 13:21:30 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 244 seconds) |
| 2026-04-19 13:22:29 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 2026-04-19 13:23:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-19 13:23:47 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-19 13:23:56 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-19 13:25:00 +0000 | bggd | (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-04-19 13:32:40 +0000 | Guest48 | (~Guest48@213-67-29-199-no600.tbcn.telia.com) |
| 2026-04-19 13:34:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 13:41:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-19 13:44:47 +0000 | Guest48 | (~Guest48@213-67-29-199-no600.tbcn.telia.com) (Ping timeout: 245 seconds) |
| 2026-04-19 13:46:25 +0000 | <juri_> | Would junji hashimoto happen to be about? I'm about to do a fork-file_pr for two of his projects, at minimum. |
| 2026-04-19 13:52:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 13:52:53 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-19 13:57:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 14:00:19 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 14:05:18 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 268 seconds) |
| 2026-04-19 14:07:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 14:09:52 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-19 14:12:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 14:23:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 14:27:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-19 14:38:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 14:43:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 14:43:16 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-04-19 14:46:33 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:f442:f813:ca8e:33af) |
| 2026-04-19 14:46:33 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:f442:f813:ca8e:33af) (Changing host) |
| 2026-04-19 14:46:33 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-19 14:48:19 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-19 14:50:41 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 14:52:48 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-04-19 14:55:05 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 248 seconds) |
| 2026-04-19 15:03:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 15:07:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 15:09:53 +0000 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2026-04-19 15:11:33 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 15:15:45 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 255 seconds) |
| 2026-04-19 15:19:25 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-19 15:20:08 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-04-19 15:20:08 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-04-19 15:20:08 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-19 15:21:23 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-19 15:26:03 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 246 seconds) |
| 2026-04-19 15:31:10 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-19 15:36:18 +0000 | vgtw_ | (~vgtw@user/vgtw) (Ping timeout: 248 seconds) |
| 2026-04-19 15:37:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 15:37:41 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 15:38:48 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-04-19 15:40:24 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2026-04-19 15:41:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-19 15:42:18 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 255 seconds) |
| 2026-04-19 15:42:39 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-19 15:45:55 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2026-04-19 15:47:35 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-19 15:52:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 15:56:02 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2026-04-19 15:57:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-19 15:58:34 +0000 | <janus> | i talked about iso-inductive types a few days back |
| 2026-04-19 15:58:53 +0000 | <janus> | and now i found solomon did a chain of interpreters https://github.com/solomon-b/lambda-calculus-hs/blob/main/main/09b-IsoInductiveTypes.hs |
| 2026-04-19 15:58:59 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-19 15:59:26 +0000 | <janus> | it seems like the main concern was about whether the fold-unfolding would retain the right laziness |
| 2026-04-19 16:00:06 +0000 | <janus> | but i didn't actually understand why it wouldn't |
| 2026-04-19 16:00:12 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:19a4:6d16:82eb:d1) |
| 2026-04-19 16:00:12 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:19a4:6d16:82eb:d1) (Changing host) |
| 2026-04-19 16:00:12 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-19 16:02:15 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-19 16:07:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 16:08:38 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-19 16:09:23 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-19 16:12:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-19 16:14:24 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 16:16:39 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 244 seconds) |
| 2026-04-19 16:18:26 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-04-19 16:19:33 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 272 seconds) |
| 2026-04-19 16:19:39 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 255 seconds) |
| 2026-04-19 16:23:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 16:24:45 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-04-19 16:25:22 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-04-19 16:25:49 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-19 16:26:22 +0000 | alhazrod | (uid662262@user/alhazrod) alhazrod |
| 2026-04-19 16:27:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-19 16:38:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 16:39:28 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-04-19 16:43:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 16:48:21 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 16:49:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 16:52:49 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 245 seconds) |
| 2026-04-19 16:53:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-19 16:54:53 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-19 16:55:08 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-19 17:04:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 17:07:48 +0000 | skum | (~skum@user/skum) (Ping timeout: 255 seconds) |
| 2026-04-19 17:09:52 +0000 | skum | (~skum@user/skum) skum |
| 2026-04-19 17:11:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 17:11:40 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-19 17:14:36 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-19 17:22:21 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 17:22:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 17:25:48 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-19 17:26:02 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-19 17:27:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 17:28:56 +0000 | tristanC | (~tristanC@2602:4b:ac7b:500:701e:9a24:a355:5957) (Ping timeout: 252 seconds) |
| 2026-04-19 17:29:22 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 248 seconds) |
| 2026-04-19 17:30:35 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 252 seconds) |
| 2026-04-19 17:34:50 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2026-04-19 17:38:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 17:39:44 +0000 | Square2 | (~Square@user/square) Square |
| 2026-04-19 17:41:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-04-19 17:41:44 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-04-19 17:43:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-19 17:45:18 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 17:45:22 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) |
| 2026-04-19 17:45:29 +0000 | Enrico63 | (~Enrico63@host-95-249-71-165.retail.telecomitalia.it) Enrico63 |
| 2026-04-19 17:49:29 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 248 seconds) |
| 2026-04-19 17:50:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 17:50:25 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-19 17:54:43 +0000 | Enrico63 | (~Enrico63@host-95-249-71-165.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-19 17:55:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 18:03:36 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-04-19 18:05:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 18:06:12 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-19 18:10:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-19 18:12:34 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-19 18:13:14 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-19 18:14:22 +0000 | <monochrom> | \∩/ I guessed right about why Dhall mandates handwritten types for functions (e.g. \(x:Natural) -> x+x). Last time I saw that requirement was System F. So I thought "is it just because Dhall is System F? and if so, can I do the usual System F trick to sneak in any positively recursive ADT?" The answer is yes and yes! In fact they have a howto for that! |
| 2026-04-19 18:14:31 +0000 | <monochrom> | https://docs.dhall-lang.org/howtos/How-to-translate-recursive-code-to-Dhall.html |
| 2026-04-19 18:16:09 +0000 | <monochrom> | So the language doesn't directly allow recursive ADT but they tell you that the backdoor is rank-n polymorphic church encoding. |
| 2026-04-19 18:17:34 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-19 18:21:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 18:21:04 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-19 18:21:15 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 18:24:03 +0000 | lol_ | jcarpenter2 |
| 2026-04-19 18:25:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 18:25:49 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 244 seconds) |
| 2026-04-19 18:28:15 +0000 | <monochrom> | More completely (pun!), handwritten types for lambdas and explicity type applications when calling polymorphic functions. So a better example is: Haskell's "map (\x -> x>0)" becomes Dhall's "map Natural Bool (\(x:Natural -> x>0))". That really looks like System F. |
| 2026-04-19 18:29:58 +0000 | <monochrom> | plus the meta-clue that Gabriella is very PLT well-informed (unlike the makers of Perl, Python, PHP) so if she chose this there must be a PLT reason. |
| 2026-04-19 18:36:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 18:41:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-19 18:42:42 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-19 18:51:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 18:51:31 +0000 | gabriel_sevecek | (~gabriel@92-180-224-71.dynamic.orange.sk) (Quit: WeeChat 4.9.0) |
| 2026-04-19 18:52:26 +0000 | gabriel_sevecek | (~gabriel@92-180-224-71.dynamic.orange.sk) gabriel_sevecek |
| 2026-04-19 18:57:32 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 18:58:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-19 19:02:06 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 256 seconds) |
| 2026-04-19 19:03:38 +0000 | <monochrom> | OK I'm going to teach Dhall in my PL course!!! |
| 2026-04-19 19:04:13 +0000 | <monochrom> | It is not every day that one finds a real-world reason to teach System F to undergrads! |
| 2026-04-19 19:04:24 +0000 | <monochrom> | or rather s/reason/excuse/ haha |
| 2026-04-19 19:04:45 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 19:09:00 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 246 seconds) |
| 2026-04-19 19:09:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 19:13:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 19:17:49 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-19 19:24:35 +0000 | tristanC | (~tristanC@2602:61:712f:b700:a215:c067:33c4:f43e) |
| 2026-04-19 19:24:35 +0000 | tristanC | (~tristanC@2602:61:712f:b700:a215:c067:33c4:f43e) (Changing host) |
| 2026-04-19 19:24:35 +0000 | tristanC | (~tristanC@user/tristanc) tristanC |
| 2026-04-19 19:24:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |