Home freenode/#haskell: Logs Calendar

Logs on 2021-04-01 (freenode/#haskell)

00:00:01 × zopsi quits (zopsi@2600:3c00::f03c:91ff:fe14:551f) (Quit: Oops)
00:00:02 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
00:00:21 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
00:00:36 → zopsi joins (zopsi@2600:3c00::f03c:91ff:fe14:551f)
00:00:41 × Graypup_ quits (Graypup@lfcode.ca) (Quit: ZNC 1.6.1 - http://znc.in)
00:01:05 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
00:01:21 → Graypup_ joins (Graypup@lfcode.ca)
00:01:26 → gzj joins (~gzj@unaffiliated/gzj)
00:02:40 → usr25 joins (~usr25@unaffiliated/usr25)
00:03:19 × borne quits (~fritjof@vpn05.bremen.freifunk.net) (Ping timeout: 265 seconds)
00:03:22 <dmwit> larryba: For context, one FAQ, both here and on StackOverflow, is this one: https://stackoverflow.com/q/11910143/791604 . I think it's pretty reasonable to see "how do I restrict my lists to have a specific length" and for your mind to go to this place, given that history.
00:03:33 × darthThorik quits (sid39589@gateway/web/irccloud.com/x-yyblajqqwaweohku) (Ping timeout: 252 seconds)
00:04:12 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:461b:1426:c666:74bc) (Ping timeout: 246 seconds)
00:04:14 <dmwit> (In other words, to go from "how do I create this specific compile-time check" to "how do I go from an arbitrary compile-time check to an implementation of that check".)
00:04:15 × caasih quits (sid13241@gateway/web/irccloud.com/x-ddqtrssgnjadgsqx) (Ping timeout: 250 seconds)
00:04:15 × runeks quits (sid21167@gateway/web/irccloud.com/x-cxruzufibvrhwxbg) (Ping timeout: 250 seconds)
00:04:36 <dmwit> It's very common to ask specific questions as stand-ins for general ones.
00:04:41 × pepeiborra quits (sid443799@gateway/web/irccloud.com/x-vocwsgeawpzzbkbk) (Ping timeout: 250 seconds)
00:05:05 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
00:05:28 → molehillish joins (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
00:05:31 → darthThorik joins (sid39589@gateway/web/irccloud.com/x-ncuamoriibwvdwrv)
00:05:57 <dmwit> e.g. in the linked question's comments, the asker there makes it clear that they are doing so: the question is about numbers >0, but they want to know also how to do types for non-empty lists, sorted lists, and strings that are valid CC numbers.
00:06:11 → runeks joins (sid21167@gateway/web/irccloud.com/x-hasdkvyrirwackgz)
00:06:13 → borne joins (~fritjof@vpn05.bremen.freifunk.net)
00:06:19 → caasih joins (sid13241@gateway/web/irccloud.com/x-agadrzqzqvqjptgo)
00:06:50 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
00:06:56 → pepeiborra joins (sid443799@gateway/web/irccloud.com/x-smlzoyfyppguwjck)
00:09:22 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
00:10:01 → conal joins (~conal@64.71.133.70)
00:10:04 × molehillish quits (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Ping timeout: 258 seconds)
00:10:13 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 252 seconds)
00:10:54 <larryba> I'm not sure that question is unambiguously about dependent types either (I just read the original question, not further replies by the OP, if there are any). it could just as easily mean: "does haskell have unsigned int type". it would be clearer if the question was about integers > 1
00:11:08 → Tario joins (~Tario@200.119.186.134)
00:12:05 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
00:12:25 → gzj joins (~gzj@unaffiliated/gzj)
00:12:50 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
00:13:26 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
00:14:41 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
00:15:26 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
00:15:44 → hexfive joins (~hexfive@50.35.83.177)
00:15:57 × larryba quits (~bc8134e3@1582020-static.lxtnkya3.metronetinc.net) (Quit: CGI:IRC (Error))
00:16:25 → larryba joins (~bc8134e3@199.204.85.195)
00:17:08 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
00:17:10 <larryba> so yes, it appears that his question was related to dependent types. "Non-empty lists? Sorted lists? Strings that are valid credit card numbers? - synapse Aug 11 '12"
00:17:28 → Axma70544 joins (~Axman6@pdpc/supporter/student/Axman6)
00:17:45 <larryba> but imagine if it wasn't, that it was just a newbie asking "does haskell have unsigned int type, like C, or it doesn't, like java", and then getting a bunch of replies talking about dependent types, and peano numbers. :). which is a reply he got 1 day prior to quote message above
00:18:18 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
00:18:23 <larryba> quoted*
00:18:59 × moobar quits (sid171730@gateway/web/irccloud.com/x-idhhaawhjtolzzkm) (Ping timeout: 250 seconds)
00:19:11 × Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Ping timeout: 240 seconds)
00:19:54 → natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
00:20:00 → kiweun joins (~kiweun@2607:fea8:2a62:9600:7198:37f0:c930:b5b2)
00:20:06 × jules_ quits (~jules@ip201.ip-135-125-227.eu) (Ping timeout: 260 seconds)
00:20:49 → moobar joins (sid171730@gateway/web/irccloud.com/x-tmumveujckzntgio)
00:20:58 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
00:21:49 → gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
00:22:48 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
00:24:23 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Read error: Connection reset by peer)
00:25:37 → theDon joins (~td@94.134.91.65)
00:27:02 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
00:29:22 → jules__ joins (~jules@ip201.ip-135-125-227.eu)
00:31:11 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
00:31:19 × usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving)
00:31:41 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
00:31:58 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
00:32:47 jules__ is now known as jules_
00:33:45 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:9ef:d80a:d8b:a18d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
00:33:56 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
00:35:24 × Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
00:35:52 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
00:35:57 → Kaeipi joins (~Kaiepi@47.54.252.148)
00:36:06 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
00:36:14 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:a580:80d4:7a1b:3f87)
00:36:41 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
00:40:14 × Tario quits (~Tario@200.119.186.134) (Read error: Connection reset by peer)
00:40:25 × reda quits (~reda@unaffiliated/reda) (Quit: leaving)
00:40:47 → Tario joins (~Tario@201.192.165.173)
00:43:26 × jules_ quits (~jules@ip201.ip-135-125-227.eu) (Ping timeout: 265 seconds)
00:43:37 → reda joins (~niemand@unaffiliated/reda)
00:43:45 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:a580:80d4:7a1b:3f87) (Ping timeout: 246 seconds)
00:44:24 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 265 seconds)
00:46:08 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:e429:5164:43cd:1a67)
00:46:41 → jules_ joins (~jules@ip201.ip-135-125-227.eu)
00:46:49 × Guest41032 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds)
00:48:31 → glaceon joins (~glaceon@117.222.69.43)
00:50:21 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 245 seconds)
00:53:29 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
00:55:48 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:e429:5164:43cd:1a67) (Quit: My MacBook has gone to sleep. ZZZzzz…)
00:56:11 × jules_ quits (~jules@ip201.ip-135-125-227.eu) (Ping timeout: 240 seconds)
00:56:22 <koz_> I have this in a heap profile: (674)concat.go/run/concat/... 12977352
00:56:26 <koz_> What does this refer to>
00:56:27 <koz_> ?*
00:56:27 <lambdabot> Maybe you meant: v @ ? .
00:57:10 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
00:57:26 → jules_ joins (~jules@ip201.ip-135-125-227.eu)
00:57:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
00:58:46 → rajivr joins (uid269651@gateway/web/irccloud.com/x-motebfwgumyfxduw)
00:59:12 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
01:01:38 × Guest55480 quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 246 seconds)
01:05:05 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
01:05:26 → gzj joins (~gzj@unaffiliated/gzj)
01:06:00 <koz_> :t foldl'
01:06:01 <lambdabot> Foldable t => (b -> a -> b) -> b -> t a -> b
01:06:24 <cmeans> Yes, so dependent-types wasn't as directly helpful as I might have hoped...so clearly I didn't frame my question well enough
01:07:06 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-lksmeqawycwfpajp) (Quit: Connection closed for inactivity)
01:08:58 <cmeans> Say I'm writing a program to solve a Sudoku puzzle (watching a YT series), and I was looking at testing validity of an existing game (constructed as a List of List of elements).
01:09:07 × carlomagno quits (~cararell@148.87.23.10) (Quit: Leaving.)
01:10:06 <cmeans> It seemed like a simple way to force some validness, would be to make sure that a given row could only have 9 elements in it's List.  And that there would only be 9 Lists.
01:11:13 → ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net)
01:11:14 <cmeans> Looking for directions to a solution that exists today.
01:11:41 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
01:12:01 <koz_> cmeans: vector-sized might help.
01:12:19 <koz_> Since then you can just say 'my board is 'Vector 9 (Vector 9 Int)', any questions')
01:13:00 <cmeans> I saw that in my search.  So, I'd use a Vector instead of a List.  And Vector is in a package i can import?
01:13:10 <koz_> cmeans: Yes - vector-sized.
01:13:35 <cmeans> OK.  Thanks koz_
01:14:12 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
01:14:22 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
01:17:37 → tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl)
01:18:30 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
01:20:17 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
01:21:02 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
01:21:53 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
01:22:31 × tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
01:23:33 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
01:23:42 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-afninwolvrucszhg) (Quit: Connection closed for inactivity)
01:24:41 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
01:25:30 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
01:25:36 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
01:26:14 × tabemann quits (~travisb@2600:1700:7990:24e0:27e6:9fa9:ad7b:61ef) (Remote host closed the connection)
01:26:30 → tabemann joins (~travisb@2600:1700:7990:24e0:f296:95e4:6efa:8660)
01:27:03 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds)
01:29:51 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
01:30:09 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
01:30:11 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
01:30:44 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
01:31:00 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
01:31:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
01:36:05 → stree joins (~stree@68.36.8.116)
01:36:36 × solidus-river quits (~mike@174.127.249.180) (Remote host closed the connection)
01:37:15 × puke quits (~vroom@217.138.252.168) (Quit: puke)
01:40:45 → haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
01:40:45 × haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
01:40:45 → haritz joins (~hrtz@unaffiliated/haritz)
01:42:09 → puke joins (~vroom@217.138.252.216)
01:43:09 × _xor quits (~xor@74.215.46.133) (Read error: Connection reset by peer)
01:43:52 → _xor joins (~xor@74.215.46.133)
01:49:02 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
01:52:05 × Wamanuz2 quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Quit: Konversation terminated!)
01:59:21 × xff0x quits (~xff0x@2001:1a81:52d9:7900:15bf:3601:850c:fab3) (Ping timeout: 246 seconds)
02:00:05 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
02:00:15 → jamm_ joins (~jamm@unaffiliated/jamm)
02:00:47 × conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer)
02:01:31 → xff0x joins (~xff0x@2001:1a81:5314:900:77e4:e687:f355:9c0a)
02:02:03 → conal joins (~conal@64.71.133.70)
02:03:12 → codygman__ joins (~user@47.186.207.161)
02:03:36 → FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
02:03:36 finn_elija is now known as Guest61172
02:03:36 FinnElija is now known as finn_elija
02:04:41 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
02:04:41 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
02:04:44 → rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-fwmlwlhxosxfeijx)
02:05:28 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
02:06:13 → gzj joins (~gzj@unaffiliated/gzj)
02:06:45 × Guest61172 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
02:08:18 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds)
02:11:25 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
02:19:57 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
02:21:11 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
02:26:26 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
02:28:37 × waleee-cl quits (uid373333@gateway/web/irccloud.com/x-mhbpgvvowjjnvcmn) (Quit: Connection closed for inactivity)
02:32:53 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
02:33:22 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
02:37:41 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
02:39:06 → hendursaga joins (~weechat@gateway/tor-sasl/hendursaga)
02:49:11 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
02:50:01 → aarvar joins (~foewfoiew@2601:602:a080:fa0:906c:b23f:e55d:e8aa)
02:50:29 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
02:50:50 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
02:59:11 × theDon quits (~td@94.134.91.65) (Ping timeout: 240 seconds)
02:59:54 × Wizek quits (uid191769@gateway/web/irccloud.com/x-auesgaiuendcjtgu) (Quit: Connection closed for inactivity)
03:00:44 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
03:01:19 → theDon joins (~td@94.134.91.35)
03:01:47 → elliott_ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
03:03:08 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
03:03:27 → gzj joins (~gzj@unaffiliated/gzj)
03:11:23 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
03:11:50 × ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection)
03:11:58 × tionos quits (~tionos@2a0b:b7c4:1:731::1) (Quit: leaving)
03:12:34 → tionos joins (~tionos@2a0b:b7c4:1:731::1)
03:17:08 × codygman__ quits (~user@47.186.207.161) (Ping timeout: 265 seconds)
03:21:32 → ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net)
03:22:58 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
03:25:21 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
03:27:11 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
03:27:27 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
03:27:55 → conal joins (~conal@64.71.133.70)
03:28:19 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
03:29:41 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
03:31:41 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
03:33:45 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
03:38:21 × ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection)
03:39:22 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
03:44:12 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
03:44:12 × stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds)
03:49:08 → frozenErebus joins (~frozenEre@37.231.244.249)
03:49:12 × ephemient quits (uid407513@gateway/web/irccloud.com/x-kreuktrxowjvrjcm) (Quit: Connection closed for inactivity)
03:51:08 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
03:51:47 → astroanax joins (~astroanax@cosmic.voyage)
03:53:10 × DataComputist quits (~lumeng@50.43.26.251) (Quit: Leaving...)
03:54:19 → solidus-river joins (~fuag1@174.127.249.180)
03:54:21 × Guest50609 quits (~textual@zrcout.mskcc.org) (Ping timeout: 265 seconds)
03:56:18 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds)
03:57:26 → stree joins (~stree@68.36.8.116)
04:01:07 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
04:01:27 → gzj joins (~gzj@unaffiliated/gzj)
04:01:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
04:02:52 × finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
04:03:13 → finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
04:03:21 × bugbot quits (~bugbot@185.169.233.10) (Remote host closed the connection)
04:04:58 → ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net)
04:06:53 → molehillish joins (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
04:11:05 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
04:11:15 × molehillish quits (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Ping timeout: 250 seconds)
04:13:33 × rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-fwmlwlhxosxfeijx) (Quit: Connection closed for inactivity)
04:14:53 → __minoru__shirae joins (~shiraeesh@109.166.58.221)
04:15:35 × average quits (uid473595@gateway/web/irccloud.com/x-ygfxxolhucppzalr) (Quit: Connection closed for inactivity)
04:15:36 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:8c70:d1a1:78da:927)
04:18:06 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
04:18:26 → gzj joins (~gzj@unaffiliated/gzj)
04:22:54 → solvr joins (57e3c46d@87.227.196.109)
04:25:27 → Guest41032 joins (~laudiacay@67.176.215.84)
04:29:31 → Tops2 joins (~Tobias@dyndsl-091-249-083-121.ewe-ip-backbone.de)
04:30:58 → molehillish joins (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
04:35:46 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:8c70:d1a1:78da:927) (Quit: My MacBook has gone to sleep. ZZZzzz…)
04:38:24 × molehillish quits (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Ping timeout: 258 seconds)
04:43:02 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
04:45:38 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
04:47:02 → n3glv1 joins (~n3glv@195.140.213.38)
04:47:48 → laudiacay joins (~laudiacay@67.176.215.84)
04:48:11 laudiacay is now known as Guest40784
04:48:41 × Guest41032 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds)
04:50:22 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
04:54:17 × elliott_ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
04:55:30 → mice-user joins (b4960d8b@180-150-13-139.b4960d.syd.static.aussiebb.net)
04:59:03 → molehillish joins (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
05:00:23 × jathan quits (~jathan@69.61.93.38) (Quit: WeeChat 2.3)
05:01:32 → jakalx joins (~jakalx@base.jakalx.net)
05:02:47 × Lycurgus quits (~niemand@98.4.120.166) (Quit: Exeunt)
05:22:38 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
05:23:30 × electricityZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Ping timeout: 260 seconds)
05:24:34 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
05:24:51 × ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection)
05:26:36 → tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl)
05:26:36 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
05:28:07 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
05:28:10 × tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
05:29:08 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
05:29:25 → egorbelibov joins (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7)
05:29:56 → keeperasmexcalib joins (~egpkeeper@2.95.145.35)
05:30:47 × stass quits (~stas@2a00:13c0:63:7195::beef) (Quit: leaving)
05:30:48 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
05:31:02 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
05:33:49 → tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl)
05:34:16 × egorbelibov quits (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7) (Remote host closed the connection)
05:34:34 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
05:34:49 → egorbelibov joins (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7)
05:39:11 × tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
05:39:32 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
05:41:40 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
05:41:59 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection)
05:42:03 × keeperasmexcalib quits (~egpkeeper@2.95.145.35) (Quit: reboot)
05:42:41 × larryba quits (~bc8134e3@199.204.85.195) (Quit: CGI:IRC (Session timeout))
05:43:12 → raym joins (~ray@115.187.32.14)
05:43:58 → keeperasmexcalib joins (~egpkeeper@2.95.145.35)
05:44:33 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
05:45:58 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
05:46:57 × keeperasmexcalib quits (~egpkeeper@2.95.145.35) (Client Quit)
05:47:40 → keeperasmexcalib joins (~egp_@2.95.145.35)
05:47:58 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
05:48:10 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
05:48:23 → Tario joins (~Tario@201.192.165.173)
05:50:19 → keeperegp_ joins (~egp_@2.95.145.35)
05:50:28 × keeperasmexcalib quits (~egp_@2.95.145.35) (Client Quit)
05:50:30 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
05:50:48 × keeperegp_ quits (~egp_@2.95.145.35) (Remote host closed the connection)
05:51:17 → keeperasmexcalib joins (~egp_@2.95.145.35)
05:55:27 × n3glv1 quits (~n3glv@195.140.213.38) (Remote host closed the connection)
05:57:18 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:58:28 × solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed)
05:58:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
06:00:00 → Alleria joins (~textual@2603-7000-3040-0000-991c-1dc0-e1e7-ba3a.res6.spectrum.com)
06:00:04 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:00:23 Alleria is now known as Guest6052
06:02:58 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
06:03:07 × Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-501f-0d46-1115-b500.res6.spectrum.com) (Read error: Connection reset by peer)
06:03:57 → Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas)
06:04:21 × Guest6052 quits (~textual@2603-7000-3040-0000-991c-1dc0-e1e7-ba3a.res6.spectrum.com) (Ping timeout: 250 seconds)
06:05:06 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
06:06:03 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
06:06:09 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
06:06:21 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
06:06:45 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
06:06:53 → Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-71b7-9570-ff4e-402c.res6.spectrum.com)
06:07:07 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
06:07:27 → gzj joins (~gzj@unaffiliated/gzj)
06:10:13 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
06:10:18 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
06:10:20 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
06:10:40 → b0o joins (~b0o@178.239.168.171)
06:17:05 × kiweun quits (~kiweun@2607:fea8:2a62:9600:7198:37f0:c930:b5b2) (Remote host closed the connection)
06:17:32 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
06:17:50 → stree joins (~stree@68.36.8.116)
06:20:12 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
06:22:00 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
06:22:15 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
06:23:28 → frozenErebus joins (~frozenEre@37.231.244.249)
06:23:29 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 252 seconds)
06:29:56 × vchlup quits (~vchlup@nat.brnet.cz) (Ping timeout: 246 seconds)
06:30:44 → graf_blutwurst joins (~user@2001:171b:226e:adc0:7c51:155f:af77:886d)
06:32:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
06:33:17 → jamm_ joins (~jamm@unaffiliated/jamm)
06:33:26 × borne quits (~fritjof@vpn05.bremen.freifunk.net) (Ping timeout: 246 seconds)
06:36:03 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
06:36:05 × aarvar quits (~foewfoiew@2601:602:a080:fa0:906c:b23f:e55d:e8aa) (Ping timeout: 258 seconds)
06:36:37 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
06:36:55 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
06:38:16 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
06:39:14 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
06:40:42 → knupfer joins (~Thunderbi@200116b82b82cb00ccce0741ed796e9a.dip.versatel-1u1.de)
06:41:22 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
06:41:49 × tionos quits (~tionos@2a0b:b7c4:1:731::1) (Quit: leaving)
06:42:59 × haritz quits (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
06:43:06 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
06:43:13 → tionos joins (~tionos@2a0b:b7c4:1:731::1)
06:43:44 × Sgeo_ quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
06:44:48 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
06:45:05 × knupfer quits (~Thunderbi@200116b82b82cb00ccce0741ed796e9a.dip.versatel-1u1.de) (Ping timeout: 250 seconds)
06:45:07 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Remote host closed the connection)
06:45:22 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
06:47:30 × tionos quits (~tionos@2a0b:b7c4:1:731::1) (Client Quit)
06:47:35 × howdoi quits (uid224@gateway/web/irccloud.com/x-qufpuczcdkidmfvl) (Quit: Connection closed for inactivity)
06:48:07 → tionos joins (~tionos@we.like.to.party.intercop.de)
06:49:41 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
06:53:07 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
06:53:28 → gzj joins (~gzj@unaffiliated/gzj)
06:54:48 → frozenErebus joins (~frozenEre@37.231.244.249)
06:56:12 → wonko7 joins (~wonko7@62.115.229.50)
06:57:22 × Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007)
07:01:29 → Varis joins (~Tadas@unaffiliated/varis)
07:01:41 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
07:02:22 × __minoru__shirae quits (~shiraeesh@109.166.58.221) (Ping timeout: 265 seconds)
07:04:42 × solidus-river quits (~fuag1@174.127.249.180) (Quit: Leaving)
07:05:10 → thc202 joins (~thc202@unaffiliated/thc202)
07:14:50 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
07:15:08 → plutoniix joins (~q@184.82.205.153)
07:15:27 → knupfer joins (~Thunderbi@200116b82ba62a00b57266e1f2f5f95c.dip.versatel-1u1.de)
07:17:58 → frozenErebus joins (~frozenEre@37.231.244.249)
07:18:46 → vchlup joins (~vchlup@195.146.105.8)
07:23:38 × pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
07:23:59 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
07:28:01 → coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
07:28:50 → chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de)
07:29:02 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
07:30:10 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
07:32:36 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
07:32:49 → mkDoku joins (~TheMule@aftr-37-201-195-154.unity-media.net)
07:34:32 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
07:35:25 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:a12:3c82:3e59:5dc8)
07:38:41 → Neuromancer joins (~Neuromanc@unaffiliated/neuromancer)
07:41:12 × keeperasmexcalib quits (~egp_@2.95.145.35) (Quit: EXIT)
07:41:25 → keeperasmexcalib joins (~egp_@2.95.145.35)
07:42:30 → Guest55480 joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
07:44:07 → borne joins (~fritjof@vpn05.bremen.freifunk.net)
07:45:32 keeperasmexcalib is now known as keeperegp_
07:45:47 keeperegp_ is now known as keeperasmexcalib
07:46:46 → enoq joins (~textual@194-208-146-143.lampert.tv)
07:49:24 × keeperasmexcalib quits (~egp_@2.95.145.35) (Quit: EXIT)
07:49:39 → keeperasmexcalib joins (~egp_@2.95.145.35)
07:50:28 × keeperasmexcalib quits (~egp_@2.95.145.35) (Client Quit)
07:51:15 → kiweun joins (~kiweun@2607:fea8:2a62:9600:4407:2f20:7750:6b41)
07:52:20 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
07:52:30 → Aquazi joins (uid312403@gateway/web/irccloud.com/x-qtinzdfibqjwmcbv)
07:52:50 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
07:55:09 → epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
07:55:20 × lemmih quits (~lemmih@2406:3003:2072:44:6e66:db7b:b46b:3ed1) (Remote host closed the connection)
07:55:39 → lemmih joins (~lemmih@2406:3003:2072:44:8211:8912:237:8e05)
07:55:49 × kiweun quits (~kiweun@2607:fea8:2a62:9600:4407:2f20:7750:6b41) (Ping timeout: 258 seconds)
07:56:42 × Kaeipi quits (~Kaiepi@47.54.252.148) (Read error: Connection reset by peer)
07:56:45 × gitgood quits (~gitgood@80-44-12-39.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome)
07:57:22 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
07:58:09 → Kaiepi joins (~Kaiepi@47.54.252.148)
07:58:36 × ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 260 seconds)
08:02:58 × xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 268 seconds)
08:04:53 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
08:05:09 → ep1ctetus_ joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
08:06:52 → LKoen joins (~LKoen@65.250.88.92.rev.sfr.net)
08:06:58 → hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga)
08:08:06 × epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 240 seconds)
08:09:33 × hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
08:13:57 × vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds)
08:14:56 → vgtw joins (~vgtw@gateway/tor-sasl/vgtw)
08:15:22 × hiroaki1 quits (~hiroaki@2a02:8108:8c40:2bb8:d207:ae60:71f:5548) (Ping timeout: 258 seconds)
08:18:15 → __minoru__shirae joins (~shiraeesh@109.166.58.221)
08:21:09 × vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds)
08:22:11 × Erutuon_ quits (~Erutuon@97-116-27-119.mpls.qwest.net) (Ping timeout: 240 seconds)
08:23:10 × wonko7 quits (~wonko7@62.115.229.50) (Quit: See You Space Cowboy..)
08:24:36 → xsperry joins (~as@unaffiliated/xsperry)
08:25:41 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
08:26:15 → malumore joins (~malumore@151.62.112.245)
08:26:29 → texasmynsted_ joins (~texasmyns@99.96.221.112)
08:26:48 × texasmynsted quits (~texasmyns@99.96.221.112) (Ping timeout: 246 seconds)
08:27:39 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
08:32:33 → frozenErebus joins (~frozenEre@37.231.244.249)
08:34:47 → vgtw joins (~vgtw@gateway/tor-sasl/vgtw)
08:35:16 → jamm_ joins (~jamm@unaffiliated/jamm)
08:35:49 → idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
08:35:52 → keeperasmexcalib joins (~egp_@2.95.145.35)
08:36:27 × b0o quits (~b0o@178.239.168.171) (Remote host closed the connection)
08:39:04 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
08:39:05 → stree joins (~stree@68.36.8.116)
08:39:29 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
08:39:38 × vchlup quits (~vchlup@195.146.105.8) (Ping timeout: 240 seconds)
08:39:39 → chrisbloecker[m] joins (chrisbloec@gateway/shell/matrix.org/x-qtnhzftldpcdhpmw)
08:40:21 × knupfer quits (~Thunderbi@200116b82ba62a00b57266e1f2f5f95c.dip.versatel-1u1.de) (Ping timeout: 250 seconds)
08:41:49 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
08:41:56 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds)
08:45:49 → jhrcek joins (~jhrcek@ip-89-103-183-101.net.upcbroadband.cz)
08:49:56 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
08:53:11 × borne quits (~fritjof@vpn05.bremen.freifunk.net) (Ping timeout: 240 seconds)
08:58:18 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
09:00:50 → Varis joins (~Tadas@unaffiliated/varis)
09:01:24 → borne joins (~fritjof@2a06:8782:ffbb:1337:ce73:3416:bcd:fc35)
09:05:51 × tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 268 seconds)
09:07:14 → tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com)
09:08:20 → kiweun joins (~kiweun@2607:fea8:2a62:9600:f447:382a:8162:5190)
09:11:49 → michalz joins (~user@185.246.204.39)
09:19:39 × shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:49d1:c68b:dd68:855d) (Ping timeout: 246 seconds)
09:20:02 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
09:24:23 → zigapeda1 joins (~zigapeda@185.169.233.10)
09:25:12 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
09:25:53 → shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:b9ee:34c0:cea7:8b6)
09:29:41 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
09:34:39 ← glaceon parts (~glaceon@117.222.69.43) ()
09:35:57 → yunusaydin joins (4eb8266d@78.184.38.109)
09:38:56 × mkDoku quits (~TheMule@aftr-37-201-195-154.unity-media.net) (Ping timeout: 260 seconds)
09:39:33 → dyamon joins (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net)
09:40:06 × yunusaydin quits (4eb8266d@78.184.38.109) (Client Quit)
09:40:49 × LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection)
09:48:54 × borne quits (~fritjof@2a06:8782:ffbb:1337:ce73:3416:bcd:fc35) (Ping timeout: 258 seconds)
09:50:36 → borne joins (~fritjof@200116b86454fa00f7ed9fd86a2491f0.dip.versatel-1u1.de)
09:51:23 → kuribas joins (~user@ptr-25vy0i7k0udhl5hu18i.18120a2.ip6.access.telenet.be)
09:53:00 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
09:53:09 × gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer)
09:53:29 → gzj joins (~gzj@unaffiliated/gzj)
09:54:55 → waleee-cl joins (uid373333@gateway/web/irccloud.com/x-mioklqbuoxhsafmf)
09:58:06 × tolwiz quits (4f028693@host-79-2-134-147.business.telecomitalia.it) (Quit: Connection closed)
09:59:01 → vchlup joins (~vchlup@2a00:102a:5005:7931:9120:141c:b7d5:f386)
09:59:08 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
09:59:28 → gzj joins (~gzj@unaffiliated/gzj)
10:03:24 × vchlup quits (~vchlup@2a00:102a:5005:7931:9120:141c:b7d5:f386) (Ping timeout: 246 seconds)
10:05:58 → Franciman joins (~francesco@host-79-53-62-46.retail.telecomitalia.it)
10:09:25 → stef204 joins (~stef204@unaffiliated/stef-204/x-384198)
10:13:07 → average joins (uid473595@gateway/web/irccloud.com/x-iajetmultxvekhqd)
10:13:26 → son0p joins (~son0p@181.58.39.182)
10:20:55 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
10:24:58 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
10:26:36 × seanparsons quits (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Quit: ZNC 1.8.1 - https://znc.in)
10:27:12 → seanparsons joins (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
10:30:47 × kiweun quits (~kiweun@2607:fea8:2a62:9600:f447:382a:8162:5190) (Remote host closed the connection)
10:34:54 × xff0x quits (~xff0x@2001:1a81:5314:900:77e4:e687:f355:9c0a) (Ping timeout: 258 seconds)
10:36:50 → xff0x joins (~xff0x@2001:1a81:532a:9f00:1d8e:1263:4023:e96d)
10:37:56 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
10:40:29 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Remote host closed the connection)
10:42:23 → joes joins (~joes@ip5f5ac821.dynamic.kabel-deutschland.de)
10:42:36 × borne quits (~fritjof@200116b86454fa00f7ed9fd86a2491f0.dip.versatel-1u1.de) (Quit: WeeChat 3.1)
10:42:38 → ^jud joins (~jud@2600:1700:274:bac0:c46e:d9a:a1e:7778)
10:45:41 × cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds)
10:46:22 × jud^ quits (~jud@206.217.205.84) (Ping timeout: 268 seconds)
10:46:31 × ^jud quits (~jud@2600:1700:274:bac0:c46e:d9a:a1e:7778) (Client Quit)
10:47:01 → vchlup joins (~vchlup@2a00:102a:5005:7931:9120:141c:b7d5:f386)
10:47:11 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
10:49:29 × matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 250 seconds)
10:49:42 → matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
10:51:02 → cyphase joins (~cyphase@unaffiliated/cyphase)
10:51:34 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
10:54:02 → LKoen joins (~LKoen@65.250.88.92.rev.sfr.net)
10:54:46 × pjb quits (~t@2a01cb04063ec50059fa1e4c7a6ddecf.ipv6.abo.wanadoo.fr) (Ping timeout: 240 seconds)
10:56:55 → Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
10:57:06 × mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 240 seconds)
10:57:24 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Remote host closed the connection)
10:57:39 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
10:57:44 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Remote host closed the connection)
10:58:00 × cheater quits (~user@unaffiliated/cheater) (Remote host closed the connection)
10:58:27 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
10:58:58 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Read error: Connection reset by peer)
11:00:06 → Alleria joins (~textual@2603-7000-3040-0000-991c-1dc0-e1e7-ba3a.res6.spectrum.com)
11:00:25 → stree joins (~stree@68.36.8.116)
11:00:30 Alleria is now known as Guest61838
11:02:02 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
11:02:28 × LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection)
11:02:44 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
11:02:50 → LiaoTao joins (~LiaoTao@gateway/tor-sasl/liaotao)
11:03:12 → jpds joins (~jpds@gateway/tor-sasl/jpds)
11:04:18 × Guest61838 quits (~textual@2603-7000-3040-0000-991c-1dc0-e1e7-ba3a.res6.spectrum.com) (Ping timeout: 246 seconds)
11:05:14 × son0p quits (~son0p@181.58.39.182) (Quit: Lost terminal)
11:07:11 × LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection)
11:07:26 × __minoru__shirae quits (~shiraeesh@109.166.58.221) (Ping timeout: 240 seconds)
11:11:54 × ij quits (~ij@NixOS/user/siers) (Quit: ZNC 1.8.1 - https://znc.in)
11:13:25 → siers joins (~ij@raitis.veinbahs.lv)
11:14:05 × vchlup quits (~vchlup@2a00:102a:5005:7931:9120:141c:b7d5:f386) (Remote host closed the connection)
11:14:11 → haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
11:14:11 × haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
11:14:11 → haritz joins (~hrtz@unaffiliated/haritz)
11:16:32 → o1lo01ol1o joins (~o1lo01ol1@bl7-88-181.dsl.telepac.pt)
11:19:05 → __minoru__shirae joins (~shiraeesh@109.166.58.221)
11:19:58 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
11:20:24 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
11:21:55 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
11:25:11 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
11:26:06 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
11:26:26 → gzj joins (~gzj@unaffiliated/gzj)
11:26:45 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
11:27:08 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
11:27:29 → gzj joins (~gzj@unaffiliated/gzj)
11:27:50 → cheater joins (~user@unaffiliated/cheater)
11:28:12 → mrchampion joins (~mrchampio@38.18.109.23)
11:28:51 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
11:28:54 → Alleria__ joins (~textual@mskresolve-a.mskcc.org)
11:30:11 × Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
11:32:02 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
11:32:57 × siers quits (~ij@raitis.veinbahs.lv) (Changing host)
11:32:57 → siers joins (~ij@NixOS/user/siers)
11:40:07 → Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
11:42:37 → dyeplexer joins (~lol@unaffiliated/terpin)
11:49:45 × tefter quits (~bmaxa@62.240.24.69) (Quit: WeeChat 3.1)
11:50:32 × __minoru__shirae quits (~shiraeesh@109.166.58.221) (Ping timeout: 246 seconds)
11:52:07 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
11:53:32 → rodriga joins (~quassel@134.204.25.66)
11:53:53 → solvr joins (57e3c46d@87.227.196.109)
12:00:13 → peanut_ joins (~peanut_@2a02:8388:a101:2600:c7aa:4b79:a6fc:833e)
12:05:22 × tomsmeding quits (~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in)
12:05:23 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 258 seconds)
12:06:39 → tomsmeding joins (~tomsmedin@tomsmeding.com)
12:07:13 → epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
12:08:01 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Remote host closed the connection)
12:08:38 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
12:09:00 × Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
12:09:08 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Read error: Connection reset by peer)
12:09:27 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
12:10:11 × ep1ctetus_ quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 240 seconds)
12:11:03 → dandart joins (~Thunderbi@home.dandart.co.uk)
12:12:19 → frozenErebus joins (~frozenEre@37.231.244.249)
12:13:54 → urodna joins (~urodna@unaffiliated/urodna)
12:14:30 → mkDoku joins (~TheMule@aftr-37-201-195-154.unity-media.net)
12:15:09 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Remote host closed the connection)
12:15:37 × Stanley00 quits (~stanley00@unaffiliated/stanley00) ()
12:16:09 → geekosaur joins (82650c7a@130.101.12.122)
12:16:12 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
12:20:55 × xff0x quits (~xff0x@2001:1a81:532a:9f00:1d8e:1263:4023:e96d) (Ping timeout: 250 seconds)
12:23:19 → xff0x joins (~xff0x@port-92-193-245-55.dynamic.as20676.net)
12:25:17 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Remote host closed the connection)
12:25:32 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
12:25:50 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
12:26:16 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Remote host closed the connection)
12:26:48 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
12:27:18 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Read error: Connection reset by peer)
12:27:37 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
12:27:38 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Read error: Connection reset by peer)
12:28:02 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
12:28:08 → xff0x_ joins (~xff0x@2001:1a81:532c:1200:a4e9:c67e:993a:3299)
12:28:32 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Read error: Connection reset by peer)
12:28:47 → mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan)
12:31:13 × xff0x quits (~xff0x@port-92-193-245-55.dynamic.as20676.net) (Ping timeout: 268 seconds)
12:32:38 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
12:33:26 × gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
12:37:12 <maerwald> is there a downside of enabling profiling in a release build?
12:37:24 → berberman_ joins (~berberman@unaffiliated/berberman)
12:37:54 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds)
12:38:35 → plagu3maid3n joins (490497a2@c-73-4-151-162.hsd1.ma.comcast.net)
12:40:25 × xff0x_ quits (~xff0x@2001:1a81:532c:1200:a4e9:c67e:993a:3299) (Ping timeout: 250 seconds)
12:41:11 <Taneb> maerwald: I think it prevents some optimizations
12:41:32 → LKoen joins (~LKoen@65.250.88.92.rev.sfr.net)
12:42:22 → xff0x_ joins (~xff0x@2001:1a81:532c:3200:b545:c77e:b0d9:fb4e)
12:45:11 <merijn> maerwald: It inhibits some optimisations, but if the performance is acceptable I think it should have no real problems?
12:45:28 <merijn> maerwald: Maybe ask a second opinion in #ghc
12:45:39 → motherfsck joins (~motherfsc@unaffiliated/motherfsck)
12:45:50 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
12:46:13 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
12:46:51 <maerwald> hard to trust anyone today
12:48:23 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:b0ee:e490:ac3d:c5bd)
12:48:41 × xff0x_ quits (~xff0x@2001:1a81:532c:3200:b545:c77e:b0d9:fb4e) (Ping timeout: 258 seconds)
12:49:29 <maerwald> I'm tired of missing stack traces, so...
12:49:38 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
12:50:40 → xff0x_ joins (~xff0x@2001:1a81:532c:4400:84e4:544a:2939:e7b5)
12:50:41 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
12:53:37 × mkDoku quits (~TheMule@aftr-37-201-195-154.unity-media.net) (Ping timeout: 252 seconds)
12:55:55 → _fcntl joins (~jaroslawj@185.234.208.208.r.toneticgroup.pl)
12:58:16 × xff0x_ quits (~xff0x@2001:1a81:532c:4400:84e4:544a:2939:e7b5) (Ping timeout: 258 seconds)
12:59:17 × plagu3maid3n quits (490497a2@c-73-4-151-162.hsd1.ma.comcast.net) (Quit: Connection closed)
12:59:56 <dcbdan> when is point-free style preferred, not preferred? opinions?
13:00:01 → xff0x_ joins (~xff0x@2001:1a81:532c:6000:33c:78cf:359c:e863)
13:02:03 × vjacob quits (~vjacob@217.71.0.65) (Ping timeout: 268 seconds)
13:02:59 → timCF joins (~i.tkachuk@200-149-20-81.sta.estpak.ee)
13:03:25 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:b0ee:e490:ac3d:c5bd) (Quit: My MacBook has gone to sleep. ZZZzzz…)
13:04:04 <timCF> Hello! Can anybody help with the question - how to declare non-haskell dependencies in package.yaml (stack related file)? For example I need to declare somehow that my stack package needs openssl to be built.
13:04:16 <tomsmeding> dcbdan: preferred when it's clearer what the expression does in that style :p
13:05:09 <tomsmeding> timCF: I'm not sure that's even possible
13:05:50 <dcbdan> You could throw Nix at it
13:06:03 <timCF> tomsmeding: in cabal there is `build-tool-depends` expression. Is it for this purpose?
13:06:13 × gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer)
13:06:35 → gzj joins (~gzj@unaffiliated/gzj)
13:06:51 <maerwald> https://cabal.readthedocs.io/en/2.4/developing-packages.html?highlight=pkg-config#pkg-field-pkgconfig-depends
13:07:07 <maerwald> throw away package.yaml
13:07:11 <maerwald> use cabal
13:07:18 <merijn> dcbdan: When it's more readable
13:07:39 <timCF> dcbdan: yes, I'm using nix, but problem is that `pkg.nix` for my package is not written by hand, but generated from my package.yaml/cabal file. So I need to put non-haskell deps manually every time when I do change my package.yaml file.
13:07:50 <geekosaur> package.yaml is very limited and at some point you'll probably need to switch to cabal files anyway
13:08:11 tomsmeding defers to wiser citizens
13:08:11 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
13:08:52 <geekosaur> build-tool-depends is for things like happy and alex that generate Haskell code to be compiled
13:09:18 × plutoniix quits (~q@184.82.205.153) (Quit: Leaving)
13:10:19 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
13:10:40 × Rudd0 quits (~Rudd0@185.189.115.108) (Read error: Connection reset by peer)
13:10:47 <timCF> tomsmeding: dcbdan: maerwald: geekosaur: thanks!
13:14:12 <geekosaur> the pkgconfig field maerwald pointed to is probably the best way because it'll tell cabal exactly what is needed and how to find it; otherwise you'd have to locate the includes and libraries yourself and specify them to cabal
13:14:39 <geekosaur> (here I actually mean Cabal the library, I'm not talking about switching to cabal-install)
13:14:53 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds)
13:17:43 → mkDoku joins (~TheMule@aftr-37-201-195-154.unity-media.net)
13:18:49 <hololeap> ok, so i'm trying to grok Coyoneda, and the big thing that i don't get is that if it adds Functor functionality to a non-Functor, it's unusable functionality
13:19:17 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
13:19:40 <hololeap> lowerCoyoneda :: Functor f => Coyoneda f a -> f a
13:20:08 <hololeap> because extracting (f a) from it still requires `f` to be a Functor
13:20:18 <Taneb> hololeap: you can define other functions from Coyoneda
13:20:34 → rond_ joins (59402019@89-64-32-25.dynamic.chello.pl)
13:21:12 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
13:21:33 → gzj joins (~gzj@unaffiliated/gzj)
13:21:46 → stree joins (~stree@68.36.8.116)
13:21:46 × Alleria__ quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 268 seconds)
13:22:09 × timCF quits (~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving)
13:22:25 → Alleria joins (~textual@mskresolve-a.mskcc.org)
13:22:48 Alleria is now known as Guest30730
13:23:00 <hololeap> Taneb: can you give an example?
13:23:59 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
13:28:09 × xff0x_ quits (~xff0x@2001:1a81:532c:6000:33c:78cf:359c:e863) (Ping timeout: 246 seconds)
13:28:57 <Taneb> hololeap: \(Coyoneda f xs) -> map f (S.toList xs) where import qualified Data.Set as S
13:30:26 × haritz quits (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
13:30:31 → xff0x_ joins (~xff0x@dynamic-046-114-038-234.46.114.pool.telefonica.de)
13:30:59 × geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed)
13:31:24 <hololeap> ok, i see
13:31:33 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:d987:a6e5:6815:ac7d)
13:34:41 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection)
13:37:24 → jrqc joins (~rofl@96.78.87.197)
13:37:44 ← joes parts (~joes@ip5f5ac821.dynamic.kabel-deutschland.de) ()
13:37:45 × malumore quits (~malumore@151.62.112.245) (Remote host closed the connection)
13:38:52 <hololeap> % import Data.Functor.Coyoneda
13:38:53 <yahb> hololeap:
13:39:02 → malumore joins (~malumore@151.62.112.245)
13:39:03 <hololeap> % :t (\f -> lowerCoyoneda . hoistCoyoneda f) :: Functor g => (forall a. f a -> g a) -> Coyoneda f b -> g b
13:39:03 <yahb> hololeap: Functor g => (forall a. f a -> g a) -> Coyoneda f b -> g b
13:39:56 <hololeap> makes sense
13:41:13 → Tario joins (~Tario@201.192.165.173)
13:41:20 → haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
13:41:20 × kilolympus quits (~kilolympu@5.151.5.178) (Quit: Quitting IRC :()
13:41:22 × haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
13:41:22 → haritz joins (~hrtz@unaffiliated/haritz)
13:41:26 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
13:41:37 → texasmynsted joins (~texasmyns@99.96.221.112)
13:41:51 × texasmynsted_ quits (~texasmyns@99.96.221.112) (Ping timeout: 246 seconds)
13:41:51 → kilolympus joins (~kilolympu@5.151.5.178)
13:43:16 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
13:49:55 → graf_blu` joins (~user@adsl-178-38-234-220.adslplus.ch)
13:50:53 × graf_blutwurst quits (~user@2001:171b:226e:adc0:7c51:155f:af77:886d) (Remote host closed the connection)
13:52:39 → ep1ctetus_ joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
13:56:06 × epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 265 seconds)
13:56:22 × stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1)
13:57:16 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
13:59:48 × cmeans quits (0cbb7484@12.187.116.132) (Quit: Connection closed)
14:00:04 → rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-vkxfmkgvfvhdtlfc)
14:01:07 × egorbelibov quits (~65676f72@2001:8a0:5708:2a00:bc7d:b8d3:66cd:f4d7) (Quit: nobody)
14:02:04 → egorbelibov joins (~65676f72@2001:8a0:5708:2a00:244f:2986:9fb8:5f81)
14:04:25 × jhrcek quits (~jhrcek@ip-89-103-183-101.net.upcbroadband.cz) (Quit: Leaving)
14:06:20 → zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
14:07:20 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
14:07:42 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
14:09:13 → Varis joins (~Tadas@unaffiliated/varis)
14:10:42 → malumore_ joins (~malumore@151.62.112.245)
14:12:25 → jamm_ joins (~jamm@unaffiliated/jamm)
14:12:32 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
14:12:32 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
14:13:38 × malumore quits (~malumore@151.62.112.245) (Ping timeout: 260 seconds)
14:14:24 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
14:17:16 → mouseghost joins (~draco@wikipedia/desperek)
14:20:05 → Jd007 joins (~Jd007@162.156.11.151)
14:22:29 → deviantfero joins (~deviantfe@190.150.27.58)
14:23:14 → pjb joins (~t@2a01cb04063ec500d0cbc77584c6a81b.ipv6.abo.wanadoo.fr)
14:23:34 × deviantfero quits (~deviantfe@190.150.27.58) (Client Quit)
14:24:17 × robotmay quits (~beepboop@2001:8b0:7af0:2580:24e0:5511:1a01:8ea8) (Quit: Be excellent to each other)
14:25:22 → notzmv joins (~zmv@unaffiliated/zmv)
14:25:29 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
14:25:39 × zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
14:25:59 → zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
14:26:33 × ep1ctetus_ quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 265 seconds)
14:28:49 → robotmay joins (~beepboop@2001:8b0:7af0:2580:88f:3393:350e:d23b)
14:31:49 × Guest30730 quits (~textual@mskresolve-a.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com)
14:31:58 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:d987:a6e5:6815:ac7d) (Read error: Connection reset by peer)
14:32:29 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:d987:a6e5:6815:ac7d)
14:32:56 × yahb quits (xsbot@haskell/bot/yahb) (Ping timeout: 260 seconds)
14:34:46 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds)
14:35:00 → Alleria joins (~textual@zrcout.mskcc.org)
14:35:24 Alleria is now known as Guest10652
14:37:04 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
14:37:12 → son0p joins (~son0p@181.136.122.143)
14:38:17 × son0p quits (~son0p@181.136.122.143) (Client Quit)
14:38:29 × mniip quits (mniip@freenode/staff/mniip) (Ping timeout: 608 seconds)
14:40:00 × Guest10652 quits (~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com)
14:40:57 → son0p joins (~son0p@181.136.122.143)
14:41:41 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
14:42:01 × LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection)
14:43:50 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
14:45:02 → Alleria__ joins (~textual@zrcout.mskcc.org)
14:45:07 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
14:45:11 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
14:45:16 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-zumirhpzvxzwijnj)
14:48:34 → jamm_ joins (~jamm@unaffiliated/jamm)
14:49:18 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
14:51:03 → kawzeg joins (unknown@2a01:7e01::f03c:92ff:fee2:ec34)
14:52:21 × kawzeg quits (unknown@2a01:7e01::f03c:92ff:fee2:ec34) (Client Quit)
14:52:41 → kawzeg joins (unknown@2a01:7e01::f03c:92ff:fee2:ec34)
14:54:21 <shapr> Is there a file reading library that reads multiple chunks of a file at the same time?
14:54:48 <merijn> shapr: Define chunk?
14:55:00 × Alleria__ quits (~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com)
14:55:13 <merijn> shapr: Also, isn't that just conduit?
14:56:55 × Raito_Bezarius quits (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 258 seconds)
14:57:15 × gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer)
14:57:35 → gzj joins (~gzj@unaffiliated/gzj)
14:58:01 × kawzeg quits (unknown@2a01:7e01::f03c:92ff:fee2:ec34) (Quit: WeeChat 1.9.1)
14:58:34 → Alleria__ joins (~textual@mskresolve-a.mskcc.org)
14:58:38 <shapr> merijn: is it? Does conduit send a batch of multiple I/O requests for different parts of the file?
14:59:06 <merijn> Ah, no
14:59:24 <shapr> I've been reading https://www.tbray.org/ongoing/When/202x/2021/03/27/Topfew-and-Amdahl and wondering if I can reproduce the same parallel file reading behavior described
15:01:18 × conal quits (~conal@64.71.133.70) (Ping timeout: 240 seconds)
15:01:56 <shapr> merijn: background reading implies sending multiple requests for different parts of the file is 'faster' when the file can be processed in parallel
15:02:36 <merijn> shapr: That seems reasonable
15:02:46 <shapr> My reading implies drives are designed to handle a deeper/larger queue of requests
15:02:50 <merijn> shapr: But you could just do that using explicit reads on handles?
15:03:09 <merijn> shapr: You're familiar with DMA?
15:03:13 <shapr> yup
15:03:30 → conal joins (~conal@192.145.118.200)
15:03:45 <shapr> merijn: but not sure how that connects here, explain?
15:03:47 <merijn> shapr: Seems that alone is enough to get better parallel results
15:04:50 <L29Ah> 17:54:21]<shapr> Is there a file reading library that reads multiple chunks of a file at the same time?
15:04:51 <L29Ah> mmap + readahead?
15:05:00 <merijn> shapr: If the compute time for 1 page of data is bigger than the transfer time (because you have an SSD or something) then DMA 4 pages, processing those in parallel should be enough to get speedup?
15:05:17 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
15:05:25 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
15:05:29 <L29Ah> or madvise
15:05:37 → gzj joins (~gzj@unaffiliated/gzj)
15:05:48 <merijn> shapr: Since DMA takes 0 CPU, if you queue a bunch of DMA accesses and then start processing you'd expect all loads (except the first N) to be free due to overlapping with compute
15:05:57 <merijn> shapr: Although, admittedly I haven't read your link
15:06:12 <shapr> merijn: sounds reasonable, thanks for the explanation
15:06:41 <shapr> L29Ah: I don't know, Tim Bray tried mmap and it wasn't any faster
15:07:01 <merijn> shapr: mmap and file reads are most likely the same
15:07:17 <merijn> shapr: mmap is just more explicit about what kinda behaviour you want
15:08:30 <L29Ah> shapr: anyway, are you sure you aren't hitting the ceiling of your device throughput w/o any hacks? can you show the numbers you got?
15:09:10 → kawzeg joins (unknown@2a01:7e01::f03c:92ff:fee2:ec34)
15:09:12 <L29Ah> OS caches aren't very dumb
15:09:45 <merijn> See also: https://queue.acm.org/detail.cfm?id=1814327 :)
15:09:50 → Raito_Bezarius joins (~Raito@unaffiliated/raito-bezarius/x-8764578)
15:10:22 → LKoen joins (~LKoen@65.250.88.92.rev.sfr.net)
15:13:02 × rond_ quits (59402019@89-64-32-25.dynamic.chello.pl) (Ping timeout: 240 seconds)
15:13:20 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
15:15:19 <shapr> L29Ah: Hi! I haven't seen you around here before, are you new to Haskell?
15:15:30 <shapr> I was the official greeter of #haskell for awhile :-)
15:16:34 <L29Ah> i'm poking haskell for >15y, but still haven't committed my code monkey career to it
15:17:06 × hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 240 seconds)
15:17:10 <shapr> ah, neato!
15:18:42 → Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net)
15:18:45 → DTZUZU_ joins (~DTZUZO@207.81.119.43)
15:20:46 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
15:20:47 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 268 seconds)
15:20:52 × raym quits (~ray@115.187.32.14) (Quit: leaving)
15:23:53 × gzj quits (~gzj@unaffiliated/gzj) (Ping timeout: 268 seconds)
15:24:02 → hexreel joins (~hr@2600:1700:28e2:14d0:89fc:b839:4e34:e1f2)
15:24:30 <shapr> L29Ah: do you build fun projects in Haskell? I think my most recent fun thing is https://github.com/shapr/bloohm
15:25:12 <L29Ah> https://github.com/l29ah?tab=repositories&q=&type=source&language=haskell not sure if fun
15:25:40 × zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Read error: Connection reset by peer)
15:25:59 → zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
15:26:16 × chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
15:26:19 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
15:26:46 × o1lo01ol1o quits (~o1lo01ol1@bl7-88-181.dsl.telepac.pt) (Remote host closed the connection)
15:27:50 → Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
15:28:04 × enoq quits (~textual@194-208-146-143.lampert.tv) (Quit: Textual IRC Client: www.textualapp.com)
15:28:21 <peanut_> shapr, I like the "(no idea if this works in bash)"
15:29:32 → ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net)
15:30:03 × stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds)
15:30:21 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
15:31:16 <shapr> peanut_: turns out it does not!
15:31:23 → plutoniix joins (~q@node-um3.pool-125-24.dynamic.totinternet.net)
15:31:39 × xff0x_ quits (~xff0x@dynamic-046-114-038-234.46.114.pool.telefonica.de) (Ping timeout: 252 seconds)
15:31:48 <peanut_> thats how I can tell you had fun making that
15:32:54 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
15:33:28 → xff0x_ joins (~xff0x@2001:1a81:532d:a700:e532:2773:4b16:d5dc)
15:35:24 → DTZUZU joins (~DTZUZO@205.ip-149-56-132.net)
15:37:20 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
15:38:05 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 265 seconds)
15:40:11 × plutoniix quits (~q@node-um3.pool-125-24.dynamic.totinternet.net) (Ping timeout: 240 seconds)
15:41:50 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
15:42:50 → stree joins (~stree@68.36.8.116)
15:43:34 → __minoru__shirae joins (~shiraeesh@109.166.58.221)
15:48:02 → plutoniix joins (~q@node-um3.pool-125-24.dynamic.totinternet.net)
15:49:47 → xiinotulp joins (~q@node-ul9.pool-125-24.dynamic.totinternet.net)
15:50:46 × __minoru__shirae quits (~shiraeesh@109.166.58.221) (Ping timeout: 240 seconds)
15:50:49 × zigapeda1 quits (~zigapeda@185.169.233.10) (Remote host closed the connection)
15:53:04 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
15:53:17 × plutoniix quits (~q@node-um3.pool-125-24.dynamic.totinternet.net) (Ping timeout: 252 seconds)
15:53:41 → Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:887c:d703:31b0:ee74)
15:55:42 → codygman__ joins (~user@209.251.131.98)
15:56:03 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-uvvubdxwbzbtugry)
15:57:38 × codygman__ quits (~user@209.251.131.98) (Client Quit)
15:57:51 × Franciman quits (~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
15:59:17 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
16:00:29 → Rudd0 joins (~Rudd0@185.189.115.103)
16:04:37 → __minoru__shirae joins (~shiraeesh@109.166.58.221)
16:04:49 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
16:05:07 → jpds joins (~jpds@gateway/tor-sasl/jpds)
16:05:47 × mice-user quits (b4960d8b@180-150-13-139.b4960d.syd.static.aussiebb.net) (Quit: Connection closed)
16:05:52 → jamm_ joins (~jamm@unaffiliated/jamm)
16:09:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
16:10:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
16:12:31 → geekosaur joins (82650c7a@130.101.12.122)
16:13:06 × Alleria__ quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 260 seconds)
16:13:13 × hexreel quits (~hr@2600:1700:28e2:14d0:89fc:b839:4e34:e1f2) (Quit: Textual IRC Client: www.textualapp.com)
16:15:31 × Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Remote host closed the connection)
16:15:40 <L29Ah> bgamari_: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4585/diffs?commit_id=52e2dec6ded6a0d62ebf8722aa053062a361bcde#49d63c99feec397a2d9c3692f6d9f1c7698c81d0_1126_1118 wut wut wut aren't you ignoring zero-filled chunks of memory altogether this way?
16:15:51 <L29Ah> // trying to guess my way through https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4585#note_341910
16:16:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
16:16:41 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
16:16:55 <bgamari_> L29Ah, I'm not sure I follow
16:17:09 <bgamari_> I mean, yes, we are intentionally ignoring slop
16:17:23 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
16:17:24 <bgamari_> all arrays will begin with an info table pointer
16:17:37 <L29Ah> including a ByteString?
16:17:42 <bgamari_> L29Ah, yes
16:17:51 <bgamari_> ByteStrings are just ByteArray#s
16:17:55 → hexreel joins (~hr@2600:1700:28e2:14d0:44cc:3377:2281:bb1d)
16:19:10 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
16:19:51 <L29Ah> do you have any clues on the behavior i reported, or should i bring up ghc development environment and play with the rts code touched by your patchset? // never poked ghc internals
16:20:06 × mkDoku quits (~TheMule@aftr-37-201-195-154.unity-media.net) (Ping timeout: 240 seconds)
16:20:55 → Alleria joins (~textual@mskresolve-a.mskcc.org)
16:21:19 Alleria is now known as Guest62844
16:21:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
16:21:50 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds)
16:22:26 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
16:22:41 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
16:24:23 → frozenErebus joins (~frozenEre@37.231.244.249)
16:25:27 → codygman__ joins (~user@47.186.207.161)
16:25:28 <bgamari_> L29Ah, hmm
16:25:31 × Guest62844 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 260 seconds)
16:25:38 × zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
16:25:59 → zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
16:27:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
16:28:32 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
16:29:42 → Alleria__ joins (~textual@zrcout.mskcc.org)
16:30:13 <bgamari_> L29Ah, it's a bit hard to know without more information
16:30:20 <bgamari_> you say that there is a discrepancy
16:30:32 <bgamari_> what concretely is the discrepancy?
16:30:52 <bgamari_> there are two plots, but I without knowing what they are plotting it's hard to know how to interpret them
16:31:17 <L29Ah> bgamari_: those are -hc profiles
16:31:28 <L29Ah> with and without the patchset
16:31:54 <L29Ah> the discrepancy is the reported amount of consumed memory
16:31:56 <bgamari_> under what workload?
16:32:15 <L29Ah> the same one
16:32:30 <bgamari_> the first plot is with the patch?
16:32:33 <L29Ah> yes
16:33:01 <bgamari_> what cost center is the large green bar in the second plot?
16:33:07 <L29Ah> PINNED ofc
16:33:14 <bgamari_> alright
16:33:19 <bgamari_> then this is indeed unexpected
16:33:43 × solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed)
16:33:43 <bgamari_> L29Ah, can you reproduce this on master?
16:34:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
16:34:20 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
16:34:25 bgamari_ vaguely recalls that there were some prerequisite patches by dxld which may not be present in 9.0
16:34:31 → aarvar joins (~foewfoiew@2601:602:a080:fa0:906c:b23f:e55d:e8aa)
16:34:34 <L29Ah> i couldn't even install any packages with cabal-install in my inplace ghc :/
16:35:09 <bgamari_> oh?
16:35:16 → ph88_ joins (~ph88@2a02:8109:9e00:7e5c:7952:e29c:e0:390d)
16:35:19 <bgamari_> L29Ah, how many dependencies does your workload have?
16:35:20 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
16:35:42 <L29Ah> plenty: it's https://github.com/l29ah/hyborg/blob/master/hyborg.cabal#L23
16:35:57 → electricityZZZZ joins (~electrici@135-180-3-82.static.sonic.net)
16:36:12 × dandart quits (~Thunderbi@home.dandart.co.uk) (Quit: dandart)
16:36:15 <bgamari_> sigh, indeed
16:37:53 <bgamari_> the commit that I was thinking about is IIRC 41230e2601703df0233860be3f7d53f3a01bdbe5
16:38:03 <bgamari_> which sadly does appear to be on ghc-9.0
16:38:14 × ph88^ quits (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
16:39:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
16:40:00 × ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection)
16:40:03 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
16:41:55 × kuribas quits (~user@ptr-25vy0i7k0udhl5hu18i.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
16:44:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
16:45:44 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
16:47:47 × peanut_ quits (~peanut_@2a02:8388:a101:2600:c7aa:4b79:a6fc:833e) (Quit: Leaving)
16:48:54 → hololeap joins (~hololeap@unaffiliated/hololeap)
16:49:03 × michalz quits (~user@185.246.204.39) (Remote host closed the connection)
16:49:05 × zaquest quits (~notzaques@5.128.210.178) (Read error: Connection reset by peer)
16:49:36 → zaquest joins (~notzaques@5.128.210.178)
16:50:14 → gitgood joins (~gitgood@80-44-12-39.dynamic.dsl.as9105.com)
16:50:32 → pavonia joins (~user@unaffiliated/siracusa)
16:50:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
16:51:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
16:51:39 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
16:54:32 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
16:55:21 × geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed)
16:55:29 <bgamari_> L29Ah, how can I go about reproducing this?
16:55:36 <bgamari_> assuming I can build your project
16:55:46 → kiweun joins (~kiweun@2607:fea8:2a62:9600:a840:6c57:777b:b0e)
16:56:06 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
16:56:11 → codygman` joins (~user@209.251.131.98)
16:56:25 → howdoi joins (uid224@gateway/web/irccloud.com/x-cfvhixtqrzmeskoe)
16:57:52 <L29Ah> it's complicated rn if you aren't a borg user; i'll try to make a simplified testing mode that doesn't require any other programs running (as now it speaks with borg daemon)
16:58:19 × codygman__ quits (~user@47.186.207.161) (Ping timeout: 265 seconds)
16:59:39 × rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-vkxfmkgvfvhdtlfc) (Quit: Connection closed for inactivity)
17:00:32 × kiweun quits (~kiweun@2607:fea8:2a62:9600:a840:6c57:777b:b0e) (Ping timeout: 258 seconds)
17:01:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
17:02:32 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
17:04:42 <bgamari_> L29Ah, that would be great
17:04:56 <bgamari_> L29Ah, alternatively I can try to walk you through debugging it
17:05:12 <bgamari_> but it might be easier to have an independent reproducer
17:06:33 × hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection)
17:07:02 → hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga)
17:08:06 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
17:08:48 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
17:09:28 × Tops2 quits (~Tobias@dyndsl-091-249-083-121.ewe-ip-backbone.de) (Read error: Connection reset by peer)
17:10:05 → mkDoku joins (~TheMule@aftr-37-201-195-154.unity-media.net)
17:10:51 → kiweun joins (~kiweun@2607:fea8:2a62:9600:e8e1:75c:483a:e022)
17:11:36 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
17:12:11 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 260 seconds)
17:12:28 × kiweun quits (~kiweun@2607:fea8:2a62:9600:e8e1:75c:483a:e022) (Remote host closed the connection)
17:13:13 Guest87001 is now known as zzz
17:16:02 → xaltsc joins (~xaltsc@unaffiliated/xaltsc)
17:16:02 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
17:16:54 <xaltsc> Hey, I don't understand how ReadInt from Numeric works. I'm trying to parse a base 36 string into an Int, but the following below fails
17:18:42 <xaltsc> https://pastebin.com/YKDvcUWV
17:19:06 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
17:19:55 <zzz> hi. what is a quick and dirty way to use a import a library for use within a single .hs file? just for quick experimentation purposes?
17:20:24 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
17:20:53 <xaltsc> nvmd I'm dumb
17:20:53 × jespada quits (~jespada@90.254.243.187) (Quit: Leaving)
17:21:33 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
17:22:12 <bgamari_> xaltsc, yeah, I think you have a '1' in place of a '9'
17:22:26 <xaltsc> bgamari_: indeed...
17:22:31 <bgamari_> zzz, cabal install --lib $PACKAGE
17:22:37 <xaltsc> Took me an hour to find it though...
17:22:43 <bgamari_> then you can use ghc as usual
17:25:08 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
17:25:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
17:26:27 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
17:26:47 <zzz> bgamari_: im getting "cabal: option `--lib' is ambiguous;"
17:27:20 <bgamari_> hmm
17:27:32 <bgamari_> perhaps your cabal-install is too old; perhaps try `cabal v2-install --lib $PACKAGE`
17:28:13 <bgamari_> zzz, ^
17:30:09 <zzz> whats the difference between cabal new-command and cabal v2-command?
17:30:28 <zzz> and how can i update cabal itself?
17:30:33 <zzz> man cabal is confusing
17:30:49 <tapas> they're the same and the distinction went away as of 3.0
17:30:57 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
17:30:59 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
17:31:04 <tapas> cabal install for cabal > 3.0 is now the v2 command
17:31:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
17:32:03 → Matt_P joins (~Matt_P@178.239.168.171)
17:32:49 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
17:35:57 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 252 seconds)
17:36:44 <kilolympus> and updating cabal can be done either manually or using tools like ghcup
17:38:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
17:38:34 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
17:39:47 <bgamari_> zzz, indeed this transition has been a tad confusing
17:41:39 × jjhoo quits (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Ping timeout: 248 seconds)
17:41:43 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
17:42:08 → deviantfero joins (~deviantfe@190.150.27.58)
17:42:08 <L29Ah> bgamari_: done, clone it and do time cabal run hyborg -- --verbose --dry-run create --progress foo::bar /usr/src/linux/* +RTS -M500M -hC -l -xt -L500
17:42:19 <L29Ah> assuming you have the linux kernel sources at /usr/src/linux
17:42:30 <L29Ah> or some other heavy stuff with lots of files, i presume
17:42:51 <bgamari_> cool beans
17:43:01 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
17:43:07 <L29Ah> should tell it ran out of ram in <1min
17:43:36 → shad0w_ joins (a0ca25aa@160.202.37.170)
17:43:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
17:44:38 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
17:45:11 → Tario joins (~Tario@201.192.165.173)
17:46:06 × rajivr quits (uid269651@gateway/web/irccloud.com/x-motebfwgumyfxduw) (Quit: Connection closed for inactivity)
17:46:57 × puke quits (~vroom@217.138.252.216) (Remote host closed the connection)
17:47:16 → puke joins (~vroom@217.138.252.216)
17:48:54 × ph88_ quits (~ph88@2a02:8109:9e00:7e5c:7952:e29c:e0:390d) (Ping timeout: 246 seconds)
17:49:25 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
17:50:01 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
17:50:02 → ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net)
17:50:40 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
17:50:41 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
17:51:56 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
17:54:35 × conal quits (~conal@192.145.118.200) (Quit: Computer has gone to sleep.)
17:55:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
17:56:20 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
17:58:53 → conal joins (~conal@192.145.118.200)
18:00:30 fendor_ is now known as fendor
18:00:45 × kmein quits (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao)
18:01:02 → kmein joins (~weechat@static.173.83.99.88.clients.your-server.de)
18:01:28 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
18:01:45 → rond_ joins (59402019@89-64-32-25.dynamic.chello.pl)
18:01:48 × shad0w_ quits (a0ca25aa@160.202.37.170) (Quit: Connection closed)
18:02:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
18:04:05 → stree joins (~stree@68.36.8.116)
18:04:09 → jjhoo joins (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi)
18:09:11 × grumble quits (~Thunderbi@freenode/staff/grumble) (Killed (Fuchs (♥ you)))
18:09:50 → grumble joins (~Thunderbi@freenode/staff/grumble)
18:11:53 <xerox_> is there a traversable zip
18:12:47 <xerox_> that is, a more generic zip, to for example zip two `Data.Tree's
18:12:56 → fosterite joins (~fosterite@2600:6c46:7800:fecf:4f6:3240:91c8:4b9)
18:13:46 → jathan joins (~jathan@69.61.93.38)
18:14:20 × thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202)
18:14:30 <xerox_> I was hopeful zip/zipWith were already that now that length and friends are more generic through Foldable
18:14:41 × ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection)
18:14:57 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
18:15:13 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
18:16:14 → ukari joins (~ukari@unaffiliated/ukari)
18:17:38 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
18:19:51 <sclv> xerox_: a lot of “generics” pkgs provide that on Data, eg https://hackage.haskell.org/package/regular-0.3.4.4/docs/Generics-Regular-Functions-Zip.html#t:Zip
18:19:57 × mkDoku quits (~TheMule@aftr-37-201-195-154.unity-media.net) (Ping timeout: 252 seconds)
18:20:35 <sclv> and there’s also nice typeclasses for such things in the These package https://hackage.haskell.org/package/these
18:21:14 × dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection)
18:21:38 → mkDoku joins (~TheMule@aftr-37-201-195-154.unity-media.net)
18:21:50 <sclv> i guess they are split out into semialign now https://hackage.haskell.org/package/semialign
18:25:39 × zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
18:25:42 → Franciman joins (~francesco@host-79-53-62-46.retail.telecomitalia.it)
18:25:59 → zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
18:27:27 × coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
18:28:34 → Deide joins (~Deide@217.155.19.23)
18:31:39 × hexreel quits (~hr@2600:1700:28e2:14d0:44cc:3377:2281:bb1d) (Ping timeout: 245 seconds)
18:31:42 × fosterite quits (~fosterite@2600:6c46:7800:fecf:4f6:3240:91c8:4b9) ()
18:32:22 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
18:35:12 → hexreel joins (~hr@2600:1700:28e2:14d0:44cc:3377:2281:bb1d)
18:36:02 × rond_ quits (59402019@89-64-32-25.dynamic.chello.pl) (Quit: Connection closed)
18:36:19 → neiluj joins (~jco@91-167-203-101.subs.proxad.net)
18:36:25 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host)
18:36:26 → neiluj joins (~jco@unaffiliated/neiluj)
18:38:07 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
18:43:09 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
18:43:36 → DTZUZU_ joins (~DTZUZO@207.81.119.43)
18:44:04 × hexreel quits (~hr@2600:1700:28e2:14d0:44cc:3377:2281:bb1d) (Quit: Textual IRC Client: www.textualapp.com)
18:45:41 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds)
18:47:22 × molehillish quits (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Remote host closed the connection)
18:47:53 <xerox_> sclv: appreciate it
18:51:06 × __minoru__shirae quits (~shiraeesh@109.166.58.221) (Ping timeout: 252 seconds)
18:51:16 → __minoru__shirae joins (~shiraeesh@109.166.58.127)
18:51:29 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
18:53:12 → elfets_ joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
18:54:46 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 268 seconds)
18:55:59 × DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Remote host closed the connection)
18:56:08 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds)
18:58:21 <hololeap> wait, what happened to yahb?
19:01:39 × quaestor quits (~quaestor@griffith.christophrauch.de) (Remote host closed the connection)
19:02:38 × mkDoku quits (~TheMule@aftr-37-201-195-154.unity-media.net) (Ping timeout: 240 seconds)
19:06:24 × mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan)
19:07:39 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:a12:3c82:3e59:5dc8) (Ping timeout: 246 seconds)
19:08:26 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
19:08:43 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
19:10:01 <tomsmeding> :(
19:11:10 <tomsmeding> https://ircbrowse.tomsmeding.com/browse/haskell?id=416782#trid416782
19:14:27 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8)
19:14:29 → carlomagno joins (~cararell@148.87.23.4)
19:15:19 → geekosaur joins (ac3a8b6e@172.58.139.110)
19:17:08 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
19:18:05 <geekosaur> mniip also went missing, oops
19:18:35 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
19:18:41 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
19:19:44 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:a90f:d52f:fbbd:96ce)
19:19:52 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
19:21:34 → __monty__ joins (~toonn@unaffiliated/toonn)
19:24:07 → mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan)
19:25:02 → guest3546456 joins (~jaroslawj@185.234.208.208.r.toneticgroup.pl)
19:26:46 × carlomagno quits (~cararell@148.87.23.4) (Quit: Leaving.)
19:32:53 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer)
19:33:12 → Erutuon_ joins (~Erutuon@97-116-27-119.mpls.qwest.net)
19:34:00 → Pickchea joins (~private@unaffiliated/pickchea)
19:34:25 × haritz quits (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
19:37:58 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
19:39:25 → haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
19:39:26 × haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
19:39:26 → haritz joins (~hrtz@unaffiliated/haritz)
19:41:08 <maerwald> Couldn't match expected type ‘BS.ByteString’ with actual type ‘BS.Char8.ByteString’ -- this is why I don't like the bytestring package
19:41:38 <monochrom> That shouldn't happen.
19:42:04 <geekosaur> unless one of those is secretly lazy (does import allow dots in qualifiers?)
19:42:21 <monochrom> Yes "import X as Y.Z" is allowed.
19:44:32 → moet joins (~moet@172.58.35.212)
19:44:41 <monochrom> Perhaps someone did "import Data.ByteString.Char8 as BS" and "import Data.ByteString.Lazy as BS.Char8" for April 1st pranks.
19:44:53 <maerwald> no, the other way around
19:45:17 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
19:45:29 <geekosaur> didn't even think to use LBS for the lazy one, which is a nice warning
19:45:32 <moet> can you easily control the element type while using static dimensions in hmatrix? it seems like functions such as vec4 require Double, and functions like fromList convert somewhere internally to Double..
19:46:35 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 268 seconds)
19:47:22 <monochrom> hmatrix has both element-polymorphic functiosn and nailed-to-Double functions.
19:47:39 <monochrom> So just avoid the nailed-to-Double functions.
19:47:49 <Franciman> Haskell is the past
19:48:06 <moet> monochrom: thanks; i'm having a little trouble locating them, perhaps my use case isn't the norm
19:48:08 <Franciman> ops wrong channel
19:48:12 <Franciman> but still relevant
19:48:21 Lord_of_Life_ is now known as Lord_of_Life
19:48:45 → quaestor joins (~quaestor@griffith.christophrauch.de)
19:50:10 <xaltsc> hey, anyone familiar with pandoc API here ? I can't find a way to lift Text to PandocIO Text. My code is here: https://pastebin.com/5NGSfDPY
19:50:47 <moet> monochrom: it looks like LinearAlgebra.Data supports arbitrary element types, but not type level dimensions, and LinearAlgebra.Static suppors type level dimensions but not arbitrary elemnt types..
19:51:09 <moet> monochrom: is this a correct assessment?
19:51:11 <monochrom> Is PandocIO an Applicative? So perhaps use "pure"?
19:51:23 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
19:51:41 <monochrom> I don't know. I ignore the type-level-dimension part.
19:51:49 <moet> monochrom: ah, ok, thanks anyhow :)
19:52:36 → yahb joins (xsbot@178.219.36.155)
19:52:36 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
19:52:36 × yahb quits (xsbot@178.219.36.155) (Changing host)
19:52:36 → yahb joins (xsbot@haskell/bot/yahb)
19:52:59 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
19:53:04 → mniip joins (mniip@freenode/staff/mniip)
20:00:52 <xaltsc> monochrom: PandocIO is applicative, but pure doesn't work...
20:01:31 <geekosaur> if it's Applicative then pure should work because pure is a method of Applicative
20:02:14 keeperasmexcalib is now known as Programmosaurus
20:02:17 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
20:02:37 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
20:03:15 <geekosaur> unless "lift into PandocIO" was a guess that turns out to be wrong
20:03:29 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
20:04:11 <xaltsc> pure getLinks gives type Pandoc -> Pandoc -> Text instead of Pandoc -> PandocIO Text
20:05:10 × petersen quits (~petersen@redhat/juhp) (Ping timeout: 252 seconds)
20:06:58 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
20:07:19 → petersen joins (~petersen@redhat/juhp)
20:08:13 <geekosaur> that looks like you're lifting getLinks itself (via ((->) a)), not its result
20:08:38 <geekosaur> pure (getLinks somePandoc), perhaps
20:11:10 × rodriga quits (~quassel@134.204.25.66) (Ping timeout: 265 seconds)
20:12:05 × stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds)
20:12:29 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
20:15:56 × __minoru__shirae quits (~shiraeesh@109.166.58.127) (Ping timeout: 260 seconds)
20:16:02 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
20:17:07 <xaltsc> geekosaur: that was it! thank you!
20:18:42 <xaltsc> Btw, does anyone know a good reference for haskell besides lyah ? It's been a long time and I've forgotten all these lifiting thing. I have a solid CT background (but more mathematical than CS), so I'd welcome something revolving around it.
20:20:10 → mkDoku joins (~TheMule@aftr-37-201-195-154.unity-media.net)
20:21:32 <guest3546456> xaltsc https://www.schoolofhaskell.com/
20:22:00 <guest3546456> xaltsc not sure what youre looking for, a book or website
20:25:25 → stree joins (~stree@68.36.8.116)
20:25:38 × zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
20:25:57 <xaltsc> website, idc for a book, I have an utilitarian use for haskell
20:25:59 → zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
20:26:53 <xaltsc> but the more mathematical the better. I dislike how computer scientists call fibred products and stuff like that
20:27:00 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
20:27:03 <guest3546456> xaltsc beside lyah, real world haskell is available online, but some ppl say it's a litle bit outdated..
20:27:37 <geekosaur> definitely outdated, although if you turn on comments there are updates available there
20:28:24 <xaltsc> Lyah is up to date ?
20:28:32 → Tario joins (~Tario@200.119.184.73)
20:28:41 <guest3546456> xaltsc yup, but it cover only basics
20:28:45 <geekosaur> no, it's behind as well
20:28:56 <geekosaur> just less so than rwh
20:29:15 <xaltsc> So you'd say that school of haskell is definitely the best website ?
20:29:36 <guest3546456> xaltsc I wouldnt say that, there is a lot of materials
20:31:01 <xaltsc> I guess it'll have to do. I'm not interested in real world anyway. Unless ppl have other suggestions ?
20:31:02 <guest3546456> xaltsc and I think there is no one place with all the info that is up to date, I would look through posts mainly, some time ago I read a lot from snoyberg, now reading stuff written by sandy mguire or alexis kings... good entry point for fresh stuff is r/haskell I think
20:31:22 <guest3546456> *blog posts
20:32:42 <xaltsc> as for books, since books may or may not be free, is there a manual (CT oriented preferably) or is the standard changing so constantly that there cannot be a reference?
20:33:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
20:33:32 <guest3546456> there are haskell reports 98 and 2010 ... but Haskell now is mainly driven by ghc extensions :P
20:33:34 <geekosaur> it changes a lot, linear types just went in in 9.0 and more changes are coming in 9.2
20:34:26 → kiweun joins (~kiweun@2607:fea8:2a62:9600:b89f:ad2f:d589:6c68)
20:35:55 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
20:36:22 → gxt joins (~gxt@gateway/tor-sasl/gxt)
20:36:45 × mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
20:37:11 <guest3546456> xaltsc the most comprehensive book now is "Haskell Programming from first principles" by Allen / Moronuki, but it's not free and it's > 1000 pages long
20:38:37 <guest3546456> xaltsc you may search amazon and check what suits you also some authors use leanpub to publish their books..
20:39:26 <hololeap> xaltsc: this may help, although its for teaching CT to haskell programmers rather than the other way around: https://github.com/hmemcpy/milewski-ctfp-pdf/releases/tag/v19-eb86347
20:40:00 <xaltsc> I'd rather not pay an editor that doesn't give money to the authors (that's what happens in math, idk about CS)
20:40:02 <guest3546456> yup whole Bartosz Milewski's blog is worth reading
20:40:35 <xaltsc> I'd rather have "Programming for Category Theorists" than the converse :D
20:41:14 → segut joins (49f18bf8@c-73-241-139-248.hsd1.ca.comcast.net)
20:41:25 × mkDoku quits (~TheMule@aftr-37-201-195-154.unity-media.net) (Ping timeout: 260 seconds)
20:41:31 <maerwald> I'd ditch CT, linear types and r/haskell and start coding without hype driven development
20:41:38 <segut> hello is anyone around that can help with pointing me in the right direction on someting?
20:42:18 <hololeap> segut: there are 1027 people in the channel rn
20:42:19 <geekosaur> segut, ask your question. not like we can guess what you need
20:42:49 <xaltsc> maerwald: CT is useful in math, esp in geometry
20:43:15 <maerwald> sure, if you do any of that go ahead
20:43:52 <dolio> Maybe you should actually read the context before remarking on things.
20:44:01 <geekosaur> maerwald, they said they knew CT already
20:44:04 <maerwald> I know
20:46:18 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
20:47:49 <segut> =) so i am trying to install/compile termonad on fedora 32.  i installed stack from RPM and downloaded the source and ran "stack install" I am getting this error around gi-vte " While building package gi-vte-2.91.25 (scroll up to its section to see the error) using:"  Last time i tried to compile something i had a similar issue which with a
20:47:50 <segut> different package which I was never able to get resolved and had to abandon the compile.  Is there an inherent incompatibility with building things on fedora or am i just missing something simple. i.e. (yum clean all~version for stack;changing gi repositories to fedora base repo; just use ubuntu containers; etc.)
20:47:52 <xaltsc> maerwald: and the reason I favour haskell over "simpler" languages is that, because of my math bg, I find it easier to express ideas in Haskell (than, say, in Python). The one thing I struggle with is the syntax
20:48:52 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds)
20:48:57 <maerwald> xaltsc: I prefer simple languages, which is why I chose haskell ;)
20:49:03 × geekosaur quits (ac3a8b6e@172.58.139.110) (Ping timeout: 240 seconds)
20:49:35 <xaltsc> That's why I put the quotes :D
20:50:53 <maerwald> but the only thing that's really important to me are algebraic data types. Idc about laziness and even functional isn't that important if the language is able to deal with mutability in some other way
20:51:06 <segut> full error https://paste.tomsmeding.com/JczS1oF8
20:52:15 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
20:52:54 × xff0x_ quits (~xff0x@2001:1a81:532d:a700:e532:2773:4b16:d5dc) (Ping timeout: 245 seconds)
20:53:39 nckx is now known as Thunderbi
20:53:42 → xff0x_ joins (~xff0x@2001:1a81:532d:a700:6abb:1223:9f25:3fb)
20:54:16 <guest3546456> segut: looks like some missing dependency https://github.com/haskell-gi/haskell-gi/issues/183
20:55:03 <xaltsc> maerwald: algebraic types are about everywhere, aren't they ? For me, it's the functionnal thing and the constraints that a strongly typed language has that made me go for haskell initially.
20:55:16 <guest3546456> segut: here is something more interesting https://github.com/commercialhaskell/stackage/issues/3867
20:55:21 <maerwald> xaltsc: no, they are not... Go struggles with them
20:55:35 <maerwald> and lots of languages have only shitty versions
20:55:38 × codygman` quits (~user@209.251.131.98) (Ping timeout: 268 seconds)
20:55:48 <guest3546456> segut: install dependencies given under this post compilation should work...
20:56:30 <segut> guest3546456 i looked at that but it is old and that patch was merged it seemed.
20:56:41 <segut> but let me look again
20:56:45 <xaltsc> maerwald: they even exist in C if I remember correctly ? Haskell is just pretty regarding that.
20:59:18 <monochrom> Algebraic types are everywhere in nature.
20:59:29 <monochrom> But most programming languages are unnatural.
21:00:16 <monochrom> Just look at SQL. No thought put into it at all.
21:00:47 <segut> ok so that helped a bit i searched for vte in dnf and found a few devel packages that had to do with vte. installed those and it is moving forward now. I was only looking at the repository error for stack.
21:00:49 <segut> many thanks
21:00:58 <maerwald> There is little point in debating what you can theoreticall do in language X, since most of them are turing complete
21:01:01 <maerwald> so you can do everything
21:01:07 <dolio> I don't know. With SQL they talk alot about how they consciously rejected algebraic types.
21:01:15 <guest3546456> segut np
21:01:28 <monochrom> Oh oops heh OK
21:01:31 <segut> thank you guest3546456
21:01:43 <maerwald> python also has "laziness"
21:02:05 <xaltsc> algebraic types are just the monoidal category of vector spaces over the field with one element anyways.
21:02:32 <monochrom> I thought a field had at least two elements.
21:02:50 <xaltsc> yes but no
21:03:26 <xaltsc> Fun things happen when you study phenomena over F_q and let q go to 1.
21:03:57 <monochrom> "Is this singularity?" meme
21:04:31 × deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1)
21:04:32 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
21:04:39 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
21:04:51 <xaltsc> "math, linear algebra, always has been" meme
21:05:47 × sdrodge quits (~sdrodge@unaffiliated/sdrodge) (Ping timeout: 265 seconds)
21:05:47 <electricityZZZZ> i have written a few somewhat nontrivial "programs" in elm and feel reasonably comfortable with that language. i might entertain the idea that i understand the language "to completion". is there some kind of haskell subset i can reasonably "completely understand"?
21:06:10 <maerwald> electricityZZZZ: haskell2010
21:06:26 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
21:06:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
21:08:50 × segut quits (49f18bf8@c-73-241-139-248.hsd1.ca.comcast.net) (Quit: Connection closed)
21:12:52 × _fcntl quits (~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Quit: Lost terminal)
21:15:23 → coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
21:18:06 × Erutuon_ quits (~Erutuon@97-116-27-119.mpls.qwest.net) (Ping timeout: 240 seconds)
21:20:25 → Erutuon_ joins (~Erutuon@97-116-27-119.mpls.qwest.net)
21:21:51 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
21:22:31 × graf_blu` quits (~user@adsl-178-38-234-220.adslplus.ch) (Remote host closed the connection)
21:25:38 × zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
21:25:59 → zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
21:28:41 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
21:29:34 <moet> is there a haskell library for mutating subarrays in a large multidimensional array? repa and hmatrix don't seem to support a way to put slices (references to submatrixes) back into the original structure w/o large copies
21:30:14 → nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
21:31:17 × malumore_ quits (~malumore@151.62.112.245) (Remote host closed the connection)
21:31:56 × fendor quits (~fendor@91.141.3.64.wireless.dyn.drei.com) (Remote host closed the connection)
21:32:03 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
21:32:25 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
21:33:14 <nut> Will runST break purity? Immutable in, immutable out, but in between there's side effect
21:33:35 <moet> nut: runST breaks the rules around purity; it hides impure stuff internally
21:33:57 <moet> nut: i believe it uses runtime facilities to accomplish this
21:34:20 <nut> myfunction :: Vec -> Vec
21:34:33 <nut> for this function, if i use runST on Vec
21:34:42 <nut> then it looks pure, but it's not
21:34:43 <dolio> It doesn't break rules.
21:35:29 <nut> I mean, there seems to be side effect to this seemingly pure function
21:35:31 <moet> nut: you can't really use runST inside that function because runST relies on a type parameter `s` which isn't present in your return type.. it would have to be contained (foralled) inside your Vec or something, but i don't think that's possible.. the whole point of that parameter is to prevent the impurity from escaping
21:36:13 <nut> I understand that no immutable things will get out
21:36:33 <moet> i might be getting confused here actually; you can do that; the `s` is contained inside the action to runST
21:36:51 <nut> but if Vec is immutable, then myfunction is a pure function no?
21:37:11 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
21:38:00 × haritz quits (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
21:38:37 <monochrom> Let me cut to the mustard. How do you observe "side effect"?
21:38:38 <nut> https://pastebin.com/2m4knwzU
21:38:39 <nut> Could anyone take a look at this if it's pure?
21:38:49 <monochrom> If you can't observe it then it didn't happen.
21:39:44 <nut> The input is a vector, and within the runST, i first turn it into mutable vector, then modify it, then freeze it
21:39:48 <nut> then return
21:40:03 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
21:40:09 <int-e> nut: `thaw` will make a copy
21:40:18 × guest3546456 quits (~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Quit: leaving)
21:40:28 <nut> aha
21:40:30 <nut> i see now
21:40:39 <moet> nut: i looked at your function; it's pure from the external perspective, but it's returning a copy as int-e said
21:40:55 <monochrom> freeze makes one more copy
21:41:05 <nut> i get it guys, thx
21:41:16 <monochrom> I thought you knew from the docs.
21:41:44 <nut> i just got lost for a moment
21:42:02 <nut> new to the ST Monad
21:42:06 <moet> nut: you might be better off writing your domain functions in terms of `ST s Returntype` and then you can combine them all near the top level with `runST` and then you'll get a speedy implementation with less copies
21:43:03 <nut> Great tip
21:43:27 × RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 252 seconds)
21:43:33 <int-e> hmm, does vector have an analog of `runSTArray` that wraps unsafeFreeze safely?
21:43:35 <nut> moet: when I'm more comfortable with the APIs I will do that. I'm learning both vectors and ST now
21:43:55 <monochrom> I think no.
21:44:06 × mrd quits (~mrd@debian/developer/mrd) (Ping timeout: 246 seconds)
21:44:36 <nut> that runSTArray also confuses me, because there's vectors and arrays which seem similar
21:44:52 → mrd joins (~mrd@45.61.147.211)
21:45:16 mrd is now known as Guest40940
21:45:42 → molehillish joins (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
21:46:22 <koz_> nut: vector-the-library is a layer on top of arrays.
21:46:31 <koz_> It's designed to be more convenient and feature-ful.
21:46:46 <nut> i see
21:47:00 → haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
21:47:00 × haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
21:47:00 → haritz joins (~hrtz@unaffiliated/haritz)
21:47:20 → RusAlex joins (~Chel@unaffiliated/rusalex)
21:47:28 <nut> So can I understand that ST is an escape to the imperative world?
21:47:34 <koz_> nut: No.
21:47:47 <koz_> Read 'Functional Lazy State Threads' if you want a good explanation.
21:48:27 <nut> I'll do that a bit later. I'm actually trying to implement the algolrithms from Introduction to Algorithms the book
21:48:47 <nut> And I've used Haskell List for implementation before
21:49:01 <nut> Which is linked list and not recomended
21:49:08 <L29Ah> nut: nah it's a limited chunk of real world that lives in a jail of the pure world
21:49:18 <nut> So that's why I'm looking at vectors and all that mutable stuff
21:49:46 → sdrodge joins (~sdrodge@unaffiliated/sdrodge)
21:49:47 × Tario quits (~Tario@200.119.184.73) (Read error: Connection reset by peer)
21:50:02 <koz_> I'd say 'use vector immutably' before going any further. Limits what you have to learn at least.
21:50:05 → Tario joins (~Tario@201.192.165.173)
21:50:12 <nut> L29Ah: koz_ OK, so for my particular application, is it appropritate to make heavy use of ST monad ?
21:50:24 <koz_> nut: I have no idea what your application is.
21:50:33 <koz_> I would argue that first, start with immutable.
21:50:38 <koz_> You'd be surprised how far that gets you.
21:50:45 <nut> implement quicksort, heap sort, dynamic programming etc.
21:50:56 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:d987:a6e5:6815:ac7d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
21:51:06 <koz_> For sorting, you might wanna use ST, but here you actually have a stack of ST and random.
21:51:09 <L29Ah> just make sure ST doesn't leak out to the public interface
21:51:11 <koz_> Dynamic programming is a technique.
21:51:17 <koz_> So I have no idea what that means either.
21:51:26 <koz_> Levenstein distance is dynamic programming; so is simplex.
21:51:36 <nut> for quicksort for example, there's so many inplace updates and array index moving, can i still do it with immutable vector?
21:51:59 <koz_> If you're dead-set on in-place quicksort? Then it's probably better to use ST.
21:52:05 <koz_> However, what's your goal?
21:52:15 <koz_> Is it 'learn to implement in-place quicksort'?
21:52:36 <nut> My goal is to learn both algorithm and haskel
21:52:50 <nut> so I'm tying out all alternatives
21:52:56 <koz_> Then I will say one thing: most algorithms are presented in a way that's awkward to translate to immutability and functional programming in general.
21:53:07 <koz_> Therefore, I'd say that it's probably _not_ the most convenient of things.
21:53:21 <koz_> In-place quicksort is a perfect example.
21:53:33 <nut> but i do want to know the cononical way of doing these things in haskell_1 l
21:53:47 <L29Ah> nut: in haskell you may opt to use a pure functional sort of an algorithm, that might be slower but have useful properties, like cheap copies that reuse most of the structure, or some laziness
21:54:02 <koz_> L29Ah: For in-place quicksort, none of the above applies.
21:54:09 <koz_> And there isn't a 'canonical' array sort in Haskell.
21:54:14 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:d987:a6e5:6815:ac7d)
21:54:20 <koz_> We have a bunch in vector-algorithms, they all have tradeoffs.
21:54:42 <koz_> (and they all use mutability admittedly, since they're all in-place)
21:55:26 <nut> Ok in a summary, whenever i have to use in place mutability algorithm, i will try ST monad
21:55:34 <koz_> Yeah, that's a good summary.
21:55:43 <nut> Thanks a lot!
21:55:47 <koz_> (with the caveat that it's not as necessary as you might think)
21:55:58 <koz_> I can give an example from my own experience where using ST made my program _slower_.
21:56:04 <koz_> (and like, a _tonne_ slower)
21:56:10 <nut> do tell
21:56:12 <koz_> (we're talking an order of magnitude or two)
21:56:19 <koz_> Block reversal.
21:56:33 <koz_> The implementation I was working from used stacked looping and a mutable position variable.
21:56:38 <koz_> That ran like utter garbage.
21:56:47 <koz_> I then rethought it without mutable references.
21:56:53 <koz_> It ran about 100 times faster.
21:57:02 <moet> nut: if you're having trouble with ST, don't let it distract you from your goal.. i'd implement your goal with the pure functions (and/or ones that don't use ST) in Data.Vector first and then go back to use ST later if you want to optimize.
21:57:06 <koz_> To give more specifics requires a trainload of context.
21:57:10 <moet> nut: premature optimization is a killer :)
21:57:15 <koz_> Most of which is not very interesting or informative.
21:57:38 <nut> i understnad koz_
21:58:39 <nut> moet: so if i use immutable vector instead of ST mutable vectors, that would mean a lot of vector copying, same as if i use List right?
21:58:44 × hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
21:58:47 <koz_> nut: Not necessarily.
21:59:01 <koz_> Vector uses a lot of fusion tricks to avoid allocating intermediates where possible.
21:59:14 <koz_> Also, depending on what you're trying to do, you can reformulate your program not to need those.
21:59:27 <koz_> (heck, just 'generate' from vector is surprisingly powerful)
21:59:33 <nut> but that's internal stuff right? the fusion tricks. The code still looks at if they are copying
21:59:43 <koz_> nut: How is that relevant?
21:59:55 <koz_> What does and doesn't get done in a pure function in Haskell is pretty theoretical anyway.
22:00:05 <nut> it's not, just trying to understand the whole thing
22:00:42 <koz_> The whole thing amounts to 'there are cases where intermediate stuff disappears or never gets allocated to begin with - if this is fast enough, you can safely ignore it and enjoy the benefits of immutability'.
22:00:51 <koz_> (and composition etc)
22:01:00 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:d987:a6e5:6815:ac7d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
22:01:05 <nut> As another summary, can i understand that if i use vector instead of list, most of the algorithms in the book will be faster?
22:01:12 <koz_> It depends.
22:01:22 <L29Ah> how do i ask hspec to run my executable?
22:01:27 × coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
22:01:38 <koz_> L29Ah: As in, you have an hspec-based test suite and you wanna run it?
22:01:44 <monochrom> Which book is "the" book?
22:01:49 <koz_> Or you need to call an external executable _from_ an hspec test
22:01:51 <koz_> ?
22:01:55 <monochrom> Especially since Easter is so close.
22:02:04 <nut> monochrom: CLRS, introduction to algorithms
22:02:09 → Guest_71 joins (2dab71b6@45.171.113.182)
22:02:17 <moet> nut: it might be lots of copying, but fixing that before you've implement your algorithm is premature optimization .. it'll be more productive to have a working implementation first probably, and then go learn ST monad after you're comfortable with the pure implementation
22:02:31 <L29Ah> koz_: no, i have a hspec-based test suite, and i want to add another test in it that runs the executable under test, as opposed to parts of its internal API
22:02:33 <monochrom> Well that one downright assumes you even have mutable tree nodes. So nevermind arrays.
22:02:51 <moet> nut: and as koz_ points out, list/vector fusion will make many operations in the pure implementation more efficient
22:03:04 <koz_> Again, it depends.
22:03:07 <moet> nut: so it'll do less copying than you think
22:03:14 × Guest_71 quits (2dab71b6@45.171.113.182) (Client Quit)
22:03:19 <nut> moet: there's list fusion?
22:03:20 <koz_> And even if it does, it can sometimes be better to copy than not to!
22:03:24 → Guest_1 joins (50e93b6c@80.233.59.108)
22:03:26 <koz_> See 'false sharing' for a good example.
22:03:30 <koz_> nut: Yes.
22:03:35 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
22:04:27 <moet> nut: yeah, fusion is a thing where a function that copies a structure has a "rewrite rule" to use a version that streams the operation rather than returning a copy; ref: 'Hermit in the Stream'
22:04:40 <L29Ah> is there a better way than adding a pseudo-main function that gets the program arguments as an argument, and call it from the real main?
22:04:43 <koz_> There's various kinds.
22:04:43 → nbloomf joins (~nbloomf@76.217.43.73)
22:05:04 <moet> yeah, that's just the kind in the reference; sorry
22:05:42 × jjhoo quits (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Remote host closed the connection)
22:05:48 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
22:06:11 × dyamon quits (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) (Ping timeout: 260 seconds)
22:06:12 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
22:06:26 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
22:06:30 <moet> L29Ah: what is your hspec going to test about the behavior of `main :: IO ()`?
22:06:50 <nut> I will start with pure code first. but just out of curiosity, how to choose between IOVector and STVector?
22:06:53 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 246 seconds)
22:06:55 <moet> L29Ah: that would require some complicated test harness to inject environmental inputs and measure environmental outputs
22:07:10 <monochrom> Just choose STVector
22:07:14 <koz_> Are you in IO already: if yes, IOVector, otherwise STVector.
22:07:22 <moet> L29Ah: if you can rephrase the features you want to test in terms of inputs and outputs of a function, your testing life will be easier
22:07:24 <L29Ah> moet: not `main :: IO ()` but `system :: ByteString -> IO ExitCode` or such
22:08:24 L29Ah is too lazy to stubize all the environment for backup-making software
22:08:26 → Tario joins (~Tario@200.119.184.73)
22:08:40 <moet> L29Ah: yeah, that's a start.. i conventionally call that main2 and write a small main to call `getArgs >>= main2 >>= System.exit` or somesuch
22:08:56 <L29Ah> ok thanks
22:09:09 × molehillish quits (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Remote host closed the connection)
22:09:12 <moet> L29Ah: if it's third party software, you'd want main2 to be some CreateProcess from the process package
22:09:42 × nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
22:09:42 <L29Ah> the sad thing is that i can't do things like +RTS -M100M
22:09:47 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
22:10:02 <moet> L29Ah: sorry, i don't follow..
22:10:03 <L29Ah> so that it would fail if it exceeds a memory limit
22:10:21 <nut> is the ST, strick thread, has anything to do with haskell thread? I mean multi-threading?
22:10:29 <L29Ah> moet: i want my test to verify that main2 doesn't exceed a set amount of RAM
22:10:35 <monochrom> No.
22:10:45 <L29Ah> using CreateProcess i can do things like +RTS -M100M
22:10:46 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
22:11:03 <koz_> nut: Again, Lazy Functional State Threads. Read it, it's very well-explained.
22:11:14 <nut> ok let me read it first
22:11:35 <moet> L29Ah: yeah, you could do that i guess.. it's getting a little complex, but is probably doable
22:11:44 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:1d79:d102:666c:1dd9)
22:12:09 <moet> L29Ah: for non haskell processes you'd get into the realm of things like firejail/timeout/ulimit and it gets pretty out of control quick lol
22:12:48 → molehillish joins (~molehilli@ip98-165-87-166.ph.ph.cox.net)
22:13:02 <moet> L29Ah: might be easier to poll the memory usage by reading /proc filesystem than to actually limit it with RTS.. i don't know.. :) best of luck
22:13:15 × neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving)
22:16:06 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
22:16:55 × mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew)
22:19:58 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
22:20:46 → jjhoo joins (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi)
22:21:57 × danso quits (~dan@d67-193-121-2.home3.cgocable.net) (Read error: Connection reset by peer)
22:23:19 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
22:25:03 × Erutuon_ quits (~Erutuon@97-116-27-119.mpls.qwest.net) (Ping timeout: 265 seconds)
22:25:38 × zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
22:25:59 → zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
22:26:37 → Erutuon_ joins (~Erutuon@97-116-27-119.mpls.qwest.net)
22:27:13 → p7g joins (~igloo@cpe5c7d7dc0d198-cm5c7d7dc0d196.cpe.net.cable.rogers.com)
22:27:19 × p7g quits (~igloo@cpe5c7d7dc0d198-cm5c7d7dc0d196.cpe.net.cable.rogers.com) (Remote host closed the connection)
22:28:07 → natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
22:28:11 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
22:28:40 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
22:28:48 × hololeap quits (~hololeap@unaffiliated/hololeap) (Quit: Quit)
22:28:52 → mrus joins (~mrus@149.28.61.155)
22:31:14 → frozenErebus joins (~frozenEre@37.231.244.249)
22:33:26 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
22:36:56 × mrus quits (~mrus@149.28.61.155) (Quit: Surfing the great wave off Kanagawa)
22:37:57 × kiweun quits (~kiweun@2607:fea8:2a62:9600:b89f:ad2f:d589:6c68) (Remote host closed the connection)
22:38:11 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
22:38:38 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
22:39:16 → hololeap joins (~hololeap@unaffiliated/hololeap)
22:40:16 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:1d79:d102:666c:1dd9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
22:41:21 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
22:42:34 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
22:43:25 × Franciman quits (~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
22:43:46 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Ping timeout (120 seconds))
22:43:48 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
22:44:06 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
22:45:46 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
22:46:05 → stree joins (~stree@68.36.8.116)
22:46:28 <Aquazi> hey all, was going through the apis of the directory lib
22:46:31 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
22:46:40 <Aquazi> and I'm trying to understand the use cases of these 3 functions:
22:46:41 <Aquazi> https://hackage.haskell.org/package/directory-1.3.6.1/docs/System-Directory.html#g:2
22:46:45 × xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 246 seconds)
22:46:59 <Aquazi> the more I think about them the less they make sense compared to providing your own path
22:47:33 → xaltsc joins (~xaltsc@unaffiliated/xaltsc)
22:47:47 <Aquazi> I also find them confusing in user land, but I might be newbie to that
22:49:06 <glguy> Aquazi: the current directory is what's used to resolve a relative file path. If you spawn a child process this will be used by it. If you know the absolute paths to things then sure, use that
22:49:41 <Aquazi> yeah that's my point, there are "saner" use cases of knowing absolute paths
22:49:47 <Aquazi> even if you want to write traversals
22:49:54 <glguy> in many cases you won't know the absolute path
22:50:13 <Aquazi> you can always get the absolute path in your process
22:50:29 <Aquazi> even if you writing a script
22:50:30 <glguy> and just duplicate the logic that already exists for resolving paths? why?
22:50:37 <glguy> sounds like a good way to introduce a new bug
22:51:08 <Aquazi> I'll try to think about that
22:51:11 <glguy> The current directory might not have a name, or it might not have the same name it used to
22:51:21 → usr25 joins (~usr25@unaffiliated/usr25)
22:51:25 <glguy> If you're re-resolving it every time you'll get different results
22:51:27 ← usr25 parts (~usr25@unaffiliated/usr25) ()
22:51:39 <Aquazi> and I'm doing so from few weeks (I'm writing an fs lib and getting inspirations from multiple libs)
22:51:59 <Aquazi> > If you're re-resolving it every time you'll get different results
22:52:01 <lambdabot> error:
22:52:01 <lambdabot> • Data constructor not in scope:
22:52:01 <lambdabot> If :: t1 -> (AReview t0 b0 -> (t0 -> f0 t0) -> b0 -> f0 b0) -> a
22:52:15 <Aquazi> can you make an example of such behavior?
22:52:20 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
22:52:25 <glguy> start a program, rename the directory it's running in
22:52:53 → shalokshalom joins (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106)
22:53:05 <Aquazi> I kinda see your point, but I'm not completely sold
22:53:36 <Aquazi> re-resolving the current directory is a potential cause of bugs anyway in an atomic context with no guarantees
22:54:02 <Aquazi> meaning, checking if a directory exists, gives no guarantees that the next call on such directory will not fail
22:54:14 <glguy> that's not related to what I said, but it's also an issue
22:55:09 <Aquazi> so in a, pardon my being noob on haskell and fp, a reader might have wrong dependencies in different calls when using absolute paths but not relative ones?
22:55:32 <Aquazi> as in the renaming example
22:55:33 <glguy> this isn't a Haskell topic
22:55:45 <Aquazi> you're right
22:56:04 <glguy> Haskell just happens to have a binding to the system calls to access and manipulate a process's current directory
22:56:35 <zzz> i have updated cabal and still get "option '--lib' is ambiguous"
22:56:35 <glguy> It's uncommon for a program to need to manipulate these things directory, but it could happen
22:56:47 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 252 seconds)
22:56:53 <Aquazi> thanks for the feedback glguy
22:56:55 <glguy> these things directly*
22:56:55 → codygman__ joins (~user@47.186.207.161)
22:57:11 <Aquazi> really appreciate it :)
22:57:17 <glguy> (we could talk about it here, I'm just saying it doesn't have to do with Haskell or functional programming experience)
22:57:28 <glguy> more of a posix topic
22:57:36 <Aquazi> I know I'm writing a lib for filesystem in ts
22:58:24 <Aquazi> And checking for inspirations mostly in haskell and rust userlands as I (at least) understand fp basics and signatures
22:58:53 <Aquazi> So I'm trying to understand the context of stuff, in this case of directory having functions that operate on "current directory"
22:58:58 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
22:59:23 <Aquazi> or "working directory" besides their implementation details
22:59:56 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
23:01:38 <zzz> i cant understand this
23:02:01 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
23:02:08 <zzz> has the flag changed in cabal 3?
23:02:58 <sclv> zzz: can you paste the full command you're using and the error?
23:03:50 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
23:03:59 <zzz> cabal install primes --lib
23:04:33 <sclv> try cabal install --lib primes
23:04:41 × Guest55480 quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Quit: WeeChat 2.9)
23:04:43 <sclv> also are you sure you want to install a lib using new-cabal at all?
23:05:04 <sclv> instead you typically add it as a dependency of a project or just run `cabal repl --build-depends primes`
23:05:09 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
23:05:58 → mrus joins (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820)
23:06:02 × mrus quits (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) (Remote host closed the connection)
23:06:26 <zzz> sclv: same error, which i'll paste in a sec. yes im sure, i want to make fast imports for quick and dirty testing and only use one .hs file
23:08:12 <sclv> zzz: using cabal 3.2.1.0 it seems to work
23:08:19 <sclv> i got the ambiguous error when i used cabal 2.4
23:12:20 × molehillish quits (~molehilli@ip98-165-87-166.ph.ph.cox.net) (Remote host closed the connection)
23:13:04 × codygman__ quits (~user@47.186.207.161) (Remote host closed the connection)
23:13:26 → codygman__ joins (~user@47.186.207.161)
23:14:44 → crestfallen joins (~john@128.32.176.159)
23:16:20 → mrus joins (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820)
23:18:11 × Erutuon_ quits (~Erutuon@97-116-27-119.mpls.qwest.net) (Quit: WeeChat 2.8)
23:18:46 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
23:20:52 × son0p quits (~son0p@181.136.122.143) (Quit: leaving)
23:22:16 → z0 joins (~zzz@2a03:b0c0:3:d0::3095:3001)
23:24:46 × codygman__ quits (~user@47.186.207.161) (Ping timeout: 240 seconds)
23:25:37 × zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
23:25:49 × zzz quits (~zzz@2a03:b0c0:3:d0::3095:3001) (Ping timeout: 245 seconds)
23:25:49 z0 is now known as zzz
23:25:59 → zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
23:27:42 → codygman__ joins (~user@47.186.207.161)
23:31:00 × mrus quits (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) (Quit: Surfing the great wave off Kanagawa)
23:32:25 → mrus joins (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820)
23:33:08 → molehillish joins (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
23:34:24 → elliott_ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
23:35:39 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
23:35:54 × mrus quits (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) (Client Quit)
23:36:08 → mrus joins (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820)
23:37:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
23:38:04 × molehillish quits (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Remote host closed the connection)
23:39:09 × LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
23:40:27 × crestfallen quits (~john@128.32.176.159) (Ping timeout: 265 seconds)
23:41:48 × mrus quits (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) (Quit: Surfing the great wave off Kanagawa)
23:42:31 → mrus joins (~mrus@149.28.61.155)
23:43:26 × Guest_1 quits (50e93b6c@80.233.59.108) (Quit: Connection closed)
23:46:06 × xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 258 seconds)
23:48:47 → Sonderblade joins (~helloman@2a02:aa1:100d:fe6f:6a75:3fbc:c81a:1def)
23:51:00 → ania123 joins (5e89ad7c@94.137.173.124)
23:52:04 → ja joins (janus@anubis.0x90.dk)
23:52:54 <ja> dolio: i was wondering if bytestring-show is still a package that makes sense to you, or if it has been subsumed by another
23:53:18 <ja> i am looking for a fast way to get the ascii decimal representation of a word16...
23:53:58 <ja> i had to downgrade containers to build bytestring-show, which makes me think it is not supposed to be used nowadays
23:55:51 <monochrom> ja: Data.ByteString.Builder has word8Hex, word16Hex, etc. Perhaps you like them.
23:56:11 <monochrom> Err oops, decimal. word16Dec then!
23:56:43 <ja> oooh , nice! thank you so much monochrom

All times are in UTC on 2021-04-01.