2025/08/16

2025-08-16 00:01:29 +0200merijn(~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 +0200tromp(~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-16 00:03:37 +0200amadaluzia_(~amadaluzi@user/amadaluzia) (Quit: You)
2025-08-16 00:06:02 +0200merijn(~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 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-16 00:16:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 00:23:27 +0200merijn(~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 +0200finsternis(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 00:37:54 +0200fgarcia(~lei@user/fgarcia) (Ping timeout: 276 seconds)
2025-08-16 00:38:52 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-08-16 00:39:06 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-16 00:39:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-16 00:40:27 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 260 seconds)
2025-08-16 00:45:25 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-16 00:45:44 +0200fgarcia(~lei@user/fgarcia) (Max SendQ exceeded)
2025-08-16 00:48:24 +0200SheRejoined(haveident@libera/staff/she/her) She
2025-08-16 00:48:51 +0200She(haveident@libera/staff/she/her) (Killed (calcium.libera.chat (Nickname regained by services)))
2025-08-16 00:48:51 +0200SheRejoinedShe
2025-08-16 00:49:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-08-16 00:50:35 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-16 01:02:01 +0200She(haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.)
2025-08-16 01:02:05 +0200She(haveident@libera/staff/she/her) She
2025-08-16 01:02:17 +0200mmaruseacph2(~mihai@mihai.page) (Server closed connection)
2025-08-16 01:02:32 +0200mmaruseacph2(~mihai@mihai.page) mmaruseacph2
2025-08-16 01:06:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 01:11:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-16 01:13:11 +0200davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-08-16 01:21:22 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-16 01:21:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 01:25:13 +0200sprotte24(~sprotte24@p200300d16f1c45003c2c9df32be9a657.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-08-16 01:25:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 01:29:08 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-16 01:32:18 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2025-08-16 01:32:18 +0200ljdarj1ljdarj
2025-08-16 01:37:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 01:37:20 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-16 01:41:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-16 01:50:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 01:53:47 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-16 01:55:10 +0200acidjnk(~acidjnk@p200300d6e717199140d54613c84319c8.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-08-16 01:55:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-16 02:06:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 02:09:31 +0200trickard(~trickard@cpe-89-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-16 02:09:44 +0200trickard_(~trickard@cpe-89-98-47-163.wireline.com.au)
2025-08-16 02:10:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-16 02:11:20 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-16 02:21:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 02:25:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 02:36:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 02:41:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 02:45:13 +0200andjjj23(~irc@107.170.228.47) (Server closed connection)
2025-08-16 02:45:31 +0200andjjj23(~irc@107.170.228.47) andjjj23
2025-08-16 02:52:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 02:57:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-16 03:23:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 03:27:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-16 03:30:15 +0200nonzen(~nonzen@user/nonzen) (Server closed connection)
2025-08-16 03:30:31 +0200nonzen(~nonzen@user/nonzen) nonzen
2025-08-16 03:37:52 +0200ystael(~ystael@user/ystael) (Ping timeout: 276 seconds)
2025-08-16 03:37:53 +0200ttybitnik(~ttybitnik@user/wolper) (Read error: Connection reset by peer)
2025-08-16 03:38:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 03:45:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-16 03:54:56 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-08-16 03:55:59 +0200Aleksejs(~Aleksejs@107.170.21.106) (Server closed connection)
2025-08-16 03:56:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 03:57:39 +0200trickard__(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-16 03:57:52 +0200trickard_(~trickard@cpe-89-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-08-16 04:01:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-16 04:06:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 04:08:53 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-08-16 04:09:08 +0200Aleksejs(~Aleksejs@107.170.21.106) aleksejs
2025-08-16 04:09:42 +0200td_(~td@i53870931.versanet.de) (Ping timeout: 252 seconds)
2025-08-16 04:11:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 04:11:31 +0200td_(~td@i5387093C.versanet.de)
2025-08-16 04:20:05 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-16 04:22:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 04:26:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 04:34:36 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2025-08-16 04:37:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 04:39:56 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-16 04:42:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-16 05:05:45 +0200trickard__(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-16 05:05:57 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-16 05:08:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 05:13:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 05:14:45 +0200aforemny_(~aforemny@i59F4C42F.versanet.de) aforemny
2025-08-16 05:15:29 +0200aforemny(~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 +0200weary-traveler(~user@user/user363627) user363627
2025-08-16 05:24:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 05:25:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-08-16 05:26:45 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-16 05:26:59 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-16 05:30:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-16 05:33:36 +0200hellwolf(~user@7e2c-7670-28a5-bf31-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds)
2025-08-16 05:39:06 +0200hellwolf(~user@f740-b0c9-552c-fa55-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2025-08-16 05:48:51 +0200jreicher(~user@user/jreicher) (Quit: Upgrading)
2025-08-16 05:59:55 +0200jreicher(~user@user/jreicher) jreicher
2025-08-16 06:00:57 +0200hyletic(~textual@user/hyletic) hyletic
2025-08-16 06:03:56 +0200davidlbowman(~dlb@user/davidlbowman) (Ping timeout: 244 seconds)
2025-08-16 06:07:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 06:09:23 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-16 06:09:36 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-16 06:12:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 06:12:46 +0200alosentea(~halloy255@185.142.222.157)
2025-08-16 06:16:14 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-16 06:18:34 +0200alosentea(~halloy255@185.142.222.157) ()
2025-08-16 06:19:42 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-16 06:20:00 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-16 06:20:01 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 255 seconds)
2025-08-16 06:20:16 +0200alosentea(~halloy255@user/alosentea) alosentea
2025-08-16 06:22:03 +0200 <alosentea> Hello?
2025-08-16 06:22:03 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-08-16 06:23:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 06:23:39 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-16 06:27:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 06:30:23 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-16 06:30:54 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-08-16 06:31:32 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-08-16 06:33:37 +0200alosentea(~halloy255@user/alosentea) ()
2025-08-16 06:41:56 +0200jreicher(~user@user/jreicher) jreicher
2025-08-16 06:44:43 +0200trickard_trickard
2025-08-16 06:47:50 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-08-16 06:48:33 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-08-16 06:48:37 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-16 06:53:34 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-16 06:58:20 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-08-16 07:00:15 +0200jreicher(~user@user/jreicher) (Read error: Connection reset by peer)
2025-08-16 07:01:54 +0200jreicher(~user@user/jreicher) jreicher
2025-08-16 07:08:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 07:11:34 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-16 07:13:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-16 07:17:36 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-16 07:40:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 07:45:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-16 07:47:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-16 07:55:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 07:56:30 +0200elbear(~lucian@109.166.131.102)
2025-08-16 08:00:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-16 08:04:10 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-08-16 08:05:27 +0200hyletic(~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-08-16 08:05:28 +0200img(~img@user/img) img
2025-08-16 08:05:46 +0200Koterpillar(~Koterpill@2406:3400:31f:5390:639a:7300:b8dc:d253)
2025-08-16 08:07:33 +0200hyletic(~textual@user/hyletic) hyletic
2025-08-16 08:09:16 +0200Koterpillar(~Koterpill@2406:3400:31f:5390:639a:7300:b8dc:d253) (Client Quit)
2025-08-16 08:09:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 08:10:31 +0200elbear(~lucian@109.166.131.102) (Ping timeout: 244 seconds)
2025-08-16 08:14:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-16 08:21:32 +0200elbear(~lucian@109.166.131.102)
2025-08-16 08:39:19 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-16 08:44:08 +0200acidjnk(~acidjnk@p200300d6e71719258dd078e54dfb8b84.dip0.t-ipconnect.de) acidjnk
2025-08-16 08:48:15 +0200Square2(~Square@user/square) (Ping timeout: 252 seconds)
2025-08-16 08:53:39 +0200tromp(~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01)
2025-08-16 08:55:08 +0200Noinia(~Frank@77-162-168-71.fixed.kpn.net) (Server closed connection)
2025-08-16 08:55:15 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-16 08:55:22 +0200Noinia(~Frank@77-162-168-71.fixed.kpn.net)
2025-08-16 08:55:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 09:00:01 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-16 09:00:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 09:00:42 +0200caconym747(~caconym@user/caconym) caconym
2025-08-16 09:05:31 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-16 09:09:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-08-16 09:10:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 09:10:52 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 260 seconds)
2025-08-16 09:15:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-16 09:20:10 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-16 09:20:19 +0200jrm(~jrm@user/jrm) (Quit: ciao)
2025-08-16 09:20:35 +0200jrm(~jrm@user/jrm) jrm
2025-08-16 09:22:06 +0200trickard(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-16 09:22:19 +0200trickard_(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 09:30:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 09:33:30 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-08-16 09:41:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 09:45:04 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-16 09:46:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 09:56:38 +0200elbear(~lucian@109.166.131.102) (Ping timeout: 245 seconds)
2025-08-16 09:58:48 +0200acidjnk(~acidjnk@p200300d6e71719258dd078e54dfb8b84.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-08-16 10:02:45 +0200hyletic(~textual@user/hyletic) (Quit: Textual IRC Client: www.textualapp.com)
2025-08-16 10:05:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 10:11:29 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-08-16 10:12:00 +0200elbear(~lucian@109.166.131.102)
2025-08-16 10:13:25 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-16 10:13:39 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-16 10:14:07 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-08-16 10:15:38 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-08-16 10:16:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 10:20:23 +0200hyletic(~textual@user/hyletic) hyletic
2025-08-16 10:26:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 10:31:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-16 10:32:17 +0200petrichor(~jez@user/petrichor) petrichor
2025-08-16 10:38:17 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-08-16 10:42:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 10:46:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-16 10:48:11 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-08-16 10:51:34 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-08-16 10:53:05 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-16 10:53:17 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-16 10:54:05 +0200hyletic(~textual@user/hyletic) (Quit: Textual IRC Client: www.textualapp.com)
2025-08-16 10:56:05 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-16 10:56:36 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-08-16 10:57:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 11:01:17 +0200sprotte24(~sprotte24@p200300d16f25fb005c76564b71b01fdc.dip0.t-ipconnect.de)
2025-08-16 11:02:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 11:06:22 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-08-16 11:11:38 +0200elbear(~lucian@109.166.131.102) (Ping timeout: 245 seconds)
2025-08-16 11:12:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-16 11:13:00 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-16 11:17:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-16 11:24:05 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-16 11:24:18 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-16 11:30:51 +0200jreicher(~user@user/jreicher) jreicher
2025-08-16 11:33:14 +0200ljdarj(~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 +0200merijn(~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 +0200trickard_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 +0200merijn(~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 +0200merijn(~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 +0200Beowulf(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 +0200merijn(~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 +0200Beowulf(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 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj