Home liberachat/#haskell: Logs Calendar

Logs on 2023-12-25 (liberachat/#haskell)

00:09:56 peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
00:11:57 nckx is now known as nckxmas
00:16:19 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
00:21:49 × zeka quits (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab) (Remote host closed the connection)
00:22:12 zeka joins (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab)
00:23:41 × zeka quits (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab) (Remote host closed the connection)
00:23:57 × Tuplanolla quits (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.)
00:24:03 zeka joins (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab)
00:25:32 × zeka quits (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab) (Remote host closed the connection)
00:25:56 zeka joins (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab)
00:26:52 tri joins (~tri@ip70-188-174-61.ri.ri.cox.net)
00:27:23 × zeka quits (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab) (Remote host closed the connection)
00:27:47 zeka joins (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab)
00:29:15 × zeka quits (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab) (Remote host closed the connection)
00:29:40 zeka joins (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab)
00:31:13 × euleritian quits (~euleritia@p200300d40f2c2a009c193cdcc0621a84.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
00:31:14 × zeka quits (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab) (Remote host closed the connection)
00:31:25 × tri quits (~tri@ip70-188-174-61.ri.ri.cox.net) (Ping timeout: 268 seconds)
00:31:41 zeka joins (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab)
00:33:13 × zeka quits (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab) (Remote host closed the connection)
00:33:20 peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
00:33:38 zeka joins (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab)
00:35:03 × zeka quits (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab) (Remote host closed the connection)
00:35:26 zeka joins (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab)
00:38:43 × Halian quits (~halian@safiralliance/protobeeper) (Ping timeout: 246 seconds)
00:43:18 rekahsoft joins (~rekahsoft@bas1-sudbury98-67-70-201-226.dsl.bell.ca)
00:44:19 × rekahsoft quits (~rekahsoft@bas1-sudbury98-67-70-201-226.dsl.bell.ca) (Remote host closed the connection)
00:45:33 Ven_de_Thiel joins (~Ven_de_Th@2a02-8428-078f-8501-8548-81ba-4dc3-ece9.rev.sfr.net)
00:49:19 rekahsoft joins (~rekahsoft@67.70.201.226)
01:03:17 × rekahsoft quits (~rekahsoft@67.70.201.226) (Ping timeout: 240 seconds)
01:15:14 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
01:16:04 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
01:16:39 Lord_of_Life_ is now known as Lord_of_Life
01:18:16 × ft quits (~ft@mue-88-130-104-085.dsl.tropolys.de) (Ping timeout: 245 seconds)
01:18:22 × Ven_de_Thiel quits (~Ven_de_Th@2a02-8428-078f-8501-8548-81ba-4dc3-ece9.rev.sfr.net) (Ping timeout: 250 seconds)
01:20:12 ft joins (~ft@mue-88-130-106-225.dsl.tropolys.de)
01:25:04 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
01:31:13 × chomwitt quits (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds)
01:38:01 MosaicDao joins (~MosaicDao@user/MosaicDao)
01:53:22 Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
01:54:15 johnw joins (~johnw@69.62.242.138)
01:58:33 peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
02:01:34 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds)
02:26:19 × jb3 quits (~jb3@2a03:4000:57:b16:a4be:28ff:fe49:f0a1) (Quit: ZNC 1.8.2 - https://znc.in)
02:26:37 jb3 joins (~jb3@core.jb3.dev)
02:31:14 emmanuelux joins (~emmanuelu@user/emmanuelux)
02:31:30 rekahsoft joins (~rekahsoft@bas1-sudbury98-67-70-201-226.dsl.bell.ca)
02:38:35 not_reserved joins (~not_reser@154.16.157.93)
02:45:46 × xff0x quits (~xff0x@2405:6580:b080:900:a9a2:6fc1:f507:3710) (Ping timeout: 245 seconds)
02:47:55 xff0x joins (~xff0x@178.255.149.135)
02:51:28 chillxmas joins (~chillxmas@176.254.244.83)
03:00:33 × MosaicDao quits (~MosaicDao@user/MosaicDao) (Quit: Off)
03:05:25 × xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 255 seconds)
03:07:10 xff0x joins (~xff0x@2405:6580:b080:900:41:b783:5b89:1b5a)
03:09:14 hapisnake joins (~hapisnake@120.138.12.50)
03:09:36 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds)
03:16:34 nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
03:17:54 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
03:26:35 × hapisnake quits (~hapisnake@120.138.12.50) (Quit: Client closed)
03:34:27 × td_ quits (~td@i5387092A.versanet.de) (Ping timeout: 252 seconds)
03:35:58 td_ joins (~td@i5387091f.versanet.de)
03:38:44 × rekahsoft quits (~rekahsoft@bas1-sudbury98-67-70-201-226.dsl.bell.ca) (Remote host closed the connection)
03:39:53 rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-34-67-70-201-226.dsl.bell.ca)
03:42:26 × terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
03:45:17 terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::)
03:55:44 finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
03:55:44 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
03:55:44 finn_elija is now known as FinnElija
04:01:55 trev joins (~trev@user/trev)
04:05:13 tri joins (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a)
04:05:54 × hueso quits (~root@user/hueso) (Quit: hueso)
04:05:56 × rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-34-67-70-201-226.dsl.bell.ca) (Remote host closed the connection)
04:06:14 × tri quits (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a) (Remote host closed the connection)
04:09:43 rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-34-67-70-201-226.dsl.bell.ca)
04:10:20 hueso joins (~root@user/hueso)
04:17:30 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
04:19:11 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
04:23:43 aforemny joins (~aforemny@i59F516E4.versanet.de)
04:24:31 × aforemny_ quits (~aforemny@2001:9e8:6cce:a00:568e:ce0e:4e77:a064) (Ping timeout: 245 seconds)
04:25:35 tri joins (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a)
04:31:05 × micro quits (~micro@user/micro) (Ping timeout: 252 seconds)
04:32:14 micro joins (~micro@user/micro)
04:40:08 × rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-34-67-70-201-226.dsl.bell.ca) (Remote host closed the connection)
04:40:43 rekahsoft joins (~rekahsoft@bas1-sudbury98-67-70-201-226.dsl.bell.ca)
04:47:40 × rekahsoft quits (~rekahsoft@bas1-sudbury98-67-70-201-226.dsl.bell.ca) (Remote host closed the connection)
04:49:55 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 276 seconds)
04:51:14 rekahsoft joins (~rekahsoft@bas1-sudbury98-67-70-201-226.dsl.bell.ca)
04:57:51 [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
05:01:31 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
05:07:37 qqq joins (~qqq@92.43.167.61)
05:17:53 × rekahsoft quits (~rekahsoft@bas1-sudbury98-67-70-201-226.dsl.bell.ca) (Remote host closed the connection)
05:18:34 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
05:33:23 rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-34-67-70-201-226.dsl.bell.ca)
05:39:54 × nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
05:41:20 × rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-34-67-70-201-226.dsl.bell.ca) (Remote host closed the connection)
05:44:46 rekahsoft joins (~rekahsoft@67.70.201.226)
05:49:11 × rekahsoft quits (~rekahsoft@67.70.201.226) (Ping timeout: 256 seconds)
06:24:26 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
06:25:53 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
06:28:15 × tri quits (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a) (Remote host closed the connection)
06:38:37 × qqq quits (~qqq@92.43.167.61) (Remote host closed the connection)
06:41:43 × mrmr15533 quits (~mrmr@user/mrmr) (Ping timeout: 260 seconds)
06:44:38 qqq joins (~qqq@92.43.167.61)
07:05:00 euleritian joins (~euleritia@p5b124093.dip0.t-ipconnect.de)
07:13:16 oxide joins (~lambda@user/oxide)
07:29:43 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:36:26 misterfish joins (~misterfis@84.53.85.146)
07:49:27 sprout_ joins (~quassel@2a02-a448-3a80-0-fdb5-da9c-f175-8850.fixed6.kpn.net)
07:51:24 waldo joins (~waldo@user/waldo)
07:51:55 × sprout quits (~quassel@2a02-a448-3a80-0-d05a-f4f5-b486-49a2.fixed6.kpn.net) (Ping timeout: 276 seconds)
08:06:06 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
08:06:37 takuan joins (~takuan@178-116-218-225.access.telenet.be)
08:11:36 nek0 joins (~nek0@2a01:4f8:222:2b41::12)
08:14:05 sprout_ is now known as sprout
08:23:59 × waldo quits (~waldo@user/waldo) (Ping timeout: 264 seconds)
08:24:34 waldo joins (~waldo@user/waldo)
08:28:51 × waldo quits (~waldo@user/waldo) (Ping timeout: 256 seconds)
08:29:35 tri joins (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a)
08:33:41 × tri quits (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a) (Ping timeout: 240 seconds)
08:35:54 wootehfoot joins (~wootehfoo@user/wootehfoot)
08:42:04 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
08:49:21 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
08:56:00 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:56:09 × not_reserved quits (~not_reser@154.16.157.93) (Quit: Client closed)
09:00:57 leungbk joins (~user@2603-8000-1201-2dd2-5f33-880f-61c2-2cff.res6.spectrum.com)
09:04:05 _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
09:12:29 zetef joins (~quassel@2a02:2f00:5309:7300:ea31:a182:3431:9851)
09:13:19 × CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
09:13:37 CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
09:15:47 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
09:19:52 × tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
09:26:28 acidjnk joins (~acidjnk@p200300d6e72b93796de5beb1d9c856ad.dip0.t-ipconnect.de)
09:26:40 Tuplanolla joins (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi)
09:26:53 × chillxmas quits (~chillxmas@176.254.244.83) (Ping timeout: 240 seconds)
09:28:27 fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
09:29:47 chillxmas joins (~chillxmas@176.254.244.83)
09:34:13 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 255 seconds)
09:38:15 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:43:13 fraelite joins (~fraelite@185.193.255.40)
09:44:53 mokee joins (~mokee@37.228.215.150)
09:45:29 × fraelite quits (~fraelite@185.193.255.40) (Client Quit)
09:47:14 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
09:47:23 peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
09:47:26 × oxide quits (~lambda@user/oxide) (Quit: oxide)
09:58:57 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
09:59:17 rvalue joins (~rvalue@user/rvalue)
10:05:18 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
10:09:19 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 255 seconds)
10:09:21 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
10:15:42 finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
10:15:42 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
10:15:42 finn_elija is now known as FinnElija
10:17:09 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:58c1:2533:b464:a7) (Remote host closed the connection)
10:34:29 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 240 seconds)
10:35:20 × zetef quits (~quassel@2a02:2f00:5309:7300:ea31:a182:3431:9851) (Remote host closed the connection)
10:36:17 zetef joins (~quassel@2a02:2f00:5309:7300:ea31:a182:3431:9851)
10:43:37 × zetef quits (~quassel@2a02:2f00:5309:7300:ea31:a182:3431:9851) (Remote host closed the connection)
10:49:59 rvalue joins (~rvalue@user/rvalue)
10:50:37 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b5f9:f80e:9e1:be6)
10:55:35 sawilagar joins (~sawilagar@user/sawilagar)
11:15:33 waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
11:21:13 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 276 seconds)
11:22:53 waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
11:23:24 [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
11:24:24 Lycurgus joins (~georg@li1192-118.members.linode.com)
11:24:24 × Lycurgus quits (~georg@li1192-118.members.linode.com) (Changing host)
11:24:24 Lycurgus joins (~georg@user/Lycurgus)
11:26:29 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
11:30:31 __monty__ joins (~toonn@user/toonn)
11:36:15 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
11:37:06 × Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving)
11:42:39 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
11:43:10 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
11:55:18 × leungbk quits (~user@2603-8000-1201-2dd2-5f33-880f-61c2-2cff.res6.spectrum.com) (Ping timeout: 268 seconds)
12:00:03 leungbk joins (~user@142-129-149-172.res.spectrum.com)
12:01:24 × drdo quits (~drdo@bl14-14-49.dsl.telepac.pt) (Ping timeout: 256 seconds)
12:11:13 drdo joins (~drdo@bl14-14-49.dsl.telepac.pt)
12:16:21 × leungbk quits (~user@142-129-149-172.res.spectrum.com) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50))
12:21:55 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 260 seconds)
12:28:47 × qqq quits (~qqq@92.43.167.61) (Ping timeout: 264 seconds)
12:30:49 [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
12:30:55 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
12:34:03 Inst_ joins (~Inst@120.244.192.161)
12:34:06 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
12:34:49 pavonia joins (~user@user/siracusa)
12:35:23 qqq joins (~qqq@92.43.167.61)
12:37:16 × Inst quits (~Inst@120.244.192.23) (Ping timeout: 276 seconds)
12:41:15 petrichor joins (~znc-user@user/petrichor)
12:51:47 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
12:53:20 [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
12:53:47 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
12:56:36 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
12:56:57 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
13:02:37 × euleritian quits (~euleritia@p5b124093.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
13:02:52 euleritian joins (~euleritia@dynamic-046-114-205-035.46.114.pool.telefonica.de)
13:05:20 erina joins (~erina@114.214.243.187)
13:05:33 <erina> @help pl
13:05:34 <lambdabot> pointless <expr>. Play with pointfree code.
13:05:56 <erina> @pl getLines >>= \ss -> print (sum $ map (calibrate . digits) ss)
13:05:56 <lambdabot> print . sum . map (calibrate . digits) =<< getLines
13:11:03 <juri_> mm. anyone here doing AI work, in haskell?
13:12:31 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
13:13:04 × euleritian quits (~euleritia@dynamic-046-114-205-035.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
13:13:19 euleritian joins (~euleritia@p200300d40f2c2a0087378110a16d5dd6.dip0.t-ipconnect.de)
13:13:54 <duncan> There are fairly good tensorflow bindings but all of the other stuff which is important (e.g. equivalent of data-frame, and all the functions around that for transformation, regression) just aren't really there
13:20:01 <juri_> fun.
13:21:15 <haskellbridge> 05<i​rregularsphere> wait did the bridge not work all this time
13:21:28 <haskellbridge> 05<i​rregularsphere> or did noone say anything during christmas eve
13:25:12 andrei joins (~andrei@c-24-147-249-131.hsd1.ma.comcast.net)
13:25:52 Inst_ is now known as Inst
13:26:02 <Inst> read your blog post, monochrom, thanks for the education
13:26:11 <Inst> catch is to be avoided, i'm still not really familiar with haskell's exception system :(
13:26:18 × Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Read error: Connection reset by peer)
13:26:31 Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
13:27:55 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
13:27:55 × Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Read error: Connection reset by peer)
13:28:11 Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
13:54:49 <Ellenor> / 223
14:04:42 × Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!)
14:05:06 Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
14:10:01 × Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Read error: Connection reset by peer)
14:10:22 Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
14:14:31 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds)
14:23:43 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds)
14:24:18 × hueso quits (~root@user/hueso) (Quit: hueso)
14:24:22 <EvanR> Inst, catching a specific exception is a thing you could possibly want to do, usually it's not though
14:24:33 <EvanR> e.g. you try to open a file but it doesn't exist
14:24:35 <Inst> doing network requests
14:24:49 <Inst> what I want in Base 4.24: HTTP in base libraries
14:24:53 <Inst> we're at 4.19 now, no?
14:25:10 <EvanR> you try to open a file but it might not exist, but you don't want it to crash
14:25:25 <EvanR> so there's an exception for that you can catch
14:27:07 <Inst> you try to open a network file but it might not transmit properly, so there's an exceptino for that that you can catch
14:32:09 hueso joins (~root@user/hueso)
14:33:29 wootehfoot joins (~wootehfoo@user/wootehfoot)
14:37:01 × erina quits (~erina@114.214.243.187) (Ping timeout: 245 seconds)
14:39:50 ss4 joins (~wootehfoo@user/wootehfoot)
14:43:47 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds)
14:46:43 × shOkEy quits (~shOkEy@94-21-108-35.pool.digikabel.hu) (Remote host closed the connection)
14:49:12 × srk quits (~sorki@user/srk) (Ping timeout: 268 seconds)
14:52:32 erina joins (~erina@2001:da8:d800:ec11:d10c:ac3a:ac98:f530)
14:53:29 srk joins (~sorki@user/srk)
14:53:34 <mniip> the linux kernel ABI has a terrible exception handling story (because old C times) that leaks into every single programming language as a result
14:56:32 <mniip> the errno enum is effectively open (there's no way you'd handle every single code). You never know which codes a particular syscall may return, partly because third party drivers might have a say in it
14:56:49 <mniip> for similar reasons a given errno code may not mean what you expect
14:57:24 <mniip> a fresh example from memory is `execve` returning ENOENT when the executable doesn't exist *or* when its dynamic linker (program interpreter) doesn't exist
14:58:28 <Franciman> is it planned to have a formal semantics for standard haskell?
14:59:14 <mniip> I don't think it's planned to have a standard haskell
14:59:21 <mniip> there are no longer multiple competing implementations
14:59:50 × ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
15:01:58 <Franciman> oh nice, does ghc have a formal semantics?
15:06:47 <erina> I have a getLines :: IO [String], I want to run fun :: String -> IO () on each of the elements, is there an elegant way
15:07:32 <ncf> traverse_ fun =<< getLines
15:07:45 finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
15:07:45 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
15:07:45 finn_elija is now known as FinnElija
15:09:37 <erina> ncf, IO is not a traversible, I guess I need to fmap it?
15:10:12 chomwitt joins (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1)
15:10:32 <Franciman> :t traverse_
15:10:33 <lambdabot> (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()
15:11:10 <ncf> erina: this isn't traversing an IO, it's traversing a [String] in IO
15:11:37 <erina> :t traverse
15:11:38 <lambdabot> (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
15:11:51 <Franciman> :t \x -> (traverse_ x =<< getLines)
15:11:52 <lambdabot> error:
15:11:52 <lambdabot> • Variable not in scope: getLines :: m (t0 a)
15:11:52 <lambdabot> • Perhaps you meant one of these:
15:12:11 × Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection)
15:12:13 <erina> getLines is a hand-written hacky function
15:12:28 <ncf> :t \fun getLines -> traverse_ fun =<< getLines
15:12:29 <lambdabot> (Monad m, Foldable t) => (a -> m b) -> m (t a) -> m ()
15:12:53 <ncf> m := IO, t := [], a := String, b := ()
15:13:11 <erina> Oh, I understood, the IO is unwrapped with =<<
15:14:10 <erina> Lost my sanity for a sec
15:14:46 <mniip> "unwrapped" is not a good way to call it
15:19:57 <erina> Is "extracted" a good way then? The value is never moved out from a IO. That's for sure.
15:20:36 <mniip> also no
15:21:24 <xerox> sequenced with
15:23:54 <erina> :t curry
15:23:55 <lambdabot> ((a, b) -> c) -> a -> b -> c
15:27:34 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Quit: Leaving)
15:27:39 × euleritian quits (~euleritia@p200300d40f2c2a0087378110a16d5dd6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
15:29:37 wootehfoot joins (~wootehfoo@user/wootehfoot)
15:32:57 euleritian joins (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de)
15:34:32 × euleritian quits (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
15:34:47 euleritian joins (~euleritia@p200300d40f2c2a00dfa53606d67c46fa.dip0.t-ipconnect.de)
15:38:19 notzmv joins (~zmv@user/notzmv)
15:43:51 × son0p quits (~ff@181.136.122.143) (Quit: Bye)
15:44:43 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
15:45:05 × hueso quits (~root@user/hueso) (Quit: hueso)
15:46:52 × erina quits (~erina@2001:da8:d800:ec11:d10c:ac3a:ac98:f530) (Ping timeout: 268 seconds)
15:49:16 hueso joins (~root@user/hueso)
15:55:39 wootehfoot joins (~wootehfoo@user/wootehfoot)
15:56:39 × qqq quits (~qqq@92.43.167.61) (Ping timeout: 256 seconds)
15:58:50 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Client Quit)
16:04:09 son0p joins (~ff@181.136.122.143)
16:08:55 qqq joins (~qqq@92.43.167.61)
16:16:39 econo_ joins (uid147250@id-147250.tinside.irccloud.com)
16:16:47 rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-34-67-70-201-226.dsl.bell.ca)
16:34:05 × hueso quits (~root@user/hueso) (Quit: hueso)
16:34:07 bosie joins (~varvir@220.93.61.174)
16:38:03 hueso joins (~root@user/hueso)
16:38:28 × hueso quits (~root@user/hueso) (Client Quit)
16:42:01 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
16:42:44 _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
16:43:48 hueso joins (~root@user/hueso)
16:47:08 × rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-34-67-70-201-226.dsl.bell.ca) (Remote host closed the connection)
16:47:34 × bosie quits (~varvir@220.93.61.174) (Ping timeout: 260 seconds)
16:48:03 rekahsoft joins (~rekahsoft@67.70.201.226)
16:48:18 tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net)
16:55:43 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
17:03:33 igemnace joins (~ian@user/igemnace)
17:17:50 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b5f9:f80e:9e1:be6) (Remote host closed the connection)
17:18:09 eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
17:27:38 todi joins (~todi@p4fd1a1df.dip0.t-ipconnect.de)
17:27:51 × euleritian quits (~euleritia@p200300d40f2c2a00dfa53606d67c46fa.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
17:28:47 euleritian joins (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de)
17:33:26 × euleritian quits (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
17:34:51 euleritian joins (~euleritia@p5b124093.dip0.t-ipconnect.de)
17:47:01 × euleritian quits (~euleritia@p5b124093.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
17:47:34 euleritian joins (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de)
17:48:34 × euleritian quits (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
17:48:52 euleritian joins (~euleritia@p200300d40f2c2a0041921315920a37dc.dip0.t-ipconnect.de)
17:52:05 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:54:29 × xdminsy quits (~xdminsy@117.147.71.169) (Ping timeout: 240 seconds)
17:57:07 szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
17:59:32 × rekahsoft quits (~rekahsoft@67.70.201.226) (Ping timeout: 256 seconds)
18:25:17 × euleritian quits (~euleritia@p200300d40f2c2a0041921315920a37dc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
18:25:40 euleritian joins (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de)
18:30:13 Lycurgus joins (~georg@li1192-118.members.linode.com)
18:30:13 × Lycurgus quits (~georg@li1192-118.members.linode.com) (Changing host)
18:30:13 Lycurgus joins (~georg@user/Lycurgus)
18:30:15 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
18:32:17 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
18:32:18 × euleritian quits (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
18:32:30 euleritian joins (~euleritia@p200300d40f2c2a00d716bac3343ac1fd.dip0.t-ipconnect.de)
18:32:53 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:35:44 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b5f9:f80e:9e1:be6)
18:38:41 × ystael quits (~ystael@user/ystael) (Ping timeout: 245 seconds)
18:42:05 target_i joins (~target_i@217.175.14.39)
18:46:52 waldo joins (~waldo@user/waldo)
18:49:58 tri joins (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a)
18:55:04 × euleritian quits (~euleritia@p200300d40f2c2a00d716bac3343ac1fd.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
18:55:36 euleritian joins (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de)
18:58:08 × tri quits (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a) (Remote host closed the connection)
19:09:25 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Remote host closed the connection)
19:09:47 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
19:17:46 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:24:31 × YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds)
19:34:11 × tessier quits (~treed@ip72-197-145-89.sd.sd.cox.net) (Ping timeout: 264 seconds)
19:34:47 tessier joins (~treed@ip72-197-145-89.sd.sd.cox.net)
19:37:14 × CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in)
19:41:03 CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
19:44:31 tri joins (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a)
19:48:31 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
19:48:41 × tri quits (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a) (Ping timeout: 245 seconds)
19:48:56 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
19:50:53 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
19:51:59 × waldo quits (~waldo@user/waldo) (Ping timeout: 268 seconds)
19:54:01 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
19:56:46 × hgolden quits (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection)
20:01:07 hgolden joins (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com)
20:06:36 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
20:28:59 sansk joins (~sansk@user/sansk)
20:29:37 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
20:39:48 rekahsoft joins (~rekahsoft@bas1-sudbury98-67-70-201-226.dsl.bell.ca)
20:49:05 × target_i quits (~target_i@217.175.14.39) (Quit: leaving)
20:51:49 Sgeo joins (~Sgeo@user/sgeo)
20:54:00 × euleritian quits (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
20:54:12 euleritian joins (~euleritia@p200300d40f2c2a009265c907c3b3c925.dip0.t-ipconnect.de)
21:00:01 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 255 seconds)
21:00:02 <haskellbridge> 15<J​ade> when I have an application that relies heavily on a type which is an instance of `MonadIO` as well as IO, do I just wrap everything in that type and use `liftIO` when appropriate?
21:00:17 <haskellbridge> 15<J​ade> I think monad transformers would make that easier, but I'm not sure how to work with them
21:00:55 wootehfoot joins (~wootehfoo@user/wootehfoot)
21:03:33 × fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
21:04:32 tri joins (~tri@ip70-188-174-61.ri.ri.cox.net)
21:07:20 × tri quits (~tri@ip70-188-174-61.ri.ri.cox.net) (Remote host closed the connection)
21:08:17 tri joins (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a)
21:11:21 × trev quits (~trev@user/trev) (Quit: trev)
21:12:26 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
21:13:00 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
21:14:33 × tri quits (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a) (Remote host closed the connection)
21:14:53 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
21:18:41 × rekahsoft quits (~rekahsoft@bas1-sudbury98-67-70-201-226.dsl.bell.ca) (Ping timeout: 252 seconds)
21:25:42 × euleritian quits (~euleritia@p200300d40f2c2a009265c907c3b3c925.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
21:26:09 euleritian joins (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de)
21:35:02 × dtman34 quits (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
21:35:30 peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
21:41:49 dtman34 joins (~dtman34@2601:447:d000:93c9:e786:29de:e176:d44e)
21:49:31 <monochrom> In that case, liftIO is always type-correct.
21:50:17 jmdaemon joins (~jmdaemon@user/jmdaemon)
21:50:19 <monochrom> Most monad transformers still require you to say "liftIO" all the time.
21:50:41 × dtman34 quits (~dtman34@2601:447:d000:93c9:e786:29de:e176:d44e) (Ping timeout: 256 seconds)
21:51:33 <monochrom> Actually, s/most/all existing/
21:51:57 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 256 seconds)
21:53:21 <haskellbridge> 15<J​ade> okay, should I consider something like lifted base, or is that too much overhead for too little reward?
21:55:00 <monochrom> That sounds like you don't know what is the extra thing lifted base does that liftIO doesn't. Corollary: You have not needed that extra thing, so you don't need it.
21:55:40 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:56:10 <haskellbridge> 15<J​ade> haha okay
21:56:19 × euleritian quits (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
21:56:19 <haskellbridge> 15<J​ade> thanks!
21:56:37 euleritian joins (~euleritia@p5b124093.dip0.t-ipconnect.de)
21:56:45 dtman34 joins (~dtman34@2601:447:d000:93c9:e786:29de:e176:d44e)
21:58:28 YuutaW joins (~YuutaW@mail.yuuta.moe)
22:00:21 tri joins (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a)
22:00:44 × sansk quits (~sansk@user/sansk) (Quit: WeeChat 4.1.2)
22:02:57 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
22:03:36 ec joins (~ec@gateway/tor-sasl/ec)
22:04:31 × tri quits (~tri@2600:8805:d802:8a00:f580:bde1:f8d7:929a) (Ping timeout: 245 seconds)
22:07:35 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
22:10:33 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:12:57 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
22:15:10 peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
22:15:58 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b5f9:f80e:9e1:be6) (Remote host closed the connection)
22:22:58 × mikess quits (~sam@user/mikess) (Quit: Lost terminal)
22:24:01 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
22:25:09 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
22:26:25 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit)
22:26:29 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 240 seconds)
22:35:35 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
22:42:12 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b5f9:f80e:9e1:be6)
22:59:20 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
23:00:32 [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
23:00:34 [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
23:01:04 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
23:07:01 × anon1123 quits (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (Ping timeout: 245 seconds)
23:08:01 × mokee quits (~mokee@37.228.215.150) (Quit: off)
23:08:12 anon1123 joins (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c)
23:09:15 × euleritian quits (~euleritia@p5b124093.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
23:09:41 euleritian joins (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de)
23:13:23 mokee joins (~mokee@37.228.215.150)
23:25:55 × mokee quits (~mokee@37.228.215.150) (Quit: off)
23:26:13 mokee joins (~mokee@37.228.215.150)
23:27:03 rekahsoft joins (~rekahsoft@bas1-sudbury98-67-70-201-226.dsl.bell.ca)
23:28:08 × acidjnk quits (~acidjnk@p200300d6e72b93796de5beb1d9c856ad.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
23:36:43 × euleritian quits (~euleritia@dynamic-046-114-204-059.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
23:36:56 euleritian joins (~euleritia@p5b124093.dip0.t-ipconnect.de)
23:47:12 × flounders quits (~flounders@24.246.176.178) (Quit: WeeChat 4.1.1)
23:50:30 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b5f9:f80e:9e1:be6) (Remote host closed the connection)

All times are in UTC on 2023-12-25.