2024/08/06

2024-08-06 00:03:38 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 244 seconds)
2024-08-06 00:05:42 +0200qeef(~qeef@138-169-143-94.cust.centrio.cz) (Ping timeout: 244 seconds)
2024-08-06 00:15:51 +0200Sgeo(~Sgeo@user/sgeo)
2024-08-06 00:16:25 +0200spew(~spew@201.141.102.132) (Quit: spew)
2024-08-06 00:22:33 +0200pavonia(~user@user/siracusa)
2024-08-06 00:25:46 +0200AlexZenon(~alzenon@94.233.241.125) (Ping timeout: 252 seconds)
2024-08-06 00:26:31 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 264 seconds)
2024-08-06 00:30:16 +0200AlexZenon(~alzenon@94.233.241.125)
2024-08-06 00:33:20 +0200ystael(~ystael@user/ystael) (Ping timeout: 260 seconds)
2024-08-06 00:55:05 +0200manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection)
2024-08-06 00:55:12 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds)
2024-08-06 00:55:30 +0200manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck)
2024-08-06 00:59:02 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jdfvkb)
2024-08-06 01:01:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-06 01:02:17 +0200euleritian(~euleritia@dynamic-176-006-150-162.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-08-06 01:02:35 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-06 01:04:33 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-08-06 01:04:33 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-08-06 01:04:46 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-06 01:08:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2024-08-06 01:17:04 +0200 <jle`> i forgot if conor mcbride used to hang out here
2024-08-06 01:25:42 +0200acidjnk(~acidjnk@p200300d6e72cfb12697648a237574ae3.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-08-06 01:30:27 +0200 <dolio> I don't think so.
2024-08-06 01:30:29 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0)
2024-08-06 01:33:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-08-06 01:35:21 +0200acidjnk(~acidjnk@p200300d6e72cfb126dbf5ec3ae9702a3.dip0.t-ipconnect.de)
2024-08-06 01:40:42 +0200 <sprout> isn't that the agda guy?
2024-08-06 01:40:50 +0200 <sprout> try #agda
2024-08-06 01:42:19 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 265 seconds)
2024-08-06 01:43:54 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-08-06 01:44:54 +0200skyesoss(~Thunderbi@128.135.204.35) (Ping timeout: 244 seconds)
2024-08-06 01:45:46 +0200 <dolio> I'm not aware of him using irc.
2024-08-06 01:46:36 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-08-06 01:55:58 +0200manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 252 seconds)
2024-08-06 01:56:30 +0200manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck)
2024-08-06 01:57:38 +0200Inst(~Inst@user/Inst)
2024-08-06 02:02:00 +0200 <Inst> dolio: insofar as you can't access a file on a filesystem with blocking IO twice unless the data's completely consumed; readFile' would close the handle, readFile wouldn't until the resource's exhausted
2024-08-06 02:02:32 +0200 <Inst> so i mean my conceptual model is iteratee IO > strict IO > lazy IO
2024-08-06 02:03:00 +0200 <Inst> although tbh I guess you can't do it with iteratee / streaming either
2024-08-06 02:04:04 +0200acidjnk(~acidjnk@p200300d6e72cfb126dbf5ec3ae9702a3.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-08-06 02:07:03 +0200abyxq(~abyxq@user/abyxq)
2024-08-06 02:18:59 +0200zmt01(~zmt00@user/zmt00)
2024-08-06 02:23:00 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 260 seconds)
2024-08-06 02:29:41 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 252 seconds)
2024-08-06 02:35:25 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-08-06 02:36:58 +0200califax(~califax@user/califx)
2024-08-06 02:40:22 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-08-06 02:40:26 +0200auci(~auci@user/auci)
2024-08-06 02:41:01 +0200auci(~auci@user/auci) (Konversation terminated!)
2024-08-06 02:41:15 +0200abyxq(~abyxq@user/abyxq) (Quit: leaving)
2024-08-06 02:49:48 +0200 <haskellbridge> <thirdofmay18081814goya> anyone got a good set of exercises about monad transformers with solutions?
2024-08-06 02:50:57 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-08-06 02:52:05 +0200 <jackdk> https://github.com/qfpl/applied-fp-course/blob/master/bonus/mtl.md
2024-08-06 02:52:45 +0200 <jackdk> http://jackkelly.name/wiki/haskell/learning.html is where I keep my list of recommended resources
2024-08-06 02:52:48 +0200 <jackdk> No solutions though
2024-08-06 02:53:35 +0200 <jackdk> Actually wait, there are. In the <details> tags
2024-08-06 02:56:34 +0200 <haskellbridge> <thirdofmay18081814goya> great ty!!
2024-08-06 03:05:32 +0200 <Inst> Am I correct if I characterize the FP divide from mainstream programming as one between proof-based mathematics and algorithmic mathematics?
2024-08-06 03:07:03 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-08-06 03:07:16 +0200 <Inst> actually, probably a really bad topic of conversation, I'll drop it
2024-08-06 03:07:17 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-06 03:21:22 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-08-06 03:23:40 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-06 03:25:17 +0200 <JuanDaugherty> no that's a totally whack take
2024-08-06 03:25:42 +0200 <JuanDaugherty> mainframe isn a thing to be in opposition to FP
2024-08-06 03:25:58 +0200 <JuanDaugherty> and ofc the first FP was on mainframes cause that's all there was
2024-08-06 03:26:43 +0200 <geekosaur> uh, where did mainframes come into it?
2024-08-06 03:26:56 +0200 <geekosaur> mainstream
2024-08-06 03:27:13 +0200 <Inst> it's a dumb thought that's better drpped into off-topic
2024-08-06 03:27:18 +0200 <JuanDaugherty> and when i said (in #politics) that it's more permissive here, I meant nobody but me is likely to respond like that
2024-08-06 03:27:46 +0200 <JuanDaugherty> (##politics)
2024-08-06 03:28:31 +0200 <JuanDaugherty> oh my bad i read mainframe
2024-08-06 03:29:00 +0200 <JuanDaugherty> but it's still wrongheaded
2024-08-06 03:29:13 +0200 <JuanDaugherty> mainstream means what?
2024-08-06 03:29:24 +0200 <Inst> juandaughterty: if you want to continue, try #haskell-offtopic
2024-08-06 03:29:27 +0200 <JuanDaugherty> the bulk of commercial IT activity?
2024-08-06 03:32:24 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-08-06 03:35:41 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-08-06 03:35:44 +0200ZharMeny(~user@user/ZharMeny) (Quit: how `long` is an `int`)
2024-08-06 03:41:13 +0200xff0x(~xff0x@2405:6580:b080:900:dfe2:132b:5bfa:6516) (Ping timeout: 265 seconds)
2024-08-06 03:44:04 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-08-06 03:56:26 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Read error: Connection reset by peer)
2024-08-06 04:00:13 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-08-06 04:04:57 +0200gentauro(~gentauro@user/gentauro) (Ping timeout: 252 seconds)
2024-08-06 04:11:42 +0200gentauro(~gentauro@user/gentauro)
2024-08-06 04:20:50 +0200Guest25(~Guest25@c-71-205-23-57.hsd1.co.comcast.net)
2024-08-06 04:28:53 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-08-06 04:32:53 +0200td_(~td@i53870916.versanet.de) (Ping timeout: 248 seconds)
2024-08-06 04:34:40 +0200td_(~td@i53870936.versanet.de)
2024-08-06 04:37:05 +0200xff0x(~xff0x@125.103.176.34)
2024-08-06 04:44:44 +0200cipherrot(~znc-user@user/petrichor) (Ping timeout: 260 seconds)
2024-08-06 04:46:44 +0200petrichor(~znc-user@user/petrichor)
2024-08-06 04:56:07 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-06 05:05:42 +0200aforemny_(~aforemny@2001:9e8:6ce5:9e00:3eae:bcb7:91ff:d64b)
2024-08-06 05:07:15 +0200aforemny(~aforemny@2001:9e8:6cc5:7700:e5cf:3849:4594:a5ae) (Ping timeout: 265 seconds)
2024-08-06 05:09:33 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
2024-08-06 05:10:07 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-08-06 05:10:35 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2024-08-06 05:13:26 +0200rosco(~rosco@175.136.158.234)
2024-08-06 05:45:14 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-08-06 06:25:48 +0200Guest25(~Guest25@c-71-205-23-57.hsd1.co.comcast.net) (Quit: Client closed)
2024-08-06 06:31:50 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-06 06:44:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-08-06 06:45:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-06 06:52:52 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-08-06 06:53:20 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-08-06 06:53:22 +0200michalz(~michalz@185.246.207.200)
2024-08-06 07:12:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2024-08-06 07:26:54 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2024-08-06 07:27:27 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-06 07:30:40 +0200Square(~Square@user/square)
2024-08-06 07:33:39 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds)
2024-08-06 07:34:00 +0200euleritian(~euleritia@dynamic-176-006-133-192.176.6.pool.telefonica.de)
2024-08-06 07:47:04 +0200lol_jcarpenter2
2024-08-06 07:48:16 +0200pkal(~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection)
2024-08-06 07:48:25 +0200pkal(~pkal@2a01:4f8:1c1b:a321::1)
2024-08-06 07:50:09 +0200pkal(~pkal@2a01:4f8:1c1b:a321::1) (Remote host closed the connection)
2024-08-06 07:50:18 +0200pkal(~pkal@2a01:4f8:1c1b:a321::1)
2024-08-06 07:51:04 +0200pkal(~pkal@2a01:4f8:1c1b:a321::1) (Remote host closed the connection)
2024-08-06 07:51:13 +0200pkal(~pkal@2a01:4f8:1c1b:a321::1)
2024-08-06 07:51:58 +0200pkal(~pkal@2a01:4f8:1c1b:a321::1) (Remote host closed the connection)
2024-08-06 07:52:06 +0200pkal(~pkal@2a01:4f8:1c1b:a321::1)
2024-08-06 08:00:03 +0200pkal(~pkal@2a01:4f8:1c1b:a321::1) (Remote host closed the connection)
2024-08-06 08:01:15 +0200pkal(~pkal@2a01:4f8:1c1b:a321::1)
2024-08-06 08:15:28 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-08-06 08:33:53 +0200Xe(~cadey@perl/impostor/xe) (Ping timeout: 255 seconds)
2024-08-06 08:38:32 +0200Xe(~cadey@perl/impostor/xe)
2024-08-06 08:39:52 +0200CiaoSen(~Jura@2a05:5800:2d9:fc00:e6b9:7aff:fe80:3d03)
2024-08-06 08:42:56 +0200kuribas(~user@2a02:1808:7:61bb:229c:98fa:4701:3649)
2024-08-06 08:48:42 +0200kuribas`(~user@2a02:1808:3:a2c9:e84:e3f2:e81a:6ace)
2024-08-06 08:50:33 +0200kuribas(~user@2a02:1808:7:61bb:229c:98fa:4701:3649) (Ping timeout: 265 seconds)
2024-08-06 08:53:05 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-08-06 09:03:02 +0200kuribas`(~user@2a02:1808:3:a2c9:e84:e3f2:e81a:6ace) (Ping timeout: 244 seconds)
2024-08-06 09:06:13 +0200rosco(~rosco@175.136.158.234) (Quit: Lost terminal)
2024-08-06 09:21:44 +0200acidjnk(~acidjnk@p200300d6e72cfb628054de8284f67264.dip0.t-ipconnect.de)
2024-08-06 09:24:34 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-08-06 09:25:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-06 09:25:55 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-08-06 09:27:08 +0200euleritian(~euleritia@dynamic-176-006-133-192.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-08-06 09:27:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-06 09:40:42 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-08-06 09:41:35 +0200gmg(~user@user/gehmehgeh)
2024-08-06 09:43:58 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-08-06 09:44:05 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-08-06 09:47:54 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-08-06 09:49:03 +0200Guest42(~Guest42@m90-131-37-64.cust.tele2.lt)
2024-08-06 09:53:47 +0200Guest42jinkims
2024-08-06 09:55:08 +0200jinkims(~Guest42@m90-131-37-64.cust.tele2.lt) (Changing host)
2024-08-06 09:55:08 +0200jinkims(~Guest42@user/jinkims)
2024-08-06 09:56:31 +0200CiaoSen(~Jura@2a05:5800:2d9:fc00:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds)
2024-08-06 09:56:41 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-08-06 09:58:25 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-08-06 10:19:00 +0200Xe(~cadey@perl/impostor/xe) (Ping timeout: 265 seconds)
2024-08-06 10:20:59 +0200Xe(~cadey@perl/impostor/xe)
2024-08-06 10:25:01 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: on the move)
2024-08-06 10:31:01 +0200cfricke(~cfricke@user/cfricke)
2024-08-06 10:37:16 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2024-08-06 10:38:15 +0200ft(~ft@p4fc2aa15.dip0.t-ipconnect.de) (Quit: leaving)
2024-08-06 10:39:23 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-08-06 10:44:43 +0200Square(~Square@user/square) (Remote host closed the connection)
2024-08-06 10:51:29 +0200ubert(~Thunderbi@178.115.47.16.wireless.dyn.drei.com)
2024-08-06 11:04:17 +0200Kryder(~Kryder@90.201.223.82) (Ping timeout: 248 seconds)
2024-08-06 11:08:01 +0200Kryder(~Kryder@85.255.237.168)
2024-08-06 11:13:43 +0200Kryder(~Kryder@85.255.237.168) (Ping timeout: 245 seconds)
2024-08-06 11:13:50 +0200sawilagar(~sawilagar@user/sawilagar)
2024-08-06 11:18:44 +0200alex``(~user@92.red-83-33-248.dynamicip.rima-tde.net)
2024-08-06 11:20:48 +0200thyriaen(~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1)
2024-08-06 11:21:37 +0200rosco(~rosco@175.136.158.234)
2024-08-06 11:30:26 +0200Kryder(~Kryder@90.201.223.82)
2024-08-06 11:37:17 +0200thyriaen(~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) (Remote host closed the connection)
2024-08-06 11:39:45 +0200Dykam(Dykam@dykam.nl) (Quit: Dykam)
2024-08-06 11:40:48 +0200Dykam(Dykam@dykam.nl)
2024-08-06 11:42:59 +0200AlexZenon(~alzenon@94.233.241.125) (Ping timeout: 260 seconds)
2024-08-06 11:50:01 +0200AlexZenon(~alzenon@94.233.241.125)
2024-08-06 11:50:32 +0200rlittl(~Android@2600:1004:b0b8:c0c0:d81c:21ff:fef5:41ca)
2024-08-06 12:08:08 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-08-06 12:13:33 +0200xff0x(~xff0x@125.103.176.34) (Ping timeout: 265 seconds)
2024-08-06 12:36:57 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2024-08-06 12:37:40 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-06 12:41:00 +0200Square(~Square@user/square)
2024-08-06 12:43:32 +0200rosco(~rosco@175.136.158.234) (Quit: Lost terminal)
2024-08-06 12:43:55 +0200ZharMeny(~user@user/ZharMeny)
2024-08-06 12:44:55 +0200CiaoSen(~Jura@2a05:5800:2d9:fc00:e6b9:7aff:fe80:3d03)
2024-08-06 13:11:13 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-08-06 13:14:15 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: meal)
2024-08-06 13:17:11 +0200xff0x(~xff0x@2405:6580:b080:900:7bc4:5f07:443b:cdc)
2024-08-06 13:30:54 +0200ubert(~Thunderbi@178.115.47.16.wireless.dyn.drei.com) (Ping timeout: 276 seconds)
2024-08-06 13:54:35 +0200rosco(~rosco@175.136.158.234)
2024-08-06 14:17:57 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-08-06 14:23:05 +0200alex``(~user@92.red-83-33-248.dynamicip.rima-tde.net) (Ping timeout: 265 seconds)
2024-08-06 14:30:47 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-08-06 14:37:39 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-08-06 14:40:34 +0200cfricke(~cfricke@user/cfricke)
2024-08-06 14:53:27 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-08-06 15:04:14 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-08-06 15:13:51 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-08-06 15:14:03 +0200john4(~john@203.94.52.182) (Read error: Connection reset by peer)
2024-08-06 15:14:36 +0200john2(~john@203.94.52.182)
2024-08-06 15:14:58 +0200CiaoSen(~Jura@2a05:5800:2d9:fc00:e6b9:7aff:fe80:3d03) (Ping timeout: 245 seconds)
2024-08-06 15:31:35 +0200sp1ff(~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection)
2024-08-06 15:32:14 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-08-06 15:36:01 +0200ystael(~ystael@user/ystael)
2024-08-06 15:40:59 +0200tomku(~tomku@user/tomku) (Ping timeout: 260 seconds)
2024-08-06 15:41:13 +0200tomku(~tomku@user/tomku)
2024-08-06 15:47:19 +0200thyriaen(~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1)
2024-08-06 15:54:52 +0200wroathe(~wroathe@mobile-166-175-191-76.mycingular.net)
2024-08-06 15:54:52 +0200wroathe(~wroathe@mobile-166-175-191-76.mycingular.net) (Changing host)
2024-08-06 15:54:52 +0200wroathe(~wroathe@user/wroathe)
2024-08-06 15:54:55 +0200sp1ff(~user@c-73-11-70-111.hsd1.wa.comcast.net)
2024-08-06 16:00:25 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0)
2024-08-06 16:10:19 +0200dolio(~dolio@130.44.140.168) (Ping timeout: 264 seconds)
2024-08-06 16:10:42 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2024-08-06 16:15:21 +0200dolio(~dolio@130.44.140.168)
2024-08-06 16:20:48 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2024-08-06 16:21:20 +0200euleritian(~euleritia@dynamic-176-006-128-197.176.6.pool.telefonica.de)
2024-08-06 16:25:07 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Quit: Lost terminal)
2024-08-06 16:25:23 +0200michalz(~michalz@185.246.207.200) (Ping timeout: 245 seconds)
2024-08-06 16:33:28 +0200michalz(~michalz@185.246.207.197)
2024-08-06 16:33:34 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 244 seconds)
2024-08-06 16:37:17 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-08-06 16:39:46 +0200Angelz(Angelz@user/angelz) (Ping timeout: 244 seconds)
2024-08-06 16:39:59 +0200zfnmxt(~zfnmxt@user/zfnmxt) (Ping timeout: 252 seconds)
2024-08-06 16:50:04 +0200rosco(~rosco@175.136.158.234) (Quit: Lost terminal)
2024-08-06 16:50:35 +0200zfnmxt(~zfnmxt@user/zfnmxt)
2024-08-06 16:50:48 +0200jinkims(~Guest42@user/jinkims) (Ping timeout: 245 seconds)
2024-08-06 17:00:01 +0200danse-nr3(~danse-nr3@user/danse-nr3) ()
2024-08-06 17:02:37 +0200euleritian(~euleritia@dynamic-176-006-128-197.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-08-06 17:03:08 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-06 17:08:58 +0200curious-user(~user@user/curious-user)
2024-08-06 17:11:08 +0200 <curious-user> hi, what modern *not abandoned* web frameworks(micro is fine too) are there nowadays?
2024-08-06 17:11:42 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-08-06 17:13:57 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-08-06 17:14:43 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-06 17:15:04 +0200 <ZharMeny> curious-user: you got to narrow down what 'web framework' means first
2024-08-06 17:18:27 +0200 <curious-user> ZharMeny: things like yesod or servant
2024-08-06 17:24:54 +0200curious-user(~user@user/curious-user) (Quit: WeeChat 4.3.4)
2024-08-06 17:25:37 +0200curious-user(~user@user/curious-user)
2024-08-06 17:26:00 +0200 <haskellbridge> <sm> yesod, servant, IHP are the big ones
2024-08-06 17:26:09 +0200 <haskellbridge> <sm> yesod, servant, IHP are the big ones
2024-08-06 17:26:23 +0200 <haskellbridge> <sm> miso may also be maintained
2024-08-06 17:26:35 +0200 <haskellbridge> <sm> lots of smaller ones findable on hackage
2024-08-06 17:27:09 +0200tomku(~tomku@user/tomku) (Ping timeout: 260 seconds)
2024-08-06 17:27:11 +0200thyriaen(~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) (Remote host closed the connection)
2024-08-06 17:27:24 +0200tomku(~tomku@user/tomku)
2024-08-06 17:29:25 +0200 <curious-user> cool, thank you
2024-08-06 17:34:53 +0200curious-user(~user@user/curious-user) (Quit: WeeChat 4.3.4)
2024-08-06 17:37:12 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-08-06 17:37:37 +0200nschoe(~nschoe@2a01:e0a:8e:a190:e958:8b05:e0fc:affd) (Quit: ZNC 1.8.2 - https://znc.in)
2024-08-06 17:37:54 +0200nschoe(~nschoe@2a01:e0a:8e:a190:c682:940b:f5c:17fc)
2024-08-06 17:39:47 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-08-06 17:45:22 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-08-06 17:45:51 +0200falafel(~falafel@79.117.174.21)
2024-08-06 17:51:52 +0200urdh(~urdh@user/urdh) (Ping timeout: 252 seconds)
2024-08-06 17:56:17 +0200rvalue-(~rvalue@user/rvalue)
2024-08-06 17:57:01 +0200dans61442(~danse-nr3@user/danse-nr3)
2024-08-06 17:57:03 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 245 seconds)
2024-08-06 17:57:30 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer)
2024-08-06 18:00:24 +0200rvalue-rvalue
2024-08-06 18:02:53 +0200 <dmj`> sm: miso is "maintained" :P
2024-08-06 18:03:04 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15)
2024-08-06 18:06:13 +0200falafel(~falafel@79.117.174.21) (Ping timeout: 245 seconds)
2024-08-06 18:09:51 +0200qeef(~qeef@138-169-143-94.cust.centrio.cz)
2024-08-06 18:09:59 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-08-06 18:12:04 +0200 <haskellbridge> <sm> 👍🏻
2024-08-06 18:19:33 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2024-08-06 18:19:44 +0200euleritian(~euleritia@dynamic-176-006-128-197.176.6.pool.telefonica.de)
2024-08-06 18:20:59 +0200euleritian(~euleritia@dynamic-176-006-128-197.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-08-06 18:21:07 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-08-06 18:21:17 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-06 18:25:23 +0200tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Remote host closed the connection)
2024-08-06 18:26:46 +0200urdh(~urdh@user/urdh)
2024-08-06 18:26:46 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-08-06 18:28:01 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-06 18:32:47 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-08-06 18:36:21 +0200tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
2024-08-06 18:51:57 +0200dans61442(~danse-nr3@user/danse-nr3) (Remote host closed the connection)
2024-08-06 18:52:11 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-08-06 18:55:46 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-08-06 19:09:09 +0200euphores(~SASL_euph@user/euphores)
2024-08-06 19:09:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-08-06 19:16:58 +0200sudden(~cat@user/sudden) (Read error: Connection reset by peer)
2024-08-06 19:19:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-06 19:28:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-08-06 19:29:29 +0200 <monochrom> I ran into students in another class and they chose to use Haskell for the web app they are making for that class, and I got curious and asked "which library do you use" and the answer is IHP "because it's the first thing on the Haskell wiki page about web apps" :)
2024-08-06 19:29:58 +0200 <danse-nr3> heh good luck with that attitude
2024-08-06 19:32:29 +0200 <monochrom> I once used wai, but my web app was an extremely minimal toy. ("count how many times self is visited")
2024-08-06 19:33:06 +0200 <monochrom> even "but only since the server was (re)started"
2024-08-06 19:33:30 +0200 <danse-nr3> there's mainly the microframeworks and the "battery included" attempts
2024-08-06 19:33:34 +0200sudden(~cat@user/sudden)
2024-08-06 19:33:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-06 19:33:59 +0200 <danse-nr3> if one goes for a microframework, that's not that far from what servant does
2024-08-06 19:34:19 +0200 <monochrom> And I wrote it because, only because, someone invited me to give a talk on docker, so I wanted a dumb web app to be run in docker as a simple example. :)
2024-08-06 19:35:32 +0200 <monochrom> I still want to write a web app that I will actually use. An exam timer with space for announcing errata.
2024-08-06 19:36:24 +0200 <danse-nr3> makes sense. Now, beyond proofs of concepts, i never experienced in haskell what i experienced with other langs when it comes to web dev... therefore i haven't been doing much web dev in past years
2024-08-06 19:37:10 +0200 <danse-nr3> things may change with wasm
2024-08-06 19:50:03 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-08-06 19:51:58 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-08-06 19:54:39 +0200spew(~spew@201.141.102.132)
2024-08-06 19:55:50 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-08-06 19:57:23 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0)
2024-08-06 20:00:23 +0200 <spew> I'm just learning haskell and trying to make what I write as idiomatic as I can. I just wrote a function twoSum that finds indices that sum to a particular number. Would someone please let me know what could be done more idiomatically or any other interesting ways to implement it? Thank you! https://paste.tomsmeding.com/JJdDPwHU
2024-08-06 20:00:43 +0200kupi(uid212005@id-212005.hampstead.irccloud.com)
2024-08-06 20:02:57 +0200 <Inst> the function name "go" is more common these days than having function + apostrophe (prime) as the worker in a worker wrapper pattern
2024-08-06 20:03:22 +0200 <spew> Inst: thank you that's very helpful
2024-08-06 20:04:12 +0200 <Inst> add can also be put on the same level as twoSum', to avoid excessive nesting of wheres
2024-08-06 20:04:57 +0200 <Inst> if you are going to nest it, though, you can remove the i
2024-08-06 20:05:40 +0200 <Inst> yoou're technically shadowing a binding in the outer scope anyways
2024-08-06 20:07:43 +0200 <spew> I think I prefer less nesting: https://paste.tomsmeding.com/iMLgXTar
2024-08-06 20:09:27 +0200 <Inst> could add a space in the where clause
2024-08-06 20:09:37 +0200 <Inst> erm, a newline to separate the function definitions
2024-08-06 20:10:02 +0200 <spew> Inst: this is all very helpful, thank you for looking
2024-08-06 20:10:38 +0200 <zzz> spew: https://stackoverflow.com/questions/60681248/is-this-idiomatic-haskell-two-sum-question
2024-08-06 20:10:42 +0200 <haskellbridge> <sm> wow I feel for those students facing IHP setup
2024-08-06 20:10:44 +0200 <haskellbridge> <sm> unless they're already nix zealots
2024-08-06 20:12:04 +0200 <spew> zzz: someone somewhere on stackoverflow has done every stupid thing
2024-08-06 20:13:18 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds)
2024-08-06 20:13:54 +0200 <ZharMeny> if you can imagine doing something stupid then there's a stackoverflow question about it
2024-08-06 20:15:13 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection)
2024-08-06 20:16:41 +0200Buliarous(~gypsydang@46.232.210.139)
2024-08-06 20:17:02 +0200Inst(~Inst@user/Inst) (Read error: Connection reset by peer)
2024-08-06 20:19:12 +0200 <probie> When in doubt, use foldr (not actually idiomatic here)
2024-08-06 20:19:17 +0200 <probie> > (\k xs -> foldr (\(n, ix) cont m -> [(iy, ix) | iy <- M.findWithDefault [] (k - n) m] ++ cont (M.alter (Just [ix] <>) n m)) (const []) (zip xs [0::Int ..]) mempty) 5 [1, 3, 6, -1, 3, 2]
2024-08-06 20:19:18 +0200 <lambdabot> [(2,3),(4,5),(1,5)]
2024-08-06 20:21:18 +0200 <probie> > Just [5 :: Int, 6, 7] <> Just [8] <> Nothing <> Just [9, 10] -- low hanging fruit; no need for `add`
2024-08-06 20:21:19 +0200 <lambdabot> Just [5,6,7,8,9,10]
2024-08-06 20:22:11 +0200 <probie> `IntMap.alter (Just [i] <>) x seen` does the job
2024-08-06 20:23:22 +0200 <probie> actually, probably use `(<> Just [i])` so you get better ordering
2024-08-06 20:25:37 +0200 <spew> probie: that is incredibly helpful, thank you
2024-08-06 20:25:47 +0200 <spew> I'm very curious about various ways to implement things
2024-08-06 20:29:57 +0200forell(~forell@user/forell) (Quit: ZNC - https://znc.in)
2024-08-06 20:30:51 +0200forell(~forell@user/forell)
2024-08-06 20:32:22 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-08-06 20:33:57 +0200tomku(~tomku@user/tomku) (Ping timeout: 248 seconds)
2024-08-06 20:34:11 +0200tomku(~tomku@user/tomku)
2024-08-06 20:37:01 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-08-06 20:37:38 +0200noumenonphilalethes
2024-08-06 20:37:46 +0200Angelz(Angelz@Angelz.oddprotocol.org)
2024-08-06 20:37:56 +0200philalethesephilalethes
2024-08-06 20:39:53 +0200Angelz(Angelz@Angelz.oddprotocol.org) (Client Quit)
2024-08-06 20:43:01 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 248 seconds)
2024-08-06 20:47:38 +0200Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973)
2024-08-06 20:56:06 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 272 seconds)
2024-08-06 20:56:38 +0200rlittl_(~Android@2603:6081:5500:54:591c:3691:4117:db20)
2024-08-06 20:56:38 +0200rlittl_(~Android@2603:6081:5500:54:591c:3691:4117:db20) (Excess Flood)
2024-08-06 20:56:57 +0200rlittl(~Android@2600:1004:b0b8:c0c0:d81c:21ff:fef5:41ca) (Read error: Connection reset by peer)
2024-08-06 20:58:06 +0200rlittl(~Android@160.sub-174-245-99.myvzw.com)
2024-08-06 20:58:06 +0200rlittl(~Android@160.sub-174-245-99.myvzw.com) (Excess Flood)
2024-08-06 20:58:29 +0200rlittl(~Android@2600:1004:b0b8:c0c0:703e:f6ff:feae:8042)
2024-08-06 20:58:29 +0200rlittl(~Android@2600:1004:b0b8:c0c0:703e:f6ff:feae:8042) (Excess Flood)
2024-08-06 20:59:13 +0200rlittl(~Android@2600:1004:b0b8:c0c0:703e:f6ff:feae:8042)
2024-08-06 20:59:13 +0200rlittl(~Android@2600:1004:b0b8:c0c0:703e:f6ff:feae:8042) (Excess Flood)
2024-08-06 20:59:45 +0200Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Remote host closed the connection)
2024-08-06 21:00:18 +0200rlittl(~Android@160.sub-174-245-99.myvzw.com)
2024-08-06 21:00:18 +0200rlittl(~Android@160.sub-174-245-99.myvzw.com) (Excess Flood)
2024-08-06 21:00:24 +0200jasperr(~jasperr@91-82-240-95.pool.digikabel.hu)
2024-08-06 21:02:42 +0200rlittl(~Android@2603:6081:5500:54:591c:3691:4117:db20)
2024-08-06 21:02:42 +0200rlittl(~Android@2603:6081:5500:54:591c:3691:4117:db20) (Excess Flood)
2024-08-06 21:04:46 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15)
2024-08-06 21:13:59 +0200ft(~ft@p4fc2aa15.dip0.t-ipconnect.de)
2024-08-06 21:15:14 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2024-08-06 21:15:57 +0200Square(~Square@user/square)
2024-08-06 21:17:00 +0200qeef(~qeef@138-169-143-94.cust.centrio.cz) (Remote host closed the connection)
2024-08-06 21:17:42 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Quit: IRCNow and Forever!)
2024-08-06 21:22:07 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: good night)
2024-08-06 21:34:45 +0200spew(~spew@201.141.102.132) (Quit: spew)
2024-08-06 21:45:55 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-08-06 22:05:08 +0200target_i(~target_i@user/target-i/x-6023099)
2024-08-06 22:10:21 +0200jasperr(~jasperr@91-82-240-95.pool.digikabel.hu) (Quit: Client closed)
2024-08-06 22:22:41 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-08-06 22:25:48 +0200Square(~Square@user/square) (Ping timeout: 245 seconds)
2024-08-06 22:36:58 +0200Angelz(Angelz@Angelz.oddprotocol.org)
2024-08-06 22:39:16 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-08-06 22:48:19 +0200michalz(~michalz@185.246.207.197) (Remote host closed the connection)
2024-08-06 22:57:40 +0200g00gler(uid125351@id-125351.uxbridge.irccloud.com)
2024-08-06 22:58:20 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-06 23:05:58 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Quit: skyesoss)
2024-08-06 23:09:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-08-06 23:13:08 +0200mpb(~mpb@bras-base-otwaon230qw-grc-24-174-89-68-120.dsl.bell.ca)
2024-08-06 23:27:00 +0200pavonia(~user@user/siracusa)
2024-08-06 23:35:24 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: Ping timeout (120 seconds))
2024-08-06 23:35:42 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-08-06 23:38:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-08-06 23:39:28 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Quit: Lost terminal)
2024-08-06 23:39:50 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-08-06 23:39:59 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-08-06 23:40:15 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)