| 2025-08-16 00:01:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 00:02:33 +0200 | <monochrom> | (A little. I teach computer science. I use Haskell to check my own answers because I can't trust my own C code or Java code for example.) |
| 2025-08-16 00:03:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-16 00:03:37 +0200 | amadaluzia_ | (~amadaluzi@user/amadaluzia) (Quit: You) |
| 2025-08-16 00:06:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-16 00:14:49 +0200 | <spew> | no i didn't mean makes money |
| 2025-08-16 00:14:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-16 00:16:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 00:23:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 00:26:58 +0200 | <ackthet> | so speaking of the gentle intro to haskell... what was LANL doing with haskell? |
| 2025-08-16 00:27:14 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2025-08-16 00:27:58 +0200 | <ackthet> | oh shit, he was on Fermi? https://www.researchgate.net/scientific-contributions/Joseph-Fasel-39908001 |
| 2025-08-16 00:34:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 00:37:54 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 276 seconds) |
| 2025-08-16 00:38:52 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-08-16 00:39:06 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-08-16 00:39:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-16 00:40:27 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2025-08-16 00:45:25 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-16 00:45:44 +0200 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2025-08-16 00:48:24 +0200 | SheRejoined | (haveident@libera/staff/she/her) She |
| 2025-08-16 00:48:51 +0200 | She | (haveident@libera/staff/she/her) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 2025-08-16 00:48:51 +0200 | SheRejoined | She |
| 2025-08-16 00:49:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-08-16 00:50:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 00:50:49 +0200 | <ackthet> | small world |
| 2025-08-16 00:55:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-16 01:02:01 +0200 | She | (haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.) |
| 2025-08-16 01:02:05 +0200 | She | (haveident@libera/staff/she/her) She |
| 2025-08-16 01:02:17 +0200 | mmaruseacph2 | (~mihai@mihai.page) (Server closed connection) |
| 2025-08-16 01:02:32 +0200 | mmaruseacph2 | (~mihai@mihai.page) mmaruseacph2 |
| 2025-08-16 01:06:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 01:11:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-16 01:13:11 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-16 01:21:22 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-16 01:21:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 01:25:13 +0200 | sprotte24 | (~sprotte24@p200300d16f1c45003c2c9df32be9a657.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-08-16 01:25:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 01:29:08 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-16 01:32:18 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-08-16 01:32:18 +0200 | ljdarj1 | ljdarj |
| 2025-08-16 01:37:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 01:37:20 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-16 01:41:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 01:50:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 01:53:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-16 01:55:10 +0200 | acidjnk | (~acidjnk@p200300d6e717199140d54613c84319c8.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-08-16 01:55:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-16 02:06:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 02:09:31 +0200 | trickard | (~trickard@cpe-89-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 02:09:44 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) |
| 2025-08-16 02:10:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-16 02:11:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-16 02:21:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 02:25:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 02:36:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 02:41:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 02:45:13 +0200 | andjjj23 | (~irc@107.170.228.47) (Server closed connection) |
| 2025-08-16 02:45:31 +0200 | andjjj23 | (~irc@107.170.228.47) andjjj23 |
| 2025-08-16 02:52:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 02:57:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-16 03:23:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 03:27:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-16 03:30:15 +0200 | nonzen | (~nonzen@user/nonzen) (Server closed connection) |
| 2025-08-16 03:30:31 +0200 | nonzen | (~nonzen@user/nonzen) nonzen |
| 2025-08-16 03:37:52 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 2025-08-16 03:37:53 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Read error: Connection reset by peer) |
| 2025-08-16 03:38:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 03:45:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 03:54:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-08-16 03:55:59 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (Server closed connection) |
| 2025-08-16 03:56:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 03:57:39 +0200 | trickard__ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 03:57:52 +0200 | trickard_ | (~trickard@cpe-89-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-08-16 04:01:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-16 04:06:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 04:08:53 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-08-16 04:09:08 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) aleksejs |
| 2025-08-16 04:09:42 +0200 | td_ | (~td@i53870931.versanet.de) (Ping timeout: 252 seconds) |
| 2025-08-16 04:11:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 04:11:31 +0200 | td_ | (~td@i5387093C.versanet.de) |
| 2025-08-16 04:20:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-16 04:22:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 04:26:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 04:34:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-08-16 04:37:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 04:39:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-16 04:42:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-16 05:05:45 +0200 | trickard__ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 05:05:57 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 05:08:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 05:13:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 05:14:45 +0200 | aforemny_ | (~aforemny@i59F4C42F.versanet.de) aforemny |
| 2025-08-16 05:15:29 +0200 | aforemny | (~aforemny@2001:9e8:6cc7:9c00:e76d:c479:de30:f450) (Ping timeout: 260 seconds) |
| 2025-08-16 05:17:43 +0200 | <jreicher> | ackthet: I'd be interesting in knowing which text you go with, and what you think of it once you're done. |
| 2025-08-16 05:19:09 +0200 | <jreicher> | In my personal opinion learning Haskell is more sensitive to the person's background than other languages. If you're already familiar with currying, recursion, and static type checking, then there's substantially less to learn. But if all of those things are new then it's a bumpier ride than learning a language that doesn't have them. |
| 2025-08-16 05:23:33 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-16 05:24:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 05:25:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-08-16 05:26:45 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 05:26:59 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 05:30:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-16 05:33:36 +0200 | hellwolf | (~user@7e2c-7670-28a5-bf31-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds) |
| 2025-08-16 05:39:06 +0200 | hellwolf | (~user@f740-b0c9-552c-fa55-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-08-16 05:48:51 +0200 | jreicher | (~user@user/jreicher) (Quit: Upgrading) |
| 2025-08-16 05:59:55 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-16 06:00:57 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-16 06:03:56 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 244 seconds) |
| 2025-08-16 06:07:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 06:09:23 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 06:09:36 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 06:12:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 06:12:46 +0200 | alosentea | (~halloy255@185.142.222.157) |
| 2025-08-16 06:16:14 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 06:18:34 +0200 | alosentea | (~halloy255@185.142.222.157) () |
| 2025-08-16 06:19:42 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 06:20:00 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-16 06:20:01 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2025-08-16 06:20:16 +0200 | alosentea | (~halloy255@user/alosentea) alosentea |
| 2025-08-16 06:22:03 +0200 | <alosentea> | Hello? |
| 2025-08-16 06:22:03 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-08-16 06:23:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 06:23:39 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 06:27:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 06:30:23 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 06:30:54 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 2025-08-16 06:31:32 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
| 2025-08-16 06:33:37 +0200 | alosentea | (~halloy255@user/alosentea) () |
| 2025-08-16 06:41:56 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-16 06:44:43 +0200 | trickard_ | trickard |
| 2025-08-16 06:47:50 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-08-16 06:48:33 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-08-16 06:48:37 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-08-16 06:53:34 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-16 06:58:20 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-08-16 07:00:15 +0200 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-08-16 07:01:54 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-16 07:08:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 07:11:34 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-16 07:13:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-16 07:17:36 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-08-16 07:40:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 07:45:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-16 07:47:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-16 07:55:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 07:56:30 +0200 | elbear | (~lucian@109.166.131.102) |
| 2025-08-16 08:00:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 08:04:10 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-08-16 08:05:27 +0200 | hyletic | (~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-08-16 08:05:28 +0200 | img | (~img@user/img) img |
| 2025-08-16 08:05:46 +0200 | Koterpillar | (~Koterpill@2406:3400:31f:5390:639a:7300:b8dc:d253) |
| 2025-08-16 08:07:33 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-16 08:09:16 +0200 | Koterpillar | (~Koterpill@2406:3400:31f:5390:639a:7300:b8dc:d253) (Client Quit) |
| 2025-08-16 08:09:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 08:10:31 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 244 seconds) |
| 2025-08-16 08:14:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 08:21:32 +0200 | elbear | (~lucian@109.166.131.102) |
| 2025-08-16 08:39:19 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-16 08:44:08 +0200 | acidjnk | (~acidjnk@p200300d6e71719258dd078e54dfb8b84.dip0.t-ipconnect.de) acidjnk |
| 2025-08-16 08:48:15 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-08-16 08:53:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 2025-08-16 08:55:08 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Server closed connection) |
| 2025-08-16 08:55:15 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-16 08:55:22 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2025-08-16 08:55:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 09:00:01 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-16 09:00:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 09:00:42 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-16 09:05:31 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-16 09:09:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-08-16 09:10:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 09:10:52 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-08-16 09:15:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-16 09:20:10 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-16 09:20:19 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-08-16 09:20:35 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-08-16 09:22:06 +0200 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 09:22:19 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 09:24:26 +0200 | <haskellbridge> | <sm> davros1 https://joyful.com/Haskell+games |
| 2025-08-16 09:26:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 09:30:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 09:33:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-08-16 09:41:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 09:45:04 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-16 09:46:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 09:56:38 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 245 seconds) |
| 2025-08-16 09:58:48 +0200 | acidjnk | (~acidjnk@p200300d6e71719258dd078e54dfb8b84.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-08-16 10:02:45 +0200 | hyletic | (~textual@user/hyletic) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-08-16 10:05:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 10:11:29 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-08-16 10:12:00 +0200 | elbear | (~lucian@109.166.131.102) |
| 2025-08-16 10:13:25 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 10:13:39 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 10:14:07 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-08-16 10:15:38 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-08-16 10:16:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 10:20:23 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-16 10:26:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 10:31:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-16 10:32:17 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-08-16 10:38:17 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-08-16 10:42:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 10:46:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-16 10:48:11 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-08-16 10:51:34 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-08-16 10:53:05 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 10:53:17 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 10:54:05 +0200 | hyletic | (~textual@user/hyletic) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-08-16 10:56:05 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-16 10:56:36 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-08-16 10:57:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 11:01:17 +0200 | sprotte24 | (~sprotte24@p200300d16f25fb005c76564b71b01fdc.dip0.t-ipconnect.de) |
| 2025-08-16 11:02:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 11:06:22 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-08-16 11:11:38 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 245 seconds) |
| 2025-08-16 11:12:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 11:13:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-16 11:17:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 11:24:05 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 11:24:18 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 11:30:51 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-16 11:33:14 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-16 11:40:21 +0200 | <ackthet> | jreicher: agreed. I do have a fairly strong math background so might like more of that angle which many texts tend to ignore |
| 2025-08-16 11:41:19 +0200 | <ackthet> | *intro texts I mean |
| 2025-08-16 11:43:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 11:45:34 +0200 | <jreicher> | ackthet: I'm not sure whether a math background helps, but emphasis on "not sure". A logic background certainly helps, as a type system is logistic, and a math background might help in the relationship between recurrence relations and recursion, but functional programming is declarative, and I'm not sure if even maths gives you a background in that. |
| 2025-08-16 11:46:36 +0200 | trickard_ | trickard |
| 2025-08-16 11:47:44 +0200 | <ackthet> | jreicher: i think certain types of math do, but not the types I was exposed to |
| 2025-08-16 11:48:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 11:48:24 +0200 | <ackthet> | i'm the least worried about the type system. that make a lot of sense on pervious attempts, and it was my favorite thing about the lang |
| 2025-08-16 11:48:58 +0200 | <jreicher> | I recall you mentioning a background in physics, so I'm guessing you have calculus, PDEs, vector calculus, and tensors. |
| 2025-08-16 11:50:31 +0200 | <ackthet> | yep. i also got a 2nd BS in math so I've done real analysis, proofs, modern algebra etc |
| 2025-08-16 11:51:15 +0200 | <davros1> | haskellbridge, thanks |
| 2025-08-16 11:51:33 +0200 | <yin> | what's the most idiomatic way of having something like `on compare length [0..9] [0..]` return LT instead of hanging? |
| 2025-08-16 11:58:30 +0200 | <Leary> | Maths is very declarative, in very much the same way as Haskell. Typical mathematical function definitions (perhaps using induction) translate very directly to Haskell implementation (perhaps with recursion). |
| 2025-08-16 11:59:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 12:00:24 +0200 | <Leary> | yin: I don't know about idiomatic, but I like `compare (void xs) (void ys)`. |
| 2025-08-16 12:01:33 +0200 | Beowulf | (florian@gabilgathol.bandrate.org) (Quit: = "") |
| 2025-08-16 12:05:22 +0200 | <yin> | Leary: that's not bad at all! thanks |
| 2025-08-16 12:05:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 12:06:03 +0200 | <yin> | am I misunderstanding or is https://hackage-content.haskell.org/package/ghc-bignum-1.3/docs/src/GHC.Num.Natural.html#Natural not a type-level nat at all? |
| 2025-08-16 12:08:30 +0200 | Beowulf | (florian@gabilgathol.bandrate.org) |
| 2025-08-16 12:08:33 +0200 | <yin> | because GHC.TypeNats.Nat is just a synonym to that |
| 2025-08-16 12:10:24 +0200 | <jreicher> | Leary: It depends what you mean by "maths". In personal opinion maths is proof, and that's not declarative. |
| 2025-08-16 12:13:25 +0200 | <Leary> | Maths proceeds though rigourous deduction, yes, but in the process of doing so a great number definitions are declared. |
| 2025-08-16 12:14:20 +0200 | <Leary> | You can further argue that the proofs are declarative too, if you want to go Curry-Howard. |
| 2025-08-16 12:18:41 +0200 | <Leary> | yin: DataKinds is in effect, lifting the `Natural` type of value-level nats to the `Natural` kind of type-level nats. |
| 2025-08-16 12:19:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-16 12:21:50 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-16 12:23:10 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 2025-08-16 12:29:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 12:29:35 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-08-16 12:33:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 12:34:29 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-08-16 12:36:58 +0200 | <yin> | Leary: i was under the impression there was a Peano Nats module somewhere. that's what i was searching for |
| 2025-08-16 12:40:05 +0200 | <Leary> | Not that I'm aware of. In fact, even outside of 'base', I only see people roll their own. |
| 2025-08-16 12:43:20 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-08-16 12:44:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 12:49:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-16 12:54:27 +0200 | elbear | (~lucian@109.166.131.102) |
| 2025-08-16 12:54:31 +0200 | Vq | (~vq@81-226-147-244-no600.tbcn.telia.com) (Server closed connection) |
| 2025-08-16 12:54:46 +0200 | Vq | (~vq@81-226-147-244-no600.tbcn.telia.com) Vq |
| 2025-08-16 12:57:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-16 12:58:43 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 245 seconds) |
| 2025-08-16 13:00:04 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-16 13:00:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-16 13:00:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 13:02:21 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-16 13:04:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-16 13:14:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 13:16:13 +0200 | <yin> | fair enough |
| 2025-08-16 13:16:44 +0200 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-08-16 13:18:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 13:23:44 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-16 13:23:45 +0200 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 13:24:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-08-16 13:25:03 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-08-16 13:26:29 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 13:29:54 +0200 | elbear | (~lucian@109.166.131.102) |
| 2025-08-16 13:30:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 13:36:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 13:39:33 +0200 | gawen | (~gawen@user/gawen) (Server closed connection) |
| 2025-08-16 13:40:46 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-08-16 13:40:52 +0200 | gawen | (~gawen@user/gawen) gawen |
| 2025-08-16 13:41:53 +0200 | califax | (~califax@user/califx) califx |
| 2025-08-16 13:43:46 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 244 seconds) |
| 2025-08-16 13:47:51 +0200 | acro | (~acro@user/acro) (Server closed connection) |
| 2025-08-16 13:48:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 13:49:38 +0200 | elbear | (~lucian@109.166.131.102) |
| 2025-08-16 13:51:12 +0200 | acro | (~acro@user/acro) acro |
| 2025-08-16 13:51:26 +0200 | trickard_ | trickard |
| 2025-08-16 13:52:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-16 14:08:30 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Server closed connection) |
| 2025-08-16 14:08:56 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-08-16 14:15:49 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 248 seconds) |
| 2025-08-16 14:20:34 +0200 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 14:20:47 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 14:25:37 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-08-16 14:28:01 +0200 | puke | (~puke@user/puke) (Ping timeout: 248 seconds) |
| 2025-08-16 14:29:17 +0200 | puke | (~puke@user/puke) puke |
| 2025-08-16 14:31:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 14:31:21 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 14:34:54 +0200 | trickard_ | trickard |
| 2025-08-16 14:35:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 14:46:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 14:49:01 +0200 | haritz | (~hrtz@209.35.65.79) |
| 2025-08-16 14:49:01 +0200 | haritz | (~hrtz@209.35.65.79) (Changing host) |
| 2025-08-16 14:49:01 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-08-16 14:51:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 14:51:40 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 2025-08-16 14:59:31 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-16 15:17:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 15:24:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 15:28:37 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-08-16 15:33:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-16 15:35:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 15:37:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 2025-08-16 15:40:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 15:42:53 +0200 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 15:43:05 +0200 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 15:50:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 15:55:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-16 15:55:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-16 16:00:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 2025-08-16 16:00:31 +0200 | hyletic | (~textual@208.67.108.99) |
| 2025-08-16 16:00:31 +0200 | hyletic | (~textual@208.67.108.99) (Changing host) |
| 2025-08-16 16:00:31 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-16 16:05:47 +0200 | visilii_ | (~visilii@188.254.110.187) (Ping timeout: 252 seconds) |
| 2025-08-16 16:06:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 16:09:22 +0200 | oxapentane | (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 2025-08-16 16:09:52 +0200 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
| 2025-08-16 16:10:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 16:21:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 16:26:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 16:29:30 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-16 16:35:28 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-08-16 16:37:57 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-16 16:46:07 +0200 | srk | (~sorki@user/srk) (Server closed connection) |
| 2025-08-16 16:46:09 +0200 | hyletic | (~textual@user/hyletic) (Ping timeout: 260 seconds) |
| 2025-08-16 16:51:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 2025-08-16 16:53:24 +0200 | srk | (~sorki@user/srk) srk |
| 2025-08-16 16:54:25 +0200 | esph | (~weechat@user/esph) (Server closed connection) |
| 2025-08-16 16:58:28 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-16 17:00:04 +0200 | esph | (~weechat@user/esph) esph |
| 2025-08-16 17:04:53 +0200 | hyletic | (~textual@user/hyletic) (Read error: Connection reset by peer) |
| 2025-08-16 17:07:20 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-16 17:08:06 +0200 | hyletic | (~textual@89.105.214.110) |
| 2025-08-16 17:08:06 +0200 | hyletic | (~textual@89.105.214.110) (Changing host) |
| 2025-08-16 17:08:06 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-16 17:25:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 17:29:58 +0200 | hyletic | (~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-08-16 17:30:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-16 17:32:21 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-16 17:32:24 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-08-16 17:35:37 +0200 | qqe | (~qqq@185.54.20.59) |
| 2025-08-16 17:39:10 +0200 | hyletic | (~textual@user/hyletic) (Read error: Connection reset by peer) |
| 2025-08-16 17:40:27 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-16 17:41:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 17:45:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-16 17:56:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 17:59:04 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-08-16 17:59:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-16 18:01:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 18:03:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 18:07:37 +0200 | hyletic | (~textual@user/hyletic) (Read error: Connection reset by peer) |
| 2025-08-16 18:07:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 18:09:39 +0200 | hyletic | (~textual@89.105.214.110) |
| 2025-08-16 18:09:39 +0200 | hyletic | (~textual@89.105.214.110) (Changing host) |
| 2025-08-16 18:09:39 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-16 18:12:18 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-08-16 18:18:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 18:21:59 +0200 | wuboy | (~wuboy@user/scobydoo) ScobyDoo |
| 2025-08-16 18:23:00 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-08-16 18:23:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 18:25:21 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 2025-08-16 18:28:11 +0200 | wuboy | whatsupboy |
| 2025-08-16 18:29:55 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2025-08-16 18:30:18 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-08-16 18:30:50 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-08-16 18:30:53 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
| 2025-08-16 18:33:19 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-08-16 18:33:55 +0200 | Square2 | (~Square@user/square) Square |
| 2025-08-16 18:36:57 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-08-16 18:37:19 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-16 18:40:09 +0200 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-08-16 18:41:29 +0200 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-16 18:41:42 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-16 18:43:26 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-08-16 18:43:26 +0200 | fp1 | fp |
| 2025-08-16 18:45:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-08-16 18:46:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-08-16 18:48:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-16 18:54:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 18:56:48 +0200 | hyletic_ | (~textual@185.107.57.10) |
| 2025-08-16 18:57:18 +0200 | hyletic_ | (~textual@185.107.57.10) (Client Quit) |
| 2025-08-16 18:57:34 +0200 | hyletic | (~textual@user/hyletic) (Ping timeout: 244 seconds) |
| 2025-08-16 18:58:34 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-16 18:59:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-16 19:04:37 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 244 seconds) |
| 2025-08-16 19:05:18 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-08-16 19:06:24 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-16 19:09:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 19:11:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 2025-08-16 19:12:46 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-08-16 19:14:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-16 19:15:57 +0200 | sshine | (~simon@dao.mechanicus.xyz) (Server closed connection) |
| 2025-08-16 19:21:13 +0200 | sshine | (~simon@2a01:4f8:1c0c:718c::1) sshine |
| 2025-08-16 19:21:41 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-08-16 19:45:14 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2025-08-16 19:51:07 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-08-16 19:52:06 +0200 | tv | (~tv@user/tv) tv |
| 2025-08-16 19:53:37 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-16 19:57:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-16 19:57:19 +0200 | ljdarj1 | ljdarj |
| 2025-08-16 20:08:06 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-16 20:08:18 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-16 20:15:28 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-08-16 20:15:48 +0200 | acidjnk | (~acidjnk@p200300d6e717197388c3d57515e3973f.dip0.t-ipconnect.de) acidjnk |
| 2025-08-16 20:19:17 +0200 | whatsupboy | (~wuboy@user/scobydoo) (Quit: brb) |
| 2025-08-16 20:20:47 +0200 | qqe | (~qqq@185.54.20.59) (Quit: Lost terminal) |
| 2025-08-16 20:21:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-16 20:24:28 +0200 | poop254 | (~poop254@148.252.146.221) |
| 2025-08-16 20:25:02 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2025-08-16 20:26:12 +0200 | poop254 | (~poop254@148.252.146.221) (Client Quit) |
| 2025-08-16 20:27:17 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-08-16 20:33:30 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-08-16 20:44:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 20:45:55 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-16 20:47:25 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-08-16 20:49:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-16 20:50:15 +0200 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) fp |
| 2025-08-16 20:53:38 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-08-16 20:53:38 +0200 | fp1 | fp |
| 2025-08-16 21:00:03 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-16 21:00:43 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-16 21:03:07 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-16 21:05:36 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-08-16 21:06:08 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-08-16 21:08:36 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) (Ping timeout: 256 seconds) |
| 2025-08-16 21:15:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 21:20:36 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-08-16 21:21:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-16 21:22:43 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-08-16 21:25:53 +0200 | <hololeap> | just curious, is there a data type that is Foldable and is always empty? i.e. toList x = [] |
| 2025-08-16 21:26:09 +0200 | ft | (~ft@p508db692.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-08-16 21:27:22 +0200 | <hololeap> | looks like Const |
| 2025-08-16 21:27:36 +0200 | <hololeap> | instance Foldable (Const m) where foldMap _ _ = mempty |
| 2025-08-16 21:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 21:32:30 +0200 | ft | (~ft@p200300cf3f165900e109d4f322676623.dip0.t-ipconnect.de) ft |
| 2025-08-16 21:34:35 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-16 21:35:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-16 21:44:55 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-08-16 21:46:27 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-08-16 21:48:29 +0200 | remedan | (~remedan@78-80-80-127.customers.tmcz.cz) (Server closed connection) |
| 2025-08-16 21:50:59 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 244 seconds) |
| 2025-08-16 21:56:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-16 22:00:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |