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