IRCBrowse

2021/04/01

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