IRCBrowse

2021/04/20

2021-04-20 00:00:22 +0200 <guy9> what does your name mean, by the way, sclv
2021-04-20 00:01:03 +0200dave_uy5dave_uy
2021-04-20 00:01:24 +0200 <ski> i agree it's not really that easy to reason about the precise behaviour. however, at least it's possible to "explain away", like this (meaning it doesn't interfere, per se, with equational reasoning. it just makes it hard to get useful results when attempting to reason about it)
2021-04-20 00:02:02 +0200 <sclv> its just a nick, means nothing
2021-04-20 00:02:26 +0200malumore_(~malumore@151.62.117.103) (Ping timeout: 240 seconds)
2021-04-20 00:02:44 +0200tatsumaru(~tatsumaru@85.196.189.103) ()
2021-04-20 00:03:02 +0200 <guy9> interesting
2021-04-20 00:03:05 +0200 <ski> (in that, it's similar to e.g. `unsafeInterleaveIO' (as opposed to `unsafeInterleaveST',`unsafePerformIO',`reallyUnsafePtrEquality#'))
2021-04-20 00:03:22 +0200 <guy9> the issue tracker is really helpful
2021-04-20 00:05:03 +0200slack1256(~slack1256@200-112-79-98.baf.movistar.cl) (Ping timeout: 268 seconds)
2021-04-20 00:05:09 +0200ski. o O ( PyCon Keynote by K. Lars Lohn in 2016 at <https://www.youtube.com/watch?v=bSfe5M_zG2s> )
2021-04-20 00:05:15 +0200 <ski> (apropos music and hackers)
2021-04-20 00:06:48 +0200pavonia(~user@unaffiliated/siracusa)
2021-04-20 00:07:46 +0200 <guy9> thanks ski ill watch that
2021-04-20 00:10:32 +0200fiedlr(~fiedlr@83.148.33.254) (Read error: Connection reset by peer)
2021-04-20 00:10:47 +0200 <guy9> I feel so much better after that, thank you sclv
2021-04-20 00:11:04 +0200 <guy9> I feel like I know how to better troubleshoot now
2021-04-20 00:11:13 +0200 <dmj`> ski: GHCJS implements makeStableName strictly
2021-04-20 00:11:59 +0200st8less(~st8less@2603:a060:11fd:0:f652:5ff0:83f7:3be7) (Ping timeout: 260 seconds)
2021-04-20 00:12:11 +0200ski. o O ( specification indeterminacy )
2021-04-20 00:13:44 +0200 <dmj`> where's the GHC spec, couldn't find it :P
2021-04-20 00:13:48 +0200st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net)
2021-04-20 00:20:27 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 00:23:52 +0200LKoen(~LKoen@77.168.9.109.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-20 00:24:31 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-20 00:24:40 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-20 00:25:41 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 00:27:33 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 00:29:22 +0200s00pcan(~chris@107.181.165.217) (Read error: Connection reset by peer)
2021-04-20 00:29:31 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-04-20 00:29:41 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-20 00:31:03 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-04-20 00:31:04 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 00:32:00 +0200elliott__(~elliott@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-20 00:33:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-20 00:34:01 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-04-20 00:34:33 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-20 00:36:19 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-20 00:36:40 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-20 00:40:02 +0200ph88(~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258)
2021-04-20 00:40:29 +0200son0p(~ff@181.136.122.143) (Remote host closed the connection)
2021-04-20 00:40:33 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-20 00:46:29 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-04-20 00:50:06 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-04-20 00:50:30 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Quit: Leaving.)
2021-04-20 00:54:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-20 00:56:11 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 260 seconds)
2021-04-20 00:56:19 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 00:56:59 +0200 <guy9> I finally got what I needed up and running! Thank you everybody! Have a good day
2021-04-20 01:00:18 +0200raichoo(~raichoo@dslb-178-009-065-077.178.009.pools.vodafone-ip.de) (Quit: Lost terminal)
2021-04-20 01:00:19 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net) (Ping timeout: 252 seconds)
2021-04-20 01:01:41 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-20 01:03:31 +0200guy9(4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: Connection closed)
2021-04-20 01:06:06 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-04-20 01:07:09 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-04-20 01:07:22 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-dagvmnchyestqbjc)
2021-04-20 01:08:21 +0200zeenk(~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Quit: Konversation terminated!)
2021-04-20 01:10:01 +0200chenin(bab7243e@186.183.36.62)
2021-04-20 01:10:59 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-20 01:12:52 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-20 01:13:09 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 01:14:33 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-04-20 01:15:58 +0200fiedlr(~fiedlr@83.148.33.254) (Ping timeout: 268 seconds)
2021-04-20 01:16:10 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 01:18:24 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 01:18:42 +0200p0a(~user@unaffiliated/p0a)
2021-04-20 01:19:21 +0200 <p0a> Hell does megaparsec look a bit like boost::spirit? I've never learned megaparsec but I'm currently learning the C++ library and I'm getting the feeling that they have a similar design
2021-04-20 01:19:29 +0200 <p0a> Hello*
2021-04-20 01:19:55 +0200 <geekosaur> parser combinator libraries will all look fairly similar
2021-04-20 01:20:47 +0200 <p0a> alright, thanks. I thought that they had a similar approach to things, good to know it's called 'parser combinator'. There's also the type system involved
2021-04-20 01:21:41 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-20 01:22:49 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-20 01:23:15 +0200sqrt2_(~ben@unaffiliated/sqrt2) (Ping timeout: 265 seconds)
2021-04-20 01:23:38 +0200jesystani(~thorn@2404:4404:17f1:4900:ec8c:5f5b:2c7a:5e7)
2021-04-20 01:23:42 +0200 <xsperry> IIRC boost::spirit was inspired by original parsec. even some of the operators they use are the same, for example >>
2021-04-20 01:24:22 +0200tatsumaru(~tatsumaru@85.196.189.103)
2021-04-20 01:25:05 +0200 <jesystani> hello, i have a structure built up of lists, and im displaying a subset of those lists after transforming the larger structure. is there a way i can force evaluation of the entire structure? i believe my transformations are stacking up at the "edges" where im not printing
2021-04-20 01:25:10 +0200 <tatsumaru> hey guys, what's the difference between ['h', 'e', 'l', 'l', 'o'] and ["h", "e", "l", "l", "o"] ?
2021-04-20 01:25:10 +0200mason_(~bc8134e3@217.29.117.252)
2021-04-20 01:25:35 +0200 <tatsumaru> the first one evaluates as a string list and the second one as a collection of strings in a list
2021-04-20 01:25:39 +0200 <geekosaur> the former is a list of Char, the latter a list of String (aka [Char])
2021-04-20 01:25:50 +0200 <xsperry> ['h', 'e', 'l', 'l', 'o'] is the same as "hello", ie, a list of chars, or String
2021-04-20 01:26:15 +0200 <p0a> xsperry: oh! very interesting! I thought it went the other way around
2021-04-20 01:26:19 +0200 <geekosaur> as it turns out Haskell's String type is just a list of Char, and the Show instance accordingly assumes any such list of Char is a String
2021-04-20 01:26:23 +0200 <mason_> :t ['h', 'e', 'l', 'l', 'o']
2021-04-20 01:26:25 +0200 <lambdabot> [Char]
2021-04-20 01:26:28 +0200 <mason_> :t ["h", "e", "l", "l", "o"]
2021-04-20 01:26:29 +0200 <lambdabot> [[Char]]
2021-04-20 01:26:59 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-20 01:27:49 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-04-20 01:28:03 +0200ph88(~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds)
2021-04-20 01:28:22 +0200chenin(bab7243e@186.183.36.62) ()
2021-04-20 01:28:34 +0200 <tatsumaru> so the first one is list of chars and the second one is a list of list of chars?
2021-04-20 01:28:41 +0200 <mason_> yes
2021-04-20 01:28:58 +0200 <tatsumaru> i see, thanks
2021-04-20 01:29:02 +0200 <koz_> Is there a way to use an OPTIONS_GHC pragma to _disable_ the use of a plugin?
2021-04-20 01:29:02 +0200 <mason_> also, String is type alias for [Char]
2021-04-20 01:29:07 +0200 <geekosaur> > ['h', 'e', 'l', 'l', 'o']
2021-04-20 01:29:09 +0200 <lambdabot> "hello"
2021-04-20 01:29:16 +0200 <geekosaur> same thing
2021-04-20 01:29:56 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-lrjabllucnezjrom) (Quit: Connection closed for inactivity)
2021-04-20 01:30:33 +0200 <jesystani> ive got a ! pattern going, but it seems like it doesnt go recursively?
2021-04-20 01:30:44 +0200p0a(~user@unaffiliated/p0a) ("bye")
2021-04-20 01:31:04 +0200 <geekosaur> !, or seq, only evaluates to the first constructor, not recursively
2021-04-20 01:31:21 +0200 <geekosaur> if you truly want to evaluate an entire structure, consider deepseq and friends
2021-04-20 01:31:33 +0200 <geekosaur> you may need NFData instances for your types
2021-04-20 01:32:26 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-20 01:33:39 +0200dmytrish(~mitra@2a02:8084:a82:d900:fdd2:ac3d:3471:66d9) (Ping timeout: 248 seconds)
2021-04-20 01:34:27 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-20 01:34:54 +0200sqrt2(~ben@unaffiliated/sqrt2)
2021-04-20 01:36:05 +0200 <mason_> /join #electronics
2021-04-20 01:36:08 +0200 <mason_> woops!
2021-04-20 01:38:13 +0200 <jesystani> geekosaur: how easy is it to write an NFData instance?
2021-04-20 01:38:43 +0200barakkl1993(~barakkley@2.55.141.207) (Ping timeout: 265 seconds)
2021-04-20 01:38:48 +0200 <geekosaur> fairly easy, you're just telling it which fields to evaluate (you cannot, for example, do much with a function)
2021-04-20 01:40:08 +0200 <mason_> when I used NFData I just did instance NFData MyType where rnf = genericRnf
2021-04-20 01:40:34 +0200 <mason_> I think you need DeriveGeneric for that
2021-04-20 01:40:36 +0200 <tatsumaru> if b is a list and I do 4:b to add 4 at the beginning the list with 4 at the beginning is actually a new list right, and not b?
2021-04-20 01:41:13 +0200 <geekosaur> it is a list cell whose head contains the new list item and whose tail is the original b
2021-04-20 01:41:45 +0200 <tatsumaru> i am just asking because if I then do b !! 2 the 4 won't be counted
2021-04-20 01:41:53 +0200 <jesystani> wheres the best place to find info on defining that instance?
2021-04-20 01:42:02 +0200 <mason_> yep, tail is shared. because b is immutable, new list can just reuse it without worrying that it may change in the future
2021-04-20 01:42:41 +0200 <tatsumaru> i see, thank you
2021-04-20 01:42:42 +0200 <monochrom> b is reused, not cloned. A new cell is made to point to 4 and point to b.
2021-04-20 01:43:12 +0200 <tatsumaru> so it's like a symlink?
2021-04-20 01:43:21 +0200aVikingTrex(2be74510@43.231.69.16)
2021-04-20 01:43:26 +0200 <monochrom> "new list" is ambiguous unless you really mean it literally, in which case "obviously yes but obviously not what you have in mind"
2021-04-20 01:43:28 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:e9eb:b23:a363:a349)
2021-04-20 01:44:05 +0200Jd007(~Jd007@162.156.11.151)
2021-04-20 01:44:08 +0200 <monochrom> as new as "4+1 is a newer number than 4"
2021-04-20 01:44:23 +0200hiroaki_(~hiroaki@2a02:8108:8c40:2bb8:bd38:fd76:9bf:a5f) (Ping timeout: 260 seconds)
2021-04-20 01:45:12 +0200 <geekosaur> tatsumaru, they are the same pointer
2021-04-20 01:45:25 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:e9eb:b23:a363:a349) (Client Quit)
2021-04-20 01:46:55 +0200tatsumaru(~tatsumaru@85.196.189.103) ()
2021-04-20 01:47:21 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-20 01:49:45 +0200ericsagnes(~ericsagne@2405:6580:0:5100:82c:fa7c:5833:ee7a) (Ping timeout: 250 seconds)
2021-04-20 01:50:48 +0200sqrt2(~ben@unaffiliated/sqrt2) (Ping timeout: 265 seconds)
2021-04-20 01:51:30 +0200loller_(uid358106@gateway/web/irccloud.com/x-lstrgyekfcdepwsa)
2021-04-20 01:52:25 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds)
2021-04-20 01:52:32 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-20 01:52:47 +0200jesystani(~thorn@2404:4404:17f1:4900:ec8c:5f5b:2c7a:5e7) (Ping timeout: 260 seconds)
2021-04-20 01:53:28 +0200jesystani(~thorn@2404:4404:17f1:4900:4d97:c743:fd22:2bfd)
2021-04-20 01:55:11 +0200xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-04-20 01:55:29 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-04-20 01:56:09 +0200xsperry(~as@unaffiliated/xsperry)
2021-04-20 01:59:33 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 01:59:53 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-20 02:02:59 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 02:03:06 +0200ericsagnes(~ericsagne@2405:6580:0:5100:e608:c88b:5ed1:a466)
2021-04-20 02:04:13 +0200fiedlr(~fiedlr@83.148.33.254) (Ping timeout: 240 seconds)
2021-04-20 02:04:44 +0200zq(~zq@xorshift.org) ()
2021-04-20 02:17:28 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-20 02:18:21 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds)
2021-04-20 02:18:50 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-04-20 02:18:57 +0200Guest70321(~textual@mskresolve-a.mskcc.org) (Ping timeout: 260 seconds)
2021-04-20 02:19:21 +0200sqrt2(~ben@unaffiliated/sqrt2)
2021-04-20 02:21:49 +0200gitgood(~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Remote host closed the connection)
2021-04-20 02:26:20 +0200 <toasty_avocado[m> How do I make the second line in this statement syntactically correct:
2021-04-20 02:26:23 +0200toasty_avocado[m < https://matrix.org/_matrix/media/r0/download/matrix.org/OVUmrfiGuozFYXzgftvuxgUl/message.txt >
2021-04-20 02:26:52 +0200toasty_avocado[m < https://matrix.org/_matrix/media/r0/download/matrix.org/UjjlBapJjZbgBTRIOTOxMUKN/message.txt >
2021-04-20 02:27:08 +0200 <toasty_avocado[m> * ```twice_as_old father son | difference / 2 = 0 = difference | otherwise = (father - 1) `twice_as_old` son where difference = father - son```
2021-04-20 02:27:57 +0200toasty_avocado[m < https://matrix.org/_matrix/media/r0/download/matrix.org/sTEZxBvvBIzcraZkPHpMZexl/message.txt >
2021-04-20 02:28:09 +0200toasty_avocado[m < https://matrix.org/_matrix/media/r0/download/matrix.org/JdSTSxyVDesrWNmNlNMklltO/message.txt >
2021-04-20 02:29:13 +0200Alleria(~textual@2603-7000-3040-0000-6507-b6e6-e1a7-946f.res6.spectrum.com)
2021-04-20 02:29:36 +0200AlleriaGuest88007
2021-04-20 02:29:51 +0200 <geekosaur> you're using = for equality, it's ==
2021-04-20 02:31:12 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-04-20 02:37:25 +0200nineonine(~nineonine@2604:3d08:7785:9600:e0d9:4197:14e4:81a) (Ping timeout: 250 seconds)
2021-04-20 02:37:41 +0200nineonine(~nineonine@50.216.62.2)
2021-04-20 02:41:04 +0200 <toasty_avocado[m> Thanks geekosaur
2021-04-20 02:41:44 +0200thc202(~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds)
2021-04-20 02:43:29 +0200haritz(~hrtz@unaffiliated/haritz) (Ping timeout: 250 seconds)
2021-04-20 02:43:46 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 02:43:57 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 02:44:25 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-20 02:46:01 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-04-20 02:48:21 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-04-20 02:49:15 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 02:49:19 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2021-04-20 02:49:19 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2021-04-20 02:49:19 +0200haritz(~hrtz@unaffiliated/haritz)
2021-04-20 02:51:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 02:52:35 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:5d1c:812e:1a75:163c) (Ping timeout: 250 seconds)
2021-04-20 02:52:59 +0200jesystani(~thorn@2404:4404:17f1:4900:4d97:c743:fd22:2bfd) (Ping timeout: 260 seconds)
2021-04-20 02:53:23 +0200 <toasty_avocado[m> How do you type cast an int to a float?
2021-04-20 02:53:46 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-04-20 02:53:51 +0200jesystani(~thorn@2404:4404:17f1:4900:5df:d6d:b137:d7c2)
2021-04-20 02:55:05 +0200 <geekosaur> fromIntegral
2021-04-20 02:55:24 +0200ram19890(~ram@183.83.155.58)
2021-04-20 02:56:40 +0200rajivr(uid269651@gateway/web/irccloud.com/x-xhstqsvcchluvrrc)
2021-04-20 02:57:33 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-04-20 03:01:28 +0200Codaraxis__(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2021-04-20 03:02:21 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 03:02:45 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-04-20 03:03:06 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-04-20 03:04:06 +0200 <Axman6> toasty_avocado[m: to be clear, we don't cast things in Haskell. we use functions
2021-04-20 03:04:30 +0200ludi49(~hryhorij@ip595.t15.ds.pwr.wroc.pl) (Ping timeout: 268 seconds)
2021-04-20 03:04:59 +0200Codaraxis_(Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 246 seconds)
2021-04-20 03:05:31 +0200viluon(uid453725@gateway/web/irccloud.com/x-iaenozwsdlvnenzz) (Quit: Connection closed for inactivity)
2021-04-20 03:06:37 +0200 <toasty_avocado[m> ok thanks!
2021-04-20 03:06:42 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds)
2021-04-20 03:07:52 +0200elliott__(~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-04-20 03:08:08 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-04-20 03:11:17 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-04-20 03:12:24 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-04-20 03:16:02 +0200elliott__(~elliott@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-20 03:19:05 +0200mason_(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/)
2021-04-20 03:19:06 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:3c9f:7dbb:c98e:3fdd) (Ping timeout: 258 seconds)
2021-04-20 03:20:33 +0200Alamarw(49c86555@c-73-200-101-85.hsd1.md.comcast.net)
2021-04-20 03:20:50 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1)
2021-04-20 03:21:19 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-04-20 03:21:31 +0200Tario(~Tario@201.192.165.173)
2021-04-20 03:21:38 +0200slack1256(~slack1256@200-112-79-98.baf.movistar.cl)
2021-04-20 03:22:04 +0200jesystani(~thorn@2404:4404:17f1:4900:5df:d6d:b137:d7c2) (Ping timeout: 245 seconds)
2021-04-20 03:22:29 +0200xff0x(~xff0x@2001:1a81:52f2:b700:d92:ea7f:92b1:dda) (Ping timeout: 250 seconds)
2021-04-20 03:24:24 +0200drbean_(~drbean@TC210-63-209-197.static.apol.com.tw)
2021-04-20 03:25:00 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:49df:8384:cfbc:e28d)
2021-04-20 03:25:00 +0200xff0x(~xff0x@2001:1a81:5214:2600:9688:e220:3a3b:b1e5)
2021-04-20 03:25:05 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-20 03:25:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-20 03:28:22 +0200slack1256(~slack1256@200-112-79-98.baf.movistar.cl) (Remote host closed the connection)
2021-04-20 03:30:13 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds)
2021-04-20 03:32:36 +0200elliott__(~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Quit: WeeChat 3.1)
2021-04-20 03:33:56 +0200elliott_(~elliott@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-20 03:34:12 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-20 03:36:19 +0200pjb(~pjb@2a01cb04063ec50074da953aa01bf5c6.ipv6.abo.wanadoo.fr) (Ping timeout: 248 seconds)
2021-04-20 03:37:13 +0200berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds)
2021-04-20 03:37:33 +0200berberman(~berberman@unaffiliated/berberman)
2021-04-20 03:42:21 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection)
2021-04-20 03:45:18 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-20 03:46:24 +0200falafel_(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-20 03:47:04 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net)
2021-04-20 03:48:49 +0200landonf(landonf@mac68k.info) (Excess Flood)
2021-04-20 03:49:48 +0200landonf(landonf@mac68k.info)
2021-04-20 03:51:20 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2021-04-20 03:57:52 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 240 seconds)
2021-04-20 04:00:41 +0200elliott_(~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-04-20 04:02:16 +0200Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds)
2021-04-20 04:05:28 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-20 04:09:52 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-04-20 04:13:16 +0200hexfive(~hexfive@50.35.83.177)
2021-04-20 04:14:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-04-20 04:14:35 +0200Stanley|00(~stanley00@unaffiliated/stanley00)
2021-04-20 04:15:34 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 252 seconds)
2021-04-20 04:19:09 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-20 04:19:34 +0200Stanley|00(~stanley00@unaffiliated/stanley00) (Ping timeout: 252 seconds)
2021-04-20 04:19:42 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-04-20 04:21:23 +0200jesystani(~thorn@2404:4404:17f1:4900:673a:e6bd:c719:dec4)
2021-04-20 04:21:59 +0200Jd007(~Jd007@162.156.11.151)
2021-04-20 04:23:43 +0200dansho(~dansho@ec2-54-168-196-255.ap-northeast-1.compute.amazonaws.com)
2021-04-20 04:24:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-04-20 04:28:22 +0200st13g(~quassel@47.90.246.232)
2021-04-20 04:30:33 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 260 seconds)
2021-04-20 04:34:45 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2021-04-20 04:35:02 +0200kini(~kini@unaffiliated/kini) (Remote host closed the connection)
2021-04-20 04:36:17 +0200Alamarw(49c86555@c-73-200-101-85.hsd1.md.comcast.net) (Quit: Connection closed)
2021-04-20 04:36:20 +0200kini(~kini@unaffiliated/kini)
2021-04-20 04:36:57 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-04-20 04:37:53 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net)
2021-04-20 04:38:36 +0200jschof(4a226035@74.34.96.53)
2021-04-20 04:40:46 +0200theDon(~td@94.134.91.223) (Ping timeout: 240 seconds)
2021-04-20 04:41:11 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-20 04:41:31 +0200elliott_(~elliott@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-20 04:42:18 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2021-04-20 04:42:48 +0200theDon(~td@muedsl-82-207-238-085.citykom.de)
2021-04-20 04:44:53 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 04:45:42 +0200FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-04-20 04:45:42 +0200finn_elijaGuest11909
2021-04-20 04:45:42 +0200FinnElijafinn_elija
2021-04-20 04:46:44 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-20 04:47:14 +0200jschof(4a226035@74.34.96.53) (Quit: Connection closed)
2021-04-20 04:49:09 +0200Guest11909(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-04-20 04:50:41 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-20 04:50:51 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-20 04:51:52 +0200fiedlr(~fiedlr@83.148.33.254) (Ping timeout: 252 seconds)
2021-04-20 04:52:23 +0200jschofield(~jschofiel@74.34.96.53)
2021-04-20 04:53:34 +0200Matthias1(~matthias@li890-22.members.linode.com)
2021-04-20 04:55:09 +0200 <jschofield> who
2021-04-20 04:56:27 +0200Tario(~Tario@201.192.165.173)
2021-04-20 05:00:45 +0200jschofield(~jschofiel@74.34.96.53) (Quit: leaving)
2021-04-20 05:02:05 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-20 05:05:09 +0200LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Ping timeout: 240 seconds)
2021-04-20 05:08:56 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-fxkopagyhurwlxby) ()
2021-04-20 05:10:25 +0200rnat2(uid73555@gateway/web/irccloud.com/x-npgffezputfwgsjb)
2021-04-20 05:13:51 +0200jesystani(~thorn@2404:4404:17f1:4900:673a:e6bd:c719:dec4) (Ping timeout: 250 seconds)
2021-04-20 05:14:44 +0200jesystani(~thorn@2404:4404:17f1:4900:d29c:def4:f106:7586)
2021-04-20 05:14:58 +0200mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 252 seconds)
2021-04-20 05:18:09 +0200mrchampion(~mrchampio@38.18.109.23)
2021-04-20 05:21:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 05:22:30 +0200falafel_(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-04-20 05:29:11 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 246 seconds)
2021-04-20 05:44:51 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-20 05:46:43 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-pqcbjjfbbjmsxwwn) (Quit: Connection closed for inactivity)
2021-04-20 05:47:27 +0200jao(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-04-20 05:47:52 +0200pjb(~pjb@2a01cb04063ec500ad42b45c394adc0f.ipv6.abo.wanadoo.fr)
2021-04-20 05:51:01 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-04-20 05:55:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-20 05:56:02 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-20 05:56:58 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-20 06:00:22 +0200SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2021-04-20 06:01:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-20 06:01:12 +0200SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2021-04-20 06:02:16 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-20 06:03:16 +0200philderbeast(~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-20 06:03:49 +0200isovector(~isovector@172.103.216.166)
2021-04-20 06:04:05 +0200 <isovector> can anyone show me why this diverges?
2021-04-20 06:04:09 +0200 <isovector> knot :: State (Set String) a -> a
2021-04-20 06:04:11 +0200 <isovector> knot m = fst $ fix $ \(_, used) -> runState m used
2021-04-20 06:04:18 +0200 <isovector> i'd expect `knot $ pure True` to be `True`
2021-04-20 06:04:32 +0200 <isovector> importing Control.Monad.State.Lazy
2021-04-20 06:05:25 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-20 06:05:55 +0200 <isovector> ohh is it the lambda?
2021-04-20 06:06:51 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:5d5d:73a8:97:bab4)
2021-04-20 06:07:18 +0200 <isovector> wow. using a tilde fixes it
2021-04-20 06:07:21 +0200 <isovector> no pun intended :)
2021-04-20 06:08:58 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-dagvmnchyestqbjc) (Quit: Connection closed for inactivity)
2021-04-20 06:09:25 +0200elliott_(~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-04-20 06:09:39 +0200 <c_wraith> so using snd would also fix it
2021-04-20 06:10:45 +0200nineonine(~nineonine@50.216.62.2)
2021-04-20 06:10:53 +0200nineonine(~nineonine@50.216.62.2) (Remote host closed the connection)
2021-04-20 06:11:18 +0200nineonine(~nineonine@50.216.62.2)
2021-04-20 06:11:25 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:5d5d:73a8:97:bab4) (Ping timeout: 258 seconds)
2021-04-20 06:12:57 +0200jesystani(~thorn@2404:4404:17f1:4900:d29c:def4:f106:7586) (Ping timeout: 258 seconds)
2021-04-20 06:13:44 +0200isovector(~isovector@172.103.216.166) ("WeeChat 3.1")
2021-04-20 06:14:05 +0200jesystani(~thorn@2404:4404:17f1:4900:5cee:f769:9f0a:b398)
2021-04-20 06:14:19 +0200alx741(~alx741@181.196.68.199) (Quit: alx741)
2021-04-20 06:22:08 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-20 06:22:43 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-20 06:25:48 +0200howdoi(uid224@gateway/web/irccloud.com/x-lfqvebqbrutpzvro) (Quit: Connection closed for inactivity)
2021-04-20 06:29:18 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-20 06:30:19 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-04-20 06:33:38 +0200plutoniix(~q@ppp-124-122-197-70.revip2.asianet.co.th)
2021-04-20 06:35:48 +0200falafel_(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-20 06:40:42 +0200mnrmnaughawk
2021-04-20 06:40:44 +0200 <Guest78317> hello haskell wizards
2021-04-20 06:40:59 +0200 <Guest78317> i have a thing that i just KNOW can be made horribly terse, but i am not sure how to do it
2021-04-20 06:41:02 +0200 <Guest78317> https://pastebin.com/0c5HxyRB
2021-04-20 06:41:15 +0200 <Guest78317> would anyone be willing to walk me through simplifying the code in that paste
2021-04-20 06:41:31 +0200 <Guest78317> i will appreciate it greatly!!
2021-04-20 06:42:07 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-04-20 06:43:24 +0200nitrix(~nitrix@haskell/developer/nitrix) (Quit: Genius is one percent inspiration and ninety-nine percent perspiration)
2021-04-20 06:43:36 +0200awkmnrmnaugh
2021-04-20 06:44:24 +0200 <Cale> func = maybe mempty (Map.fromListWith (++) . map (bar &&& bazzes)) foo -- perhaps?
2021-04-20 06:44:37 +0200 <Cale> oops, missed a (.)
2021-04-20 06:44:37 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 252 seconds)
2021-04-20 06:44:52 +0200 <Cale> func = maybe mempty (Map.fromListWith (++) . map (bar &&& bazzes)) . foo
2021-04-20 06:45:26 +0200 <Cale> I don't know if it's really much better. I probably wouldn't bother to avoid the case expression
2021-04-20 06:45:32 +0200nitrix(~nitrix@haskell/developer/nitrix)
2021-04-20 06:45:49 +0200 <Cale> But I also usually wouldn't define tups, and would inline that
2021-04-20 06:46:23 +0200 <Cale> I also don't mind the lambda
2021-04-20 06:46:45 +0200 <Cale> Using &&& is cute, but it's usually less easy to work with later
2021-04-20 06:47:00 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 06:47:46 +0200Sgeo__(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-20 06:47:54 +0200Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2021-04-20 06:48:05 +0200poljar1(~poljar@93-139-112-157.adsl.net.t-com.hr)
2021-04-20 06:48:07 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-04-20 06:48:07 +0200MVQq(~anja@198.254.208.159)
2021-04-20 06:48:08 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
2021-04-20 06:48:11 +0200poljar(~poljar@93-139-112-157.adsl.net.t-com.hr) (Read error: Connection reset by peer)
2021-04-20 06:48:11 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Read error: Connection reset by peer)
2021-04-20 06:48:20 +0200cpape(~user@static.180.18.203.116.clients.your-server.de) (Read error: Connection reset by peer)
2021-04-20 06:48:23 +0200puke(~vroom@217.138.252.184) (Remote host closed the connection)
2021-04-20 06:48:24 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-20 06:48:27 +0200cpape(~user@static.180.18.203.116.clients.your-server.de)
2021-04-20 06:48:32 +0200gawen_(~gawen@163.172.122.128)
2021-04-20 06:48:34 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-04-20 06:48:35 +0200pyuk(~vroom@217.138.252.184)
2021-04-20 06:48:39 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-20 06:49:11 +0200xsperry(~as@unaffiliated/xsperry) (Ping timeout: 240 seconds)
2021-04-20 06:50:41 +0200Sgeo_(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-20 06:50:42 +0200gawen(~gawen@movzbl.root.sx) (Ping timeout: 240 seconds)
2021-04-20 06:50:42 +0200MarcelineVQ(~anja@198.254.208.159) (Ping timeout: 240 seconds)
2021-04-20 06:51:26 +0200Codaraxis__(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 265 seconds)
2021-04-20 06:53:17 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-04-20 06:59:21 +0200 <Guest78317> lambdabot:
2021-04-20 06:59:27 +0200 <Guest78317> lambdabot: help
2021-04-20 06:59:32 +0200 <Guest78317> :help lambdabot
2021-04-20 07:00:03 +0200carlomagno(~cararell@148.87.23.8) (Quit: Leaving.)
2021-04-20 07:00:13 +0200 <Axman6> Guest78317: /msg lambdabot @help
2021-04-20 07:00:17 +0200 <Guest78317> oh
2021-04-20 07:01:16 +0200 <Guest78317> oh wow lambdabot pointfree just saved my life
2021-04-20 07:01:18 +0200 <Guest78317> wowie
2021-04-20 07:08:49 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-20 07:09:42 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-uwdxggeqquhliznf) (Quit: Connection closed for inactivity)
2021-04-20 07:12:33 +0200malumore_(~malumore@151.62.126.110)
2021-04-20 07:13:27 +0200jesystani(~thorn@2404:4404:17f1:4900:5cee:f769:9f0a:b398) (Ping timeout: 250 seconds)
2021-04-20 07:14:23 +0200jesystani(~thorn@2404:4404:17f1:4900:746:76fb:2b67:7367)
2021-04-20 07:16:50 +0200 <sm[m]> Guest78317: firing squad at dawn if you didn't make it shorter eh ?
2021-04-20 07:17:01 +0200 <Guest78317> kinda
2021-04-20 07:17:16 +0200 <Guest78317> more like embarrassing myself in front of the guy that hired me
2021-04-20 07:17:30 +0200 <Guest78317> which id prefer to not do because i would like to keep getting paid to write this sort of haskell
2021-04-20 07:17:43 +0200kiweun(~kiweun@2607:fea8:2a62:9600:b5bb:e6d4:94df:23fa) (Remote host closed the connection)
2021-04-20 07:18:06 +0200 <Guest78317> i just need the opportunity to get paid to write haskell and i get better so quickly but
2021-04-20 07:18:10 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 07:18:15 +0200 <Guest78317> these opportunities are rare compared to solidity....
2021-04-20 07:23:59 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-04-20 07:27:57 +0200__minoru__shirae(~shiraeesh@5.101.59.44)
2021-04-20 07:32:04 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-04-20 07:35:29 +0200thc202(~thc202@unaffiliated/thc202)
2021-04-20 07:37:34 +0200 <Axman6> Guest78317: congrats on the job :) Worth keeping in mind the Haskell community is pretty small, so you may have colleagues in here :P
2021-04-20 07:37:53 +0200 <Guest78317> oh i almost certainly do
2021-04-20 07:38:03 +0200 <Axman6> "small" is a lot larger than when I started though, and now I'm on job #5ish using Haskell
2021-04-20 07:38:49 +0200 <Guest78317> i have an FT thing starting in september that i am like absolutely praying i can get to write something functional at least
2021-04-20 07:38:55 +0200 <Guest78317> i think rust is likely
2021-04-20 07:39:00 +0200 <Guest78317> which, meh. could be worse
2021-04-20 07:39:44 +0200falafel_(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-04-20 07:39:59 +0200 <Guest78317> i applied to co-star and they ignored me :| and i dont wanna work at facebook for the love of god
2021-04-20 07:40:32 +0200 <Guest78317> don't know what other options there are out there but in5ish years i might be in here asking for places to apply
2021-04-20 07:40:42 +0200 <gnumonic> rust is fun. i made the mistake of learning haskell as a first language (self-taught) and of all the other languages i tried rust was the only one that didn't kind of feel like pulling my own teeth out
2021-04-20 07:40:48 +0200 <gnumonic> though i wish it had higher kinded types :-(
2021-04-20 07:41:24 +0200 <juri_> Guest78317: good luck. :)
2021-04-20 07:41:25 +0200 <Axman6> yeah :(
2021-04-20 07:41:48 +0200 <Axman6> gnumonic: you'd be surprised how many places there are these days. There's plenty of places which aren't Facebook
2021-04-20 07:41:55 +0200 <Axman6> uh, Guest78317
2021-04-20 07:42:14 +0200 <Guest78317> i was talking to a few trading shops but i want to do open source more than trading
2021-04-20 07:42:38 +0200 <Guest78317> like nonhaskell meaningful open source work is a higher priority for me than haskell trading
2021-04-20 07:43:05 +0200 <juri_> Good on you. there are haskell free software shops. I happen to work at one.
2021-04-20 07:43:06 +0200 <Axman6> plenty of the companies doing cryptocurrency stuff do much of it as open source
2021-04-20 07:43:24 +0200 <Axman6> juri_: mind if I ask where? always good to know who there is
2021-04-20 07:43:34 +0200 <juri_> Axman6: wire.com
2021-04-20 07:43:51 +0200 <Axman6> oh nice, considered applying there since I know what they do
2021-04-20 07:43:58 +0200 <Guest78317> libp2p has an up-and-coming haskell implementation that i am like fingers-crossed someone will let me hack on
2021-04-20 07:44:08 +0200 <Guest78317> but that's really the only corner of the place i'm headed that is haskelly afaik
2021-04-20 07:44:28 +0200 <Axman6> get plenty of shoutouts on Security, Privacy and OSINT podcast for Wire
2021-04-20 07:44:39 +0200 <Guest78317> what other free software shops? im not going to like flake on my plans but im also just curious for more info on where i might hack in the future
2021-04-20 07:44:52 +0200 <gaze__> hey folks -- is there a good recommended library for talking to subprocesses?
2021-04-20 07:44:58 +0200 <Axman6> uh, "since I like what they do" no idea how that became know
2021-04-20 07:45:05 +0200 <juri_> Axman6: I'd recommend working here. put in an odd application, you might be surprised.
2021-04-20 07:45:07 +0200 <gaze__> I'm not even sure if pipes are the recommended way to plumb things together these days
2021-04-20 07:45:16 +0200 <Axman6> gaze__: talking how?
2021-04-20 07:45:31 +0200 <Guest78317> gaze__: you should call out to AWS and reverse shell back in
2021-04-20 07:45:32 +0200 <gaze__> just plumbing stdin and stdout, killing, starting
2021-04-20 07:45:39 +0200 <Guest78317> spawn an nginx instance for each
2021-04-20 07:45:44 +0200 <gaze__> disgusting
2021-04-20 07:45:46 +0200 <Guest78317> ok that wasn't even funny im just sleepy sorry folks
2021-04-20 07:45:53 +0200 <gaze__> yeah I'm upset now
2021-04-20 07:46:05 +0200 <gaze__> u better be sorry
2021-04-20 07:46:08 +0200 <Guest78317> dw
2021-04-20 07:46:27 +0200 <Axman6> juri_: You might struggle to beat my current contracting rate but I will consider it. I'd love to get the opportunity to play with more cryptography in HAskell, I did the recent BSIdes CTF all in Haskell and smashed out most of the crypto challenges
2021-04-20 07:46:37 +0200 <gnumonic> actually since this is on topic: is there a good central place to look for haskell jobs? the big sites seem like kind of a wash (search linkedin for haskell, 20k c++ jobs pops up)
2021-04-20 07:46:37 +0200 <Guest78317> Axman6: what team lol do i know you
2021-04-20 07:46:57 +0200 <Axman6> I was by myself - this was BSides Canberra
2021-04-20 07:47:12 +0200 <Guest78317> also i think the crypto library in haskell is missing primitives last time i tried to play with it
2021-04-20 07:47:14 +0200 <Axman6> @google functionaljobs
2021-04-20 07:47:15 +0200 <lambdabot> No Result Found.
2021-04-20 07:47:22 +0200 <Axman6> u wot
2021-04-20 07:47:38 +0200 <Axman6> Guest78317: "The crypto library"?
2021-04-20 07:47:51 +0200 <Axman6> there's plenty, but I've always found what I needed in cryptonite
2021-04-20 07:48:03 +0200 <Guest78317> cryptonite
2021-04-20 07:48:27 +0200 <Guest78317> i spent about 10 minutes like "noise protocol????" but then stuff was missing so i went and did other things instead
2021-04-20 07:49:36 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-04-20 07:49:50 +0200ashesham`(~user@d8D87D1B0.access.telenet.be)
2021-04-20 07:49:54 +0200 <Guest78317> srsly tho my background is "cryptography/distsys/machine learning master's" and lately "blockchain: have to fund the skincare addiction somehow", if anyone can rattle off places
2021-04-20 07:50:20 +0200 <Guest78317> i wanna have them on my rader for when i eventually leave this FT place and want to consult in a language that makes me happy
2021-04-20 07:52:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 07:58:16 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-20 07:59:42 +0200thaumavorio(~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in)
2021-04-20 08:03:01 +0200thaumavorio(~thaumavor@thaumavor.io)
2021-04-20 08:04:25 +0200__minoru__shirae(~shiraeesh@5.101.59.44) (Ping timeout: 265 seconds)
2021-04-20 08:07:51 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-20 08:07:59 +0200 <Axman6> there is an implementation of the noise protocol in Haskell, the implementation of Wireguard relies on it (though that project is now abandoned by the wireguard authors). noise is definitely not crypto primitives though
2021-04-20 08:08:13 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 252 seconds)
2021-04-20 08:08:28 +0200 <gaze__> oh also -- are conduit and pipes the recommended IO libraries these days, or is there something more modern?
2021-04-20 08:08:40 +0200__minoru__shirae(~shiraeesh@5.101.59.44)
2021-04-20 08:09:00 +0200 <Axman6> IOHK would be probably the best known cryptocurrency/blockchain option, then there's where I'm contracted, Digital Asset, and a few others
2021-04-20 08:09:52 +0200 <Axman6> gaze__: I ahven't used any for a while, but I found conduit fairly easy to use. streaming is quite nice, streamly is supposed to be fast but I've never used it
2021-04-20 08:13:10 +0200dolio(~dolio@haskell/developer/dolio) (Ping timeout: 252 seconds)
2021-04-20 08:13:59 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-04-20 08:15:01 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 260 seconds)
2021-04-20 08:15:29 +0200viluon(uid453725@gateway/web/irccloud.com/x-vyqobkrpvjjkrljw)
2021-04-20 08:18:34 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-04-20 08:19:38 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-20 08:22:22 +0200Sornaens1(~Sornaensi@85.203.36.21)
2021-04-20 08:22:45 +0200dolio(~dolio@haskell/developer/dolio)
2021-04-20 08:23:04 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-04-20 08:23:38 +0200chele(~chele@5.53.222.202)
2021-04-20 08:24:10 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-04-20 08:25:08 +0200Sgeo__(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-20 08:25:09 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-20 08:25:49 +0200jesystani(~thorn@2404:4404:17f1:4900:746:76fb:2b67:7367) (Ping timeout: 250 seconds)
2021-04-20 08:26:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-04-20 08:26:44 +0200jesystani(~thorn@2404:4404:17f1:4900:e0ee:a921:39f9:daa0)
2021-04-20 08:29:29 +0200malumore_(~malumore@151.62.126.110) (Ping timeout: 260 seconds)
2021-04-20 08:30:47 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-20 08:31:32 +0200dolio(~dolio@haskell/developer/dolio) (Ping timeout: 246 seconds)
2021-04-20 08:31:51 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 08:31:53 +0200Sornaensis(~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-04-20 08:35:07 +0200Sornaens1(~Sornaensi@85.203.36.21) (Read error: Connection reset by peer)
2021-04-20 08:36:19 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-04-20 08:43:14 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-20 08:46:11 +0200 <koz_> Pipes is also pretty good. Conduit has a bigger ecosystem I think.
2021-04-20 08:46:57 +0200jao(~jao@pdpc/supporter/professional/jao) (Ping timeout: 265 seconds)
2021-04-20 08:47:08 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-04-20 08:47:16 +0200ystael(~ystael@209.6.50.55) (Ping timeout: 252 seconds)
2021-04-20 08:48:02 +0200nineonine(~nineonine@50.216.62.2)
2021-04-20 08:52:11 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 246 seconds)
2021-04-20 08:52:28 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-04-20 08:54:32 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-04-20 08:54:35 +0200Wizek(uid191769@gateway/web/irccloud.com/x-xmeffajrmhvrulqs)
2021-04-20 08:57:05 +0200malumore_(~malumore@151.62.126.110)
2021-04-20 08:57:19 +0200jakalx(~jakalx@base.jakalx.net)
2021-04-20 08:59:05 +0200ystael(~ystael@209.6.50.55)
2021-04-20 09:00:03 +0200rnat2(uid73555@gateway/web/irccloud.com/x-npgffezputfwgsjb) (Quit: Connection closed for inactivity)
2021-04-20 09:00:45 +0200xsperry(~as@unaffiliated/xsperry)
2021-04-20 09:01:10 +0200lovesegfault(~bemeurer@37.219.94.34.bc.googleusercontent.com)
2021-04-20 09:03:27 +0200ircbrowse_tom(~ircbrowse@64.225.78.177)
2021-04-20 09:03:27 +0200Server+CLnt
2021-04-20 09:06:02 +0200zeenk(~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75)
2021-04-20 09:08:04 +0200 <Uniaika> @hoogle concatMap
2021-04-20 09:08:05 +0200 <lambdabot> Prelude concatMap :: Foldable t => (a -> [b]) -> t a -> [b]
2021-04-20 09:08:05 +0200 <lambdabot> Data.List concatMap :: Foldable t => (a -> [b]) -> t a -> [b]
2021-04-20 09:08:05 +0200 <lambdabot> Data.Foldable concatMap :: Foldable t => (a -> [b]) -> t a -> [b]
2021-04-20 09:08:10 +0200 <Uniaika> lovesegfault: ^ ?
2021-04-20 09:10:51 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 260 seconds)
2021-04-20 09:11:11 +0200 <lovesegfault> Uniaika: Ah, yes, that looks like it!
2021-04-20 09:11:13 +0200 <lovesegfault> Thanks :)
2021-04-20 09:11:36 +0200 <Uniaika> lovesegfault: 👍 have fun in Haskell-land!
2021-04-20 09:14:15 +0200xff0x(~xff0x@2001:1a81:5214:2600:9688:e220:3a3b:b1e5) (Ping timeout: 260 seconds)
2021-04-20 09:15:11 +0200xff0x(~xff0x@2001:1a81:5214:2600:9556:d2d0:9e03:65e7)
2021-04-20 09:15:51 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-04-20 09:15:56 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-04-20 09:17:45 +0200sagax(~sagax_nb@213.138.71.146) (Remote host closed the connection)
2021-04-20 09:18:11 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-04-20 09:19:28 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-04-20 09:21:11 +0200ystael(~ystael@209.6.50.55) (Ping timeout: 240 seconds)
2021-04-20 09:22:27 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection)
2021-04-20 09:26:23 +0200jesystani(~thorn@2404:4404:17f1:4900:e0ee:a921:39f9:daa0) (Ping timeout: 260 seconds)
2021-04-20 09:27:05 +0200jesystani(~thorn@2404:4404:17f1:4900:5d5d:4b64:8f45:cb7b)
2021-04-20 09:27:58 +0200 <lovesegfault> The syntax is a bit alien right now, but I'm sure I'll get used to it :P
2021-04-20 09:28:04 +0200ystael(~ystael@209.6.50.55)
2021-04-20 09:28:28 +0200hiroaki_(~hiroaki@2a02:8108:8c40:2bb8:2126:aa80:b49b:4f77)
2021-04-20 09:29:19 +0200michalz(~user@185.246.204.47)
2021-04-20 09:30:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 09:30:41 +0200ashesham`(~user@d8D87D1B0.access.telenet.be) (Ping timeout: 246 seconds)
2021-04-20 09:30:51 +0200ashesham`(~user@d8D87D1B0.access.telenet.be)
2021-04-20 09:33:06 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-20 09:33:07 +0200garFF(~garff@0x3e2c8755.mobile.telia.dk)
2021-04-20 09:33:27 +0200Varis(~Tadas@unaffiliated/varis)
2021-04-20 09:37:22 +0200 <Axman6> lovesegfault: flatMap is the name others have given to Haskell's (>>=) (pronounced bind), and you'll find list's implementation of the Monad class defines (>>=) as concatMap
2021-04-20 09:37:26 +0200__minoru__shirae(~shiraeesh@5.101.59.44) (Ping timeout: 240 seconds)
2021-04-20 09:38:45 +0200garFF(~garff@0x3e2c8755.mobile.telia.dk) (Quit: Leaving)
2021-04-20 09:41:06 +0200michalz(~user@185.246.204.47) (Ping timeout: 240 seconds)
2021-04-20 09:41:32 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds)
2021-04-20 09:41:48 +0200michalz(~user@185.246.204.61)
2021-04-20 09:43:45 +0200s00pcan(~chris@107.181.165.217)
2021-04-20 09:43:48 +0200johny9(~bc8134e3@217.29.117.252)
2021-04-20 09:45:39 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-04-20 09:46:13 +0200nyd(~nyd@unaffiliated/elysian)
2021-04-20 09:47:06 +0200tlgl^nix(~damien@S0106008ef25e98fb.su.shawcable.net) (Ping timeout: 240 seconds)
2021-04-20 09:47:49 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-04-20 09:48:21 +0200dolio(~dolio@haskell/developer/dolio)
2021-04-20 09:48:38 +0200 <johny9> hi. can someone explain how this works?
2021-04-20 09:48:46 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 240 seconds)
2021-04-20 09:48:51 +0200 <johny9> > [ (a,b,c) | c <- [1..], b <- [1..c], a <- [1..b], a^2 + b^2 == c^2 ]
2021-04-20 09:48:55 +0200 <lambdabot> [(3,4,5),(6,8,10),(5,12,13),(9,12,15),(8,15,17),(12,16,20),(15,20,25),(7,24,...
2021-04-20 09:51:18 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-20 09:51:20 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) ()
2021-04-20 09:51:25 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-20 09:51:36 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Quit: dpl)
2021-04-20 09:51:53 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-20 09:52:05 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-04-20 09:54:35 +0200timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee)
2021-04-20 09:54:43 +0200Feuermagier(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection)
2021-04-20 09:55:07 +0200 <timCF> Hello! Is there well-known name for `((f <$>) <$>)` ?
2021-04-20 09:55:19 +0200 <timCF> For example to map over functor in IO
2021-04-20 09:56:42 +0200__minoru__shirae(~shiraeesh@5.101.59.44)
2021-04-20 09:57:37 +0200nicholas_(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee)
2021-04-20 09:58:11 +0200todda7(~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds)
2021-04-20 10:02:11 +0200nicholas_(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee) (Ping timeout: 258 seconds)
2021-04-20 10:03:22 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-04-20 10:05:09 +0200jophish__(ca536851@202.83.104.81)
2021-04-20 10:07:15 +0200fiedlr(~fiedlr@83.148.33.254) ()
2021-04-20 10:07:30 +0200zaquest(~notzaques@5.128.210.178)
2021-04-20 10:08:07 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-04-20 10:10:21 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-04-20 10:13:22 +0200akhesacaro(~caro@212.83.144.58) (Quit: leaving)
2021-04-20 10:18:47 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-20 10:21:05 +0200 <edwardk> timcf: fmap.fmap fmap.fmap.fmap build up the ability to map over layers like these in series. lenses generalize this pattern. cale (used to advocate for . being a better name for fmap, so the names :. for fmap . fmap = (.).(.) came up in various flavors, but its not standardly packaged into base.
2021-04-20 10:24:06 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
2021-04-20 10:26:14 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-20 10:26:26 +0200jesystani(~thorn@2404:4404:17f1:4900:5d5d:4b64:8f45:cb7b) (Remote host closed the connection)
2021-04-20 10:26:46 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-20 10:26:52 +0200jesystani(~thorn@2404:4404:17f1:4900:e17d:57ca:df47:fd0b)
2021-04-20 10:28:11 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-20 10:28:26 +0200LKoen(~LKoen@92.163.9.109.rev.sfr.net)
2021-04-20 10:28:27 +0200todda7(~torstein@ppp-2-85-110-156.home.otenet.gr)
2021-04-20 10:28:29 +0200 <merijn> timCF: semantic editor combinators?
2021-04-20 10:31:48 +0200fendor(~fendor@178.165.131.162.wireless.dyn.drei.com)
2021-04-20 10:32:16 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net)
2021-04-20 10:32:33 +0200zeenk(~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Quit: Konversation terminated!)
2021-04-20 10:34:00 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 10:37:52 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 240 seconds)
2021-04-20 10:38:19 +0200Stanley00(~stanley00@unaffiliated/stanley00) ()
2021-04-20 10:38:24 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49)
2021-04-20 10:38:33 +0200 <ski> `(.) = fmap' used to be in lambdabot, along with a generalized `flip' along similar lines
2021-04-20 10:39:25 +0200 <ski> (i invented the name `.:' for `(.) . (.)' before this)
2021-04-20 10:39:44 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-20 10:41:44 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-04-20 10:45:18 +0200 <Squarism> I just stumbled upon https://github.com/expipiplus1/vulkan . Anyone know if someone done a playable game with it?
2021-04-20 10:46:25 +0200kuribas(~user@ptr-25vy0i6xed5dn86psi8.18120a2.ip6.access.telenet.be)
2021-04-20 10:46:44 +0200jophish__(ca536851@202.83.104.81) (Quit: Connection closed)
2021-04-20 10:48:14 +0200pyuk(~vroom@217.138.252.184) (Quit: pyuk)
2021-04-20 10:48:35 +0200puke(~vroom@217.138.252.184)
2021-04-20 10:49:21 +0200 <merijn> Define "playable" ;)
2021-04-20 10:49:33 +0200 <idnar> timCF: Relude has this as <$$> http://hackage.haskell.org/package/relude-0.7.0.0/docs/Relude-Functor-Fmap.html#v:-60--60--36--62-…
2021-04-20 10:50:54 +0200 <Squarism> merijn, =D. Idk, something a non haskeller could download and run in 2 mins?
2021-04-20 10:51:52 +0200 <merijn> Squarism: Then probably not
2021-04-20 10:52:48 +0200 <Squarism> merijn, you know of *something* worth looking at outside those requirements?
2021-04-20 10:52:56 +0200 <merijn> Squarism: The closest thing to a "playable" game in Haskell I'm aware off would be something like Frag? https://wiki.haskell.org/Frag
2021-04-20 10:53:21 +0200 <merijn> But that's openGL, not vulkan
2021-04-20 10:53:41 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-20 10:54:04 +0200__minoru__shirae(~shiraeesh@5.101.59.44) (Ping timeout: 265 seconds)
2021-04-20 10:55:04 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-04-20 10:55:15 +0200zeenk(~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75)
2021-04-20 10:56:24 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-20 10:58:55 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-20 10:59:06 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-04-20 11:01:21 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-04-20 11:01:56 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-20 11:07:32 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-20 11:10:43 +0200drbean_(~drbean@TC210-63-209-197.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-04-20 11:11:15 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-20 11:11:19 +0200Guest99075(c36125d6@195.97.37.214)
2021-04-20 11:11:33 +0200Guest99075(c36125d6@195.97.37.214) ()
2021-04-20 11:13:27 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-04-20 11:19:56 +0200jakalx(~jakalx@base.jakalx.net)
2021-04-20 11:25:11 +0200todda7(~torstein@ppp-2-85-110-156.home.otenet.gr) (Ping timeout: 240 seconds)
2021-04-20 11:26:05 +0200jesystani(~thorn@2404:4404:17f1:4900:e17d:57ca:df47:fd0b) (Ping timeout: 250 seconds)
2021-04-20 11:27:10 +0200jesystani(~thorn@2404:4404:17f1:4900:e927:c60a:3208:b376)
2021-04-20 11:27:14 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-20 11:28:13 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de)
2021-04-20 11:33:26 +0200garFF(~garff@0x3e2c8755.mobile.telia.dk)
2021-04-20 11:37:02 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-20 11:39:47 +0200ubert1(~Thunderbi@62-47-7-125.adsl.highway.telekom.at)
2021-04-20 11:40:12 +0200 <hc> I remember an arcade-like game written in haskell, but I don't remember its name
2021-04-20 11:40:19 +0200 <hc> It was mentioned in the weekly haskell newsletter
2021-04-20 11:47:11 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-20 11:47:17 +0200 <gnumonic> was it like dystopian pokemon but the pokemon are people or something like that? i think that's the only haskell game i ever played (was pretty good if i remember)
2021-04-20 11:47:40 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-04-20 11:48:01 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-uzlgvfmvgotbpzjj)
2021-04-20 11:48:19 +0200Feuermagier(~Feuermagi@213.178.26.41) (Client Quit)
2021-04-20 11:50:07 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-20 11:51:24 +0200 <hc> It was arcade like, a bit like commander keen
2021-04-20 11:51:46 +0200 <hc> I even had a brief e-mail exchange with the author, but I can't dig through my old e-mails right now
2021-04-20 11:54:18 +0200mmfood(~mmfood@185.176.246.69)
2021-04-20 11:55:21 +0200jesystani(~thorn@2404:4404:17f1:4900:e927:c60a:3208:b376) (Ping timeout: 245 seconds)
2021-04-20 11:55:58 +0200 <Cale> Nikki and the Robots?
2021-04-20 11:56:30 +0200loller_(uid358106@gateway/web/irccloud.com/x-lstrgyekfcdepwsa) (Quit: Connection closed for inactivity)
2021-04-20 11:57:31 +0200 <hc> no, but that one looks interesting, too
2021-04-20 11:59:18 +0200 <nut> is there a way to write code in the style: obj.method ? example: [1..10].reverse
2021-04-20 11:59:35 +0200 <nut> I remember in the lens library, there is the & operator
2021-04-20 11:59:47 +0200todda7(~torstein@athedsl-4519432.home.otenet.gr)
2021-04-20 11:59:48 +0200 <Cale> yeah, you can define flipped application
2021-04-20 12:00:12 +0200viluon(uid453725@gateway/web/irccloud.com/x-vyqobkrpvjjkrljw) (Quit: Connection closed for inactivity)
2021-04-20 12:01:04 +0200 <Cale> If you're really evil, you could even import Prelude hiding ((.)) and then define x . f = f x
2021-04-20 12:01:19 +0200 <Cale> Everyone will hate your code then
2021-04-20 12:01:20 +0200 <xsperry> there's & in Data.Function
2021-04-20 12:01:39 +0200 <nut> haha, great idea
2021-04-20 12:02:53 +0200 <nut> xsperry: didn't know the & is from Data.Function!
2021-04-20 12:03:05 +0200 <kuribas> that's only recently, right?
2021-04-20 12:03:09 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds)
2021-04-20 12:03:21 +0200 <Cale> Yeah, I think that's more recent
2021-04-20 12:03:45 +0200 <Cale> and I think it's also possible that diagrams was the first library to define that one?
2021-04-20 12:04:03 +0200 <Cale> But yeah, definitely lens made it a good bit more popular
2021-04-20 12:04:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-04-20 12:04:08 +0200 <nut> Are we talking about the & operator?
2021-04-20 12:04:11 +0200 <Cale> yeah
2021-04-20 12:05:00 +0200 <nut> For people transitioning into Haskell from somewhere else, it's a neat operator
2021-04-20 12:05:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 12:07:47 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-20 12:08:13 +0200Rudd0(~Rudd0@185.189.115.108)
2021-04-20 12:08:52 +0200__minoru__shirae(~shiraeesh@5.101.59.44)
2021-04-20 12:10:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-20 12:11:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 12:15:50 +0200usr25(~usr25@unaffiliated/usr25)
2021-04-20 12:16:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-04-20 12:16:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 12:17:56 +0200garFF(~garff@0x3e2c8755.mobile.telia.dk) (Quit: Leaving)
2021-04-20 12:18:00 +0200geiger(~geiger@90.212.77.86)
2021-04-20 12:20:14 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-20 12:20:18 +0200ClaudiusMaximus(~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net)
2021-04-20 12:20:28 +0200ClaudiusMaximus(~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host)
2021-04-20 12:20:28 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-04-20 12:20:46 +0200geiger_(~geiger@90.212.77.86) (Ping timeout: 240 seconds)
2021-04-20 12:22:35 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-04-20 12:26:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-04-20 12:27:33 +0200Guest88007(~textual@2603-7000-3040-0000-6507-b6e6-e1a7-946f.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-20 12:27:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 12:28:30 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-20 12:29:41 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee)
2021-04-20 12:29:47 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
2021-04-20 12:30:14 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-04-20 12:32:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-20 12:33:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 12:34:22 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee) (Ping timeout: 258 seconds)
2021-04-20 12:38:14 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 12:38:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-20 12:39:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 12:40:26 +0200timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving)
2021-04-20 12:40:45 +0200brown121407(~brown1214@fsf/member/brown121407)
2021-04-20 12:43:47 +0200nyd(~nyd@unaffiliated/elysian) (Ping timeout: 265 seconds)
2021-04-20 12:44:16 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-04-20 12:44:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-20 12:45:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 12:47:42 +0200dansho(~dansho@ec2-54-168-196-255.ap-northeast-1.compute.amazonaws.com) (Quit: Leaving)
2021-04-20 12:47:56 +0200oish(~charlie@228.25.169.217.in-addr.arpa)
2021-04-20 12:49:42 +0200aVikingTrex(2be74510@43.231.69.16) (Ping timeout: 240 seconds)
2021-04-20 12:50:55 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-20 12:51:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 12:51:12 +0200todda7(~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds)
2021-04-20 12:51:35 +0200quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-04-20 12:54:36 +0200Alleria(~textual@zrcout.mskcc.org)
2021-04-20 12:55:00 +0200AlleriaGuest46085
2021-04-20 12:56:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-04-20 12:56:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 13:01:50 +0200__monty__(~toonn@unaffiliated/toonn)
2021-04-20 13:02:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-20 13:02:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 13:04:45 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-20 13:07:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-20 13:08:05 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-04-20 13:08:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 13:13:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-20 13:14:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 13:16:01 +0200nyd(~nyd@unaffiliated/elysian)
2021-04-20 13:19:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-20 13:19:24 +0200jumper149(~jumper149@80.240.31.34)
2021-04-20 13:19:42 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2021-04-20 13:19:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 13:20:32 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-20 13:20:47 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-20 13:25:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-04-20 13:25:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 13:26:21 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2021-04-20 13:30:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-20 13:31:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 13:31:31 +0200zva(~zava@141.26.31.52)
2021-04-20 13:32:24 +0200zva(~zava@141.26.31.52) (Client Quit)
2021-04-20 13:33:00 +0200zva(~zava@141.26.31.52)
2021-04-20 13:34:15 +0200todda7(~torstein@athedsl-4519432.home.otenet.gr)
2021-04-20 13:35:07 +0200kiweun(~kiweun@2607:fea8:2a62:9600:7cf0:bc04:9ce:d2d0)
2021-04-20 13:36:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-20 13:36:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 13:39:34 +0200kiweun(~kiweun@2607:fea8:2a62:9600:7cf0:bc04:9ce:d2d0) (Ping timeout: 245 seconds)
2021-04-20 13:39:49 +0200idhugo__(~idhugo@87-49-45-4-mobile.dk.customer.tdc.net)
2021-04-20 13:40:02 +0200knupfer(~Thunderbi@200116b82b71e80075f20a34a227ec31.dip.versatel-1u1.de)
2021-04-20 13:40:16 +0200yaroot(~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat)
2021-04-20 13:40:59 +0200yaroot(~yaroot@138.102.13.160.dy.iij4u.or.jp)
2021-04-20 13:42:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-20 13:42:45 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
2021-04-20 13:42:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 13:44:26 +0200alexm_(~alexm_@161.8.254.109)
2021-04-20 13:45:24 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-04-20 13:45:58 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-04-20 13:46:41 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-eecvggrkioegpbei)
2021-04-20 13:47:28 +0200 <alexm_> hey folks, I'm doing fp-course (former NICTA course) and have been stuck on the filtering exercise for the Applicative part
2021-04-20 13:47:55 +0200 <dibblego> how far have you got so far?
2021-04-20 13:48:10 +0200 <alexm_> I've finally come up with this and feel like it can be made more elegant
2021-04-20 13:48:12 +0200 <alexm_> filtering _ Nil = pure Nil
2021-04-20 13:48:12 +0200 <alexm_> filtering p (x:.xs) = lift2 (++) (append x <$> p x) (filtering p xs)
2021-04-20 13:48:12 +0200 <alexm_> where append x' b | b = x' :. Nil
2021-04-20 13:48:14 +0200 <alexm_> | otherwise = Nil
2021-04-20 13:48:51 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-20 13:49:42 +0200 <dibblego> you can try using (:.) instead of (++) in the condition test
2021-04-20 13:50:15 +0200 <dibblego> it is tricky, especially when doing it on your own
2021-04-20 13:50:31 +0200 <dibblego> usually by here, people have been given _LOTS_ of hints (and tend to ignore them anyway :)
2021-04-20 13:51:02 +0200LKoen(~LKoen@92.163.9.109.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-20 13:51:41 +0200 <dibblego> try this: lift2 (bool id (x:.)) _todo (filtering p xs)
2021-04-20 13:51:42 +0200 <alexm_> when you say condition test which part do you mean exactly?
2021-04-20 13:51:49 +0200 <dibblego> append
2021-04-20 13:52:01 +0200viluon(uid453725@gateway/web/irccloud.com/x-glghvaevbeqxsogf)
2021-04-20 13:52:24 +0200 <alexm_> ok, will try
2021-04-20 13:52:27 +0200Barras2(~Barras2@139.28.218.148) (Remote host closed the connection)
2021-04-20 13:52:29 +0200knupfer(~Thunderbi@200116b82b71e80075f20a34a227ec31.dip.versatel-1u1.de) (Ping timeout: 245 seconds)
2021-04-20 13:52:33 +0200 <alexm_> thanks for the hint!
2021-04-20 13:54:28 +0200 <alexm_> that bool function is the one I was desperately searching for thinking about how can I do simple truthiness check in applicative context, sigh...
2021-04-20 13:54:36 +0200drbean_(~drbean@TC210-63-209-44.static.apol.com.tw)
2021-04-20 13:58:04 +0200Tops2(~Tobias@dyndsl-095-033-023-254.ewe-ip-backbone.de)
2021-04-20 13:59:24 +0200urodna(~urodna@unaffiliated/urodna)
2021-04-20 14:00:17 +0200 <alexm_> dibblego updated version is: filtering p (x:.xs) = lift2 (bool id (x:.)) (p x) (filtering p xs)
2021-04-20 14:02:56 +0200 <alexm_> I wonder, how do you arrive to such solution? is that a common pattern of sorts?
2021-04-20 14:03:23 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-04-20 14:03:24 +0200 <merijn> type tetris, usually
2021-04-20 14:03:42 +0200 <merijn> "look at the pieces, make them fit" :p
2021-04-20 14:04:09 +0200 <alexm_> easier said than done :)
2021-04-20 14:04:13 +0200 <kuribas> the tuple trick usually works fine
2021-04-20 14:04:29 +0200 <kuribas> I write myFun = () $ partial_implementation
2021-04-20 14:04:38 +0200 <kuribas> then let the type system tell me what I need next.
2021-04-20 14:04:41 +0200 <merijn> alexm_: That's where experience with possible things kicks in :)
2021-04-20 14:04:52 +0200 <merijn> kuribas: You can do the same but better with _
2021-04-20 14:05:07 +0200 <kuribas> merijn: I disagree. I find that tuple gives me usually better error messages.
2021-04-20 14:05:28 +0200 <kuribas> I only use typed holes for unimplemented functions.
2021-04-20 14:06:56 +0200 <kuribas> Also writing straigtforward but verbose code, then using rewrite rules to make it nicer usually works very well.
2021-04-20 14:07:18 +0200 <kuribas> And it's what I would recommend any beginner.
2021-04-20 14:07:43 +0200 <kuribas> Don't try and fit in every abstraction, just write code that solves the problem, then rewrite it.
2021-04-20 14:07:58 +0200 <merijn> That doesn't apply to homework :p
2021-04-20 14:08:33 +0200 <kuribas> Depends on the task?
2021-04-20 14:11:26 +0200nineonine(~nineonine@50.216.62.2)
2021-04-20 14:12:03 +0200nineonin_(~nineonine@50.216.62.2)
2021-04-20 14:13:29 +0200zariuq(~zar@fw1.ciirc.cvut.cz)
2021-04-20 14:13:45 +0200 <dibblego> alexm_: by now, we've told the class at least 50 times how lift2 works, and its intuition
2021-04-20 14:15:41 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 240 seconds)
2021-04-20 14:16:34 +0200 <merijn> dibblego: So what you're saying is that about 50% remembers at this point? ;)
2021-04-20 14:17:28 +0200 <alexm_> dibblego: yeah, it takes some time to sink in I guess
2021-04-20 14:18:02 +0200 <alexm_> and actually implementing it helps a lot
2021-04-20 14:18:15 +0200 <maerwald> :t lift2
2021-04-20 14:18:17 +0200 <lambdabot> error:
2021-04-20 14:18:17 +0200 <lambdabot> • Variable not in scope: lift2
2021-04-20 14:18:17 +0200 <lambdabot> • Perhaps you meant one of these:
2021-04-20 14:18:32 +0200 <dibblego> not even 10% usually
2021-04-20 14:19:18 +0200 <maerwald> never head of lift2
2021-04-20 14:20:06 +0200 <alexm_> it's liftA2 actually
2021-04-20 14:20:12 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-04-20 14:20:27 +0200 <merijn> dibblego: ;)
2021-04-20 14:20:38 +0200 <alexm_> it's just the function from the course named lift2
2021-04-20 14:23:23 +0200Tops2(~Tobias@dyndsl-095-033-023-254.ewe-ip-backbone.de) (Quit: Leaving.)
2021-04-20 14:23:36 +0200Guillaum(guiboumatr@gateway/shell/matrix.org/x-jujgaxapscnlvbmt)
2021-04-20 14:24:29 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee)
2021-04-20 14:24:40 +0200Tops2(~Tobias@dyndsl-095-033-023-254.ewe-ip-backbone.de)
2021-04-20 14:28:57 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee) (Ping timeout: 250 seconds)
2021-04-20 14:29:36 +0200basenode(~user@gateway/tor-sasl/basenode)
2021-04-20 14:29:42 +0200basenode(~user@gateway/tor-sasl/basenode) ()
2021-04-20 14:31:49 +0200usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-04-20 14:32:23 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-20 14:33:05 +0200basenode(~user@gateway/tor-sasl/basenode)
2021-04-20 14:33:22 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-20 14:33:43 +0200nineonine(~nineonine@2604:3d08:7785:9600:e0d9:4197:14e4:81a)
2021-04-20 14:35:02 +0200alx741(~alx741@181.196.68.199)
2021-04-20 14:35:27 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 250 seconds)
2021-04-20 14:35:58 +0200xourt(d4c620ea@212-198-32-234.rev.numericable.fr)
2021-04-20 14:37:37 +0200nineonin_(~nineonine@50.216.62.2) (Ping timeout: 252 seconds)
2021-04-20 14:37:58 +0200nineonin_(~nineonine@50.216.62.2)
2021-04-20 14:38:01 +0200 <basenode> anyone here that i was talking to yesterday?
2021-04-20 14:38:11 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49)
2021-04-20 14:38:43 +0200ubert1(~Thunderbi@62-47-7-125.adsl.highway.telekom.at) (Ping timeout: 252 seconds)
2021-04-20 14:39:55 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-20 14:40:13 +0200nineonine(~nineonine@2604:3d08:7785:9600:e0d9:4197:14e4:81a) (Ping timeout: 250 seconds)
2021-04-20 14:40:24 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 14:40:56 +0200_bin_(~bin@2600:1700:10a1:38d0:219a:3dd:429e:7909)
2021-04-20 14:41:49 +0200_bin(~bin@2600:1700:10a1:38d0:8028:8b86:7e11:f5b5) (Ping timeout: 258 seconds)
2021-04-20 14:42:26 +0200todda7(~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds)
2021-04-20 14:43:55 +0200skilooks at basenode
2021-04-20 14:44:04 +0200 <basenode> ski: oh hey dude!
2021-04-20 14:44:07 +0200xourt(d4c620ea@212-198-32-234.rev.numericable.fr) (Quit: Connection closed)
2021-04-20 14:44:32 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-20 14:45:42 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 14:45:46 +0200 <basenode> just thought i would share the implementation for the algo we discussed yesterday, i didn't come up with it but it thought it was so elegant i had to share it
2021-04-20 14:46:28 +0200 <basenode> ski: -> https://dpaste.com/7VMXVC9XX
2021-04-20 14:47:14 +0200Sorna(~Sornaensi@077213200034.dynamic.telenor.dk)
2021-04-20 14:47:47 +0200 <basenode> all relatively self-explanatory, except Enum.group_by, which splits an enumerable into groups based on a function you pass it
2021-04-20 14:48:07 +0200nyd(~nyd@unaffiliated/elysian) (Quit: nyd)
2021-04-20 14:50:38 +0200 <ski> what happens if you have more than one root ?
2021-04-20 14:51:23 +0200Sornaensis(~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 265 seconds)
2021-04-20 14:51:52 +0200 <basenode> it still works :)
2021-04-20 14:52:08 +0200 <ski> do you get the tree for the last root ?
2021-04-20 14:52:25 +0200 <basenode> yeah also
2021-04-20 14:53:59 +0200 <ski> (also what ?)
2021-04-20 14:55:23 +0200ericsagnes(~ericsagne@2405:6580:0:5100:e608:c88b:5ed1:a466) (Ping timeout: 250 seconds)
2021-04-20 14:55:41 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2021-04-20 14:55:48 +0200 <basenode> ski: not sure i understood the question entirely, you were asking if i get the tree for the last root element?
2021-04-20 14:56:25 +0200 <basenode> "yeah also" as in yes, i also get the tree for the last root element
2021-04-20 14:56:26 +0200 <ski> yes, in case you have more than one `id' whose `parent_id' is `nil'
2021-04-20 14:56:38 +0200plutoniix(~q@ppp-124-122-197-70.revip2.asianet.co.th) (Quit: Leaving)
2021-04-20 14:56:52 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds)
2021-04-20 14:56:59 +0200 <basenode> yeah, all trees for each root element are returned
2021-04-20 14:58:07 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-20 14:58:12 +0200 <ski> hm, okay
2021-04-20 14:58:37 +0200 <ski> i'm not completely following the details of the code, but from what i understand, it looks nice
2021-04-20 14:58:50 +0200 <ski> (and you're doing a top-down, rather than a bottom-up solution)
2021-04-20 14:59:21 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection)
2021-04-20 15:00:10 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-20 15:00:18 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee)
2021-04-20 15:02:21 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-04-20 15:03:03 +0200horatiohb(~horatiohb@104.131.33.15)
2021-04-20 15:04:26 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-04-20 15:05:09 +0200 <basenode> ski: this implementation is from the creator of elixir (jose valim), but yeah it's a beautiful piece of code, all of my attempts were far more complex and didn't work lol
2021-04-20 15:05:23 +0200 <basenode> thought you might appreciate it though ;)
2021-04-20 15:06:14 +0200 <ski> ah, Elixir
2021-04-20 15:06:35 +0200 <ski> it's quite simple and elegant, yea
2021-04-20 15:06:55 +0200 <ski> (i wonder what the difference between `def' and `defp' is)
2021-04-20 15:07:28 +0200 <ski> (hm, the paste even said it, i just didn't notice)
2021-04-20 15:07:30 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-04-20 15:07:53 +0200ericsagnes(~ericsagne@2405:6580:0:5100:7192:af15:79b1:35f5)
2021-04-20 15:09:25 +0200philderbeast(~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca)
2021-04-20 15:10:04 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 252 seconds)
2021-04-20 15:10:11 +0200carlomagno(~cararell@148.87.23.7)
2021-04-20 15:11:52 +0200son0p(~ff@181.136.122.143)
2021-04-20 15:12:00 +0200 <lechner> Hi, is there a way to round timestamps from getCurrentTime to microseconds (or even seconds) please? Thanks!
2021-04-20 15:16:15 +0200 <joel135> :t getCurrentTime
2021-04-20 15:16:16 +0200 <lambdabot> error: Variable not in scope: getCurrentTime
2021-04-20 15:16:41 +0200 <joel135> IO UTCTime
2021-04-20 15:16:55 +0200 <ski> @hoogle getCurrentTime
2021-04-20 15:16:55 +0200 <lambdabot> Data.Time.Clock getCurrentTime :: IO UTCTime
2021-04-20 15:16:55 +0200 <lambdabot> Data.Time.Clock.POSIX getCurrentTime :: IO UTCTime
2021-04-20 15:16:55 +0200 <lambdabot> Text.Pandoc.Class getCurrentTime :: PandocMonad m => m UTCTime
2021-04-20 15:18:57 +0200 <joel135> UTCTime ≈ (Day, DiffTime)
2021-04-20 15:19:25 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-04-20 15:20:11 +0200 <basenode> ski: defp is a private function, not accessible outside the module
2021-04-20 15:22:14 +0200 <geekosaur> lechner, seconds is a Pico, see Data.Fixed for how to truncate or round
2021-04-20 15:23:14 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-20 15:24:53 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection)
2021-04-20 15:25:12 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw)
2021-04-20 15:25:51 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 15:28:06 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2021-04-20 15:28:07 +0200 <ski> ok, ty
2021-04-20 15:28:33 +0200nut`(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-20 15:30:14 +0200ram19890(~ram@183.83.155.58) (Remote host closed the connection)
2021-04-20 15:31:36 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-04-20 15:32:26 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-20 15:32:47 +0200Tario(~Tario@201.192.165.173)
2021-04-20 15:32:49 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-20 15:33:09 +0200basenode(~user@gateway/tor-sasl/basenode) (Ping timeout: 240 seconds)
2021-04-20 15:33:13 +0200nut`(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-04-20 15:36:09 +0200todda7(~torstein@athedsl-4519432.home.otenet.gr)
2021-04-20 15:37:10 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection)
2021-04-20 15:37:34 +0200LKoen(~LKoen@92.163.9.109.rev.sfr.net)
2021-04-20 15:37:52 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-20 15:38:36 +0200ram19890(~ram@183.83.155.58)
2021-04-20 15:43:46 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 15:52:29 +0200xff0x(~xff0x@2001:1a81:5214:2600:9556:d2d0:9e03:65e7) (Ping timeout: 245 seconds)
2021-04-20 15:53:23 +0200xff0x(~xff0x@2001:1a81:5214:2600:51f9:992c:5a15:4907)
2021-04-20 15:54:30 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-20 15:54:43 +0200drbean_(~drbean@TC210-63-209-44.static.apol.com.tw) (Ping timeout: 268 seconds)
2021-04-20 15:55:32 +0200ADG1089(~aditya@223.236.174.241)
2021-04-20 15:57:13 +0200MrFantastik(~user@rrcs-184-74-43-235.nys.biz.rr.com)
2021-04-20 15:57:30 +0200basenode(~user@gateway/tor-sasl/basenode)
2021-04-20 15:57:32 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-20 15:58:59 +0200todda7(~torstein@athedsl-4519432.home.otenet.gr) (Remote host closed the connection)
2021-04-20 15:59:37 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-04-20 15:59:37 +0200Deide(~Deide@217.155.19.23)
2021-04-20 16:01:01 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-20 16:01:18 +0200jakalx(~jakalx@base.jakalx.net)
2021-04-20 16:01:31 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2021-04-20 16:01:34 +0200ADG1089(~aditya@223.236.174.241) (Quit: Konversation terminated!)
2021-04-20 16:03:44 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee) (Ping timeout: 245 seconds)
2021-04-20 16:05:03 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-20 16:05:13 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 276 seconds)
2021-04-20 16:07:28 +0200__minoru__shirae(~shiraeesh@5.101.59.44) (Remote host closed the connection)
2021-04-20 16:07:32 +0200minoru_shiraeesh(~shiraeesh@5.101.59.44)
2021-04-20 16:08:10 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-04-20 16:08:13 +0200urodna_(~urodna@unaffiliated/urodna)
2021-04-20 16:08:45 +0200zariuq(~zar@fw1.ciirc.cvut.cz) (Quit: Leaving)
2021-04-20 16:10:45 +0200urodna(~urodna@unaffiliated/urodna) (Ping timeout: 268 seconds)
2021-04-20 16:14:49 +0200alexm_(~alexm_@161.8.254.109) ()
2021-04-20 16:15:05 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-04-20 16:15:32 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-04-20 16:15:53 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-04-20 16:17:13 +0200ram19890(~ram@183.83.155.58) (Quit: Konversation terminated!)
2021-04-20 16:19:49 +0200Jd007(~Jd007@162.156.11.151)
2021-04-20 16:21:36 +0200 <lechner> geekosaur: Thanks! Can I still use iso8601Show to print the rounded time?
2021-04-20 16:23:11 +0200idhugo__(~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-20 16:23:24 +0200 <geekosaur> you'd have to disassemble the time to round the seconds, so you would have to convert back and reassemble it
2021-04-20 16:25:12 +0200dmytrish(~mitra@2a02:8084:a82:d900:fdd2:ac3d:3471:66d9)
2021-04-20 16:30:22 +0200zeenk(~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Remote host closed the connection)
2021-04-20 16:32:58 +0200maroloccio(~marolocci@pousada3ja.mma.com.br)
2021-04-20 16:35:11 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-20 16:36:11 +0200oish(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds)
2021-04-20 16:37:07 +0200oish(~charlie@228.25.169.217.in-addr.arpa)
2021-04-20 16:37:45 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-04-20 16:38:18 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-04-20 16:38:29 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-04-20 16:39:41 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 16:40:08 +0200minoru_shiraeesh(~shiraeesh@5.101.59.44) (Ping timeout: 265 seconds)
2021-04-20 16:41:47 +0200dmytrish(~mitra@2a02:8084:a82:d900:fdd2:ac3d:3471:66d9) (Ping timeout: 260 seconds)
2021-04-20 16:42:01 +0200tsaka__(~torstein@athedsl-4519432.home.otenet.gr)
2021-04-20 16:43:53 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-20 16:43:58 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-04-20 16:44:11 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-04-20 16:46:25 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-04-20 16:46:45 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 16:46:47 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-20 16:52:06 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 260 seconds)
2021-04-20 16:52:56 +0200dsrt^(nrl@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:52:57 +0200dsrt^(nrl@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:53:12 +0200dsrt^(nehsou@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:53:13 +0200dsrt^(nehsou@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:53:27 +0200dsrt^(nehsou@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:53:28 +0200dsrt^(nehsou@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:53:43 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:53:44 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:54:00 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:54:01 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:54:16 +0200dsrt^(nehsou@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:54:17 +0200dsrt^(nehsou@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:54:31 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:54:32 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:54:47 +0200dsrt^(krt@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:54:48 +0200dsrt^(krt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:55:03 +0200dsrt^(krt@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:55:04 +0200dsrt^(krt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:55:19 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:55:20 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:55:43 +0200dsrt^(nrl@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:55:44 +0200dsrt^(nrl@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:55:59 +0200dsrt^(~hph@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:56:00 +0200dsrt^(~hph@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:56:14 +0200dsrt^(krt@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:56:15 +0200dsrt^(krt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:56:21 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-04-20 16:56:55 +0200dsrt^(krt@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:56:56 +0200dsrt^(krt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:57:11 +0200dsrt^(~hph@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:57:12 +0200dsrt^(~hph@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:57:26 +0200dsrt^(krt@ip98-184-89-2.mc.at.cox.net)
2021-04-20 16:57:27 +0200dsrt^(krt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 16:58:56 +0200minoru_shiraeesh(~shiraeesh@5.101.59.44)
2021-04-20 17:00:33 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-20 17:00:56 +0200johny9(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-04-20 17:01:06 +0200dsrt^(~hph@ip98-184-89-2.mc.at.cox.net)
2021-04-20 17:01:07 +0200dsrt^(~hph@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2021-04-20 17:02:09 +0200LKoen(~LKoen@92.163.9.109.rev.sfr.net) (Remote host closed the connection)
2021-04-20 17:04:17 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 17:06:42 +0200conal(~conal@64.71.133.70)
2021-04-20 17:07:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-20 17:08:19 +0200tsaka__(~torstein@athedsl-4519432.home.otenet.gr) (Remote host closed the connection)
2021-04-20 17:10:21 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-20 17:12:41 +0200conal(~conal@64.71.133.70) (Ping timeout: 260 seconds)
2021-04-20 17:12:58 +0200 <lechner> thanks!
2021-04-20 17:14:26 +0200LKoen(~LKoen@92.163.9.109.rev.sfr.net)
2021-04-20 17:14:44 +0200tsaka__(~torstein@athedsl-4519432.home.otenet.gr)
2021-04-20 17:17:17 +0200conal(~conal@64.71.133.70)
2021-04-20 17:17:35 +0200Monica81(1fad640c@31.173.100.12)
2021-04-20 17:18:08 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-20 17:18:09 +0200 <Monica81> Hi look at my naked video? show here https://v.ht/Monika23
2021-04-20 17:18:37 +0200Monica81(1fad640c@31.173.100.12) (Quit: Connection closed)
2021-04-20 17:18:44 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 17:20:12 +0200Monica24(1fad640c@31.173.100.12)
2021-04-20 17:20:44 +0200 <Monica24> Hi look at my naked video? show here https://v.ht/Monika23
2021-04-20 17:21:30 +0200hyperiscolights the monochrom signal
2021-04-20 17:21:47 +0200ChanServ+o geekosaur
2021-04-20 17:22:08 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 246 seconds)
2021-04-20 17:22:23 +0200 <geekosaur> bleh, half the admin commands odn't work from webirc
2021-04-20 17:23:00 +0200geekosaur+b Monica*!*@*
2021-04-20 17:23:08 +0200Monica24geekosaurMonica24
2021-04-20 17:23:09 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-04-20 17:23:35 +0200geekosaurwonders where sigyn is
2021-04-20 17:24:54 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-20 17:26:11 +0200 <maerwald> watching the videos?
2021-04-20 17:26:12 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-eecvggrkioegpbei) (Quit: Connection closed for inactivity)
2021-04-20 17:26:15 +0200 <maerwald> badum-tsss
2021-04-20 17:26:34 +0200 <hc> lol
2021-04-20 17:26:38 +0200electricityZZZZ(~electrici@135-180-3-82.static.sonic.net)
2021-04-20 17:27:33 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-20 17:27:50 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 17:28:12 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds)
2021-04-20 17:28:13 +0200 <Uniaika> haha
2021-04-20 17:29:26 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-04-20 17:30:21 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 17:35:34 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 17:35:50 +0200kiweun(~kiweun@2607:fea8:2a62:9600:2ce2:1c31:a5ac:1f6a)
2021-04-20 17:36:13 +0200ludi491(~hryhorij@156.17.231.95)
2021-04-20 17:39:47 +0200rj(~x@gateway/tor-sasl/rj) (Client Quit)
2021-04-20 17:40:12 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-20 17:40:29 +0200kiweun(~kiweun@2607:fea8:2a62:9600:2ce2:1c31:a5ac:1f6a) (Ping timeout: 250 seconds)
2021-04-20 17:40:36 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-bawywirjaljqzbpz)
2021-04-20 17:41:24 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 17:43:02 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-20 17:43:04 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-20 17:44:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 17:44:52 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-20 17:46:07 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-duhphiqafdupvlzv)
2021-04-20 17:49:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-20 17:51:48 +0200chele(~chele@5.53.222.202) (Remote host closed the connection)
2021-04-20 17:52:26 +0200conal(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-04-20 17:52:51 +0200kuribas(~user@ptr-25vy0i6xed5dn86psi8.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-04-20 17:55:40 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-04-20 17:57:59 +0200conal(~conal@64.71.133.70)
2021-04-20 17:58:23 +0200maroloccio(~marolocci@pousada3ja.mma.com.br) (Quit: WeeChat 2.3)
2021-04-20 18:00:55 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee)
2021-04-20 18:02:24 +0200landonf(landonf@mac68k.info) (Excess Flood)
2021-04-20 18:04:34 +0200MidHotaru_(uid401566@gateway/web/irccloud.com/x-jzwyweexvejkcqrh)
2021-04-20 18:04:48 +0200landonf(landonf@mac68k.info)
2021-04-20 18:04:56 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee) (Ping timeout: 245 seconds)
2021-04-20 18:07:53 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-20 18:07:55 +0200wagle(~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-04-20 18:08:26 +0200wagle(~wagle@quassel.wagle.io)
2021-04-20 18:09:19 +0200idhugo__(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-20 18:13:02 +0200 <fendor> I cant find what symbols are allowed as infix data-constructors in the Haskell 2010 report, can someone nudge me in the right direction?
2021-04-20 18:13:38 +0200 <geekosaur> any character with the Unicode Symbol category
2021-04-20 18:14:45 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 18:14:53 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-tuzcokklkvrgravg)
2021-04-20 18:15:08 +0200 <geekosaur> > generalCategory '*'
2021-04-20 18:15:10 +0200 <lambdabot> OtherPunctuation
2021-04-20 18:15:29 +0200 <geekosaur> > isSymbol '*' -- hm
2021-04-20 18:15:31 +0200 <lambdabot> False
2021-04-20 18:16:54 +0200 <davean> "Operator symbols are formed from one or more symbol characters, as defined above, and are lexically distinguished into two namespaces (Section 1.4):"
2021-04-20 18:16:58 +0200 <davean> https://www.haskell.org/onlinereport/haskell2010/haskellch2.html#x7-180002.4
2021-04-20 18:17:51 +0200 <fendor> > isSymbol ':'
2021-04-20 18:17:53 +0200 <lambdabot> False
2021-04-20 18:17:57 +0200 <fendor> > isSymbol '<'
2021-04-20 18:17:59 +0200 <lambdabot> True
2021-04-20 18:18:19 +0200 <geekosaur> uniSymbol → any Unicode symbol or punctuation
2021-04-20 18:18:19 +0200pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-04-20 18:18:22 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 18:18:46 +0200 <geekosaur> so OtherPunctuation passes. I do wonder at it slightly since
2021-04-20 18:18:55 +0200 <geekosaur> > generalCategory '"'
2021-04-20 18:18:57 +0200 <lambdabot> OtherPunctuation
2021-04-20 18:20:06 +0200 <fendor> so, does this mean an infix data constructor must start with a `:`?
2021-04-20 18:21:23 +0200 <geekosaur> yes
2021-04-20 18:22:19 +0200 <geekosaur> (otherwise pattern matching can't distinguish it from an infix variable; compare uppercase vs. lowercase prefix identifiers)
2021-04-20 18:22:42 +0200 <fendor> that was really hard to figure out from the report, imo.
2021-04-20 18:23:11 +0200 <fendor> ah, ok, makes sense
2021-04-20 18:23:39 +0200 <fendor> thanks!
2021-04-20 18:24:21 +0200 <geekosaur> seemed pretty clear to me in that section: "An operator symbol starting with a colon is a constructor."
2021-04-20 18:25:13 +0200 <geekosaur> doesn't say anything about type constructors, but anything interesting there is an extension to the Report
2021-04-20 18:27:03 +0200ram19890(~ram@183.83.155.58)
2021-04-20 18:27:18 +0200 <fendor> this is what I figured as well, but I wasn't quite sure that this meant it is the *only* allowed symbol for an infix constructor
2021-04-20 18:27:49 +0200viluon(uid453725@gateway/web/irccloud.com/x-glghvaevbeqxsogf) (Quit: Connection closed for inactivity)
2021-04-20 18:27:52 +0200zva(~zava@141.26.31.52) (Ping timeout: 240 seconds)
2021-04-20 18:29:08 +0200ludi491(~hryhorij@156.17.231.95) (Ping timeout: 252 seconds)
2021-04-20 18:29:15 +0200 <geekosaur> "starting with a colon" seems clear enough to me
2021-04-20 18:33:14 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection)
2021-04-20 18:37:22 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-04-20 18:38:13 +0200myShoggoth(~myShoggot@75.164.11.109)
2021-04-20 18:38:46 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2021-04-20 18:39:26 +0200oish(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds)
2021-04-20 18:40:18 +0200ram19890(~ram@183.83.155.58) (Quit: Konversation terminated!)
2021-04-20 18:41:42 +0200howdoi(uid224@gateway/web/irccloud.com/x-bcrpbrlexhkfsmvn)
2021-04-20 18:43:16 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-iszyocxwqmtvebxh)
2021-04-20 18:46:06 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-04-20 18:46:29 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 246 seconds)
2021-04-20 18:48:32 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2021-04-20 18:51:33 +0200ram19890(~ram@183.83.155.58)
2021-04-20 18:52:43 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-04-20 18:53:26 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-20 18:56:05 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-04-20 18:58:44 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:795e:3018:ba62:6713)
2021-04-20 18:59:57 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 19:00:19 +0200tsaka__(~torstein@athedsl-4519432.home.otenet.gr) (Quit: Konversation terminated!)
2021-04-20 19:00:42 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
2021-04-20 19:02:25 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 19:03:36 +0200tsaka__(~torstein@athedsl-4519432.home.otenet.gr)
2021-04-20 19:04:39 +0200ashesham`(~user@d8D87D1B0.access.telenet.be) (Ping timeout: 265 seconds)
2021-04-20 19:05:40 +0200geekosaur-o geekosaur
2021-04-20 19:06:11 +0200kiweun(~kiweun@2607:fea8:2a62:9600:908a:4a01:c91b:ed2f)
2021-04-20 19:08:22 +0200idhugo__(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-04-20 19:11:38 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-20 19:18:50 +0200myShoggoth(~myShoggot@75.164.11.109) (Ping timeout: 268 seconds)
2021-04-20 19:21:00 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-20 19:22:17 +0200conal(~conal@64.71.133.70)
2021-04-20 19:26:53 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 265 seconds)
2021-04-20 19:27:32 +0200oish(~charlie@228.25.169.217.in-addr.arpa)
2021-04-20 19:28:57 +0200Tario(~Tario@201.192.165.173)
2021-04-20 19:32:47 +0200oish(~charlie@228.25.169.217.in-addr.arpa) (Quit: leaving)
2021-04-20 19:33:00 +0200knupfer(~Thunderbi@200116b82b97f0001c582609c5f80b04.dip.versatel-1u1.de)
2021-04-20 19:34:59 +0200gitgood(~gitgood@80-44-9-246.dynamic.dsl.as9105.com)
2021-04-20 19:36:50 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-20 19:37:44 +0200myShoggoth(~myShoggot@75.164.11.109)
2021-04-20 19:40:05 +0200ericsagnes(~ericsagne@2405:6580:0:5100:7192:af15:79b1:35f5) (Ping timeout: 250 seconds)
2021-04-20 19:40:50 +0200lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce)
2021-04-20 19:41:17 +0200idhugo__(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-20 19:43:10 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-20 19:43:32 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 240 seconds)
2021-04-20 19:43:47 +0200seven_three(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-04-20 19:43:57 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 19:45:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 19:45:56 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 19:47:09 +0200basenode(~user@gateway/tor-sasl/basenode) (Ping timeout: 240 seconds)
2021-04-20 19:49:55 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-20 19:52:25 +0200ericsagnes(~ericsagne@2405:6580:0:5100:7cd:23d4:b32c:5140)
2021-04-20 19:53:25 +0200PragCypher_(~cypher@li1507-98.members.linode.com) (Quit: ZNC 1.7.5 - https://znc.in)
2021-04-20 19:54:02 +0200And1(~And1@brewington.uberspace.de)
2021-04-20 19:55:01 +0200PragCypher(~cypher@li1507-98.members.linode.com)
2021-04-20 19:55:06 +0200 <And1> Hello everyone. It seems ghc(up) can be installed on Apple M1/Silicon via `curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | arch -x86_64 /bin/bash` … any ideas why ghc is not installable via `brew install` and is considered to not support Apple M1, yet?
2021-04-20 19:58:10 +0200 <Uniaika> And1: hi! I think you'd have a better answer with the maintainers of the brew formula
2021-04-20 19:58:36 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-20 19:59:05 +0200 <geekosaur> they may be waiting for 9.2 which is scheduled to have preliminary native support, but you'd have to ask them
2021-04-20 19:59:28 +0200 <And1> Uniaika: Interestingly, I just realized that the command I posted above does not work for me on Apple Silicon, as stated here: https://www.haskell.org/ghcup/
2021-04-20 19:59:53 +0200 <And1> It should work with this command, shouldn't it? I get: Unknown architecture: arm64
2021-04-20 20:00:00 +0200 <Uniaika> hmm.
2021-04-20 20:00:01 +0200 <Uniaika> HMM.
2021-04-20 20:00:05 +0200 <Uniaika> maerwald: ^
2021-04-20 20:00:07 +0200 <maerwald> And1: did you install rosetta?
2021-04-20 20:00:36 +0200 <maerwald> `softwareupdate --install-rosetta`
2021-04-20 20:00:56 +0200 <yushyin> maerwald: it looks like the new semester has started again ;D
2021-04-20 20:01:27 +0200 <maerwald> I almost switched to a mac, but they solder the RAM, so LOL... then I went with a thinkpad
2021-04-20 20:01:33 +0200 <maerwald> still no way to test mac stuff directly
2021-04-20 20:01:41 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee)
2021-04-20 20:01:54 +0200 <And1> maerwald: Thanks, let me check. (I would not quite believe I was using the M1 successfully without Rosetta for the last ~two months.)
2021-04-20 20:01:56 +0200 <Uniaika> maerwald: hope it wasn't an X1 Carbon :-P
2021-04-20 20:02:08 +0200 <maerwald> X1 extreme
2021-04-20 20:02:27 +0200 <hyperisco> maerwald, have you heard of System76?
2021-04-20 20:02:43 +0200 <And1> maerwald: Nope. It's installed, but I get the same error for ghcup.
2021-04-20 20:03:06 +0200 <maerwald> hyperisco: nope
2021-04-20 20:03:07 +0200 <hyperisco> if I need a laptop again it will definitely be from them
2021-04-20 20:03:12 +0200 <Uniaika> maerwald: aren't they soldered as well?
2021-04-20 20:03:13 +0200 <maerwald> looks interesting
2021-04-20 20:03:17 +0200 <maerwald> Uniaika: no
2021-04-20 20:03:22 +0200 <Uniaika> maerwald: nice
2021-04-20 20:04:11 +0200 <hyperisco> their objective is to be fully open sourced, but they face challenges with certain vendors
2021-04-20 20:04:35 +0200 <maerwald> And1: can you add your experience/problem here https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/101
2021-04-20 20:04:46 +0200 <Uniaika> I'd love to have one of those: https://frame.work/
2021-04-20 20:05:01 +0200 <And1> maerwald: Sure.
2021-04-20 20:05:34 +0200 <And1> Uniaika: Maybe the MNT Reform would also be interesting for you then. https://mntre.com/reform/
2021-04-20 20:06:22 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee) (Ping timeout: 276 seconds)
2021-04-20 20:06:48 +0200 <maerwald> And1: I'm not sure why you get that error. Maybe try `arch -x86_64 /bin/bash` followed by `uname -m``
2021-04-20 20:08:45 +0200 <Uniaika> And1: the more I look at the Framework Laptop, the more I want them to succeed…
2021-04-20 20:09:14 +0200 <Uniaika> And1: unfortunately the MNT Reform is not powerful enough for most of my needs
2021-04-20 20:09:26 +0200 <Uniaika> although it would make a good gift for a kid
2021-04-20 20:09:48 +0200 <Uniaika> oh wait that's the historical page
2021-04-20 20:10:10 +0200 <And1> Uniaika: Oh, is it? Sorry for that!
2021-04-20 20:10:12 +0200ludi491(~hryhorij@ip595.t15.ds.pwr.wroc.pl)
2021-04-20 20:10:21 +0200 <Uniaika> And1: no worries, found the more recent page ;)
2021-04-20 20:10:25 +0200ludi491(~hryhorij@ip595.t15.ds.pwr.wroc.pl) ()
2021-04-20 20:10:52 +0200 <Uniaika> oh wait, it's priced at $1500 :O
2021-04-20 20:11:07 +0200 <Uniaika> or $1000
2021-04-20 20:11:07 +0200 <And1> maerwald: Executing both commands one after the other results in … arm64. That's weird.
2021-04-20 20:11:34 +0200 <maerwald> yeah, that sounds like a problem
2021-04-20 20:11:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-20 20:12:03 +0200 <And1> Uniaika: I think the first price is the built computer, the second is the diy kit. If I remember correctly.
2021-04-20 20:12:24 +0200 <Uniaika> yep
2021-04-20 20:12:25 +0200 <And1> maerwald: Just registered for the GitLab. Should I post what we just figured out?
2021-04-20 20:12:45 +0200 <maerwald> Uniaika: now I'm considering to switch to windows on my thinkpad, because energy management on linux is...
2021-04-20 20:12:45 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-04-20 20:12:53 +0200 <maerwald> And1: yeah
2021-04-20 20:13:19 +0200 <Uniaika> And1: problem is that 4GB isn't enough at all :(
2021-04-20 20:13:43 +0200 <Uniaika> maerwald: did you even install TLP ?
2021-04-20 20:13:47 +0200 <maerwald> sure
2021-04-20 20:13:49 +0200MidHotaru_(uid401566@gateway/web/irccloud.com/x-jzwyweexvejkcqrh) (Quit: Connection closed for inactivity)
2021-04-20 20:14:06 +0200 <Uniaika> and yeah, energy management on linux is not on-par with Windows
2021-04-20 20:15:27 +0200 <maerwald> monitor scaling as well
2021-04-20 20:15:50 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-04-20 20:16:42 +0200 <monochrom> My energy management experience is the opposite, linux saves the most, windows is being a hog.
2021-04-20 20:16:58 +0200 <monochrom> But it's a Dell laptop.
2021-04-20 20:18:50 +0200 <maerwald> it was hard to find a haskell suitable laptop that doesn't have this new keypad madness
2021-04-20 20:18:52 +0200Wizek(uid191769@gateway/web/irccloud.com/x-xmeffajrmhvrulqs) (Quit: Connection closed for inactivity)
2021-04-20 20:19:22 +0200 <maerwald> not sure how you're supposed to do touch typing on such a laptop keyboard
2021-04-20 20:19:25 +0200 <davean> keypad madness?
2021-04-20 20:19:42 +0200 <maerwald> new laptops have a complete numpad thing on the right side
2021-04-20 20:19:52 +0200 <davean> Thats not new?
2021-04-20 20:19:56 +0200 <monochrom> Oh. Death to the numpad, sure.
2021-04-20 20:19:58 +0200 <davean> Thats just a full size keyboard
2021-04-20 20:20:08 +0200 <maerwald> yes, that's new for laptopts.
2021-04-20 20:20:15 +0200 <davean> No, that WAS standard
2021-04-20 20:20:22 +0200 <maerwald> I don't think so
2021-04-20 20:20:26 +0200 <davean> I think you're juts looking at larger laptops than you use to
2021-04-20 20:21:06 +0200 <monochrom> "Is this gaming keyboard?" meme >:)
2021-04-20 20:21:38 +0200 <And1> maerwald: done.
2021-04-20 20:22:08 +0200 <davean> maerwald: Its ironic though, because its touch typers who request the 100% keyboards
2021-04-20 20:22:30 +0200 <maerwald> source?
2021-04-20 20:22:57 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-20 20:22:57 +0200 <davean> maerwald: Primarily business users who have to enter numbers
2021-04-20 20:23:45 +0200 <maerwald> well, I question that it's touch typers who primarily request this
2021-04-20 20:24:07 +0200 <davean> ok, whatever
2021-04-20 20:24:11 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-04-20 20:24:39 +0200 <monochrom> I guess business users have the majority of touch typers and the majority of non-touch typers too.
2021-04-20 20:24:40 +0200 <maerwald> it causes a really awkward non-symmetric hand position
2021-04-20 20:25:19 +0200 <hyperisco> designers should consider the organ when designing computer keyboards
2021-04-20 20:25:23 +0200 <davean> maerwald: only if you center on the laptop not the keyboard
2021-04-20 20:25:29 +0200 <maerwald> correct
2021-04-20 20:26:28 +0200 <maerwald> now your face isn't in the center anymore :p
2021-04-20 20:26:43 +0200Guillaum(guiboumatr@gateway/shell/matrix.org/x-jujgaxapscnlvbmt) (Ping timeout: 260 seconds)
2021-04-20 20:26:43 +0200Lurkki[m](lurkkifene@gateway/shell/matrix.org/x-qvurztlwhabbghxk) (Ping timeout: 260 seconds)
2021-04-20 20:27:01 +0200jchia[m](jchiamatri@gateway/shell/matrix.org/x-afhcftwgolwwlgft) (Ping timeout: 245 seconds)
2021-04-20 20:27:01 +0200Poyo[m](stikynotha@gateway/shell/matrix.org/x-uiqhsetlapuwwlht) (Ping timeout: 245 seconds)
2021-04-20 20:27:01 +0200jo[m]3(josefmat1@gateway/shell/matrix.org/x-ibivtxxspcqssbda) (Ping timeout: 245 seconds)
2021-04-20 20:27:01 +0200chrisbloecker[m](chrisbloec@gateway/shell/matrix.org/x-gmljuwfyndvwadbj) (Ping timeout: 245 seconds)
2021-04-20 20:27:01 +0200fakubish[m](fakubishne@gateway/shell/matrix.org/x-uphtarqburuhkyxg) (Ping timeout: 245 seconds)
2021-04-20 20:27:02 +0200lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-biwsjunekbwlrmno) (Ping timeout: 245 seconds)
2021-04-20 20:27:02 +0200hyiltiz-M(hyiltizkde@gateway/shell/kde/matrix/x-dxgxsjatywodwqtc) (Ping timeout: 245 seconds)
2021-04-20 20:27:09 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 20:27:26 +0200maralorn(maralornma@gateway/shell/matrix.org/x-jduphwpfifylkazx) (Ping timeout: 245 seconds)
2021-04-20 20:27:27 +0200PtxDK(~quassel@2a01:7c8:aac3:591:5054:ff:fe3d:cac6) (Remote host closed the connection)
2021-04-20 20:27:47 +0200 <monochrom> Hey there was a Hong Kong TV drama show that attempted to tell the story of a software startup. Their notion of programming was having some 3x3 grid of 9 digits on the screen, and hitting the keyboard to mutate the digits.
2021-04-20 20:27:59 +0200 <monochrom> Perhaps the numpad would be perfect for those "devs". >:)
2021-04-20 20:28:06 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2021-04-20 20:28:15 +0200hyiltiz-M(hyiltizkde@gateway/shell/kde/matrix/x-htrnwcwmekebkeel)
2021-04-20 20:28:22 +0200PtxDK(~quassel@2a01:7c8:aac3:591:5054:ff:fe3d:cac6)
2021-04-20 20:28:23 +0200 <maerwald> I'm building my own keyboard anyway (which I don't recommend anyone... it's a time sink)
2021-04-20 20:28:31 +0200 <monochrom> Oh they would complain about non-symmetric hand position too --- the numpad was not at the centre. >:D
2021-04-20 20:28:53 +0200 <maerwald> but so far most external keyboards, no matter if ergonomic or not are worse than a thinkpad keyboard
2021-04-20 20:28:56 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-20 20:28:58 +0200Guillaum(guiboumatr@gateway/shell/matrix.org/x-mugmiqkelizccvxg)
2021-04-20 20:29:18 +0200 <hyperisco> monochrom, sounds like they were playing minesweeper
2021-04-20 20:29:38 +0200 <monochrom> And do not think that the movie Ex Machina does it much better. Only slightly better.
2021-04-20 20:30:17 +0200 <monochrom> Their notion of re-programming the house's computer-controlled security system was writing find-primes-by-trial-division in Python.
2021-04-20 20:30:27 +0200 <maerwald> davean: what I want is an ortholinear laptop keyboard... afaik this has never been done
2021-04-20 20:30:39 +0200 <maerwald> which is understandable... it's a niche market
2021-04-20 20:31:06 +0200Lurkki[m](lurkkifene@gateway/shell/matrix.org/x-nrwgmnbvosqqhpnr)
2021-04-20 20:31:31 +0200 <maerwald> And1: you could try downloading ghcup binary directly and then do the arch trick with it
2021-04-20 20:32:09 +0200 <maerwald> maybe it's just a shell issue
2021-04-20 20:32:21 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 20:32:25 +0200 <maerwald> And1: https://downloads.haskell.org/~ghcup/0.1.14.1/
2021-04-20 20:32:28 +0200jo[m]3(josefmat1@gateway/shell/matrix.org/x-qfhlavfxfkadmzvi)
2021-04-20 20:32:44 +0200chrisbloecker[m](chrisbloec@gateway/shell/matrix.org/x-ocvqnqycybxbaszr)
2021-04-20 20:32:52 +0200 <And1> maerwald: I'm using bash as default shell. But probably this information is unnecessary, as the arch command also launches /bin/bash … :D
2021-04-20 20:33:02 +0200 <maerwald> I remember docker also misbehaves with uname if you're in a 32bit docker container on a 64bit host
2021-04-20 20:33:20 +0200 <maerwald> the shell script you're invoking runs `uname -m`
2021-04-20 20:33:23 +0200fakubish[m](fakubishne@gateway/shell/matrix.org/x-gkdgoaumokeroxkj)
2021-04-20 20:33:31 +0200 <maerwald> the binary itself not, so it should work under rosetta
2021-04-20 20:33:44 +0200lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-mzuaquuooftpadmi)
2021-04-20 20:33:47 +0200 <And1> maerwald: Pardon, how would I test/run the binary?
2021-04-20 20:33:51 +0200 <maerwald> maybe they changed how uname behaves on rosetta
2021-04-20 20:34:01 +0200 <yushyin> maerwald: I would also like an ortholinear laptop keyboard!
2021-04-20 20:34:18 +0200 <maerwald> And1: you download the binary and run it via `arch -x86_64 binary`
2021-04-20 20:34:37 +0200jchia[m](jchiamatri@gateway/shell/matrix.org/x-tmjpbywqkunnmwlp)
2021-04-20 20:34:47 +0200Poyo[m](stikynotha@gateway/shell/matrix.org/x-xcbfkbcujzncipye)
2021-04-20 20:35:02 +0200 <maerwald> yushyin: yeah, it's a bit annoying to switch between an ortho-split external keyboard and a regular laptop one
2021-04-20 20:35:35 +0200 <maerwald> hell, why not laptop-split keyboard... but only mac would do that
2021-04-20 20:35:50 +0200 <monochrom> My ortholinear keyboard was from https://en.wikipedia.org/wiki/Casio_FX-702P . Also ABCDE keyboard. :)
2021-04-20 20:35:56 +0200maralorn(maralornma@gateway/shell/matrix.org/x-effbgvlwiyjkbspr)
2021-04-20 20:36:21 +0200 <And1> maerwald: Oh, macOS won't let me run the binary. Probably need to disable some security features or whatever. :-o
2021-04-20 20:36:37 +0200 <maerwald> yeah
2021-04-20 20:36:57 +0200 <maerwald> darwin notarization or something
2021-04-20 20:37:07 +0200idhugo__(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-04-20 20:37:10 +0200 <And1> Damn. :D
2021-04-20 20:37:26 +0200 <maerwald> they mean well
2021-04-20 20:37:46 +0200 <maerwald> I guess that sums up apple
2021-04-20 20:39:16 +0200 <And1> Heh, yeah. That's more than can be said about Google and others, I guess; in regards privacy/security at least.
2021-04-20 20:41:00 +0200 <fendor> @pl \x y z -> ((x,y), z)
2021-04-20 20:41:01 +0200 <lambdabot> ((,) .) . (,)
2021-04-20 20:51:46 +0200 <minoru_shiraeesh> laptop keyboard designers could create narrow buttons for numbers, like this
2021-04-20 20:51:49 +0200 <minoru_shiraeesh> | | |
2021-04-20 20:51:51 +0200 <minoru_shiraeesh> | | |
2021-04-20 20:51:53 +0200 <minoru_shiraeesh> | | |
2021-04-20 20:52:22 +0200 <maerwald> like the F-key ones on kinesis advantage 2?
2021-04-20 20:52:27 +0200 <maerwald> They are hilarious
2021-04-20 20:52:43 +0200 <maerwald> but hard to get right without looking at them
2021-04-20 20:53:41 +0200 <maerwald> external numpad is much more sensible imo
2021-04-20 20:54:04 +0200 <cjay> And1: xattr -r -d com.apple.quarantine <dir>
2021-04-20 20:55:11 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-20 20:55:24 +0200 <minoru_shiraeesh> I remeber being obsessed with the idea of buying very small, almost phone-sized computer
2021-04-20 20:55:39 +0200 <minoru_shiraeesh> there was a track pad in the middle of a keyboard
2021-04-20 20:56:06 +0200 <minoru_shiraeesh> it was sony vaio
2021-04-20 20:57:04 +0200 <minoru_shiraeesh> https://youtu.be/nEBvGDwbh0Y
2021-04-20 20:57:57 +0200lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce) (Ping timeout: 240 seconds)
2021-04-20 20:58:33 +0200 <maerwald> "and comfortably touch type" ...looking at how the wrists are bent, I predict RSI within 3 months
2021-04-20 21:00:09 +0200 <maerwald> most keyboards have RSI speedup legs at the rear side, so the rear is lifted up
2021-04-20 21:00:24 +0200 <maerwald> while your wrists need the opposite thing
2021-04-20 21:00:58 +0200 <Rembane> I find that fascinating. I suppose it's an odd fossil from typewriters.
2021-04-20 21:01:47 +0200 <And1> cjay: Wow, thanks. Thought that would no longer work under Big Sur; good to know!
2021-04-20 21:02:06 +0200 <And1> maerwald: Missing: COMMAND … so, I guess that works. :)
2021-04-20 21:02:17 +0200 <maerwald> And1: run `ghcup tui`
2021-04-20 21:02:17 +0200LKoen(~LKoen@92.163.9.109.rev.sfr.net) (Remote host closed the connection)
2021-04-20 21:02:39 +0200 <maerwald> so... this could mean that rosetta changed how uname behaves?
2021-04-20 21:02:58 +0200 <maerwald> that's a good method to globally break all sorts of scripts
2021-04-20 21:03:07 +0200 <And1> maerwald: Looking at a very nice TUI now.
2021-04-20 21:03:17 +0200 <And1> Sounds ridiculous somehow.
2021-04-20 21:03:23 +0200LKoen(~LKoen@92.163.9.109.rev.sfr.net)
2021-04-20 21:03:26 +0200Tops2(~Tobias@dyndsl-095-033-023-254.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-04-20 21:03:43 +0200 <maerwald> I'm not sure what's going on. Maybe the other guy from the issue can chime in
2021-04-20 21:04:23 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-20 21:05:43 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-04-20 21:07:04 +0200 <yushyin> maerwald: https://i.redd.it/cknkubh7nib61.jpg :D
2021-04-20 21:07:21 +0200 <maerwald> damn
2021-04-20 21:07:51 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-20 21:07:57 +0200 <maerwald> maybe I'll try that after I finish my lagrange keyboard
2021-04-20 21:08:17 +0200ukari(~ukari@unaffiliated/ukari)
2021-04-20 21:08:26 +0200Sorny(~Sornaensi@85.203.36.21)
2021-04-20 21:08:27 +0200 <And1> yushyin: WOW. :D
2021-04-20 21:08:45 +0200 <monochrom> That's l33t. :)
2021-04-20 21:10:21 +0200 <yushyin> I'm happy with my redox keyboard, but laptop keyboards are now problematic to use
2021-04-20 21:11:07 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-04-20 21:11:12 +0200Sorna(~Sornaensi@077213200034.dynamic.telenor.dk) (Ping timeout: 240 seconds)
2021-04-20 21:11:33 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 21:11:46 +0200 <maerwald> yushyin: https://github.com/dpapavas/lagrange-keyboard#the-lagrange-keyboard
2021-04-20 21:13:33 +0200 <yushyin> ahh yes, I know about dactyl at least
2021-04-20 21:13:38 +0200lordcirth(~lordcirth@2607:f2c0:95b3:4400:f95c:f5c5:5660:38cf) (Remote host closed the connection)
2021-04-20 21:13:54 +0200 <maerwald> yeah, this is better than dactly imo, especially the build is very well parametrized
2021-04-20 21:14:12 +0200 <maerwald> and you can print different stands for different tenting angles
2021-04-20 21:14:55 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 21:15:06 +0200 <yushyin> linked it to a friend who was about to build a dactyl
2021-04-20 21:15:10 +0200zva(~zava@141.26.31.52)
2021-04-20 21:15:32 +0200 <maerwald> but the controller is fully custom soldering, so you need some serious patience there
2021-04-20 21:17:11 +0200 <fresheyeball> so I wrote a TH thing, like this foo :: String -> Q Exp
2021-04-20 21:17:21 +0200 <fresheyeball> I can use it just fine like so
2021-04-20 21:17:26 +0200 <fresheyeball> $(foo "bar")
2021-04-20 21:17:42 +0200 <fresheyeball> is there a way I can view the generated haskell code in ghci?
2021-04-20 21:20:48 +0200 <fresheyeball> runQ $ foo "bar"
2021-04-20 21:20:59 +0200 <fresheyeball> works but it's not exactly easy to read Exp literals
2021-04-20 21:23:31 +0200minoru_shiraeesh(~shiraeesh@5.101.59.44) (Ping timeout: 260 seconds)
2021-04-20 21:23:53 +0200minoru_shiraeesh(~shiraeesh@109.166.59.151)
2021-04-20 21:25:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-20 21:26:50 +0200 <geekosaur> :set -ddump-splices ?
2021-04-20 21:26:57 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-04-20 21:29:34 +0200 <fresheyeball> geekosaur: thanks
2021-04-20 21:29:36 +0200 <fresheyeball> that worked
2021-04-20 21:32:08 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-20 21:34:35 +0200And1(~And1@brewington.uberspace.de) (Quit: information\overflow())
2021-04-20 21:34:55 +0200And1(~And1@brewington.uberspace.de)
2021-04-20 21:39:16 +0200shailangsa(~shailangs@host86-186-132-20.range86-186.btcentralplus.com) (Ping timeout: 260 seconds)
2021-04-20 21:39:17 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-20 21:40:25 +0200lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce)
2021-04-20 21:48:14 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c46c:29eb:6d58:88ee)
2021-04-20 21:49:43 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-20 21:52:29 +0200knupfer(~Thunderbi@200116b82b97f0001c582609c5f80b04.dip.versatel-1u1.de) (Remote host closed the connection)
2021-04-20 21:52:37 +0200knupfer(~Thunderbi@200116b82b97f00088ad36c7c6f65050.dip.versatel-1u1.de)
2021-04-20 21:54:31 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 245 seconds)
2021-04-20 21:54:35 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Quit: Leaving...)
2021-04-20 21:57:22 +0200Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-04-20 21:58:16 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-04-20 21:58:21 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 21:59:38 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2021-04-20 21:59:38 +0200Lord_of_Life_Lord_of_Life
2021-04-20 22:03:19 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 22:04:31 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-20 22:04:52 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.1)
2021-04-20 22:05:19 +0200petersen(~petersen@redhat/juhp) (Ping timeout: 252 seconds)
2021-04-20 22:05:41 +0200ukari(~ukari@unaffiliated/ukari)
2021-04-20 22:07:06 +0200wonko7(~wonko7@62.115.229.50) (Ping timeout: 240 seconds)
2021-04-20 22:07:45 +0200petersen(~petersen@redhat/juhp)
2021-04-20 22:08:07 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net) (Remote host closed the connection)
2021-04-20 22:09:05 +0200shailangsa(~shailangs@host86-185-102-48.range86-185.btcentralplus.com)
2021-04-20 22:10:47 +0200hiroaki_(~hiroaki@2a02:8108:8c40:2bb8:2126:aa80:b49b:4f77) (Ping timeout: 260 seconds)
2021-04-20 22:14:43 +0200LKoen(~LKoen@92.163.9.109.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-20 22:15:24 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net)
2021-04-20 22:16:29 +0200BG-Haskell(49561a19@c-73-86-26-25.hsd1.de.comcast.net)
2021-04-20 22:16:39 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 22:17:15 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-20 22:17:34 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-20 22:18:37 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-20 22:20:17 +0200 <BG-Haskell> Hello All
2021-04-20 22:20:33 +0200pavonia(~user@unaffiliated/siracusa)
2021-04-20 22:20:34 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-20 22:20:38 +0200hiroaki_(~hiroaki@2a02:8108:8c40:2bb8:9a44:5c99:5f02:ae1)
2021-04-20 22:21:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-20 22:23:29 +0200MrFantastik(~user@rrcs-184-74-43-235.nys.biz.rr.com) (Remote host closed the connection)
2021-04-20 22:25:00 +0200 <geekosaur> ohai?
2021-04-20 22:25:13 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-04-20 22:28:44 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-04-20 22:31:19 +0200xff0x(~xff0x@2001:1a81:5214:2600:51f9:992c:5a15:4907) (Ping timeout: 276 seconds)
2021-04-20 22:32:36 +0200xff0x(xff0x@gateway/vpn/mullvad/xff0x)
2021-04-20 22:33:56 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 265 seconds)
2021-04-20 22:34:35 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-20 22:36:30 +0200usr25(~usr25@unaffiliated/usr25)
2021-04-20 22:38:22 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-04-20 22:41:01 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-20 22:42:06 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-20 22:42:21 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 22:45:03 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-20 22:45:58 +0200ukari(~ukari@unaffiliated/ukari)
2021-04-20 22:46:42 +0200BG-Haskell(49561a19@c-73-86-26-25.hsd1.de.comcast.net) (Quit: Connection closed)
2021-04-20 22:47:35 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-04-20 22:47:50 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-bawywirjaljqzbpz) (Quit: Connection closed for inactivity)
2021-04-20 22:47:58 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-20 22:49:08 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-04-20 22:49:57 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 22:52:06 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-20 22:53:06 +0200myShoggoth(~myShoggot@75.164.11.109) (Ping timeout: 240 seconds)
2021-04-20 22:53:15 +0200tatsumaru(~tatsumaru@85.196.189.103)
2021-04-20 22:53:20 +0200 <tatsumaru> hey guys,
2021-04-20 22:53:52 +0200 <tatsumaru> why does [3, 4, 2] > [3, 4] return 'True' instead of an error? Isn't the "2" evaluated?
2021-04-20 22:53:59 +0200myShoggoth(~myShoggot@75.164.11.109)
2021-04-20 22:54:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-20 22:54:28 +0200Sornaensis(~Sornaensi@077213200034.dynamic.telenor.dk)
2021-04-20 22:55:16 +0200 <glguy> tatsumaru: lists use "lexicographic" ordering
2021-04-20 22:55:45 +0200 <glguy> https://en.wikipedia.org/wiki/Lexicographic_order
2021-04-20 22:55:48 +0200Tario(~Tario@201.192.165.173)
2021-04-20 22:56:29 +0200 <tatsumaru> "One variant applies to sequences of different lengths by comparing the lengths of the sequences before considering their elements. "
2021-04-20 22:56:39 +0200 <tatsumaru> so basically the 2 isn't considered because the second list is shorter?
2021-04-20 22:57:20 +0200 <monochrom> But Haskell's Ord for [a] doesn't use the variant.
2021-04-20 22:58:12 +0200 <edwardk> > "abc" > "ab"
2021-04-20 22:58:14 +0200 <lambdabot> True
2021-04-20 22:58:18 +0200 <edwardk> ^- same thing
2021-04-20 22:58:22 +0200Sorny(~Sornaensi@85.203.36.21) (Ping timeout: 268 seconds)
2021-04-20 22:58:53 +0200 <tatsumaru> edwardk not getting how this is helpful
2021-04-20 22:59:04 +0200xff0x(xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 265 seconds)
2021-04-20 22:59:20 +0200 <edwardk> this is the same thing that is happening in haskell, it is using lexicographical ordering on lists, the very ordering you use when you find things in a dictionary.
2021-04-20 22:59:26 +0200 <monochrom> When sorting names we choose "louie" < "louies". The standard library simply extends this from [Char] to [a].
2021-04-20 22:59:28 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-04-20 23:00:12 +0200 <tatsumaru> alright, but I still don't understand why the 2 doesn't get evaluated
2021-04-20 23:00:28 +0200xff0x(~xff0x@2001:1a81:5214:2600:51f9:992c:5a15:4907)
2021-04-20 23:01:07 +0200 <monochrom> Does it help if you know "[3,4]" is syntax sugar for "3 : (4 : [])"?
2021-04-20 23:01:17 +0200 <edwardk> compare (x:xs) (y:ys) = case compare x y of { LT -> LT; EQ -> compare xs ys; GT -> GT }; compare [] [] = EQ; compare [] (_:_) = LT; compare (_:_) [] = GT
2021-04-20 23:01:33 +0200 <monochrom> and then that.
2021-04-20 23:01:37 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-04-20 23:01:59 +0200 <edwardk> when it starts it compares 3:4:2:[] with 3:4:[]. so we start on the first compare pattern, which then compares 3 with 3, gets EQ and compares the tails
2021-04-20 23:02:10 +0200 <monochrom> Near the end of the recursive algorithm, it is comparing [] against non-[], done, doesn't even care.
2021-04-20 23:02:26 +0200myShoggoth(~myShoggot@75.164.11.109) (Ping timeout: 240 seconds)
2021-04-20 23:02:32 +0200 <edwardk> we then compare 4:2:[] with 4:[] -- which compares the heads (compare 4 4 yields EQ, which recurses again with 2:[] and []
2021-04-20 23:02:34 +0200 <monochrom> > [] < undefined : undefined
2021-04-20 23:02:36 +0200 <lambdabot> True
2021-04-20 23:02:56 +0200 <edwardk> now we fall into the last case compare (_:_) [] = GT
2021-04-20 23:03:08 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-20 23:03:11 +0200 <edwardk> > [2] > []
2021-04-20 23:03:13 +0200 <lambdabot> True
2021-04-20 23:04:00 +0200 <edwardk> lexicographical comparison is comparing element by element through the two lists until one of the lists runs out and the other doesn't, or until it encounters a difference in the values contained.
2021-04-20 23:04:19 +0200 <edwardk> so notice how compare (_:_) [] = GT -- didn't care a whit about what you stored in the list.
2021-04-20 23:04:45 +0200 <tatsumaru> i am not familiar with the (_:_) construction yet
2021-04-20 23:04:49 +0200 <edwardk> > 'a':'b':(undefined:[]) > "ab"
2021-04-20 23:04:51 +0200 <lambdabot> True
2021-04-20 23:05:05 +0200 <edwardk> (_:_) is just a pattern throwing away both the x and the xs in the pattern match
2021-04-20 23:05:26 +0200 <edwardk> foo (x:xs) = "hello" could be written as foo (_:_) = "hello" -- since the body doesn't need the name x or xs.
2021-04-20 23:05:29 +0200 <monochrom> The _ is "wildcard pattern" and it matches unconditionally and also doesn't care.
2021-04-20 23:05:36 +0200 <edwardk> const a _ = a
2021-04-20 23:05:42 +0200 <edwardk> throws away the second argument
2021-04-20 23:05:59 +0200 <monochrom> The : you're supposed to know if you use Haskell lists at all.
2021-04-20 23:06:15 +0200 <edwardk> : is just how you cons onto a list.
2021-04-20 23:06:15 +0200 <tatsumaru> well IIUC : means append to the beginning of the list
2021-04-20 23:06:20 +0200 <edwardk> > 1:2:3:[]
2021-04-20 23:06:22 +0200 <lambdabot> [1,2,3]
2021-04-20 23:06:37 +0200 <edwardk> > case [1,2,3] of x:xs -> x
2021-04-20 23:06:40 +0200 <lambdabot> 1
2021-04-20 23:06:44 +0200 <edwardk> > case [1,2,3] of x:xs -> xs
2021-04-20 23:06:46 +0200 <lambdabot> [2,3]
2021-04-20 23:07:11 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 240 seconds)
2021-04-20 23:08:06 +0200malumore_(~malumore@151.62.126.110) (Ping timeout: 240 seconds)
2021-04-20 23:08:20 +0200 <edwardk> so basically the definition of compare for lists matches on the two lists, walks through them if they both have elements it compares the heads and proceeeds recursively if they are the same, if they both are empty they are the same, and if one has elements and the other does not then the one with elements is considered greater. just like how 'dogfood' comes after 'dog' in the dictionary.
2021-04-20 23:08:22 +0200 <ski> > let x:xs = [1,2,3] in (x,xs)
2021-04-20 23:08:24 +0200 <lambdabot> (1,[2,3])
2021-04-20 23:09:18 +0200 <tatsumaru> so basically it interchanges between different definitions of greater depending on the case?
2021-04-20 23:09:43 +0200 <tatsumaru> sometimes it's greater because 3 > 2 and sometimes it's greater because the list is longer
2021-04-20 23:09:45 +0200 <monochrom> I don't understand that question.
2021-04-20 23:10:05 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-20 23:10:21 +0200 <edwardk> the only time it ever 'compares list lengths' is when one ran out of elements completely.
2021-04-20 23:10:23 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-20 23:10:25 +0200 <xsperry> tatsumaru, what would you prefer? that smaller list is greater? that an error is thrown?
2021-04-20 23:10:36 +0200 <xsperry> (or rather returned)
2021-04-20 23:10:46 +0200 <geekosaur> and why?
2021-04-20 23:11:19 +0200 <tatsumaru> I am not making preferences just trying to figure it out
2021-04-20 23:11:38 +0200ubert(~Thunderbi@178.115.130.126.wireless.dyn.drei.com)
2021-04-20 23:11:46 +0200 <monochrom> And there are two "it"s that clearly refer to two unrelated things so the question reflects that you are thinking unclearly.
2021-04-20 23:11:46 +0200 <tatsumaru> in terms of what would make most sense to me as a noob programmer is that it would throw an error because one list has more indexes than the other
2021-04-20 23:12:07 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 265 seconds)
2021-04-20 23:12:43 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-20 23:12:50 +0200barakkl1993(~barakkley@2.55.154.74)
2021-04-20 23:12:51 +0200 <ski> each list can be either empty or non-empty. since there's two lists, that makes four combinations. both empty means they lists are equal. one empty and one non-empty means the empty one is less than the non-empty one. both non-empty .. then we compare the first element of both lists. only if they're equal do we continue to compare the tails of the two lists
2021-04-20 23:13:02 +0200 <nut> what is the time complexity of list join (++) ?
2021-04-20 23:13:12 +0200 <ski> join ?
2021-04-20 23:13:17 +0200 <nut> concat
2021-04-20 23:13:39 +0200 <edwardk> that isn't terribly useful if you want to, say, use those lists as a key in a map. here we want 'Ord' to give us a comparison that is a total function that tells us if xs < ys, if xs == ys, or if xs > ys. that is the role served by compare, by <, <=, =>, >, ==, /= in haskell.
2021-04-20 23:13:40 +0200 <ski> `xs ++ ys' takes time proportional to the length of `xs'
2021-04-20 23:13:42 +0200 <monochrom> The time cost of xs++ys is proportional to the length of xs.
2021-04-20 23:13:43 +0200 <edwardk> they are 'total'
2021-04-20 23:14:08 +0200 <xsperry> tatsumaru, sort function uses <. if Ord for list was defined the way you propose, you could only sort a list of strings if all the strings were of the same length.
2021-04-20 23:14:17 +0200 <monochrom> ys and xs++ys can share the ys part.
2021-04-20 23:14:23 +0200 <tatsumaru> if longer lists are greater then why is [2, 2] > [3] false ?
2021-04-20 23:14:40 +0200 <monochrom> 2<3
2021-04-20 23:14:51 +0200 <monochrom> GG
2021-04-20 23:14:53 +0200 <ski> because the remainder of the lists are only considered, in case the head elements differ
2021-04-20 23:14:57 +0200 <nut> ski: i see, you'd have to traverse xs
2021-04-20 23:15:06 +0200 <monochrom> ski: Eqaul!
2021-04-20 23:15:12 +0200 <edwardk> on the other hand you could well come up with a class for 'partial orders' where the question a <=? b = False and b <=? a = False at the same time is perfectly acceptable. no 'errors' need be thrown, then you could say for that that two lists can only compare as <=? if, say they are exactly the same length _and_ say, every single element compares as <= its corresponding sibling in the other list.
2021-04-20 23:15:22 +0200 <monochrom> nut: It also has to clone xs.
2021-04-20 23:15:35 +0200 <tatsumaru> so this is what puzzles me whether the boolean output is based on the total length of the list or on comparing each individual integers to each other
2021-04-20 23:15:40 +0200 <edwardk> tatsumaru: why does 'catfood' come before 'dog' in the dictionary?
2021-04-20 23:15:42 +0200 <ski> in `[2,2] > [3]', we have `2 < 3', hence the list comparision is `False'. we never get to comparing the tails, per `[2] > []'
2021-04-20 23:16:16 +0200 <tatsumaru> edwardk ok this made it clearer, basically both things matter
2021-04-20 23:17:24 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-20 23:17:36 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2021-04-20 23:17:41 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-20 23:18:24 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-04-20 23:18:26 +0200ubert(~Thunderbi@178.115.130.126.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2021-04-20 23:18:50 +0200 <ski> tatsumaru : corresponding elements are compared, successively. we only continue this comparision, as long as previous corresponding element comparisions have turned out to compare equal, and (obviously) as long as there's more elements of both lists to compare with each other. so, as soon as one (or both) lists end, this process also stops. but it also stops if an element comparision compares not equal
2021-04-20 23:19:14 +0200 <tatsumaru> just realized you could actually do this with char as well "catfood" < "dog"
2021-04-20 23:19:20 +0200 <edwardk> think of this as walking through both lists discarding common prefixes. when you're done discarding the common prefix, the next elements if they exist disagree. which one comes first? if they both don't exist, its becauseyour lists are the same, if one exists and the other doesn't, its because you are looking at something like the "dog" vs "dogfood"
2021-04-20 23:19:21 +0200 <ski> yep
2021-04-20 23:20:15 +0200 <ski> tatsumaru : as an exercise, you could define `lessThan :: Ord a => [a] -> [a] -> Bool' yourself ?
2021-04-20 23:21:01 +0200 <tatsumaru> I am not sure what that means yet I am literally on chapter 1 of the book.
2021-04-20 23:21:09 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-04-20 23:21:20 +0200 <tatsumaru> is this a function definition
2021-04-20 23:21:26 +0200 <ski> yes, it would be
2021-04-20 23:21:48 +0200 <geekosaur> well, strictly speaking that was the type signature for a function
2021-04-20 23:22:07 +0200 <ski> (what i gave would be the corresponding type signature. if you prefer, you could do e.g. `lessThan :: [Integer] -> [Integer] -> Bool' instead. or `lessThan :: [Char] -> [Char] -> Bool')
2021-04-20 23:23:17 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-20 23:24:31 +0200knupfer(~Thunderbi@200116b82b97f00088ad36c7c6f65050.dip.versatel-1u1.de) (Ping timeout: 245 seconds)
2021-04-20 23:24:39 +0200 <tatsumaru> by the way is the new haskell 2020 spec going to be compatible with what I am learning right now?
2021-04-20 23:24:52 +0200s00pcan(~chris@107.181.165.217) (Ping timeout: 240 seconds)
2021-04-20 23:24:55 +0200 <tatsumaru> which is haskell 2010
2021-04-20 23:24:55 +0200 <monochrom> There is no Haskell 2020.
2021-04-20 23:25:33 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-20 23:25:35 +0200 <tatsumaru> hmm, the wiki says 'Haskell 2020 announced' preview release
2021-04-20 23:26:56 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-04-20 23:27:49 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-20 23:27:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-04-20 23:28:11 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-20 23:28:49 +0200ludi49(~hryhorij@156.17.231.95)
2021-04-20 23:29:00 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 23:32:17 +0200danvet_(~danvet@212-51-149-181.fiber7.init7.net)
2021-04-20 23:34:09 +0200rj(~x@gateway/tor-sasl/rj) (Remote host closed the connection)
2021-04-20 23:34:21 +0200jesystani(~thorn@2404:4404:17f1:4900:819e:dd03:7c1b:1df4)
2021-04-20 23:34:22 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-20 23:34:31 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-20 23:35:09 +0200lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce) (Ping timeout: 240 seconds)
2021-04-20 23:35:21 +0200aidecoe(~aidecoe@unaffiliated/aidecoe) (Remote host closed the connection)
2021-04-20 23:36:14 +0200Neuromancer(~Neuromanc@unaffiliated/neuromancer)
2021-04-20 23:38:24 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-20 23:38:36 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 252 seconds)
2021-04-20 23:39:21 +0200michalz(~user@185.246.204.61) (Remote host closed the connection)
2021-04-20 23:41:11 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-20 23:41:46 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-20 23:43:17 +0200myShoggoth(~myShoggot@75.164.11.109)
2021-04-20 23:43:57 +0200tatsumaru(~tatsumaru@85.196.189.103) ()
2021-04-20 23:46:26 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-20 23:47:09 +0200maroloccio(~marolocci@pousada3ja.mma.com.br)
2021-04-20 23:48:00 +0200geiger_(~geiger@90.212.77.86)
2021-04-20 23:50:47 +0200geiger(~geiger@90.212.77.86) (Ping timeout: 265 seconds)
2021-04-20 23:54:11 +0200danvet_(~danvet@212-51-149-181.fiber7.init7.net) (Ping timeout: 240 seconds)
2021-04-20 23:54:51 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-04-20 23:56:25 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-04-20 23:58:35 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-20 23:59:10 +0200 <nut> if (++) in Data.List is too slow, what data structure to consider for fast concat ?
2021-04-20 23:59:55 +0200 <monochrom> Data.Sequence.Seq