2026/06/12

2026-06-12 00:01:12 +0000sp1ff(~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) (Ping timeout: 246 seconds)
2026-06-12 00:02:57 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds)
2026-06-12 00:08:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 00:09:56 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-06-12 00:10:38 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-06-12 00:11:19 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:3b67:1247:21fa:262e)
2026-06-12 00:11:34 +0000vulpine(xfnw@user/meow/xfnw) (Quit: Connection reset by purr)
2026-06-12 00:11:34 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:3b67:1247:21fa:262e) (Client Quit)
2026-06-12 00:11:37 +0000remmie(ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in)
2026-06-12 00:13:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-12 00:17:18 +0000vulpine(xfnw@user/meow/xfnw) xfnw
2026-06-12 00:24:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 00:25:33 +0000remmie(ianremsen@tilde.team) remsense
2026-06-12 00:29:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-12 00:39:36 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 00:39:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 00:44:02 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 248 seconds)
2026-06-12 00:44:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-12 00:55:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 00:57:46 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds)
2026-06-12 01:00:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-06-12 01:00:34 +0000xff0x(~xff0x@2405:6580:b080:900:20a8:16d4:622c:805f) (Ping timeout: 248 seconds)
2026-06-12 01:00:36 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2026-06-12 01:05:43 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-06-12 01:11:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 01:11:47 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-06-12 01:15:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-06-12 01:18:19 +0000szkl(uid110435@uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2026-06-12 01:26:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 01:33:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-12 01:44:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 01:50:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-06-12 01:56:56 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-06-12 01:57:29 +0000ystael(~ystael@user/ystael) (Ping timeout: 248 seconds)
2026-06-12 02:00:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 02:04:13 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 02:05:29 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-12 02:08:36 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 256 seconds)
2026-06-12 02:08:45 +0000Axman6(~Axman6@user/axman6) Axman6
2026-06-12 02:10:29 +0000 <Axman6> monochrom, mauke: re: \case vs \pat: thanks, I assumed they must be the same (and assume both desugar to the same \x -> case x of pat).
2026-06-12 02:12:20 +0000szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2026-06-12 02:16:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 02:18:15 +0000synchromesh(~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) (Read error: Connection reset by peer)
2026-06-12 02:21:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-06-12 02:23:58 +0000synchromesh(~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh
2026-06-12 02:31:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 02:35:09 +0000Katarushisu61(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
2026-06-12 02:36:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-12 02:37:21 +0000Katarushisu6(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds)
2026-06-12 02:37:21 +0000Katarushisu61Katarushisu6
2026-06-12 02:39:14 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 02:40:46 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2026-06-12 02:43:30 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 245 seconds)
2026-06-12 02:44:18 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2026-06-12 02:47:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 02:52:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-06-12 02:57:13 +0000td_(~td@i53870932.versanet.de) (Ping timeout: 248 seconds)
2026-06-12 02:59:01 +0000td_(~td@i53870938.versanet.de)
2026-06-12 03:03:04 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-06-12 03:03:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 03:05:48 +0000foul_owl(~kerry@94.156.149.90) (Ping timeout: 245 seconds)
2026-06-12 03:09:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-12 03:18:23 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-06-12 03:20:04 +0000foul_owl(~kerry@94.156.149.95) foul_owl
2026-06-12 03:21:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 03:22:28 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 03:24:01 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 244 seconds)
2026-06-12 03:26:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-06-12 03:26:35 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-06-12 03:26:50 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 245 seconds)
2026-06-12 03:30:18 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 03:36:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 03:38:52 +0000sp1ff(~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) sp1ff
2026-06-12 03:40:05 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-06-12 03:40:52 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-06-12 03:41:44 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-06-12 03:42:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-06-12 03:43:40 +0000emilym(~Thunderbi@user/emilym) (Quit: emilym)
2026-06-12 03:44:45 +0000FANTOM(~fantom@90.244.189.139) (Quit: Connection error?!)
2026-06-12 03:45:41 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 252 seconds)
2026-06-12 03:47:55 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-12 03:48:32 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 03:52:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 03:57:39 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-12 04:00:29 +0000notzmv(~umar@user/notzmv) (Ping timeout: 272 seconds)
2026-06-12 04:01:51 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-06-12 04:03:24 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-06-12 04:07:06 +0000michalz(~michalz@185.246.207.200)
2026-06-12 04:08:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 04:14:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-06-12 04:24:30 +0000fgarcia(~lei@user/fgarcia) (Quit: Remote host closed the connection)
2026-06-12 04:24:52 +0000sourdecor(uid526401@id-526401.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2026-06-12 04:27:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 04:29:03 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-12 04:29:36 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2026-06-12 04:31:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-06-12 04:32:28 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-06-12 04:32:52 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-06-12 04:38:31 +0000euphores(~SASL_euph@user/euphores) euphores
2026-06-12 04:42:29 +0000merijn(~merijn@62.45.136.136) merijn
2026-06-12 04:48:54 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 243 seconds)
2026-06-12 04:52:45 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2026-06-12 05:00:15 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-06-12 05:00:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 05:04:46 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 265 seconds)
2026-06-12 05:05:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-12 05:06:56 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds)
2026-06-12 05:08:02 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 248 seconds)
2026-06-12 05:08:40 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 05:13:36 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 245 seconds)
2026-06-12 05:13:56 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-12 05:14:16 +0000tnt1(~Thunderbi@user/tnt1) tnt1
2026-06-12 05:15:35 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-06-12 05:15:43 +0000FANTOM(~fantom@90.244.189.139)
2026-06-12 05:16:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 05:19:44 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-06-12 05:21:09 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 245 seconds)
2026-06-12 05:21:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-06-12 05:23:24 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 259 seconds)
2026-06-12 05:30:57 +0000Googulator60(~Googulato@84-236-126-95.pool.digikabel.hu) (Quit: Client closed)
2026-06-12 05:31:13 +0000Googulator60(~Googulato@84-236-126-95.pool.digikabel.hu)
2026-06-12 05:32:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 05:37:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-06-12 05:40:07 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-12 05:43:05 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 245 seconds)
2026-06-12 05:44:04 +0000arandombit(~arandombi@2603:7000:4600:ffbe:c437:4a66:7262:142b)
2026-06-12 05:44:04 +0000arandombit(~arandombi@2603:7000:4600:ffbe:c437:4a66:7262:142b) (Changing host)
2026-06-12 05:44:04 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-06-12 05:47:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 05:49:45 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-06-12 05:50:00 +0000divlamir(~divlamir@user/divlamir) divlamir
2026-06-12 05:50:55 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 05:52:52 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 274 seconds)
2026-06-12 05:53:54 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-06-12 05:55:29 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 252 seconds)
2026-06-12 05:56:36 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-06-12 06:03:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 06:04:09 +0000tt1231607019780(~tt1231@75.185.104.199) (Ping timeout: 246 seconds)
2026-06-12 06:06:27 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-06-12 06:08:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-12 06:08:18 +0000lol__(~lol@2603:3016:1e01:b940:49be:47b3:404e:11b5) (Ping timeout: 248 seconds)
2026-06-12 06:08:44 +0000notzmv(~umar@user/notzmv) notzmv
2026-06-12 06:09:43 +0000Googulator60(~Googulato@84-236-126-95.pool.digikabel.hu) (Quit: Client closed)
2026-06-12 06:09:56 +0000Googulator60(~Googulato@84-236-126-95.pool.digikabel.hu)
2026-06-12 06:10:37 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2026-06-12 06:16:19 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 06:17:29 +0000jcarpenter2(~lol@96.78.87.197)
2026-06-12 06:18:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 06:22:46 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds)
2026-06-12 06:25:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-12 06:26:49 +0000 <EvanR> what, tryhaskell is gone?!
2026-06-12 06:29:16 +0000kidcoconut(~kidcoconu@user/kidcoconut) kidcoconut
2026-06-12 06:31:36 +0000synchromesh(~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) (Read error: Connection reset by peer)
2026-06-12 06:36:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 06:37:20 +0000synchromesh(~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh
2026-06-12 06:37:41 +0000riad(~x@user/riad) riad
2026-06-12 06:38:40 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-06-12 06:39:01 +0000tt1231607019780(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231
2026-06-12 06:40:03 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline
2026-06-12 06:40:14 +0000kidcoconut(~kidcoconu@user/kidcoconut) (Quit: brb)
2026-06-12 06:40:52 +0000acidjnk_new(~acidjnk@p200300d6e700e5120ef3d9552e8c751d.dip0.t-ipconnect.de)
2026-06-12 06:41:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-06-12 06:41:22 +0000 <riad> hi folks!
2026-06-12 06:41:55 +0000 <riad> im looking to start out in programming with haskell as my first lang and wanted to get some input on 2 books i came across
2026-06-12 06:41:56 +0000emilym(~Thunderbi@user/emilym) (Remote host closed the connection)
2026-06-12 06:42:08 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 06:42:51 +0000 <riad> im thinking about using either Graham Hutton's "Programming in Haskel" (second edition)
2026-06-12 06:43:59 +0000 <riad> or "Haskell Programming from first Principles" by Christopher Allen and Julie Moronuki
2026-06-12 06:44:58 +0000 <riad> i dont have any programming skills at all (dabbled a bit with bash), nor am i familiar with any specific terminoligy
2026-06-12 06:45:54 +0000 <riad> my question is, which of the 2 books is better suited for someone like me, or if either would be suited at all?
2026-06-12 06:46:54 +0000 <riad> both came out around 10 years ago and ive read there have been some pretty drastic changes to haskell, so i wonder if even still viable to trust all of the content
2026-06-12 06:47:15 +0000 <riad> thanks in advance!
2026-06-12 06:48:56 +0000haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-06-12 06:52:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 06:57:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-06-12 06:58:00 +0000ski(~ski@90-224-14-130-no600.tbcn.telia.com) (Read error: Connection reset by peer)
2026-06-12 06:59:55 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-06-12 07:08:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 07:09:47 +0000Googulator60(~Googulato@84-236-126-95.pool.digikabel.hu) (Ping timeout: 245 seconds)
2026-06-12 07:10:25 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-06-12 07:12:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-12 07:15:47 +0000ski(~ski@90-224-14-130-no600.tbcn.telia.com)
2026-06-12 07:17:23 +0000merijn(~merijn@62.45.136.136) merijn
2026-06-12 07:17:57 +0000ft(~ft@p4fc2ab3f.dip0.t-ipconnect.de) (Quit: leaving)
2026-06-12 07:21:59 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 245 seconds)
2026-06-12 07:23:06 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 256 seconds)
2026-06-12 07:23:46 +0000CiaoSen(~Jura@dynamic-046-114-249-006.46.114.pool.telefonica.de) CiaoSen
2026-06-12 07:24:14 +0000tnt2(~Thunderbi@user/tnt1) tnt1
2026-06-12 07:25:33 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds)
2026-06-12 07:25:35 +0000tnt1(~Thunderbi@user/tnt1) (Ping timeout: 245 seconds)
2026-06-12 07:25:35 +0000tnt2tnt1
2026-06-12 07:27:58 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-06-12 07:33:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 07:35:19 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 07:37:52 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-06-12 07:38:03 +0000 <dminuoso> riad: The only big relevant change that somewhat influences these materials that ever came was AMP
2026-06-12 07:38:26 +0000 <dminuoso> The base library slowly changed over time, but nothing major - if there's any confusion you can always just ask here.
2026-06-12 07:38:48 +0000 <dminuoso> And AMP happened 11 years ago
2026-06-12 07:39:18 +0000 <dminuoso> And even that is relatively minor as far as learners are concerned. The impact on the library ecosystem was much larger
2026-06-12 07:41:04 +0000 <dminuoso> riad: Also consider CIS-194 which is a pretty good introduction https://www.cis.upenn.edu/~cis1940/fall16/
2026-06-12 07:46:02 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 252 seconds)
2026-06-12 07:47:33 +0000chele(~chele@user/chele) chele
2026-06-12 07:48:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 07:53:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-12 07:55:48 +0000CiaoSen(~Jura@dynamic-046-114-249-006.46.114.pool.telefonica.de) (Ping timeout: 246 seconds)
2026-06-12 07:59:25 +0000CiaoSen(~Jura@dynamic-046-114-168-074.46.114.pool.telefonica.de) CiaoSen
2026-06-12 08:04:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-12 08:11:19 +0000Raito_Bezarius(~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 252 seconds)
2026-06-12 08:21:06 +0000Googulator60(~Googulato@team.broadbit.hu)
2026-06-12 08:25:26 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 256 seconds)
2026-06-12 08:25:42 +0000Raito_Bezarius(~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius
2026-06-12 08:30:24 +0000acidjnk_new3(~acidjnk@p200300d6e700e502d872cbb897d2d0d7.dip0.t-ipconnect.de)
2026-06-12 08:33:22 +0000acidjnk_new(~acidjnk@p200300d6e700e5120ef3d9552e8c751d.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2026-06-12 08:33:32 +0000 <ski> @where CIS194
2026-06-12 08:33:32 +0000 <lambdabot> <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html>
2026-06-12 08:40:03 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 08:41:22 +0000Digit(~user@user/digit) (Ping timeout: 276 seconds)
2026-06-12 08:41:25 +0000Digitteknohippie(~user@user/digit) Digit
2026-06-12 08:45:26 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-06-12 08:45:26 +0000CiaoSen(~Jura@dynamic-046-114-168-074.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2026-06-12 08:49:38 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-06-12 08:50:46 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-06-12 08:51:43 +0000CiaoSen(~Jura@2a02:3030:aeb:7926:4e50:ddff:fe9b:8922) CiaoSen
2026-06-12 08:54:27 +0000petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in)
2026-06-12 09:02:50 +0000__monty__(~toonn@user/toonn) toonn
2026-06-12 09:10:33 +0000Googulator60Googulator
2026-06-12 09:16:59 +0000DigitteknohippieDigit
2026-06-12 09:39:04 +0000ski(~ski@90-224-14-130-no600.tbcn.telia.com) (Ping timeout: 245 seconds)
2026-06-12 09:44:37 +0000Digit(~user@user/digit) (Ping timeout: 265 seconds)
2026-06-12 09:45:06 +0000Digitteknohippie(~user@user/digit) Digit
2026-06-12 09:52:55 +0000DigitteknohippieDigit
2026-06-12 09:54:49 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 248 seconds)
2026-06-12 09:55:24 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 09:55:53 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2026-06-12 09:57:39 +0000ski(~ski@90-224-14-130-no600.tbcn.telia.com) ski
2026-06-12 09:59:22 +0000CiaoSen(~Jura@2a02:3030:aeb:7926:4e50:ddff:fe9b:8922) (Ping timeout: 276 seconds)
2026-06-12 10:04:31 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 262 seconds)
2026-06-12 10:08:34 +0000ski(~ski@90-224-14-130-no600.tbcn.telia.com) (Ping timeout: 244 seconds)
2026-06-12 10:10:27 +0000ski(~ski@90-224-14-130-no600.tbcn.telia.com)
2026-06-12 10:14:46 +0000Square2(~Square@user/square) Square
2026-06-12 10:26:33 +0000 <riad> dminuoso: thanks for the tip, gonna keep AMP in mind :thumbs_up:
2026-06-12 10:26:58 +0000CiaoSen(~Jura@2a02:3030:aeb:7926:4e50:ddff:fe9b:8922) CiaoSen
2026-06-12 10:27:53 +0000 <riad> dminuoso: CIS-194 seems like a bit of a shallow overview, same as LYAH
2026-06-12 10:30:06 +0000 <riad> its important to me that i really understand the language, and not just only be able to write a few things without understanding the underlying concepts
2026-06-12 10:30:27 +0000 <riad> it would just bite me back later
2026-06-12 10:45:27 +0000synchromesh(~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) (Read error: Connection reset by peer)
2026-06-12 10:46:22 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-06-12 10:48:55 +0000dtman34_(~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) (Ping timeout: 245 seconds)
2026-06-12 10:51:02 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2026-06-12 10:51:45 +0000synchromesh(~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh
2026-06-12 10:53:31 +0000 <ski> CIS194 has exercises, unlike LYAH
2026-06-12 10:54:33 +0000tnt1(~Thunderbi@user/tnt1) (Ping timeout: 248 seconds)
2026-06-12 10:57:39 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 244 seconds)
2026-06-12 10:59:51 +0000AlexNoo_(~AlexNoo@178.34.151.39)
2026-06-12 10:59:56 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-06-12 11:01:42 +0000Alex_delenda_est(~al_test@85.174.183.27) (Ping timeout: 252 seconds)
2026-06-12 11:02:18 +0000riad(~x@user/riad) (Quit: WeeChat 4.9.0)
2026-06-12 11:02:58 +0000AlexZenon(~alzenon@85.174.183.27) (Ping timeout: 256 seconds)
2026-06-12 11:03:20 +0000AlexNoo(~AlexNoo@85.174.183.27) (Ping timeout: 244 seconds)
2026-06-12 11:04:32 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-06-12 11:06:48 +0000AlexZenon(~alzenon@178.34.151.39)
2026-06-12 11:13:06 +0000tnt1(~Thunderbi@user/tnt1) tnt1
2026-06-12 11:28:08 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2026-06-12 11:29:35 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 11:35:19 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
2026-06-12 11:35:45 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-12 11:39:18 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-06-12 11:40:01 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-06-12 11:44:18 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds)
2026-06-12 11:44:58 +0000AlexNoo_AlexNoo
2026-06-12 11:45:18 +0000Alex_delenda_est(~al_test@178.34.151.39)
2026-06-12 12:08:34 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-06-12 12:08:41 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-06-12 12:12:18 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-06-12 12:13:17 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-06-12 12:16:15 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-06-12 12:17:11 +0000euphores(~SASL_euph@user/euphores) (Ping timeout: 252 seconds)
2026-06-12 12:23:37 +0000weary-traveler(~user@user/user363627) user363627
2026-06-12 12:25:22 +0000euphores(~SASL_euph@user/euphores) euphores
2026-06-12 12:29:49 +0000emilym(~Thunderbi@user/emilym) (Remote host closed the connection)
2026-06-12 12:30:02 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 12:32:57 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-06-12 12:32:58 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-06-12 12:32:58 +0000haritz(~hrtz@user/haritz) haritz
2026-06-12 12:34:58 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 248 seconds)
2026-06-12 12:37:18 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-06-12 12:39:11 +0000xff0x(~xff0x@2405:6580:b080:900:5d5d:d6bf:8a8c:6eb3)
2026-06-12 12:40:46 +0000 <carter> i miss older irc before the great migration and splintering
2026-06-12 12:41:39 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2026-06-12 12:41:45 +0000Square2(~Square@user/square) (Ping timeout: 248 seconds)
2026-06-12 12:45:15 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-06-12 12:49:06 +0000weary-traveler(~user@user/user363627) user363627
2026-06-12 12:50:27 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 12:54:42 +0000Alex_delenda_est(~al_test@178.34.151.39) (Quit: ;-)
2026-06-12 12:54:59 +0000AlexZenon(~alzenon@178.34.151.39) (Quit: ;-)
2026-06-12 12:55:08 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 252 seconds)
2026-06-12 12:55:28 +0000AlexNoo(~AlexNoo@178.34.151.39) (Quit: Leaving)
2026-06-12 12:57:24 +0000 <mauke> off-topic: https://www.youtube.com/watch?v=NPSkmQAjxH4 [Kan Academy: Adjoints]
2026-06-12 12:58:20 +0000 <merijn> I blame matrix!
2026-06-12 12:58:41 +0000 <merijn> Or the youth and their new-fangled communication tech
2026-06-12 12:59:30 +0000 <jaror> discord is so much worse in my opinion
2026-06-12 12:59:46 +0000 <mauke> I'm howling at the moon
2026-06-12 13:00:20 +0000 <int-e> it's not like IRC wasn't already shrinking before the Freenode debacle
2026-06-12 13:04:45 +0000malte(~malte@mal.tc) (Remote host closed the connection)
2026-06-12 13:16:29 +0000malte(~malte@mal.tc) malte
2026-06-12 13:20:31 +0000AlexNoo(~AlexNoo@178.34.151.39)
2026-06-12 13:25:03 +0000AlexZenon(~alzenon@178.34.151.39)
2026-06-12 13:30:04 +0000CiaoSen(~Jura@2a02:3030:aeb:7926:4e50:ddff:fe9b:8922) (Ping timeout: 244 seconds)
2026-06-12 13:38:00 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 13:42:46 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 256 seconds)
2026-06-12 13:49:09 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-06-12 13:49:35 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-06-12 13:50:11 +0000Alex_delenda_est(~al_test@178.34.151.39)
2026-06-12 13:52:38 +0000nyc(~nyc@user/nyc) (Remote host closed the connection)
2026-06-12 13:54:59 +0000jgee242(~jayanth@static-98-115-128-109.phlapa.fios.verizon.net)
2026-06-12 14:08:30 +0000spew(~spew@user/spew) spew
2026-06-12 14:14:38 +0000ft(~ft@p4fc2ab3f.dip0.t-ipconnect.de) ft
2026-06-12 14:18:49 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-06-12 14:28:45 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 14:28:55 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds)
2026-06-12 14:29:35 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-06-12 14:33:12 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 256 seconds)
2026-06-12 14:43:26 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-06-12 14:43:47 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-06-12 14:48:22 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 267 seconds)
2026-06-12 14:51:54 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2026-06-12 14:59:38 +0000synchromesh(~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) (Read error: Connection reset by peer)
2026-06-12 15:03:39 +0000ystael(~ystael@user/ystael) ystael
2026-06-12 15:05:08 +0000synchromesh(~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh
2026-06-12 15:08:46 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 276 seconds)
2026-06-12 15:08:48 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-06-12 15:10:01 +0000Vajb(~Vajb@n5fv3njy8ismu511u8e-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds)
2026-06-12 15:11:14 +0000Vajb(~Vajb@n7mpcbux15qxos99mq9-1.v6.elisa-mobile.fi)
2026-06-12 15:15:10 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 15:15:21 +0000Vajb(~Vajb@n7mpcbux15qxos99mq9-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds)
2026-06-12 15:15:21 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds)
2026-06-12 15:15:45 +0000Vajb(~Vajb@n60e7ydkwtjklcc1qro-1.v6.elisa-mobile.fi)
2026-06-12 15:16:01 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-06-12 15:19:20 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 245 seconds)
2026-06-12 15:27:03 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-06-12 15:49:18 +0000Guest86(~Guest86@182.48.214.244)
2026-06-12 15:49:43 +0000 <Guest86> Returning Haskell user
2026-06-12 15:50:24 +0000Guest86(~Guest86@182.48.214.244) (Client Quit)
2026-06-12 15:51:08 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 15:52:19 +0000weary-traveler(~user@user/user363627) user363627
2026-06-12 15:55:21 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 248 seconds)
2026-06-12 15:59:46 +0000Googulator(~Googulato@team.broadbit.hu) (Quit: Client closed)
2026-06-12 16:00:10 +0000Googulator(~Googulato@team.broadbit.hu)
2026-06-12 16:06:29 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-06-12 16:11:50 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 16:15:57 +0000Googulator(~Googulato@team.broadbit.hu) (Quit: Client closed)
2026-06-12 16:16:12 +0000Googulator(~Googulato@team.broadbit.hu)
2026-06-12 16:16:18 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 248 seconds)
2026-06-12 16:18:00 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2026-06-12 16:19:56 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2026-06-12 16:22:56 +0000Digit(~user@user/digit) (Remote host closed the connection)
2026-06-12 16:23:14 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds)
2026-06-12 16:27:43 +0000 <monochrom> mauke: Haha "Kan Academy" is a cute name.
2026-06-12 16:33:05 +0000Digit(~user@user/digit) Digit
2026-06-12 16:33:50 +0000sourdecor(uid526401@id-526401.lymington.irccloud.com)
2026-06-12 16:36:09 +0000 <monochrom> Hutton's book has incorporated AMP.
2026-06-12 16:36:10 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 256 seconds)
2026-06-12 16:37:41 +0000 <EvanR> apache mysql php
2026-06-12 16:37:42 +0000Googulator(~Googulato@team.broadbit.hu) (Ping timeout: 245 seconds)
2026-06-12 16:40:15 +0000Square2(~Square@user/square) Square
2026-06-12 16:51:58 +0000califax_(~califax@user/califx) califx
2026-06-12 16:52:46 +0000califax(~califax@user/califx) (Ping timeout: 245 seconds)
2026-06-12 16:53:11 +0000califax_califax
2026-06-12 16:58:18 +0000chele(~chele@user/chele) (Remote host closed the connection)
2026-06-12 17:02:46 +0000weary-traveler(~user@user/user363627) user363627
2026-06-12 17:07:12 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-12 17:10:52 +0000petrichor(~jez@user/petrichor) petrichor
2026-06-12 17:11:26 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 252 seconds)
2026-06-12 17:12:26 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-06-12 17:12:56 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-06-12 17:13:39 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-06-12 17:27:49 +0000kimiamania408(~67ff9c51@user/kimiamania) (Quit: Ping timeout (120 seconds))
2026-06-12 17:28:13 +0000kimiamania408(~67ff9c51@user/kimiamania) kimiamania
2026-06-12 17:32:54 +0000laserbat(~laserbat@user/laserbat) (Ping timeout: 244 seconds)
2026-06-12 17:32:59 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-06-12 17:34:46 +0000laserbat(~laserbat@user/laserbat) laserbat
2026-06-12 17:38:50 +0000tnt1(~Thunderbi@user/tnt1) (Remote host closed the connection)
2026-06-12 17:45:19 +0000juri_(~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 264 seconds)
2026-06-12 17:47:00 +0000juri_(~juri@217-114-215-140.pool.ovpn.com) juri_