IRCBrowse

2021/02/06

2021-02-06 00:00:12 +0100hekkaidekapus](~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-06 00:00:31 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-06 00:01:10 +0100earthy(~arthurvl@deban2.xs4all.space)
2021-02-06 00:01:10 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-06 00:01:12 +0100conal(~conal@64.71.133.70)
2021-02-06 00:02:00 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-06 00:02:47 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-02-06 00:04:05 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 240 seconds)
2021-02-06 00:04:18 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-06 00:04:31 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-06 00:04:46 +0100kupi(uid212005@gateway/web/irccloud.com/x-aaegxzeymcrafmxs) (Quit: Connection closed for inactivity)
2021-02-06 00:06:05 +0100Kipras_(~Kipras@78-56-235-39.static.zebra.lt) (Ping timeout: 240 seconds)
2021-02-06 00:06:48 +0100xsperry(~as@unaffiliated/xsperry) (Ping timeout: 272 seconds)
2021-02-06 00:07:04 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0)
2021-02-06 00:08:07 +0100napping(~brandon@174-20-93-137.mpls.qwest.net) (Quit: leaving)
2021-02-06 00:09:49 +0100hekkaidekapus](~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-06 00:12:10 +0100wildlander(~wildlande@unaffiliated/wildlander)
2021-02-06 00:13:05 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 240 seconds)
2021-02-06 00:13:39 +0100hekkaidekapus](~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-06 00:15:29 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-02-06 00:15:45 +0100alx741(~alx741@186.178.110.176) (Quit: alx741)
2021-02-06 00:16:07 +0100HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2021-02-06 00:16:21 +0100hololeap(~hololeap@unaffiliated/hololeap)
2021-02-06 00:22:29 +0100guest7682358928(a8c4c9de@gateway/web/cgi-irc/kiwiirc.com/ip.168.196.201.222)
2021-02-06 00:22:37 +0100metreo(~Thunderbi@unaffiliated/metreo) ()
2021-02-06 00:22:45 +0100Guest69009(~textual@zrcout.mskcc.org) (Ping timeout: 264 seconds)
2021-02-06 00:24:34 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8513:7e38:6670:2969)
2021-02-06 00:24:45 +0100Alleria(~textual@zrcout.mskcc.org)
2021-02-06 00:25:08 +0100AlleriaGuest65369
2021-02-06 00:29:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 00:29:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8513:7e38:6670:2969) (Ping timeout: 264 seconds)
2021-02-06 00:29:34 +0100son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2021-02-06 00:32:57 +0100tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 264 seconds)
2021-02-06 00:34:27 +0100tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2021-02-06 00:34:51 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8513:7e38:6670:2969)
2021-02-06 00:35:02 +0100rj(~x@gateway/tor-sasl/rj) (Quit: rj)
2021-02-06 00:38:45 +0100ystael(~ystael@209.6.50.55) (Ping timeout: 240 seconds)
2021-02-06 00:40:31 +0100ystael(~ystael@209.6.50.55)
2021-02-06 00:44:54 +0100dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-foygrhwmdcxagcno)
2021-02-06 00:49:05 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-06 00:50:45 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-02-06 00:52:57 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 00:53:25 +0100gienah(~mwright@gentoo/developer/gienah) (Quit: leaving)
2021-02-06 00:54:54 +0100hackagehs-aws-lambda 0.1.0.2 - A modern and easy-to-use wrapper for Docker-based Lambda implementations https://hackage.haskell.org/package/hs-aws-lambda-0.1.0.2 (RobertFischer)
2021-02-06 00:55:18 +0100hyperisco(~hyperisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 246 seconds)
2021-02-06 00:57:51 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 258 seconds)
2021-02-06 01:00:59 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-02-06 01:01:18 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-02-06 01:03:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-06 01:08:17 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428)
2021-02-06 01:10:20 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Remote host closed the connection)
2021-02-06 01:11:16 +0100Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 258 seconds)
2021-02-06 01:11:21 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2021-02-06 01:13:56 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 272 seconds)
2021-02-06 01:14:41 +0100blankhart(~blankhart@pool-100-8-71-205.nwrknj.fios.verizon.net)
2021-02-06 01:15:38 +0100Ranhir(~Ranhir@157.97.53.139)
2021-02-06 01:17:11 +0100 <ph88^> does anyone know if it's possible to separate parts of the .stack cache ? thing is that in CI to cache this all takes a long time
2021-02-06 01:17:43 +0100 <shiraeeshi> shapr: > shiraeeshi: you're back! found something neat you want to write?
2021-02-06 01:18:32 +0100 <shiraeeshi> yeah, I monitor this channel (this channel is the most active one of all the channels I monitor now)
2021-02-06 01:19:48 +0100 <shiraeeshi> I have no idea what to write, people who just write stuff without thinking much are lucky
2021-02-06 01:20:06 +0100 <shiraeeshi> in the meantime I'm reading a book about monads
2021-02-06 01:20:13 +0100 <johnw> a whole book about them?
2021-02-06 01:20:14 +0100 <shiraeeshi> about to read about monad laws
2021-02-06 01:20:24 +0100 <shiraeeshi> yeah
2021-02-06 01:20:44 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-02-06 01:20:47 +0100 <shiraeeshi> but imho it's better then typical blog posts explaining monads
2021-02-06 01:20:52 +0100 <johnw> if you stack two such books on top of each other, do they become one book about monads?
2021-02-06 01:21:00 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 265 seconds)
2021-02-06 01:21:05 +0100 <c_wraith> johnw: no, you need to stick one inside the other
2021-02-06 01:21:19 +0100 <johnw> that's fair
2021-02-06 01:21:38 +0100 <c_wraith> join $ Book (Book Monads)
2021-02-06 01:22:02 +0100 <shiraeeshi> the inner book will be repeated between each pair of pages?
2021-02-06 01:22:18 +0100 <johnw> And it makes sense: a book about a book about monads would also be a book about monads
2021-02-06 01:22:51 +0100fendor_(~fendor@178.165.131.204.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-02-06 01:22:53 +0100 <c_wraith> it's a very loose, handwavey sort of sense, but it's ok.
2021-02-06 01:23:31 +0100 <shapr> shiraeeshi: I want to make a file duplicate finder
2021-02-06 01:24:02 +0100 <shapr> but I specifically want to use software transactional memory and parallelism, and try out the new concurrent/parallel garbage collector.
2021-02-06 01:24:23 +0100 <shapr> I'd enjoy that project.
2021-02-06 01:24:35 +0100 <shapr> I always have too many project ideas.
2021-02-06 01:24:35 +0100 <shiraeeshi> shapr: I imagine it would scan a specified directory and form an index of files and then search for duplicates in that index?
2021-02-06 01:25:05 +0100 <shapr> yes, I think laziness could mean less work being required
2021-02-06 01:26:00 +0100 <shapr> you only need to load file data until they're not equal, and then you can stop
2021-02-06 01:26:12 +0100 <shiraeeshi> shapr: you're lucky, being able to come up with an idea - that's a gift, not anyone has it
2021-02-06 01:27:01 +0100 <monochrom> haha johnw
2021-02-06 01:28:17 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8513:7e38:6670:2969) (Remote host closed the connection)
2021-02-06 01:29:13 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-06 01:30:51 +0100 <nshepperd> if you have a procedure for turning monads into categories, can you take a book about monads and turn it into a book about categories?
2021-02-06 01:31:18 +0100stef204(~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.0)
2021-02-06 01:31:37 +0100 <shiraeeshi> yes, if the book is a functor, right?
2021-02-06 01:31:54 +0100 <johnw> right
2021-02-06 01:32:09 +0100 <ph88^> shapr, what's your latest idea ?
2021-02-06 01:32:34 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 01:35:29 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8513:7e38:6670:2969)
2021-02-06 01:36:03 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-02-06 01:36:41 +0100conal(~conal@64.71.133.70)
2021-02-06 01:36:46 +0100 <shapr> ph88^: I want to build a visual bloom filter for process notification
2021-02-06 01:37:17 +0100 <shapr> I have this process status LED board that turns yellow when a process is running, and red or green depending on the exit code
2021-02-06 01:37:34 +0100 <shapr> It's 4 x 8 LEDs, it looks nice.
2021-02-06 01:37:50 +0100 <shapr> But I don't have a way to display the state of more than one process at a time.
2021-02-06 01:38:20 +0100 <shapr> I figured I could hash each command line into four pieces, and only change the status of those lights, bloom filter style.
2021-02-06 01:40:05 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2021-02-06 01:42:23 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2021-02-06 01:42:36 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 01:44:02 +0100 <ph88^> how does that look like a bloom filter led ?
2021-02-06 01:44:48 +0100 <shapr> I use this to display process status: https://learn.adafruit.com/adafruit-neotrellis-m4?view=all
2021-02-06 01:45:28 +0100 <shapr> and I use yellow for "in progress" and red for "non zero exit code" and green for "exit code zero"
2021-02-06 01:46:09 +0100 <shapr> so I figure I could display and update the status of multiple processes by hashing the command line to get one bit of eight on each row
2021-02-06 01:47:46 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 01:47:58 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-nfduencpjwoeibog) (Quit: Connection closed for inactivity)
2021-02-06 01:48:35 +0100 <monochrom> This sounds like Mastermind but with process states.
2021-02-06 01:48:45 +0100usr25(~usr25@unaffiliated/usr25) (Ping timeout: 240 seconds)
2021-02-06 01:48:51 +0100 <shapr> monochrom: yeh, close enough
2021-02-06 01:49:55 +0100 <shapr> I don't see a bloom filter library on hackage that does eight bit hashes.
2021-02-06 01:51:00 +0100 <nshepperd2> sounds fun. you could do a counting bloom filter but with a custom join lattice instead of numbers?
2021-02-06 01:51:12 +0100 <shapr> nshepperd2: huh?
2021-02-06 01:51:42 +0100 <shapr> oh, I'm starting to understand that
2021-02-06 01:51:45 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-06 01:51:54 +0100 <shapr> but now I want more details
2021-02-06 01:52:21 +0100 <shapr> If I used blue for "in progress" instead of yellow, then I'd have three independent outputs for each pixel
2021-02-06 01:52:32 +0100 <dsal> I used to use my mac's caps lock light as a build failure indicator.
2021-02-06 01:52:32 +0100 <shapr> then a counting bloom filter would work better, right?
2021-02-06 01:52:49 +0100 <shapr> nshepperd2: can you explain the custom join lattice part?
2021-02-06 01:53:25 +0100 <nshepperd2> you can have a lattice with four elements, like {in progress, success, failure, top}
2021-02-06 01:53:29 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-02-06 01:53:43 +0100 <nshepperd2> with in progress -> {success, failure} -> top
2021-02-06 01:55:02 +0100 <nshepperd2> and when you update a pixel with a new state, you update it with the join/max of its current state and the new state
2021-02-06 01:55:48 +0100 <shapr> I think that would work
2021-02-06 01:56:16 +0100nhs(~nhs@c-71-238-81-158.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 01:56:30 +0100 <shapr> This board also has an acceleromoter that's used as a tap sensor, so I'd be able to clear it after a bunch of pixels reached max
2021-02-06 01:57:23 +0100 <shapr> hm, now that I think about it, I could fade the pixels over time
2021-02-06 01:57:29 +0100forgottenone(~forgotten@176.42.26.20) (Remote host closed the connection)
2021-02-06 01:59:16 +0100 <shapr> Writing Haskell code to make four 8 bit hashes of whatever input sounds like fun to me
2021-02-06 01:59:19 +0100 <nshepperd2> yeah, that would work if you made it so the operation was just channelwise max
2021-02-06 02:02:04 +0100 <shapr> I wrote some bloom filter code a few years ago, I wonder where I put it?
2021-02-06 02:04:28 +0100 <shapr> Right now I have a shell script that scripts gnu screen to send color codes to the circuitpython script
2021-02-06 02:05:04 +0100 <shapr> the code on the board is *really* simple https://gist.github.com/shapr/1b2c4951293d8a7521b977cbb63a4a64
2021-02-06 02:05:20 +0100 <shapr> I wish I could fit Haskell onto a tiny ARM board
2021-02-06 02:06:58 +0100 <monochrom> Hugs may fit.
2021-02-06 02:07:34 +0100 <monochrom> Also, "Hugs is written in C so it is fast"
2021-02-06 02:07:45 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-02-06 02:07:56 +0100 <shapr> Yes, of course :-)
2021-02-06 02:08:26 +0100 <monochrom> Next time someone drivels with "C is strict therefore it is fast", remind me to reply:
2021-02-06 02:08:36 +0100 <monochrom> "Hugs is written in C so it is strict and fast"
2021-02-06 02:11:18 +0100nineonin_(~nineonine@50.216.62.2)
2021-02-06 02:13:07 +0100aveltras(uid364989@gateway/web/irccloud.com/x-pjggritsgsigpqvj) (Quit: Connection closed for inactivity)
2021-02-06 02:13:30 +0100 <shiraeeshi> I've read somewhere that foldr is preferable rather than foldl
2021-02-06 02:13:56 +0100 <glguy> They do different things. It's best to just understand them both and pick the right one
2021-02-06 02:14:00 +0100 <shiraeeshi> don't remember what language was concerned
2021-02-06 02:14:14 +0100 <koz_> It depends heavily on what's being folded.
2021-02-06 02:14:16 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 276 seconds)
2021-02-06 02:14:27 +0100 <shiraeeshi> I don't get it: it sounds like foldl should be more preferred
2021-02-06 02:14:54 +0100 <shiraeeshi> here is what I tried:
2021-02-06 02:15:25 +0100 <shiraeeshi> foldr (+) 0 [1..1000000000000000000000000]
2021-02-06 02:15:49 +0100 <shiraeeshi> gives "*** Exception: stack overflow" answer
2021-02-06 02:16:03 +0100 <shiraeeshi> foldl (+) 0 [1..1000000000000000000000000]
2021-02-06 02:16:29 +0100 <shiraeeshi> freezes and then gives "Killed" answer
2021-02-06 02:16:43 +0100metreo(~Thunderbi@unaffiliated/metreo)
2021-02-06 02:16:47 +0100metreo(~Thunderbi@unaffiliated/metreo) ()
2021-02-06 02:16:49 +0100nineonin_(~nineonine@50.216.62.2) (Ping timeout: 258 seconds)
2021-02-06 02:16:52 +0100 <shiraeeshi> why did foldl freeze?
2021-02-06 02:17:00 +0100 <glguy> Neither foldl nor foldr are good solutions to summing up 1000000000000000000000000 numbers
2021-02-06 02:17:08 +0100 <koz_> :t sum
2021-02-06 02:17:09 +0100 <lambdabot> (Foldable t, Num a) => t a -> a
2021-02-06 02:17:15 +0100 <koz_> _That_ is what you should prefer.
2021-02-06 02:17:22 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428)
2021-02-06 02:17:25 +0100 <shiraeeshi> but why did it freeze?
2021-02-06 02:17:34 +0100 <shapr> I suspect it was getting to the end of the list.
2021-02-06 02:17:45 +0100 <shapr> > sum [1..1000000000000000000000000]
2021-02-06 02:17:51 +0100 <lambdabot> mueval-core: Time limit exceeded
2021-02-06 02:17:54 +0100 <shapr> oh well
2021-02-06 02:17:56 +0100 <koz_> LOL
2021-02-06 02:18:20 +0100 <glguy> 1000000000000000000000000 is too big to worry about ever getting to the end of the list
2021-02-06 02:18:38 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ...zzzZZZ)
2021-02-06 02:18:58 +0100 <glguy> > logBase 2 1000000000000000000000000
2021-02-06 02:19:00 +0100 <lambdabot> 79.7262742772967
2021-02-06 02:19:02 +0100 <shiraeeshi> so the reason is just that it takes too long?
2021-02-06 02:19:36 +0100 <shiraeeshi> my intution was that it works like a loop
2021-02-06 02:20:14 +0100 <shapr> @src foldr
2021-02-06 02:20:14 +0100 <lambdabot> foldr f z [] = z
2021-02-06 02:20:14 +0100 <lambdabot> foldr f z (x:xs) = f x (foldr f z xs)
2021-02-06 02:20:32 +0100 <shiraeeshi> but I heard in this channel that haskell doesn't use call stacks, so I don't know if my intuition is right anymore.
2021-02-06 02:20:32 +0100 <shapr> @src foldl
2021-02-06 02:20:32 +0100 <lambdabot> foldl f z [] = z
2021-02-06 02:20:32 +0100 <lambdabot> foldl f z (x:xs) = foldl f (f z x) xs
2021-02-06 02:20:58 +0100alx741(~alx741@186.178.110.176)
2021-02-06 02:21:15 +0100 <monochrom> There is, instead, an "evaluation stack".
2021-02-06 02:21:37 +0100 <glguy> for summing a list, foldl' is preferred over foldl or foldr, on that particular topic
2021-02-06 02:21:50 +0100 <monochrom> But I refuse to make a big fuss about the different name because it still acts like a call stack.
2021-02-06 02:22:46 +0100 <koz_> monochrom: Duck stack.
2021-02-06 02:23:02 +0100 <monochrom> If you have "3 + 4 * f x" then while you dive deep to work on the "f x" part, there is a stack to remember "you still have to 4* afterwards, and then you still have to 3+ afterwards". So it is still a call stack.
2021-02-06 02:24:27 +0100 <monochrom> Lazy evaluation doesn't change the fact that you have a stack and it can grow, it just changes what goes there. And since Haskell still has an eager part, when you hit an eager subexpression the stack becomes a call stack.
2021-02-06 02:24:43 +0100 <shiraeeshi> sounds like foldl is preferable over foldr, because it doesn't grow the call stack then.
2021-02-06 02:25:46 +0100 <dsal> I use foldr most of the time.
2021-02-06 02:26:06 +0100 <glguy> shiraeeshi, it'll still be more useful to understand the difference than to guess at a general rule
2021-02-06 02:26:25 +0100 <dolio> foldl is never preferable to anything, I think.
2021-02-06 02:26:38 +0100 <dsal> (well, trying to avoid that detail)
2021-02-06 02:27:00 +0100xsperry(~as@unaffiliated/xsperry)
2021-02-06 02:27:09 +0100 <dsal> But for the exact problem above, there's no appropriate loop to compute the sum of 1..1000000000000000000000000
2021-02-06 02:27:16 +0100 <monochrom> I am actually bivalent on this, to be honest.
2021-02-06 02:27:21 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 246 seconds)
2021-02-06 02:27:50 +0100 <glguy> dolio, if you were going to foldr of reverse I'd think you might as well foldl
2021-02-06 02:27:55 +0100 <monochrom> Sometimes, I talk of a stack, and I don't care whether you prefix it with "call" or "eval".
2021-02-06 02:28:12 +0100 <monochrom> The other times, I don't even want you to think in terms of any stack.
2021-02-06 02:29:13 +0100 <monochrom> foldl (+) 0, as opposed to foldl' (+) 0, takes linear space because it builds up the unevaluated data structure "a+b+c+d+..." and then, only then, evaluates it.
2021-02-06 02:29:24 +0100 <dolio> glguy: I don't know, maybe. There probably isn't a good reason to not use foldl' in that case.
2021-02-06 02:29:51 +0100 <monochrom> This is enough to explain why it takes linear space, I don't care how that linear space is partitioned into heap and stack. No one should care.
2021-02-06 02:29:56 +0100 <glguy> dolio, there are about as many times you'd benefit from the laziness in that case as with normal foldr
2021-02-06 02:30:20 +0100 <shapr> I'm still running that sum on my laptop, but it's using 120GB of memory. I'm curious how this will end.
2021-02-06 02:30:54 +0100 <dolio> > 1000000000000000000000000 :: Double
2021-02-06 02:30:56 +0100 <lambdabot> 1.0e24
2021-02-06 02:31:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8513:7e38:6670:2969) (Remote host closed the connection)
2021-02-06 02:31:09 +0100 <monochrom> On the other hand, foldr (&&) whatever (False : whatever) takes O(1) time (therefore O(1) space), you can hand-do lazy evaluation to see this. Again, you don't need to ask about stack.
2021-02-06 02:31:22 +0100 <dolio> shapr: I think it might not end until after you're dead.
2021-02-06 02:31:35 +0100 <glguy> I maintain that it's such a fundamental concept to programming in Haskell that one should expect to just understand the choice rather than guessing at rules
2021-02-06 02:32:59 +0100 <shapr> uh oh, it's hit 200GB of memory and is now into my swapfile
2021-02-06 02:33:00 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0)
2021-02-06 02:33:16 +0100 <shapr> ok, I give up
2021-02-06 02:33:16 +0100 <monochrom> shapr is the only one in #haskell that can use 120GB RAM :)
2021-02-06 02:33:20 +0100 <dolio> Oh, it's using memory? Then it will finish.
2021-02-06 02:33:29 +0100 <shapr> dolio: nah, it hit swap
2021-02-06 02:33:33 +0100 <monochrom> onoes, if shapr gives up, there is no hope. :)
2021-02-06 02:33:53 +0100 <shapr> :-P
2021-02-06 02:34:06 +0100 <monochrom> Yeah dolio, shapr's laptop has like 128GB RAM (and I forgot how many cores, but >=64)
2021-02-06 02:34:11 +0100 <monochrom> "laptop"
2021-02-06 02:34:14 +0100 <shapr> Sadly, I haven't yet found a laptop that offers 256GB RAM
2021-02-06 02:34:22 +0100 <monochrom> or more clearly, "some laptop there"
2021-02-06 02:34:24 +0100 <shapr> I only have six Xeon cores :-P
2021-02-06 02:34:32 +0100 <monochrom> Ah OK!
2021-02-06 02:34:38 +0100 <shapr> and very little battery life
2021-02-06 02:35:27 +0100 <shapr> shiraeeshi: I agree with glguy, it's best to understand the difference
2021-02-06 02:35:46 +0100 <dsal> How do I get one of these datacenter laptops?
2021-02-06 02:35:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 02:36:25 +0100 <monochrom> This is my lazy evaluation lecture notes for my students: http://www.cs.utoronto.ca/~trebla/CSCC24-2020-Summer/03-haskell-evaluation.html
2021-02-06 02:36:47 +0100 <shapr> dsal: they don't sell the P52 anymore, but the P15 offers an 8 core Xeon and 128GB ECC memory. It's more expensive than this P52 though.
2021-02-06 02:37:15 +0100 <shiraeeshi> shapr: what function did you use to compute the sum?
2021-02-06 02:37:25 +0100 <monochrom> You are really better off biting the bullet and learning lazy evaluation properly than hoping for fragile "rules of thumb" "best practice".
2021-02-06 02:37:58 +0100 <shiraeeshi> so if foldl was to reach the end of the list it would give me the "stack overflow" error?
2021-02-06 02:38:06 +0100 <shiraeeshi> what about foldl' ?
2021-02-06 02:38:12 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-02-06 02:39:40 +0100 <dsal> shiraeeshi: https://en.wikipedia.org/wiki/1_%2B_2_%2B_3_%2B_4_%2B_%E2%8B%AF
2021-02-06 02:39:50 +0100 <shiraeeshi> if you were to write a simple loop it would run without eating all the memory, is there a way to translate it to haskell? I guess it's foldl'
2021-02-06 02:40:34 +0100 <shapr> oops: [161261.200467] Out of memory: Killed process 11887 (ghc) total-vm:1074482392kB, anon-rss:127413672kB, file-rss:0kB, shmem-rss:0kB, UID:1000 pgtables:506432kB oom_score_adj:0
2021-02-06 02:40:34 +0100 <dsal> I think your question is wrong.
2021-02-06 02:41:11 +0100 <dsal> There are lots of different loops that we use for different reasons. None of them are used to solve the problem you're stating. That's not a language issue, just... computer can't do that.
2021-02-06 02:41:27 +0100troydm(~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2021-02-06 02:43:06 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-06 02:43:13 +0100hexfive(~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-02-06 02:44:19 +0100 <shiraeeshi> I have a stupid question
2021-02-06 02:44:32 +0100 <shiraeeshi> why can't computer do that?
2021-02-06 02:44:35 +0100 <shapr> shiraeeshi: you could consume a lazy list
2021-02-06 02:44:37 +0100hexfive(~hexfive@50.35.83.177)
2021-02-06 02:45:02 +0100 <shiraeeshi> you need to store two numbers, right?
2021-02-06 02:45:29 +0100 <dsal> shiraeeshi: If you measure how long it takes to do one bignum addition, and then multiply that by the number of additions you're asking the computer to do, you'll understand the approach *can't* work.
2021-02-06 02:46:07 +0100 <monochrom> At some point a mature programmer understands this: A computer won't do anything at all until someone codes up what exactly to do.
2021-02-06 02:46:14 +0100troydm(~troydm@unaffiliated/troydm)
2021-02-06 02:46:55 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c49d:6696:ab31:6d0c)
2021-02-06 02:47:29 +0100 <shiraeeshi> I need to rephrase the question: why did the computation take all the memory on shapr's computer?
2021-02-06 02:47:38 +0100 <monochrom> In the particular case of recognizing 1+...+n = n(n+1)/2, please refer to Mathematica.
2021-02-06 02:48:04 +0100 <shiraeeshi> two numbers took all the memory?
2021-02-06 02:48:06 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8513:7e38:6670:2969)
2021-02-06 02:48:11 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-06 02:48:52 +0100 <dsal> I'm not sure what shapr was doing exactly. It shouldn't take much memory, but I can't promise humans won't be extinct by the time it finishes.
2021-02-06 02:49:49 +0100 <dsal> Oh, just sum in ghci? There are a few reasons that could use a lot of memory.
2021-02-06 02:50:18 +0100 <dsal> But there's no situation where it works, so failing unexpectedly vs. the way you expect it to fail is only mildly interesting. :)
2021-02-06 02:50:23 +0100jedws(~jedws@101.184.202.248)
2021-02-06 02:51:22 +0100 <monochrom> A mature computer science student also understand that a short problem statement can still take arbitrarily much time and space to solve.
2021-02-06 02:51:25 +0100 <shiraeeshi> here is an article I was talking about: https://wiki.haskell.org/Foldr_Foldl_Foldl%27
2021-02-06 02:51:42 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 02:51:55 +0100brainfunnel(~quassel@224.142.208.46.dyn.plus.net) ("thanks, bye!")
2021-02-06 02:52:11 +0100 <shiraeeshi> I don't get this part:
2021-02-06 02:52:13 +0100 <shiraeeshi> foldr is not only the right fold, it is also most commonly the right fold to use, in particular when transforming lists (or other foldables) into lists with related elements in the same order. Notably, foldr will be effective for transforming even infinite lists into other infinite lists. For such purposes, it should be your first and most natural choice. For example, note that foldr (:) []==id.
2021-02-06 02:52:23 +0100 <shiraeeshi> Note that the initial element is irrelevant when foldr is applied to an infinite list. For that reason, it is may be good practice when writing a function which should only be applied to infinite lists to replace foldr f [] with foldr f undefined. This both documents that the function should only be applied to infinite lists and will result in an error when you try to apply it to a finite list.
2021-02-06 02:53:07 +0100 <monochrom> It means you would be wise to use foldr, not foldl or foldl', for "map" for example. map f = foldr (\x r -> f x : r) [].
2021-02-06 02:53:13 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-02-06 02:53:30 +0100 <dsal> Hmm... I tend to reach for undefined mostly when I'm mad at myself and want to cause problems in my future.
2021-02-06 02:53:35 +0100 <monochrom> I mean look at the "transforming lists into lists"
2021-02-06 02:53:42 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 02:54:23 +0100borne(~fritjof@2a06:8782:ffbb:1337:a53:e188:6f13:d1a) (Ping timeout: 258 seconds)
2021-02-06 02:54:41 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-02-06 02:55:11 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 02:57:14 +0100 <shiraeeshi> but why foldr if it grows the call stack? and also I don't get the part about infinite lists. an infinite list goes from left to right, doesn't it? so going from left to right (like foldl or foldl') sounds like a right thing to do.
2021-02-06 02:57:17 +0100 <monochrom> But it doesn't show an example that shows you the benefit of that.
2021-02-06 02:57:38 +0100 <monochrom> E.g., how "head (map f longlonglist)" takes O(1) time.
2021-02-06 02:57:52 +0100 <monochrom> This is why I refer people to my lecture notes instead.
2021-02-06 02:58:06 +0100 <dolio> I kind of convinced myself the other day that "call stack" is always wrong, because it primes you to think that calls need to use stack. But you only need to use stack to return back after the call is done, which isn't always the case.
2021-02-06 02:58:36 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds)
2021-02-06 02:59:01 +0100 <monochrom> I have accepted that "call stack" is a wrong name we're stuck with.
2021-02-06 02:59:08 +0100 <dolio> :)
2021-02-06 02:59:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-06 02:59:31 +0100 <monochrom> It belongs to the same bin as "dashboard" for example.
2021-02-06 03:00:31 +0100 <monochrom> There is no longer a board, and dash is blocked by the windshield not the dashboard, so it is like the Ship of Theseus for etymology.
2021-02-06 03:01:10 +0100 <shiraeeshi> I think I'm starting to understand.
2021-02-06 03:01:31 +0100 <shiraeeshi> Let's take two expressions for example:
2021-02-06 03:01:41 +0100 <shiraeeshi> 1 + (2 + (3 + (...)))
2021-02-06 03:01:43 +0100 <shiraeeshi> and
2021-02-06 03:01:44 +0100 <monochrom> But if we keep saying "dashboard" I guess we can also keep saying "call stack". May one day it is no longer about calls and it is no longer a stack.
2021-02-06 03:01:45 +0100 <shiraeeshi> (((0 + 1) + 2) + 3) + ...
2021-02-06 03:02:03 +0100 <monochrom> Oh, and Holy Roman Empire, clearly. :)
2021-02-06 03:02:25 +0100 <shiraeeshi> so each opening and closing parens mean something
2021-02-06 03:02:42 +0100carlomagno1(~cararell@148.87.23.7) (Ping timeout: 246 seconds)
2021-02-06 03:02:57 +0100 <dolio> Anyhow, "call stack" makes people think tail calls not using stack is an optimization, rather than tail calls using optimization an example of poorly implementing the continuation. :)
2021-02-06 03:03:09 +0100 <monochrom> At any rate, GHC uses the name HasCallStack so you can't get rid of it now. :)
2021-02-06 03:03:12 +0100 <dolio> Er, tail calls using stack.
2021-02-06 03:03:19 +0100 <shiraeeshi> with an infinitite list you got infinite amount of opening parens at the beginning of your expression, so it won't run, right?
2021-02-06 03:03:52 +0100 <nshepperd2> foldr vs foldl is not about whether it goes from left to right or right to left
2021-02-06 03:03:58 +0100 <monochrom> "it won't run" takes zero time.
2021-02-06 03:04:25 +0100 <monochrom> If it takes more than a minute then it runs, in fact it runs too happily to want to stop.
2021-02-06 03:04:26 +0100 <shiraeeshi> ok, it will do something with those infinite amount of opening parens
2021-02-06 03:04:46 +0100 <shiraeeshi> that's foldl
2021-02-06 03:05:00 +0100 <monochrom> Unless you fire up htop and point out that the OS has put it to sleep.
2021-02-06 03:05:01 +0100carlomagno(~cararell@148.87.23.7)
2021-02-06 03:05:26 +0100 <monochrom> in which case we look for a prince to kiss it
2021-02-06 03:05:48 +0100 <nshepperd2> but yes, you're basically right
2021-02-06 03:06:49 +0100rople(~rople@2001:8003:d44b:300:ac2a:fb0f:6f96:d286)
2021-02-06 03:07:13 +0100 <shiraeeshi> wait, what's the point of running fold on an infinite list again?
2021-02-06 03:07:18 +0100 <nshepperd2> foldl of an infinite list denotes an expression like (...(((0 + 1) + 2) + 3) + ...
2021-02-06 03:07:41 +0100 <monochrom> Oh, sum [1..] is pointless, sure, foldr or foldl
2021-02-06 03:08:17 +0100 <nshepperd2> an infinite expression with no 'outside' to start evaluating, so it never gets anywhere useful
2021-02-06 03:08:24 +0100 <monochrom> Unless someone needs to keep pizza warm.
2021-02-06 03:08:45 +0100 <monochrom> But (+) is hardly the one binary operator.
2021-02-06 03:09:17 +0100 <shiraeeshi> how do you transform an infinite list into another infinite list using foldr?
2021-02-06 03:09:30 +0100 <monochrom> This is what's wrong with most explanations of foldr and foldl. They only talk about (+). Yes they're completely pointless. The explanations I mean.
2021-02-06 03:09:51 +0100 <monochrom> You have seen two examples already.
2021-02-06 03:09:52 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-02-06 03:09:53 +0100 <dsal> shiraeeshi: I probably wouldn't. What kind of transform are you performing?
2021-02-06 03:10:01 +0100 <c_wraith> > foldr (\c xs -> if c == ' ' && null xs then [] else c:xs) [] "hello there "
2021-02-06 03:10:04 +0100 <lambdabot> "hello there"
2021-02-06 03:10:06 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-02-06 03:10:17 +0100 <c_wraith> > foldr (\c xs -> if c == ' ' && null xs then [] else c:xs) [] (cycle "hello there ")
2021-02-06 03:10:18 +0100 <lambdabot> "hello there hello there hello there hello there hello there hello there hel...
2021-02-06 03:10:43 +0100 <nshepperd2> shiraeeshi: foldr (:) [] is the most trivial example
2021-02-06 03:12:46 +0100 <shiraeeshi> dsal: I'm referring to an article. it says: "Notably, foldr will be effective for transforming even infinite lists into other infinite lists."
2021-02-06 03:13:22 +0100 <shiraeeshi> I'm trying to understand examples
2021-02-06 03:13:55 +0100 <monochrom> > head (foldr (:) [] [1..])
2021-02-06 03:13:57 +0100 <lambdabot> 1
2021-02-06 03:14:04 +0100 <monochrom> This takes O(1) time.
2021-02-06 03:14:07 +0100 <monochrom> Sleep on it.
2021-02-06 03:14:16 +0100conal(~conal@64.71.133.70)
2021-02-06 03:14:40 +0100 <monochrom> Destroy all mental models that insist "foldr starts from the right".
2021-02-06 03:15:05 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-06 03:16:17 +0100 <shiraeeshi> ok, I'm gonna experiment with this example
2021-02-06 03:16:47 +0100 <dsal> shiraeeshi: Do you understand how something like `map` can work on infinite lists?
2021-02-06 03:17:05 +0100drdo(~drdo@overlord0.drdo.eu) (Remote host closed the connection)
2021-02-06 03:17:22 +0100qwerty2o(~qwerty2o@89-138-173-138.bb.netvision.net.il) (Ping timeout: 256 seconds)
2021-02-06 03:17:28 +0100drdo(~drdo@overlord0.drdo.eu)
2021-02-06 03:17:45 +0100elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds)
2021-02-06 03:18:26 +0100 <dsal> > let mope f = foldr (\x o -> f x : o) [] in takeWhile (<100) $ mope (*11) [2..] -- because you can write map in terms of foldr, and then use that on infinite lists, shiraeeshi
2021-02-06 03:18:27 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-02-06 03:18:28 +0100 <lambdabot> [22,33,44,55,66,77,88,99]
2021-02-06 03:19:12 +0100 <shiraeeshi> yes, map case I can understand and imagine
2021-02-06 03:20:23 +0100 <monochrom> map is a foldr. I showed how.
2021-02-06 03:20:24 +0100 <dsal> Oh. Well there's an implementation of map written using foldr. :)
2021-02-06 03:20:37 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-06 03:21:18 +0100 <monochrom> Hell, dsal showed it for the second time just now.
2021-02-06 03:22:00 +0100chenshen(~chenshen@2620:10d:c090:400::5:ccd9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-02-06 03:22:10 +0100 <dsal> I think there were like, four examples of that. heh. Just seems like an upside-down question to me.
2021-02-06 03:25:07 +0100 <monochrom> Students also ask "I want to do && on a long list, and I want it to stop early, i.e., stop as soon as it hits the first False". That's foldr (&&)
2021-02-06 03:25:12 +0100 <c_wraith> really, foldr captures the entire pattern of "(co-)recursively process an entire list"
2021-02-06 03:25:19 +0100 <monochrom> This breaks a lot of mental models.
2021-02-06 03:26:02 +0100 <shiraeeshi> I confused (:) with (,) and was expecting pairs to show up
2021-02-06 03:26:05 +0100 <monochrom> And for those surviving mental models, most can then be broken by how liftA2 (&&) doesn't stop early (e.g., for IO)
2021-02-06 03:26:58 +0100xff0x_(~xff0x@2001:1a81:520c:9300:d376:a5ba:ccb8:29d) (Ping timeout: 258 seconds)
2021-02-06 03:27:01 +0100 <monochrom> A common Schemer mistake. (All of the above.)
2021-02-06 03:28:03 +0100 <monochrom> err, s/liftA2 (&&)/foldr (liftA2 (&&))/
2021-02-06 03:28:59 +0100xff0x_(~xff0x@2001:1a81:5242:aa00:d06a:cbda:3c0c:5e4)
2021-02-06 03:30:14 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-06 03:30:20 +0100conal(~conal@64.71.133.70)
2021-02-06 03:30:52 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-02-06 03:34:50 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-02-06 03:37:01 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Ping timeout: 268 seconds)
2021-02-06 03:38:11 +0100qwerty2o(~qwerty2o@89-138-173-138.bb.netvision.net.il)
2021-02-06 03:41:22 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 03:43:41 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-06 03:48:38 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-02-06 03:49:38 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 03:54:09 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2021-02-06 03:54:34 +0100conal(~conal@64.71.133.70) (Ping timeout: 258 seconds)
2021-02-06 03:56:05 +0100qwerty2o(~qwerty2o@89-138-173-138.bb.netvision.net.il) (Ping timeout: 240 seconds)
2021-02-06 04:02:11 +0100conal(~conal@66.115.157.91)
2021-02-06 04:04:16 +0100haritz(~hrtz@unaffiliated/haritz) (Ping timeout: 240 seconds)
2021-02-06 04:08:33 +0100haritz(~hrtz@62.3.70.206)
2021-02-06 04:08:33 +0100haritz(~hrtz@62.3.70.206) (Changing host)
2021-02-06 04:08:33 +0100haritz(~hrtz@unaffiliated/haritz)
2021-02-06 04:09:25 +0100theDon(~td@muedsl-82-207-238-211.citykom.de) (Ping timeout: 240 seconds)
2021-02-06 04:11:16 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 276 seconds)
2021-02-06 04:11:38 +0100theDon(~td@94.134.91.40)
2021-02-06 04:14:37 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-06 04:22:16 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-06 04:22:47 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 04:29:26 +0100Guest65369(~textual@zrcout.mskcc.org) (Ping timeout: 264 seconds)
2021-02-06 04:32:25 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-02-06 04:32:55 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-02-06 04:33:18 +0100AlleriaGuest12658
2021-02-06 04:35:25 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-02-06 04:36:33 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-02-06 04:36:33 +0100finn_elijaGuest99275
2021-02-06 04:36:33 +0100FinnElijafinn_elija
2021-02-06 04:37:51 +0100jedws(~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 04:39:55 +0100Guest99275(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-02-06 04:43:45 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 04:44:00 +0100jedws(~jedws@101.184.202.248)
2021-02-06 04:44:55 +0100hackagebox-tuples 0.2.0.4 - A hack to use GHC.Prim primitives in GHCi https://hackage.haskell.org/package/box-tuples-0.2.0.4 (mniip)
2021-02-06 04:47:34 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-vpvehxcmwssmnbeh) (Quit: Connection closed for inactivity)
2021-02-06 04:48:02 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2021-02-06 04:50:25 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c49d:6696:ab31:6d0c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 04:52:31 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-02-06 04:57:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 276 seconds)
2021-02-06 04:57:48 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c13e:51b6:ce38:d5cb)
2021-02-06 04:58:02 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-06 04:59:44 +0100guest7682358928(a8c4c9de@gateway/web/cgi-irc/kiwiirc.com/ip.168.196.201.222) (Ping timeout: 258 seconds)
2021-02-06 04:59:46 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 04:59:59 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-02-06 05:00:59 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-02-06 05:01:05 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-02-06 05:03:57 +0100m0rphism1(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 258 seconds)
2021-02-06 05:04:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-06 05:04:50 +0100paintcan`(~user@cpe-69-206-241-99.nyc.res.rr.com) (Remote host closed the connection)
2021-02-06 05:06:28 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 05:08:48 +0100loli(~loli@024-171-017-003.res.spectrum.com) (Quit: WeeChat 3.0)
2021-02-06 05:11:37 +0100loli(~loli@024-171-017-003.res.spectrum.com)
2021-02-06 05:13:36 +0100fissureman(~quassel@c-73-163-84-25.hsd1.dc.comcast.net) (Ping timeout: 246 seconds)
2021-02-06 05:14:01 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 05:14:12 +0100fissureman(~quassel@c-73-163-84-25.hsd1.dc.comcast.net)
2021-02-06 05:15:45 +0100chenshen(~chenshen@2620:10d:c090:400::5:1dfb)
2021-02-06 05:19:56 +0100sudden(~lax@unaffiliated/laxask) (Ping timeout: 240 seconds)
2021-02-06 05:20:52 +0100sudden(~lax@unaffiliated/laxask)
2021-02-06 05:26:52 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net) (Quit: Connection closed)
2021-02-06 05:27:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 05:30:26 +0100clog(~nef@bespin.org) (Ping timeout: 272 seconds)
2021-02-06 05:31:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 05:32:36 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-02-06 05:34:53 +0100thongpv87(~thongpv87@103.6.151.121) (Quit: Lost terminal)
2021-02-06 05:36:26 +0100loli(~loli@024-171-017-003.res.spectrum.com) (Quit: WeeChat 3.0)
2021-02-06 05:37:30 +0100loli(~loli@024-171-017-003.res.spectrum.com)
2021-02-06 05:37:52 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 05:40:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-06 05:40:35 +0100loli(~loli@024-171-017-003.res.spectrum.com) (Client Quit)
2021-02-06 05:41:10 +0100loli(~loli@024-171-017-003.res.spectrum.com)
2021-02-06 05:42:14 +0100loli(~loli@024-171-017-003.res.spectrum.com) (Client Quit)
2021-02-06 05:42:55 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 276 seconds)
2021-02-06 05:43:08 +0100ramakrishna(~ramakrish@49.207.209.98)
2021-02-06 05:44:15 +0100loli(~loli@024-171-017-003.res.spectrum.com)
2021-02-06 05:44:27 +0100toorevitimirp(~tooreviti@117.182.180.8)
2021-02-06 05:45:23 +0100raym(~ray@45.64.220.139) (Quit: leaving)
2021-02-06 05:45:44 +0100raym(~ray@45.64.220.139)
2021-02-06 05:47:11 +0100ark__(~ark@49.207.209.98)
2021-02-06 05:47:26 +0100ark__(~ark@49.207.209.98) (Client Quit)
2021-02-06 05:47:40 +0100ramakrishna(~ramakrish@49.207.209.98) (Client Quit)
2021-02-06 05:57:26 +0100irchaxwell(~IRC@2a00:23a8:4382:a900:a5ea:eb26:ed91:a1c3)
2021-02-06 05:58:01 +0100chenshen(~chenshen@2620:10d:c090:400::5:1dfb) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-02-06 06:01:25 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-02-06 06:07:50 +0100chenshen(~chenshen@2620:10d:c090:400::5:1dfb)
2021-02-06 06:08:59 +0100chenshen(~chenshen@2620:10d:c090:400::5:1dfb) (Client Quit)
2021-02-06 06:11:00 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-06 06:12:29 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 06:17:27 +0100chenshen(~chenshen@2620:10d:c090:400::5:1dfb)
2021-02-06 06:19:04 +0100chenshen(~chenshen@2620:10d:c090:400::5:1dfb) (Client Quit)
2021-02-06 06:23:14 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-06 06:25:34 +0100hololeap(~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/)
2021-02-06 06:25:56 +0100unlink_(~unlink2@p200300ebcf241100fcf67590445edc70.dip0.t-ipconnect.de)
2021-02-06 06:26:33 +0100drbean(~drbean@TC210-63-209-34.static.apol.com.tw)
2021-02-06 06:26:44 +0100MasseR5(~MasseR@51.15.143.128)
2021-02-06 06:26:45 +0100Katarushisu7(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-02-06 06:27:27 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi)
2021-02-06 06:27:42 +0100Athas_(athas@2a01:7c8:aaac:1cf:2650:6cc9:39f1:f264)
2021-02-06 06:27:56 +0100evanjs-(~evanjs@075-129-098-007.res.spectrum.com)
2021-02-06 06:28:08 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 276 seconds)
2021-02-06 06:28:08 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 276 seconds)
2021-02-06 06:28:08 +0100Athas(athas@sigkill.dk) (Ping timeout: 276 seconds)
2021-02-06 06:28:08 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 276 seconds)
2021-02-06 06:28:12 +0100__minoru__shirae(~shiraeesh@109.166.56.99)
2021-02-06 06:28:25 +0100xsperry(~as@unaffiliated/xsperry) (Ping timeout: 276 seconds)
2021-02-06 06:28:25 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 276 seconds)
2021-02-06 06:28:25 +0100Ishutin(~Ishutin@92-249-182-126.pool.digikabel.hu) (Ping timeout: 276 seconds)
2021-02-06 06:28:25 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 276 seconds)
2021-02-06 06:28:25 +0100voidcontext(~pgee@178.62.100.221) (Ping timeout: 276 seconds)
2021-02-06 06:28:33 +0100voidcontext(~pgee@178.62.100.221)
2021-02-06 06:28:33 +0100Ishutin(~Ishutin@92-249-182-126.pool.digikabel.hu)
2021-02-06 06:28:35 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-02-06 06:28:49 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-02-06 06:28:49 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2021-02-06 06:28:49 +0100Tario(~Tario@201.192.165.173)
2021-02-06 06:29:04 +0100fissureman(~quassel@c-73-163-84-25.hsd1.dc.comcast.net) (Ping timeout: 276 seconds)
2021-02-06 06:29:04 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 276 seconds)
2021-02-06 06:29:04 +0100MasseR(~MasseR@51.15.143.128) (Ping timeout: 276 seconds)
2021-02-06 06:29:04 +0100unlink2(~unlink2@p57b85146.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2021-02-06 06:29:04 +0100Natch(~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 276 seconds)
2021-02-06 06:29:04 +0100okad(~okad@ec2-18-135-78-237.eu-west-2.compute.amazonaws.com) (Ping timeout: 276 seconds)
2021-02-06 06:29:04 +0100Katarushisu7Katarushisu
2021-02-06 06:29:05 +0100MasseR5MasseR
2021-02-06 06:29:19 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-06 06:29:21 +0100fissureman(~quassel@c-73-163-84-25.hsd1.dc.comcast.net)
2021-02-06 06:29:28 +0100okad(~okad@ec2-18-135-78-237.eu-west-2.compute.amazonaws.com)
2021-02-06 06:29:33 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-06 06:29:59 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-06 06:30:13 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-06 06:30:52 +0100chenshen(~chenshen@2620:10d:c090:400::5:1dfb)
2021-02-06 06:31:02 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-02-06 06:31:18 +0100Alleria_(~AllahuAkb@69.202.254.168) (Ping timeout: 246 seconds)
2021-02-06 06:31:33 +0100Natch(~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se)
2021-02-06 06:31:57 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 06:32:16 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2021-02-06 06:32:19 +0100shiraeeshi(~shiraeesh@109.166.56.99) (Ping timeout: 276 seconds)
2021-02-06 06:32:29 +0100chenshen(~chenshen@2620:10d:c090:400::5:1dfb) (Client Quit)
2021-02-06 06:33:45 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-9d6c-31c0-dc2f-631d.res6.spectrum.com)
2021-02-06 06:35:08 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2021-02-06 06:35:41 +0100loli(~loli@024-171-017-003.res.spectrum.com) (Quit: WeeChat 3.0)
2021-02-06 06:36:03 +0100chenshen(~chenshen@2620:10d:c090:400::5:1dfb)
2021-02-06 06:36:16 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 06:36:16 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-06 06:37:37 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c13e:51b6:ce38:d5cb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 06:38:24 +0100loli(~loli@024-171-017-003.res.spectrum.com)
2021-02-06 06:39:01 +0100conal(~conal@66.115.157.91) (Quit: Computer has gone to sleep.)
2021-02-06 06:39:44 +0100conal(~conal@66.115.157.91)
2021-02-06 06:40:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 06:41:12 +0100 <johnw> c_wraith: why do you say "co" there?
2021-02-06 06:42:41 +0100conal(~conal@66.115.157.91) (Client Quit)
2021-02-06 06:43:56 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 06:45:15 +0100ericsagn1(~ericsagne@2405:6580:0:5100:6d02:546e:c760:4274)
2021-02-06 06:45:51 +0100haritz(~hrtz@unaffiliated/haritz) (Ping timeout: 256 seconds)
2021-02-06 06:46:21 +0100haritz(~hrtz@62.3.70.206)
2021-02-06 06:46:21 +0100haritz(~hrtz@62.3.70.206) (Changing host)
2021-02-06 06:46:21 +0100haritz(~hrtz@unaffiliated/haritz)
2021-02-06 06:47:22 +0100 <c_wraith> johnw: technically, I said "(co-)", because foldr can work either way. As for the difference - co-recursion is just a different thing than recursion. it doesn't require a base case, but it does require a pattern of guarded access.
2021-02-06 06:48:38 +0100ericsagnes(~ericsagne@2405:6580:0:5100:2bad:a6b1:9f59:3808) (Ping timeout: 264 seconds)
2021-02-06 06:49:05 +0100 <johnw> when I think of corecursion, I think of unfoldr
2021-02-06 06:49:17 +0100 <c_wraith> foldr (:) [] is co-recursive
2021-02-06 06:49:43 +0100 <johnw> how so?
2021-02-06 06:50:13 +0100__minoru__shirae(~shiraeesh@109.166.56.99) (Ping timeout: 272 seconds)
2021-02-06 06:50:55 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-06 06:50:57 +0100 <c_wraith> well, it works with infinite inputs.
2021-02-06 06:51:10 +0100 <johnw> per Wikipedia: "Corecursion is then a technique for recursively defining functions whose range (codomain) is a final data type, dual to the way that ordinary recursion recursively defines functions whose domain is an initial data type."
2021-02-06 06:51:13 +0100 <c_wraith> Note: recursion is *required* to be well-founded
2021-02-06 06:51:18 +0100 <johnw> so I think you're right, it can be used in both contexts
2021-02-06 06:52:08 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 272 seconds)
2021-02-06 06:52:18 +0100 <dolio> foldr is always recursion, really.
2021-02-06 06:52:34 +0100 <c_wraith> yep. Haskell is extremely sloppy with the difference between recursion and co-recursion
2021-02-06 06:52:44 +0100 <c_wraith> You can easily write things that work either way
2021-02-06 06:52:55 +0100 <johnw> dolio: please say more
2021-02-06 06:53:42 +0100 <johnw> it's always recursive because it only ever deconstructs a data type recursively, regardless of the fact that that data may be infinite?
2021-02-06 06:53:43 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-06 06:53:43 +0100 <c_wraith> foldr is always recursion if [] is always data.
2021-02-06 06:54:11 +0100 <c_wraith> but, once again - Haskell is sloppy. [] can be treated as codata
2021-02-06 06:54:29 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-06 06:54:33 +0100 <dolio> It's a recursive definition on lists. The result type is abstract, so it's not really being defined in terms of some co-recursive structure of it.
2021-02-06 06:55:11 +0100 <dolio> In unfoldr the result type is not abstract, hence being associated with corecursion.
2021-02-06 06:56:30 +0100 <dolio> If you wrote a function where both the argument and result types were concrete, it would make more sense to have a choice of 'justifications'.
2021-02-06 06:57:32 +0100 <johnw> thanks dolio
2021-02-06 06:57:32 +0100 <c_wraith> so you'd agree foldr (:) [] is corecursive?
2021-02-06 06:58:40 +0100 <dolio> Also, recursion may not have base cases. For instance, you can define an empty type as a W-type with no base case, and then the proof of 'absurd' or whatever you want to call it is recursion with no base case.
2021-02-06 07:00:02 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-9d6c-31c0-dc2f-631d.res6.spectrum.com) (Ping timeout: 264 seconds)
2021-02-06 07:01:28 +0100 <dolio> If you wrote the identity function that rebuilt its input, I would agree you could look at the definition either recursively or corecursively. But I think foldr is a recursive definition, not corecursive. Applying the function to arguments doesn't change that.
2021-02-06 07:02:28 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-ualbkaikcrbbwtmy) (Quit: Connection closed for inactivity)
2021-02-06 07:02:30 +0100 <c_wraith> so you are rejecting equational reasoning? :P
2021-02-06 07:03:05 +0100 <dolio> Classifying things as recursive definitions isn't equational.
2021-02-06 07:03:31 +0100 <c_wraith> It's the same definition, modulo some inlining
2021-02-06 07:04:17 +0100Anandamide(49a90352@c-73-169-3-82.hsd1.co.comcast.net) (Quit: Connection closed)
2021-02-06 07:05:11 +0100ixaxaar(~ixaxaar@49.207.210.215)
2021-02-06 07:08:07 +0100 <dolio> Agda doesn't let you write fold on infinite streams, then say it's okay if you call the function with arguments to build a new stream, even if inlining those arguments would make the definition guarded. The definition gets classified on its own.
2021-02-06 07:08:40 +0100 <c_wraith> that's only an argument in favor of Haskell being super-sloppy
2021-02-06 07:11:10 +0100 <dolio> It's not sloppy, though, it just uses different semantics. foldr is a recursive definition on an inductively defined domain, rather than a set.
2021-02-06 07:11:41 +0100 <monochrom> I am more sloppy than Haskell. In front of undergrad students who don't really benefit from more words they can't use, I say "recursion" for every self-reference.
2021-02-06 07:12:34 +0100glguy(x@freenode/staff/haskell.developer.glguy) (Quit: Quit)
2021-02-06 07:12:58 +0100 <c_wraith> on an entirely different subject - when did ghc start requiring the libnuma headers in order to link libraries?
2021-02-06 07:13:19 +0100glguy(x@freenode/staff/haskell.developer.glguy)
2021-02-06 07:13:30 +0100 <dolio> It's also coinductively defined, because those are the same for domains. But foldr doesn't use the coinductive character of lists.
2021-02-06 07:13:53 +0100 <monochrom> Oh, that. If you use ghcup you're more likely to get a build that doesn't requires libnuma.
2021-02-06 07:14:02 +0100 <c_wraith> I am indeed
2021-02-06 07:14:22 +0100 <c_wraith> err. I misread that. But I am using ghcup
2021-02-06 07:14:30 +0100 <c_wraith> but on wsl, so things might be treated oddly
2021-02-06 07:15:57 +0100peeja(~peeja@s91904426.blix.com) (Remote host closed the connection)
2021-02-06 07:16:37 +0100 <monochrom> "WSL" still depends on which linux you chose for WSL. But last year I was on WSL Ubuntu and didn't need libnuma.
2021-02-06 07:17:42 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-02-06 07:18:23 +0100 <monochrom> When ghcup thinks you're on Ubuntu it chooses the Fedora build, which doesn't involve libnuma up to and including 8.8.4. I once got bit by libnuma but that was before ghcup and I chose a debian build from GHC website.
2021-02-06 07:18:25 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-02-06 07:18:32 +0100rople(~rople@2001:8003:d44b:300:ac2a:fb0f:6f96:d286) (Ping timeout: 260 seconds)
2021-02-06 07:18:58 +0100 <c_wraith> Oh. I guess it thinks I'm on Debian, because... I'm on debian. Because snaps were annoying me a ton
2021-02-06 07:19:43 +0100 <monochrom> OK, I meant libnuma-dev throughout. libnuma1 is required by a lot of other Ubuntu stuff anyway, like irqbalance.
2021-02-06 07:21:01 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 07:25:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 07:26:16 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 07:26:16 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-06 07:26:30 +0100acidjnk_new(~acidjnk@pd9e0b9a8.dip0.t-ipconnect.de)
2021-02-06 07:26:30 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-06 07:27:36 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-02-06 07:27:42 +0100__minoru__shirae(~shiraeesh@46.34.207.200)
2021-02-06 07:28:24 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-02-06 07:30:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-06 07:34:56 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-02-06 07:37:06 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 07:38:00 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 07:42:51 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-06 07:43:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-06 07:47:25 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 07:52:12 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8513:7e38:6670:2969) (Remote host closed the connection)
2021-02-06 07:52:18 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-06 07:52:24 +0100EtherealStreet(68340092@104-52-0-146.lightspeed.sntcca.sbcglobal.net)
2021-02-06 07:54:22 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 07:55:38 +0100 <texasmynsted> Is there a "typical" place to cabal install an executable when you want it installed in the project directory rather than more global location? Like 'target' directory or something?
2021-02-06 07:56:31 +0100 <texasmynsted> Say I have project foo. I have an executable named bar. I want bar installed inside the foo project directory, like in target.
2021-02-06 07:58:06 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection)
2021-02-06 07:59:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 276 seconds)
2021-02-06 08:01:14 +0100valli1(~valli@s91904426.blix.com)
2021-02-06 08:02:54 +0100nicecoats(~nicecoats@h235.145.88.75.dynamic.ip.windstream.net)
2021-02-06 08:03:14 +0100minoru_shiraeesh(~shiraeesh@46.34.206.235)
2021-02-06 08:03:32 +0100jedws(~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 08:04:09 +0100__minoru__shirae(~shiraeesh@46.34.207.200) (Ping timeout: 264 seconds)
2021-02-06 08:04:26 +0100nicecoats(~nicecoats@h235.145.88.75.dynamic.ip.windstream.net) (Client Quit)
2021-02-06 08:04:38 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 08:05:05 +0100jedws(~jedws@101.184.202.248)
2021-02-06 08:06:06 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 08:07:59 +0100nicecoats(~nicecoats@h235.145.88.75.dynamic.ip.windstream.net)
2021-02-06 08:10:03 +0100EtherealStreet(68340092@104-52-0-146.lightspeed.sntcca.sbcglobal.net) (Quit: Connection closed)
2021-02-06 08:10:26 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 08:10:36 +0100EtherealStreet(68340092@104-52-0-146.lightspeed.sntcca.sbcglobal.net)
2021-02-06 08:11:17 +0100nicecoats(~nicecoats@h235.145.88.75.dynamic.ip.windstream.net) (Client Quit)
2021-02-06 08:11:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-06 08:11:38 +0100nicecoats(~nicecoats@h235.145.88.75.dynamic.ip.windstream.net)
2021-02-06 08:12:18 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 08:13:36 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 08:15:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 08:18:48 +0100Codaraxis(Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-02-06 08:20:24 +0100chenshen(~chenshen@2620:10d:c090:400::5:1dfb) (Ping timeout: 240 seconds)
2021-02-06 08:20:53 +0100Wuzzy(~Wuzzy@p57a2e44e.dip0.t-ipconnect.de) (Quit: Wuzzy)
2021-02-06 08:21:33 +0100Codaraxis__(Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 246 seconds)
2021-02-06 08:22:46 +0100loli(~loli@024-171-017-003.res.spectrum.com) (Quit: WeeChat 3.0)
2021-02-06 08:23:04 +0100loli(~loli@024-171-017-003.res.spectrum.com)
2021-02-06 08:24:14 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection)
2021-02-06 08:25:25 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-06 08:27:16 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 08:27:33 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-06 08:28:53 +0100 <texasmynsted> nm target works fine
2021-02-06 08:29:48 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 258 seconds)
2021-02-06 08:32:03 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-06 08:34:05 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-06 08:34:18 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-06 08:35:17 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-06 08:37:47 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 08:38:21 +0100minoru_shiraeesh(~shiraeesh@46.34.206.235) (Read error: No route to host)
2021-02-06 08:38:58 +0100minoru_shiraeesh(~shiraeesh@46.34.206.235)
2021-02-06 08:39:53 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-02-06 08:40:21 +0100hololeap(~hololeap@unaffiliated/hololeap)
2021-02-06 08:41:43 +0100 <hololeap> say i've got some sum-type called T, and i want to build up a (Set T) by parsing a string
2021-02-06 08:42:29 +0100 <hololeap> this string has keywords separated by '-' and can be in any order. these keywords correspond to the different constructors of T.
2021-02-06 08:42:58 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 276 seconds)
2021-02-06 08:43:19 +0100 <hololeap> so each constructor can have zero or one corresponding keywords in this string, and again they can be in any order
2021-02-06 08:44:24 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 08:44:47 +0100 <hololeap> with megaparsec, would i have to use something like `ParsecT e s (State (Set T)) ()` in order to build up the set?
2021-02-06 08:44:58 +0100 <hololeap> (that's Control.Monad.State btw)
2021-02-06 08:45:32 +0100nicecoats(~nicecoats@h235.145.88.75.dynamic.ip.windstream.net) (Quit: Textual IRC Client: www.textualapp.com)
2021-02-06 08:45:43 +0100 <hololeap> because i would have to check the current Set and see if a constructor has already been added, and have the parser fail if there is a duplicate
2021-02-06 08:47:12 +0100jedws(~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 08:48:22 +0100puke(~vroom@217.138.252.203) (Ping timeout: 265 seconds)
2021-02-06 08:49:23 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-06 08:51:38 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 264 seconds)
2021-02-06 08:52:34 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8513:7e38:6670:2969)
2021-02-06 08:53:01 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-02-06 08:54:48 +0100j2t(~j2t@84.122.202.215.dyn.user.ono.com)
2021-02-06 08:57:42 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8513:7e38:6670:2969) (Ping timeout: 260 seconds)
2021-02-06 08:58:43 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-02-06 08:59:57 +0100poljar(~poljar@93-139-44-107.adsl.net.t-com.hr)
2021-02-06 09:00:28 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 258 seconds)
2021-02-06 09:00:40 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 09:00:46 +0100Varis(~Tadas@unaffiliated/varis)
2021-02-06 09:01:05 +0100thunderrd(~thunderrd@183.182.115.7) (Remote host closed the connection)
2021-02-06 09:01:22 +0100toorevitimirp(~tooreviti@117.182.180.8) (Read error: Connection reset by peer)
2021-02-06 09:02:41 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 09:02:59 +0100poljar1(~poljar@93-143-136-208.adsl.net.t-com.hr) (Ping timeout: 256 seconds)
2021-02-06 09:03:51 +0100jedws(~jedws@101.184.202.248)
2021-02-06 09:05:56 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-02-06 09:07:09 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-06 09:07:44 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 240 seconds)
2021-02-06 09:09:57 +0100ArConan(17613c8b@23.97.60.139)
2021-02-06 09:16:45 +0100Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 240 seconds)
2021-02-06 09:17:48 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-06 09:18:50 +0100Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2021-02-06 09:19:49 +0100charukiewicz(~charukiew@irouteince04.i.subnet.rcn.com) (Quit: charukiewicz)
2021-02-06 09:21:22 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 09:21:57 +0100 <tomsmeding> hololeap: fmap Set.fromList (parseTvalue `sepBy` char '-')
2021-02-06 09:22:01 +0100 <tomsmeding> or am I missing something?
2021-02-06 09:22:29 +0100 <tomsmeding> oh if you have to fail on duplicates, make that fromList more intelligent
2021-02-06 09:24:18 +0100 <tomsmeding> paranoidFromList l = case l of [] -> Just mempty ; x:xs -> let s = paranoidFromList xs in if x `Set.member` s then Nothing else Just (Set.insert x s)
2021-02-06 09:24:36 +0100 <tomsmeding> where you can write that 'if' using 'guard' and '>>' I think; nice exercise
2021-02-06 09:24:52 +0100 <tomsmeding> then use paranoidFromList instead of Set.fromList, and the resulting thing will have type Parser (Maybe (Set T))
2021-02-06 09:25:26 +0100 <tomsmeding> The only thing I have ever even attempted to use parser state for is indentation-sensitive languages
2021-02-06 09:25:50 +0100 <tomsmeding> but I'm convinced it's never _necessary_, possibly just convenient; monads are damn expressive
2021-02-06 09:26:54 +0100 <tomsmeding> note that with my solution you parse the entire list, and then you go checking whether there were actually any duplicates
2021-02-06 09:27:28 +0100 <tomsmeding> but unless you have _very_ stringent performance requirements that you _must_ stop parsing _immediately_ whenever a failure occurs, that shouldn't be a problem :p
2021-02-06 09:29:20 +0100_ht(~quassel@82.169.194.8)
2021-02-06 09:31:36 +0100rajivr(uid269651@gateway/web/irccloud.com/x-nuivuijufgkwhojx)
2021-02-06 09:31:50 +0100jedws(~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 09:32:53 +0100Franciman(~francesco@host-95-235-155-82.retail.telecomitalia.it)
2021-02-06 09:33:48 +0100jedws(~jedws@101.184.202.248)
2021-02-06 09:34:42 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 246 seconds)
2021-02-06 09:34:53 +0100dopplergange(~dop@titan.pathogen.is)
2021-02-06 09:41:54 +0100jonathanx_(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-02-06 09:42:07 +0100minoru_shiraeesh(~shiraeesh@46.34.206.235) (Ping timeout: 276 seconds)
2021-02-06 09:42:07 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-02-06 09:43:04 +0100puke(~vroom@217.138.252.199)
2021-02-06 09:43:29 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 09:43:30 +0100rople(~rople@2001:8003:d44b:300:ac2a:fb0f:6f96:d286)
2021-02-06 09:44:43 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 276 seconds)
2021-02-06 09:45:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 09:45:29 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64) (Ping timeout: 256 seconds)
2021-02-06 09:47:27 +0100 <tomsmeding> okay paranoidFromList needs some >>= instead of a let...in
2021-02-06 09:48:02 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 264 seconds)
2021-02-06 09:48:12 +0100jedws(~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 09:48:14 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-06 09:53:39 +0100forgottenone(~forgotten@176.42.26.20)
2021-02-06 09:54:15 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8513:7e38:6670:2969)
2021-02-06 09:55:39 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving)
2021-02-06 09:55:55 +0100minoru_shiraeesh(~shiraeesh@46.34.206.235)
2021-02-06 09:57:43 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 09:58:17 +0100gienah(~mwright@gentoo/developer/gienah)
2021-02-06 09:58:44 +0100heatsink(~heatsink@2600:1700:bef1:5e10:8513:7e38:6670:2969) (Ping timeout: 258 seconds)
2021-02-06 10:02:16 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 10:03:24 +0100wildlander(~wildlande@unaffiliated/wildlander) (Quit: Konversation terminated!)
2021-02-06 10:06:00 +0100 <tomsmeding> also paranoidFromList uses an O(n) callstack written this way because of the right-fold strucutre; exercise to the reader is making it a simple loop over the list that doesn't accumulate a callstack
2021-02-06 10:07:32 +0100valli1(~valli@s91904426.blix.com) (Remote host closed the connection)
2021-02-06 10:07:49 +0100tessier_(~treed@kernel-panic/copilotco) (Ping timeout: 272 seconds)
2021-02-06 10:09:23 +0100Limnoria1(~Limnoria@139.28.218.148)
2021-02-06 10:11:56 +0100drbean(~drbean@TC210-63-209-34.static.apol.com.tw) (Ping timeout: 240 seconds)
2021-02-06 10:12:24 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de)
2021-02-06 10:12:44 +0100minoru_shiraeesh(~shiraeesh@46.34.206.235) (Ping timeout: 256 seconds)
2021-02-06 10:14:32 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 10:16:04 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-02-06 10:19:49 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 276 seconds)
2021-02-06 10:23:10 +0100_noblegas(uid91066@gateway/web/irccloud.com/x-phchkfwuyeywkahg)
2021-02-06 10:23:16 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-02-06 10:25:14 +0100perdent(~perdent@101.175.174.67) (Excess Flood)
2021-02-06 10:27:06 +0100jonatanb(~jonatanb@83.24.201.1.ipv4.supernova.orange.pl)
2021-02-06 10:30:26 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 10:33:54 +0100hackagechart-svg 0.2.1 - Charting library targetting SVGs. https://hackage.haskell.org/package/chart-svg-0.2.1 (tonyday567)
2021-02-06 10:35:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 10:38:43 +0100EtherealStreet(68340092@104-52-0-146.lightspeed.sntcca.sbcglobal.net) ()
2021-02-06 10:38:54 +0100hackageghc-vis 0.9.2 - Live visualization of data structures in GHCi https://hackage.haskell.org/package/ghc-vis-0.9.2 (DennisFelsing)
2021-02-06 10:39:09 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428)
2021-02-06 10:42:33 +0100Athas_Athas
2021-02-06 10:43:16 +0100jonatanb(~jonatanb@83.24.201.1.ipv4.supernova.orange.pl) ()
2021-02-06 10:43:18 +0100tessier(~treed@kernel-panic/copilotco)
2021-02-06 10:46:25 +0100hackageCabal 3.4.0.0 - A framework for packaging Haskell software https://hackage.haskell.org/package/Cabal-3.4.0.0 (phadej)
2021-02-06 10:46:34 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 10:47:09 +0100berberman(~berberman@unaffiliated/berberman)
2021-02-06 10:47:57 +0100berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2021-02-06 10:49:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-06 10:51:32 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-06 10:51:40 +0100dopplergange(~dop@titan.pathogen.is) (K-Lined)
2021-02-06 10:52:44 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-02-06 10:54:15 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-zmcemccamsqwqgax) (Quit: Connection closed for inactivity)
2021-02-06 10:54:46 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04)
2021-02-06 10:55:12 +0100pera(~pera@unaffiliated/pera)
2021-02-06 10:58:21 +0100NGravity(~uwx@gateway/shell/xshellz/x-uzosslmshxnjhegg) (Read error: Connection reset by peer)
2021-02-06 10:59:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04) (Ping timeout: 264 seconds)
2021-02-06 10:59:32 +0100minoru_shiraeesh(~shiraeesh@46.34.206.235)
2021-02-06 11:01:22 +0100Rudd0(~Rudd0@185.189.115.103)
2021-02-06 11:03:10 +0100Varis(~Tadas@unaffiliated/varis) (Ping timeout: 256 seconds)
2021-02-06 11:04:24 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 11:05:53 +0100average(uid473595@gateway/web/irccloud.com/x-skfvagfqkixoxjjm) (Quit: Connection closed for inactivity)
2021-02-06 11:09:24 +0100jonatanb(~jonatanb@83.24.201.1.ipv4.supernova.orange.pl)
2021-02-06 11:09:30 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-06 11:10:18 +0100howdoi(uid224@gateway/web/irccloud.com/x-vwnihuzeelxrmxkz) (Quit: Connection closed for inactivity)
2021-02-06 11:13:11 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 11:15:24 +0100xff0x_(~xff0x@2001:1a81:5242:aa00:d06a:cbda:3c0c:5e4) (Ping timeout: 258 seconds)
2021-02-06 11:16:11 +0100xff0x_(~xff0x@2001:1a81:5242:aa00:b5d4:6c34:6b2e:660f)
2021-02-06 11:16:33 +0100acidjnk_new(~acidjnk@pd9e0b9a8.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2021-02-06 11:17:19 +0100son0p(~son0p@181.58.39.182)
2021-02-06 11:21:07 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 11:24:55 +0100bitmagie(~Thunderbi@200116b8067914005039182db8afbfb6.dip.versatel-1u1.de)
2021-02-06 11:24:58 +0100libertyprime(~libertypr@124.197.60.232)
2021-02-06 11:25:19 +0100 <libertyprime> how does one find out what a cradle is? (in the context of hie-bios)
2021-02-06 11:25:26 +0100fendor(~fendor@178.165.131.204.wireless.dyn.drei.com)
2021-02-06 11:25:47 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-06 11:26:01 +0100 <libertyprime> cant seem to find any related documentation or a glossary
2021-02-06 11:29:09 +0100bitmagie(~Thunderbi@200116b8067914005039182db8afbfb6.dip.versatel-1u1.de) (Client Quit)
2021-02-06 11:29:12 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-02-06 11:30:05 +0100ixaxaar(~ixaxaar@49.207.210.215) (Ping timeout: 240 seconds)
2021-02-06 11:30:56 +0100xsperry(~as@unaffiliated/xsperry)
2021-02-06 11:31:56 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2021-02-06 11:32:07 +0100Lord_of_Life_Lord_of_Life
2021-02-06 11:33:03 +0100 <libertyprime> i feel like im doing the work of the ghc compiler (inferring the definition of 'cradle' from its usage). HIE could use a glossary, i think
2021-02-06 11:35:46 +0100 <fendor> libertyprime, it is probably easier to ask directly what a cradle is at #haskell-language-server
2021-02-06 11:35:55 +0100 <libertyprime> thanks fendor
2021-02-06 11:36:05 +0100 <fendor> but yeah, hls needs a better documentation
2021-02-06 11:36:24 +0100jonatanb(~jonatanb@83.24.201.1.ipv4.supernova.orange.pl) ()
2021-02-06 11:36:27 +0100 <fendor> libertyprime, hie-bios explains a bit what a cradle is: https://github.com/mpickering/hie-bios/
2021-02-06 11:37:07 +0100 <libertyprime> yeah haha. i was just reading that. so far i know there are different types of cradles
2021-02-06 11:37:36 +0100 <libertyprime> i know you can have a multi-cradle, for instance
2021-02-06 11:37:38 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-06 11:37:46 +0100 <libertyprime> funny
2021-02-06 11:37:59 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 11:39:25 +0100 <maerwald[m]> cradles make little sense from a user perspective. It should be a hidden implementation detail
2021-02-06 11:39:49 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-02-06 11:39:54 +0100 <fendor> maerwald[m], absolutely
2021-02-06 11:41:01 +0100 <ph88^> does anyone have an advice how to speed up stack in gitlab ?
2021-02-06 11:41:56 +0100 <maerwald[m]> S3 caching
2021-02-06 11:42:56 +0100vchlup(~vchlup@nat.brnet.cz) (Quit: Leaving)
2021-02-06 11:43:09 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-06 11:43:17 +0100d3od(~nickmeno3@93-137-138-55.adsl.net.t-com.hr)
2021-02-06 11:43:24 +0100d3od(~nickmeno3@93-137-138-55.adsl.net.t-com.hr) (Excess Flood)
2021-02-06 11:43:31 +0100vchlup(~vchlup@nat.brnet.cz)
2021-02-06 11:43:36 +0100acidjnk_new(~acidjnk@p200300d0c722c402a0692c439c517619.dip0.t-ipconnect.de)
2021-02-06 11:43:39 +0100d3od(~nickmeno3@93-137-138-55.adsl.net.t-com.hr)
2021-02-06 11:44:11 +0100jonatanb(~jonatanb@83.24.201.1.ipv4.supernova.orange.pl)
2021-02-06 11:44:11 +0100vchlup(~vchlup@nat.brnet.cz) (Client Quit)
2021-02-06 11:44:51 +0100jonatanb(~jonatanb@83.24.201.1.ipv4.supernova.orange.pl) (Client Quit)
2021-02-06 11:46:18 +0100 <ph88^> i have self hosted gitlab
2021-02-06 11:46:22 +0100 <ph88^> can not use external stuff
2021-02-06 11:52:33 +0100 <maerwald[m]> ?
2021-02-06 11:53:07 +0100erh^(erh@ip98-184-89-2.mc.at.cox.net) ()
2021-02-06 11:54:17 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 11:55:40 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04)
2021-02-06 11:55:55 +0100hackagelsfrom 0.1 - List dir files starting from a specific name https://hackage.haskell.org/package/lsfrom-0.1 (JensPetersen)
2021-02-06 11:57:05 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-06 11:59:16 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-06 11:59:44 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04) (Ping timeout: 240 seconds)
2021-02-06 12:00:03 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 12:00:11 +0100 <ph88^> maerwald[m], company policy
2021-02-06 12:02:18 +0100 <maerwald[m]> ph88^: S3 can be private
2021-02-06 12:03:03 +0100 <ph88^> you are refering to S3 amazon aws right ?
2021-02-06 12:03:21 +0100 <maerwald[m]> Yes
2021-02-06 12:03:48 +0100 <ph88^> we are not amazon, amazon is external, can not use it (for storing our IP)
2021-02-06 12:03:56 +0100 <ph88^> company policy
2021-02-06 12:04:50 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 264 seconds)
2021-02-06 12:05:10 +0100quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-02-06 12:05:27 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-06 12:07:44 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-02-06 12:11:20 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 12:11:51 +0100jrp(05501e8f@5.80.30.143)
2021-02-06 12:12:34 +0100Tops2(~Tobias@dyndsl-095-033-091-182.ewe-ip-backbone.de)
2021-02-06 12:14:20 +0100noop_noob(31e49232@49.228.146.50)
2021-02-06 12:16:13 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-06 12:16:28 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-06 12:16:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 12:17:49 +0100 <merijn> texasmynsted: The solution is to use "cabal run" for that, tbh
2021-02-06 12:18:06 +0100 <whataday> do; a <- (+1); b <- (+2); return (a+b); why this (+1) fit here? should it be Reader (+1)?
2021-02-06 12:18:42 +0100 <whataday> a <- return (+1)?
2021-02-06 12:18:54 +0100 <c_wraith> :t (+1)
2021-02-06 12:18:55 +0100 <lambdabot> Num a => a -> a
2021-02-06 12:19:02 +0100 <c_wraith> :t (>>=)
2021-02-06 12:19:03 +0100 <lambdabot> Monad m => m a -> (a -> m b) -> m b
2021-02-06 12:19:23 +0100 <c_wraith> Just need to unify (a -> a) with m a'
2021-02-06 12:19:38 +0100 <c_wraith> which turns out to work, m ~ ((->) a)
2021-02-06 12:19:56 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 12:20:07 +0100 <c_wraith> that is the same thing as Reader, but without newtype wrappers
2021-02-06 12:21:42 +0100 <whataday> why people say ReaderT is really useful, and Reader isn't
2021-02-06 12:21:45 +0100minoru_shiraeesh(~shiraeesh@46.34.206.235) (Ping timeout: 240 seconds)
2021-02-06 12:22:16 +0100 <c_wraith> because Reader r a is identical to r -> a
2021-02-06 12:22:29 +0100 <c_wraith> Functions are great!
2021-02-06 12:22:38 +0100 <c_wraith> But the newtype doesn't really help anything
2021-02-06 12:23:25 +0100hackagehls-retrie-plugin 0.1.1.0 - Retrie integration plugin for Haskell Language Server https://hackage.haskell.org/package/hls-retrie-plugin-0.1.1.0 (PepeIborra)
2021-02-06 12:23:25 +0100 <whataday> so Reader's benefits just same as functions?
2021-02-06 12:23:39 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-06 12:23:43 +0100 <c_wraith> It's even less convenient than functions, in most cases
2021-02-06 12:24:22 +0100 <maerwald[m]> I've never used ReaderT in 8 or so years of haskell
2021-02-06 12:24:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 12:24:29 +0100 <whataday> what's the most useful ReaderT? ReaderT r m a?
2021-02-06 12:24:55 +0100 <whataday> ReaderT r IO a?
2021-02-06 12:25:10 +0100 <c_wraith> whatever solves your problem
2021-02-06 12:25:54 +0100thunderrd(~thunderrd@183.182.115.7)
2021-02-06 12:26:29 +0100 <whataday> what's that Dependent Injection related to Reader?
2021-02-06 12:26:40 +0100 <maerwald[m]> ReaderT doesn't solve any problem, it's just style and convenience
2021-02-06 12:26:43 +0100 <merijn> maerwald[m]: It works well during exploratory stages
2021-02-06 12:27:51 +0100 <merijn> maerwald[m]: If there's functionality that you use at the very leaves of your callstack that is likely too change considerably, plumbing it via ReaderT means not having to change hundreds of intermediate calls when you change the implementation
2021-02-06 12:28:57 +0100 <merijn> maerwald[m]: Unless you meant *specifically* ReaderT and not "newtypes abstracting ReaderT", in which case I might agree
2021-02-06 12:29:35 +0100jil(~user@45.86.162.6) (Read error: No route to host)
2021-02-06 12:37:07 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi)
2021-02-06 12:37:29 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-02-06 12:37:42 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 12:38:21 +0100 <maerwald[m]> merijn: i've used MonadReader, but even that i don't find too useful.
2021-02-06 12:39:04 +0100 <maerwald[m]> I don't do transformer newtypes, only mtl
2021-02-06 12:39:45 +0100 <maerwald[m]> During exploratory stages, my codebases are usually fairly small
2021-02-06 12:40:05 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-fliccswzueuhkous)
2021-02-06 12:41:06 +0100aveltras(uid364989@gateway/web/irccloud.com/x-bkadqbenbzjyjdyv)
2021-02-06 12:42:36 +0100 <ocharles> Is there a way to get ghc to output absolute file paths in error messages, rather than relative?
2021-02-06 12:42:49 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 276 seconds)
2021-02-06 12:44:45 +0100 <ocharles> https://gitlab.haskell.org/ghc/ghc/-/issues/15680 looks like it's not supported
2021-02-06 12:47:46 +0100m4lvin_(~m4lvin@w4eg.de) (Quit: m4lvin_)
2021-02-06 12:48:08 +0100m4lvin(~m4lvin@w4eg.de)
2021-02-06 12:51:53 +0100jrp(05501e8f@5.80.30.143) (Quit: Connection closed)
2021-02-06 12:52:26 +0100Limnoria1(~Limnoria@139.28.218.148) (Remote host closed the connection)
2021-02-06 12:54:11 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 12:56:25 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04)
2021-02-06 12:58:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 13:01:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04) (Ping timeout: 264 seconds)
2021-02-06 13:04:48 +0100nfip^(nfip@ip98-184-89-2.mc.at.cox.net)
2021-02-06 13:06:07 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428)
2021-02-06 13:06:37 +0100LKoen(~LKoen@252.248.88.92.rev.sfr.net)
2021-02-06 13:07:37 +0100jrp(05501e8f@5.80.30.143)
2021-02-06 13:10:35 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-02-06 13:10:42 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 13:13:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-06 13:14:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 13:15:12 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-06 13:15:15 +0100minoru_shiraeesh(~shiraeesh@46.34.206.235)
2021-02-06 13:16:05 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 240 seconds)
2021-02-06 13:17:24 +0100noop_noob(31e49232@49.228.146.50) (Quit: Connection closed)
2021-02-06 13:19:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-06 13:20:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 13:21:50 +0100Quarl(~Quarl@h-155-4-128-37.NA.cust.bahnhof.se)
2021-02-06 13:21:59 +0100kir(~kir@s91904426.blix.com)
2021-02-06 13:23:20 +0100drbean(~drbean@TC210-63-209-53.static.apol.com.tw)
2021-02-06 13:25:49 +0100poscat(~poscat@111.192.221.197) (Read error: Connection reset by peer)
2021-02-06 13:26:36 +0100djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2021-02-06 13:27:09 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 13:27:11 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-06 13:28:02 +0100poscat(~poscat@123.116.95.228)
2021-02-06 13:32:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-06 13:35:03 +0100bitmagie(~Thunderbi@200116b8067914005039182db8afbfb6.dip.versatel-1u1.de)
2021-02-06 13:36:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-02-06 13:37:00 +0100bitmagie(~Thunderbi@200116b8067914005039182db8afbfb6.dip.versatel-1u1.de) (Client Quit)
2021-02-06 13:37:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 13:39:17 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2021-02-06 13:40:04 +0100m0rphism1(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-02-06 13:40:39 +0100ClaudiusMaximus(~claude@191.123.199.146.dyn.plus.net)
2021-02-06 13:40:44 +0100ClaudiusMaximus(~claude@191.123.199.146.dyn.plus.net) (Changing host)
2021-02-06 13:40:44 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-02-06 13:42:54 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 13:43:43 +0100hexfive(~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-02-06 13:45:49 +0100pako(~pako@dynamic-077-013-017-247.77.13.pool.telefonica.de)
2021-02-06 13:46:31 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 13:47:24 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-06 13:47:26 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-06 13:47:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-06 13:47:43 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-06 13:48:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 13:50:18 +0100poljar(~poljar@93-139-44-107.adsl.net.t-com.hr) (Remote host closed the connection)
2021-02-06 13:51:07 +0100drbean_(~drbean@TC210-63-209-189.static.apol.com.tw)
2021-02-06 13:51:39 +0100Saukk_(~Saukk@83-148-239-3.dynamic.lounea.fi)
2021-02-06 13:52:08 +0100poljar(~poljar@93-139-44-107.adsl.net.t-com.hr)
2021-02-06 13:53:16 +0100drbean(~drbean@TC210-63-209-53.static.apol.com.tw) (Read error: Connection reset by peer)
2021-02-06 13:53:16 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds)
2021-02-06 13:53:30 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-06 13:53:40 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 276 seconds)
2021-02-06 13:54:07 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-02-06 13:54:19 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi) (Ping timeout: 276 seconds)
2021-02-06 13:54:45 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-02-06 13:57:11 +0100jrp(05501e8f@5.80.30.143) (Quit: Ping timeout (120 seconds))
2021-02-06 13:57:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04)
2021-02-06 13:57:14 +0100ArConan(17613c8b@23.97.60.139) (Quit: Ping timeout (120 seconds))
2021-02-06 13:58:26 +0100dftxbs3e(~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection)
2021-02-06 13:58:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-06 13:59:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 13:59:54 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 14:01:01 +0100user673898(02c977e6@dslb-002-201-119-230.002.201.pools.vodafone-ip.de)
2021-02-06 14:01:46 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04) (Ping timeout: 258 seconds)
2021-02-06 14:03:55 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428)
2021-02-06 14:04:16 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 14:04:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-02-06 14:05:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 14:07:34 +0100Guest86964(~niki@2804:d55:587c:a00:ccf4:5080:edb1:90f9)
2021-02-06 14:08:33 +0100 <user673898> I'm trying to build my library with cabal but it complains that it can't find the source
2021-02-06 14:08:38 +0100Lorra(~lorenzo@2001:a61:ba6:4501:7c80:c7be:1bd4:2629)
2021-02-06 14:08:40 +0100 <user673898> I have the line "exposed-modules: MyApp.TestModule" and TestModule.hs is in the root directory
2021-02-06 14:08:45 +0100 <user673898> "can't find source for MyApp\TestModule in .,"
2021-02-06 14:08:55 +0100 <user673898> why does it replace the '.' with '\'?
2021-02-06 14:09:07 +0100minoru_shiraeesh(~shiraeesh@46.34.206.235) (Ping timeout: 272 seconds)
2021-02-06 14:09:41 +0100Guest86964(~niki@2804:d55:587c:a00:ccf4:5080:edb1:90f9) ()
2021-02-06 14:10:33 +0100 <Uniaika> user673898: what's weird indeed. Do you have your project somewhere?
2021-02-06 14:10:36 +0100 <Uniaika> online
2021-02-06 14:10:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-06 14:11:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 14:12:06 +0100 <j2t> hi, I see that I tuples of Int implement Ord class. How do a search for a place where it implements that?
2021-02-06 14:12:47 +0100son0p(~son0p@181.58.39.182) (Quit: Lost terminal)
2021-02-06 14:13:09 +0100 <fendor> j2t, I would go to the definition of tuple and look at the instances
2021-02-06 14:13:12 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2021-02-06 14:13:21 +0100 <user673898> @Uniaika  so you mean this should be okay? I can assemble a MWE and upload it
2021-02-06 14:13:21 +0100 <lambdabot> Unknown command, try @list
2021-02-06 14:13:25 +0100carlomagno(~cararell@148.87.23.7) (Ping timeout: 240 seconds)
2021-02-06 14:13:31 +0100 <fendor> j2t, https://hackage.haskell.org/package/ghc-prim-0.6.1/docs/GHC-Tuple.html#t:-40--44--41-
2021-02-06 14:13:34 +0100 <fendor> found via
2021-02-06 14:13:36 +0100 <fendor> @hoogle (,)
2021-02-06 14:13:36 +0100 <lambdabot> GHC.Tuple data (,) a b
2021-02-06 14:13:36 +0100 <lambdabot> GHC.Tuple (,) :: a -> b -> (,) a b
2021-02-06 14:13:56 +0100honigkuchen(~honigkuch@ip5b429953.dynamic.kabel-deutschland.de)
2021-02-06 14:13:57 +0100 <honigkuchen> how does a hashtable use a hash as an index?
2021-02-06 14:14:14 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-06 14:14:31 +0100 <j2t> fendor, thanks. I had found this https://hackage.haskell.org/package/base-4.14.1.0/docs/Data-Tuple.html
2021-02-06 14:15:02 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-02-06 14:15:22 +0100 <fendor> j2t, yeah it (unfortunately but reasonably) does not re-export the tuple data type
2021-02-06 14:15:53 +0100hekkaidekapus](~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-06 14:16:56 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 14:18:03 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2021-02-06 14:18:17 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2021-02-06 14:19:34 +0100 <Uniaika> user673898: your error is very suspicious, I'll wait for an MWE :)
2021-02-06 14:21:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-02-06 14:22:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 14:22:26 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-06 14:22:55 +0100_noblegas(uid91066@gateway/web/irccloud.com/x-phchkfwuyeywkahg) (Quit: Connection closed for inactivity)
2021-02-06 14:23:52 +0100 <user673898> @Uniaika managed to fix it. if I put the TestModule.hs in a directory MyApp which is in the root dir then it works
2021-02-06 14:23:52 +0100 <lambdabot> Unknown command, try @list
2021-02-06 14:24:31 +0100Tario(~Tario@201.192.165.173)
2021-02-06 14:24:33 +0100 <user673898> I thought that every src dir is scanned and the file whose module name matches the one in the list is selected
2021-02-06 14:26:25 +0100 <user673898> now I've got a new error..
2021-02-06 14:26:25 +0100 <Uniaika> user673898: ok great
2021-02-06 14:28:57 +0100Franciman(~francesco@host-95-235-155-82.retail.telecomitalia.it) (Quit: Leaving)
2021-02-06 14:29:36 +0100raym(~ray@45.64.220.139) (Quit: leaving)
2021-02-06 14:29:46 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz)
2021-02-06 14:29:52 +0100raym(~ray@45.64.220.139)
2021-02-06 14:32:25 +0100 <user673898> mwe-0.1.0.0: Warning: library-dirs: C:\Program doesn't exist or isn't a
2021-02-06 14:32:43 +0100son0p(~son0p@181.136.122.143)
2021-02-06 14:33:51 +0100 <nshepperd> spaces in file paths are always interesting times
2021-02-06 14:33:52 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2021-02-06 14:34:12 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-06 14:34:26 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 14:35:44 +0100 <user673898> had to add double quotes in the cabal config
2021-02-06 14:38:42 +0100raichoo(~raichoo@94.31.87.253)
2021-02-06 14:39:31 +0100 <merijn> hmm
2021-02-06 14:39:33 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-06 14:40:01 +0100 <merijn> You know what I need? v2-freeze on steroids, like, something that simply grabs and archives all the Hackage tarballs too
2021-02-06 14:40:26 +0100 <maerwald> local-freeze
2021-02-06 14:40:47 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-06 14:40:50 +0100 <merijn> I don't suppose someone has made that yet?
2021-02-06 14:41:10 +0100 <maerwald> no, because that sounds too much like nix
2021-02-06 14:41:26 +0100 <merijn> Kinda, yes :p
2021-02-06 14:42:20 +0100 <merijn> Although I don't think Nix really holds the dependency locally either
2021-02-06 14:42:41 +0100 <merijn> So, that doesn't solve the *actual* problem I have anyway
2021-02-06 14:43:19 +0100 <maerwald> would be surprised if nix doesn't have an offline mode
2021-02-06 14:43:54 +0100ArConan(17613c8b@23.97.60.139)
2021-02-06 14:43:57 +0100pako(~pako@dynamic-077-013-017-247.77.13.pool.telefonica.de) (Ping timeout: 272 seconds)
2021-02-06 14:44:03 +0100 <merijn> Anyway, unless someone else will do the Nix stuff for me, that's not happening anyway :p
2021-02-06 14:44:51 +0100pako(~pako@dynamic-078-054-103-037.78.54.pool.telefonica.de)
2021-02-06 14:44:59 +0100 <maerwald> that's how nix works... someone else does it
2021-02-06 14:44:59 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-02-06 14:46:31 +0100 <merijn> ;)
2021-02-06 14:47:25 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-06 14:47:43 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-06 14:48:02 +0100chem40(6221f5e8@98.33.245.232)
2021-02-06 14:49:45 +0100chem40(6221f5e8@98.33.245.232) (Client Quit)
2021-02-06 14:50:40 +0100Alleria_(~AllahuAkb@69.202.254.168)
2021-02-06 14:51:01 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-02-06 14:51:04 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 14:53:19 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 14:55:16 +0100 <merijn> maerwald: Actually, isn't that how all open source works? :p
2021-02-06 14:55:36 +0100 <merijn> maerwald: Just subsidise your global multi-billion tech company by guilt tripping free labour online!
2021-02-06 14:56:33 +0100 <tdammers> institutionalized "do it for your resume"
2021-02-06 14:57:04 +0100 <maerwald> and so we did...
2021-02-06 14:57:21 +0100 <aldum> it's ridiculous how expected this is nowadays
2021-02-06 14:57:33 +0100Alleria_(~AllahuAkb@69.202.254.168) (Ping timeout: 264 seconds)
2021-02-06 14:57:40 +0100 <aldum> what, you don't have years worth of work public? you must not be hiring-worthy then
2021-02-06 14:57:59 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04)
2021-02-06 14:58:33 +0100 <merijn> tdammers: Did you see google's new policy?
2021-02-06 14:58:35 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-144a-d72e-d888-983c.res6.spectrum.com)
2021-02-06 14:58:45 +0100danso(~dan@d67-193-121-2.home3.cgocable.net) (Ping timeout: 264 seconds)
2021-02-06 14:58:45 +0100drbean_(~drbean@TC210-63-209-189.static.apol.com.tw) (Ping timeout: 240 seconds)
2021-02-06 14:59:13 +0100 <merijn> tdammers: basically "let's smear open source not released under the author's legal name" >.>
2021-02-06 14:59:46 +0100 <merijn> maerwald: Hey, I'm doing my best! I convinced Ben to drop the 32bit windows build of GHC!
2021-02-06 14:59:48 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-06 14:59:54 +0100 <maerwald> You know what they say: "If I do a job in 30 minutes, it's because I spent 10 years learning how to do that in 30 minutes. You owe me for the years, not the minutes."
2021-02-06 15:00:19 +0100 <merijn> maerwald: Under the argument of "if some big enterprise somehow still relies on it, they're probably slow an enterprise enough to bloody well pay for it themselves"
2021-02-06 15:01:44 +0100Saukk_(~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection)
2021-02-06 15:03:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04) (Ping timeout: 264 seconds)
2021-02-06 15:06:08 +0100__monty__(~toonn@unaffiliated/toonn)
2021-02-06 15:06:49 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-02-06 15:07:48 +0100pera(~pera@unaffiliated/pera)
2021-02-06 15:08:22 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009)
2021-02-06 15:11:18 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 15:11:25 +0100hackagevulkan 3.9.1 - Bindings to the Vulkan graphics API. https://hackage.haskell.org/package/vulkan-3.9.1 (jophish)
2021-02-06 15:12:00 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 15:13:25 +0100hackagecode-page 0.2.1 - Windows code page library for Haskell https://hackage.haskell.org/package/code-page-0.2.1 (ryanglscott)
2021-02-06 15:13:30 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-06 15:14:12 +0100Franciman(~francesco@host-95-235-155-82.retail.telecomitalia.it)
2021-02-06 15:14:24 +0100hackagehslua 1.3.0.1 - Bindings to Lua, an embeddable scripting language https://hackage.haskell.org/package/hslua-1.3.0.1 (tarleb)
2021-02-06 15:17:21 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-06 15:18:07 +0100j2t(~j2t@84.122.202.215.dyn.user.ono.com) (Ping timeout: 256 seconds)
2021-02-06 15:20:19 +0100user673898(02c977e6@dslb-002-201-119-230.002.201.pools.vodafone-ip.de) (Quit: Connection closed)
2021-02-06 15:20:33 +0100rople(~rople@2001:8003:d44b:300:ac2a:fb0f:6f96:d286) (Ping timeout: 265 seconds)
2021-02-06 15:20:52 +0100aveltras(uid364989@gateway/web/irccloud.com/x-bkadqbenbzjyjdyv) (Quit: Connection closed for inactivity)
2021-02-06 15:21:09 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 15:21:51 +0100 <juri_> as someone who hires software developers, i really like having a lively git(hub/lab) profile to look at.
2021-02-06 15:21:57 +0100knu54(58823d0b@gateway/web/cgi-irc/kiwiirc.com/ip.88.130.61.11)
2021-02-06 15:22:24 +0100rople(~rople@116.206.228.203)
2021-02-06 15:22:34 +0100 <Uniaika> juri_: do you hire haskell people? :P
2021-02-06 15:22:45 +0100 <juri_> Yes.
2021-02-06 15:22:51 +0100 <juri_> Hired one last week.
2021-02-06 15:23:19 +0100 <juri_> no, not currently hiring anyone who's not a walk-on-water haskeller. :)
2021-02-06 15:23:36 +0100 <Uniaika> juri_: you mean senior developer?
2021-02-06 15:24:18 +0100Deide(~Deide@217.155.19.23)
2021-02-06 15:24:33 +0100 <merijn> juri_: On the one hand, yes. But on the other hand, building an industry on the expectation of people doing work stuff in their spare time is toxic as hell and it needs to die...
2021-02-06 15:24:39 +0100 <juri_> We've been having trouble, because our profile demands medium-level haskeller / medium level operations engineer.
2021-02-06 15:24:52 +0100 <aldum> what merijn says
2021-02-06 15:24:58 +0100 <aldum> we get why it's great to look at
2021-02-06 15:25:01 +0100 <merijn> Like, sure it's convenient
2021-02-06 15:25:07 +0100 <juri_> I disagree.
2021-02-06 15:25:16 +0100 <aldum> but also, the expectation that you do it in your spare time as well, and publish it...
2021-02-06 15:25:32 +0100 <merijn> But the fact that it's convenient for industry is meaningless if it builds a generation of people thinking "working for free" is somehow normal
2021-02-06 15:25:43 +0100 <knu54> Is it possible to write a function which returns the constraint of it's argument? e.g.: foo 4 = Proxy :: Proxy [Num]
2021-02-06 15:25:54 +0100 <juri_> merijn: I've been "working for free" for 20 years now.
2021-02-06 15:26:04 +0100 <knu54> (I guesstimate the answer is no)
2021-02-06 15:26:05 +0100 <merijn> knu54: You want SomeNat, probably?
2021-02-06 15:26:06 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-06 15:26:32 +0100 <knu54> mirijn: no, I want to access the Constraints
2021-02-06 15:26:39 +0100 <knu54> > :t 4
2021-02-06 15:26:41 +0100 <lambdabot> <hint>:1:1: error: <hint>:1:1: error: parse error on input ‘:’
2021-02-06 15:26:48 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 246 seconds)
2021-02-06 15:27:02 +0100 <knu54> foo (Num a => a) --> Num
2021-02-06 15:27:07 +0100 <merijn> juri_: Therefore it's normal?
2021-02-06 15:27:09 +0100 <knu54> but on the termlevel
2021-02-06 15:27:41 +0100 <merijn> I mean, child labour used to be normal too (and still is in many parts of the world), but we all decided *that* was toxic BS too :)
2021-02-06 15:27:50 +0100 <aldum> okay, that's different
2021-02-06 15:27:54 +0100 <juri_> merijn: therefore, it shows someone who is either good enough at $dayjob to publish what they do, or someone who is interested enough in tech to do it other than just at work.
2021-02-06 15:28:07 +0100 <aldum> child labour exists because on low levels of wealth, you need it
2021-02-06 15:28:22 +0100 <juri_> I'm in tech. it just happens that i get paid for it.
2021-02-06 15:28:26 +0100 <aldum> it's a luxury to have people not working for the first 20 years of their life
2021-02-06 15:29:00 +0100 <aldum> getting back to the topic: I thought the rockstar culture was out
2021-02-06 15:29:03 +0100 <aldum> but apparently not
2021-02-06 15:29:13 +0100 <merijn> juri_: Not every is in the luxury position of getting paid to work on open source stuff, and expecting people to write open source in their spare time is bad.
2021-02-06 15:29:46 +0100 <juri_> merijn: believe what you want. i like people who are interested in the field.
2021-02-06 15:29:50 +0100 <merijn> Like, after an 8 hour day of coding I got better shit to do than "more coding", despite *wanting* to program more, and I don't even have kids yet
2021-02-06 15:29:53 +0100 <juri_> not just mercinaries.
2021-02-06 15:30:08 +0100 <merijn> juri_: I can see why you might have trouble hiring :p
2021-02-06 15:30:10 +0100 <juri_> after an 8 hour day of coding, i spend 4 hours coding. every day.
2021-02-06 15:30:17 +0100 <aldum> everybody wants to hire people who have n+2 years of experience in every technology (n being the years it existed), and goes to conferences to hold talks
2021-02-06 15:30:39 +0100rfc08x001(~rfc08x001@183.215.50.227)
2021-02-06 15:30:47 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-walokhpttsredqkf)
2021-02-06 15:30:59 +0100 <juri_> merijn: you might be right. we have a high bar. we want to see your work previously.
2021-02-06 15:31:18 +0100 <juri_> I don't think insisting on a portfolio is insane. plenty of professions require that.
2021-02-06 15:31:20 +0100 <merijn> juri_: I've got friends, family and hobbies. And maybe if we encouraged more of that in tech we would spend less time building creepy surveillance-capitalist dystopias >.>
2021-02-06 15:31:41 +0100 <merijn> Anyway, drifting slightly off Haskell :p
2021-02-06 15:31:59 +0100 <juri_> true. we can take it to offtopic if you want to yell at me. :D
2021-02-06 15:32:04 +0100 <aldum> I am interested, but that doesn't necessarily translate to github
2021-02-06 15:32:46 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:b547:11f6:98ac:60d3)
2021-02-06 15:33:30 +0100 <aldum> I'm not saying your case is invalid, but it seems _everyone_ expects it these days
2021-02-06 15:33:58 +0100jollygood2(~bc8134e3@217.29.117.252)
2021-02-06 15:34:15 +0100 <aldum> and I can't be assed to do a yet another todo app just so I have it on github
2021-02-06 15:34:19 +0100 <juri_> yeah. that's a problem.
2021-02-06 15:35:02 +0100 <juri_> I remember the same problem at the start of my career. and it put me in a very dubious (could write a book about it) place.
2021-02-06 15:35:08 +0100 <merijn> aldum: I mean, I fit the profile and portfolio lots of those tech companies are looking for, but increasingly I'd rather pass
2021-02-06 15:35:09 +0100 <aldum> anyway, sorry for venting out my jobsearch frustrations here
2021-02-06 15:35:42 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2021-02-06 15:36:06 +0100 <juri_> merijn: good on you. that's what we're really missing in our industry: people willing to stand for what they believe in.
2021-02-06 15:36:16 +0100rfc08x001(~rfc08x001@183.215.50.227) (Quit: Leaving)
2021-02-06 15:37:39 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 15:41:25 +0100average(uid473595@gateway/web/irccloud.com/x-lztdighqxgxenyad)
2021-02-06 15:41:57 +0100 <jollygood2> is using System.IO.Temp recommended way for generating temporary files in a cross-platform way?
2021-02-06 15:42:12 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-06 15:43:26 +0100 <poscat> Hi, are there any aeson maintainers here that would like to review my pull request? :)
2021-02-06 15:43:35 +0100 <poscat> The PR: https://github.com/haskell/aeson/pull/828
2021-02-06 15:47:25 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-06 15:47:43 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-06 15:49:06 +0100Guest_76(25e4f694@37.228.246.148)
2021-02-06 15:49:23 +0100nictki(~nictki@p5b0c7733.dip0.t-ipconnect.de)
2021-02-06 15:49:50 +0100nictki(~nictki@p5b0c7733.dip0.t-ipconnect.de) (Client Quit)
2021-02-06 15:50:08 +0100Guest_76cob123
2021-02-06 15:53:57 +0100Kipras_(~Kipras@78-56-235-39.static.zebra.lt)
2021-02-06 15:54:32 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 15:55:45 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 240 seconds)
2021-02-06 15:57:40 +0100saitamaplus(uid272474@gateway/web/irccloud.com/x-vvqrfgmnjtrulshp)
2021-02-06 15:58:16 +0100saitamaplus(uid272474@gateway/web/irccloud.com/x-vvqrfgmnjtrulshp) (Changing host)
2021-02-06 15:58:16 +0100saitamaplus(uid272474@unaffiliated/cheeky/x-5333603)
2021-02-06 15:58:16 +0100saitamaplus(uid272474@unaffiliated/cheeky/x-5333603) (Changing host)
2021-02-06 15:58:16 +0100saitamaplus(uid272474@gateway/web/irccloud.com/x-vvqrfgmnjtrulshp)
2021-02-06 15:58:52 +0100is_null(~jpic@pdpc/supporter/professional/is-null)
2021-02-06 15:59:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04)
2021-02-06 15:59:46 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 276 seconds)
2021-02-06 16:00:22 +0100j2t(~j2t@84.122.202.215.dyn.user.ono.com)
2021-02-06 16:01:35 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 16:02:50 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-02-06 16:03:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04) (Ping timeout: 264 seconds)
2021-02-06 16:04:03 +0100ArConan(17613c8b@23.97.60.139) (Quit: Connection closed)
2021-02-06 16:05:58 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 258 seconds)
2021-02-06 16:05:58 +0100honigkuchen(~honigkuch@ip5b429953.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-02-06 16:06:56 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds)
2021-02-06 16:10:02 +0100garFF(~garff@80.71.142.8)
2021-02-06 16:10:31 +0100gwern(~gwern@wikipedia/Gwern)
2021-02-06 16:10:44 +0100 <gwern> so are you guys aware someone is just mass-deleting the haskell wiki https://wiki.haskell.org/Special:Contributions/Tomjaguarpaw ?
2021-02-06 16:12:11 +0100mirrorbird(~psutcliff@2a00:801:2d5:848b:590:cf4f:5eeb:b49d)
2021-02-06 16:13:25 +0100 <gwern> unless I'm missing somewhere that this was officially decreed acceptable I'm going to block this tomjaguarpaw dude and rollback all his edits because omgwtf
2021-02-06 16:13:38 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 16:13:52 +0100 <gwern> did I miss it? was it decided somewhere to just delete anything over N years on hawiki?
2021-02-06 16:14:40 +0100 <gwern> because on every wiki I've ever been on, 'mass blanking of pages without discussion' == vandalism
2021-02-06 16:16:57 +0100acidjnk_new(~acidjnk@p200300d0c722c402a0692c439c517619.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-02-06 16:18:15 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-06 16:18:59 +0100 <merijn> I mean, the wiki has tons of stuff that arguably should be deleted, but this is overdoing it
2021-02-06 16:19:00 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-02-06 16:19:50 +0100 <merijn> This is like the "stale bot" approach to tickets >.> Just nuke everything old and hope people recreate relevant things
2021-02-06 16:19:59 +0100hiroaki(~hiroaki@2a02:908:4b18:8c40::8d4b)
2021-02-06 16:21:02 +0100sayantan(~sayantan@103.88.218.118)
2021-02-06 16:21:42 +0100 <gwern> yes, well, I've blocked him and rolled back all his deletions. *maybe* he can have his account back when he shows he has understood what catastrophically bad judgment he has shown
2021-02-06 16:21:48 +0100sayantan(~sayantan@103.88.218.118) (Remote host closed the connection)
2021-02-06 16:22:05 +0100 <gwern> just checking a few instances, he's plain wrong. a lot of the xmonad stuff he deleted is not 'outdated', because xmonad is stable
2021-02-06 16:22:26 +0100 <gwern> and if he wants to add obsolete markers, he should be using a template, not dumping in html
2021-02-06 16:22:49 +0100 <Athas> It is apparently intentional: https://wiki.haskell.org/User:Tomjaguarpaw
2021-02-06 16:23:02 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-sqldxvxwbirnrvhg)
2021-02-06 16:23:32 +0100elisa70(~elisa70@93-34-143-64.ip50.fastwebnet.it)
2021-02-06 16:23:42 +0100 <gwern> yes, that's why I was asking. i'm not in the loop on wiki matters and I was wondering if it had in fact been decided somewhere. but his contributions don't include any discussion or policy pages I can see, and no one here thus far seems to have any idea about such a thing, so he's just doing it unilaterally, it looks like
2021-02-06 16:23:54 +0100 <merijn> Athas: Except he's nuking discussions/joke page, etc. too
2021-02-06 16:24:04 +0100 <merijn> Athas: Rather than checking if it's actually documentation
2021-02-06 16:25:03 +0100geekosaur(ae68c070@cpe-174-104-192-112.neo.res.rr.com)
2021-02-06 16:26:12 +0100 <Athas> Tom Ellis is a pretty active Haskell community member, so this must have been discussed somewhere. It's completely out of left field...
2021-02-06 16:26:12 +0100 <fendor> gwern, yeah Uniaika and tomjaguarpaw want to clean up the wiki
2021-02-06 16:26:41 +0100urodna(~urodna@unaffiliated/urodna)
2021-02-06 16:26:52 +0100 <gwern> this seems to be closer to 'ethnic cleansing' than 'cleaning up'...
2021-02-06 16:27:00 +0100 <Uniaika> hi
2021-02-06 16:27:09 +0100 <DigitalKiwi> rm -rf Uniaika
2021-02-06 16:27:17 +0100 <Uniaika> gwern: yes, this is official Haskell Docs Task Force for the Foundation
2021-02-06 16:27:39 +0100 <Uniaika> gwern: I'm also surprised that it was noticed, considering the state of abandon of the wiki
2021-02-06 16:27:55 +0100elisa70(~elisa70@93-34-143-64.ip50.fastwebnet.it) ()
2021-02-06 16:28:07 +0100 <gwern> Uniaika: I still monitor the xmonad pages because they are still useful, so I kinda noticed
2021-02-06 16:28:13 +0100 <Uniaika> gwern: although, some stuff should not live in the wiki, like the XMonad stuff or the CPS article which is entirely in romanian
2021-02-06 16:28:13 +0100 <DigitalKiwi> do you got a badge to go with that alphabet soup
2021-02-06 16:28:29 +0100 <Uniaika> gwern: My position is that the XMonad project should host their own docs
2021-02-06 16:28:46 +0100 <Uniaika> especially since we might **very much** switch platforms on the wiki
2021-02-06 16:28:48 +0100 <Uniaika> *fr
2021-02-06 16:28:49 +0100 <gwern> Uniaika: that's a silly position but you are entitled to have opinions
2021-02-06 16:28:50 +0100 <Uniaika> *for
2021-02-06 16:28:51 +0100 <Uniaika> damnit
2021-02-06 16:29:11 +0100 <Uniaika> gwern: The state of the Haskell wiki is extremely dire
2021-02-06 16:29:26 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 16:29:46 +0100 <gwern> perhaps, but mass-deleting smacks more of OCD compulsiveness than any genuine thoughtful attempt to improve the wiki
2021-02-06 16:29:59 +0100 <Uniaika> gwern: moreover, they're not thrown into oblivion, they still live in the wiki history
2021-02-06 16:30:11 +0100 <gwern> how comforting
2021-02-06 16:30:22 +0100 <Uniaika> gwern: the "genuine attempts to improve the wiki" have all failed for around ten years
2021-02-06 16:30:28 +0100 <Athas> ...why is there an article on CPS in Romanian?
2021-02-06 16:30:34 +0100 <Uniaika> Athas: no, the real question is
2021-02-06 16:30:42 +0100 <gwern> Athas: because people speak romanian? it's a real language. romanians are human too.
2021-02-06 16:30:45 +0100 <Uniaika> Why is the CPS article is in Romanian
2021-02-06 16:30:47 +0100 <merijn> Athas: TAed got tired of explaining it to students? :p
2021-02-06 16:30:55 +0100 <Uniaika> on an otherwise english-speaking wiki
2021-02-06 16:31:11 +0100 <Uniaika> why is there no lang-ro category/namespace
2021-02-06 16:31:16 +0100 <Uniaika> because the wiki maintainers are all burnt-out
2021-02-06 16:31:32 +0100 <gwern> perhaps because people are spending more time deleting stuff than fixing it, and seem to have an attitude of 'and ahhh helped!'
2021-02-06 16:32:00 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-02-06 16:32:22 +0100 <Uniaika> is that really the case?
2021-02-06 16:32:53 +0100 <gwern> I only see you defending the mass-deletions, and not fixing anything. so, seems so.
2021-02-06 16:33:01 +0100 <Athas> Uniaika: where has this been discussed? I think I'm in favour of significant cleansing of the wiki, but now I'm curious about what other plans might exist for it (e.g. what a new platform might be).
2021-02-06 16:33:10 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-06 16:33:16 +0100 <merijn> I think this conversation has a...unnecessarily adversarial tone
2021-02-06 16:33:23 +0100 <gwern> merijn: GEE I WONDER WHY
2021-02-06 16:33:46 +0100 <Uniaika> https://wiki.haskell.org/Trabalhos
2021-02-06 16:33:47 +0100 <geekosaur> I think unexpted mass deletion has an adversarial tone
2021-02-06 16:33:48 +0100 <Uniaika> what the fuck
2021-02-06 16:33:56 +0100knu54(58823d0b@gateway/web/cgi-irc/kiwiirc.com/ip.88.130.61.11) (Quit: Connection closed)
2021-02-06 16:34:05 +0100 <merijn> Uniaika: I do think blanking out pages without replacing them isn't great and just contributing to more internet linkrot than already exists
2021-02-06 16:34:14 +0100 <gwern> if you don't want an adversarial tone, maybe don't start out by quietly deleting 120+ pages
2021-02-06 16:34:31 +0100 <Uniaika> gwern: but yes I didn't think tomjaguarpaw would have started without advertising his work first
2021-02-06 16:34:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-06 16:34:47 +0100 <gwern> Uniaika: the lack of advertisement is only the very beginning of the issues here
2021-02-06 16:34:52 +0100 <merijn> Uniaika: I think "deleting romanian CPS article" vs "replacing romanian CPS article with an english version" has different optics (to use a stupid word)
2021-02-06 16:35:18 +0100 <Uniaika> tomjaguarpaw: ping²
2021-02-06 16:35:21 +0100 <merijn> geekosaur: Sure
2021-02-06 16:35:36 +0100 <Uniaika> geekosaur: yup
2021-02-06 16:35:53 +0100 <shapr> o hi gwern, long time no see
2021-02-06 16:35:55 +0100 <merijn> geekosaur: My point is, that angry name calling isn't going to lead to a more productive approach
2021-02-06 16:36:10 +0100shaprreads the history
2021-02-06 16:36:13 +0100 <merijn> well, I guess there was no name calling, but you get what I mean
2021-02-06 16:36:16 +0100 <gwern> shapr: yeah, I usually only show up in haskell circles when something has gone seriously wrong. I have lots of other stuff to do
2021-02-06 16:37:13 +0100 <shapr> gwern: fair enough, nice to see you in realtime again
2021-02-06 16:37:36 +0100 <Uniaika> Athas: This has been discussed by the docs task force this morning, and I didn't think tom would start removing stuff right away, because I also wanted some input from the other members of the HF board
2021-02-06 16:37:47 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-02-06 16:38:45 +0100 <Uniaika> Alright I sent tom an email
2021-02-06 16:38:46 +0100 <gwern> you seem to be under a misapprehension that tom's removals were just fine, and it's merely a matter of announcing it more politely
2021-02-06 16:38:53 +0100 <Uniaika> no it's not my point
2021-02-06 16:39:07 +0100 <Uniaika> but I'm also dealing with IRL stuff so I can't quite explain my point proplerly
2021-02-06 16:39:42 +0100hexagenic(~mattias@2001:2002:51e0:74c9:5098:c4b6:1b73:7815)
2021-02-06 16:39:43 +0100 <Uniaika> Tom should have talked publicly about what he wanted to do, get more feedback, discuss with stakeholders (like the XMonad people about the XMonad article), and then suggest articles for deletion
2021-02-06 16:39:55 +0100 <gwern> I object to this from start to finish. the idea of mass purging and kicking out small projects is bad. you haven't *remotely* consulted with past and current hawiki editors (who wrote the stuff you are so cavalierly talking about purging). you haven't justified the benefits to the community. your remedy of deletion is about the worst possible, and the selection of deletions was *extremely* poor.
2021-02-06 16:40:41 +0100 <shapr> I was hawiki maintainer for a bunch of years, but I'm not sure who was after me.
2021-02-06 16:41:02 +0100 <tomjaguarpaw> Hey folks, I got far too carried away
2021-02-06 16:41:24 +0100 <shapr> I think the last change from moinmoin to mediawiki involved setting the previous wiki to read only for a few months before removal.
2021-02-06 16:41:34 +0100 <shapr> That gave people a chance to port over valued content.
2021-02-06 16:41:41 +0100 <Uniaika> could you please restore the XMonad articles and consult with the community before proceeding to mass-deletions, tomjaguarpaw?
2021-02-06 16:41:53 +0100 <tomjaguarpaw> gwern: Point well taken and thanks for acting as a safety net
2021-02-06 16:41:59 +0100 <gwern> Uniaika: I've already rolled back all his edits, I said
2021-02-06 16:42:04 +0100 <tomjaguarpaw> gwern: Thanks
2021-02-06 16:42:10 +0100 <shapr> I'm glad to see activity on the wiki, I'm now motivated to figure out how to login to my account again.
2021-02-06 16:42:16 +0100 <Uniaika> gwern: sorry, didn't read that bit
2021-02-06 16:42:27 +0100 <Uniaika> shapr: I wish I had an account…
2021-02-06 16:42:39 +0100 <gwern> ...you don't even have an account?
2021-02-06 16:42:44 +0100 <shapr> I don't remember how to get a new account, but I'll figure it out.
2021-02-06 16:42:46 +0100 <Uniaika> let me rephrase it
2021-02-06 16:43:01 +0100 <DigitalKiwi> is it like hackage and you have to get a person to make it lol
2021-02-06 16:43:02 +0100 <Uniaika> I wish someone had answered the various emails I sent because the account creation is locked due to spam
2021-02-06 16:43:02 +0100Solid(~blyat@unaffiliated/solid-)
2021-02-06 16:43:09 +0100 <Uniaika> there
2021-02-06 16:43:16 +0100 <Uniaika> that's closer to reality
2021-02-06 16:43:21 +0100 <Uniaika> 🙃
2021-02-06 16:43:42 +0100carlomagno(~cararell@148.87.23.12)
2021-02-06 16:43:48 +0100 <shapr> oh man, my user page on the wiki was last modified in 2012
2021-02-06 16:43:54 +0100 <DigitalKiwi> wonder how many people don't fix it because they don't have account
2021-02-06 16:44:05 +0100 <Uniaika> s/don't/can't/
2021-02-06 16:44:26 +0100 <shapr> Sounds like that's something to fix, maybe allow existing users to send invitations to new users?
2021-02-06 16:44:46 +0100 <sm[m]> wb gwern !
2021-02-06 16:44:59 +0100irchaxwell_(~IRC@2a00:23a8:4382:a900:e5a6:8cfe:15f7:e24a)
2021-02-06 16:45:20 +0100 <Uniaika> shapr: but who would be responsible for implementing that? :)
2021-02-06 16:45:29 +0100 <texasmynsted> merijn: "The solution is to use "cabal run" for that, tbh". That is what is doing before. I tried installing to target, but I now recall there is no "uninstall". I will go back to cabal run.
2021-02-06 16:45:42 +0100 <merijn> texasmynsted: I do have a life-hack for you
2021-02-06 16:45:57 +0100 <texasmynsted> uh oh. What is that?
2021-02-06 16:46:18 +0100 <merijn> texasmynsted: https://paste.tomsmeding.com/m0aAjCav
2021-02-06 16:46:36 +0100 <merijn> Replace with path to project file as appropriate
2021-02-06 16:47:02 +0100 <merijn> If you name that the same way as your executable you can use that shell script as if it's the real executable :)
2021-02-06 16:47:24 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-06 16:47:41 +0100 <merijn> texasmynsted: It's what I use to test stuff I hack on, because typing "cabal run" is a hassle :p
2021-02-06 16:47:44 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-06 16:47:50 +0100 <shapr> on the good side, I'm now logged into the wiki again
2021-02-06 16:47:58 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 16:48:03 +0100 <sm[m]> it's easy to accidentally think the wiki is dead and useless, because most stakeholders (folks who worked on it, folks who still use it) aren't involved in the latest haskell chat. Sometimes a trial mass deletion is the only way to find out I guess.
2021-02-06 16:48:08 +0100 <shapr> Uniaika: first step is to figure out who can approve new users
2021-02-06 16:48:16 +0100 <merijn> texasmynsted: As a bonus, that works from anywhere on your path if the path to --project-file is absolute :)
2021-02-06 16:48:24 +0100irchaxwell(~IRC@2a00:23a8:4382:a900:a5ea:eb26:ed91:a1c3) (Ping timeout: 240 seconds)
2021-02-06 16:48:53 +0100 <Uniaika> shapr: gonna be honest with you, I'm not doing that kind of manhunt for a bloody wiki account
2021-02-06 16:48:54 +0100 <texasmynsted> that is a nice idea
2021-02-06 16:48:59 +0100 <merijn> texasmynsted: Or you can do some extra shell-scripting and look for the project file relative to the script
2021-02-06 16:49:07 +0100 <shapr> Uniaika: fair enough, I'll see if I can figure it out
2021-02-06 16:49:17 +0100 <Uniaika> shapr: fantastic, thanks
2021-02-06 16:49:35 +0100 <shapr> gwern: do you happen to know who's the person responsible for the Haskell wiki these days?
2021-02-06 16:49:44 +0100 <gwern> no
2021-02-06 16:49:49 +0100 <shapr> ok, I'll ask around
2021-02-06 16:50:03 +0100 <merijn> texasmynsted: Taken to it's extreme: https://github.com/merijn/Belewitte/blob/master/cabal-run.sh :p
2021-02-06 16:50:25 +0100hackagetype-of-html 1.6.2.0 - High performance type driven html generation. https://hackage.haskell.org/package/type-of-html-1.6.2.0 (knupfer)
2021-02-06 16:50:39 +0100cob123(25e4f694@37.228.246.148) (Quit: Connection closed)
2021-02-06 16:50:51 +0100 <shapr> Hm, I have wiki edits from 2006 - 2012
2021-02-06 16:50:58 +0100 <sm[m]> shapr++, fixing management of the wiki seems like task 1
2021-02-06 16:51:42 +0100 <Uniaika> 🙃
2021-02-06 16:51:46 +0100 <Uniaika> why are we like this
2021-02-06 16:51:58 +0100 <shapr> Uniaika: people get distracted by life?
2021-02-06 16:52:06 +0100 <texasmynsted> nice
2021-02-06 16:52:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 16:52:29 +0100 <texasmynsted> Could make that a shell function, and it would stay loaded in the shell all the time.
2021-02-06 16:52:54 +0100 <Uniaika> shapr: people can be distracted by life, I totally agree, but moderating a community platform with user-generated content is very demanding work
2021-02-06 16:53:01 +0100 <shapr> aha, people who can create accounts on the wiki include byorgey, gwern, davean, and some others.
2021-02-06 16:53:23 +0100 <shapr> Uniaika: oh I agree, I organized the haskell wiki for some years before the current incarnation, it was a bunch of work.
2021-02-06 16:53:46 +0100 <texasmynsted> the only way to "cabal uninstall " is to rm the installed file or symlink, right?
2021-02-06 16:53:53 +0100 <DigitalKiwi> merijn: now this is extreme https://gist.github.com/Kiwi/ffc08bffb15798dc4b1ec2a1c47c6191#file-program-cabal-hs
2021-02-06 16:54:09 +0100 <shapr> This info is available on https://wiki.haskell.org/index.php?title=Special%3AListUsers&username=&group=sysop&limit=50
2021-02-06 16:54:58 +0100 <sm[m]> Uniaika: I love your work on improving docs. People put a lot of love and free time into that wiki content, so naturally deleting stuff needs to be done with some sensitivity
2021-02-06 16:55:10 +0100dftxbs3e(~dftxbs3e@unaffiliated/dftxbs3e)
2021-02-06 16:55:18 +0100mceier(~mceier@89-68-132-187.dynamic.chello.pl) (Quit: leaving)
2021-02-06 16:55:31 +0100 <shapr> How do I get into the docs effort? I had a bad experience with http-client this week and would like to prevent others from having that problem.
2021-02-06 16:56:13 +0100 <DigitalKiwi> don't use http-client, got it
2021-02-06 16:56:40 +0100 <shapr> DigitalKiwi: heh, my problem was about how to correctly pass cookies to subsequent requests, with expiration
2021-02-06 16:56:55 +0100minoru_shiraeesh(~shiraeesh@46.34.206.235)
2021-02-06 16:57:14 +0100 <Athas> Was there a time when the Haskell wiki wasn't such a wasteland?
2021-02-06 16:57:23 +0100 <shapr> Shouldn't have taken me as long as it did, and I'd like to update the docs to remove confusing references.
2021-02-06 16:57:24 +0100 <Athas> I don't think I ever read it much myself.
2021-02-06 16:57:34 +0100 <shapr> Athas: certainly, the monad reader started as a wiki-only publication
2021-02-06 16:57:42 +0100 <tdammers> merijn: no, haven't seen that
2021-02-06 16:57:48 +0100 <sm[m]> sure.. wikis are always work in progress, but they are usually best when actively being edited
2021-02-06 16:57:57 +0100 <sm[m]> there is excellent content in there
2021-02-06 16:58:12 +0100 <shapr> Maybe I should put my http-client adventures on the wiki
2021-02-06 16:58:40 +0100 <Uniaika> shapr: See http-client's repo, check with the maintainer
2021-02-06 16:58:53 +0100 <DigitalKiwi> shapr: i just avoid anything by snoyberg and life is better
2021-02-06 16:58:54 +0100 <shapr> will do, thanks
2021-02-06 16:58:56 +0100 <Uniaika> oh, it's Snoyman
2021-02-06 16:58:57 +0100 <sm[m]> but for a wiki to continue being actively edited, it needs to be maintained in such a way that that is easy and attractive. (That got harder as spam increased)
2021-02-06 16:59:15 +0100 <shapr> DigitalKiwi: eh, there's lots of good stuff
2021-02-06 16:59:44 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04)
2021-02-06 16:59:48 +0100 <DigitalKiwi> o
2021-02-06 16:59:51 +0100 <DigitalKiwi> ooops
2021-02-06 16:59:52 +0100 <shapr> I was happy to see my haddock bug reports fixed in the GHC 9
2021-02-06 17:00:11 +0100 <Uniaika> shapr: which one was it?
2021-02-06 17:00:30 +0100 <DigitalKiwi> i'm going to start sending snoyberg an invoice every time i waste time making a cabal file when people don't commit the cabal file from hpack
2021-02-06 17:00:51 +0100 <Uniaika> hahaha
2021-02-06 17:01:14 +0100 <shapr> Uniaika: big piles of invalid haddocks produced at work, here's an example https://github.com/haskell/haddock/issues/1174
2021-02-06 17:01:43 +0100 <shapr> I reported six issues I couldn't find in the existing bug reports
2021-02-06 17:02:44 +0100 <shapr> We have about 300k lines of proprietary Haskell in our repo, and I was running our internal hoogle until parse errors broke too many things.
2021-02-06 17:03:11 +0100 <DigitalKiwi> https://gist.github.com/Kiwi/99db7d56d979cc60b514e417669b56ff super fun
2021-02-06 17:03:17 +0100 <Uniaika> ah yes, nitro12 took care of it
2021-02-06 17:03:21 +0100 <Uniaika> I recall
2021-02-06 17:03:41 +0100 <DigitalKiwi> shapr: last time i heard about http-client here lol https://github.com/snoyberg/http-client/issues/452
2021-02-06 17:03:55 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 17:04:12 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04) (Ping timeout: 260 seconds)
2021-02-06 17:05:00 +0100 <shapr> Maybe snoyberg maintains a whole bunch of open source repos and it gets tiring?
2021-02-06 17:05:18 +0100 <shapr> I think I have ... three users? for my software and I still don't have time to keep up with feature requests.
2021-02-06 17:05:26 +0100mceier(~mceier@89-68-132-187.dynamic.chello.pl)
2021-02-06 17:05:53 +0100 <shapr> would be nice to have newer http features in the Haskell clients
2021-02-06 17:05:59 +0100 <DigitalKiwi> we need more edwardk
2021-02-06 17:06:09 +0100 <shapr> as always
2021-02-06 17:06:17 +0100 <DigitalKiwi> let's clone him
2021-02-06 17:07:02 +0100 <shapr> I never did nail down the right way to pass along cookies to http-client requests, but I'd like to write some tests that cover cookie expiration and updating.
2021-02-06 17:07:15 +0100 <shapr> Actually, I'd like the http manager to handle that for me
2021-02-06 17:09:00 +0100Jd007(~Jd007@162.156.11.151)
2021-02-06 17:09:06 +0100darjeeling_(~darjeelin@122.245.120.134) (Ping timeout: 265 seconds)
2021-02-06 17:10:24 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-06 17:10:50 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-06 17:12:55 +0100glguy(x@freenode/staff/haskell.developer.glguy) (Quit: Quit)
2021-02-06 17:13:03 +0100glguy(x@freenode/staff/haskell.developer.glguy)
2021-02-06 17:16:14 +0100 <merijn> DigitalKiwi: Good news for you :p
2021-02-06 17:16:28 +0100 <merijn> DigitalKiwi: Even Snoyman now recommends committing cabal files :p
2021-02-06 17:17:41 +0100Tops2(~Tobias@dyndsl-095-033-091-182.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-02-06 17:18:10 +0100 <Athas> I just dumped hpack entirely a year ago. I still think the .cabal format is bad for reasons that boil down to maintainer preferences, but I can live with it now that it has common stanzas.
2021-02-06 17:18:28 +0100amiri(~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection)
2021-02-06 17:18:40 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04)
2021-02-06 17:19:03 +0100 <Uniaika> yeah common stanzas are a godsend
2021-02-06 17:19:32 +0100 <Uniaika> I went back to cabal with 'index-state' and 'with-compiler' in my cabal.project, and it does the job
2021-02-06 17:19:44 +0100 <Uniaika> doesn't support package sets yet but I don't need that for my personal stuff
2021-02-06 17:20:31 +0100metreo(~Thunderbi@unaffiliated/metreo)
2021-02-06 17:20:40 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-02-06 17:20:52 +0100 <Uniaika> cross-posting here: Does anyone here have a head.hackage integration for GitHub Actions?
2021-02-06 17:21:00 +0100amiri(~amiri@cpe-76-91-154-9.socal.res.rr.com)
2021-02-06 17:21:42 +0100 <merijn> Uniaika: Improving the GitHub Actions stuff generated by haskell-CI is on my to do list and I have a bunch of half fixed stuff atm, but eh, don't hold your breath for now :p
2021-02-06 17:22:32 +0100darjeeling_(~darjeelin@122.245.216.78)
2021-02-06 17:22:34 +0100 <Uniaika> merijn: it's okay, since it's for Haddock, we shall get the errors when the GHC test suite is ran
2021-02-06 17:22:42 +0100 <Uniaika> merijn: but great, thanks for letting me know that you're working on it
2021-02-06 17:23:06 +0100 <merijn> Uniaika: I have important higher priority jobs first, like "curl up in fetal position and cry" >.>
2021-02-06 17:23:08 +0100 <Uniaika> merijn: you should ping Taylor Fausak when it's ready, I'd love to see that kind of things in haskellweekly.news
2021-02-06 17:23:15 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 17:23:15 +0100Uniaikapats merijn
2021-02-06 17:23:17 +0100 <Uniaika> there, there
2021-02-06 17:23:34 +0100 <Uniaika> I would have taken that off your shoulders but my head can only support so many hats
2021-02-06 17:23:47 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-06 17:23:59 +0100 <merijn> Uniaika: Also, the continent can only support so many yaks :p
2021-02-06 17:24:24 +0100 <Uniaika> :3
2021-02-06 17:25:07 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-02-06 17:25:15 +0100Jonkimi727406120(~Jonkimi@111.60.233.69)
2021-02-06 17:26:30 +0100metro(~Thunderbi@unaffiliated/metreo)
2021-02-06 17:26:54 +0100metro(~Thunderbi@unaffiliated/metreo) ()
2021-02-06 17:26:56 +0100metreo(~Thunderbi@unaffiliated/metreo) (Ping timeout: 240 seconds)
2021-02-06 17:26:59 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 265 seconds)
2021-02-06 17:27:07 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-02-06 17:27:27 +0100Kipras_(~Kipras@78-56-235-39.static.zebra.lt) (Read error: Connection reset by peer)
2021-02-06 17:27:48 +0100glguy(x@freenode/staff/haskell.developer.glguy) (Quit: Quit)
2021-02-06 17:28:37 +0100glguy(x@freenode/staff/haskell.developer.glguy)
2021-02-06 17:28:40 +0100 <DigitalKiwi> https://mostlyabsurd.com/files/clone-edward
2021-02-06 17:28:52 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-06 17:28:57 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-06 17:31:40 +0100DigitalKiwiwonders if that should do submodules...
2021-02-06 17:32:06 +0100 <merijn> DigitalKiwi: Naah, because submodules are awful!
2021-02-06 17:32:28 +0100 <DigitalKiwi> but then it is not a full clone of edward
2021-02-06 17:33:58 +0100alfianguide(67691c99@103.105.28.153)
2021-02-06 17:34:10 +0100 <alfianguide> Hi there, I'm new to haskell!
2021-02-06 17:34:39 +0100jrp(05501e8f@5.80.30.143)
2021-02-06 17:35:17 +0100 <alfianguide> How to get started with haskell?
2021-02-06 17:35:43 +0100 <dmj`> alfianguide: www.haskell.org
2021-02-06 17:35:51 +0100 <DigitalKiwi> first you learn agda; /s
2021-02-06 17:35:56 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-02-06 17:36:22 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 17:36:26 +0100 <dmj`> alfianguide: https://github.com/bitemyapp/learnhaskell
2021-02-06 17:36:31 +0100 <alfianguide> cool.
2021-02-06 17:36:33 +0100 <DigitalKiwi> (this would result in infinite recursion)
2021-02-06 17:36:41 +0100 <alfianguide> ah really?
2021-02-06 17:37:02 +0100 <DigitalKiwi> http://learnyouanagda.liamoc.net/pages/introduction.html#step-one-learn-haskell
2021-02-06 17:37:06 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-06 17:37:31 +0100 <alfianguide> But? I don't want to learn agda?
2021-02-06 17:37:45 +0100 <DigitalKiwi> thus the /s
2021-02-06 17:37:47 +0100 <merijn> alfianguide: DigitalKiwi was making a joke
2021-02-06 17:37:50 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 17:38:24 +0100 <DigitalKiwi> you don't want to learn agda *yet*
2021-02-06 17:38:39 +0100 <alfianguide> I came from Rescript || Reason thought it's just like making major breaking changes on syntax, I wanna just learn haskell, which I think, stable?
2021-02-06 17:39:01 +0100 <merijn> alfianguide: Graham Hutton's "Programming in Haskell", Richard Bird's "Thinking Functionally with Haskell", and the "Haskell from First Principles" books are decent books for getting started
2021-02-06 17:39:04 +0100 <sm[m]> er.. yes ?
2021-02-06 17:39:12 +0100 <DigitalKiwi> i was about to recommend PiH
2021-02-06 17:39:17 +0100 <sm[m]> We're stabley
2021-02-06 17:39:26 +0100 <DigitalKiwi> and richard bird books are <3
2021-02-06 17:40:14 +0100 <DigitalKiwi> wait do i have the new algorithms one or not D:
2021-02-06 17:40:41 +0100 <alfianguide> DigitalKiwi I found agda is scratch version of haskell
2021-02-06 17:40:52 +0100 <sm[m]> alfianguide: also
2021-02-06 17:40:52 +0100 <sm[m]> @where htac
2021-02-06 17:40:52 +0100 <lambdabot> "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook>
2021-02-06 17:40:58 +0100 <merijn> alfianguide: Agda is an entirely different language :)
2021-02-06 17:41:09 +0100 <alfianguide> but it's use cabal?
2021-02-06 17:41:23 +0100 <merijn> alfianguide: The compiler for it is written in Haskell
2021-02-06 17:41:55 +0100 <alfianguide> ahh I see, compiler is separated with what language truly is.
2021-02-06 17:42:13 +0100 <DigitalKiwi> turns out haskell is good at making compilers other than ghc
2021-02-06 17:42:28 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 276 seconds)
2021-02-06 17:42:34 +0100 <shapr> all the compilers
2021-02-06 17:42:48 +0100 <DigitalKiwi> pandoc is a compiler, pmw
2021-02-06 17:42:54 +0100hackagerattletrap 9.4.0 - Parse and generate Rocket League replays. https://hackage.haskell.org/package/rattletrap-9.4.0 (fozworth)
2021-02-06 17:43:22 +0100 <merijn> alfianguide: Most compilers aren't written in the language they compile (at least, not at first)
2021-02-06 17:43:23 +0100 <DigitalKiwi> hakyll, compiler
2021-02-06 17:43:36 +0100 <merijn> DigitalKiwi: Everything's a compiler if you squint >.>
2021-02-06 17:43:41 +0100 <DigitalKiwi> :D
2021-02-06 17:44:00 +0100 <Uniaika> I mean
2021-02-06 17:44:03 +0100 <Uniaika> kinda-sorta
2021-02-06 17:44:11 +0100 <DigitalKiwi> (i was thinking it)
2021-02-06 17:44:48 +0100 <DigitalKiwi> compilers until you get to turtles
2021-02-06 17:45:47 +0100Solid(~blyat@unaffiliated/solid-) ("WeeChat 3.0")
2021-02-06 17:45:49 +0100 <DigitalKiwi> 1980 - Alan Kay creates Smalltalk and invents the term "object oriented." When asked what that means he replies, "Smalltalk programs are just objects." When asked what objects are made of he replies, "objects." When asked again he says "look, it's all objects all the way down. Until you reach turtles."
2021-02-06 17:46:16 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:b547:11f6:98ac:60d3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 17:46:45 +0100glguy(x@freenode/staff/haskell.developer.glguy) (Quit: Quit)
2021-02-06 17:47:17 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-02-06 17:47:30 +0100glguy(x@freenode/staff/haskell.developer.glguy)
2021-02-06 17:47:37 +0100irchaxwell_(~IRC@2a00:23a8:4382:a900:e5a6:8cfe:15f7:e24a) (Quit: Leaving)
2021-02-06 17:48:51 +0100stampirl(~stampirl@195-154-112-77.rev.poneytelecom.eu)
2021-02-06 17:49:25 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2021-02-06 17:51:11 +0100ixaxaar(~ixaxaar@49.207.210.215)
2021-02-06 17:52:25 +0100hackageghc-lib-parser 8.10.4.20210206 - The GHC API, decoupled from GHC versions https://hackage.haskell.org/package/ghc-lib-parser-8.10.4.20210206 (shayne_fletcher)
2021-02-06 17:53:25 +0100hackageghc-lib 8.10.4.20210206 - The GHC API, decoupled from GHC versions https://hackage.haskell.org/package/ghc-lib-8.10.4.20210206 (shayne_fletcher)
2021-02-06 17:53:42 +0100 <pjb> DigitalKiwi: but a few year later, he also said that it was an error to stress the objects, that smalltalk was actually all about the messages.
2021-02-06 17:54:25 +0100 <DigitalKiwi> so the messaging wasn't clear?
2021-02-06 17:54:45 +0100 <sm[m]> now he tries to stay on message
2021-02-06 17:55:21 +0100 <tomjaguarpaw> Did the community object to his message?
2021-02-06 17:55:42 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 17:56:08 +0100 <DigitalKiwi> they looked at what the language offered and passed :(
2021-02-06 17:56:37 +0100 <ij> I think I've written a broken Ord instance. I want to order `data XY = (Int, Int) Int' by second field for Set.deleteFindMin, but eq by both fields. I cannot Set.delete one of the values. Here's the code: http://sprunge.us/NSW3fk
2021-02-06 17:57:12 +0100alfianguide(67691c99@103.105.28.153) (Quit: Ping timeout (120 seconds))
2021-02-06 17:57:21 +0100jrp(05501e8f@5.80.30.143) (Quit: Ping timeout (120 seconds))
2021-02-06 17:58:17 +0100 <tomjaguarpaw> ij: For one thing, you've written 'ax /= ax'
2021-02-06 17:58:22 +0100alfianguide(67691c99@103.105.28.153)
2021-02-06 17:59:40 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 272 seconds)
2021-02-06 18:00:26 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 18:00:33 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-06 18:00:34 +0100 <ij> well that fixes it, but for the instance with more values in the actual code is still broken :/
2021-02-06 18:01:03 +0100 <tomjaguarpaw> It seems unwise to write on Ord instance that's not a total order. What are you actually trying to do?
2021-02-06 18:01:21 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 18:01:43 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection)
2021-02-06 18:01:55 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-02-06 18:02:02 +0100 <ij> "The Ord class is used for totally ordered datatypes."
2021-02-06 18:02:05 +0100 <ij> whoops
2021-02-06 18:03:15 +0100perdent(~perdent@101.175.174.67)
2021-02-06 18:03:37 +0100alfianguide(67691c99@103.105.28.153) (Quit: Connection closed)
2021-02-06 18:04:43 +0100evanjs-evanjs
2021-02-06 18:04:51 +0100 <ij> take the element with the smallest score out of the Set and solve with that
2021-02-06 18:05:02 +0100 <ij> if I make it a total order, the priority is screwed
2021-02-06 18:05:54 +0100 <ij> https://hackage.haskell.org/package/pomaps-0.2.0.0/docs/Data-POSet.html
2021-02-06 18:06:42 +0100 <DigitalKiwi> unfortunate name
2021-02-06 18:07:23 +0100 <merijn> how so?
2021-02-06 18:07:47 +0100hiroaki(~hiroaki@2a02:908:4b18:8c40::8d4b) (Ping timeout: 265 seconds)
2021-02-06 18:07:47 +0100TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (Quit: Bye)
2021-02-06 18:07:52 +0100 <merijn> poset is pretty standard terminology
2021-02-06 18:07:55 +0100 <DigitalKiwi> i'm sure it stands for Point Of Sale and not the other P of S
2021-02-06 18:08:54 +0100Liskni_si(~liskin@ackle.nomi.cz)
2021-02-06 18:09:05 +0100conal(~conal@185.189.161.154)
2021-02-06 18:11:23 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-06 18:11:58 +0100 <ij> I'd heard "poset" before. "poset" also has a mention in wikipedia's "partially ordered set"
2021-02-06 18:15:45 +0100LKoenElkOwen
2021-02-06 18:16:14 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 264 seconds)
2021-02-06 18:17:30 +0100Franciman(~francesco@host-95-235-155-82.retail.telecomitalia.it) (Quit: Leaving)
2021-02-06 18:18:11 +0100j2t_(~j2t@84.122.202.215.dyn.user.ono.com)
2021-02-06 18:18:17 +0100garFF_(~garff@80.71.142.8)
2021-02-06 18:18:21 +0100frozenEr1bus(~frozenEre@94.128.81.133)
2021-02-06 18:20:34 +0100ukari(~ukari@unaffiliated/ukari) (Ping timeout: 276 seconds)
2021-02-06 18:20:34 +0100Jonkimi727406120(~Jonkimi@111.60.233.69) (Ping timeout: 276 seconds)
2021-02-06 18:20:49 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 276 seconds)
2021-02-06 18:20:49 +0100gentauro(~gentauro@unaffiliated/gentauro) (Ping timeout: 276 seconds)
2021-02-06 18:21:02 +0100gentauro(~gentauro@unaffiliated/gentauro)
2021-02-06 18:21:28 +0100garFF(~garff@80.71.142.8) (Ping timeout: 276 seconds)
2021-02-06 18:21:28 +0100j2t(~j2t@84.122.202.215.dyn.user.ono.com) (Ping timeout: 276 seconds)
2021-02-06 18:22:48 +0100 <maralorn> I think if you have heard a graduate level course from logic or theoretical cs, yep, that's totally standard terminology. (Although standard terminology is something completely different than good terminology.) ^^
2021-02-06 18:24:48 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-02-06 18:24:54 +0100loli(~loli@024-171-017-003.res.spectrum.com) (Quit: WeeChat 3.0)
2021-02-06 18:25:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 18:26:49 +0100loli(~loli@024-171-017-003.res.spectrum.com)
2021-02-06 18:27:03 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-06 18:28:33 +0100TimWolla(~timwolla@chrono.xqk7.com)
2021-02-06 18:29:25 +0100 <j2t_> hi, i have this snippet https://pastebin.com/vJ8rvsf6. Somewhere there must be something inefficient here. Also, line 53 prints the result of the first query almost instantly after running, however, then there are 8 seconds nothing is getting printed and suddenlly the rest of prints execute at the same time. Maybe someone can see something and could point to the right direction.
2021-02-06 18:29:31 +0100Jonkimi727406120(~Jonkimi@111.60.233.69)
2021-02-06 18:29:40 +0100 <Squarism> what is required to omit your function from a view pattern like : case foo of ; (-> MyPattern) -> ...
2021-02-06 18:30:03 +0100 <merijn> Squarism: eh...
2021-02-06 18:30:13 +0100 <merijn> Squarism: View pattern without a function is just a pattern?
2021-02-06 18:30:36 +0100 <merijn> So, just don't have the ->? >.>
2021-02-06 18:31:03 +0100 <Squarism> i might have gotten it wrong, they were just talking about it https://gitlab.haskell.org/ghc/ghc/-/wikis/view-patterns
2021-02-06 18:31:20 +0100 <Squarism> never used them before so just experimenting atm
2021-02-06 18:31:46 +0100 <merijn> gitlab isn't loading for me
2021-02-06 18:32:07 +0100 <merijn> Squarism: Anyway "view pattern with an omitted function" sounds nonsensical to me
2021-02-06 18:32:48 +0100 <Squarism> hehe.. i can see your point. I just need to use them to get a feel what is possible. Ommitting the function name sounded less verbose to me
2021-02-06 18:32:51 +0100 <merijn> The entire point of view patterns is "apply a function before pattern matching" if you leave out the function you just have "pattern matching"
2021-02-06 18:33:45 +0100hexagenic(~mattias@2001:2002:51e0:74c9:5098:c4b6:1b73:7815) (Ping timeout: 272 seconds)
2021-02-06 18:34:19 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-02-06 18:35:15 +0100 <Squarism> To me it sounds like the function is called you just leave out its name
2021-02-06 18:35:39 +0100mirrorbird(~psutcliff@2a00:801:2d5:848b:590:cf4f:5eeb:b49d) (Ping timeout: 272 seconds)
2021-02-06 18:38:25 +0100hackagePyF 0.9.0.3 - Quasiquotations for a python like interpolated string formater https://hackage.haskell.org/package/PyF-0.9.0.3 (guibou)
2021-02-06 18:38:52 +0100wowi42(~wowi42@51.15.249.183) (Quit: Kowa Bunga!!!)
2021-02-06 18:39:10 +0100 <j2t_> sorry, i think i got it, haskell's [] are list, not vectors, so accessing elements with !! is O(n), right?
2021-02-06 18:39:20 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-02-06 18:39:31 +0100 <hololeap> thanks tomsmeding, i had a feeling i was giving megaparsec too much responsibility :)
2021-02-06 18:39:55 +0100 <merijn> j2t_: Correct
2021-02-06 18:40:09 +0100 <j2t_> and (!) from DAta
2021-02-06 18:40:15 +0100 <merijn> j2t_: If you want random access and, well, vectors you want
2021-02-06 18:40:17 +0100 <merijn> @hackage vector
2021-02-06 18:40:17 +0100 <lambdabot> https://hackage.haskell.org/package/vector
2021-02-06 18:40:22 +0100 <j2t_> .Vector is O(1), right?
2021-02-06 18:40:27 +0100hexagenic(~mattias@2001:2002:51e0:74c9:5098:c4b6:1b73:7815)
2021-02-06 18:40:45 +0100 <j2t_> sorry, have hit enter in the middle of sentence :)
2021-02-06 18:40:55 +0100 <j2t_> thank you merijn!
2021-02-06 18:41:20 +0100 <tomsmeding> hololeap: cheers :)
2021-02-06 18:41:29 +0100 <merijn> j2t_: Vector is as O(1) as C's arrays and C++'s std::vector (the actual O(1)-ness is debatable :p)
2021-02-06 18:42:07 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de)
2021-02-06 18:43:50 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-02-06 18:43:59 +0100 <Liskni_si> gwern: if the "xmonad people" decided to move their part of the wiki to github wiki, would you be against that? I feel like we may possibly get more contributions that way, although I'm not entirely sure
2021-02-06 18:45:31 +0100Jonkimi727406120(~Jonkimi@111.60.233.69) (Ping timeout: 256 seconds)
2021-02-06 18:45:37 +0100Bergle_2(~Bergle_4@101.165.90.119) (Remote host closed the connection)
2021-02-06 18:47:24 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-06 18:47:43 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-06 18:47:46 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 18:48:10 +0100Bergle_2(~Bergle_4@101.165.90.119)
2021-02-06 18:48:25 +0100conal(~conal@185.189.161.154) (Ping timeout: 272 seconds)
2021-02-06 18:53:04 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 240 seconds)
2021-02-06 18:53:40 +0100conal(~conal@185.189.161.154)
2021-02-06 18:54:43 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-02-06 18:57:18 +0100rajivr(uid269651@gateway/web/irccloud.com/x-nuivuijufgkwhojx) (Quit: Connection closed for inactivity)
2021-02-06 18:58:52 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-06 18:59:50 +0100j2t_(~j2t@84.122.202.215.dyn.user.ono.com) (Ping timeout: 272 seconds)
2021-02-06 19:01:25 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-02-06 19:02:01 +0100 <Liskni_si> gwern: (should have said "to e.g. github wiki", as there are other options, like the reddit wiki, which is also somewhat likely to be active, as /r/xmonad is still very much alive)
2021-02-06 19:02:03 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2021-02-06 19:02:21 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 19:02:50 +0100Jd007(~Jd007@162.156.11.151)
2021-02-06 19:03:07 +0100david__(~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection)
2021-02-06 19:04:08 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-02-06 19:05:51 +0100Jd007(~Jd007@162.156.11.151) (Client Quit)
2021-02-06 19:06:12 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net)
2021-02-06 19:06:33 +0100 <gwern> 'Paul Krugman has a new Substack'
2021-02-06 19:06:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 19:08:23 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-02-06 19:08:59 +0100 <aldum> oh bog
2021-02-06 19:09:53 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 19:11:24 +0100jrp(05501e8f@5.80.30.143)
2021-02-06 19:11:46 +0100 <aldum> I guess NYT is not cool anymore?
2021-02-06 19:11:49 +0100aveltras(uid364989@gateway/web/irccloud.com/x-uciaeklfznlzzgxk)
2021-02-06 19:12:48 +0100 <jrp> The Conor McBride paper Clowns to the left of me, jokers to the right (pearl): dissecting data structures says in its abstract that  "The source code for the paper is available online and compiles with recent extensions to the Glasgow Haskell Compiler."  Has anyone got a link to that, please?
2021-02-06 19:14:30 +0100revprez_stg(~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net)
2021-02-06 19:18:02 +0100juuandyy(~juuandyy@90.106.228.121)
2021-02-06 19:19:34 +0100frozenEr1bus(~frozenEre@94.128.81.133) (Ping timeout: 256 seconds)
2021-02-06 19:21:18 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 246 seconds)
2021-02-06 19:21:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-02-06 19:21:48 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-02-06 19:21:52 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-02-06 19:22:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 19:23:36 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 19:23:40 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-02-06 19:24:31 +0100Murasca(~Murasca@bcde0474.skybroadband.com) (Ping timeout: 272 seconds)
2021-02-06 19:26:11 +0100conal(~conal@185.189.161.154) (Quit: Computer has gone to sleep.)
2021-02-06 19:27:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-06 19:28:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 19:28:14 +0100 <hololeap> working with ByteStrings in megaparsec is a bit cumbersome. what alternatives do i have to writing `char . fromIntegral . ord` whenever i want to match an ASCII character?
2021-02-06 19:28:41 +0100 <hololeap> (or writing the character in hex... 0x30)
2021-02-06 19:29:47 +0100Quarl(~Quarl@h-155-4-128-37.NA.cust.bahnhof.se) (Quit: Leaving)
2021-02-06 19:30:03 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 19:30:23 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection)
2021-02-06 19:30:34 +0100 <glguy> You could define the once and then use the thing you defined
2021-02-06 19:30:40 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 19:31:01 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2021-02-06 19:31:07 +0100geekosaur(ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed)
2021-02-06 19:32:00 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection)
2021-02-06 19:32:36 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 19:32:56 +0100 <hololeap> define the same helper function in every project? that makes me feel like i'm approaching something in the wrong way
2021-02-06 19:33:00 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 19:33:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-06 19:33:27 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection)
2021-02-06 19:33:43 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 19:33:45 +0100 <hololeap> should i be converting to/from Text if it's supposed to be text from a pipe or stdin?
2021-02-06 19:33:46 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-02-06 19:34:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 19:34:45 +0100 <cgadski> I'm trying to remember the name of a definition, but I can only remember the definition itself! I wonder if anybody has seen this
2021-02-06 19:35:20 +0100poscat(~poscat@123.116.95.228) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-06 19:35:39 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 19:35:39 +0100 <cgadski> definition: when X is a set, a ??? on X is a collection U of subsets of X so that whenever A and B are elements of X and A is a subset of B, A equals B
2021-02-06 19:35:49 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection)
2021-02-06 19:35:58 +0100 <cgadski> in other words, U has no non-trivial chains
2021-02-06 19:35:59 +0100poscat(~poscat@123.116.95.228)
2021-02-06 19:36:17 +0100 <cgadski> this is, allegedly, some sort of "generalized graph-like structure"
2021-02-06 19:36:25 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-06 19:36:40 +0100 <cgadski> oops: s/A and B are elements of X/A and B are elements of U
2021-02-06 19:36:49 +0100 <hololeap> almost sounds like a topology, but i'm not a math person
2021-02-06 19:37:01 +0100ElkOwen(~LKoen@252.248.88.92.rev.sfr.net) (Remote host closed the connection)
2021-02-06 19:37:01 +0100kw(d4662d5d@212.102.45.93)
2021-02-06 19:37:37 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-06 19:38:21 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 19:38:23 +0100 <kw> I'm getting a parse error on `import Codec.Binary.UTF8.Generic` right on the period before "UTF8". What stupid mistake am I making?
2021-02-06 19:39:05 +0100 <koz_> maerwald: Is ghcup gonna have 8.10.4 available?
2021-02-06 19:39:29 +0100 <hololeap> cgadski: or a poset? something about your definition seems off
2021-02-06 19:39:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-06 19:39:37 +0100ph88^(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-02-06 19:39:37 +0100Bergle_2(~Bergle_4@101.165.90.119) (Remote host closed the connection)
2021-02-06 19:39:47 +0100 <cgadski> I meant to ask this in ##math, sorry!
2021-02-06 19:39:52 +0100ph88^(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de)
2021-02-06 19:39:58 +0100Bergle_2(~Bergle_4@101.165.90.119)
2021-02-06 19:39:59 +0100 <cgadski> hololeap: yes, it's not a standard definition
2021-02-06 19:40:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 19:40:14 +0100 <hololeap> how could A be a subset of B if they are both elements of X?
2021-02-06 19:40:45 +0100 <cgadski> A and B are elements of U. I made a typo there
2021-02-06 19:41:04 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 265 seconds)
2021-02-06 19:43:36 +0100 <hololeap> cgadski: what was the answer?
2021-02-06 19:43:47 +0100 <cgadski> an antichain
2021-02-06 19:43:57 +0100 <hololeap> oh, ok. haven't heard of that one
2021-02-06 19:47:25 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-06 19:47:45 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-06 19:47:53 +0100Anandamide(49a90352@c-73-169-3-82.hsd1.co.comcast.net)
2021-02-06 19:48:09 +0100Guest_80(b0bac553@176.186.197.83)
2021-02-06 19:48:22 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-02-06 19:48:23 +0100Guest_80(b0bac553@176.186.197.83) (Client Quit)
2021-02-06 19:49:27 +0100ElkOwen(~LKoen@252.248.88.92.rev.sfr.net)
2021-02-06 19:50:27 +0100conal(~conal@66.115.157.37)
2021-02-06 19:52:24 +0100 <kw> Oh, somehow CPP was choking on it.
2021-02-06 19:52:36 +0100 <kw> Fun.
2021-02-06 19:52:42 +0100kw(d4662d5d@212.102.45.93) (Quit: Connection closed)
2021-02-06 19:53:10 +0100usr25(~J@43.red-83-41-28.dynamicip.rima-tde.net)
2021-02-06 19:53:26 +0100RusAlex(~Chel@unaffiliated/rusalex) (Ping timeout: 265 seconds)
2021-02-06 19:53:37 +0100 <merijn> That's because the universe frowns upon CPP :p
2021-02-06 19:54:19 +0100mirrorbird(~psutcliff@2a00:801:2d5:848b:590:cf4f:5eeb:b49d)
2021-02-06 19:57:07 +0100saitamaplus(uid272474@gateway/web/irccloud.com/x-vvqrfgmnjtrulshp) (Quit: Connection closed for inactivity)
2021-02-06 19:58:19 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 276 seconds)
2021-02-06 19:58:27 +0100ryantrinkle(~ryan@cpe-24-168-87-184.si.res.rr.com) (Remote host closed the connection)
2021-02-06 20:00:25 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-06 20:00:41 +0100hyperisco(~hyperisco@104-195-141-253.cpe.teksavvy.com)
2021-02-06 20:03:09 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2021-02-06 20:03:30 +0100berberman_(~berberman@unaffiliated/berberman)
2021-02-06 20:04:24 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds)
2021-02-06 20:04:27 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2021-02-06 20:05:10 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-06 20:05:14 +0100neiluj_(~jco@91-167-203-101.subs.proxad.net)
2021-02-06 20:06:22 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection)
2021-02-06 20:06:58 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-06 20:07:27 +0100Jonkimi727406120(~Jonkimi@111.60.233.69)
2021-02-06 20:08:21 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-06 20:09:40 +0100neiluj_(~jco@91-167-203-101.subs.proxad.net) (Client Quit)
2021-02-06 20:09:50 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 20:10:03 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-06 20:10:12 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Remote host closed the connection)
2021-02-06 20:10:51 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-06 20:12:13 +0100Jonkimi727406120(~Jonkimi@111.60.233.69) (Ping timeout: 256 seconds)
2021-02-06 20:15:04 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 240 seconds)
2021-02-06 20:15:42 +0100quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2021-02-06 20:16:05 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-02-06 20:18:31 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-06 20:19:29 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-06 20:19:34 +0100mp___(mp@hell.cx)
2021-02-06 20:20:22 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-06 20:25:28 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-06 20:25:32 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds)
2021-02-06 20:25:49 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-06 20:25:57 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-tannjxvhvijjixbp)
2021-02-06 20:26:32 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04) (Remote host closed the connection)
2021-02-06 20:27:08 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:b547:11f6:98ac:60d3)
2021-02-06 20:31:02 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-06 20:31:05 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Quit: I should configure a BNC or use tmux but I'm lazy.)
2021-02-06 20:34:00 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-02-06 20:34:23 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-02-06 20:37:17 +0100Wuzzy(~Wuzzy@p57a2e44e.dip0.t-ipconnect.de)
2021-02-06 20:37:23 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-02-06 20:43:26 +0100usr25(~J@43.red-83-41-28.dynamicip.rima-tde.net) (Ping timeout: 256 seconds)
2021-02-06 20:45:53 +0100acidjnk_new(~acidjnk@p200300d0c722c402a0692c439c517619.dip0.t-ipconnect.de)
2021-02-06 20:47:04 +0100nhs(~nhs@c-24-21-240-83.hsd1.or.comcast.net)
2021-02-06 20:47:26 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 20:47:28 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-06 20:48:50 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0)
2021-02-06 20:49:10 +0100Kaivo(~Kaivo@104-200-86-99.mc.derytele.com) (Quit: WeeChat 3.0)
2021-02-06 20:49:51 +0100frankdmartinez(~frankdmar@138.199.52.84)
2021-02-06 20:49:53 +0100 <frankdmartinez> 36
2021-02-06 20:50:24 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-02-06 20:50:30 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:b547:11f6:98ac:60d3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 20:50:45 +0100monochrom(trebla@216.138.220.146) (Remote host closed the connection)
2021-02-06 20:51:58 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 20:51:59 +0100locrian9(~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net)
2021-02-06 20:52:44 +0100 <frankdmartinez> The tunes.org website (host site for the IRC logs) is down; can anyone point me in the direction of to whom would I report the outage in case they don’t know yet?
2021-02-06 20:52:55 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-02-06 20:53:46 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection)
2021-02-06 20:54:04 +0100 <ski> frankdmartinez : in the meantime, you can try
2021-02-06 20:54:08 +0100 <ski> @where ircbrowse
2021-02-06 20:54:08 +0100 <lambdabot> https://ircbrowse.tomsmeding.com
2021-02-06 20:54:25 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 20:54:49 +0100 <ski> sm[m] : heh, i mentioned HTAC two or three times, recently
2021-02-06 20:55:39 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Quit: I should configure a BNC or use tmux but I'm lazy.)
2021-02-06 20:59:17 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 260 seconds)
2021-02-06 21:01:17 +0100 <sm[m]> ski: high five ! For years I'm the only one pushing it
2021-02-06 21:01:54 +0100 <sm[m]> It's really hard to break into the Haskell recommended book list :)
2021-02-06 21:02:57 +0100monochrom(trebla@216.138.220.146)
2021-02-06 21:04:23 +0100jollygood2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-02-06 21:04:32 +0100usr25(~J@43.red-83-41-28.dynamicip.rima-tde.net)
2021-02-06 21:06:23 +0100mirrorbird(~psutcliff@2a00:801:2d5:848b:590:cf4f:5eeb:b49d) (Ping timeout: 272 seconds)
2021-02-06 21:07:11 +0100seemtav3(~seemtav3@bcde0474.skybroadband.com)
2021-02-06 21:08:10 +0100tb15(~textual@253.17.75.194.dyn.plus.net)
2021-02-06 21:08:51 +0100 <frankdmartinez> ski: Awesome, thanks!
2021-02-06 21:11:57 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-06 21:12:57 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-02-06 21:13:45 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 240 seconds)
2021-02-06 21:14:25 +0100ixaxaar(~ixaxaar@49.207.210.215) (Ping timeout: 240 seconds)
2021-02-06 21:15:03 +0100 <ski> sm[m] : there was someone in #haskell-beginners, the other day, who sounded like the approach in the book would suit them. but not having read it, i couldn't really tell for sure, or recommend it especially
2021-02-06 21:15:15 +0100 <ski> (i did mention it, though)
2021-02-06 21:15:20 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 21:17:13 +0100 <sm[m]> I have only skimmed it but I think it's very well written and fills a hole
2021-02-06 21:19:01 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-02-06 21:19:44 +0100 <ski> the page said it contains a short tutorial to Haskell in the first or first two chapters. so i was wondering whether it was intended to be used in conjunction with something else, or meant to possibly be used stand-alone
2021-02-06 21:21:21 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-06 21:21:59 +0100 <sm[m]> HTAC ? It's a standalone short book
2021-02-06 21:22:10 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 276 seconds)
2021-02-06 21:22:42 +0100juuandyy(~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-02-06 21:22:56 +0100 <sm[m]> Fast paced, hands on, and reasonably up to date
2021-02-06 21:23:18 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-06 21:25:14 +0100skinods
2021-02-06 21:25:42 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-02-06 21:26:07 +0100dibblego(~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer)
2021-02-06 21:26:30 +0100RusAlex(~Chel@unaffiliated/rusalex)
2021-02-06 21:26:55 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04)
2021-02-06 21:27:17 +0100TimWolla(~timwolla@chrono.xqk7.com) (Quit: Bye)
2021-02-06 21:27:51 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04) (Remote host closed the connection)
2021-02-06 21:27:52 +0100 <monochrom> If I write an article (web page) on understanding (or misunderstanding) monads, is it too naughty to give it the title "monad comprehension"? :)
2021-02-06 21:28:00 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04)
2021-02-06 21:28:30 +0100 <monochrom> Actually it is more about misunderstandings and/or lack of understanding, so maybe "monad miscomprehension" or something.
2021-02-06 21:29:42 +0100TimWolla(~timwolla@chrono.xqk7.com)
2021-02-06 21:29:57 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 21:31:07 +0100 <monochrom> It is also full of quiz questions, so how about "the IO test" which is like "the IQ test" but s/Q/O/
2021-02-06 21:31:47 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-06 21:32:47 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net)
2021-02-06 21:32:56 +0100 <ephemient> is mprehension the dual of comprehension
2021-02-06 21:33:19 +0100pera(~pera@unaffiliated/pera)
2021-02-06 21:33:36 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
2021-02-06 21:33:38 +0100 <minoru_shiraeesh> I think you gotta explain the joke about IO test in parentheses.
2021-02-06 21:33:40 +0100 <monochrom> heh
2021-02-06 21:33:42 +0100ericsagn1(~ericsagne@2405:6580:0:5100:6d02:546e:c760:4274) (Ping timeout: 260 seconds)
2021-02-06 21:33:48 +0100RusAlex(~Chel@unaffiliated/rusalex) (Read error: Connection reset by peer)
2021-02-06 21:33:55 +0100 <monochrom> Yeah I think "the IO test" doesn't work.
2021-02-06 21:34:09 +0100 <minoru_shiraeesh> like, (IO like IQ but IO, you see?)
2021-02-06 21:34:21 +0100 <sm[m]> monochromadic
2021-02-06 21:35:00 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-02-06 21:35:38 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 258 seconds)
2021-02-06 21:36:52 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:65b8:f8f6:1ab5:f657)
2021-02-06 21:40:50 +0100ski. o O ( incomphrehension )
2021-02-06 21:45:53 +0100ericsagn1(~ericsagne@2405:6580:0:5100:8be8:9a09:6ec5:6271)
2021-02-06 21:46:00 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 21:46:26 +0100mirrorbird(~psutcliff@2a00:801:2d5:848b:590:cf4f:5eeb:b49d)
2021-02-06 21:46:26 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 21:46:39 +0100dibblego(~dibblego@122-199-1-30.ip4.superloop.com)
2021-02-06 21:46:39 +0100dibblego(~dibblego@122-199-1-30.ip4.superloop.com) (Changing host)
2021-02-06 21:46:39 +0100dibblego(~dibblego@haskell/developer/dibblego)
2021-02-06 21:48:44 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-06 21:52:09 +0100jonathanx_(~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 264 seconds)
2021-02-06 21:52:14 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection)
2021-02-06 21:54:13 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-02-06 21:56:34 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection)
2021-02-06 21:57:26 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 22:00:20 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-06 22:00:52 +0100Guest34(~textual@dyn1157-115.insecure.ic.ac.uk)
2021-02-06 22:00:58 +0100Guest34(~textual@dyn1157-115.insecure.ic.ac.uk) (Client Quit)
2021-02-06 22:02:13 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-06 22:04:34 +0100hiroaki(~hiroaki@2a02:908:4b18:8c40::8d4b)
2021-02-06 22:05:28 +0100RusAlex(~Chel@unaffiliated/rusalex)
2021-02-06 22:06:14 +0100_ht(~quassel@82.169.194.8) (Remote host closed the connection)
2021-02-06 22:11:12 +0100 <shapr> Probably a silly question, but what order are the Word8 values in a bytestring? Should I shift left or shift right if I want an Integer value from a cryptonite hash result?
2021-02-06 22:11:34 +0100 <shapr> I think I get the most significant bytes first, so I should shift left?
2021-02-06 22:13:19 +0100 <shapr> I'm revisiting code I wrote five years ago for http://codekata.com/kata/kata05-bloom-filters/
2021-02-06 22:14:48 +0100 <nshepperd> -XMonadApprehensions
2021-02-06 22:14:58 +0100shapris suspicious
2021-02-06 22:15:10 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 22:15:33 +0100 <shapr> nshepperd: the next day, I realize I don't understand the custom join lattice thing you said
2021-02-06 22:16:42 +0100 <shapr> oh maybe I do
2021-02-06 22:16:47 +0100 <nshepperd> i think hash digests are traditionally considered to be most significant bit first when interpreted as numbers
2021-02-06 22:17:57 +0100 <hololeap> would Data.Binary.decode work?
2021-02-06 22:18:19 +0100 <nshepperd> not like it makes any difference though, since there shouldn't be any statistically observable differences between each byte order
2021-02-06 22:18:21 +0100carlomagno1(~cararell@148.87.23.12)
2021-02-06 22:18:39 +0100 <shapr> nshepperd: yeah, that's a good point
2021-02-06 22:18:47 +0100 <shapr> hololeap: huh, that might be easier
2021-02-06 22:19:20 +0100carlomagno(~cararell@148.87.23.12) (Ping timeout: 272 seconds)
2021-02-06 22:19:26 +0100 <hololeap> i literally meant that as a question. i don't know if there is some standard of endianness between binary and cyrptonite
2021-02-06 22:20:12 +0100 <shapr> right now my code is super cheesy https://github.com/shapr/bloohm/blob/main/src/Bloohm.hs#L38
2021-02-06 22:20:17 +0100 <shapr> but hey, I get an Integer !
2021-02-06 22:20:25 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-02-06 22:21:05 +0100 <shapr> next I do a quick survey of bitvector libraries, since I'll need to map this onto the 32 RGB LEDs on this board.
2021-02-06 22:21:12 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 246 seconds)
2021-02-06 22:21:41 +0100 <ephemient> message digests are typically emitted low-order byte first, afaik
2021-02-06 22:22:06 +0100 <shapr> didn't know that
2021-02-06 22:22:14 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Remote host closed the connection)
2021-02-06 22:22:15 +0100 <hololeap> shapr after reading a bit about the problem, i would think that Data.Hashable would be more suitable
2021-02-06 22:22:36 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2021-02-06 22:22:38 +0100 <monochrom> hololeap: Data.Binary.decode for Integer uses a very specific format that random bytestrings are unlikely to conform in the first place.
2021-02-06 22:22:55 +0100 <monochrom> Generally, Data.Binary.decode for most standard types.
2021-02-06 22:23:21 +0100 <shapr> hololeap: Hashable looks like a much better approach, thanks!
2021-02-06 22:24:37 +0100fendor_(~fendor@91.141.3.239.wireless.dyn.drei.com)
2021-02-06 22:26:30 +0100 <shapr> Does anyone have a recommended bit vector library? I was previously using bv, but it hasn't been updated in a while.
2021-02-06 22:26:48 +0100fendor(~fendor@178.165.131.204.wireless.dyn.drei.com) (Ping timeout: 246 seconds)
2021-02-06 22:28:04 +0100hexfive(~hexfive@50.35.83.177)
2021-02-06 22:30:17 +0100 <shapr> Hm, I can just use Data.Bits on an Int32 ?
2021-02-06 22:30:20 +0100shaprtries
2021-02-06 22:31:10 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-06 22:32:22 +0100acidjnk_new(~acidjnk@p200300d0c722c402a0692c439c517619.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2021-02-06 22:32:25 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-02-06 22:33:19 +0100pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-39-70-27-244-102.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-06 22:35:27 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-02-06 22:35:51 +0100Lorra(~lorenzo@2001:a61:ba6:4501:7c80:c7be:1bd4:2629) (Quit: Konversation terminated!)
2021-02-06 22:37:14 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-02-06 22:39:49 +0100 <koz_> shapr: You can do that. However, I think http://hackage.haskell.org/package/bitvec is what you want.
2021-02-06 22:40:40 +0100sMuNiX(~sMuNiX@vlnsm8-montreal02-142-122-8-233.internet.virginmobile.ca)
2021-02-06 22:41:47 +0100 <shapr> koz_: thanks!
2021-02-06 22:42:38 +0100 <shapr> I've been pairing on this today with a Python coder. They were really impressed with the help I get from haskell-language-server.
2021-02-06 22:43:07 +0100 <hololeap> shapr: you also might be interested in the BinaryLiterals extension
2021-02-06 22:43:10 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-02-06 22:43:32 +0100shaprasks the internet about BinaryLiterals
2021-02-06 22:43:34 +0100salumu(~sMuNiX@vlnsm8-montreal02-142-122-8-233.internet.virginmobile.ca) (Ping timeout: 256 seconds)
2021-02-06 22:43:55 +0100pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-39-70-27-244-102.dsl.bell.ca)
2021-02-06 22:43:56 +0100 <shapr> neato!
2021-02-06 22:43:58 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-06 22:44:05 +0100 <hololeap> % :set -XBinaryLiterals
2021-02-06 22:44:06 +0100 <yahb> hololeap:
2021-02-06 22:44:12 +0100 <hololeap> % 0b00110011
2021-02-06 22:44:13 +0100 <yahb> hololeap: 51
2021-02-06 22:45:38 +0100carlomagno1(~cararell@148.87.23.12) (Remote host closed the connection)
2021-02-06 22:45:50 +0100 <monochrom> BinaryLiterals and Area 51...
2021-02-06 22:47:10 +0100carlomagno(~cararell@148.87.23.12)
2021-02-06 22:48:02 +0100 <hololeap> maybe 00110011 is the code to open their hangar bay
2021-02-06 22:48:13 +0100garFF_(~garff@80.71.142.8) (Quit: Leaving)
2021-02-06 22:48:36 +0100nhs(~nhs@c-24-21-240-83.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 22:48:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-06 22:49:10 +0100garFF(~garff@80.71.142.8)
2021-02-06 22:51:46 +0100 <pjb> (format nil "~B ~B" 51 42) #| --> "110011 101010" |#
2021-02-06 22:55:29 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:65b8:f8f6:1ab5:f657) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-06 22:55:35 +0100hexagenic(~mattias@2001:2002:51e0:74c9:5098:c4b6:1b73:7815) (Quit: WeeChat 1.9.1)
2021-02-06 22:55:41 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection)
2021-02-06 22:58:52 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 23:01:21 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:65b8:f8f6:1ab5:f657)
2021-02-06 23:03:45 +0100denisse_(~spaceCat@gateway/tor-sasl/alephzer0)
2021-02-06 23:03:45 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 268 seconds)
2021-02-06 23:03:52 +0100garFF(~garff@80.71.142.8) (Ping timeout: 265 seconds)
2021-02-06 23:07:19 +0100slack1256(~slack1256@45.4.2.52)
2021-02-06 23:07:55 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-02-06 23:09:31 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 23:12:11 +0100alx741(~alx741@186.178.110.176) (Quit: alx741)
2021-02-06 23:12:25 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2021-02-06 23:14:40 +0100fendor_fendor
2021-02-06 23:15:14 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-02-06 23:15:31 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-02-06 23:15:36 +0100ADG1089__(~aditya@223.235.245.154)
2021-02-06 23:16:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-06 23:16:58 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-06 23:18:53 +0100ADG1089__(~aditya@223.235.245.154) (Remote host closed the connection)
2021-02-06 23:19:37 +0100dibblego(~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer)
2021-02-06 23:20:52 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-02-06 23:21:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-06 23:22:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-06 23:22:14 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 264 seconds)
2021-02-06 23:22:50 +0100 <ezrakilty> Does anyone know what's the state of the art for CI testing with GHC 9.0.1?
2021-02-06 23:23:12 +0100 <ezrakilty> I've been using hvr's repository of ghc packages here, https://launchpad.net/~hvr/+archive/ubuntu/ghc/+index?batch=75 but it hasn't been updated with 9.0.1 yet.
2021-02-06 23:27:45 +0100DataComputist(~lumeng@50.43.26.251) (Ping timeout: 240 seconds)
2021-02-06 23:28:28 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 23:28:55 +0100 <sm[m]> FOSDEM schedule tomorrow: https://fosdem.org/2021/schedule/day/sunday/
2021-02-06 23:29:40 +0100DataComputist(~lumeng@50.43.26.251)
2021-02-06 23:30:42 +0100raichoo(~raichoo@94.31.87.253) (Quit: Lost terminal)
2021-02-06 23:30:53 +0100srk(~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds)
2021-02-06 23:30:53 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds)
2021-02-06 23:31:55 +0100srk(~sorki@gateway/tor-sasl/sorki)
2021-02-06 23:31:58 +0100hexo(~hexo@gateway/tor-sasl/hexo)
2021-02-06 23:32:27 +0100mikolaj(~mikon@duch.mimuw.edu.pl)
2021-02-06 23:32:50 +0100conal(~conal@66.115.157.37) (Quit: Computer has gone to sleep.)
2021-02-06 23:33:33 +0100mikolajMan
2021-02-06 23:35:11 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-06 23:36:26 +0100 <sm[m]> aha, something haskell related. https://fosdem.org/2021/schedule/event/ttddatascience/
2021-02-06 23:37:40 +0100guest7682358928(2de85cb9@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.185)
2021-02-06 23:38:13 +0100 <MrMuffles[m]> Hey sorry for the 101 philosophy - how do we know that the primitive recursive functions represent all non-halting functions?
2021-02-06 23:38:34 +0100 <koz_> Nope.
2021-02-06 23:38:46 +0100 <koz_> The Ackermann function is definitely halting, but not PR.
2021-02-06 23:39:33 +0100Adeonajkshdksajhd
2021-02-06 23:39:46 +0100ajkshdksajhdAdeon
2021-02-06 23:40:18 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Remote host closed the connection)
2021-02-06 23:40:25 +0100conal(~conal@66.115.157.109)
2021-02-06 23:40:30 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-02-06 23:40:35 +0100 <sm[m]> and here's the video-with-chat link for it: https://chat.fosdem.org/#/room/#docs:fosdem.org . Holy mackerel, video embedded in matrix
2021-02-06 23:40:37 +0100pavonia(~user@unaffiliated/siracusa)
2021-02-06 23:40:39 +0100ManManofLetters
2021-02-06 23:40:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-06 23:41:03 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Client Quit)
2021-02-06 23:42:08 +0100 <slack1256> koz_: Do you have at hand a quick argument on why is the ackermann function a halting function?
2021-02-06 23:42:10 +0100d34df00d(~d34df00d@104-14-27-213.lightspeed.austtx.sbcglobal.net) (Read error: Connection reset by peer)
2021-02-06 23:42:29 +0100ADG1089__(~aditya@223.235.245.154)
2021-02-06 23:42:34 +0100 <koz_> slack1256: You could do it by induction I guess, but I'm lazy.
2021-02-06 23:43:06 +0100 <koz_> Have a look here: https://en.wikipedia.org/wiki/Ackermann_function#Definition_and_properties
2021-02-06 23:43:23 +0100 <koz_> There's a paragraph draling with its termination which could be seen as a quick argument on its haltingness.
2021-02-06 23:43:28 +0100 <koz_> s/draling/dealing/
2021-02-06 23:43:37 +0100 <slack1256> got it, thanks koz_
2021-02-06 23:45:15 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-06 23:46:08 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-06 23:46:39 +0100 <koz_> slack1256: No problem.
2021-02-06 23:47:05 +0100Chobbes(~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Ping timeout: 265 seconds)
2021-02-06 23:47:24 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-06 23:47:24 +0100chirpsalot(~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net) (Ping timeout: 240 seconds)
2021-02-06 23:47:43 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-06 23:48:02 +0100Chobbes(~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net)
2021-02-06 23:48:38 +0100chirpsalot(~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net)
2021-02-06 23:49:07 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-06 23:50:04 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection)
2021-02-06 23:50:16 +0100frankdmartinez(~frankdmar@138.199.52.84) (Quit: frankdmartinez)
2021-02-06 23:51:14 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-02-06 23:51:38 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e)
2021-02-06 23:52:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-06 23:53:28 +0100 <koz_> Also MrMuffles[m] - I misread. Being PR means being halting. https://en.wikipedia.org/wiki/Primitive_recursive_function
2021-02-06 23:56:05 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-02-06 23:56:25 +0100Tario(~Tario@201.192.165.173)
2021-02-06 23:56:26 +0100nineonine(~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 264 seconds)
2021-02-06 23:56:52 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net)
2021-02-06 23:57:45 +0100hyperisco(~hyperisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 256 seconds)
2021-02-06 23:59:05 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection)
2021-02-06 23:59:18 +0100ADG1089__(~aditya@223.235.245.154) (Remote host closed the connection)
2021-02-06 23:59:33 +0100aveltras(uid364989@gateway/web/irccloud.com/x-uciaeklfznlzzgxk) (Quit: Connection closed for inactivity)
2021-02-06 23:59:48 +0100frankdmartinez(~frankdmar@138.199.52.84)