Home liberachat/#haskell: Logs Calendar

Logs on 2024-11-15 (liberachat/#haskell)

00:03:08 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
00:16:40 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
00:17:40 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
00:21:22 × xff0x quits (~xff0x@2405:6580:b080:900:4913:54f9:72cb:8a89) (Ping timeout: 272 seconds)
00:22:45 × Leary quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection)
00:23:00 Leary joins (~Leary@user/Leary/x-0910699)
00:24:54 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
00:27:02 nek0 joins (~nek0@user/nek0)
00:32:02 × arahael_ quits (~arahael@user/arahael) (Quit: leaving)
00:33:28 × sprotte24 quits (~sprotte24@p200300d16f0f4e0080b9b718c313bb1e.dip0.t-ipconnect.de) (Quit: Leaving)
00:36:24 troojg joins (~troojg@user/troojg)
00:46:42 × ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.3.2)
00:48:33 ethantwardy joins (user@user/ethantwardy)
00:51:08 × alp quits (~alp@2001:861:e3d6:8f80:c18:bc99:f25e:38cc) (Ping timeout: 272 seconds)
01:05:03 × Everything quits (~Everythin@178-133-104-20.mobile.vf-ua.net) (Quit: leaving)
01:09:11 alp joins (~alp@2001:861:e3d6:8f80:27d1:e3a6:13db:a305)
01:10:35 × alp quits (~alp@2001:861:e3d6:8f80:27d1:e3a6:13db:a305) (Remote host closed the connection)
01:10:52 alp joins (~alp@2001:861:e3d6:8f80:ecc8:3a9b:3201:3089)
01:12:35 alp_ joins (~alp@2001:861:e3d6:8f80:930e:6baf:301:3217)
01:12:43 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds)
01:13:10 vanishingideal joins (~vanishing@user/vanishingideal)
01:13:59 × alp_ quits (~alp@2001:861:e3d6:8f80:930e:6baf:301:3217) (Remote host closed the connection)
01:14:17 alp_ joins (~alp@2001:861:e3d6:8f80:8d4c:7c75:d4ee:bfcd)
01:15:41 × alp quits (~alp@2001:861:e3d6:8f80:ecc8:3a9b:3201:3089) (Ping timeout: 252 seconds)
01:15:41 × alp_ quits (~alp@2001:861:e3d6:8f80:8d4c:7c75:d4ee:bfcd) (Remote host closed the connection)
01:15:53 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
01:15:59 alp_ joins (~alp@2001:861:e3d6:8f80:eef7:e614:608:329d)
01:17:43 alp__ joins (~alp@2001:861:e3d6:8f80:8a02:58bc:ff74:ebde)
01:19:06 × alp__ quits (~alp@2001:861:e3d6:8f80:8a02:58bc:ff74:ebde) (Remote host closed the connection)
01:19:23 alp__ joins (~alp@2001:861:e3d6:8f80:c055:8587:ecce:9a27)
01:20:49 × alp_ quits (~alp@2001:861:e3d6:8f80:eef7:e614:608:329d) (Ping timeout: 252 seconds)
01:21:06 alp_ joins (~alp@2001:861:e3d6:8f80:143c:a0ab:970d:2678)
01:24:15 × alp__ quits (~alp@2001:861:e3d6:8f80:c055:8587:ecce:9a27) (Ping timeout: 246 seconds)
01:26:00 × alp_ quits (~alp@2001:861:e3d6:8f80:143c:a0ab:970d:2678) (Ping timeout: 246 seconds)
01:36:25 × divya quits (~user@139.5.11.223) (Remote host closed the connection)
01:41:04 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
01:41:58 × ph88 quits (~ph88@2a02:8109:9e26:c800:7ee4:dffc:4616:9e2a) (Remote host closed the connection)
01:44:17 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
01:44:40 × m5zs7k quits (aquares@web10.mydevil.net) (Quit: m5zs7k)
01:45:04 m5zs7k joins (aquares@web10.mydevil.net)
01:47:08 <zero> funny how haskell classes inherit the same problem as oop inheritence
01:47:27 <zero> pun intended i guess
01:51:19 <Axman6> Multiple (problem) inheritance
01:52:48 <monochrom> What is the problem?
01:59:15 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
02:06:43 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
02:08:22 gmg joins (~user@user/gehmehgeh)
02:17:00 × tabemann quits (~tabemann@2600:1700:7990:24e0:17cd:7c4b:64d7:5714) (Read error: Connection reset by peer)
02:17:14 tabemann joins (~tabemann@2600:1700:7990:24e0:9f6b:68a6:cce5:e580)
02:19:08 <Axman6> it makes sorting out the will much more difficult
02:19:27 <monochrom> haha
02:25:46 Square joins (~Square@user/square)
02:29:14 <EvanR> one problem with oop inheritance, usually, is joe schmoe want's his class to inherit from multiple other classes simultaneously. It's a problem either because you aren't allowed to do it, or because you are allowed to do it (e.g. in python)
02:29:24 <EvanR> not sure how that translates to haskell
02:29:37 × jjhoo quits (~jahakala@user/jjhoo) (Ping timeout: 248 seconds)
02:36:00 talismanick joins (~user@2601:644:937c:ed10::ae5)
02:38:38 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
02:41:38 jjhoo joins (~jahakala@user/jjhoo)
03:03:39 × shapr quits (~user@2601:19c:417e:5434:b5b7:a31:f560:51b7) (Quit: sleep)
03:04:11 <sm> I guess: long chains of dependency make the whole system more brittle ?
03:05:02 <sm> I don't know about multiple inheritance either but suspect that's the root problem
03:07:12 yisef joins (~yisef@122.10.198.17)
03:07:15 <sm> https://en.wikipedia.org/wiki/Multiple_inheritance#The_diamond_problem
03:09:57 × troojg quits (~troojg@user/troojg) (Ping timeout: 246 seconds)
03:10:10 × yisef quits (~yisef@122.10.198.17) (Client Quit)
03:10:28 yisef joins (~yisef@122.10.198.17)
03:12:19 hsw joins (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
03:18:51 Katarushisu6 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
03:21:07 × Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 265 seconds)
03:21:07 Katarushisu6 is now known as Katarushisu
03:28:44 × mceresa quits (~mceresa@user/mceresa) (Ping timeout: 244 seconds)
03:29:27 × td_ quits (~td@i5387092A.versanet.de) (Ping timeout: 252 seconds)
03:31:06 td_ joins (~td@i53870902.versanet.de)
03:39:12 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
03:48:11 <EvanR> in "type classes vs the world" he shows a slide with a diamond dependency, and basically type classes, nothing bad happens
03:48:19 <EvanR> s/basically/because/
03:49:14 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
03:49:14 <EvanR> because there's only ever zero or one instances for a given type
03:49:39 <EvanR> so if you arrive at a dependency along different routes it's the same instance
03:52:40 ShannonB joins (~ShannonB@user/ShannonB)
04:04:08 × ystael quits (~ystael@user/ystael) (Ping timeout: 265 seconds)
04:06:30 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
04:12:04 spew_ joins (~spew@201.141.99.170)
04:12:12 × spew_ quits (~spew@201.141.99.170) (Client Quit)
04:12:21 spew_ joins (~spew@201.141.99.170)
04:13:24 × spew_ quits (~spew@201.141.99.170) (Client Quit)
04:22:55 × ft quits (~ft@p4fc2a216.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
04:24:10 ft joins (~ft@p4fc2a26f.dip0.t-ipconnect.de)
04:31:09 × petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
04:37:15 × olivial quits (~benjaminl@user/benjaminl) (Remote host closed the connection)
04:37:19 × aforemny_ quits (~aforemny@i59F4C560.versanet.de) (Ping timeout: 260 seconds)
04:37:28 aforemny joins (~aforemny@2001:9e8:6cc5:1900:266e:896c:b9aa:a2eb)
04:52:26 olivial joins (~benjaminl@user/benjaminl)
04:57:53 × willscripted quits (~willscrip@user/willscripted) (Ping timeout: 245 seconds)
05:03:59 alp joins (~alp@2001:861:e3d6:8f80:da2e:4149:618:bb33)
05:05:41 alp_ joins (~alp@2001:861:e3d6:8f80:d89c:25:af5b:7d7e)
05:07:23 alp__ joins (~alp@2001:861:e3d6:8f80:ea76:754b:407f:9e67)
05:08:38 <monochrom> Multiple implementation inheritance is the problem (even the OO people already know), but it doesn't translate to Haskell. Multiple interface inheritance is well-known to be just fine.
05:08:46 × alp__ quits (~alp@2001:861:e3d6:8f80:ea76:754b:407f:9e67) (Remote host closed the connection)
05:08:57 × alp quits (~alp@2001:861:e3d6:8f80:da2e:4149:618:bb33) (Ping timeout: 246 seconds)
05:09:04 alp__ joins (~alp@2001:861:e3d6:8f80:8999:178d:724c:ed26)
05:09:36 <monochrom> OTOH category theory offers a safe kind of diamond inheritance. It's called push out.
05:09:59 <monochrom> Just that you can't do push outs in C++, that's all. :)
05:10:29 × alp__ quits (~alp@2001:861:e3d6:8f80:8999:178d:724c:ed26) (Remote host closed the connection)
05:10:48 alp__ joins (~alp@2001:861:e3d6:8f80:bf45:d838:789a:be4d)
05:11:26 × alp_ quits (~alp@2001:861:e3d6:8f80:d89c:25:af5b:7d7e) (Ping timeout: 272 seconds)
05:12:11 × alp__ quits (~alp@2001:861:e3d6:8f80:bf45:d838:789a:be4d) (Remote host closed the connection)
05:12:29 alp__ joins (~alp@2001:861:e3d6:8f80:a950:43a3:4630:597b)
05:13:36 <EvanR> pushout = multiple inheritance. Got it. And jquery is a monad!
05:14:10 alp_ joins (~alp@2001:861:e3d6:8f80:441c:992c:e029:9f42)
05:14:42 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection)
05:14:59 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
05:15:35 × alp_ quits (~alp@2001:861:e3d6:8f80:441c:992c:e029:9f42) (Remote host closed the connection)
05:15:52 alp_ joins (~alp@2001:861:e3d6:8f80:2a62:6fd6:e732:c038)
05:17:08 × alp__ quits (~alp@2001:861:e3d6:8f80:a950:43a3:4630:597b) (Ping timeout: 272 seconds)
05:17:17 × alp_ quits (~alp@2001:861:e3d6:8f80:2a62:6fd6:e732:c038) (Remote host closed the connection)
05:17:34 alp_ joins (~alp@2001:861:e3d6:8f80:854c:d0e9:e927:ff1d)
05:19:18 alp__ joins (~alp@2001:861:e3d6:8f80:5324:b49a:7cd6:3b97)
05:21:13 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
05:22:59 × alp_ quits (~alp@2001:861:e3d6:8f80:854c:d0e9:e927:ff1d) (Ping timeout: 260 seconds)
05:24:44 × alp__ quits (~alp@2001:861:e3d6:8f80:5324:b49a:7cd6:3b97) (Ping timeout: 260 seconds)
05:28:39 euphores joins (~SASL_euph@user/euphores)
05:37:24 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds)
05:37:43 × berberman quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
05:38:08 berberman joins (~berberman@user/berberman)
05:39:29 <monochrom> haha
06:03:32 michalz joins (~michalz@185.246.207.201)
06:04:58 mceresa joins (~mceresa@user/mceresa)
06:18:14 takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:43:09 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
06:43:25 Square2 joins (~Square4@user/square)
06:51:55 tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
06:59:16 × Square quits (~Square@user/square) (Ping timeout: 252 seconds)
07:01:14 acidjnk joins (~acidjnk@p200300d6e7283f969df7e06974b1c1d0.dip0.t-ipconnect.de)
07:06:03 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
07:06:15 × ft quits (~ft@p4fc2a26f.dip0.t-ipconnect.de) (Quit: leaving)
07:06:20 gorignak joins (~gorignak@user/gorignak)
07:17:09 × bionade24 quits (~quassel@2a03:4000:33:45b::1) (Quit: Apocalypse Incoming!)
07:17:18 bionade24 joins (~quassel@2a03:4000:33:45b::1)
07:21:41 × JamesMowery43 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Ping timeout (120 seconds))
07:23:22 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
07:23:42 JamesMowery43 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net)
07:27:25 Axma62480 joins (~Axman6@user/axman6)
07:28:39 × Axman6 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds)
07:31:46 oxide joins (~lambda@user/oxide)
07:33:03 Axman6 joins (~Axman6@user/axman6)
07:35:07 × Axma62480 quits (~Axman6@user/axman6) (Ping timeout: 248 seconds)
07:38:52 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
07:42:09 alp joins (~alp@2001:861:e3d6:8f80:38f:e7ec:8e95:3cb9)
07:44:48 lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
07:48:13 guy joins (~guy@188.210.213.53)
07:48:21 <guy> HELP HELP iv been up all night and have discovered a UFO!
07:48:27 <guy> its unidentified!
07:48:33 <guy> its not even a monad!
07:48:37 <guy> a net is this
07:49:19 <guy> (m (m a),m a) <-> (m (m a),m a)
07:49:28 <guy> its like half a monad or something?
07:49:59 <guy> instead of being contained inside itself (nets as neurons), it can have this extended as itself (this becomes layers)
07:50:16 <guy> instead of going deep at the contents, you put them in layers and its not a recursion
07:50:46 <guy> if i had it kind of deep at the neurons anyway, i could always just not do that and add extra layers
07:51:04 <guy> but i can kind of make a tradeoff and have both worlds, leading to the type above
07:51:43 <guy> like, not all of the inner (m a) in m (m a) extend the ,m a) its paried with
07:52:01 <guy> i can like, half do the monad collapse thing
07:52:03 <guy> !!!
07:52:05 <guy> night x
07:52:06 × guy quits (~guy@188.210.213.53) (Client Quit)
07:53:22 ephilalethes joins (~noumenon@2001:fb1:48:5708:aa7e:eaff:fede:ff94)
08:00:01 × caconym quits (~caconym@user/caconym) (Quit: bye)
08:00:38 caconym joins (~caconym@user/caconym)
08:00:40 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
08:01:16 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:02:26 misterfish joins (~misterfis@046044172198.static.ipv4.heldenvannu.net)
08:06:06 × misterfish quits (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Read error: Connection reset by peer)
08:10:18 misterfish joins (~misterfis@178.229.18.151)
08:16:39 × misterfish quits (~misterfis@178.229.18.151) (Ping timeout: 276 seconds)
08:25:02 ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
08:34:33 __monty__ joins (~toonn@user/toonn)
08:50:00 mari-estel joins (~mari-este@user/mari-estel)
08:51:24 × mari-estel quits (~mari-este@user/mari-estel) (Remote host closed the connection)
08:51:38 mari-estel joins (~mari-este@user/mari-estel)
08:57:15 mari35246 joins (~mari-este@user/mari-estel)
09:00:12 × mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 276 seconds)
09:05:24 × mari35246 quits (~mari-este@user/mari-estel) (Ping timeout: 276 seconds)
09:08:16 ash3en1 joins (~Thunderbi@146.70.124.222)
09:10:12 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 272 seconds)
09:10:13 ash3en1 is now known as ash3en
09:10:33 kuribas joins (~user@ptr-17d51ep701orqnv6ksc.18120a2.ip6.access.telenet.be)
09:23:35 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:29:43 mari-estel joins (~mari-este@user/mari-estel)
09:39:44 misterfish joins (~misterfis@31-161-39-137.biz.kpn.net)
09:40:52 chele joins (~chele@user/chele)
09:44:31 × hellwolf quits (~user@da7f-daa3-a2f4-21df-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 264 seconds)
09:46:56 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds)
09:52:50 × hiredman quits (~hiredman@frontier1.downey.family) (Ping timeout: 248 seconds)
09:54:35 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
09:58:47 × ephilalethes quits (~noumenon@2001:fb1:48:5708:aa7e:eaff:fede:ff94) (Quit: Leaving)
09:59:57 × driib318 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
10:00:44 driib318 joins (~driib@vmi931078.contaboserver.net)
10:01:26 lxsameer joins (~lxsameer@Serene/lxsameer)
10:07:43 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
10:08:03 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
10:10:57 × rdcdr quits (~rdcdr@user/rdcdr) (Ping timeout: 252 seconds)
10:14:19 CrunchyFlakes joins (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
10:14:44 rdcdr joins (~rdcdr@user/rdcdr)
10:25:19 × ash3en quits (~Thunderbi@146.70.124.222) (Ping timeout: 252 seconds)
10:27:22 ubert joins (~Thunderbi@178.115.41.15.wireless.dyn.drei.com)
10:36:35 pavonia joins (~user@user/siracusa)
10:41:12 × mceresa quits (~mceresa@user/mceresa) (Ping timeout: 252 seconds)
10:46:06 mceresa joins (~mceresa@user/mceresa)
10:56:06 housemate joins (~housemate@146.70.66.228)
10:58:16 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2)
11:12:59 × Digit quits (~user@user/digit) (Ping timeout: 252 seconds)
11:13:12 Digitteknohippie joins (~user@user/digit)
11:29:00 wootehfoot joins (~wootehfoo@user/wootehfoot)
11:30:54 × yisef quits (~yisef@122.10.198.17) (Quit: Client closed)
11:37:04 × mari-estel quits (~mari-este@user/mari-estel) (Remote host closed the connection)
11:37:15 mari-estel joins (~mari-este@user/mari-estel)
11:38:23 Everything joins (~Everythin@46.211.81.7)
11:47:15 × housemate quits (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!)
11:49:11 lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
11:56:31 × acidjnk quits (~acidjnk@p200300d6e7283f969df7e06974b1c1d0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
12:18:32 acidjnk joins (~acidjnk@p200300d6e7283f96ed5529c7a5ccae70.dip0.t-ipconnect.de)
12:20:01 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
12:21:36 xff0x joins (~xff0x@2405:6580:b080:900:8aed:2810:7554:8ad9)
12:25:49 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
12:27:42 shapr joins (~user@2601:19c:417e:5434:a5bf:c395:f22f:b8c)
12:27:53 housemate joins (~housemate@146.70.66.228)
12:39:10 × pavonia quits (~user@user/siracusa) (Ping timeout: 252 seconds)
12:41:25 pavonia joins (~user@user/siracusa)
12:42:50 × Everything quits (~Everythin@46.211.81.7) (Ping timeout: 252 seconds)
12:42:56 sjkfkhkgj joins (~fkdnjgh@188.162.174.19)
12:43:39 × housemate quits (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!)
12:45:00 Everything joins (~Everythin@178-133-201-255.mobile.vf-ua.net)
12:50:29 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
12:51:04 rvalue joins (~rvalue@user/rvalue)
12:51:44 alexherbo2 joins (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net)
12:57:11 × mari-estel quits (~mari-este@user/mari-estel) (Quit: on the move)
12:57:44 Digitteknohippie is now known as Digit
12:58:46 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer)
12:59:14 jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
13:03:46 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 248 seconds)
13:11:00 jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
13:11:07 × mceresa quits (~mceresa@user/mceresa) (Remote host closed the connection)
13:11:58 mceresa joins (~mceresa@user/mceresa)
13:12:43 willscripted joins (~willscrip@user/willscripted)
13:17:37 sprotte24 joins (~sprotte24@p200300d16f18fc006d951ae7e2c66873.dip0.t-ipconnect.de)
13:23:17 × spew quits (~spew@135.233.119.40) (Remote host closed the connection)
13:24:06 spew joins (~spew@135.233.119.40)
13:30:06 × mange quits (~user@user/mange) (Remote host closed the connection)
13:31:45 <Rembane> I've been searching Google, Hoogle and asked various dubious AIs and I can't find the answer to the question: Is there a lens version of mapMaybe? If so, what's the name of it?
13:33:29 <probie> :t mapMaybe
13:33:30 <lambdabot> (a -> Maybe b) -> [a] -> [b]
13:36:19 <probie> So you're looking for something like `(some constraints here) => (a -> f (Maybe b)) -> t a -> f (t b)`?
13:38:07 × pavonia quits (~user@user/siracusa) (Ping timeout: 272 seconds)
13:39:44 <Rembane> Yeah, that looks reasonable
13:40:53 pavonia joins (~user@user/siracusa)
13:40:54 <Leary> Rembane: `wither`?
13:41:40 <Rembane> Leary: Fancy! Thank you!
13:42:06 × ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.3.2)
13:43:28 ethantwardy joins (user@user/ethantwardy)
13:44:07 <c_wraith> Rembane: if you specifically are looking for compatibility with lens, I didn't like the way the witherable package does it. Or other ways I've seen suggested to do it. So I made https://hackage.haskell.org/package/lens-witherable
13:44:39 <Rembane> c_wraith: Even better. Yes, compatibility is important to me.
13:47:25 hellwolf joins (~user@2001:1530:70:545:5239:a298:1329:4b)
13:48:51 <Hecate> 'sup hellwolf :)
13:49:46 <hellwolf> :) GM Hecate. I couldn't configure my rcirc in emacs for reconnecting after computer shutting down...
13:55:18 × pavonia quits (~user@user/siracusa) (Ping timeout: 276 seconds)
13:55:41 <Hecate> :)
13:56:17 <hellwolf> sorry, after computer coming back from sleep. I didn't make sense.
13:56:46 <hellwolf> anyways, been a good haskell day?
13:57:34 <Hecate> yeah, nothing to complain about on this front
13:57:51 <Hecate> I'm thinking of using one of my FreeBSD servers in the near future as a development macine
13:57:54 <Hecate> *machine
13:59:44 <hellwolf> any particular reason?
14:00:59 <Hecate> 64GB of RAM and a powerful CPU
14:01:09 <Hecate> also a good thing to use FreeBSD
14:01:20 <hellwolf> Oh?
14:02:10 × aforemny quits (~aforemny@2001:9e8:6cc5:1900:266e:896c:b9aa:a2eb) (Ping timeout: 244 seconds)
14:04:40 <Hecate> hellwolf: yeah, I'll be able to notice areas where the tools lack support for it
14:05:05 <hellwolf> oh, as a means to dogfood it. kudos to that.
14:05:11 ystael joins (~ystael@user/ystael)
14:07:33 <Hecate> yus
14:08:04 <hellwolf> More people should do that. Build and use it youself first.
14:08:23 <hellwolf> Dogfooding is a good culture.
14:09:11 pavonia joins (~user@user/siracusa)
14:09:47 × alexherbo2 quits (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) (Remote host closed the connection)
14:10:07 alexherbo2 joins (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net)
14:12:19 acidjnk_new joins (~acidjnk@p200300d6e7283f96299656d59247024d.dip0.t-ipconnect.de)
14:13:07 weary-traveler joins (~user@user/user363627)
14:13:34 × acidjnk quits (~acidjnk@p200300d6e7283f96ed5529c7a5ccae70.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
14:19:52 × Everything quits (~Everythin@178-133-201-255.mobile.vf-ua.net) (Quit: leaving)
14:26:27 × alphazone_ quits (~alphazone@2.219.56.221) (Ping timeout: 244 seconds)
14:30:56 housemate joins (~housemate@146.70.66.228)
14:32:20 ft joins (~ft@p4fc2a26f.dip0.t-ipconnect.de)
14:40:22 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:41:31 Sgeo joins (~Sgeo@user/sgeo)
14:43:40 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:50:08 JuanDaugherty joins (~juan@user/JuanDaugherty)
14:50:13 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
15:00:48 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
15:02:20 × misterfish quits (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 272 seconds)
15:09:37 ChaiTRex joins (~ChaiTRex@user/chaitrex)
15:16:38 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
15:23:54 × mceresa quits (~mceresa@user/mceresa) (Ping timeout: 252 seconds)
15:24:19 mceresa joins (~mceresa@user/mceresa)
15:35:52 × sjkfkhkgj quits (~fkdnjgh@188.162.174.19) (Quit: Miranda NG! Smaller, Faster, Easier. https://miranda-ng.org/)
15:42:21 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:45:01 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
15:45:35 misterfish joins (~misterfis@84.53.85.146)
15:45:35 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
15:51:12 chiselfuse joins (~chiselfus@user/chiselfuse)
15:51:29 gentauro joins (~gentauro@user/gentauro)
15:54:40 emfrom joins (~emfrom@37.166.83.170)
16:10:03 mari-estel joins (~mari-este@user/mari-estel)
16:11:55 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:13:41 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
16:18:05 × alexherbo2 quits (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) (Remote host closed the connection)
16:18:25 alexherbo2 joins (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net)
16:24:29 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2)
16:26:52 alphazone joins (~alphazone@2.219.56.221)
16:35:14 Digitteknohippie joins (~user@user/digit)
16:43:52 × alexherbo2 quits (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) (Remote host closed the connection)
16:48:05 × chele quits (~chele@user/chele) (Remote host closed the connection)
16:48:51 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 276 seconds)
16:53:13 × gorignak quits (~gorignak@user/gorignak) (Read error: Connection reset by peer)
17:01:41 × sprotte24 quits (~sprotte24@p200300d16f18fc006d951ae7e2c66873.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
17:06:43 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
17:09:35 gmg joins (~user@user/gehmehgeh)
17:10:06 alexherbo2 joins (~alexherbo@103.148.22.93.rev.sfr.net)
17:15:49 × mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds)
17:15:50 × kuribas quits (~user@ptr-17d51ep701orqnv6ksc.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1))
17:15:50 <lxsameer> have you tried the streamly library? if yes, how was your experience in general?
17:23:15 × yaroot quits (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Ping timeout: 246 seconds)
17:23:19 × tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds)
17:23:30 yaroot joins (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c)
17:23:32 tomku joins (~tomku@user/tomku)
17:28:04 × shapr quits (~user@2601:19c:417e:5434:a5bf:c395:f22f:b8c) (Ping timeout: 260 seconds)
17:32:26 machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
17:37:05 shapr joins (~user@2600:4040:5c49:5600:176f:6255:d12:c742)
17:40:19 econo_ joins (uid147250@id-147250.tinside.irccloud.com)
17:40:56 <Rembane> Is it that library that's really cool and very hard to understand?
17:42:08 <Rembane> Hm... nope, I was thinking of machines. Is this library you're thinking of lxsameer? https://hackage.haskell.org/package/streamly
18:00:41 ljdarj joins (~Thunderbi@user/ljdarj)
18:03:09 <EvanR> machines is nearly alien technology
18:05:57 <Rembane> Yeah, I think humanity will reach another golden age if we understand that library.
18:07:27 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
18:08:59 <hellwolf> o_o
18:11:08 <EvanR> call that egyptologist guy from stargate who could read any alien text
18:12:10 <Rembane> Indeed.
18:13:34 × hellwolf quits (~user@2001:1530:70:545:5239:a298:1329:4b) (Ping timeout: 260 seconds)
18:17:15 × alp quits (~alp@2001:861:e3d6:8f80:38f:e7ec:8e95:3cb9) (Remote host closed the connection)
18:21:09 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
18:22:36 Square joins (~Square@user/square)
18:26:21 × Square2 quits (~Square4@user/square) (Ping timeout: 276 seconds)
18:29:42 <dolio> What sort of questions about it do you have?
18:41:34 × noctuks quits (i2MhobYIr5@user/noctux) (Ping timeout: 260 seconds)
18:41:54 × yushyin quits (vmzGIzVnEG@mail.karif.server-speed.net) (Ping timeout: 252 seconds)
18:42:09 × s4msung quits (tWunJFbTsO@user/s4msung) (Ping timeout: 260 seconds)
18:49:09 sergio joins (uid675295@id-675295.hampstead.irccloud.com)
18:54:55 × ubert quits (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
18:55:35 zero is now known as zzz
18:57:28 s4msung joins (LBlP633nW8@user/s4msung)
18:57:28 yushyin joins (XM7IK4wOXA@mail.karif.server-speed.net)
18:57:33 noctuks joins (HxiKc5AS9I@user/noctux)
19:00:30 × noctuks quits (HxiKc5AS9I@user/noctux) (Client Quit)
19:00:30 × s4msung quits (LBlP633nW8@user/s4msung) (Client Quit)
19:00:30 × yushyin quits (XM7IK4wOXA@mail.karif.server-speed.net) (Client Quit)
19:02:41 s4msung joins (YSkIhMhdIR@user/s4msung)
19:02:41 yushyin joins (aC7s4hKZiM@mail.karif.server-speed.net)
19:02:42 noctuks joins (d4toxF5wNA@user/noctux)
19:04:19 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
19:04:56 chiselfuse joins (~chiselfus@user/chiselfuse)
19:11:51 <EvanR> here's one. Is it at all useful
19:12:16 <EvanR> snazzy isn't always practical, like comonads
19:13:05 ubert joins (~Thunderbi@178.115.41.15.wireless.dyn.drei.com)
19:13:09 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
19:15:16 lxsameer joins (~lxsameer@Serene/lxsameer)
19:17:20 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit)
19:18:05 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
19:18:35 misterfish joins (~misterfis@84.53.85.146)
19:22:18 × alexherbo2 quits (~alexherbo@103.148.22.93.rev.sfr.net) (Remote host closed the connection)
19:24:04 <dolio> Well, I don't know about that. I haven't tried using the Haskell version for anything.
19:24:33 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
19:25:09 × Square quits (~Square@user/square) (Ping timeout: 248 seconds)
19:26:00 <dolio> I did help write something that used a Scala analogue of the same thing written concurrently.
19:26:47 <dolio> It probably works strictly better in Haskell, if I had to guess.
19:28:02 <dolio> It doesn't seem like that's a question designed to help you understand the library, though.
19:39:29 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds)
19:40:42 hellwolf joins (~user@09f6-91ba-a64f-eb21-0f00-4d40-07d0-2001.sta.estpak.ee)
19:42:28 × hellwolf quits (~user@09f6-91ba-a64f-eb21-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection)
19:45:55 × shapr quits (~user@2600:4040:5c49:5600:176f:6255:d12:c742) (Quit: walkies)
19:49:02 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
19:55:06 ljdarj1 joins (~Thunderbi@user/ljdarj)
19:55:23 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:57:49 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
19:57:49 ljdarj1 is now known as ljdarj
20:00:04 × caconym quits (~caconym@user/caconym) (Quit: bye)
20:00:41 caconym joins (~caconym@user/caconym)
20:03:53 shapr joins (~user@4.30.215.226)
20:04:33 × housemate quits (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there.)
20:04:49 × euphores quits (~SASL_euph@user/euphores) (Ping timeout: 260 seconds)
20:08:23 × ubert quits (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) (Ping timeout: 255 seconds)
20:08:58 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:12:27 euphores joins (~SASL_euph@user/euphores)
20:18:52 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
20:19:57 housemate joins (~housemate@146.70.66.228)
20:34:15 alphazone_ joins (~alphazone@2.219.56.221)
20:36:44 × alphazone quits (~alphazone@2.219.56.221) (Ping timeout: 255 seconds)
20:38:31 JuanDaugherty joins (~juan@user/JuanDaugherty)
20:40:47 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 255 seconds)
20:43:50 hiredman joins (~hiredman@frontier1.downey.family)
20:51:15 son0p joins (~ff@186.113.98.151)
20:51:58 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds)
20:52:58 × shapr quits (~user@4.30.215.226) (Quit: time to cancel comcast, hurrah)
20:56:47 × sergio quits (uid675295@id-675295.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
20:57:38 sp1ff joins (~user@c-73-11-70-111.hsd1.wa.comcast.net)
21:01:34 × malte quits (~malte@mal.tc) (Ping timeout: 260 seconds)
21:04:19 × son0p quits (~ff@186.113.98.151) (Ping timeout: 260 seconds)
21:10:58 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
21:16:02 weary-traveler joins (~user@user/user363627)
21:17:49 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
21:18:50 hellwolf joins (~user@5fec-1c2b-c772-ebf9-0f00-4d40-07d0-2001.sta.estpak.ee)
21:21:24 sergio joins (uid675295@id-675295.hampstead.irccloud.com)
21:27:41 alp joins (~alp@2001:861:e3d6:8f80:dfbc:4b45:bfd4:9ca)
21:32:42 weary-traveler joins (~user@user/user363627)
21:39:15 × oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds)
21:42:58 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:43:29 gorignak joins (~gorignak@user/gorignak)
21:43:34 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
21:55:49 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
21:59:48 j1n37 joins (~j1n37@user/j1n37)
22:03:22 <sm> @where+ welltypedcourse https://www.youtube.com/playlist?list=PLD8gywOEY4HauPWPfH0pJPIYUWqi0Gg10 Well-Typed's Introduction To Haskell course
22:03:22 <lambdabot> Nice!
22:07:53 <EvanR> lol lambdabot approves
22:16:06 alexherbo2 joins (~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net)
22:22:19 <sm> lambdabot loves me 😍
22:23:06 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:23:17 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
22:25:29 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:25:40 × michalz quits (~michalz@185.246.207.201) (Remote host closed the connection)
22:30:08 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
22:39:33 euandreh joins (~Thunderbi@189.6.105.228)
22:44:19 × youthlic quits (~Thunderbi@user/youthlic) (Quit: youthlic)
22:46:12 youthlic joins (~Thunderbi@user/youthlic)
22:58:49 × j1n37 quits (~j1n37@user/j1n37) (Quit: goodbye today)
23:00:14 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
23:06:27 ephilalethes joins (~noumenon@2001:fb1:48:5708:aa7e:eaff:fede:ff94)
23:10:09 ljdarj1 joins (~Thunderbi@user/ljdarj)
23:12:21 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
23:12:21 ljdarj1 is now known as ljdarj
23:15:29 × housemate quits (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there.)
23:15:56 housemate joins (~housemate@146.70.66.228)
23:20:51 fluxit joins (~fluxit@192.241.192.75)
23:28:53 × ephilalethes quits (~noumenon@2001:fb1:48:5708:aa7e:eaff:fede:ff94) (Quit: Leaving)
23:35:13 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
23:35:37 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
23:39:26 × CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in)
23:44:16 × hellwolf quits (~user@5fec-1c2b-c772-ebf9-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection)
23:46:09 × emfrom quits (~emfrom@37.166.83.170) (Remote host closed the connection)
23:46:47 × sergio quits (uid675295@id-675295.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
23:57:54 j1n37 joins (~j1n37@li657-110.members.linode.com)
23:59:24 hellwolf joins (~user@5fec-1c2b-c772-ebf9-0f00-4d40-07d0-2001.sta.estpak.ee)

All times are in UTC on 2024-11-15.