IRCBrowse

2023/05/05

2023-05-05 00:00:41 +0200Notme-notme(~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Excess Flood)
2023-05-05 00:00:56 +0200Me-me(~Me-me@user/me-me)
2023-05-05 00:01:50 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-05-05 00:03:20 +0200Wstfgl0(~me-me@2602:ff16:3:0:1:dc:beef:d00d)
2023-05-05 00:03:21 +0200euandreh(~Thunderbi@189.6.18.7)
2023-05-05 00:13:49 +0200falafel(~falafel@2603-8000-d700-115c-5b48-e0e3-8d75-49a0.res6.spectrum.com)
2023-05-05 00:14:00 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-05-05 00:16:06 +0200 <ski> jade[m]1 : "and then noticing the pattern yourself" -- related to why i think the first (non-paper, general) monad tutorial, "What the hell are Monads??" by Noel Winstanley in 1999-02 at <https://web.archive.org/web/19991018214519/http://www.dcs.gla.ac.uk/~nww/Monad.html> may still be one of the best (brief) monad tutorials, in that it focuses on the patterns / boiler-plate code that are abstracted
2023-05-05 00:18:40 +0200 <ski> (also, i think the annoyance was due to you editing a Matrix message, which simply comes out as resending the message as a (mostly) duplicate one, on IRC (and also possibly you using line breaks in the message, causing it to be hosted at a link that one needs to go look up in a browser, rather than see it directly in the channel))
2023-05-05 00:22:09 +0200Sgeo_(~Sgeo@user/sgeo)
2023-05-05 00:23:43 +0200 <geekosaur> and doesn't even markdown-format the result
2023-05-05 00:25:27 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 260 seconds)
2023-05-05 00:26:08 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-05-05 00:41:39 +0200smokeyrobinson(~smokeyrob@189.172.38.42)
2023-05-05 00:43:12 +0200falafel(~falafel@2603-8000-d700-115c-5b48-e0e3-8d75-49a0.res6.spectrum.com) (Ping timeout: 248 seconds)
2023-05-05 00:44:57 +0200Square2(~Square4@user/square)
2023-05-05 00:45:39 +0200Square2(~Square4@user/square) (Client Quit)
2023-05-05 00:46:09 +0200Square(~Square4@user/square)
2023-05-05 00:46:11 +0200v^(~v^@pool-68-132-222-250.nycmny.fios.verizon.net) (Quit: Client closed)
2023-05-05 00:46:43 +0200smokeyrobinson(~smokeyrob@189.172.38.42) (K-Lined)
2023-05-05 00:48:10 +0200 <akshitkr> im bored of haskell from first principles
2023-05-05 00:48:12 +0200 <akshitkr> what do
2023-05-05 00:48:23 +0200 <akshitkr> (find it too slow paced)
2023-05-05 00:48:48 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-05-05 00:49:06 +0200 <akshitkr> and i already know the basics of fp/programming in general, been coding in c/python/lisp for a few years
2023-05-05 00:49:30 +0200 <akshitkr> i just wanna get my hands dirty with haskell but ive not been able to find a book/guide which'd let me do exactly that
2023-05-05 00:53:14 +0200 <geekosaur> https://book.realworldhaskell.org/read/ ?
2023-05-05 00:53:17 +0200 <ski> did you try another book ?
2023-05-05 00:53:20 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 00:53:52 +0200 <akshitkr> ive been told that realwordhaskell is ancient
2023-05-05 00:54:19 +0200 <geekosaur> ancient does not mean useless
2023-05-05 00:54:30 +0200 <yushyin> maybe try the one by graham hutton
2023-05-05 00:54:37 +0200 <akshitkr> ski i tried lyah
2023-05-05 00:54:57 +0200 <akshitkr> @geekosaur true
2023-05-05 00:54:57 +0200 <lambdabot> Unknown command, try @list
2023-05-05 00:55:01 +0200 <ski> @where wikibook
2023-05-05 00:55:01 +0200 <lambdabot> http://en.wikibooks.org/wiki/Haskell
2023-05-05 00:55:13 +0200 <ski> might perhaps be worth a glance
2023-05-05 00:55:42 +0200 <akshitkr> makes sense
2023-05-05 00:55:59 +0200 <ski> @where PIH
2023-05-05 00:55:59 +0200 <lambdabot> "Programming in Haskell" by Graham Hutton in 2007-01-15,2016-09-01 at <http://www.cs.nott.ac.uk/~pszgmh/pih.html>
2023-05-05 00:56:07 +0200 <ski> (is the Hutton one)
2023-05-05 00:57:11 +0200mei(~mei@user/mei)
2023-05-05 00:57:34 +0200 <akshitkr> thanks
2023-05-05 00:57:39 +0200 <akshitkr> oh well 2007
2023-05-05 00:57:59 +0200 <geekosaur> look past the comma
2023-05-05 00:58:02 +0200 <akshitkr> well im just not sure if year of it being written makes a difference
2023-05-05 00:58:07 +0200 <akshitkr> oh
2023-05-05 00:58:11 +0200 <akshitkr> lol yeah
2023-05-05 00:58:39 +0200 <geekosaur> I think the 2007 one is free online at this point
2023-05-05 00:59:45 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-05 01:01:17 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-05-05 01:01:37 +0200 <akshitkr> libgen zindabad
2023-05-05 01:08:58 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490)
2023-05-05 01:10:18 +0200v^(~v^@pool-68-132-222-250.nycmny.fios.verizon.net)
2023-05-05 01:11:24 +0200chomwitt(~chomwitt@ppp-94-67-201-180.home.otenet.gr) (Remote host closed the connection)
2023-05-05 01:13:30 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Ping timeout: 250 seconds)
2023-05-05 01:20:36 +0200gurkenglas(~gurkengla@dynamic-046-114-182-214.46.114.pool.telefonica.de)
2023-05-05 01:22:17 +0200nate2(~nate@98.45.169.16)
2023-05-05 01:24:48 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-05-05 01:26:48 +0200nate2(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2023-05-05 01:28:03 +0200v^(~v^@pool-68-132-222-250.nycmny.fios.verizon.net) (Quit: Client closed)
2023-05-05 01:29:41 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2023-05-05 01:33:26 +0200mauke_(~mauke@user/mauke)
2023-05-05 01:34:48 +0200mauke(~mauke@user/mauke) (Ping timeout: 240 seconds)
2023-05-05 01:34:48 +0200mauke_mauke
2023-05-05 01:36:05 +0200 <justsomeguy> akshitkr: I like "Get Programming With Haskell" by "Will Kurt".
2023-05-05 01:36:30 +0200 <justsomeguy> But I also haven't learned Haskell yet ^-^;
2023-05-05 01:41:11 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-05-05 01:54:11 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:a03e:3524:dabb:13b2) (Quit: caryhartline)
2023-05-05 01:58:03 +0200gurkenglas(~gurkengla@dynamic-046-114-182-214.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-05-05 01:58:08 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-05-05 01:58:10 +0200troydm(~troydm@user/troydm) (Ping timeout: 265 seconds)
2023-05-05 02:09:44 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 02:09:56 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 02:11:00 +0200whosit(~whosit@user/whosit)
2023-05-05 02:12:33 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-05-05 02:12:33 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-05-05 02:12:33 +0200wroathe(~wroathe@user/wroathe)
2023-05-05 02:13:26 +0200alphabeta(~kilolympu@213.144.144.24) (Remote host closed the connection)
2023-05-05 02:14:02 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2023-05-05 02:14:42 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2023-05-05 02:16:53 +0200alphabeta(~kilolympu@213.144.144.24)
2023-05-05 02:17:04 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-05-05 02:17:10 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 02:25:28 +0200 <monochrom> The Gentle Introduction. https://www.haskell.org/tutorial/
2023-05-05 02:34:26 +0200alphabeta(~kilolympu@213.144.144.24) (Ping timeout: 268 seconds)
2023-05-05 02:35:36 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-05-05 02:38:23 +0200kilolympus(~kilolympu@213.144.144.24)
2023-05-05 02:50:02 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 02:54:47 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 02:55:59 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2023-05-05 02:56:00 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-05-05 02:56:01 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-05-05 02:56:26 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2023-05-05 02:56:30 +0200ec(~ec@gateway/tor-sasl/ec)
2023-05-05 02:56:42 +0200gmg(~user@user/gehmehgeh)
2023-05-05 03:10:21 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-05-05 03:16:28 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-05-05 03:18:27 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2023-05-05 03:28:15 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-05-05 03:37:08 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-05-05 03:42:38 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 03:44:40 +0200bilegeek(~bilegeek@2600:1008:b01c:21a9:2df5:bd54:8e5a:df22)
2023-05-05 03:47:12 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 03:48:16 +0200alphabeta(~kilolympu@213.144.144.24)
2023-05-05 03:48:24 +0200kilolympus(~kilolympu@213.144.144.24) (Ping timeout: 265 seconds)
2023-05-05 03:49:19 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 03:53:21 +0200phma_(~phma@host-67-44-208-93.hnremote.net) (Read error: Connection reset by peer)
2023-05-05 03:53:45 +0200phma_(phma@2001:5b0:2144:6688:21df:1642:93f2:4b5)
2023-05-05 03:53:59 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 04:13:05 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-05-05 04:15:14 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490)
2023-05-05 04:15:25 +0200nate2(~nate@98.45.169.16)
2023-05-05 04:27:59 +0200Square(~Square4@user/square) (Remote host closed the connection)
2023-05-05 04:28:11 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 04:30:56 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-05-05 04:32:50 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 04:33:04 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 276 seconds)
2023-05-05 04:35:28 +0200inversed(~inversed@bcdcac82.skybroadband.com) (Ping timeout: 240 seconds)
2023-05-05 04:41:33 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 04:42:03 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2023-05-05 04:43:52 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2023-05-05 04:47:38 +0200td_(~td@i5387092F.versanet.de) (Ping timeout: 268 seconds)
2023-05-05 04:48:51 +0200td_(~td@i53870920.versanet.de)
2023-05-05 04:50:32 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2023-05-05 04:52:47 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-05-05 05:00:20 +0200jero98772(~jero98772@2800:484:1d84:9000::2) (Remote host closed the connection)
2023-05-05 05:00:24 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 05:05:08 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-05-05 05:05:28 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-05 05:18:18 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 05:19:05 +0200nate2(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2023-05-05 05:20:15 +0200polyphem(~polyphem@ip-109-43-49-185.web.vodafone.de)
2023-05-05 05:24:58 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-05-05 05:30:11 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2023-05-05 05:30:11 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2023-05-05 05:33:30 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection)
2023-05-05 05:34:05 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 05:35:58 +0200ddellacosta(~ddellacos@143.244.47.88)
2023-05-05 05:40:40 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-05 05:49:53 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2023-05-05 05:52:05 +0200krei-se-(~krei-se@128.90.23.125) (Ping timeout: 240 seconds)
2023-05-05 05:52:29 +0200krei-se(~krei-se@p57af2733.dip0.t-ipconnect.de)
2023-05-05 05:53:27 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 05:58:23 +0200Inst_(~Inst@2601:6c4:4081:2fc0:b9e5:3e3b:33cb:18de) (Ping timeout: 265 seconds)
2023-05-05 05:58:28 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-05 06:04:51 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 06:06:04 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-05-05 06:08:47 +0200 <joyfulmantis[m]> akshitkr: I found this course to be loads of fun when I took it https://github.com/system-f/fp-course. It helps you progress through Haskell concepts by asking you to implement successively harder library functions.
2023-05-05 06:09:08 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-05 06:12:17 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 06:21:30 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 06:25:02 +0200synbian(~synbian@45.182.92.127)
2023-05-05 06:25:28 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-05 06:29:28 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-05 06:30:03 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-05-05 06:30:51 +0200gmg(~user@user/gehmehgeh)
2023-05-05 06:31:41 +0200bilegeek_(~bilegeek@155.sub-174-208-228.myvzw.com)
2023-05-05 06:33:48 +0200bilegeek(~bilegeek@2600:1008:b01c:21a9:2df5:bd54:8e5a:df22) (Ping timeout: 240 seconds)
2023-05-05 06:34:08 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-05-05 06:35:18 +0200dontdieych(~alarm@132.226.169.184) (Quit: WeeChat 3.8)
2023-05-05 06:38:32 +0200mbuf(~Shakthi@49.207.178.186)
2023-05-05 06:44:53 +0200 <jade[m]1> <ski> "(also, i think the annoyance was..." <- ah yeah, I should remember to not do this in the bridged irc channels
2023-05-05 06:44:59 +0200 <jade[m]1> thank you for the heads up
2023-05-05 06:47:26 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 06:48:09 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 06:51:48 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-05 06:51:52 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-05 06:54:49 +0200bilegeek_(~bilegeek@155.sub-174-208-228.myvzw.com) (Quit: Leaving)
2023-05-05 06:55:50 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-05-05 06:56:08 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-05-05 06:58:11 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 07:00:00 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2023-05-05 07:03:18 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-05 07:10:28 +0200Lycurgus(~juan@user/Lycurgus)
2023-05-05 07:10:34 +0200tomku|two(~tomku@user/tomku) (Ping timeout: 250 seconds)
2023-05-05 07:12:22 +0200rlj(~rlj@194-218-34-180.customer.telia.com)
2023-05-05 07:13:35 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 07:14:49 +0200mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-05-05 07:15:27 +0200chanceyan(~chanceyan@user/chanceyan)
2023-05-05 07:17:57 +0200jackdk_jackdk
2023-05-05 07:20:47 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-05 07:25:39 +0200chanceyan(~chanceyan@user/chanceyan) (Quit: chanceyan)
2023-05-05 07:31:10 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-05-05 07:38:25 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-05-05 07:39:36 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 07:40:22 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 265 seconds)
2023-05-05 07:42:18 +0200notzmv(~zmv@user/notzmv)
2023-05-05 07:43:48 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-05 07:44:37 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2023-05-05 07:46:46 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 276 seconds)
2023-05-05 07:47:39 +0200marinelli(~weechat@gateway/tor-sasl/marinelli)
2023-05-05 07:50:06 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-05-05 07:51:58 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) (Remote host closed the connection)
2023-05-05 07:52:18 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net)
2023-05-05 07:57:19 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 07:58:49 +0200michalz(~michalz@185.246.207.205)
2023-05-05 08:01:06 +0200phma_phma
2023-05-05 08:01:08 +0200td_(~td@i53870920.versanet.de) (Ping timeout: 240 seconds)
2023-05-05 08:03:09 +0200td_(~td@i5387090A.versanet.de)
2023-05-05 08:05:06 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 08:11:43 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 08:12:05 +0200krei-se(~krei-se@p57af2733.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-05-05 08:12:59 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 08:13:20 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds)
2023-05-05 08:15:05 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-05-05 08:15:30 +0200mauke(~mauke@user/mauke) (Quit: bbl)
2023-05-05 08:16:41 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-05 08:17:48 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-05-05 08:20:16 +0200Inst_(~Inst@2601:6c4:4081:2fc0:216a:c504:9118:d58c)
2023-05-05 08:22:36 +0200hololeap(~quassel@user/hololeap) (Quit: No Ping reply in 180 seconds.)
2023-05-05 08:22:44 +0200trev(~trev@user/trev)
2023-05-05 08:24:03 +0200hololeap(~quassel@user/hololeap)
2023-05-05 08:25:00 +0200whosit(~whosit@user/whosit) ()
2023-05-05 08:31:40 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-05-05 08:40:00 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 08:49:00 +0200acidjnk(~acidjnk@p200300d6e7072f70c4749bcd308bf761.dip0.t-ipconnect.de)
2023-05-05 08:50:17 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:401d:76e8:b1e5:2786)
2023-05-05 08:50:45 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-05-05 08:51:50 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 08:54:10 +0200talismanick(~user@2601:204:ef80:6c80::a8e2)
2023-05-05 08:54:13 +0200CiaoSen(~Jura@tmo-111-75.customers.d1-online.com)
2023-05-05 08:54:38 +0200 <talismanick> Is there a function which generates all case-permutations of a string?
2023-05-05 08:55:04 +0200 <talismanick> e.g., for "foo", it'd be that plus "Foo", "FoO", "fOO", etc
2023-05-05 08:57:21 +0200 <[exa]> talismanick: not sure but I'd say not
2023-05-05 08:58:00 +0200 <chreekat> talismanick: I think that's unsolvable in general, considering across all the languages supported by Unicode, not all have neat upper-lower pairs
2023-05-05 08:59:14 +0200polyphem(~polyphem@ip-109-43-49-185.web.vodafone.de) (Ping timeout: 268 seconds)
2023-05-05 08:59:27 +0200 <[exa]> chreekat: well you can easily test that
2023-05-05 08:59:31 +0200 <[exa]> w.r.t. haskell unicode impl
2023-05-05 09:00:06 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2023-05-05 09:00:45 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 09:00:55 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 09:01:25 +0200vpan(~0@mail.elitnet.lt)
2023-05-05 09:03:27 +0200 <chreekat> good point, and ha! Data.Char.toLower has a hard-coded list of 1433 characters it knows how to convert to lower case
2023-05-05 09:03:46 +0200 <Hecate> are you shitting me
2023-05-05 09:03:46 +0200 <Hecate> god
2023-05-05 09:03:51 +0200 <Hecate> my fucking god
2023-05-05 09:03:57 +0200 <[exa]> Hecate: that's the unicode way
2023-05-05 09:04:15 +0200 <Hecate> [exa]: I would have hoped we integrated the unicode table directly
2023-05-05 09:04:21 +0200 <Hecate> but perhaps I misunderstood what chreekat said
2023-05-05 09:04:28 +0200 <[exa]> Hecate: if you do it properly with libicu, you'll basically have a well curated hardcoded list of more characters
2023-05-05 09:04:38 +0200 <[exa]> I'd say this one might be even generated from icu
2023-05-05 09:04:41 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-05-05 09:04:47 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-05 09:05:01 +0200 <Hecate> we don't have to use libicu
2023-05-05 09:05:13 +0200 <Hecate> or do we…
2023-05-05 09:05:14 +0200 <Hecate> hmm
2023-05-05 09:05:19 +0200 <Hecate> let me see how erlang does it
2023-05-05 09:05:21 +0200 <[exa]> I don't see haskell folks with their self-optimization levels ever writing down a table of something longer than like 5 items :D
2023-05-05 09:05:22 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 252 seconds)
2023-05-05 09:05:24 +0200 <dsal> > let cases x = replicateM (length x) [id, toUpper]; perm s = zipWith (&) s <$> cases s in perm "foo"
2023-05-05 09:05:25 +0200 <lambdabot> ["foo","foO","fOo","fOO","Foo","FoO","FOo","FOO"]
2023-05-05 09:06:01 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-05-05 09:06:48 +0200 <geekosaur> the harder part is that it's locale dependent. consider German "ss" -> "SS"
2023-05-05 09:07:07 +0200 <chreekat> [exa]: hehe correct
2023-05-05 09:07:11 +0200 <jade[m]1> wait, does it do that?
2023-05-05 09:07:14 +0200 <dsal> > let perm s = zipWith (&) s <$> replicateM (length s) [id, toUpper] in perm "foo" -- I guess that helper clouds stuff.
2023-05-05 09:07:15 +0200 <lambdabot> ["foo","foO","fOo","fOO","Foo","FoO","FOo","FOO"]
2023-05-05 09:07:18 +0200 <[exa]> > let {casePerms [] = [[]]; casePerms (c:cs) = if toLower c == toUpper c then (c:) <$> casePerms cs else [(toLower c:), (toUpper c:)] <*> casePerms cs } in casePerms "a+b=c"
2023-05-05 09:07:20 +0200 <lambdabot> ["a+b=c","a+b=C","a+B=c","a+B=C","A+b=c","A+b=C","A+B=c","A+B=C"]
2023-05-05 09:07:28 +0200 <[exa]> needs more applicative
2023-05-05 09:07:38 +0200 <geekosaur> jade[m]1, yes
2023-05-05 09:07:51 +0200 <jade[m]1> dsal: I think `toLower,` is better than `id` because it may contain uppercase letters initially
2023-05-05 09:07:58 +0200 <dsal> > let perm s = zipWith (&) s <$> replicateM (length s) [toLower, toUpper] in perm "foo" -- yeah, makes sense
2023-05-05 09:07:59 +0200 <lambdabot> ["foo","foO","fOo","fOO","Foo","FoO","FOo","FOO"]
2023-05-05 09:08:01 +0200 <jade[m]1> s/,`/`/
2023-05-05 09:08:21 +0200 <dsal> > let perm s = zipWith (&) s <$> replicateM (length s) [toLower, toUpper] in perm "Goes Both Ways"
2023-05-05 09:08:22 +0200 <lambdabot> ["goes both ways","goes both wayS","goes both waYs","goes both waYS","goes b...
2023-05-05 09:08:47 +0200 <Hecate> [exa]: https://github.com/elixir-lang/elixir/blob/f1a66f4519150225a94ed3f6080eded379217204/lib/elixir/uni…
2023-05-05 09:08:50 +0200 <Hecate> macros !!
2023-05-05 09:09:16 +0200 <[exa]> unicode is trickery
2023-05-05 09:10:00 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-05-05 09:10:25 +0200 <Hecate> yes it's impossible to have such a function operate on characters because the position of the character is important
2023-05-05 09:10:42 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 09:11:43 +0200 <chreekat> It was probably ß that I was thinking of when I said there aren't always neat upper-lower pairs
2023-05-05 09:11:49 +0200 <Hecate> yep
2023-05-05 09:12:21 +0200 <Hecate> The turkic İ -> i & I -> ı are also special cases
2023-05-05 09:12:28 +0200synbian(~synbian@45.182.92.127) (Ping timeout: 240 seconds)
2023-05-05 09:12:32 +0200 <Hecate> and the sigma in Greek apparently
2023-05-05 09:12:41 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds)
2023-05-05 09:12:46 +0200 <chreekat> One of those "you can't write validators for names, dates, currencies, or email addresses , so don't even try" kind of situtations
2023-05-05 09:13:13 +0200 <Hecate> /@/ is a perfectly fine validator for email addresses :D
2023-05-05 09:13:29 +0200 <jade[m]1> there is an uppercase version of `ß` nowadays, but I'm not sure how it interacts with unicode and such
2023-05-05 09:13:42 +0200 <geekosaur> ẞ
2023-05-05 09:13:48 +0200 <jade[m]1> it was accepted into the german language maybe two years ago?
2023-05-05 09:13:56 +0200 <jade[m]1> geekosaur: yep
2023-05-05 09:14:07 +0200 <Hecate> oh it's very new then
2023-05-05 09:14:13 +0200 <chreekat> fun
2023-05-05 09:14:18 +0200 <geekosaur> it existed before that but was informal
2023-05-05 09:14:44 +0200 <geekosaur> for a long time official German was trying to make es-zet go away entirely, hence the "ss" -> "SS" silliness
2023-05-05 09:15:01 +0200 <geekosaur> but everyone ignored that and kept using ß
2023-05-05 09:15:11 +0200 <jade[m]1> I also believe it was only introduced because there were people, who 8for whatever reason) had a name that starts with ß
2023-05-05 09:15:20 +0200 <jade[m]1> and thus it needed to have a capital version
2023-05-05 09:15:37 +0200 <jade[m]1> s/8/(
2023-05-05 09:16:00 +0200nate2(~nate@98.45.169.16)
2023-05-05 09:16:00 +0200 <Hecate> typography win
2023-05-05 09:16:08 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-05 09:16:28 +0200jmdaemon(~jmdaemon@user/jmdaemon) (*.net *.split)
2023-05-05 09:16:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (*.net *.split)
2023-05-05 09:16:28 +0200zincy(~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (*.net *.split)
2023-05-05 09:16:28 +0200jil(~user@vps-15050500.vps.ovh.net) (*.net *.split)
2023-05-05 09:16:28 +0200Guest585(~mike@user/feetwind) (*.net *.split)
2023-05-05 09:16:35 +0200jil(~user@vps-15050500.vps.ovh.net)
2023-05-05 09:16:47 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-05-05 09:16:50 +0200zincy(~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684)
2023-05-05 09:16:50 +0200Guest585(~mike@user/feetwind)
2023-05-05 09:21:00 +0200nate2(~nate@98.45.169.16) (Ping timeout: 250 seconds)
2023-05-05 09:21:06 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-05-05 09:22:41 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 09:22:51 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 09:29:05 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-05 09:31:24 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 250 seconds)
2023-05-05 09:32:35 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 09:33:14 +0200mc47(~mc47@xmonad/TheMC47)
2023-05-05 09:36:20 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-05-05 09:37:23 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 264 seconds)
2023-05-05 09:40:14 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 09:41:03 +0200rlj(~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds)
2023-05-05 09:44:38 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:a837:710:f5f5:490) (Remote host closed the connection)
2023-05-05 09:44:52 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 09:51:20 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds)
2023-05-05 09:55:42 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-05-05 09:56:17 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 09:58:24 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 09:59:13 +0200mmhat(~mmh@p200300f1c70668b9ee086bfffe095315.dip0.t-ipconnect.de)
2023-05-05 10:02:33 +0200chele(~chele@user/chele)
2023-05-05 10:04:00 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-05-05 10:05:13 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 10:05:30 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving)
2023-05-05 10:05:43 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 10:09:32 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 268 seconds)
2023-05-05 10:14:28 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-05 10:15:07 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 248 seconds)
2023-05-05 10:19:24 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 10:20:47 +0200crvs(~crvs@212.37.18.202)
2023-05-05 10:21:25 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-05-05 10:24:13 +0200dextaa(~DV@user/dextaa)
2023-05-05 10:24:21 +0200dextaa(~DV@user/dextaa) (Remote host closed the connection)
2023-05-05 10:24:26 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 10:28:43 +0200chanceyan(~chanceyan@user/chanceyan)
2023-05-05 10:28:59 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 248 seconds)
2023-05-05 10:31:49 +0200MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05)
2023-05-05 10:33:08 +0200MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Client Quit)
2023-05-05 10:33:35 +0200MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05)
2023-05-05 10:34:28 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-05-05 10:36:28 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-05-05 10:37:22 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) (Remote host closed the connection)
2023-05-05 10:38:50 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net)
2023-05-05 10:39:55 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-05-05 10:41:23 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 10:41:37 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 10:43:41 +0200zeenk(~zeenk@2a02:2f04:a105:f00::7fe)
2023-05-05 10:45:07 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:194:89f:550c:1b34)
2023-05-05 10:46:15 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 260 seconds)
2023-05-05 10:47:09 +0200tomku(~tomku@user/tomku)
2023-05-05 10:47:13 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2023-05-05 10:47:40 +0200marinelli(~weechat@gateway/tor-sasl/marinelli)
2023-05-05 10:49:08 +0200dontdieych(~alarm@132.226.169.184)
2023-05-05 10:49:45 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:194:89f:550c:1b34) (Ping timeout: 260 seconds)
2023-05-05 10:52:12 +0200chanceyan(~chanceyan@user/chanceyan) (Quit: chanceyan)
2023-05-05 10:53:54 +0200 <kaol> Any suggestions how to make GHC print out the inferred type of a value inside a function? I've used something like ":: ()" on it to force an error but it'd be nice to use something that'd just do the same thing as putting a definition on top level with no type signature.
2023-05-05 10:54:45 +0200 <geekosaur> `:: _`? or just replace the value with `_`
2023-05-05 10:54:54 +0200titibandit(~titibandi@user/titibandit)
2023-05-05 10:56:03 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:391f:cdc5:98df:6b24)
2023-05-05 10:56:52 +0200 <kaol> Right. Typed holes are probably less contrived for it.
2023-05-05 10:57:40 +0200 <geekosaur> iirc there's even an option where you do `:: _` and have it continue to compile instead of erroring
2023-05-05 10:57:41 +0200cfricke(~cfricke@user/cfricke)
2023-05-05 10:57:52 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 276 seconds)
2023-05-05 10:58:15 +0200 <kaol> I didn't know of ":: _", I'll have to try it out.
2023-05-05 11:00:47 +0200MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Ping timeout: 256 seconds)
2023-05-05 11:01:55 +0200MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a)
2023-05-05 11:02:06 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2023-05-05 11:03:20 +0200 <geekosaur> it's just a special case of a partial type signature
2023-05-05 11:03:27 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 11:04:07 +0200 <geekosaur> it'll print an error with the type and stop compilation by default. use -XPartialTypeSignatures to have it keep going instead (there won't be a runtime error either, just an inferred type)
2023-05-05 11:05:15 +0200 <jade[m]1> hm, number literals have type `Num a => a`, but trying `f :: _; f = 1` infers that the hole must be `Integer`?
2023-05-05 11:06:10 +0200 <geekosaur> forcing inference has its limitations
2023-05-05 11:06:32 +0200 <geekosaur> I think you have to use a constraint wildcard to get the other?
2023-05-05 11:08:08 +0200MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) (Ping timeout: 240 seconds)
2023-05-05 11:08:33 +0200phma(phma@2001:5b0:2144:6688:21df:1642:93f2:4b5) (Read error: Connection reset by peer)
2023-05-05 11:08:35 +0200 <geekosaur> https://paste.tomsmeding.com/LvMkazFr
2023-05-05 11:08:55 +0200 <geekosaur> if you're doing this in a compiled program, on the other hand, you're just seeing defaulting in action
2023-05-05 11:09:05 +0200 <geekosaur> because of the monomorphism restriction
2023-05-05 11:09:26 +0200phma(phma@2001:5b0:215d:bbf8:8c1b:6234:e376:bed1)
2023-05-05 11:12:43 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-05-05 11:13:21 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 11:13:47 +0200dontdieych(~alarm@132.226.169.184) (Quit: WeeChat 3.8)
2023-05-05 11:14:27 +0200dontdieych(~alarm@132.226.169.184)
2023-05-05 11:14:45 +0200dontdieych(~alarm@132.226.169.184) (Client Quit)
2023-05-05 11:17:47 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 246 seconds)
2023-05-05 11:17:56 +0200dontdieych(~alarm@132.226.169.184)
2023-05-05 11:18:07 +0200trev(~trev@user/trev) (Quit: trev)
2023-05-05 11:19:28 +0200tr_ev(~trev@user/trev)
2023-05-05 11:19:34 +0200tr_evtrev
2023-05-05 11:20:05 +0200gurkenglas(~gurkengla@dynamic-046-114-182-214.46.114.pool.telefonica.de)
2023-05-05 11:21:35 +0200MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05)
2023-05-05 11:22:52 +0200marinelli(~weechat@gateway/tor-sasl/marinelli)
2023-05-05 11:27:06 +0200mc47(~mc47@xmonad/TheMC47) (Read error: Connection reset by peer)
2023-05-05 11:27:27 +0200 <dminuoso> jade[m]1: Take note, that `f = 1` is not an *expression* of a numeric literal.
2023-05-05 11:27:40 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 11:27:45 +0200 <dminuoso> It's a declaration.
2023-05-05 11:28:07 +0200 <jade[m]1> yeah, but the inferred type would still be `f :: Num a => a` if I didn't have any signature right?
2023-05-05 11:28:48 +0200 <dminuoso> No.
2023-05-05 11:29:21 +0200 <dminuoso> See 4.5.5 The Monomorphism Restriction
2023-05-05 11:29:24 +0200 <dminuoso> https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-880004.5
2023-05-05 11:30:31 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-05-05 11:33:26 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 11:35:25 +0200trev(~trev@user/trev) (Quit: trev)
2023-05-05 11:36:29 +0200trev(~trev@user/trev)
2023-05-05 11:37:01 +0200 <jade[m]1> hm, thank you
2023-05-05 11:37:09 +0200jade[m]1uploaded an image: (4KiB) < https://libera.ems.host/_matrix/media/v3/download/matrix.org/POiWrcDnBYkyONQWssVFvODk/image.png >
2023-05-05 11:37:10 +0200 <jade[m]1> why does ghci still infer the type?
2023-05-05 11:37:13 +0200trev(~trev@user/trev) (Read error: Connection reset by peer)
2023-05-05 11:37:38 +0200trev(~trev@user/trev)
2023-05-05 11:40:19 +0200 <ncf> ghci has MonomorphismRestriction off by default
2023-05-05 11:40:33 +0200trev(~trev@user/trev) (Client Quit)
2023-05-05 11:40:35 +0200 <ncf> try :set -XMonomorphismRestriction
2023-05-05 11:41:29 +0200trev(~trev@user/trev)
2023-05-05 11:41:47 +0200 <jade[m]1> ah, thank you
2023-05-05 11:43:25 +0200 <Helle> hrm, okay, what text should I read to know the right way to implement a "polymorphic" function ie, some func that exists in versions defined for like say 3 or 4 different type signatures ?
2023-05-05 11:43:33 +0200 <Helle> I've got a version working, but I bet it is the wrong one
2023-05-05 11:44:13 +0200 <geekosaur> in general there isn't one; Haskell doesn't work that way, and in particular type inference wouldn't work any more if it did
2023-05-05 11:44:34 +0200 <Helle> geekosaur: and now presume that I've written something that superficially acts like that
2023-05-05 11:44:42 +0200 <jade[m]1> that depends on the specific function and depending on whether there is an underlying structure to the functions you compose within
2023-05-05 11:44:43 +0200 <ncf> are you looking for typeclasses?
2023-05-05 11:44:54 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 11:45:09 +0200 <Helle> ncf: yes, but I want to be sure I am reading a good document on it that goes into "use/abuse" like this
2023-05-05 11:45:30 +0200 <Helle> or well, I say yes, but I mean technically, "probably"
2023-05-05 11:45:35 +0200 <jade[m]1> for example... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/0f3c3d1c8f6fda49c2184935efbd4e5e1d4e…>)
2023-05-05 11:45:48 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-05 11:45:51 +0200 <jade[m]1> because theres an underlying structure that + has
2023-05-05 11:46:05 +0200 <Helle> jade[m]1: no, not like that
2023-05-05 11:49:17 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds)
2023-05-05 11:49:24 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc)
2023-05-05 12:00:02 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-05-05 12:00:23 +0200 <chreekat> Helle: can you share what you've already got?
2023-05-05 12:02:35 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-05-05 12:03:58 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-05-05 12:04:22 +0200 <Helle> chreekat: I mean I wrote a very specific case and I am sure I missed some detail https://paste.tomsmeding.com/CfwAq3q4 and I know the code is a bit nonsense (I just needed the version of the program in a bunch of different text types all over the program, so I ended up generalising it)
2023-05-05 12:06:03 +0200 <jade[m]1> that does feel abusive of polymorphism, because they just serve different purposes if I see it right
2023-05-05 12:06:21 +0200 <Helle> jade[m]1: oh yeah, it definitely is abuse
2023-05-05 12:06:25 +0200 <jade[m]1> I think here it would be better to have two different versions of the function
2023-05-05 12:06:35 +0200 <jade[m]1> named differently and appropriatly
2023-05-05 12:06:39 +0200 <Helle> but I just didn't want to have to think of the types at the use point
2023-05-05 12:07:16 +0200 <Helle> It's bad enough to have to deal with string, text and lazy text for stuff that actually matters
2023-05-05 12:08:00 +0200 <jade[m]1> I'm not sure I understand
2023-05-05 12:09:19 +0200 <Helle> jade[m]1: this way I can go import Utils (version) and I can insert version without thinking through what type I am actually using at that point
2023-05-05 12:10:18 +0200 <jade[m]1> if you do that though you won't know the behavior of your program because they have non-consistant definitions
2023-05-05 12:10:29 +0200 <jade[m]1> imo you should stick to one and convert to/from the other
2023-05-05 12:11:56 +0200 <ncf> some libraries use a StringLike class for this https://hackage.haskell.org/package/tagsoup-0.14.8/docs/Text-StringLike.html
2023-05-05 12:12:21 +0200 <ncf> actually you could probably just use IsString
2023-05-05 12:12:39 +0200 <ncf> version :: IsString s => s; version = fromString $ <your first definition of version>
2023-05-05 12:13:03 +0200 <Helle> ncf: ah, neat, though just for this case
2023-05-05 12:13:29 +0200 <Helle> I mean in generally I know this is the sort of code of "don't do this" but in real programs of significant size, cases like this show up
2023-05-05 12:13:43 +0200 <Helle> anyway, I will use that in this case
2023-05-05 12:13:44 +0200 <ncf> imo there no fundamental reason not to do this
2023-05-05 12:13:59 +0200 <ncf> there is*
2023-05-05 12:14:04 +0200 <ncf> there is no*
2023-05-05 12:14:34 +0200 <Helle> I mean generally code like this from experience in other languages, happens when you need to glue various libraries with different semantics together in a larger program with some history to it
2023-05-05 12:14:39 +0200 <geekosaur> and there are alternative preludes which even cater to this kind of thing
2023-05-05 12:14:56 +0200 <Helle> geekosaur: neat, good to know, though given larger existing program, eeeeh not now :P
2023-05-05 12:15:06 +0200 <geekosaur> (the downsides of which is they use fusion heavily to make it performant and if anything goes wrong and it doesn't fuse performance will tank)
2023-05-05 12:16:09 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 12:16:31 +0200 <ncf> hmm i guess one problem with that definition of version is it will be recomputed every time it's used
2023-05-05 12:18:09 +0200mmhat(~mmh@p200300f1c70668b9ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8)
2023-05-05 12:18:18 +0200 <Helle> eh, that would not be a huge impact in this case
2023-05-05 12:18:54 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 12:20:51 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 260 seconds)
2023-05-05 12:22:16 +0200 <chreekat> ok wait with that definition you're saying that the value `version :: a` means "a value of type `a` that corresponds to the version of this package". I can say this makes me really uncomfortable, but it would take some time to articulate why. Perhaps because ... like, if you are worried about all the different string types you might need to use, how many *other* values will you need to create type classes for? It doesn't scale anywhere
2023-05-05 12:23:39 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 260 seconds)
2023-05-05 12:23:54 +0200 <Helle> chreekat: the only thing that is variable information that is shared between all the output file processors that is not heavily converted internally in them anyway is the version number
2023-05-05 12:27:10 +0200 <chreekat> So there are output file processors that differ on the string type they use?
2023-05-05 12:27:20 +0200 <Helle> chreekat: sadly yes
2023-05-05 12:27:44 +0200__monty__(~toonn@user/toonn)
2023-05-05 12:28:34 +0200 <Helle> ncf: anyway, thank you for pointing out IsString, that worked a charm
2023-05-05 12:32:55 +0200gurkenglas(~gurkengla@dynamic-046-114-182-214.46.114.pool.telefonica.de) (Ping timeout: 256 seconds)
2023-05-05 12:37:46 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 12:42:33 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 256 seconds)
2023-05-05 12:44:20 +0200barcisz(~barcisz@79.191.247.228.ipv4.supernova.orange.pl)
2023-05-05 12:50:32 +0200pharonix71(~pharonix7@user/pharonix71) (Ping timeout: 240 seconds)
2023-05-05 12:51:50 +0200dontdieych(~alarm@132.226.169.184) (Quit: WeeChat 3.8)
2023-05-05 12:51:58 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-05-05 12:53:01 +0200pharonix71(~pharonix7@user/pharonix71)
2023-05-05 12:56:08 +0200 <dminuoso> IsString is treacherous and should be abolished.
2023-05-05 12:56:13 +0200 <dminuoso> Right alongside of Read
2023-05-05 12:56:39 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2023-05-05 12:56:58 +0200 <dminuoso> Or well, I guess my beef is just with the function `read` itself
2023-05-05 12:57:22 +0200 <jade[m]1> I was about to ask - isn't it rather useful to have a generic parsing utility for simple types
2023-05-05 12:57:28 +0200 <ski> and people misusing `Show' for custom formatting / pretty-printing
2023-05-05 12:57:46 +0200skiglares at `StdGen', and some other types
2023-05-05 12:58:18 +0200 <fr33domlover> o/ is it possible to have an (associated) type family that specifies a set of constraints? The code in this answer uses a single Constraint: https://stackoverflow.com/questions/31317159/constraintkinds-explained-on-a-super-simple-example What if I want let class instances specify any number of constraints and then "fold" them together? f ::
2023-05-05 12:58:19 +0200 <fr33domlover> [Constraint] -> ...
2023-05-05 12:58:57 +0200 <dminuoso> ski: Im a bit torn. Strictly speaking, there is no correlation between Read and Show.
2023-05-05 12:59:20 +0200 <dminuoso> ski: The Haskell Report imposes this `show . read ~ id` and "produces valid Haskell expressions" only for deriving generated instances.
2023-05-05 12:59:21 +0200 <ski> yes, that's another deficiency of the report. there ought to be a common subclass, with no methods
2023-05-05 12:59:32 +0200 <dminuoso> But not for the typeclasses themselves
2023-05-05 12:59:40 +0200 <dminuoso> (Or rather *manually* written instances)
2023-05-05 13:00:19 +0200 <dminuoso> From a programming point of view, turning something arbitrary into a textual representation is very useful. But we fell into this well a long time ago to have this mixed into Show.
2023-05-05 13:00:19 +0200 <ski> the derived instances (for parameterized data types) are intended to be combined together with instances for other data types
2023-05-05 13:00:38 +0200 <fr33domlover> (Ah I found my answer in GHC manual)
2023-05-05 13:01:38 +0200 <dminuoso> jade[m]1: Sure. I mean you could in principle use any parsing library you want for a Read instance
2023-05-05 13:01:39 +0200 <ski> this means that any `Show' or `Read' instances that doesn't fit into this pattern sticks out like a sore thumb, when a third party innocently tries to combine them (usually without even thinking about it)
2023-05-05 13:01:45 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 13:01:49 +0200 <dminuoso> jade[m]1: However, you lose the ability to generate errors with it.
2023-05-05 13:02:00 +0200 <dminuoso> readList :: ReadS [a]
2023-05-05 13:02:12 +0200 <dminuoso> This interface has no ability to produce an error to tell you anything.
2023-05-05 13:02:46 +0200 <ski> hm, looks like `StdGen' was actually fixed
2023-05-05 13:02:59 +0200skitries to recall other examples
2023-05-05 13:04:00 +0200 <ncf> dminuoso: what's your beef with IsString?
2023-05-05 13:04:25 +0200 <ski> (btw, i'm often sufficiently annoyed by the derived `Show' instance using record syntax, when i happen to be using that in `data' or `newtype', so that i hand-write my own instance (using `showsPrec', obviously) to avoid that)
2023-05-05 13:06:13 +0200 <dminuoso> ncf: `IsString IP` is treacherous. So it `IsString ByteString`
2023-05-05 13:06:36 +0200 <dminuoso> Ask yourself what a string literal containing UTF8 code points is going to do if instantiate that literal at BS.ByteString.
2023-05-05 13:06:43 +0200 <dminuoso> Or what you expect it to do
2023-05-05 13:06:55 +0200 <ncf> i'd expect it to error
2023-05-05 13:07:08 +0200 <dminuoso> An error would be disgusting because you couldn't reliably catch it
2023-05-05 13:07:09 +0200 <dminuoso> But no, its better.
2023-05-05 13:07:22 +0200 <dminuoso> It just truncates to word8 stuff.
2023-05-05 13:07:29 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 256 seconds)
2023-05-05 13:07:52 +0200 <ncf> hah
2023-05-05 13:08:03 +0200 <ncf> so it's really more like: IsString ByteString should be abolished
2023-05-05 13:08:13 +0200 <dminuoso> Well IsString invites bad/poor implementationbs
2023-05-05 13:08:21 +0200 <dminuoso> Even if it raised an error, you couldnt reliably catch it.
2023-05-05 13:08:31 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 13:08:50 +0200 <dminuoso> First it needs `evaluate` (which is rarely used), and even if its caught imprecise exception throwing semantics means trying to act upon it is a pointless excercise
2023-05-05 13:09:18 +0200 <dminuoso> And having entire programs blow up because of a typo in the middle of a literal isnt fun either.
2023-05-05 13:13:04 +0200 <ski> (compile-time, or run-time, error ?)
2023-05-05 13:13:09 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds)
2023-05-05 13:17:43 +0200nate2(~nate@98.45.169.16)
2023-05-05 13:22:47 +0200nate2(~nate@98.45.169.16) (Ping timeout: 256 seconds)
2023-05-05 13:26:52 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-05-05 13:30:03 +0200alternateved(~user@77-253-195-69.adsl.inetia.pl)
2023-05-05 13:36:32 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-05-05 13:40:02 +0200synbian(~synbian@45.182.92.127)
2023-05-05 13:43:03 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-05-05 13:43:05 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 13:47:49 +0200crvs(~crvs@212.37.18.202) (Remote host closed the connection)
2023-05-05 13:48:08 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-05 13:48:13 +0200crvs(~crvs@212.37.18.202)
2023-05-05 13:51:00 +0200 <dminuoso> ski: Sure, compile-time error would be fine - QQ is an adequate solution for that.,
2023-05-05 13:52:22 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-05-05 13:56:37 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 13:59:26 +0200gurkenglas(~gurkengla@dynamic-046-114-182-214.46.114.pool.telefonica.de)
2023-05-05 14:00:43 +0200CiaoSen(~Jura@tmo-111-75.customers.d1-online.com) (Ping timeout: 260 seconds)
2023-05-05 14:01:04 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 248 seconds)
2023-05-05 14:02:45 +0200CiaoSen(~Jura@dynamic-046-114-219-226.46.114.pool.telefonica.de)
2023-05-05 14:06:08 +0200acidjnk(~acidjnk@p200300d6e7072f70c4749bcd308bf761.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-05-05 14:10:56 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 14:12:17 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection)
2023-05-05 14:12:29 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 14:13:19 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Client Quit)
2023-05-05 14:17:20 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2023-05-05 14:25:00 +0200vulfe(~vulfe@168.91.196.163)
2023-05-05 14:28:02 +0200smokyrobinson(~smokyrobi@149.19.169.188)
2023-05-05 14:29:41 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 14:30:36 +0200myxokeph(~myxokeph@cpe-65-28-251-121.cinci.res.rr.com)
2023-05-05 14:35:12 +0200smokyrobinson(~smokyrobi@149.19.169.188) (K-Lined)
2023-05-05 14:41:33 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 256 seconds)
2023-05-05 14:44:46 +0200tack(~tack@user/tack)
2023-05-05 14:47:25 +0200vpan(~0@mail.elitnet.lt) (Quit: Leaving.)
2023-05-05 15:03:23 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 15:05:05 +0200trev(~trev@user/trev) (Quit: trev)
2023-05-05 15:08:00 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 15:12:23 +0200tack(~tack@user/tack) (Quit: leaving)
2023-05-05 15:13:53 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2023-05-05 15:15:02 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds)
2023-05-05 15:15:24 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 268 seconds)
2023-05-05 15:24:40 +0200acidjnk(~acidjnk@p200300d6e7072f70c4749bcd308bf761.dip0.t-ipconnect.de)
2023-05-05 15:26:16 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-05-05 15:29:30 +0200zaquest(~notzaques@5.130.79.72)
2023-05-05 15:30:27 +0200goober(~goober@90-231-13-185-no3430.tbcn.telia.com)
2023-05-05 15:32:27 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-05-05 15:32:27 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-05-05 15:32:27 +0200wroathe(~wroathe@user/wroathe)
2023-05-05 15:34:28 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-05-05 15:35:47 +0200vulfe(~vulfe@168.91.196.163) (Quit: Leaving...)
2023-05-05 15:41:11 +0200michalz(~michalz@185.246.207.205) (Remote host closed the connection)
2023-05-05 15:42:39 +0200MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Quit: WeeChat 3.6)
2023-05-05 15:44:31 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-05-05 15:44:42 +0200michalz(~michalz@185.246.207.203)
2023-05-05 15:46:53 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 15:52:08 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-05-05 15:53:28 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
2023-05-05 15:53:55 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f054:dd66:bb7:11d2)
2023-05-05 15:58:20 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f054:dd66:bb7:11d2) (Ping timeout: 260 seconds)
2023-05-05 15:59:39 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2023-05-05 16:05:57 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-05-05 16:07:04 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-05-05 16:11:04 +0200jero98772(~jero98772@2800:484:1d84:9000::2)
2023-05-05 16:12:38 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de)
2023-05-05 16:13:10 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2023-05-05 16:16:27 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 268 seconds)
2023-05-05 16:17:09 +0200Me-me(~Me-me@user/me-me) (Quit: Something has gone terribly, terribly wrong, that being that I'm not here any more.)
2023-05-05 16:17:15 +0200Wstfgl0Me-me
2023-05-05 16:17:19 +0200Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host)
2023-05-05 16:17:19 +0200Me-me(~me-me@user/me-me)
2023-05-05 16:18:47 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 16:22:59 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 256 seconds)
2023-05-05 16:24:28 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:401d:76e8:b1e5:2786) (Quit: WeeChat 2.8)
2023-05-05 16:25:09 +0200goober(~goober@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
2023-05-05 16:25:48 +0200merijn(~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl)
2023-05-05 16:25:58 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-05-05 16:26:35 +0200Vq(~vq@90-227-195-9-no77.tbcn.telia.com) (Read error: Connection reset by peer)
2023-05-05 16:26:44 +0200Vq(~vq@90-227-195-9-no77.tbcn.telia.com)
2023-05-05 16:27:44 +0200rnat(uid73555@id-73555.lymington.irccloud.com)
2023-05-05 16:30:21 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2023-05-05 16:31:29 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds)
2023-05-05 16:33:11 +0200CiaoSen(~Jura@dynamic-046-114-219-226.46.114.pool.telefonica.de) (Ping timeout: 256 seconds)
2023-05-05 16:36:14 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-05-05 16:38:51 +0200jero98772(~jero98772@2800:484:1d84:9000::2) (Ping timeout: 256 seconds)
2023-05-05 16:41:41 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-05-05 16:41:42 +0200[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-05-05 16:42:24 +0200[_](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-05-05 16:43:12 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-05-05 16:49:54 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-05-05 16:50:08 +0200trev(~trev@user/trev)
2023-05-05 16:50:16 +0200Lycurgus(~juan@user/Lycurgus)
2023-05-05 16:50:22 +0200jero98772(~jero98772@2800:484:1d84:9000::2)
2023-05-05 16:58:34 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-05-05 17:00:40 +0200YoungFrog(~youngfrog@2a02:a03f:ca07:f900:1cb0:311a:b5fe:ccc6) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2023-05-05 17:01:00 +0200YoungFrog(~youngfrog@2a02:a03f:ca07:f900:54ce:671d:b0ab:9bcb)
2023-05-05 17:02:53 +0200Putonlalla(~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 256 seconds)
2023-05-05 17:11:57 +0200JScript(~JScript@103.137.12.172) (Ping timeout: 268 seconds)
2023-05-05 17:19:13 +0200nate2(~nate@98.45.169.16)
2023-05-05 17:19:32 +0200JScript(~JScript@103.137.12.174)
2023-05-05 17:20:19 +0200Vq(~vq@90-227-195-9-no77.tbcn.telia.com) (Read error: Connection reset by peer)
2023-05-05 17:20:40 +0200vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Quit: Leaving...)
2023-05-05 17:23:01 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2023-05-05 17:23:45 +0200nate2(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2023-05-05 17:24:41 +0200Vq(~vq@90-227-195-9-no77.tbcn.telia.com)
2023-05-05 17:32:25 +0200gurkenglas(~gurkengla@dynamic-046-114-182-214.46.114.pool.telefonica.de) (Ping timeout: 276 seconds)
2023-05-05 17:33:55 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f054:dd66:bb7:11d2)
2023-05-05 17:34:06 +0200gurkenglas(~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de)
2023-05-05 17:34:45 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-05-05 17:35:02 +0200Sgeo(~Sgeo@user/sgeo)
2023-05-05 17:35:33 +0200rf(~rf@2605:59c8:179c:f610:9c8a:1396:9f5f:10fd)
2023-05-05 17:36:03 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-05-05 17:38:56 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-05-05 17:41:02 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 17:43:53 +0200img(~img@user/img)
2023-05-05 17:46:04 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 276 seconds)
2023-05-05 17:46:17 +0200Vq(~vq@90-227-195-9-no77.tbcn.telia.com) (Ping timeout: 256 seconds)
2023-05-05 17:47:59 +0200lottaquestions(~nick@2607:fa49:503f:6d00:7d78:9c20:dd70:c4c8) (Read error: Connection reset by peer)
2023-05-05 17:53:09 +0200Vq(~vq@90-227-195-9-no77.tbcn.telia.com)
2023-05-05 17:54:27 +0200chele(~chele@user/chele) (Remote host closed the connection)
2023-05-05 17:57:55 +0200 <carbolymer> >systemToUTCTime $ MkSystemTime 8728097517656726399 3556790486
2023-05-05 17:58:10 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-05-05 18:00:14 +0200paul_j(~user@2001:8b0:dea0:f3c9:cd47:c8b0:d6:5463) (Quit: Asta la vista)
2023-05-05 18:03:37 +0200l8star(~l8star@p4ff7ac3f.dip0.t-ipconnect.de)
2023-05-05 18:05:34 +0200 <carbolymer> welp, it's a bug https://github.com/haskell/time/issues/242
2023-05-05 18:08:09 +0200 <merijn> is that invalid?
2023-05-05 18:08:42 +0200 <merijn> I'm not certain
2023-05-05 18:08:55 +0200 <carbolymer> I'd expect to get a correct UTCTime from systemToUTCTime
2023-05-05 18:09:06 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection)
2023-05-05 18:09:49 +0200 <geekosaur> I think it's documented that there can only be one leap second in a minute. also that it can't know about future leap seconds
2023-05-05 18:10:34 +0200 <geekosaur> so 60.xxx would be possible but invalid for a date so far in the future, and 62.xxx should never happen
2023-05-05 18:10:38 +0200 <merijn> geekosaur: I mean, you can't know about future UTCTime's in a sensible manner anyway, so there's that. But yeah, I'm certainly not certain that 62 seconds invalid, given that 61 is not
2023-05-05 18:10:40 +0200 <c_wraith> I'm pretty sure a double leap-second could exist.
2023-05-05 18:10:52 +0200 <c_wraith> but they never issued one
2023-05-05 18:11:01 +0200 <c_wraith> and 62.x would be a triple
2023-05-05 18:11:05 +0200 <merijn> I would certainly not dare assert 62 seconds is invalid without diving into specs
2023-05-05 18:11:48 +0200 <merijn> carbolymer: I mean, I'd argue your systemtime is invalid to begin with
2023-05-05 18:12:20 +0200 <merijn> carbolymer: Since it exceeds 1e9, which is the documented range for it
2023-05-05 18:12:25 +0200 <c_wraith> and didn't I hear something about a recent decision not to issue more leap-seconds in the future?
2023-05-05 18:12:34 +0200crvs(~crvs@212.37.18.202) (Read error: Connection reset by peer)
2023-05-05 18:13:00 +0200 <merijn> c_wraith: I mean, afaik we're on track for a negative leap second, so uh, that'll be fun
2023-05-05 18:13:02 +0200 <darkling> I'm fairly sure I've seen that double leap seconds are planned for, but triple aren't (so 61 is valid according to current practices and expectations, but 62 isn't)
2023-05-05 18:13:18 +0200 <merijn> Anyway, this seems GIGO
2023-05-05 18:13:25 +0200 <merijn> Garbage In, Garbage Out
2023-05-05 18:13:36 +0200 <darkling> Yeah, the negative one's going to be a whole nother level of oops-a-daisy.
2023-05-05 18:13:38 +0200 <carbolymer> merijn: hmm, maybe, you maybe right
2023-05-05 18:14:06 +0200 <carbolymer> merijn: but still, I'd expect to blow up somewhere in the middle, this blew up in our test suite at UTCTime deserialization, so it's a bit surprising
2023-05-05 18:14:07 +0200 <merijn> carbolymer: Anyway, let me also reiterate my personal pet complaint of "never convert future times into UTC, it can't be done" :)
2023-05-05 18:14:26 +0200 <merijn> Which it sounds like you're doing
2023-05-05 18:14:30 +0200 <darkling> c_wraith: IIRC, they voted to postpone the decision on abandoning leap seconds. I think they'll be revisiting in 2028 or something.
2023-05-05 18:14:33 +0200 <merijn> And it will screw you :)
2023-05-05 18:14:45 +0200 <c_wraith> have I mentioned that I really like the idea of NominalDiffTime? just ignore these issues...
2023-05-05 18:18:18 +0200mbuf(~Shakthi@49.207.178.186) (Quit: Leaving)
2023-05-05 18:19:23 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 18:24:45 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:391f:cdc5:98df:6b24) (Remote host closed the connection)
2023-05-05 18:26:18 +0200rlj(~rlj@194-218-34-180.customer.telia.com)
2023-05-05 18:28:05 +0200megaTherion(~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in)
2023-05-05 18:28:07 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 260 seconds)
2023-05-05 18:29:17 +0200megaTherion(~therion@unix.io)
2023-05-05 18:31:17 +0200megaTherion(~therion@unix.io) (Client Quit)
2023-05-05 18:32:25 +0200megaTherion(~therion@unix.io)
2023-05-05 18:35:58 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 18:36:05 +0200megaTherion(~therion@unix.io) (Client Quit)
2023-05-05 18:37:13 +0200megaTherion(~therion@unix.io)
2023-05-05 18:39:23 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-05-05 18:40:25 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net)
2023-05-05 18:42:23 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-05-05 18:42:38 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 246 seconds)
2023-05-05 18:45:32 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-05-05 18:47:20 +0200rnat(uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-05-05 18:53:41 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 265 seconds)
2023-05-05 18:53:47 +0200talismanick(~user@2601:204:ef80:6c80::a8e2) (Ping timeout: 260 seconds)
2023-05-05 18:55:32 +0200barcisz(~barcisz@79.191.247.228.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-05-05 18:59:53 +0200zeenk(~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!)
2023-05-05 19:00:31 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 19:01:38 +0200megaTherion(~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in)
2023-05-05 19:02:46 +0200megaTherion(~therion@unix.io)
2023-05-05 19:05:25 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 19:08:58 +0200rlj(~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds)
2023-05-05 19:18:08 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
2023-05-05 19:19:17 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-05-05 19:26:25 +0200troydm(~troydm@user/troydm)
2023-05-05 19:27:28 +0200econo(uid147250@user/econo)
2023-05-05 19:39:23 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-05-05 19:44:44 +0200Tops2(~Topsi@dyndsl-095-033-142-052.ewe-ip-backbone.de)
2023-05-05 19:45:31 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-05-05 19:49:46 +0200rlj(~rlj@194-218-34-180.customer.telia.com)
2023-05-05 19:49:48 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-05-05 19:58:19 +0200merijn(~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2023-05-05 20:00:20 +0200nurupo(~nurupo.ga@user/nurupo) (Quit: nurupo.ga)
2023-05-05 20:00:35 +0200nurupo(~nurupo.ga@user/nurupo)
2023-05-05 20:01:13 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-05-05 20:05:41 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 256 seconds)
2023-05-05 20:09:23 +0200trev(~trev@user/trev) (Quit: trev)
2023-05-05 20:20:32 +0200mauke(~mauke@user/mauke)
2023-05-05 20:24:26 +0200merijn(~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl)
2023-05-05 20:26:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-05-05 20:57:28 +0200merijn(~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-05-05 20:59:37 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-05-05 21:00:50 +0200alternateved(~user@77-253-195-69.adsl.inetia.pl) (Ping timeout: 250 seconds)
2023-05-05 21:04:37 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds)
2023-05-05 21:14:03 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-05-05 21:14:48 +0200rlj(~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds)
2023-05-05 21:16:51 +0200hmb(~hmb@2a10:3781:b9f:1:cfc0:9d4e:fa11:c887)
2023-05-05 21:17:02 +0200hmb(~hmb@2a10:3781:b9f:1:cfc0:9d4e:fa11:c887) (Client Quit)
2023-05-05 21:17:18 +0200hmb222(~hmb222@2a10:3781:b9f:1:cfc0:9d4e:fa11:c887)
2023-05-05 21:20:45 +0200nate2(~nate@98.45.169.16)
2023-05-05 21:21:09 +0200inversed(~inversed@bcdcac82.skybroadband.com)
2023-05-05 21:21:55 +0200 <peutri> anyone here into competitive programming (in Haskell)? I can't get my codejam/2022-1b/C (ASeDatAb) to pass, for likely stupid IO/environment reasons, I'd appreciate second looks/external opinions
2023-05-05 21:24:37 +0200 <peutri> oh dear lpaste doesn't appear to be a thing anymore — what's the go-to haskell pastebin nowadays?
2023-05-05 21:25:00 +0200 <xerox> @paste
2023-05-05 21:25:00 +0200 <lambdabot> A pastebin: https://paste.debian.net/
2023-05-05 21:25:10 +0200 <xerox> just a random try
2023-05-05 21:25:18 +0200 <peutri> fine by me
2023-05-05 21:25:25 +0200nate2(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2023-05-05 21:25:53 +0200 <monochrom> @where paste
2023-05-05 21:25:53 +0200 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2023-05-05 21:26:10 +0200 <monochrom> That one is better if there are multiple related files.
2023-05-05 21:27:12 +0200 <monochrom> I hate having to switch between two tabs just because code is in one tab and output is in another tab, no?
2023-05-05 21:27:58 +0200 <peutri> so https://paste.debian.net/1279435/ ; my code on the platform is TLE when on my machine (that's almost 10yo) it runs in 3s (10 allowed), most likely some hFlush call missing, but there's only really one place to put it and it's there so I'm puzzled
2023-05-05 21:28:22 +0200 <monochrom> Just yesterday I marked a report in which the student put 7 code examples (unexplained, but read on) on one page and their 7 explanations on the next page. I deducted marks for that.
2023-05-05 21:28:26 +0200 <peutri> any insights more than welcome
2023-05-05 21:29:11 +0200elkcl(~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 246 seconds)
2023-05-05 21:29:36 +0200 <xerox> :t flip fix
2023-05-05 21:29:37 +0200 <lambdabot> b -> ((b -> c) -> b -> c) -> c
2023-05-05 21:29:45 +0200 <peutri> ha ha
2023-05-05 21:29:51 +0200 <peutri> I know wheree that comes from
2023-05-05 21:30:19 +0200 <mauke> hFlush makes things slower, not faster
2023-05-05 21:30:25 +0200 <peutri> “call a self-recursive function with this initial argument”
2023-05-05 21:30:31 +0200 <peutri> absolutely
2023-05-05 21:30:34 +0200 <peutri> but this is an interactive problem
2023-05-05 21:30:46 +0200 <peutri> no hFlush → judge waits forever and TLE
2023-05-05 21:31:01 +0200 <peutri> (hi mauke)
2023-05-05 21:32:29 +0200elkcl(~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru)
2023-05-05 21:33:15 +0200 <mauke> if it's interactive, why does the input start with the total number of (sub-)problems?
2023-05-05 21:33:43 +0200 <peutri> i'm somewhere between “why not” and “that's just the way it is”
2023-05-05 21:33:52 +0200 <peutri> it's not a part I have influence over
2023-05-05 21:34:08 +0200 <peutri> i SHOULD PROBABLY HAVE LINKED https://codingcompetitions.withgoogle.com/codejam/round/000000000087711b/0000000000acd29b MUCH EARLIER
2023-05-05 21:34:13 +0200 <peutri> err, CAPS-sorry
2023-05-05 21:34:42 +0200 <monochrom> peutri: byorgey is into competitive programming using Haskell. But I haven't seen him here lately.
2023-05-05 21:35:52 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-05-05 21:36:14 +0200 <mauke> man, I love FAQ pages that consist entirely of <script type="text/javascript" src="/static/vendor.11d1b319cb562c590e20.js"></script><script type="text/javascript" src="/static/main.d72eb2952db5a50f69eb.js"></script>
2023-05-05 21:36:36 +0200gmg(~user@user/gehmehgeh)
2023-05-05 21:36:38 +0200 <mauke> and fail to load because those scripts assume some third-party code from another site has been loaded first
2023-05-05 21:36:52 +0200 <peutri> the CJ FAQ?
2023-05-05 21:36:54 +0200 <peutri> I can distill
2023-05-05 21:37:10 +0200 <peutri> haskell-platform 8.4.4
2023-05-05 21:38:03 +0200 <peutri> compile flags probably irrelevant, runtime +RTS -V0 -RTS
2023-05-05 21:38:28 +0200 <monochrom> I am all for all-caps if it's for self criticism. >:)
2023-05-05 21:38:44 +0200 <peutri> well ok compile flags -O2, that *could* be relevant
2023-05-05 21:38:55 +0200 <peutri> wait what
2023-05-05 21:39:08 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-05-05 21:39:12 +0200 <peutri> "ghc +RTS -V0 -RTS -rtsopts -O2 -o Solution Solution.hs"
2023-05-05 21:39:41 +0200trev(~trev@user/trev)
2023-05-05 21:39:41 +0200 <peutri> that "-rtsopts -O2" is suspicious to me for the first time in years
2023-05-05 21:39:59 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) (Remote host closed the connection)
2023-05-05 21:40:18 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net)
2023-05-05 21:41:11 +0200 <monochrom> On unix, you can test "am I flushing properly" by the simple trick of: cat | yourprog | cat
2023-05-05 21:41:13 +0200 <ncf> so self-critical it only leaves "i" uncapitalised
2023-05-05 21:41:45 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-05-05 21:42:10 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-05-05 21:42:32 +0200 <peutri> no ok, -rtsopts takes an "=" else it means -rtsopts=all
2023-05-05 21:43:26 +0200 <geekosaur> did you want -with-rtsopts=-O2 ?
2023-05-05 21:43:35 +0200 <peutri> *I* didn't
2023-05-05 21:43:45 +0200 <geekosaur> -rtsopts specifies which ones you can use at runtime, -wiith-rtsopts specifies the ones to be compiled in
2023-05-05 21:43:52 +0200 <peutri> no, really, it appears to be ok, read it as equivalen "-rtsopts=all -O2"
2023-05-05 21:44:04 +0200 <geekosaur> okay
2023-05-05 21:44:13 +0200 <peutri> written the scary way
2023-05-05 21:45:12 +0200drdo3(~drdo@bl8-153-185.dsl.telepac.pt)
2023-05-05 21:45:45 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 268 seconds)
2023-05-05 21:46:28 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-05-05 21:47:22 +0200 <peutri> monochrom: for simple cases, I guess yes, but “interactive” here means a meaningful interaction between judge and program that cat can't really reproduce
2023-05-05 21:47:36 +0200drdo(~drdo@bl14-14-164.dsl.telepac.pt) (Ping timeout: 268 seconds)
2023-05-05 21:47:36 +0200drdo3drdo
2023-05-05 21:48:55 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-05-05 21:49:06 +0200 <monochrom> Oh I mean you still has to manually enter one chunk of input and manually check that one chunk of output actually comes out.
2023-05-05 21:49:31 +0200 <monochrom> The point is defeating "line-buffered because terminal".
2023-05-05 21:49:53 +0200 <peutri> yeah I think those pieces of code are run out of terminal
2023-05-05 21:50:00 +0200 <mauke> the input cat is probably going to break things by buffering its output
2023-05-05 21:50:12 +0200 <peutri> so the usual line-buffering you could get used to doesn't apply
2023-05-05 21:50:31 +0200 <monochrom> Oh haha I forgot that one.
2023-05-05 21:51:06 +0200 <peutri> if you're really intending to try out, G provides both a runner and judge scripts, linked somewhere in the page
2023-05-05 21:51:22 +0200 <monochrom> OK I tested "cat | cat | cat | cat | cat" it's still interactive.
2023-05-05 21:51:36 +0200 <peutri> but they're obviously not perfect: It Works On My Machine
2023-05-05 21:52:27 +0200 <peutri> it even works on my machine with the actual judge program I assume they use: https://github.com/google/coding-competitions-archive/blob/main/codejam/2022/round_1b/asedatab/out…
2023-05-05 21:59:09 +0200dextaa(~DV@user/dextaa)
2023-05-05 21:59:34 +0200dextaa(~DV@user/dextaa) (Remote host closed the connection)
2023-05-05 22:01:24 +0200merijn(~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl)
2023-05-05 22:01:47 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-05-05 22:02:03 +0200 <peutri> this is making me crazy, I'll try and see if *anyone* solved it in Haskell
2023-05-05 22:03:02 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2023-05-05 22:04:20 +0200dextaa(~DV@user/dextaa)
2023-05-05 22:12:54 +0200barcisz(~barcisz@79.191.247.228.ipv4.supernova.orange.pl)
2023-05-05 22:13:35 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-05-05 22:14:44 +0200 <peutri> oh, a few attempts
2023-05-05 22:29:06 +0200l8star(~l8star@p4ff7ac3f.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-05-05 22:30:41 +0200 <peutri> one with both tests' success: https://codingcompetitions.withgoogle.com/codejam/submissions/000000000087711b/00000000004b8496
2023-05-05 22:35:05 +0200merijn(~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2023-05-05 22:35:06 +0200 <peutri> …and submitting his AC code gives TLE now
2023-05-05 22:35:09 +0200 <peutri> ok they have a bug
2023-05-05 22:40:04 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds)
2023-05-05 22:41:49 +0200gurkenglas(~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 276 seconds)
2023-05-05 22:42:15 +0200JScript2(~JScript@cpe-172-193-150-106.qld.foxtel.net.au)
2023-05-05 22:44:57 +0200JScript(~JScript@103.137.12.174) (Ping timeout: 268 seconds)
2023-05-05 22:46:37 +0200merijn(~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl)
2023-05-05 22:47:16 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-e4be-db62-aac5-4d33.rev.sfr.net) (Remote host closed the connection)
2023-05-05 22:48:22 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-05-05 22:51:44 +0200merijn(~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2023-05-05 22:53:49 +0200JScript2(~JScript@cpe-172-193-150-106.qld.foxtel.net.au) (Read error: Connection reset by peer)
2023-05-05 22:55:08 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 22:59:45 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 23:01:04 +0200kimiamania(~65804703@user/kimiamania) (Quit: PegeLinux)
2023-05-05 23:01:25 +0200kimiamania(~65804703@user/kimiamania)
2023-05-05 23:01:47 +0200Snardbafulator(~snardbafu@189.172.65.200)
2023-05-05 23:03:14 +0200merijn(~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl)
2023-05-05 23:03:15 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-05-05 23:03:17 +0200 <Snardbafulator> Rosie O'Donnell gets feces shoved in her pussy Hot Pocket style in Tijuana by a famous Mexican folk singer! Read all about it here! https://justpaste.it/PesoPlumaAlabamaHotPocket
2023-05-05 23:04:02 +0200Snardbafulator(~snardbafu@189.172.65.200) (K-Lined)
2023-05-05 23:05:08 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-05-05 23:05:35 +0200sagax(~sagax_nb@user/sagax)
2023-05-05 23:07:29 +0200 <peutri> spam on liberachat? means we're legitimate right?
2023-05-05 23:08:08 +0200merijn(~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-05-05 23:12:47 +0200niko-(~niko-@189.162.132.77)
2023-05-05 23:12:48 +0200trev(~trev@user/trev) (Ping timeout: 240 seconds)
2023-05-05 23:14:26 +0200ph88(~ph88@ip5b403cd4.dynamic.kabel-deutschland.de)
2023-05-05 23:14:39 +0200 <ph88> how can i get ghci to step into library code ?
2023-05-05 23:15:18 +0200 <geekosaur> you have to load the library as source (try prepending the module name with a `*`)
2023-05-05 23:17:23 +0200 <ph88> load when starting ghci with a command line flag or when i am already in ghci with :load or import ?
2023-05-05 23:17:47 +0200 <geekosaur> `:module +*Foo` or similar, I think
2023-05-05 23:18:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2023-05-05 23:20:04 +0200 <niko-> Rosie O'Donnell gets feces shoved in her pussy Hot Pocket style in Tijuana by a famous Mexican folk singer! Read all about it here! https://justpaste.it/PesoPlumaAlabamaHotPocket
2023-05-05 23:20:22 +0200 <ph88> thanks geekosaur
2023-05-05 23:20:49 +0200ChanServ+o geekosaur
2023-05-05 23:20:55 +0200geekosaur+b *!*@189.162.132.77
2023-05-05 23:20:56 +0200niko-geekosaur (niko-)
2023-05-05 23:21:23 +0200 <geekosaur> apparently it's going to be a weekend of spam
2023-05-05 23:21:37 +0200geekosaur-o geekosaur
2023-05-05 23:22:13 +0200 <ncf> maybe preemptively ban 189.*
2023-05-05 23:24:29 +0200 <geekosaur> litharge tells me that'll catch a legitimate user
2023-05-05 23:25:08 +0200Tobias_(~Topsi@dyndsl-091-096-145-103.ewe-ip-backbone.de)
2023-05-05 23:26:04 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-05-05 23:27:48 +0200Tops2(~Topsi@dyndsl-095-033-142-052.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2023-05-05 23:27:51 +0200Tobias_Tops2
2023-05-05 23:35:04 +0200freeside(~mengwong@103.252.202.85)
2023-05-05 23:37:37 +0200wiosna(~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
2023-05-05 23:41:35 +0200hugo-(znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds)
2023-05-05 23:42:18 +0200freeside(~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
2023-05-05 23:46:35 +0200hugo(znc@verdigris.lysator.liu.se)
2023-05-05 23:55:40 +0200merijn(~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl)
2023-05-05 23:56:55 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)