| 2021-06-03 00:01:28 +0000 | <boxscape> | hm I guess considering mtl doesn't have a class for it it's probably not widely used |
| 2021-06-03 00:02:20 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2021-06-03 00:03:32 +0000 | lbseale | (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-06-03 00:04:15 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-03 00:05:15 +0000 | <davean> | boxscape: it has a pull request I think for it, see the history |
| 2021-06-03 00:08:50 +0000 | <boxscape> | davean ah, nice |
| 2021-06-03 00:10:35 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-03 00:11:06 +0000 | ddellacosta | (~ddellacos@86.106.121.24) |
| 2021-06-03 00:14:29 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-03 00:15:37 +0000 | ddellacosta | (~ddellacos@86.106.121.24) (Ping timeout: 268 seconds) |
| 2021-06-03 00:16:12 +0000 | <hololeap> | I like it. it saves the trouble of having to do `flip runState mempty` and `modify (<> nextThing)` when your state happens to be a monoid |
| 2021-06-03 00:16:33 +0000 | <boxscape> | that does make sense |
| 2021-06-03 00:17:10 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2021-06-03 00:19:24 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-03 00:20:49 +0000 | boioioing | (~boioioing@cpe-76-84-141-127.neb.res.rr.com) (Remote host closed the connection) |
| 2021-06-03 00:21:18 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-06-03 00:21:52 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2021-06-03 00:23:42 +0000 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2021-06-03 00:25:16 +0000 | zeenk | (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 2021-06-03 00:25:40 +0000 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-03 00:26:52 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-06-03 00:29:20 +0000 | jaevanko | (~jaevanko@2600:1700:1330:2bef:cce3:20c1:e54b:a98e) |
| 2021-06-03 00:30:21 +0000 | ddellacosta | (~ddellacos@89.46.62.79) |
| 2021-06-03 00:30:24 +0000 | jaevanko | (~jaevanko@2600:1700:1330:2bef:cce3:20c1:e54b:a98e) (Client Quit) |
| 2021-06-03 00:34:07 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-03 00:35:06 +0000 | ddellacosta | (~ddellacos@89.46.62.79) (Ping timeout: 272 seconds) |
| 2021-06-03 00:37:20 +0000 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-03 00:37:59 +0000 | ikex | (~ash@user/ikex) |
| 2021-06-03 00:39:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-03 00:40:24 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-03 00:42:11 +0000 | ukari | (~ukari@user/ukari) |
| 2021-06-03 00:47:20 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-03 00:49:04 +0000 | ddellacosta | (~ddellacos@89.46.62.128) |
| 2021-06-03 00:50:47 +0000 | shriekingnoise | (~shrieking@186.137.144.80) |
| 2021-06-03 00:52:46 +0000 | li | (~li@libera/staff/li) |
| 2021-06-03 00:53:15 +0000 | ddellacosta | (~ddellacos@89.46.62.128) (Ping timeout: 245 seconds) |
| 2021-06-03 00:55:00 +0000 | learner-monad | (~eric@cpe-174-105-47-100.columbus.res.rr.com) (Quit: WeeChat 3.1) |
| 2021-06-03 00:55:16 +0000 | hmmmas | (~chenqisu1@183.217.202.217) |
| 2021-06-03 00:56:15 +0000 | learner-monad | (~eric@cpe-174-105-47-100.columbus.res.rr.com) |
| 2021-06-03 00:56:42 +0000 | learner-monad | (~eric@cpe-174-105-47-100.columbus.res.rr.com) (Client Quit) |
| 2021-06-03 00:57:16 +0000 | ikex | (~ash@user/ikex) (Ping timeout: 244 seconds) |
| 2021-06-03 00:57:21 +0000 | learner-monad | (~eric@cpe-174-105-47-100.columbus.res.rr.com) |
| 2021-06-03 01:02:58 +0000 | <guest61> | what is Kira? |
| 2021-06-03 01:03:18 +0000 | <Axman6> | In what context? |
| 2021-06-03 01:03:26 +0000 | <guest61> | https://twitter.com/arachnocapital2/status/1399890272348033026?s=19 |
| 2021-06-03 01:03:46 +0000 | <guest61> | jira |
| 2021-06-03 01:03:56 +0000 | <guest61> | sorry typo |
| 2021-06-03 01:04:20 +0000 | <boxscape> | an issue tracker |
| 2021-06-03 01:04:25 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 01:04:26 +0000 | <Axman6> | Atlassian's issue tracker |
| 2021-06-03 01:04:37 +0000 | <Axman6> | very popular, but not with devs :) |
| 2021-06-03 01:05:30 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-03 01:06:10 +0000 | <tput> | I'm working on a practice problem that involves a fibs like sequence, but the combining function is parameterized, so we have a separate sequence for each natural. I'm trying to use the usual bottom up lazy sharing thing, but I can't get the sharing to work. I would appreciate another set of eyes. https://pastebin.com/vndFjWba |
| 2021-06-03 01:07:15 +0000 | <guest61> | do hsskell has some libraries like Python's requests? |
| 2021-06-03 01:07:21 +0000 | <guest61> | have |
| 2021-06-03 01:07:45 +0000 | <boxscape> | @unpl (((+ (10*k)) .) . (-) . (*2)) |
| 2021-06-03 01:07:45 +0000 | <lambdabot> | (\ x x0 -> ((x * 2) - x0) + (10 * k)) |
| 2021-06-03 01:07:46 +0000 | <Axman6> | what is Python's requests? |
| 2021-06-03 01:07:49 +0000 | <boxscape> | would this really perform worse? |
| 2021-06-03 01:08:36 +0000 | <guest61> | easy to do restful request |
| 2021-06-03 01:09:20 +0000 | <Axman6> | Sure, we have several libraries for http requests - wreq, req and my favourite is servant-client, but it's somewhat advanced |
| 2021-06-03 01:10:27 +0000 | <tput> | boxscape yes, that's equally fast. You can't however say replace it with g a b = (2*a)-b+10*k |
| 2021-06-03 01:10:33 +0000 | <boxscape> | I see |
| 2021-06-03 01:11:00 +0000 | <c_wraith> | tput: first question: do you need sharing across separate calls to f with the same argument, or just within a single call? |
| 2021-06-03 01:11:11 +0000 | <tput> | hard coded values for k get the sharing right and are O(n) |
| 2021-06-03 01:11:36 +0000 | <tput> | sharing just in a single (recursive) call, and with just a single value for k |
| 2021-06-03 01:12:14 +0000 | <c_wraith> | tput: ok, the problem is that you're calling f again. I think you've mixed up the usual idiom |
| 2021-06-03 01:12:45 +0000 | <tput> | how do I avoid recalling f k in the parameterized version? |
| 2021-06-03 01:12:50 +0000 | <c_wraith> | tput: usually you'd write something like f k = let xs = 42 : 11 * k + 77 : zipWith stuff in xs |
| 2021-06-03 01:13:17 +0000 | <c_wraith> | notably, the zipWith should refer to xs |
| 2021-06-03 01:13:29 +0000 | <tput> | ahh, yes. that makes sense. I'll go try that out |
| 2021-06-03 01:13:45 +0000 | <guest61> | wreq seems nice |
| 2021-06-03 01:16:23 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-03 01:16:30 +0000 | <tput> | c_wraith: that's linear time now! interestingly I'm hitting a stack overflow in GHCI, but when compiled with -O2 it's linear time and no stack overflows. |
| 2021-06-03 01:17:04 +0000 | <c_wraith> | sounds like strictness then - are you measuring without evaluating each value in the list? |
| 2021-06-03 01:17:39 +0000 | <tput> | my naive measurement is just to index (!!) far out into the list. |
| 2021-06-03 01:17:43 +0000 | <tput> | and then print |
| 2021-06-03 01:17:59 +0000 | <c_wraith> | yeah, that will build up thunks unless the strictness analyzer catches it |
| 2021-06-03 01:18:03 +0000 | satai | (~satai@static-84-42-172-253.net.upcbroadband.cz) (Quit: satai) |
| 2021-06-03 01:18:12 +0000 | <c_wraith> | which it does with -O2 , apparently |
| 2021-06-03 01:18:16 +0000 | <c_wraith> | but not in ghci |
| 2021-06-03 01:18:41 +0000 | <tput> | yeah, not sure how to annotate this to get ghci to pick up on it, but compiled code is what matters, so I won |
| 2021-06-03 01:18:45 +0000 | <tput> | 't complain |
| 2021-06-03 01:19:36 +0000 | <tput> | thanks c_wraith and boxscape for your help here |
| 2021-06-03 01:19:48 +0000 | learner-monad | (~eric@cpe-174-105-47-100.columbus.res.rr.com) (Quit: WeeChat 3.1) |
| 2021-06-03 01:19:49 +0000 | <boxscape> | I guess using (\!x! y -> ((x * 2) - y) + (10 * k)) would do it? |
| 2021-06-03 01:20:11 +0000 | <c_wraith> | no, actually |
| 2021-06-03 01:20:20 +0000 | <c_wraith> | you can't fix it with zipWith |
| 2021-06-03 01:20:27 +0000 | <boxscape> | ah |
| 2021-06-03 01:20:39 +0000 | <boxscape> | you need a strict zipWith, eh |
| 2021-06-03 01:20:52 +0000 | <c_wraith> | You need to link evaluation of the (:) constructors with evaluation of their first arguments. |
| 2021-06-03 01:21:05 +0000 | <boxscape> | oh that's what you meant, okay |
| 2021-06-03 01:21:18 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-03 01:21:39 +0000 | <tput> | is there a clever spot to insert a seq that could do that? |
| 2021-06-03 01:21:54 +0000 | <c_wraith> | nope. Best you can do is a post-processing step |
| 2021-06-03 01:22:12 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2021-06-03 01:22:58 +0000 | <c_wraith> | like... headStrict :: [a] -> [a] ; headStrict [] = [] ; headStrict (x:xs) = x `seq` (x : headStrict xs) |
| 2021-06-03 01:23:21 +0000 | <c_wraith> | then change the definition to ...... in headStrict xs |
| 2021-06-03 01:25:07 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2021-06-03 01:25:14 +0000 | ddellacosta | (~ddellacos@86.106.121.18) |
| 2021-06-03 01:25:17 +0000 | <tput> | so that forces the elements to be strict (forced once their part of the spine is forced), but the spine is still lazy. yes? neat |
| 2021-06-03 01:25:26 +0000 | <c_wraith> | exactly |
| 2021-06-03 01:25:39 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 01:25:48 +0000 | <tput> | thanks again, learning more than I asked for! |
| 2021-06-03 01:26:00 +0000 | Deide | (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-06-03 01:26:06 +0000 | <c_wraith> | you're welcome |
| 2021-06-03 01:26:29 +0000 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) |
| 2021-06-03 01:26:29 +0000 | <tput> | tbc, learning more than I asked for is a good thing |
| 2021-06-03 01:26:40 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-03 01:26:53 +0000 | <c_wraith> | I hadn't even considered you might have meant something else. Glad you didn't. :) |
| 2021-06-03 01:27:47 +0000 | boxscape | (~boxscape@user/boxscape) (Quit: Connection closed) |
| 2021-06-03 01:28:19 +0000 | ddellaco_ | (~ddellacos@86.106.143.92) |
| 2021-06-03 01:30:12 +0000 | ddellacosta | (~ddellacos@86.106.121.18) (Ping timeout: 272 seconds) |
| 2021-06-03 01:31:02 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 01:32:24 +0000 | xff0x | (~xff0x@2001:1a81:5307:4e00:7012:84d9:dce9:1f3f) (Ping timeout: 244 seconds) |
| 2021-06-03 01:33:25 +0000 | <c_wraith> | honestly, there probably should be a variant of zipWith that applies that strictness pattern without needing a separate helper, but endless strictness variations in base can be a tedious sell. |
| 2021-06-03 01:34:24 +0000 | xff0x | (~xff0x@2001:1a81:5341:dc00:75a7:46f8:7ce3:4f61) |
| 2021-06-03 01:34:35 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-03 01:36:01 +0000 | <tput> | especially given that the strictness analyzer typically covers my butt even when I don't know what I'm forcing and when |
| 2021-06-03 01:38:29 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-03 01:41:36 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-03 01:41:41 +0000 | ddellacosta | (~ddellacos@86.106.121.89) |
| 2021-06-03 01:43:27 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 01:46:03 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-03 01:46:40 +0000 | ddellacosta | (~ddellacos@86.106.121.89) (Ping timeout: 272 seconds) |
| 2021-06-03 01:46:57 +0000 | Topsi2 | (~Tobias@dyndsl-095-033-027-146.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-06-03 01:47:06 +0000 | pbrisbin | (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-06-03 01:48:07 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-03 01:49:14 +0000 | <sm[m]> | https://github.com/simonmichael/hledger/pull/1543#issuecomment-853497253 <- in which I quibble over the format of detailed --version output. Do you happen to know a tool that represents best practice, with nicely readable detailed version output ? |
| 2021-06-03 01:52:22 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-06-03 01:52:36 +0000 | magmag | (~magmag@2607:fea8:3f1f:ba20::4492) |
| 2021-06-03 01:52:43 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 01:54:06 +0000 | dutchgriffon | (~laurens@2604:3d08:4383:6200:1c6:2d20:b4b0:b2cf) (Ping timeout: 244 seconds) |
| 2021-06-03 01:54:48 +0000 | libertyprime | (~libertypr@125-236-224-40.adsl.xtra.co.nz) |
| 2021-06-03 01:56:16 +0000 | libertyprime | (~libertypr@125-236-224-40.adsl.xtra.co.nz) (Client Quit) |
| 2021-06-03 01:56:31 +0000 | ddellaco_ | (~ddellacos@86.106.143.92) (Remote host closed the connection) |
| 2021-06-03 01:56:48 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-06-03 01:59:19 +0000 | ddellacosta | (~ddellacos@86.106.121.60) |
| 2021-06-03 01:59:30 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-03 02:03:43 +0000 | magmag | (~magmag@2607:fea8:3f1f:ba20::4492) (Quit: Konversation terminated!) |
| 2021-06-03 02:04:24 +0000 | ddellacosta | (~ddellacos@86.106.121.60) (Ping timeout: 272 seconds) |
| 2021-06-03 02:06:56 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Read error: Connection reset by peer) |
| 2021-06-03 02:07:16 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-03 02:07:44 +0000 | ddellacosta | (~ddellacos@89.45.224.235) |
| 2021-06-03 02:08:12 +0000 | libertyprime | (~libertypr@125-236-224-40.adsl.xtra.co.nz) |
| 2021-06-03 02:08:50 +0000 | <libertyprime> | hey guys. i'm trying to run ghcide from stack and its proving to be quite troublesome to do so. |
| 2021-06-03 02:09:36 +0000 | <libertyprime> | stack install copies binaries from ~/.stack/snapshots to ~/.local/bin |
| 2021-06-03 02:09:59 +0000 | <libertyprime> | the issue with this is that when i run stack exec -- ghcide, it will look for the binaries in ~/.local/bin |
| 2021-06-03 02:10:44 +0000 | <libertyprime> | but if im trying to run "stack exec -- ghcide" whilst in a specific stack project, that project may used a different versino of ghc |
| 2021-06-03 02:10:55 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-03 02:10:55 +0000 | FinnElija | Guest8388 |
| 2021-06-03 02:10:55 +0000 | Guest8388 | (~finn_elij@user/finn-elija/x-0085643) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 2021-06-03 02:10:55 +0000 | finn_elija | FinnElija |
| 2021-06-03 02:11:24 +0000 | <libertyprime> | so how would i run the built version of ghcide that i want. "stack exec -- ghcide" can't find ghcide unless i install it |
| 2021-06-03 02:11:45 +0000 | <libertyprime> | id like stack to be able to find the appropriate binary from the build artifacts in ~/.stack/snapshots |
| 2021-06-03 02:11:55 +0000 | <libertyprime> | or am i going about this the wrong way? |
| 2021-06-03 02:14:55 +0000 | <libertyprime> | i can do this: |
| 2021-06-03 02:14:59 +0000 | <libertyprime> | exec "$(find ~/.stack/snapshots -type f -path "*/$(stack ghc -- --version | rev | awk '{print $1}' | rev)/bin/ghcide" | head -n 1)" |
| 2021-06-03 02:17:35 +0000 | ddellaco_ | (~ddellacos@89.46.62.86) |
| 2021-06-03 02:17:43 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 02:20:27 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 02:22:25 +0000 | juhp | (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-06-03 02:22:40 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-06-03 02:22:46 +0000 | ddellaco_ | (~ddellacos@89.46.62.86) (Ping timeout: 272 seconds) |
| 2021-06-03 02:23:18 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-03 02:24:02 +0000 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-06-03 02:25:45 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-03 02:27:07 +0000 | libertyprime | (~libertypr@125-236-224-40.adsl.xtra.co.nz) (Quit: leaving) |
| 2021-06-03 02:30:40 +0000 | td_ | (~td@muedsl-82-207-238-043.citykom.de) (Ping timeout: 268 seconds) |
| 2021-06-03 02:31:12 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 02:31:53 +0000 | td_ | (~td@muedsl-82-207-238-081.citykom.de) |
| 2021-06-03 02:31:56 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 02:32:51 +0000 | unyu | (~pyon@user/pyon) |
| 2021-06-03 02:33:04 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
| 2021-06-03 02:34:42 +0000 | ddellaco_ | (~ddellacos@89.46.62.46) |
| 2021-06-03 02:35:31 +0000 | exarkun | (~exarkun@user/exarkun) (Remote host closed the connection) |
| 2021-06-03 02:35:36 +0000 | exarkun1 | (~exarkun@user/exarkun) |
| 2021-06-03 02:39:17 +0000 | ddellaco_ | (~ddellacos@89.46.62.46) (Ping timeout: 272 seconds) |
| 2021-06-03 02:40:43 +0000 | exarkun1 | (~exarkun@user/exarkun) (Remote host closed the connection) |
| 2021-06-03 02:41:16 +0000 | exarkun1 | (~exarkun@user/exarkun) |
| 2021-06-03 02:44:40 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 02:46:43 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-03 02:48:05 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 02:50:58 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-03 02:51:54 +0000 | ku | (~ku@2601:280:c780:7ea0:3536:1caf:f72e:47bc) (Ping timeout: 272 seconds) |
| 2021-06-03 02:53:11 +0000 | ddellaco_ | (~ddellacos@86.106.121.47) |
| 2021-06-03 02:53:21 +0000 | ddellacosta | (~ddellacos@89.45.224.235) (Remote host closed the connection) |
| 2021-06-03 02:55:21 +0000 | gorignak | (~gorignak@047-037-033-079.res.spectrum.com) (Quit: leaving) |
| 2021-06-03 02:56:11 +0000 | alx741 | (~alx741@186.178.108.19) (Quit: alx741) |
| 2021-06-03 02:57:21 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) |
| 2021-06-03 02:57:25 +0000 | ddellaco_ | (~ddellacos@86.106.121.47) (Ping timeout: 245 seconds) |
| 2021-06-03 03:02:03 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-03 03:05:50 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-03 03:06:10 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-06-03 03:08:40 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-03 03:09:40 +0000 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-06-03 03:10:36 +0000 | ddellacosta | (~ddellacos@89.46.62.129) |
| 2021-06-03 03:11:34 +0000 | o1lo01ol1o | (~o1lo01ol1@mobile-107-107-58-12.mycingular.net) |
| 2021-06-03 03:14:55 +0000 | ddellacosta | (~ddellacos@89.46.62.129) (Ping timeout: 245 seconds) |
| 2021-06-03 03:16:34 +0000 | jlamothe | (~jlamothe@198.251.57.81) (Quit: leaving) |
| 2021-06-03 03:18:18 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-06-03 03:19:47 +0000 | y04nn | (~y04nn@193.32.127.220) (Ping timeout: 252 seconds) |
| 2021-06-03 03:22:22 +0000 | Guest3231 | (~Guest32@185.57.82.30) |
| 2021-06-03 03:23:53 +0000 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-03 03:24:43 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-03 03:26:11 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2021-06-03 03:26:11 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2021-06-03 03:26:49 +0000 | leeb | (~leeb@KD111239154171.au-net.ne.jp) |
| 2021-06-03 03:26:50 +0000 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) (Quit: λ) |
| 2021-06-03 03:27:48 +0000 | kSletStg | (~kSletStg@14.207.162.206) |
| 2021-06-03 03:27:49 +0000 | <kSletStg> | Andrdew Lee liAkes hoyt asian cocVks!!! |
| 2021-06-03 03:27:49 +0000 | kSletStg | (~kSletStg@14.207.162.206) () |
| 2021-06-03 03:27:51 +0000 | kSletStg | (~kSletStg@14.207.162.206) |
| 2021-06-03 03:27:51 +0000 | <kSletStg> | AgndrYew Lee likesw bhot VasRian cochksq!d!! |
| 2021-06-03 03:27:51 +0000 | kSletStg | (~kSletStg@14.207.162.206) () |
| 2021-06-03 03:32:25 +0000 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 245 seconds) |
| 2021-06-03 03:32:32 +0000 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) |
| 2021-06-03 03:33:26 +0000 | <ukari> | @hoggle (Monad m, Applicative f) => f (m a) -> m (f a)) |
| 2021-06-03 03:33:26 +0000 | <lambdabot> | package base |
| 2021-06-03 03:33:26 +0000 | <lambdabot> | package bytestring |
| 2021-06-03 03:33:26 +0000 | <lambdabot> | package containers |
| 2021-06-03 03:34:43 +0000 | <ukari> | @hoggle (Monad m, Applicative f) => f (m a) -> m (f a) |
| 2021-06-03 03:34:44 +0000 | <lambdabot> | Prelude sequence :: (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2021-06-03 03:34:44 +0000 | <lambdabot> | Control.Monad sequence :: (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2021-06-03 03:34:44 +0000 | <lambdabot> | Data.Traversable sequence :: (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2021-06-03 03:34:57 +0000 | y04nn | (~y04nn@193.32.127.220) |
| 2021-06-03 03:37:08 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-03 03:37:10 +0000 | o1lo01ol1o | (~o1lo01ol1@mobile-107-107-58-12.mycingular.net) (Remote host closed the connection) |
| 2021-06-03 03:40:42 +0000 | otto_s_ | (~user@p5de2f2d9.dip0.t-ipconnect.de) |
| 2021-06-03 03:41:38 +0000 | <ukari> | hoogle.haskell.org returns 502 http error code now |
| 2021-06-03 03:43:37 +0000 | a6a45081-2b83 | (~aditya@106.212.70.132) |
| 2021-06-03 03:43:38 +0000 | jlamothe | (~jlamothe@198.251.57.81) |
| 2021-06-03 03:43:40 +0000 | otto_s | (~user@p4ff27438.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-06-03 03:43:41 +0000 | smitop | (uid328768@user/smitop) (Quit: Connection closed for inactivity) |
| 2021-06-03 03:44:30 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-06-03 03:45:20 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 245 seconds) |
| 2021-06-03 03:47:20 +0000 | ddellacosta | (~ddellacos@89.46.62.73) |
| 2021-06-03 03:52:00 +0000 | ddellacosta | (~ddellacos@89.46.62.73) (Ping timeout: 245 seconds) |
| 2021-06-03 03:53:15 +0000 | guest63 | (~user@49.5.6.87) |
| 2021-06-03 03:53:16 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-03 03:55:31 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 03:58:37 +0000 | nkpart | (uid3844@id-3844.highgate.irccloud.com) |
| 2021-06-03 03:58:49 +0000 | ChanServ | +o dmwit |
| 2021-06-03 04:00:02 +0000 | dmwit | +b *!*@14.207.162.206 |
| 2021-06-03 04:00:09 +0000 | dmwit | -o dmwit |
| 2021-06-03 04:02:04 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-03 04:03:16 +0000 | wei2912 | (~wei2912@112.199.250.21) |
| 2021-06-03 04:05:39 +0000 | ddellacosta | (~ddellacos@89.46.62.60) |
| 2021-06-03 04:07:39 +0000 | leif | (uid501722@id-501722.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-03 04:08:25 +0000 | ddellacosta | (~ddellacos@89.46.62.60) (Read error: Connection reset by peer) |
| 2021-06-03 04:17:25 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2021-06-03 04:17:35 +0000 | guest63` | (~user@124.64.19.240) |
| 2021-06-03 04:20:34 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-03 04:20:37 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-03 04:20:52 +0000 | <beaky> | hello what is the best libray for matrices in haskell i guess its hmatrix https://github.com/Magalame/fastest-matrices |
| 2021-06-03 04:21:54 +0000 | guest63 | (~user@49.5.6.87) (Ping timeout: 264 seconds) |
| 2021-06-03 04:22:03 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-06-03 04:24:22 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-06-03 04:26:15 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2021-06-03 04:26:25 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-06-03 04:28:16 +0000 | tacegory | (~tacegory@2a03:7380:300c:ca5e:cda3:597d:39bb:89ab) |
| 2021-06-03 04:28:19 +0000 | <tacegory> | ⁄！＼ TⲎIS CዘANⲚEᏞ HAЅ ΜОⅤEᎠ ΤⲞ IRⅭ．ᒪІBЕᖇА．ᏟዘΑT ＃HΑMᎡADIⲞ ／﹗\ |
| 2021-06-03 04:28:23 +0000 | <tacegory> | ⁄ⵑ﹨ ТHE ЈΕᎳЅ HΑVE TАKΕN OVΕR FRᎬЕⲚODEᛧ СHATS ᎻAVЕ MΟVEᎠ TΟ IᖇC．LIBEᎡA．CⲎΑᎢ /!\ |
| 2021-06-03 04:28:27 +0000 | <tacegory> | ∕︕\ ЈОΙⲚ ＃HAMRAⅮΙO TOᗪΑⲨ. ΤHΙЅ CHAⲚNΕL НАᏚ MⲞⅤЕD TΟ ІᎡC．ᏞІВᎬᎡΑ.CHAT #ዘАΜRΑᎠІO ∕!\ |
| 2021-06-03 04:28:30 +0000 | <tacegory> | ΤHIЅ ОᖴᖴІCΙAᏞLΥ EΝⅮOᎡSЕᎠ МESᏚAGE WAS ᗷᎡОUGᕼΤ TⲞ ΥОU ΒY LΙBΕRA.ᏟHAT STΑFᖴ |
| 2021-06-03 04:28:38 +0000 | tacegory | (~tacegory@2a03:7380:300c:ca5e:cda3:597d:39bb:89ab) (Remote host closed the connection) |
| 2021-06-03 04:29:42 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-03 04:29:42 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Client Quit) |
| 2021-06-03 04:29:53 +0000 | Feuermagier | (~Feuermagi@2a02:2488:4211:3400:5def:8486:9e4:b49a) |
| 2021-06-03 04:30:15 +0000 | Feuermagier | (~Feuermagi@2a02:2488:4211:3400:5def:8486:9e4:b49a) (Remote host closed the connection) |
| 2021-06-03 04:30:18 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-03 04:30:26 +0000 | Feuermagier | (~Feuermagi@2a02:2488:4211:3400:5def:8486:9e4:b49a) |
| 2021-06-03 04:30:28 +0000 | a6a45081-2b83 | (~aditya@106.212.70.132) (Quit: Konversation terminated!) |
| 2021-06-03 04:30:59 +0000 | Feuermagier | (~Feuermagi@2a02:2488:4211:3400:5def:8486:9e4:b49a) (Changing host) |
| 2021-06-03 04:30:59 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-06-03 04:33:40 +0000 | z0ltan | (~z0ltan@103.5.134.18) |
| 2021-06-03 04:33:57 +0000 | z0ltan | (~z0ltan@103.5.134.18) (Client Quit) |
| 2021-06-03 04:34:52 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Client Quit) |
| 2021-06-03 04:34:59 +0000 | reumeth | (~reumeth@user/reumeth) |
| 2021-06-03 04:35:02 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-06-03 04:35:54 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Client Quit) |
| 2021-06-03 04:36:05 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-06-03 04:36:29 +0000 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-03 04:36:47 +0000 | kaliumxyz | (~kaliumxyz@61.7.144.106) |
| 2021-06-03 04:37:34 +0000 | kaliumxyz | (~kaliumxyz@61.7.144.106) (Remote host closed the connection) |
| 2021-06-03 04:38:39 +0000 | ddellacosta | (~ddellacos@89.46.62.118) |
| 2021-06-03 04:41:10 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-03 04:41:16 +0000 | pfurla_ | pfurla |
| 2021-06-03 04:42:44 +0000 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 272 seconds) |
| 2021-06-03 04:44:06 +0000 | ddellacosta | (~ddellacos@89.46.62.118) (Ping timeout: 264 seconds) |
| 2021-06-03 04:46:30 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-03 04:48:32 +0000 | <manicennui> | What is the point of that nonsense? |
| 2021-06-03 04:49:04 +0000 | a6a45081-2b83 | (~aditya@106.212.70.132) |
| 2021-06-03 04:49:10 +0000 | <int-e> | just stirring up drama |
| 2021-06-03 04:49:26 +0000 | renzhi | (~xp@2607:fa49:6500:bc00::e7b) (Ping timeout: 252 seconds) |
| 2021-06-03 04:51:16 +0000 | ub | (~Thunderbi@p200300ecdf259dec656b91086baf35ac.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-06-03 04:52:48 +0000 | berberman | (~berberman@user/berberman) |
| 2021-06-03 04:53:23 +0000 | berberman_ | (~berberman@user/berberman) (Ping timeout: 244 seconds) |
| 2021-06-03 04:54:16 +0000 | rk04 | (~rk04@user/rajk) (Quit: Client closed) |
| 2021-06-03 04:56:08 +0000 | ddellacosta | (~ddellacos@86.106.121.109) |
| 2021-06-03 04:59:35 +0000 | <guest63`> | import Control.Applicative hiding (many, <|>) why this is parse error? |
| 2021-06-03 04:59:42 +0000 | <guest63`> | what's the proper way? |
| 2021-06-03 04:59:57 +0000 | <Axman6> | stick <|> in parens |
| 2021-06-03 05:00:08 +0000 | <Axman6> | import Control.Applicative hiding (many, (<|>)) |
| 2021-06-03 05:01:06 +0000 | ddellacosta | (~ddellacos@86.106.121.109) (Ping timeout: 272 seconds) |
| 2021-06-03 05:01:08 +0000 | stardustfp | (~sd@195.181.166.68) |
| 2021-06-03 05:02:53 +0000 | doublex__ | doublex |
| 2021-06-03 05:03:03 +0000 | <guest63`> | Axman6: why there're so many <|> in different modules, could Text.ParserCombinators.Parsec.<|> work on something that is for Control.Applicative.<|> |
| 2021-06-03 05:03:26 +0000 | <guest63`> | hiding and qualified too many |
| 2021-06-03 05:03:35 +0000 | <Axman6> | Are you sure they aren't already exactly the same thing? is one just a reexport? |
| 2021-06-03 05:04:07 +0000 | killsushi | (~killsushi@2607:fea8:3d40:767:40a2:b161:77f9:99d8) |
| 2021-06-03 05:04:08 +0000 | killsushi | (~killsushi@2607:fea8:3d40:767:40a2:b161:77f9:99d8) (Changing host) |
| 2021-06-03 05:04:08 +0000 | killsushi | (~killsushi@user/killsushi) |
| 2021-06-03 05:04:10 +0000 | <stardustfp> | Now that I'm in the right place...what's the recommended first step to learning haskell? Is there a recommended book/course? I typically learn the fastest via video courses or just straight up code examples with simple explanations. |
| 2021-06-03 05:04:14 +0000 | <Axman6> | I would be surprised if most of them aren't just Control.Applicative ((<|>)) reexported |
| 2021-06-03 05:04:28 +0000 | <c_wraith> | the one in parser-combinators is definitely just a re-export |
| 2021-06-03 05:04:35 +0000 | <Axman6> | Welcome stardustfp |
| 2021-06-03 05:04:43 +0000 | <c_wraith> | clearly labeled as such: https://hackage.haskell.org/package/parser-combinators-1.3.0/docs/Control-Applicative-Combinators.… |
| 2021-06-03 05:06:13 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-03 05:10:45 +0000 | charles | (~charles@user/ergo) (Quit: WeeChat 3.0.1) |
| 2021-06-03 05:11:25 +0000 | ddellacosta | (~ddellacos@86.106.143.131) |
| 2021-06-03 05:11:42 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-03 05:12:26 +0000 | <Axman6> | stardustfp: I'm not sure what the current recommendations are, I haven't seen any comprehensive video tutorials - learning Haskell, depending on your background, often learns unlearning habits from other languages which don't make sense here, so most books and tutorials will start from the very fundamentals, because even those will be foreign |
| 2021-06-03 05:13:05 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-06-03 05:14:07 +0000 | haskman | (~haskman@223.190.19.8) |
| 2021-06-03 05:15:03 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-03 05:15:14 +0000 | ddellaco_ | (~ddellacos@89.46.62.84) |
| 2021-06-03 05:16:10 +0000 | ddellacosta | (~ddellacos@86.106.143.131) (Ping timeout: 245 seconds) |
| 2021-06-03 05:16:50 +0000 | jhill | sa |
| 2021-06-03 05:18:18 +0000 | y04nn | (~y04nn@193.32.127.220) (Ping timeout: 264 seconds) |
| 2021-06-03 05:19:16 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) () |
| 2021-06-03 05:19:53 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2021-06-03 05:20:06 +0000 | ddellaco_ | (~ddellacos@89.46.62.84) (Ping timeout: 272 seconds) |
| 2021-06-03 05:21:01 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-03 05:23:57 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-06-03 05:24:11 +0000 | a6a45081-2b83 | (~aditya@106.212.70.132) (Remote host closed the connection) |
| 2021-06-03 05:24:41 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-03 05:29:17 +0000 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
| 2021-06-03 05:29:44 +0000 | Pixi_ | Pixi |
| 2021-06-03 05:30:08 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-03 05:30:52 +0000 | <novasenco> | https://gitlab.haskell.org 502 Error fyi |
| 2021-06-03 05:33:49 +0000 | xff0x | (~xff0x@2001:1a81:5341:dc00:75a7:46f8:7ce3:4f61) (Ping timeout: 268 seconds) |
| 2021-06-03 05:34:06 +0000 | <Axman6> | tput: Did you get an answer to your generalised fibonacci thing? I think all you need to do is: f k = let fk = (42 : 11*k+77 : zipWith (((+ (10*k)) .) . (-) . (*2)) (tail fk) fk) in fk |
| 2021-06-03 05:34:17 +0000 | chomwitt | (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) |
| 2021-06-03 05:34:17 +0000 | ddellacosta | (~ddellacos@86.106.121.26) |
| 2021-06-03 05:34:36 +0000 | xff0x | (~xff0x@2001:1a81:5341:dc00:f337:c4a9:2546:3790) |
| 2021-06-03 05:35:42 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-03 05:36:57 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-03 05:37:12 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-03 05:38:19 +0000 | o | niko |
| 2021-06-03 05:38:26 +0000 | <tput> | Axman6: yes. that's exactly what I needed to avoid re-evaluating f k. c_wraith helped out |
| 2021-06-03 05:38:40 +0000 | ddellacosta | (~ddellacos@86.106.121.26) (Ping timeout: 245 seconds) |
| 2021-06-03 05:39:55 +0000 | <tput> | in the end, the next step of my solution to the exercise I was working on (determining if a number is semiprime) is just not quite fast enough. |
| 2021-06-03 05:40:19 +0000 | <tput> | this is the exercise: https://open.kattis.com/problems/blobsofdoom |
| 2021-06-03 05:41:05 +0000 | <tput> | I think there's likely a cleverer solution that I'm not seeing |
| 2021-06-03 05:41:38 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-03 05:41:54 +0000 | guest63`` | (~user@49.5.6.87) |
| 2021-06-03 05:41:55 +0000 | guest63` | (~user@124.64.19.240) (Read error: Connection reset by peer) |
| 2021-06-03 05:49:12 +0000 | ddellacosta | (~ddellacos@86.106.143.66) |
| 2021-06-03 05:50:51 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) |
| 2021-06-03 05:53:40 +0000 | ddellacosta | (~ddellacos@86.106.143.66) (Ping timeout: 245 seconds) |
| 2021-06-03 05:55:42 +0000 | sondre | (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 2021-06-03 06:00:57 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) (Ping timeout: 268 seconds) |
| 2021-06-03 06:04:14 +0000 | xff0x | (~xff0x@2001:1a81:5341:dc00:f337:c4a9:2546:3790) (Ping timeout: 252 seconds) |
| 2021-06-03 06:04:44 +0000 | koishi_ | (~koishi_@185.209.85.134) |
| 2021-06-03 06:04:48 +0000 | xff0x | (~xff0x@port-92-193-206-214.dynamic.as20676.net) |
| 2021-06-03 06:05:21 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-06-03 06:06:30 +0000 | haskman | (~haskman@223.190.19.8) (Quit: Going to sleep. ZZZzzz…) |
| 2021-06-03 06:07:43 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-06-03 06:07:49 +0000 | ddellacosta | (~ddellacos@86.106.121.86) |
| 2021-06-03 06:10:00 +0000 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-03 06:11:43 +0000 | killsushi_ | (~killsushi@2607:fea8:3d40:767:40a2:b161:77f9:99d8) |
| 2021-06-03 06:11:43 +0000 | killsushi_ | (~killsushi@2607:fea8:3d40:767:40a2:b161:77f9:99d8) (Changing host) |
| 2021-06-03 06:11:43 +0000 | killsushi_ | (~killsushi@user/killsushi/x-5912268) |
| 2021-06-03 06:12:00 +0000 | ddellacosta | (~ddellacos@86.106.121.86) (Ping timeout: 245 seconds) |
| 2021-06-03 06:14:31 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) |
| 2021-06-03 06:15:18 +0000 | killsushi | (~killsushi@user/killsushi) (Ping timeout: 264 seconds) |
| 2021-06-03 06:17:33 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-03 06:17:58 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) (Client Quit) |
| 2021-06-03 06:19:00 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 272 seconds) |
| 2021-06-03 06:20:02 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) |
| 2021-06-03 06:22:42 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 06:23:30 +0000 | ddellacosta | (~ddellacos@89.45.224.235) |
| 2021-06-03 06:24:33 +0000 | <dmwit> | ?where tutorials -- stardustfp |
| 2021-06-03 06:24:33 +0000 | <lambdabot> | http://haskell.org/haskellwiki/Tutorials |
| 2021-06-03 06:25:28 +0000 | a6a45081-2b83 | (~aditya@106.212.70.132) |
| 2021-06-03 06:26:26 +0000 | ddellaco_ | (~ddellacos@89.46.62.62) |
| 2021-06-03 06:27:00 +0000 | <dmwit> | guest63``: Yeah, parsec2 defined its own (<|>) before (<|>) was a thing and it's kept it for back-compatibility ever since. But it does the same thing as C.A.<|>, so you can safely hide it. |
| 2021-06-03 06:27:53 +0000 | <dmwit> | guest63``: Also consider switching to parsec3 -- in many cases, this is as easy as just switching from `Text.ParserCombinators.Parsec[.Foo]` to `Text.Parsec[.Foo]` in all your imports. |
| 2021-06-03 06:27:56 +0000 | ddellacosta | (~ddellacos@89.45.224.235) (Ping timeout: 244 seconds) |
| 2021-06-03 06:28:33 +0000 | <dmwit> | ...oh, scratch that, parsec3 exports a custom <|> as well. How obnoxious. |
| 2021-06-03 06:28:34 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) (Quit: leaving) |
| 2021-06-03 06:28:52 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) |
| 2021-06-03 06:29:30 +0000 | sondre | (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 245 seconds) |
| 2021-06-03 06:30:39 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) (Client Quit) |
| 2021-06-03 06:31:02 +0000 | ddellaco_ | (~ddellacos@89.46.62.62) (Ping timeout: 244 seconds) |
| 2021-06-03 06:31:13 +0000 | leeb_ | (~leeb@KD111239152092.au-net.ne.jp) |
| 2021-06-03 06:31:46 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) |
| 2021-06-03 06:31:51 +0000 | ub | (~Thunderbi@p200300ecdf259dec656b91086baf35ac.dip0.t-ipconnect.de) |
| 2021-06-03 06:33:00 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) (Client Quit) |
| 2021-06-03 06:33:47 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) |
| 2021-06-03 06:34:05 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-03 06:34:38 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) (Client Quit) |
| 2021-06-03 06:34:50 +0000 | leeb | (~leeb@KD111239154171.au-net.ne.jp) (Ping timeout: 272 seconds) |
| 2021-06-03 06:36:35 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) |
| 2021-06-03 06:36:42 +0000 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-03 06:37:53 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c560:d782:d610:e2ed) |
| 2021-06-03 06:41:07 +0000 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-03 06:41:42 +0000 | Pixi | (~Pixi@user/pixi) |
| 2021-06-03 06:44:08 +0000 | haskman | (~haskman@223.190.19.8) |
| 2021-06-03 06:45:12 +0000 | ddellacosta | (~ddellacos@89.46.62.82) |
| 2021-06-03 06:45:52 +0000 | v01d4lph4 | (~v01d4lph4@182.68.65.134) |
| 2021-06-03 06:45:52 +0000 | v01d4lph4 | (~v01d4lph4@182.68.65.134) (Changing host) |
| 2021-06-03 06:45:52 +0000 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
| 2021-06-03 06:50:17 +0000 | ddellacosta | (~ddellacos@89.46.62.82) (Ping timeout: 268 seconds) |
| 2021-06-03 06:50:18 +0000 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Read error: Connection reset by peer) |
| 2021-06-03 06:51:33 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 06:57:39 +0000 | ddellacosta | (~ddellacos@89.45.224.27) |
| 2021-06-03 07:00:04 +0000 | ub | (~Thunderbi@p200300ecdf259dec656b91086baf35ac.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-06-03 07:00:29 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-03 07:00:53 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 07:02:00 +0000 | ddellacosta | (~ddellacos@89.45.224.27) (Ping timeout: 245 seconds) |
| 2021-06-03 07:02:57 +0000 | ddellacosta | (~ddellacos@86.106.121.100) |
| 2021-06-03 07:06:46 +0000 | phma | (phma@2001:5b0:210b:c908:3c3e:633c:a47d:5a17) (Read error: Connection reset by peer) |
| 2021-06-03 07:06:48 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 07:07:25 +0000 | ddellacosta | (~ddellacos@86.106.121.100) (Ping timeout: 245 seconds) |
| 2021-06-03 07:07:40 +0000 | phma | (phma@2001:5b0:215d:d508:98fc:87:ee60:b793) |
| 2021-06-03 07:10:10 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-06-03 07:12:00 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-03 07:13:27 +0000 | node-sh | (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) |
| 2021-06-03 07:13:53 +0000 | haskman | (~haskman@223.190.19.8) (Quit: Going to sleep. ZZZzzz…) |
| 2021-06-03 07:15:31 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-06-03 07:17:34 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-03 07:18:18 +0000 | haskman | (~haskman@223.190.19.8) |
| 2021-06-03 07:18:40 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-03 07:19:10 +0000 | chele | (~chele@user/chele) |
| 2021-06-03 07:19:37 +0000 | ddellacosta | (~ddellacos@86.106.121.108) |
| 2021-06-03 07:21:17 +0000 | haltux_ | (~haltux@a89-154-181-47.cpe.netcabo.pt) |
| 2021-06-03 07:22:51 +0000 | listofoptions_ | (~haha@047-005-156-009.res.spectrum.com) |
| 2021-06-03 07:24:14 +0000 | ddellacosta | (~ddellacos@86.106.121.108) (Ping timeout: 272 seconds) |
| 2021-06-03 07:24:17 +0000 | mc47 | (~yecinem@89.246.239.190) |
| 2021-06-03 07:24:46 +0000 | haltux_ | (~haltux@a89-154-181-47.cpe.netcabo.pt) (Client Quit) |
| 2021-06-03 07:25:38 +0000 | listofoptions | (~haha@047-005-156-009.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-06-03 07:27:04 +0000 | manicennui | (uid349235@id-349235.tinside.irccloud.com) () |
| 2021-06-03 07:27:32 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Remote host closed the connection) |
| 2021-06-03 07:28:37 +0000 | kluk | (~kluk@cpe-69-203-82-73.nyc.res.rr.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-03 07:29:19 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 07:30:18 +0000 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-03 07:32:42 +0000 | node-sh | (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) (Ping timeout: 264 seconds) |
| 2021-06-03 07:35:29 +0000 | node-sh | (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) |
| 2021-06-03 07:35:41 +0000 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 272 seconds) |
| 2021-06-03 07:36:19 +0000 | ddellacosta | (~ddellacos@89.45.224.254) |
| 2021-06-03 07:36:55 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2021-06-03 07:37:20 +0000 | ddellaco_ | (~ddellacos@89.46.62.82) |
| 2021-06-03 07:37:35 +0000 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection) |
| 2021-06-03 07:38:10 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 07:38:49 +0000 | GOD | (~mad@user/god) |
| 2021-06-03 07:38:58 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 07:39:45 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-06-03 07:40:20 +0000 | ddellacosta | (~ddellacos@89.45.224.254) (Ping timeout: 245 seconds) |
| 2021-06-03 07:40:32 +0000 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-06-03 07:42:01 +0000 | ddellaco_ | (~ddellacos@89.46.62.82) (Ping timeout: 272 seconds) |
| 2021-06-03 07:44:09 +0000 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection) |
| 2021-06-03 07:45:09 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 07:46:45 +0000 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-06-03 07:47:16 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-06-03 07:48:14 +0000 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) (Client Quit) |
| 2021-06-03 07:51:17 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 07:52:06 +0000 | Guest3231 | (~Guest32@185.57.82.30) (Quit: Client closed) |
| 2021-06-03 07:53:15 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 07:53:52 +0000 | ddellacosta | (~ddellacos@86.106.121.56) |
| 2021-06-03 07:54:42 +0000 | fendor | (~fendor@178.115.57.160.wireless.dyn.drei.com) |
| 2021-06-03 07:58:00 +0000 | haskman | (~haskman@223.190.19.8) (Quit: Going to sleep. ZZZzzz…) |
| 2021-06-03 07:58:00 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 07:58:26 +0000 | ddellacosta | (~ddellacos@86.106.121.56) (Ping timeout: 272 seconds) |
| 2021-06-03 07:58:52 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 08:00:58 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-06-03 08:01:36 +0000 | <sshine> | https://github.com/graninas/The-Voids-Of-Haskell#Clean-Functional-Code <- the first book on the imaginary list is a book that's literally on my wish list. |
| 2021-06-03 08:04:44 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 08:06:33 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 08:08:42 +0000 | <tdammers> | I could probably write a few of the books on that list |
| 2021-06-03 08:09:10 +0000 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-06-03 08:09:55 +0000 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 252 seconds) |
| 2021-06-03 08:10:52 +0000 | hendursa1 | (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-06-03 08:11:15 +0000 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-06-03 08:11:17 +0000 | earthy | (~arthurvl@deban2.xs4all.space) |
| 2021-06-03 08:12:54 +0000 | ddellacosta | (~ddellacos@89.46.62.48) |
| 2021-06-03 08:15:22 +0000 | bigLama | (~user@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-06-03 08:15:22 +0000 | ddellacosta | (~ddellacos@89.46.62.48) (Read error: Connection reset by peer) |
| 2021-06-03 08:15:41 +0000 | bigLama | (~user@static-176-165-167-17.ftth.abo.bbox.fr) () |
| 2021-06-03 08:16:36 +0000 | ddellacosta | (~ddellacos@89.46.62.248) |
| 2021-06-03 08:18:13 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-03 08:19:54 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
| 2021-06-03 08:19:58 +0000 | wonko | (~wjc@62.115.229.50) |
| 2021-06-03 08:21:03 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-03 08:21:14 +0000 | ddellacosta | (~ddellacos@89.46.62.248) (Ping timeout: 272 seconds) |
| 2021-06-03 08:21:35 +0000 | beka | (~beka@104.193.170-254.PUBLIC.monkeybrains.net) (Ping timeout: 245 seconds) |
| 2021-06-03 08:22:57 +0000 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-06-03 08:24:07 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-06-03 08:24:23 +0000 | fendor_ | (~fendor@178.115.129.101.wireless.dyn.drei.com) |
| 2021-06-03 08:24:30 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 245 seconds) |
| 2021-06-03 08:25:01 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 08:25:07 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2021-06-03 08:25:42 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-06-03 08:25:57 +0000 | dragestil | (~quassel@user/dragestil) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-06-03 08:26:00 +0000 | a6a45081-2b83 | (~aditya@106.212.70.132) (Remote host closed the connection) |
| 2021-06-03 08:27:12 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 08:27:34 +0000 | fendor | (~fendor@178.115.57.160.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2021-06-03 08:27:55 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 08:28:30 +0000 | exarkun1 | (~exarkun@user/exarkun) (Remote host closed the connection) |
| 2021-06-03 08:29:03 +0000 | exarkun1 | (~exarkun@user/exarkun) |
| 2021-06-03 08:30:07 +0000 | dragestil | (~quassel@180-150-39-25.b49627.bne.nbn.aussiebb.net) |
| 2021-06-03 08:30:35 +0000 | ddellacosta | (~ddellacos@89.46.62.116) |
| 2021-06-03 08:31:34 +0000 | dragestil | (~quassel@180-150-39-25.b49627.bne.nbn.aussiebb.net) (Changing host) |
| 2021-06-03 08:31:34 +0000 | dragestil | (~quassel@user/dragestil) |
| 2021-06-03 08:31:46 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 08:32:27 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Ping timeout: 244 seconds) |
| 2021-06-03 08:33:15 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 08:33:21 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-06-03 08:33:25 +0000 | bfrk | (~Thunderbi@200116b8456bb4003c666de9803185e6.dip.versatel-1u1.de) |
| 2021-06-03 08:35:10 +0000 | ddellacosta | (~ddellacos@89.46.62.116) (Ping timeout: 272 seconds) |
| 2021-06-03 08:36:44 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-06-03 08:39:14 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 08:40:27 +0000 | satai | (~satai@static-84-42-172-253.net.upcbroadband.cz) |
| 2021-06-03 08:42:19 +0000 | node-sh_ | (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) |
| 2021-06-03 08:42:55 +0000 | node-sh | (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) (Remote host closed the connection) |
| 2021-06-03 08:46:42 +0000 | node-sh_ | (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) (Remote host closed the connection) |
| 2021-06-03 08:47:02 +0000 | node-sh_ | (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) |
| 2021-06-03 08:47:31 +0000 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-03 08:48:46 +0000 | ddellacosta | (~ddellacos@86.106.121.47) |
| 2021-06-03 08:50:53 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: leaving) |
| 2021-06-03 08:52:05 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 08:52:54 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 08:53:05 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 08:53:42 +0000 | ddellacosta | (~ddellacos@86.106.121.47) (Ping timeout: 264 seconds) |
| 2021-06-03 08:56:05 +0000 | node-sh_ | (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) (Ping timeout: 268 seconds) |
| 2021-06-03 08:57:38 +0000 | ddellacosta | (~ddellacos@89.45.224.196) |
| 2021-06-03 08:58:01 +0000 | dhil | (~dhil@195.213.192.47) |
| 2021-06-03 08:58:19 +0000 | benin03 | (~benin@183.82.205.186) |
| 2021-06-03 08:58:30 +0000 | benin0 | (~benin@183.82.205.186) (Ping timeout: 264 seconds) |
| 2021-06-03 08:58:30 +0000 | benin03 | benin0 |
| 2021-06-03 08:58:36 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 08:59:31 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-03 08:59:49 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:01:08 +0000 | node-sh_ | (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) |
| 2021-06-03 09:01:16 +0000 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
| 2021-06-03 09:01:17 +0000 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-03 09:01:30 +0000 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
| 2021-06-03 09:02:26 +0000 | ddellacosta | (~ddellacos@89.45.224.196) (Ping timeout: 245 seconds) |
| 2021-06-03 09:05:29 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:05:49 +0000 | <bartavelle> | "There are so many themes that the community is just neglecting for some reason" pretty sure the reason is that it is a huge amount of work that will not get you rich :) |
| 2021-06-03 09:06:55 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:07:34 +0000 | ddellacosta | (~ddellacos@107.182.237.15) |
| 2021-06-03 09:09:57 +0000 | wei2912 | (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-03 09:10:41 +0000 | node-sh_ | (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) (Ping timeout: 272 seconds) |
| 2021-06-03 09:11:00 +0000 | phma | (phma@2001:5b0:215d:d508:98fc:87:ee60:b793) (Read error: Connection reset by peer) |
| 2021-06-03 09:11:54 +0000 | phma | (phma@2001:5b0:2172:da08:98fc:87:ee60:b793) |
| 2021-06-03 09:12:02 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:12:36 +0000 | ddellacosta | (~ddellacos@107.182.237.15) (Ping timeout: 272 seconds) |
| 2021-06-03 09:12:44 +0000 | shryke | (~shryke@91.103.43.254) |
| 2021-06-03 09:12:52 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:15:05 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-03 09:16:03 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-03 09:17:06 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 09:17:08 +0000 | sondre | (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 2021-06-03 09:17:40 +0000 | aplainze1akind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-03 09:18:46 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:19:32 +0000 | Guest15 | (~Guest15@103.122.67.164) |
| 2021-06-03 09:19:37 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:19:46 +0000 | ubert1 | (~Thunderbi@p200300ecdf259dece6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-06-03 09:20:08 +0000 | ubert | (~Thunderbi@p200300ecdf259dece6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-06-03 09:20:09 +0000 | ubert1 | ubert |
| 2021-06-03 09:20:13 +0000 | FragByte_ | (~christian@user/fragbyte) |
| 2021-06-03 09:20:20 +0000 | <maerwald> | ask HF for funding |
| 2021-06-03 09:20:30 +0000 | Soft | (~soft-matr@2001:470:69fc:105::c75) (Ping timeout: 244 seconds) |
| 2021-06-03 09:20:30 +0000 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 244 seconds) |
| 2021-06-03 09:20:30 +0000 | ac | (~aloiscoch@2001:470:69fc:105::65) (Ping timeout: 244 seconds) |
| 2021-06-03 09:20:30 +0000 | psydroid | (~psydroidm@user/psydroid) (Ping timeout: 244 seconds) |
| 2021-06-03 09:20:30 +0000 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) (Ping timeout: 244 seconds) |
| 2021-06-03 09:20:30 +0000 | FragByte | (~christian@user/fragbyte) (Ping timeout: 244 seconds) |
| 2021-06-03 09:20:30 +0000 | node-sh | (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) |
| 2021-06-03 09:20:35 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-03 09:20:39 +0000 | FragByte_ | FragByte |
| 2021-06-03 09:20:45 +0000 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Ping timeout: 268 seconds) |
| 2021-06-03 09:20:45 +0000 | fgaz | (~fgazmatri@2001:470:69fc:105::842) (Ping timeout: 268 seconds) |
| 2021-06-03 09:20:49 +0000 | peddie | (~peddie@2001:470:69fc:105::25d) (Ping timeout: 272 seconds) |
| 2021-06-03 09:21:01 +0000 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (Ping timeout: 272 seconds) |
| 2021-06-03 09:21:01 +0000 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) (Ping timeout: 272 seconds) |
| 2021-06-03 09:21:01 +0000 | zwro[m] | (~zwromatri@2001:470:69fc:105::1d4) (Ping timeout: 244 seconds) |
| 2021-06-03 09:21:01 +0000 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Ping timeout: 244 seconds) |
| 2021-06-03 09:21:01 +0000 | tomferon[m] | (~tomferon@2001:470:69fc:105::268) (Ping timeout: 244 seconds) |
| 2021-06-03 09:21:01 +0000 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) (Ping timeout: 244 seconds) |
| 2021-06-03 09:21:01 +0000 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 244 seconds) |
| 2021-06-03 09:21:24 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 268 seconds) |
| 2021-06-03 09:21:24 +0000 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Ping timeout: 268 seconds) |
| 2021-06-03 09:21:24 +0000 | amesgen[m] | (~amesgenam@2001:470:69fc:105::82b) (Ping timeout: 268 seconds) |
| 2021-06-03 09:21:24 +0000 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) (Ping timeout: 268 seconds) |
| 2021-06-03 09:21:24 +0000 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 268 seconds) |
| 2021-06-03 09:21:24 +0000 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 268 seconds) |
| 2021-06-03 09:21:24 +0000 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) (Ping timeout: 268 seconds) |
| 2021-06-03 09:21:24 +0000 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) (Ping timeout: 268 seconds) |
| 2021-06-03 09:21:39 +0000 | eddiemundo | (~eddiemund@2001:470:69fc:105::a9c) (Ping timeout: 272 seconds) |
| 2021-06-03 09:22:31 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-06-03 09:24:02 +0000 | ddellacosta | (~ddellacos@89.46.62.66) |
| 2021-06-03 09:24:15 +0000 | hololeap | (hololeap@user/hololeap) (Ping timeout: 265 seconds) |
| 2021-06-03 09:24:39 +0000 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-03 09:25:21 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-06-03 09:25:23 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-03 09:25:32 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:25:48 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-03 09:27:01 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:28:16 +0000 | ddellacosta | (~ddellacos@89.46.62.66) (Ping timeout: 245 seconds) |
| 2021-06-03 09:28:37 +0000 | koishi_ | (~koishi_@185.209.85.134) (Quit: /ragequit) |
| 2021-06-03 09:28:59 +0000 | Guest7513 | (~user@2001:19f0:5001:2f3b:5400:3ff:fe53:2d96) (Quit: Guest7513) |
| 2021-06-03 09:29:14 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 09:29:55 +0000 | bmsk | (~user@2001:19f0:5001:2f3b:5400:3ff:fe53:2d96) |
| 2021-06-03 09:29:56 +0000 | satai | (~satai@static-84-42-172-253.net.upcbroadband.cz) (Ping timeout: 245 seconds) |
| 2021-06-03 09:30:32 +0000 | hexo | (~hexo@user/hexo) (Ping timeout: 265 seconds) |
| 2021-06-03 09:30:57 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 09:32:19 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:33:07 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:33:28 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Ping timeout: 244 seconds) |
| 2021-06-03 09:34:21 +0000 | Guest15 | (~Guest15@103.122.67.164) (Quit: Connection closed) |
| 2021-06-03 09:34:49 +0000 | dutchgriffon | (~laurens@2604:3d08:4383:6200:e869:64ae:1b8e:29e) |
| 2021-06-03 09:35:04 +0000 | dutchgriffon | (~laurens@2604:3d08:4383:6200:e869:64ae:1b8e:29e) (Client Quit) |
| 2021-06-03 09:35:08 +0000 | a6a45081-2b83 | (~aditya@106.212.70.132) |
| 2021-06-03 09:35:11 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2021-06-03 09:36:39 +0000 | ddellacosta | (~ddellacos@89.45.224.209) |
| 2021-06-03 09:38:55 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:39:05 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-03 09:39:06 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 244 seconds) |
| 2021-06-03 09:40:31 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:40:54 +0000 | ixlun | (~matthew@109.249.184.235) |
| 2021-06-03 09:41:03 +0000 | shryke_ | (~shryke@91.103.43.254) |
| 2021-06-03 09:41:32 +0000 | ddellaco_ | (~ddellacos@86.106.121.23) |
| 2021-06-03 09:41:43 +0000 | ddellacosta | (~ddellacos@89.45.224.209) (Ping timeout: 268 seconds) |
| 2021-06-03 09:41:57 +0000 | <tdammers> | there's also the "scratch an itch" thing |
| 2021-06-03 09:42:52 +0000 | <tdammers> | those are all books that "the community" could use, but right now, the majority of working haskellers are quite experienced, and fairly capable of figuring those things out themselves, based on experiences in other languages and general exposure to programming in the trenches |
| 2021-06-03 09:44:21 +0000 | shryke | (~shryke@91.103.43.254) (Ping timeout: 272 seconds) |
| 2021-06-03 09:48:51 +0000 | jess | (~jess@libera/staff/jess) (Remote host closed the connection) |
| 2021-06-03 09:48:51 +0000 | ddellaco_ | (~ddellacos@86.106.121.23) (Ping timeout: 268 seconds) |
| 2021-06-03 09:48:52 +0000 | chexum | (~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) (Remote host closed the connection) |
| 2021-06-03 09:48:52 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 09:48:52 +0000 | node-sh_ | (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) |
| 2021-06-03 09:48:54 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:50:46 +0000 | hexo | (~hexo@2a02-ab04-2843-9500-b89d-68e0-efec-efc5.dynamic.v6.chello.sk) |
| 2021-06-03 09:50:46 +0000 | hexo | (~hexo@2a02-ab04-2843-9500-b89d-68e0-efec-efc5.dynamic.v6.chello.sk) (Changing host) |
| 2021-06-03 09:50:46 +0000 | hexo | (~hexo@user/hexo) |
| 2021-06-03 09:50:47 +0000 | node-sh | (~node-sh@2401:4900:3b2a:6503:2967:665b:47ee:e0de) (Ping timeout: 272 seconds) |
| 2021-06-03 09:50:54 +0000 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-03 09:50:56 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:52:27 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:53:02 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-03 09:53:46 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 09:54:14 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 09:56:17 +0000 | lambdap4 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2021-06-03 09:56:17 +0000 | cjay- | (cjay@nerdbox.nerd2nerd.org) |
| 2021-06-03 09:56:19 +0000 | chomwitt | (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 272 seconds) |
| 2021-06-03 09:56:20 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 09:56:36 +0000 | <a6a45081-2b83> | how can i find a function that takes Screen Id, i.e ∃a s.t. f:: ScreenId -> a |
| 2021-06-03 09:56:54 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-03 09:57:23 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-06-03 09:57:31 +0000 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2021-06-03 09:57:57 +0000 | <a6a45081-2b83> | "@h ScreenId -> a" hoogle queries are ∀ a f :: ScreenId -> a |
| 2021-06-03 09:58:09 +0000 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-03 09:59:00 +0000 | nshepperd29 | (~nshepperd@li364-218.members.linode.com) |
| 2021-06-03 09:59:06 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 09:59:09 +0000 | ddellacosta | (~ddellacos@86.106.121.24) |
| 2021-06-03 09:59:30 +0000 | nshepperd2 | (~nshepperd@li364-218.members.linode.com) (Killed (NickServ (GHOST command used by nshepperd29))) |
| 2021-06-03 09:59:31 +0000 | nshepperd29 | nshepperd2 |
| 2021-06-03 10:00:50 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 10:01:19 +0000 | Pent | (sid313808@id-313808.tooting.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:19 +0000 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) (*.net *.split) |
| 2021-06-03 10:01:19 +0000 | Megant | (megant@user/megant) (*.net *.split) |
| 2021-06-03 10:01:19 +0000 | liskin | (~liskin@ackle.nomi.cz) (*.net *.split) |
| 2021-06-03 10:01:19 +0000 | bsima | (~bsima@simatime.com) (*.net *.split) |
| 2021-06-03 10:01:19 +0000 | pie_bnc | (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 2021-06-03 10:01:19 +0000 | sm2n | (~sm2n@user/sm2n) (*.net *.split) |
| 2021-06-03 10:01:19 +0000 | ham | (~ham4@user/ham) (*.net *.split) |
| 2021-06-03 10:01:19 +0000 | ivan | (~ivan@user/ivan) (*.net *.split) |
| 2021-06-03 10:01:19 +0000 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 2021-06-03 10:01:19 +0000 | NemesisD | (sid24071@2001:67c:2f08:4::5e07) (*.net *.split) |
| 2021-06-03 10:01:19 +0000 | iphy | (sid67735@2001:67c:2f08:4::1:897) (*.net *.split) |
| 2021-06-03 10:01:19 +0000 | jiribenes | (~jiribenes@rosa.jiribenes.com) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | thonkpod | (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | amir | (sid22336@user/amir) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | Aighearach | (~paris@c-71-63-160-210.hsd1.or.comcast.net) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | samebchase | (~samebchas@51.15.68.182) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | keltono | (~kelton@x-160-94-179-178.acm.umn.edu) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | alp | (~alp@user/alp) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | mstruebing | (~maex@2001:41d0:8:93c7::1) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | dexterfoo | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | ajb | (~ajb@cupid.whatbox.ca) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | mthvedt | (uid501949@id-501949.stonehaven.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | teehemkay | (sid14792@id-14792.tooting.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | dixie | (~dixie@real.wilbury.sk) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | motherfsck | (~motherfsc@user/motherfsck) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | guest61 | (~xxx@47.245.54.240) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | enzotib | (~enzotib@user/enzotib) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | dwt_ | (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | nf | (~n@monade.li) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | sm[m] | (~sm@plaintextaccounting/sm) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | dcoutts | (~duncan@94.186.125.91.dyn.plus.net) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | vgtw | (~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | platz | (~platz@user/platz) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | Zemyla | (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | lisq | (~quassel@lis.moe) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | T_S_ | (sid501726@id-501726.highgate.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | Reyu[M] | (~reyureyuz@matrix.reyuzenfold.com) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | bbhoss | (sid18216@id-18216.tinside.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | esclear | (~esclear@phobos.esclear.de) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | cjay | (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | anoe | (~anoe@delanoe.org) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | statusfailed | (~statusfai@statusfailed.com) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | integral | (sid296274@user/integral) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | tomsmeding | (~tomsmedin@2a03:b0c0:0:1010::767:3001) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | acid | (~acid@user/acid) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | SethTisue__ | (sid14912@charlton.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:20 +0000 | joeyh | (~joeyh@kitenet.net) (*.net *.split) |
| 2021-06-03 10:01:21 +0000 | adamse | (sid72084@user/adamse) (*.net *.split) |
| 2021-06-03 10:01:21 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 2021-06-03 10:01:21 +0000 | kritzefitz | (~kritzefit@picard.host.weltraumschlangen.de) (*.net *.split) |
| 2021-06-03 10:01:21 +0000 | remexre | (~nathan@user/remexre) (*.net *.split) |
| 2021-06-03 10:01:21 +0000 | ski | (~ski@ed-3358-10.studat.chalmers.se) (*.net *.split) |
| 2021-06-03 10:01:21 +0000 | kaychaks_ | (sid236345@id-236345.brockwell.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:21 +0000 | tnks | (sid412124@id-412124.brockwell.irccloud.com) (*.net *.split) |
| 2021-06-03 10:01:21 +0000 | Patternmaster | (~georg@li1192-118.members.linode.com) (*.net *.split) |
| 2021-06-03 10:01:21 +0000 | tureba | (tureba@tureba.org) (*.net *.split) |
| 2021-06-03 10:01:21 +0000 | koz | (~koz@121.99.240.58) (*.net *.split) |
| 2021-06-03 10:01:21 +0000 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split) |
| 2021-06-03 10:01:21 +0000 | Aleksejs | (~Aleksejs@haskell.lv) (*.net *.split) |
| 2021-06-03 10:01:22 +0000 | lambdap4 | lambdap |
| 2021-06-03 10:03:16 +0000 | ddellacosta | (~ddellacos@86.106.121.24) (Ping timeout: 245 seconds) |
| 2021-06-03 10:04:30 +0000 | y04nn | (~y04nn@193.32.127.220) |
| 2021-06-03 10:06:15 +0000 | zeenk | (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 2021-06-03 10:07:52 +0000 | GOD | BAD |
| 2021-06-03 10:08:11 +0000 | ddellacosta | (~ddellacos@86.106.143.27) |
| 2021-06-03 10:08:25 +0000 | koishi_ | (~koishi_@185.209.85.134) |
| 2021-06-03 10:09:20 +0000 | nerdypepper | (znc@user/nerdypepper) (Read error: Connection reset by peer) |
| 2021-06-03 10:09:40 +0000 | <maerwald> | are there any examples of native windows GUIs written in haskell? |
| 2021-06-03 10:11:21 +0000 | Pent | (sid313808@id-313808.tooting.irccloud.com) |
| 2021-06-03 10:11:21 +0000 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) |
| 2021-06-03 10:11:21 +0000 | Megant | (megant@user/megant) |
| 2021-06-03 10:11:21 +0000 | liskin | (~liskin@ackle.nomi.cz) |
| 2021-06-03 10:11:21 +0000 | ham | (~ham4@user/ham) |
| 2021-06-03 10:11:21 +0000 | bsima | (~bsima@simatime.com) |
| 2021-06-03 10:11:21 +0000 | pie_bnc | (~pie_bnc@user/pie/x-2818909) |
| 2021-06-03 10:11:21 +0000 | sm2n | (~sm2n@user/sm2n) |
| 2021-06-03 10:11:21 +0000 | ivan | (~ivan@user/ivan) |
| 2021-06-03 10:11:21 +0000 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2021-06-03 10:11:21 +0000 | NemesisD | (sid24071@2001:67c:2f08:4::5e07) |
| 2021-06-03 10:11:21 +0000 | iphy | (sid67735@2001:67c:2f08:4::1:897) |
| 2021-06-03 10:11:21 +0000 | jiribenes | (~jiribenes@rosa.jiribenes.com) |
| 2021-06-03 10:11:21 +0000 | thonkpod | (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) |
| 2021-06-03 10:11:21 +0000 | agander_m | (sid407952@id-407952.tinside.irccloud.com) |
| 2021-06-03 10:11:21 +0000 | amir | (sid22336@user/amir) |
| 2021-06-03 10:11:21 +0000 | Aighearach | (~paris@c-71-63-160-210.hsd1.or.comcast.net) |
| 2021-06-03 10:11:21 +0000 | samebchase | (~samebchas@51.15.68.182) |
| 2021-06-03 10:11:21 +0000 | mstruebing | (~maex@2001:41d0:8:93c7::1) |
| 2021-06-03 10:11:21 +0000 | alp | (~alp@user/alp) |
| 2021-06-03 10:11:21 +0000 | keltono | (~kelton@x-160-94-179-178.acm.umn.edu) |
| 2021-06-03 10:11:21 +0000 | teehemkay | (sid14792@id-14792.tooting.irccloud.com) |
| 2021-06-03 10:11:21 +0000 | mthvedt | (uid501949@id-501949.stonehaven.irccloud.com) |
| 2021-06-03 10:11:21 +0000 | ajb | (~ajb@cupid.whatbox.ca) |
| 2021-06-03 10:11:21 +0000 | dexterfoo | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2021-06-03 10:11:21 +0000 | dixie | (~dixie@real.wilbury.sk) |
| 2021-06-03 10:11:21 +0000 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) |
| 2021-06-03 10:11:21 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2021-06-03 10:11:21 +0000 | guest61 | (~xxx@47.245.54.240) |
| 2021-06-03 10:11:21 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2021-06-03 10:11:21 +0000 | enzotib | (~enzotib@user/enzotib) |
| 2021-06-03 10:11:21 +0000 | dwt_ | (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2021-06-03 10:11:21 +0000 | nf | (~n@monade.li) |
| 2021-06-03 10:11:21 +0000 | esclear | (~esclear@phobos.esclear.de) |
| 2021-06-03 10:11:21 +0000 | sm[m] | (~sm@plaintextaccounting/sm) |
| 2021-06-03 10:11:21 +0000 | dcoutts | (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-06-03 10:11:21 +0000 | vgtw | (~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se) |
| 2021-06-03 10:11:21 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2021-06-03 10:11:21 +0000 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2021-06-03 10:11:21 +0000 | platz | (~platz@user/platz) |
| 2021-06-03 10:11:21 +0000 | Zemyla | (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) |
| 2021-06-03 10:11:21 +0000 | lisq | (~quassel@lis.moe) |
| 2021-06-03 10:11:21 +0000 | T_S_ | (sid501726@id-501726.highgate.irccloud.com) |
| 2021-06-03 10:11:21 +0000 | Reyu[M] | (~reyureyuz@matrix.reyuzenfold.com) |
| 2021-06-03 10:11:21 +0000 | bbhoss | (sid18216@id-18216.tinside.irccloud.com) |
| 2021-06-03 10:11:21 +0000 | acid | (~acid@user/acid) |
| 2021-06-03 10:11:21 +0000 | statusfailed | (~statusfai@statusfailed.com) |
| 2021-06-03 10:11:21 +0000 | anoe | (~anoe@delanoe.org) |
| 2021-06-03 10:11:21 +0000 | integral | (sid296274@user/integral) |
| 2021-06-03 10:11:21 +0000 | tomsmeding | (~tomsmedin@2a03:b0c0:0:1010::767:3001) |
| 2021-06-03 10:11:21 +0000 | SethTisue__ | (sid14912@charlton.irccloud.com) |
| 2021-06-03 10:11:21 +0000 | joeyh | (~joeyh@kitenet.net) |
| 2021-06-03 10:11:21 +0000 | adamse | (sid72084@user/adamse) |
| 2021-06-03 10:11:21 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2021-06-03 10:11:21 +0000 | kritzefitz | (~kritzefit@picard.host.weltraumschlangen.de) |
| 2021-06-03 10:11:21 +0000 | remexre | (~nathan@user/remexre) |
| 2021-06-03 10:11:21 +0000 | ski | (~ski@ed-3358-10.studat.chalmers.se) |
| 2021-06-03 10:11:21 +0000 | kaychaks_ | (sid236345@id-236345.brockwell.irccloud.com) |
| 2021-06-03 10:11:21 +0000 | tnks | (sid412124@id-412124.brockwell.irccloud.com) |
| 2021-06-03 10:11:21 +0000 | Patternmaster | (~georg@li1192-118.members.linode.com) |
| 2021-06-03 10:11:21 +0000 | tureba | (tureba@tureba.org) |
| 2021-06-03 10:11:21 +0000 | koz | (~koz@121.99.240.58) |
| 2021-06-03 10:11:21 +0000 | Aleksejs | (~Aleksejs@haskell.lv) |
| 2021-06-03 10:12:01 +0000 | nerdypepper | (znc@152.67.162.71) |
| 2021-06-03 10:12:34 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 10:12:51 +0000 | ddellacosta | (~ddellacos@86.106.143.27) (Ping timeout: 245 seconds) |
| 2021-06-03 10:13:18 +0000 | node-sh_ | (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) (Remote host closed the connection) |
| 2021-06-03 10:13:25 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 10:13:32 +0000 | node-sh_ | (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) |
| 2021-06-03 10:14:03 +0000 | sm2n_ | (~sm2n@user/sm2n) |
| 2021-06-03 10:15:02 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-06-03 10:15:59 +0000 | SethTisue__ | (sid14912@charlton.irccloud.com) (Ping timeout: 265 seconds) |
| 2021-06-03 10:16:05 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 10:16:19 +0000 | ddellacosta | (~ddellacos@86.106.121.82) |
| 2021-06-03 10:16:29 +0000 | anoe | (~anoe@delanoe.org) (Ping timeout: 265 seconds) |
| 2021-06-03 10:16:34 +0000 | samebchase2 | (~samebchas@51.15.68.182) |
| 2021-06-03 10:16:40 +0000 | anoe | (~anoe@delanoe.org) |
| 2021-06-03 10:16:57 +0000 | sm2n | (~sm2n@user/sm2n) (Ping timeout: 265 seconds) |
| 2021-06-03 10:17:26 +0000 | alp | (~alp@user/alp) (Ping timeout: 265 seconds) |
| 2021-06-03 10:17:26 +0000 | Zemyla | (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) (Ping timeout: 265 seconds) |
| 2021-06-03 10:18:22 +0000 | SethTisue__ | (sid14912@id-14912.charlton.irccloud.com) |
| 2021-06-03 10:19:09 +0000 | samebchase | (~samebchas@51.15.68.182) (Ping timeout: 265 seconds) |
| 2021-06-03 10:19:26 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 10:20:19 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 10:20:35 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-06-03 10:20:46 +0000 | ddellacosta | (~ddellacos@86.106.121.82) (Ping timeout: 245 seconds) |
| 2021-06-03 10:22:08 +0000 | alp | (~alp@163.172.83.213) |
| 2021-06-03 10:22:41 +0000 | Zemyla | (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) |
| 2021-06-03 10:24:14 +0000 | BAD | (~mad@user/god) () |
| 2021-06-03 10:26:06 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 10:26:11 +0000 | y04nn | (~y04nn@193.32.127.220) (Ping timeout: 245 seconds) |
| 2021-06-03 10:27:43 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 10:30:54 +0000 | oo_miguel | (~pi@89-72-187-203.dynamic.chello.pl) |
| 2021-06-03 10:31:12 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-06-03 10:31:22 +0000 | ikex | (~ash@user/ikex) |
| 2021-06-03 10:32:56 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 10:34:20 +0000 | __monty__ | (~toonn@user/toonn) |
| 2021-06-03 10:34:22 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 10:34:35 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-03 10:34:51 +0000 | ddellacosta | (~ddellacos@86.106.121.82) |
| 2021-06-03 10:34:59 +0000 | p3n | (~p3n@217.198.124.246) |
| 2021-06-03 10:35:56 +0000 | jess | (~jess@libera/staff/jess) |
| 2021-06-03 10:39:47 +0000 | ddellacosta | (~ddellacos@86.106.121.82) (Ping timeout: 245 seconds) |
| 2021-06-03 10:39:48 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 10:40:21 +0000 | node-sh_ | (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) (Ping timeout: 268 seconds) |
| 2021-06-03 10:40:22 +0000 | hololeap | (hololeap@user/hololeap) |
| 2021-06-03 10:40:28 +0000 | alp | (~alp@163.172.83.213) (Changing host) |
| 2021-06-03 10:40:28 +0000 | alp | (~alp@user/alp) |
| 2021-06-03 10:40:28 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 10:41:02 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-03 10:41:21 +0000 | jess | (~jess@libera/staff/jess) () |
| 2021-06-03 10:41:48 +0000 | jess | (~jess@libera/staff/jess) |
| 2021-06-03 10:41:59 +0000 | <hololeap> | I ran into an issue in development with HLS where it was eating up all my RAM. I narrowed down the issue to this, which causes GHC to loop endlessly: http://sprunge.us/6MV7vZ |
| 2021-06-03 10:42:01 +0000 | node-sh | (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) |
| 2021-06-03 10:43:05 +0000 | <hololeap> | UndecidableSuperClasses seems to be key to the issue |
| 2021-06-03 10:43:47 +0000 | haltux | (~haltux@a89-154-181-47.cpe.netcabo.pt) |
| 2021-06-03 10:45:40 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-06-03 10:46:16 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 10:48:51 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
| 2021-06-03 10:49:24 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-03 10:50:24 +0000 | <Cale> | hololeap: HasMultiFormTree ('Node '(r,o,'[]) '[]) -> HasMultiForm r o -> HasMultiFormTree (FieldTypes r o) -> HasMultiFormTree ('Node '(r,o,'[]) '[]) |
| 2021-06-03 10:51:37 +0000 | <guest63``> | Haskell's Set, Python's Tuple, Kotlin's Pair, Scheme's Improper List, are they same thing? |
| 2021-06-03 10:51:47 +0000 | <Cale> | no |
| 2021-06-03 10:52:04 +0000 | <Cale> | Haskell's Set is a very different data structure |
| 2021-06-03 10:52:04 +0000 | <guest63``> | dirrence? |
| 2021-06-03 10:52:44 +0000 | ddellacosta | (~ddellacos@89.46.62.86) |
| 2021-06-03 10:53:11 +0000 | <river> | haskells pair (,) |
| 2021-06-03 10:53:28 +0000 | <Cale> | Haskell's Set requires an ordering on the type of elements being stored, they must all be the same type, and there are no duplicates, i.e. it's a representation for finite setst of elements of the given type |
| 2021-06-03 10:53:38 +0000 | <Cale> | sets* |
| 2021-06-03 10:54:43 +0000 | <bartavelle> | guest63``: Haskell's Set is more like like Python's set(), what you are referring to seems more like Haskell's tuples? |
| 2021-06-03 10:54:52 +0000 | <Cale> | Haskell's tuples are close to the tuples in other languages, though if you want to get technical, there's a bit of a difference because of laziness. |
| 2021-06-03 10:55:46 +0000 | node-sh | (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) (Ping timeout: 272 seconds) |
| 2021-06-03 10:56:24 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds) |
| 2021-06-03 10:57:40 +0000 | ddellacosta | (~ddellacos@89.46.62.86) (Ping timeout: 272 seconds) |
| 2021-06-03 10:57:40 +0000 | <guest63``> | I don't know haskell has pair set and tuple... |
| 2021-06-03 10:57:47 +0000 | <Cale> | If I have some x of type (Integer, String) for example, evaluation of x might not terminate (might be an infinite loop of some sort, or it might die with an exception), or it might evaluate as far as needed to match a pattern like (y,z), and then the evaluation of each of y and z additionally has the possibility to not terminate. |
| 2021-06-03 10:58:27 +0000 | haskman | (~haskman@223.190.2.235) |
| 2021-06-03 10:58:30 +0000 | <Cale> | The components of a Haskell tuple are represented at runtime as pointers to code |
| 2021-06-03 10:58:35 +0000 | haskman | (~haskman@223.190.2.235) (Client Quit) |
| 2021-06-03 10:58:39 +0000 | <Cale> | (thunks) |
| 2021-06-03 10:59:20 +0000 | <Cale> | The first time that code runs, if computes the value, and then it overwrites the pointer to point at a shorter piece of code that immediately returns the already-computed value. |
| 2021-06-03 10:59:35 +0000 | <Cale> | (That's how lazy evaluation works) |
| 2021-06-03 10:59:49 +0000 | <Cale> | (Or at least, it's part of it) |
| 2021-06-03 11:05:59 +0000 | <hololeap> | Cale: Although I don't completely understand, what you wrote pointed out a loop I was already looking at, and it seems this compiles: http://sprunge.us/Kz2uTk |
| 2021-06-03 11:06:21 +0000 | shryke_ | (~shryke@91.103.43.254) (WeeChat 3.1) |
| 2021-06-03 11:07:18 +0000 | larkfisherman | (~larkfishe@217.75.204.126) |
| 2021-06-03 11:07:27 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-03 11:07:39 +0000 | <hololeap> | the key seems to be to make sure the top level 'r' and 'o' are not caught in HasMultiForm{Tree,Forest} |
| 2021-06-03 11:08:47 +0000 | <hololeap> | it makes sense, although I thought that GHC would be able to figure out that (C x => C x) ~ C x |
| 2021-06-03 11:09:12 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-03 11:09:12 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-06-03 11:09:17 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 11:09:49 +0000 | ddellacosta | (~ddellacos@86.106.121.71) |
| 2021-06-03 11:11:16 +0000 | node-sh | (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) |
| 2021-06-03 11:14:02 +0000 | ddellaco_ | (~ddellacos@89.45.224.66) |
| 2021-06-03 11:14:50 +0000 | ddellacosta | (~ddellacos@86.106.121.71) (Ping timeout: 268 seconds) |
| 2021-06-03 11:14:50 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-03 11:15:05 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 11:16:31 +0000 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-06-03 11:17:21 +0000 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 272 seconds) |
| 2021-06-03 11:17:25 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 245 seconds) |
| 2021-06-03 11:18:15 +0000 | ddellaco_ | (~ddellacos@89.45.224.66) (Ping timeout: 245 seconds) |
| 2021-06-03 11:19:32 +0000 | killsushi_ | (~killsushi@user/killsushi/x-5912268) (Quit: Leaving) |
| 2021-06-03 11:20:13 +0000 | a6a45081-2b83 | (~aditya@106.212.70.132) (Remote host closed the connection) |
| 2021-06-03 11:20:22 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-03 11:21:04 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 11:23:27 +0000 | oxide | (~lambda@user/oxide) (Read error: Connection reset by peer) |
| 2021-06-03 11:24:00 +0000 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-03 11:24:23 +0000 | ozzymcduff | Guest7893 |
| 2021-06-03 11:25:25 +0000 | oxide | (~lambda@user/oxide) |
| 2021-06-03 11:26:10 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-03 11:26:41 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 11:27:05 +0000 | leeb_ | (~leeb@KD111239152092.au-net.ne.jp) (Quit: WeeChat 3.1) |
| 2021-06-03 11:28:30 +0000 | ddellacosta | (~ddellacos@89.46.62.47) |
| 2021-06-03 11:29:59 +0000 | mc47 | (~yecinem@89.246.239.190) |
| 2021-06-03 11:30:53 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 11:32:43 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-06-03 11:33:08 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 11:33:20 +0000 | ddellacosta | (~ddellacos@89.46.62.47) (Ping timeout: 268 seconds) |
| 2021-06-03 11:35:48 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Ping timeout: 268 seconds) |
| 2021-06-03 11:36:47 +0000 | carbolymer_ | carbolymer |
| 2021-06-03 11:41:33 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-03 11:41:57 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 11:43:41 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-06-03 11:45:52 +0000 | rk04 | (~rk04@user/rajk) (Ping timeout: 250 seconds) |
| 2021-06-03 11:46:26 +0000 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-06-03 11:46:30 +0000 | ddellacosta | (~ddellacos@89.46.62.37) |
| 2021-06-03 11:46:50 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-06-03 11:47:00 +0000 | haskman | (~haskman@223.190.2.235) |
| 2021-06-03 11:48:45 +0000 | ddellaco_ | (~ddellacos@89.46.62.170) |
| 2021-06-03 11:49:59 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-06-03 11:51:13 +0000 | ddellacosta | (~ddellacos@89.46.62.37) (Ping timeout: 268 seconds) |
| 2021-06-03 11:51:49 +0000 | oxide | (~lambda@user/oxide) (Read error: Connection reset by peer) |
| 2021-06-03 11:51:56 +0000 | img | (~img@2405:6580:b1c0:2500:2508:a86c:693c:5a39) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-06-03 11:53:03 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 11:53:24 +0000 | ddellaco_ | (~ddellacos@89.46.62.170) (Ping timeout: 272 seconds) |
| 2021-06-03 11:53:34 +0000 | img | (~img@2405:6580:b1c0:2500:67f2:d741:c73f:49d3) |
| 2021-06-03 12:01:05 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 268 seconds) |
| 2021-06-03 12:02:27 +0000 | hmmmas | (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-06-03 12:03:05 +0000 | Deide | (~Deide@wire.desu.ga) |
| 2021-06-03 12:03:05 +0000 | Deide | (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-03 12:03:05 +0000 | Deide | (~Deide@user/deide) |
| 2021-06-03 12:04:07 +0000 | tomsmeding | didn't follow the discussion but thinks that that type equality, (C x => C x) ~ C x, doesn't actually hold in GHC |
| 2021-06-03 12:04:11 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-03 12:04:33 +0000 | <tomsmeding> | seeing as contexts become dictionaries and that => turns into an actual -> in Core |
| 2021-06-03 12:04:38 +0000 | shailangsa | (~shailangs@host86-186-136-74.range86-186.btcentralplus.com) (Remote host closed the connection) |
| 2021-06-03 12:04:47 +0000 | ddellacosta | (~ddellacos@89.46.62.125) |
| 2021-06-03 12:09:52 +0000 | ddellacosta | (~ddellacos@89.46.62.125) (Ping timeout: 272 seconds) |
| 2021-06-03 12:10:03 +0000 | jacks2 | (~bc817c21@217.29.117.252) |
| 2021-06-03 12:10:19 +0000 | aguapesada | (~aguapesad@2804:14c:8793:8e2f:930e:9446:3a9d:bc55) |
| 2021-06-03 12:11:34 +0000 | wonko | (~wjc@62.115.229.50) (Quit: See You Space Cowboy..) |
| 2021-06-03 12:14:30 +0000 | wonko | (~wjc@62.115.229.50) |
| 2021-06-03 12:14:30 +0000 | fabfianda | (~fabfianda@net-93-148-125-174.cust.dsl.teletu.it) (Ping timeout: 245 seconds) |
| 2021-06-03 12:16:47 +0000 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-03 12:19:41 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-03 12:19:45 +0000 | smitop | (uid328768@user/smitop) |
| 2021-06-03 12:20:31 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2021-06-03 12:20:49 +0000 | alex3 | (~Chel@BSN-77-82-41.static.siol.net) (Ping timeout: 268 seconds) |
| 2021-06-03 12:21:01 +0000 | ixlun | (~matthew@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-06-03 12:21:10 +0000 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
| 2021-06-03 12:21:27 +0000 | fabfianda | (~fabfianda@37.183.233.166) |
| 2021-06-03 12:22:23 +0000 | ddellacosta | (~ddellacos@89.46.62.86) |
| 2021-06-03 12:22:43 +0000 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-03 12:23:16 +0000 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
| 2021-06-03 12:23:22 +0000 | ddellaco_ | (~ddellacos@89.45.224.254) |
| 2021-06-03 12:24:20 +0000 | oxide | (~lambda@user/oxide) |
| 2021-06-03 12:24:55 +0000 | dario | (~dario@2a02:8108:1100:16d8:e0ee:dd2d:d9e4:1cf) |
| 2021-06-03 12:25:14 +0000 | ac | (~aloiscoch@2001:470:69fc:105::65) |
| 2021-06-03 12:25:23 +0000 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) |
| 2021-06-03 12:25:47 +0000 | exarkun1 | (~exarkun@user/exarkun) (Read error: Connection reset by peer) |
| 2021-06-03 12:26:03 +0000 | exarkun2 | (~exarkun@user/exarkun) |
| 2021-06-03 12:26:57 +0000 | ddellacosta | (~ddellacos@89.46.62.86) (Ping timeout: 265 seconds) |
| 2021-06-03 12:26:57 +0000 | dario1 | (~dario@8.44.0.53) |
| 2021-06-03 12:27:02 +0000 | pbrisbin | (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-03 12:27:03 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 12:27:50 +0000 | ddellaco_ | (~ddellacos@89.45.224.254) (Ping timeout: 245 seconds) |
| 2021-06-03 12:28:06 +0000 | boxscape | (~boxscape@user/boxscape) |
| 2021-06-03 12:28:14 +0000 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Ping timeout: 272 seconds) |
| 2021-06-03 12:30:20 +0000 | dario | (~dario@2a02:8108:1100:16d8:e0ee:dd2d:d9e4:1cf) (Ping timeout: 265 seconds) |
| 2021-06-03 12:31:21 +0000 | <boxscape> | tomsmeding there's quite a bit of weirdness when it comes to equalities like that, I submitted an issue about it a while back https://gitlab.haskell.org/ghc/ghc/-/issues/17372 |
| 2021-06-03 12:31:28 +0000 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2021-06-03 12:31:33 +0000 | <boxscape> | i.e. using type synonyms changes whether things are equal or not |
| 2021-06-03 12:31:37 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-03 12:32:03 +0000 | dario2 | (~dario@8.43.122.4) |
| 2021-06-03 12:32:09 +0000 | <boxscape> | (though I think you're right that that particular equality never holds) |
| 2021-06-03 12:32:27 +0000 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2021-06-03 12:33:59 +0000 | benin0 | (~benin@183.82.205.186) (Ping timeout: 272 seconds) |
| 2021-06-03 12:34:06 +0000 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
| 2021-06-03 12:34:12 +0000 | dario1 | (~dario@8.44.0.53) (Ping timeout: 265 seconds) |
| 2021-06-03 12:34:23 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-06-03 12:34:58 +0000 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) |
| 2021-06-03 12:36:01 +0000 | <jacks2> | guest63``, python has similar syntax for creating tuples as python, ie: (1, "foo") |
| 2021-06-03 12:36:18 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 264 seconds) |
| 2021-06-03 12:36:24 +0000 | <tomsmeding> | boxscape: ewwww |
| 2021-06-03 12:37:31 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 12:39:34 +0000 | jacks2 | (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/) |
| 2021-06-03 12:40:28 +0000 | jacks2 | (~bc817c21@217.29.117.252) |
| 2021-06-03 12:42:46 +0000 | shryke | (~shryke@91.103.43.254) |
| 2021-06-03 12:42:57 +0000 | rk0478 | (~rk04@user/rajk) |
| 2021-06-03 12:43:01 +0000 | fabfianda | (~fabfianda@37.183.233.166) (Ping timeout: 268 seconds) |
| 2021-06-03 12:43:07 +0000 | rk0478 | (~rk04@user/rajk) (Client Quit) |
| 2021-06-03 12:44:06 +0000 | <stefan-_> | :t ($ 32) |
| 2021-06-03 12:44:07 +0000 | <lambdabot> | Num a => (a -> b) -> b |
| 2021-06-03 12:45:14 +0000 | rk04 | (~rk04@user/rajk) (Ping timeout: 250 seconds) |
| 2021-06-03 12:46:55 +0000 | comerijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 12:47:05 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-03 12:47:06 +0000 | alex3 | (~Chel@BSN-77-82-41.static.siol.net) |
| 2021-06-03 12:47:52 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-03 12:48:33 +0000 | nerdypepper | (znc@152.67.162.71) (Changing host) |
| 2021-06-03 12:48:33 +0000 | nerdypepper | (znc@user/nerdypepper) |
| 2021-06-03 12:51:57 +0000 | haskman | (~haskman@223.190.2.235) (Quit: QUIT) |
| 2021-06-03 12:52:07 +0000 | fabfianda | (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) |
| 2021-06-03 12:53:21 +0000 | <carbolymer> | is there a real difference between `MonadBaseControl IO m` and `MonadUnliftIO m`? at first glance both seem to accomplish the same |
| 2021-06-03 12:53:24 +0000 | reumeth | (~reumeth@user/reumeth) |
| 2021-06-03 12:53:32 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds) |
| 2021-06-03 12:54:03 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-03 12:55:24 +0000 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
| 2021-06-03 12:55:37 +0000 | jolly | (~jolly@208.180.97.158) |
| 2021-06-03 12:56:19 +0000 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) |
| 2021-06-03 12:56:31 +0000 | <carbolymer> | oh nvm, I'm reading blogpost which has this near the end https://lexi-lambda.github.io/blog/2019/09/07/demystifying-monadbasecontrol/ |
| 2021-06-03 12:58:02 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-03 12:59:01 +0000 | aguapesada | (~aguapesad@2804:14c:8793:8e2f:930e:9446:3a9d:bc55) (Quit: aguapesada) |
| 2021-06-03 12:59:08 +0000 | ddellacosta | (~ddellacos@86.106.121.73) |
| 2021-06-03 13:00:32 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-03 13:00:35 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-03 13:01:15 +0000 | alx741 | (~alx741@186.178.108.19) |
| 2021-06-03 13:01:46 +0000 | chomwitt | (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-06-03 13:01:50 +0000 | aguapesada | (~aguapesad@191.177.175.57) |
| 2021-06-03 13:01:57 +0000 | ddellaco_ | (~ddellacos@86.106.143.248) |
| 2021-06-03 13:03:42 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-03 13:05:13 +0000 | carbolymer | considers yeeting away unliftio from the project and replacing it with MonadBaseControl lifting |
| 2021-06-03 13:05:49 +0000 | <comerijn> | carbolymer: That's the wrong way around |
| 2021-06-03 13:05:56 +0000 | <comerijn> | MonadBaseControl is nightmare fuel |
| 2021-06-03 13:06:10 +0000 | <carbolymer> | pls explain |
| 2021-06-03 13:06:19 +0000 | <carbolymer> | from what I see, I can achieve the same effect |
| 2021-06-03 13:06:28 +0000 | <comerijn> | After over a decade of Haskell I don't think I (or really, anyone else) can safely use MonadBaseControl |
| 2021-06-03 13:06:41 +0000 | <comerijn> | carbolymer: No, there are lots of things that can't be made MonadUnliftIO |
| 2021-06-03 13:06:48 +0000 | node-sh | (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) (Ping timeout: 244 seconds) |
| 2021-06-03 13:06:52 +0000 | ddellaco_ | (~ddellacos@86.106.143.248) (Ping timeout: 272 seconds) |
| 2021-06-03 13:06:59 +0000 | <comerijn> | For good reason, because their MonadBaseControl instance are insanity inducing |
| 2021-06-03 13:08:13 +0000 | <comerijn> | For example, you cannot make StateT MonadUnliftIO, because the semantics of things like "catch" are *wildly* confusing |
| 2021-06-03 13:09:35 +0000 | <sclv> | I fundamentally disagree |
| 2021-06-03 13:09:49 +0000 | <sclv> | MonadUnliftIO is essentially useless to me |
| 2021-06-03 13:10:03 +0000 | <carbolymer> | comerijn: I mean, yeah, right, I meant MonadBaseControl is more general, and one can do more with it |
| 2021-06-03 13:10:06 +0000 | <sclv> | because iirc it only unlifts things iso to reader |
| 2021-06-03 13:10:33 +0000 | node-sh | (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) |
| 2021-06-03 13:10:51 +0000 | <sclv> | all my monad stacks are more interesting than what it lets me do |
| 2021-06-03 13:11:08 +0000 | <boxscape> | well it's designed to work with the ReaderT pattern so that makes sense |
| 2021-06-03 13:11:33 +0000 | <sclv> | The problem imho is that for a very long time people didn't realize that there's (basically for mathematical reasons) no way to do any sort of unlift for ContT type monads -- this is a hard barrier |
| 2021-06-03 13:11:58 +0000 | <sclv> | so we had things that attempted to be more general than actually possible |
| 2021-06-03 13:12:37 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 13:12:43 +0000 | <sclv> | the right middle ground for my cases has always been unlifting for things that can be presented algebrically, since there's good tools for reasoning about those, and its formally sound |
| 2021-06-03 13:13:37 +0000 | <sclv> | if you understand those reasoning tools, then i've found the semantics for things like catch not too confusing at all |
| 2021-06-03 13:13:39 +0000 | cross | (~cross@spitfire.i.gajendra.net) |
| 2021-06-03 13:13:41 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 13:13:55 +0000 | cross | (~cross@spitfire.i.gajendra.net) (Client Quit) |
| 2021-06-03 13:15:09 +0000 | chomwitt | (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 272 seconds) |
| 2021-06-03 13:16:22 +0000 | cross | (~cross@spitfire.i.gajendra.net) |
| 2021-06-03 13:16:35 +0000 | cross | (~cross@spitfire.i.gajendra.net) (Client Quit) |
| 2021-06-03 13:17:28 +0000 | cross | (~cross@spitfire.i.gajendra.net) |
| 2021-06-03 13:18:04 +0000 | chomwitt | (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) |
| 2021-06-03 13:19:04 +0000 | keutoi | (~keutoi@157.48.154.6) |
| 2021-06-03 13:22:42 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 13:23:06 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 13:23:23 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 13:23:33 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-03 13:24:49 +0000 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:49 +0000 | sm[m] | (~sm@plaintextaccounting/sm) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:49 +0000 | bb010g | (~bb010gmat@2001:470:69fc:105::9a5) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:49 +0000 | siraben | (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | maralorn | (~maralorn@2001:470:69fc:105::251) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | ac | (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | peddie | (~peddie@2001:470:69fc:105::25d) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | fgaz | (~fgaz@2001:470:69fc:105::842) (Quit: node-irc says goodbye) |
| 2021-06-03 13:24:50 +0000 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Quit: node-irc says goodbye) |
| 2021-06-03 13:25:45 +0000 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2021-06-03 13:28:13 +0000 | siraben | (~siraben@user/siraben) |
| 2021-06-03 13:28:13 +0000 | ac | (~aloiscoch@2001:470:69fc:105::65) |
| 2021-06-03 13:28:13 +0000 | psydroid | (~psydroidm@2001:470:69fc:105::165) |
| 2021-06-03 13:28:13 +0000 | sm[m] | (~sm@plaintextaccounting/sm) |
| 2021-06-03 13:28:13 +0000 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
| 2021-06-03 13:28:13 +0000 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) |
| 2021-06-03 13:28:13 +0000 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2021-06-03 13:28:13 +0000 | maralorn | (~maralorn@2001:470:69fc:105::251) |
| 2021-06-03 13:28:14 +0000 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2021-06-03 13:28:14 +0000 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) |
| 2021-06-03 13:28:15 +0000 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
| 2021-06-03 13:28:25 +0000 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) |
| 2021-06-03 13:28:25 +0000 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) |
| 2021-06-03 13:28:26 +0000 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) |
| 2021-06-03 13:28:26 +0000 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
| 2021-06-03 13:28:26 +0000 | tomferon[m] | (~tomferon@2001:470:69fc:105::268) |
| 2021-06-03 13:28:26 +0000 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2021-06-03 13:28:26 +0000 | bb010g | (~bb010gmat@2001:470:69fc:105::9a5) |
| 2021-06-03 13:28:26 +0000 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
| 2021-06-03 13:28:26 +0000 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2021-06-03 13:28:26 +0000 | zwro[m] | (~zwromatri@2001:470:69fc:105::1d4) |
| 2021-06-03 13:28:27 +0000 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
| 2021-06-03 13:28:27 +0000 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
| 2021-06-03 13:28:27 +0000 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) |
| 2021-06-03 13:28:27 +0000 | amesgen[m] | (~amesgenam@2001:470:69fc:105::82b) |
| 2021-06-03 13:28:27 +0000 | eddiemundo | (~eddiemund@2001:470:69fc:105::a9c) |
| 2021-06-03 13:28:27 +0000 | Soft | (~soft-matr@2001:470:69fc:105::c75) |
| 2021-06-03 13:28:28 +0000 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) |
| 2021-06-03 13:28:28 +0000 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2021-06-03 13:30:02 +0000 | larkfisherman | (~larkfishe@217.75.204.126) (Quit: Leaving) |
| 2021-06-03 13:30:13 +0000 | <absence> | i have an ffi call which calls back to haskell. is there any reason why calling throwTo from this callback wouldn't do anything? |
| 2021-06-03 13:30:31 +0000 | <comerijn> | absence: What would it do? |
| 2021-06-03 13:30:37 +0000 | nkpart | (uid3844@id-3844.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-03 13:31:05 +0000 | realtime | (~realtime@177.18.185.16) |
| 2021-06-03 13:31:24 +0000 | <absence> | comerijn: raise an async exception in the thread specified by the thread id i pass it |
| 2021-06-03 13:31:36 +0000 | <comerijn> | Ah, wait, throwTo...hmm |
| 2021-06-03 13:31:43 +0000 | <comerijn> | Good question |
| 2021-06-03 13:31:58 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 13:32:01 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-03 13:32:22 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 13:32:25 +0000 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-06-03 13:32:38 +0000 | dario2 | (~dario@8.43.122.4) (Quit: #emacs) |
| 2021-06-03 13:32:51 +0000 | hendursaga | (~weechat@user/hendursaga) |
| 2021-06-03 13:34:45 +0000 | hyiltiz | (~quassel@31.220.5.250) (Quit: hyiltiz) |
| 2021-06-03 13:36:03 +0000 | chomwitt | (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 268 seconds) |
| 2021-06-03 13:36:31 +0000 | comerijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: Reconnecting) |
| 2021-06-03 13:36:38 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 13:37:16 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Ping timeout: 272 seconds) |
| 2021-06-03 13:37:39 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-03 13:38:07 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-03 13:38:58 +0000 | larkfisherman | (~larkfishe@217.75.204.126) |
| 2021-06-03 13:41:53 +0000 | shryke | (~shryke@91.103.43.254) (WeeChat 3.1) |
| 2021-06-03 13:42:30 +0000 | ddellaco_ | (~ddellacos@86.106.121.183) |
| 2021-06-03 13:45:20 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-03 13:45:29 +0000 | ku | (~ku@2601:280:c780:7ea0:cdcf:a821:1b13:9eb8) |
| 2021-06-03 13:47:06 +0000 | ddellaco_ | (~ddellacos@86.106.121.183) (Ping timeout: 244 seconds) |
| 2021-06-03 13:47:45 +0000 | egoist | (~egoist@186.235.82.52) |
| 2021-06-03 13:48:30 +0000 | exarkun2 | (~exarkun@user/exarkun) (Read error: Connection reset by peer) |
| 2021-06-03 13:48:39 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds) |
| 2021-06-03 13:48:43 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 13:49:34 +0000 | exarkun2 | (~exarkun@user/exarkun) |
| 2021-06-03 13:49:41 +0000 | ku | (~ku@2601:280:c780:7ea0:cdcf:a821:1b13:9eb8) (Ping timeout: 244 seconds) |
| 2021-06-03 13:50:54 +0000 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-06-03 13:54:44 +0000 | bramhaag | (~bramhaag@endeavour.servers.alpaca.engineer) |
| 2021-06-03 13:57:39 +0000 | <kuribas> | carbolymer: you throw all out, and write manual adapters :) |
| 2021-06-03 13:57:48 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-03 13:58:03 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-06-03 13:58:19 +0000 | <carbolymer> | kuribas: manual writing considered harmful |
| 2021-06-03 13:58:21 +0000 | <kuribas> | MonadBaseControl is pure evil, MonadUnliftIO is mostly air... |
| 2021-06-03 13:58:38 +0000 | <kuribas> | carbolymer: MonadUnliftIO doesn't give you much. |
| 2021-06-03 13:58:51 +0000 | <merijn> | carbolymer: Manual writing is evil, but unpredictable and confusing code is eviller |
| 2021-06-03 13:59:22 +0000 | <kuribas> | merijn: why is that evil. |
| 2021-06-03 13:59:31 +0000 | <kuribas> | I don't mind some small amount of boilerplate code. |
| 2021-06-03 13:59:33 +0000 | <merijn> | kuribas: Duplication, I meant |
| 2021-06-03 13:59:39 +0000 | <kuribas> | right |
| 2021-06-03 14:01:20 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2021-06-03 14:01:35 +0000 | jose_zap | (~textual@188-182-241-27-dynamic.dk.customer.tdc.net) |
| 2021-06-03 14:03:46 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 14:04:17 +0000 | slack1256 | (~slack1256@181.203.17.159) |
| 2021-06-03 14:08:05 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-06-03 14:11:29 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev) |
| 2021-06-03 14:11:29 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-03 14:11:34 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-03 14:11:39 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 14:12:41 +0000 | listofoptions_ | listofoptions |
| 2021-06-03 14:12:50 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-06-03 14:16:11 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-06-03 14:17:42 +0000 | keutoi | (~keutoi@157.48.154.6) (Ping timeout: 264 seconds) |
| 2021-06-03 14:17:57 +0000 | ddellaco_ | (~ddellacos@89.46.62.196) |
| 2021-06-03 14:22:10 +0000 | igghibu | (~igghibu@91.193.5.46) |
| 2021-06-03 14:22:32 +0000 | ddellaco_ | (~ddellacos@89.46.62.196) (Ping timeout: 252 seconds) |
| 2021-06-03 14:22:41 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-03 14:24:14 +0000 | keutoi | (~keutoi@106.208.55.80) |
| 2021-06-03 14:25:30 +0000 | exarkun2 | (~exarkun@user/exarkun) (Remote host closed the connection) |
| 2021-06-03 14:25:35 +0000 | Guest7893 | (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Remote host closed the connection) |
| 2021-06-03 14:25:44 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-06-03 14:26:03 +0000 | exarkun2 | (~exarkun@user/exarkun) |
| 2021-06-03 14:26:27 +0000 | psydroid | (~psydroidm@2001:470:69fc:105::165) (Changing host) |
| 2021-06-03 14:26:27 +0000 | psydroid | (~psydroidm@user/psydroid) |
| 2021-06-03 14:28:24 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-06-03 14:30:18 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-06-03 14:31:06 +0000 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 272 seconds) |
| 2021-06-03 14:32:06 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-03 14:32:10 +0000 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 268 seconds) |
| 2021-06-03 14:32:29 +0000 | ixlun | (~matthew@109.249.184.235) |
| 2021-06-03 14:33:35 +0000 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-03 14:33:41 +0000 | exarkun2 | (~exarkun@user/exarkun) (Quit: WeeChat 2.4) |
| 2021-06-03 14:35:10 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-06-03 14:35:48 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-06-03 14:36:28 +0000 | learner-monad | (~eric@cpe-174-105-47-100.columbus.res.rr.com) |
| 2021-06-03 14:36:47 +0000 | keutoi_ | (~keutoi@106.208.13.22) |
| 2021-06-03 14:38:04 +0000 | keutoi | (~keutoi@106.208.55.80) (Ping timeout: 272 seconds) |
| 2021-06-03 14:38:28 +0000 | ddellacosta | (~ddellacos@86.106.121.73) (Remote host closed the connection) |
| 2021-06-03 14:38:47 +0000 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-03 14:38:56 +0000 | slac13085 | (~slack1256@181.203.3.95) |
| 2021-06-03 14:38:57 +0000 | ddellacosta | (~ddellacos@86.106.121.73) |
| 2021-06-03 14:38:58 +0000 | ddellacosta | (~ddellacos@86.106.121.73) (Remote host closed the connection) |
| 2021-06-03 14:39:17 +0000 | ukari | (~ukari@user/ukari) |
| 2021-06-03 14:39:28 +0000 | ddellacosta | (~ddellacos@86.106.121.73) |
| 2021-06-03 14:40:05 +0000 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-03 14:41:07 +0000 | ddellaco_ | (~ddellacos@89.46.62.114) |
| 2021-06-03 14:41:19 +0000 | slack1256 | (~slack1256@181.203.17.159) (Ping timeout: 265 seconds) |
| 2021-06-03 14:41:36 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-03 14:44:13 +0000 | ddellacosta | (~ddellacos@86.106.121.73) (Ping timeout: 265 seconds) |
| 2021-06-03 14:47:03 +0000 | jalonso | (~user@90.71.136.33) |
| 2021-06-03 14:48:12 +0000 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 272 seconds) |
| 2021-06-03 14:48:29 +0000 | tboerstad | (~tboerstad@91.90.104.201) (Quit: Connection closed) |
| 2021-06-03 14:49:44 +0000 | ddellacosta | (~ddellacos@86.106.121.209) |
| 2021-06-03 14:50:46 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 14:52:55 +0000 | koishi_ | (~koishi_@185.209.85.134) (Quit: /ragequit) |
| 2021-06-03 14:53:41 +0000 | keutoi_ | (~keutoi@106.208.13.22) (Quit: leaving) |
| 2021-06-03 14:54:32 +0000 | ddellacosta | (~ddellacos@86.106.121.209) (Ping timeout: 272 seconds) |
| 2021-06-03 14:58:51 +0000 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-03 14:59:12 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 265 seconds) |
| 2021-06-03 15:00:43 +0000 | oxide | (~lambda@user/oxide) |
| 2021-06-03 15:00:54 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-03 15:01:05 +0000 | feetwind | (~mike@2406:d500:6:1:216:3cff:fe36:651) |
| 2021-06-03 15:01:10 +0000 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-03 15:02:38 +0000 | GIANTWORLDKEEPER | (~pjetcetal@2.95.204.25) (Read error: Connection reset by peer) |
| 2021-06-03 15:03:47 +0000 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 252 seconds) |
| 2021-06-03 15:04:05 +0000 | jalonso | (~user@90.71.136.33) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-06-03 15:05:34 +0000 | GIANTWORLDKEEPER | (~pjetcetal@2.95.204.25) |
| 2021-06-03 15:05:42 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-06-03 15:05:58 +0000 | jalonso | (~user@90.71.136.33) |
| 2021-06-03 15:07:30 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-06-03 15:07:55 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 15:09:45 +0000 | koishi_ | (~koishi_@185.209.85.134) |
| 2021-06-03 15:10:34 +0000 | jalonso | (~user@90.71.136.33) (Client Quit) |
| 2021-06-03 15:11:01 +0000 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-06-03 15:11:10 +0000 | jalonso | (~user@90.71.136.33) |
| 2021-06-03 15:12:13 +0000 | UNIXCHAD_ | (~UNIXCHAD_@41.45.242.27) |
| 2021-06-03 15:15:17 +0000 | igghibu | (~igghibu@91.193.5.46) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-03 15:18:10 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-03 15:18:19 +0000 | jalonso | (~user@90.71.136.33) (ERC (IRC client for Emacs 26.3)) |
| 2021-06-03 15:18:38 +0000 | azeem | (~azeem@176.200.202.86) |
| 2021-06-03 15:20:28 +0000 | julm | (~julm@user/julm) (Quit: leaving) |
| 2021-06-03 15:22:19 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 15:24:59 +0000 | tjwds | (~tjwds@194.44.236.50) |
| 2021-06-03 15:24:59 +0000 | <tjwds> | /!\ ТНIЅ CHANⲚEⅬ HΑЅ MОVΕD ΤO IRⅭ.ᏞІBERΑ.CᎻᎪT ﹟ΗAMᎡAᗪІΟ ⁄！＼ |
| 2021-06-03 15:24:59 +0000 | tjwds | (~tjwds@194.44.236.50) (K-Lined) |
| 2021-06-03 15:27:09 +0000 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-06-03 15:28:16 +0000 | tako | (~user@net-2-45-30-17.cust.vodafonedsl.it) |
| 2021-06-03 15:31:33 +0000 | jose_zap | (~textual@188-182-241-27-dynamic.dk.customer.tdc.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-03 15:31:50 +0000 | <zfnmxt> | Is it possible to use (*) as a type operator with TypeOperators? |
| 2021-06-03 15:32:06 +0000 | Sose | (~username@mobile-access-6df04b-135.dhcp.inet.fi) |
| 2021-06-03 15:32:15 +0000 | <geekosaur> | with -XNoStarIsType, yes |
| 2021-06-03 15:32:26 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 15:32:27 +0000 | <zfnmxt> | Ah, I did that but just realized I forgot to rebuild =/ |
| 2021-06-03 15:32:30 +0000 | <zfnmxt> | Thanks :P |
| 2021-06-03 15:32:35 +0000 | aguapesada | (~aguapesad@191.177.175.57) (Ping timeout: 272 seconds) |
| 2021-06-03 15:33:11 +0000 | derelict | (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-06-03 15:33:38 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 15:33:50 +0000 | ikex | (~ash@user/ikex) (Ping timeout: 268 seconds) |
| 2021-06-03 15:34:22 +0000 | feetwind | (~mike@2406:d500:6:1:216:3cff:fe36:651) (Changing host) |
| 2021-06-03 15:34:22 +0000 | feetwind | (~mike@user/feetwind) |
| 2021-06-03 15:35:17 +0000 | sszark | (~sszark@h-85-24-213-180.A392.priv.bahnhof.se) |
| 2021-06-03 15:36:11 +0000 | swistak- | swistak |
| 2021-06-03 15:37:36 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds) |
| 2021-06-03 15:37:53 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Ping timeout: 252 seconds) |
| 2021-06-03 15:38:47 +0000 | chomwitt | (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) |
| 2021-06-03 15:43:58 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:40eb:897:c28a:3711) |
| 2021-06-03 15:47:03 +0000 | chomwitt | (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 265 seconds) |
| 2021-06-03 15:47:12 +0000 | larkfisherman | (~larkfishe@217.75.204.126) (Remote host closed the connection) |
| 2021-06-03 15:47:42 +0000 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 264 seconds) |
| 2021-06-03 15:52:38 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-03 15:55:11 +0000 | ddellacosta | (~ddellacos@86.106.143.131) |
| 2021-06-03 15:56:42 +0000 | azeem | (~azeem@176.200.202.86) (Ping timeout: 264 seconds) |
| 2021-06-03 15:57:09 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 15:57:40 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Read error: Connection reset by peer) |
| 2021-06-03 15:58:15 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-03 15:58:30 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c560:d782:d610:e2ed) (Ping timeout: 268 seconds) |
| 2021-06-03 15:59:42 +0000 | ddellacosta | (~ddellacos@86.106.143.131) (Ping timeout: 264 seconds) |
| 2021-06-03 15:59:47 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-03 16:00:09 +0000 | chomwitt | (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) |
| 2021-06-03 16:01:27 +0000 | Scotty_Trees | (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-03 16:03:01 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-03 16:03:01 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-06-03 16:08:28 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-06-03 16:11:10 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-03 16:11:42 +0000 | fradet | (~fradet@216.252.75.247) |
| 2021-06-03 16:15:45 +0000 | <janus> | i am looking to convert a Rational to a Scientific, with a reasonable amount of precision |
| 2021-06-03 16:16:03 +0000 | <janus> | i could convert to integer and then from that to Scentific, but that loses more precision than i'd like |
| 2021-06-03 16:16:37 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-03 16:16:40 +0000 | <janus> | i was thinking i'd multiply with the desired after-decimal precision, convert to integer, convert to scientific, then divide, but it seems clumsy |
| 2021-06-03 16:16:59 +0000 | <janus> | tried hoogling for Fractional a => a -> Scientific but it gives me nothing useful |
| 2021-06-03 16:17:06 +0000 | <Taneb> | janus: you can use `fromRational`, which is in Prelude (in the Fractional class) |
| 2021-06-03 16:17:12 +0000 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-03 16:17:33 +0000 | <janus> | oooh nice, thanks Taneb |
| 2021-06-03 16:18:52 +0000 | thonkpod | (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Quit: thonkpod) |
| 2021-06-03 16:18:54 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
| 2021-06-03 16:19:11 +0000 | thonkpod | (~thonkpod@user/thonkpod) |
| 2021-06-03 16:22:26 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 16:23:12 +0000 | Guest4258 | (~anonymoos@r202-10.mmcs.rsu.ru) |
| 2021-06-03 16:23:46 +0000 | Guest4258 | (~anonymoos@r202-10.mmcs.rsu.ru) () |
| 2021-06-03 16:24:06 +0000 | egoist1 | (~egoist@186.235.82.52) |
| 2021-06-03 16:27:07 +0000 | <Ariakenom> | :t fromRational . toRational -- viaRational |
| 2021-06-03 16:27:08 +0000 | <lambdabot> | (Fractional c, Real a) => a -> c |
| 2021-06-03 16:27:23 +0000 | egoist | (~egoist@186.235.82.52) (Ping timeout: 252 seconds) |
| 2021-06-03 16:28:41 +0000 | sm2n_ | sm2n |
| 2021-06-03 16:29:11 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2021-06-03 16:29:43 +0000 | <Taneb> | :t realToFrac |
| 2021-06-03 16:29:43 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-03 16:29:44 +0000 | <lambdabot> | (Real a, Fractional b) => a -> b |
| 2021-06-03 16:29:51 +0000 | <Taneb> | Ariakenom: :) |
| 2021-06-03 16:30:04 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 16:30:10 +0000 | node-sh | (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) (Ping timeout: 272 seconds) |
| 2021-06-03 16:30:43 +0000 | <Ariakenom> | oh that was the one that existed. but not the Integer one iirc |
| 2021-06-03 16:31:35 +0000 | node-sh | (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) |
| 2021-06-03 16:31:43 +0000 | <Taneb> | :t fromIntegral |
| 2021-06-03 16:31:44 +0000 | <lambdabot> | (Integral a, Num b) => a -> b |
| 2021-06-03 16:31:47 +0000 | <Taneb> | That's the Integer one |
| 2021-06-03 16:31:54 +0000 | <Taneb> | They both exist |
| 2021-06-03 16:32:56 +0000 | shailangsa | (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) |
| 2021-06-03 16:33:11 +0000 | <Ariakenom> | huh must've misremembered. thanks |
| 2021-06-03 16:34:08 +0000 | ddellacosta | (~ddellacos@86.106.143.222) |
| 2021-06-03 16:34:30 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2021-06-03 16:39:02 +0000 | ddellacosta | (~ddellacos@86.106.143.222) (Ping timeout: 272 seconds) |
| 2021-06-03 16:44:50 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-03 16:45:13 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 16:46:19 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 16:46:38 +0000 | fradet | (~fradet@216.252.75.247) (Ping timeout: 272 seconds) |
| 2021-06-03 16:47:15 +0000 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-06-03 16:50:35 +0000 | haltux | (~haltux@a89-154-181-47.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-06-03 16:50:45 +0000 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-06-03 16:51:33 +0000 | bfrk | (~Thunderbi@200116b8456bb4003c666de9803185e6.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2021-06-03 16:51:35 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-03 16:51:49 +0000 | econo | (uid147250@user/econo) |
| 2021-06-03 16:52:05 +0000 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-06-03 16:52:08 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 16:54:14 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-06-03 16:54:21 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-03 16:55:11 +0000 | o1lo01ol_ | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 16:55:41 +0000 | boxscape | (~boxscape@user/boxscape) (Ping timeout: 265 seconds) |
| 2021-06-03 16:56:00 +0000 | koishi_ | (~koishi_@185.209.85.134) (Quit: /ragequit) |
| 2021-06-03 16:56:19 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2021-06-03 16:57:10 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-06-03 16:57:45 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-03 16:58:02 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-03 16:58:05 +0000 | chomwitt | (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 272 seconds) |
| 2021-06-03 16:58:43 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Client Quit) |
| 2021-06-03 16:58:56 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-06-03 16:59:13 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 16:59:52 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Client Quit) |
| 2021-06-03 16:59:59 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-03 17:00:07 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-06-03 17:04:28 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 244 seconds) |
| 2021-06-03 17:05:10 +0000 | <maerwald> | can you force your hspecs to run with --job=1? |
| 2021-06-03 17:05:31 +0000 | <maerwald> | regardless of what's specified at command line |
| 2021-06-03 17:05:53 +0000 | ddellacosta | (~ddellacos@86.106.121.183) |
| 2021-06-03 17:05:59 +0000 | <maerwald> | I tried to set parallel = id, but there seems to be more than that |
| 2021-06-03 17:06:32 +0000 | Guest83 | (~Guest83@adsl-72-50-4-187.prtc.net) |
| 2021-06-03 17:06:57 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 17:07:22 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 17:07:26 +0000 | jco | (~jco@c83-248-173-38.bredband.tele2.se) |
| 2021-06-03 17:07:51 +0000 | Guest83 | (~Guest83@adsl-72-50-4-187.prtc.net) (Client Quit) |
| 2021-06-03 17:10:50 +0000 | ddellacosta | (~ddellacos@86.106.121.183) (Ping timeout: 252 seconds) |
| 2021-06-03 17:11:09 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 265 seconds) |
| 2021-06-03 17:11:09 +0000 | dysbarter | (~dysbarter@adsl-72-50-4-187.prtc.net) |
| 2021-06-03 17:14:06 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-03 17:15:08 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 17:15:33 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 17:16:46 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 17:19:31 +0000 | otulp | (~otulp@ti0187q162-2423.bb.online.no) |
| 2021-06-03 17:21:01 +0000 | ixlun | (~matthew@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-06-03 17:24:07 +0000 | jacks2 | (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/) |
| 2021-06-03 17:28:54 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-06-03 17:29:54 +0000 | berberman_ | (~berberman@user/berberman) |
| 2021-06-03 17:30:22 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 17:30:58 +0000 | berberman | (~berberman@user/berberman) (Ping timeout: 272 seconds) |
| 2021-06-03 17:31:53 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 17:32:51 +0000 | chomwitt | (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-06-03 17:33:46 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:40eb:897:c28a:3711) (Read error: Connection reset by peer) |
| 2021-06-03 17:34:41 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-03 17:35:32 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:c8f6:f028:b2f4:81fe) |
| 2021-06-03 17:36:54 +0000 | UNIXCHAD_ | (~UNIXCHAD_@41.45.242.27) (Read error: Connection reset by peer) |
| 2021-06-03 17:37:01 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-03 17:37:18 +0000 | node-sh | (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) (Ping timeout: 272 seconds) |
| 2021-06-03 17:37:51 +0000 | <hololeap> | what's a good way to set a hard limit on GHC memory usage in linux? I've heard people recommend cgroups, although I have no idea how to use that particular feature |
| 2021-06-03 17:38:32 +0000 | <[exa]> | isn't there a gc option for that? |
| 2021-06-03 17:38:36 +0000 | <hololeap> | I don't want HLS to silently eat up all my RAM because I did something fancy and caused GHC to go into a loop |
| 2021-06-03 17:38:58 +0000 | <hololeap> | (which is what happened to me earlier) |
| 2021-06-03 17:39:01 +0000 | <[exa]> | ah hls |
| 2021-06-03 17:40:15 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-03 17:40:58 +0000 | <yushyin> | hololeap: man systemd-run (and man systemd.resource-control) is one interface to cgroups |
| 2021-06-03 17:41:05 +0000 | <wz1000> | hololeap: +RTS -M |
| 2021-06-03 17:41:14 +0000 | <maerwald> | hololeap: https://imgur.com/a/cSDRwyC like that? :> |
| 2021-06-03 17:41:37 +0000 | <maerwald> | also comment on https://github.com/haskell/haskell-language-server/issues/499 |
| 2021-06-03 17:42:15 +0000 | caleb | (sid225275@user/ace) () |
| 2021-06-03 17:42:44 +0000 | ddellacosta | (~ddellacos@86.106.121.183) |
| 2021-06-03 17:45:21 +0000 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.1) |
| 2021-06-03 17:46:19 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 244 seconds) |
| 2021-06-03 17:47:25 +0000 | <hololeap> | maerwald: I didn't get a chance to run top during the time, but I haven't noticed more than one instance running, so I don't think that's the problem |
| 2021-06-03 17:47:29 +0000 | ddellacosta | (~ddellacos@86.106.121.183) (Ping timeout: 272 seconds) |
| 2021-06-03 17:47:52 +0000 | <maerwald> | at any read, make sure to install earlyoom |
| 2021-06-03 17:47:59 +0000 | <maerwald> | s/read/rate/ |
| 2021-06-03 17:48:04 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2021-06-03 17:48:34 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2021-06-03 17:49:07 +0000 | <hololeap> | I caused a loop by being foolish with UndecidableSuperClasses, which I didn't notice until my comp became unresponsive. but, once I got control back, I could verify that it was causing the compiler to spin out of control by trying to run ghci on the module. |
| 2021-06-03 17:49:09 +0000 | Pixi_ | (~Pixi@user/pixi) |
| 2021-06-03 17:49:20 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2021-06-03 17:50:11 +0000 | <maerwald> | haskell is living on the edge... |
| 2021-06-03 17:50:36 +0000 | <hololeap> | maerwald: thanks for the hint about earlyroom. it seems like something I could use |
| 2021-06-03 17:50:38 +0000 | tremon | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-06-03 17:50:49 +0000 | rk04 | (~rk04@user/rajk) (Quit: rk04) |
| 2021-06-03 17:51:02 +0000 | <tapas> | https://www.youtube.com/watch?v=7nqcL0mjMjw |
| 2021-06-03 17:51:24 +0000 | <maerwald> | back when I had 16gb only there was no way to use repl without it |
| 2021-06-03 17:51:32 +0000 | <hololeap> | yushyin: thanks for the tip |
| 2021-06-03 17:52:02 +0000 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-06-03 17:52:04 +0000 | <hololeap> | I'm actually on 12GB right now, but the memory usage in general seems reasonable |
| 2021-06-03 17:52:55 +0000 | <maerwald> | I'm considering to upgrade to 64 |
| 2021-06-03 17:53:08 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 272 seconds) |
| 2021-06-03 17:53:11 +0000 | <maerwald> | when I run my windows VM on the side, memory is full |
| 2021-06-03 17:54:11 +0000 | <hololeap> | on a related note, are there any configuration files for HLS? I haven't seen anything mentioned about them |
| 2021-06-03 17:54:21 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2021-06-03 17:54:49 +0000 | hexfive | (~eric@50.35.83.177) |
| 2021-06-03 17:54:57 +0000 | hexfive | (~eric@50.35.83.177) (Client Quit) |
| 2021-06-03 17:55:05 +0000 | dudek | (~dudek@185.150.236.112) |
| 2021-06-03 17:56:33 +0000 | <hololeap> | for instance, where I could pass in the flags mentioned by wz1000. I keep asking in #haskell-language-server and never get a response |
| 2021-06-03 17:58:12 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 272 seconds) |
| 2021-06-03 17:59:34 +0000 | <maerwald> | hololeap: doesn't that depend on your LSP client? |
| 2021-06-03 17:59:38 +0000 | <wz1000> | hololeap: depends on your client. |
| 2021-06-03 18:03:03 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-03 18:03:21 +0000 | <hololeap> | my client has very minimal LSP support. as far as I can tell, it just lets you configure the command and arguments that are run, and then it gives basic error highlighting and LSP messages |
| 2021-06-03 18:03:41 +0000 | spatchkaa | (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) (Remote host closed the connection) |
| 2021-06-03 18:03:46 +0000 | <hololeap> | Right now, it's configured to run `haskell-language-server-wrapper --lsp` |
| 2021-06-03 18:03:58 +0000 | <tomsmeding> | hololeap: what's the client? |
| 2021-06-03 18:04:02 +0000 | <hololeap> | kate |
| 2021-06-03 18:06:56 +0000 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 252 seconds) |
| 2021-06-03 18:07:01 +0000 | <hololeap> | maerwald: earlyoom is now installed and set to start on boot. Cool, now I shouldn't have to mash Alt+SysRq+F anymore |
| 2021-06-03 18:07:45 +0000 | <maerwald> | hololeap: make sure to disable swap |
| 2021-06-03 18:07:55 +0000 | node-sh | (~node-sh@2401:4900:3b34:7bd4:3db0:9804:12bf:c3a) |
| 2021-06-03 18:07:58 +0000 | <maerwald> | or... there's an option for earlyoom to ignore swap or sth |
| 2021-06-03 18:08:02 +0000 | <maerwald> | but I just disable it |
| 2021-06-03 18:08:36 +0000 | <hololeap> | I have a small swap, 1.5GB just for caching long-running processes or whatever |
| 2021-06-03 18:08:55 +0000 | dysbarter | (~dysbarter@adsl-72-50-4-187.prtc.net) (Quit: Client closed) |
| 2021-06-03 18:09:00 +0000 | <hololeap> | but I can just disable it if it's going to interfere with earlyoom |
| 2021-06-03 18:09:56 +0000 | learner-monad | (~eric@cpe-174-105-47-100.columbus.res.rr.com) (Changing host) |
| 2021-06-03 18:09:56 +0000 | learner-monad | (~eric@user/learner-monad) |
| 2021-06-03 18:10:30 +0000 | <maerwald> | https://github.com/rfjakob/earlyoom#command-line-options |
| 2021-06-03 18:11:21 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-03 18:11:28 +0000 | <maerwald> | I had a swap on a slow HDD... so I wouldn't get OOM, but linux kernel locking the PC for 15 minutes due to IO/register race |
| 2021-06-03 18:11:51 +0000 | <maerwald> | (windows kernel has better swap behavior) |
| 2021-06-03 18:13:21 +0000 | learner-monad | (~eric@user/learner-monad) (Quit: WeeChat 3.1) |
| 2021-06-03 18:13:24 +0000 | <Sose> | I'm on a laptop with 4GB memory and HLS + separate GHCI can definitely but a strain on it :D.. but surprisingly still usable |
| 2021-06-03 18:13:31 +0000 | <Sose> | *put |
| 2021-06-03 18:13:50 +0000 | learner-monad | (~ehanneken@user/learner-monad) |
| 2021-06-03 18:13:50 +0000 | <maerwald> | that's not living on the edge, but in the abyss |
| 2021-06-03 18:16:11 +0000 | Baloo_ | (~Baloo_@h-98-128-172-214.A785.priv.bahnhof.se) |
| 2021-06-03 18:16:25 +0000 | Baloo_ | (~Baloo_@h-98-128-172-214.A785.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-06-03 18:17:22 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-06-03 18:17:34 +0000 | Baloo_ | (~Baloo_@45.83.220.177) |
| 2021-06-03 18:18:56 +0000 | beka | (~beka@104.193.170-254.PUBLIC.monkeybrains.net) |
| 2021-06-03 18:20:25 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 244 seconds) |
| 2021-06-03 18:20:37 +0000 | ddellacosta | (~ddellacos@89.45.224.66) |
| 2021-06-03 18:22:21 +0000 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-06-03 18:23:20 +0000 | dysbarter | (~dysbarter@adsl-72-50-4-119.prtc.net) |
| 2021-06-03 18:23:45 +0000 | spatchkaa | (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) |
| 2021-06-03 18:24:11 +0000 | bfrk | (~Thunderbi@200116b8456bb4003c666de9803185e6.dip.versatel-1u1.de) |
| 2021-06-03 18:24:35 +0000 | <tomsmeding> | maerwald: https://github.com/facebookincubator/oomd/blob/master/docs/production_setup.md#swap |
| 2021-06-03 18:24:39 +0000 | <tomsmeding> | (different daemon) |
| 2021-06-03 18:25:13 +0000 | <tomsmeding> | given that earlyoom makes no such recommendation, I conclude that earlyoom is better software |
| 2021-06-03 18:26:04 +0000 | ddellacosta | (~ddellacos@89.45.224.66) (Ping timeout: 272 seconds) |
| 2021-06-03 18:26:09 +0000 | <maerwald> | tomsmeding: yes, it doesn't need swap and you can tell it the kill thresholds for both memory and swap |
| 2021-06-03 18:26:31 +0000 | thelounge925 | (~thelounge@69.234.40.90) |
| 2021-06-03 18:26:49 +0000 | <tomsmeding> | doesn't that paragraph I linked horrify you |
| 2021-06-03 18:27:28 +0000 | <tomsmeding> | "this software is a hack by design that may or may not work" |
| 2021-06-03 18:27:32 +0000 | <maerwald> | I think I've seen a lot of weird stuff in software |
| 2021-06-03 18:28:12 +0000 | <maerwald> | swap is really useless on linux |
| 2021-06-03 18:28:18 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-03 18:28:39 +0000 | thelounge92 | (~thelounge@cpe-23-240-28-18.socal.res.rr.com) (Ping timeout: 272 seconds) |
| 2021-06-03 18:28:40 +0000 | thelounge925 | thelounge92 |
| 2021-06-03 18:28:54 +0000 | <maerwald> | I haven't bothered to read Linus excuses about it. They're probably similar like his security excuses :> |
| 2021-06-03 18:33:32 +0000 | <meejah> | i haven't run swap in a decade. I prefer the failure mode of "oom kills firefox" rather than "computer is very slow now" .. maybe this earlyoom thing is better ;) |
| 2021-06-03 18:33:53 +0000 | <maerwald> | yep, it's faster |
| 2021-06-03 18:34:15 +0000 | jolly18 | (~jolly@208.180.97.158) |
| 2021-06-03 18:35:05 +0000 | <yushyin> | https://chrisdown.name/2018/01/02/in-defence-of-swap.html here are some excuses |
| 2021-06-03 18:35:24 +0000 | jolly | (~jolly@208.180.97.158) (Ping timeout: 244 seconds) |
| 2021-06-03 18:37:17 +0000 | <bramhaag> | I'm trying to write an evaluator for a custom language in Haskell, does anyone have any good resources I can take some inspiration from? |
| 2021-06-03 18:38:44 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 18:39:09 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 18:42:07 +0000 | <[exa]> | bramhaag: how advanced you want the evaluator? just an interpreter? |
| 2021-06-03 18:42:23 +0000 | <[exa]> | bramhaag: also, does the language have a haskell-style AST? |
| 2021-06-03 18:42:37 +0000 | <bramhaag> | I've defined the language using type classes |
| 2021-06-03 18:42:57 +0000 | <[exa]> | there's many ways to do it with type classes in fact |
| 2021-06-03 18:42:59 +0000 | <bramhaag> | The language itself is a dumbed down version of Haskell with slightly different syntax, it supports partial application and HOF |
| 2021-06-03 18:43:10 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2021-06-03 18:43:36 +0000 | <bramhaag> | This is a homework exercise, so some things are banned (Most notably monads and GHC extensions) |
| 2021-06-03 18:43:47 +0000 | <[exa]> | ah okay good, so you have "definitions" that may be "applied" etc |
| 2021-06-03 18:44:44 +0000 | <bramhaag> | Exactly, an example of the language would be this https://paste.tomsmeding.com/4z5vhM6J |
| 2021-06-03 18:45:05 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2021-06-03 18:45:07 +0000 | <bramhaag> | I've implemented a basic eval function, but adding support for partial application and HOFs is rather painful with this implementation |
| 2021-06-03 18:45:19 +0000 | zmt01 | zmt00 |
| 2021-06-03 18:45:22 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-03 18:45:45 +0000 | <[exa]> | bramhaag: for partial application you might just need the correct abstraction (or "object") that represents it |
| 2021-06-03 18:46:04 +0000 | <[exa]> | the usual way is to have "a function call with N holes for arguments that are still missing" |
| 2021-06-03 18:47:04 +0000 | dysbarter | (~dysbarter@adsl-72-50-4-119.prtc.net) (Ping timeout: 250 seconds) |
| 2021-06-03 18:47:46 +0000 | <[exa]> | also feel free to show the eval here |
| 2021-06-03 18:49:36 +0000 | <bramhaag> | I'm afraid my university wouldn't like that |
| 2021-06-03 18:50:05 +0000 | <bramhaag> | another object to represent partial application is a good idea though, currently I've implemented it with the same object I use to represent regular funcalls and that's a bit of a mess |
| 2021-06-03 18:50:29 +0000 | <[exa]> | yeah, you literally want to fold logic here in the data |
| 2021-06-03 18:50:45 +0000 | jolly18 | jolly |
| 2021-06-03 18:51:05 +0000 | <[exa]> | re university, I'd love if my students sometimes discussed the code with others before submitting :D |
| 2021-06-03 18:51:35 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-03 18:51:54 +0000 | <[exa]> | like, copypasting is bad but avoiding various preventable pitfalls is much more important I guess |
| 2021-06-03 18:52:17 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 18:52:35 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-06-03 18:52:39 +0000 | <bramhaag> | My current approach consists of two functions basically: bind which "binds" user-specified values to variables, and reduce which tries to simplify expressions into a constant value (using the bind function when needed) |
| 2021-06-03 18:52:40 +0000 | <[exa]> | anyway, this "partially applied function" is also how haskell gets evaluated (you might google closures, thunks and similar things) |
| 2021-06-03 18:52:44 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 18:53:02 +0000 | <[exa]> | ah so you have a partial evaluator |
| 2021-06-03 18:53:13 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 18:55:16 +0000 | <[exa]> | that's good for some things but if you're after "just a normal evaluation", you generally want a single-layer function, something which takes the current bindings + AST, and outputs values |
| 2021-06-03 18:55:36 +0000 | ddellacosta | (~ddellacos@89.45.224.92) |
| 2021-06-03 18:56:05 +0000 | <[exa]> | in this view, the partially applied functions make nice values (also, remember to avoid using variable names in there) |
| 2021-06-03 18:56:27 +0000 | Rembane | waves the DeBruijn flag |
| 2021-06-03 18:57:25 +0000 | thelounge920 | (~thelounge@cpe-23-240-28-18.socal.res.rr.com) |
| 2021-06-03 18:57:25 +0000 | <[exa]> | not debruijn indexes per se, just to avoid the result referring to a scope value that might disappear |
| 2021-06-03 18:58:02 +0000 | <Rembane> | That's true |
| 2021-06-03 18:58:37 +0000 | <[exa]> | (otoh a bit of DeBruijn never hurts. :D) |
| 2021-06-03 18:58:45 +0000 | <bramhaag> | In this language you cannot assign variables, so the only variables in scope are the current function's parameters |
| 2021-06-03 18:58:49 +0000 | <bramhaag> | that hopefully simplifies things a little |
| 2021-06-03 18:59:12 +0000 | <Rembane> | [exa]: Exactly! :D |
| 2021-06-03 18:59:38 +0000 | <[exa]> | I wanted to avoid a situation where you evaluator refers a reference to a variable like "take the value of X here" for an X that only existed in the function, or was shadowed there |
| 2021-06-03 18:59:41 +0000 | thelounge92 | (~thelounge@69.234.40.90) (Ping timeout: 272 seconds) |
| 2021-06-03 18:59:41 +0000 | thelounge920 | thelounge92 |
| 2021-06-03 19:00:00 +0000 | <[exa]> | drawing a thick line between scope and values helps it a lot |
| 2021-06-03 19:00:23 +0000 | ddellacosta | (~ddellacos@89.45.224.92) (Ping timeout: 265 seconds) |
| 2021-06-03 19:00:37 +0000 | <[exa]> | s/refers/returns/ |
| 2021-06-03 19:00:41 +0000 | o1lo01ol_ | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 19:00:43 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-03 19:00:52 +0000 | <bramhaag> | Yeah makes sense, I'll try the single-layer approach, tyvm! |
| 2021-06-03 19:01:45 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 19:02:19 +0000 | jolly | (~jolly@208.180.97.158) (Ping timeout: 265 seconds) |
| 2021-06-03 19:02:19 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 19:02:22 +0000 | <[exa]> | btw there might be a pitfall or two in handling the partially-applied functions that I didn't realize now, but hopefully nothing harsh |
| 2021-06-03 19:03:02 +0000 | <bramhaag> | oh there always are pitfalls |
| 2021-06-03 19:03:20 +0000 | <bramhaag> | but it'll be *fiiiineee* |
| 2021-06-03 19:03:31 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 19:03:43 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 19:06:26 +0000 | rk04 | (~rk04@user/rajk) (Quit: rk04) |
| 2021-06-03 19:07:12 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 19:10:27 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-03 19:10:32 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-03 19:10:56 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 19:14:17 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 19:14:20 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-03 19:14:27 +0000 | shailangsa | (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2021-06-03 19:16:49 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 265 seconds) |
| 2021-06-03 19:16:55 +0000 | Voeid | (luke@voeid.cf) (Quit: Leaving...) |
| 2021-06-03 19:17:28 +0000 | Voeid | (luke@voeid.cf) |
| 2021-06-03 19:17:48 +0000 | ddellacosta | (~ddellacos@89.46.62.43) |
| 2021-06-03 19:18:08 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-03 19:18:36 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-03 19:19:43 +0000 | ddellaco_ | (~ddellacos@89.46.62.114) (Ping timeout: 265 seconds) |
| 2021-06-03 19:23:07 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-03 19:24:35 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 19:25:16 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 19:27:14 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-03 19:27:38 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 19:27:53 +0000 | xakon | (~xakon@46.165.219.81) |
| 2021-06-03 19:31:17 +0000 | xakon | (~xakon@46.165.219.81) (Client Quit) |
| 2021-06-03 19:31:38 +0000 | maerwald | hasufell |
| 2021-06-03 19:32:44 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 19:38:51 +0000 | img | (~img@2405:6580:b1c0:2500:67f2:d741:c73f:49d3) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-06-03 19:40:03 +0000 | tako | (~user@net-2-45-30-17.cust.vodafonedsl.it) (Quit: ERC (IRC client for Emacs 27.2)) |
| 2021-06-03 19:40:29 +0000 | img | (~img@2405:6580:b1c0:2500:836a:9768:6f91:445b) |
| 2021-06-03 19:40:48 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-03 19:41:37 +0000 | hasufell | maerwald |
| 2021-06-03 19:43:16 +0000 | ubert1 | (~Thunderbi@p200300ecdf259d40e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-06-03 19:43:27 +0000 | shailangsa | (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) |
| 2021-06-03 19:43:44 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-06-03 19:44:36 +0000 | ubert | (~Thunderbi@p200300ecdf259dece6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-06-03 19:44:36 +0000 | ubert1 | ubert |
| 2021-06-03 19:44:44 +0000 | nerdypepper | (znc@user/nerdypepper) (Read error: Connection reset by peer) |
| 2021-06-03 19:46:30 +0000 | nerdypepper | (znc@152.67.162.71) |
| 2021-06-03 19:47:13 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-03 19:47:37 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 19:47:53 +0000 | pavonia | (~user@user/siracusa) |
| 2021-06-03 19:53:42 +0000 | beka | (~beka@104.193.170-254.PUBLIC.monkeybrains.net) (Ping timeout: 264 seconds) |
| 2021-06-03 19:57:02 +0000 | jolly | (~jolly@208.180.97.158) |
| 2021-06-03 19:58:08 +0000 | Typedfern | (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-06-03 19:58:59 +0000 | heath | ybit |
| 2021-06-03 19:59:07 +0000 | ybit | heath |
| 2021-06-03 19:59:16 +0000 | thelounge927 | (~thelounge@69.234.40.90) |
| 2021-06-03 20:00:00 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 20:00:52 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-03 20:01:10 +0000 | thelounge92 | (~thelounge@cpe-23-240-28-18.socal.res.rr.com) (Ping timeout: 244 seconds) |
| 2021-06-03 20:01:10 +0000 | thelounge927 | thelounge92 |
| 2021-06-03 20:03:40 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 20:05:42 +0000 | juhp | (~juhp@128.106.188.199) (Ping timeout: 264 seconds) |
| 2021-06-03 20:05:46 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-06-03 20:06:09 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Remote host closed the connection) |
| 2021-06-03 20:06:21 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 20:06:54 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-03 20:08:05 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-06-03 20:09:35 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-03 20:11:26 +0000 | thelounge924 | (~thelounge@cpe-23-240-28-18.socal.res.rr.com) |
| 2021-06-03 20:13:26 +0000 | thelounge92 | (~thelounge@69.234.40.90) (Ping timeout: 252 seconds) |
| 2021-06-03 20:13:26 +0000 | thelounge924 | thelounge92 |
| 2021-06-03 20:13:44 +0000 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 272 seconds) |
| 2021-06-03 20:14:41 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 20:16:07 +0000 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Remote host closed the connection) |
| 2021-06-03 20:16:25 +0000 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-06-03 20:17:59 +0000 | Scotty_Trees | (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-03 20:18:47 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-03 20:23:06 +0000 | Typedfern | (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) |
| 2021-06-03 20:24:22 +0000 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-03 20:24:56 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-06-03 20:27:57 +0000 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-03 20:28:55 +0000 | ukari | (~ukari@user/ukari) |
| 2021-06-03 20:29:42 +0000 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 264 seconds) |
| 2021-06-03 20:30:32 +0000 | Typedfern | (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-06-03 20:30:50 +0000 | derelict | (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-06-03 20:31:05 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 20:32:41 +0000 | wonko | (~wjc@62.115.229.50) (Ping timeout: 244 seconds) |
| 2021-06-03 20:33:24 +0000 | derelict | (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-06-03 20:33:48 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 20:37:46 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-03 20:38:15 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 20:39:26 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 20:40:15 +0000 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-03 20:40:58 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-06-03 20:41:22 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-03 20:43:24 +0000 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 268 seconds) |
| 2021-06-03 20:43:30 +0000 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 264 seconds) |
| 2021-06-03 20:43:55 +0000 | sondre | (~sondrelun@cm-84.212.100.140.getinternet.no) (Quit: Lost terminal) |
| 2021-06-03 20:43:55 +0000 | ddellaco_ | (~ddellacos@89.45.224.196) |
| 2021-06-03 20:45:16 +0000 | kw | (~user@152.1.137.158) |
| 2021-06-03 20:45:24 +0000 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 272 seconds) |
| 2021-06-03 20:45:52 +0000 | Baloo_ | (~Baloo_@45.83.220.177) (Quit: Leaving) |
| 2021-06-03 20:46:40 +0000 | jco | (~jco@c83-248-173-38.bredband.tele2.se) (Ping timeout: 272 seconds) |
| 2021-06-03 20:46:41 +0000 | <kw> | TypeRep gives a concrete representation of a type's representation, but is there a way to get a concrete representation of the type itself with Typeable? |
| 2021-06-03 20:46:43 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 20:48:11 +0000 | <kw> | For example, I think `()` and `newtype Foo = Foo ()` have the same TypeRep, but is there a value-level representation that distinguishes them? |
| 2021-06-03 20:48:15 +0000 | ddellaco_ | (~ddellacos@89.45.224.196) (Ping timeout: 245 seconds) |
| 2021-06-03 20:48:29 +0000 | bontaq` | (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-06-03 20:48:32 +0000 | bontaq` | bontaq |
| 2021-06-03 20:48:43 +0000 | tomjaguarpaw | (~tom@li367-225.members.linode.com) (Ping timeout: 272 seconds) |
| 2021-06-03 20:48:51 +0000 | tomjaguarpaw | (~tom@li367-225.members.linode.com) |
| 2021-06-03 20:51:04 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) (Remote host closed the connection) |
| 2021-06-03 20:51:34 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 20:51:57 +0000 | bi_functor | (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 2021-06-03 20:52:32 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 20:52:36 +0000 | <adamse> | kw: looks like not the same typerep https://www.irccloud.com/pastebin/tW741w61/ |
| 2021-06-03 20:53:07 +0000 | ivan | (~ivan@user/ivan) () |
| 2021-06-03 20:53:31 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) |
| 2021-06-03 20:54:13 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 20:54:36 +0000 | <kw> | adamse: Wow, I'm dumb. Thanks! |
| 2021-06-03 20:54:49 +0000 | ixlun | (~matthew@109.249.184.235) |
| 2021-06-03 20:55:36 +0000 | <adamse> | kw: they would both have the same concrete representation when compiled, maybe that's what you were thinking of? |
| 2021-06-03 20:56:03 +0000 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-03 20:56:54 +0000 | <kw> | adamse: I was just assuming that TypeRep gave the concrete, compiled representation rather than a representation of the full tagged type. |
| 2021-06-03 20:58:18 +0000 | <adamse> | I wonder if there is a way of getting the RuntimeRep for a type |
| 2021-06-03 20:58:18 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 20:59:11 +0000 | fendor_ | (~fendor@178.115.129.101.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-03 21:00:07 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-c962-e9a6-2272-a8c0.res6.spectrum.com) |
| 2021-06-03 21:00:52 +0000 | <kw> | adamese: That would be neat, although I have trouble imagining a use case outside of dispatching to optimized paths for known representations, which seems kind of kludgy... |
| 2021-06-03 21:00:54 +0000 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 264 seconds) |
| 2021-06-03 21:01:15 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-03 21:01:24 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 21:01:41 +0000 | <kw> | adamse: Might be nice for figuring out that your numeric type is only 32 bit, but we already have FiniteBits for that. |
| 2021-06-03 21:01:44 +0000 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-03 21:03:01 +0000 | <adamse> | yeah, might not be the most useful thing |
| 2021-06-03 21:04:30 +0000 | xakon | (~xakon@46.165.219.81) |
| 2021-06-03 21:05:02 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-c962-e9a6-2272-a8c0.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:05:39 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 21:05:45 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-06-03 21:06:20 +0000 | slac13085 | (~slack1256@181.203.3.95) (Remote host closed the connection) |
| 2021-06-03 21:06:47 +0000 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 252 seconds) |
| 2021-06-03 21:07:11 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-03 21:11:36 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 21:11:36 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-03 21:11:38 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:c8f6:f028:b2f4:81fe) (Read error: Connection reset by peer) |
| 2021-06-03 21:11:45 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:12:41 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 21:13:55 +0000 | fradet | (~fradet@216.252.75.247) |
| 2021-06-03 21:14:19 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-03 21:16:27 +0000 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) |
| 2021-06-03 21:18:05 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-03 21:18:36 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:19:14 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 21:19:56 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Remote host closed the connection) |
| 2021-06-03 21:21:07 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 21:21:09 +0000 | ddellaco_ | (~ddellacos@89.45.224.131) |
| 2021-06-03 21:21:31 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 21:22:23 +0000 | Typedfern | (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) |
| 2021-06-03 21:25:21 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:25:52 +0000 | chomwitt | (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 265 seconds) |
| 2021-06-03 21:26:18 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev) |
| 2021-06-03 21:26:34 +0000 | ddellaco_ | (~ddellacos@89.45.224.131) (Ping timeout: 272 seconds) |
| 2021-06-03 21:26:56 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-03 21:27:09 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 21:27:31 +0000 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-03 21:31:56 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:33:01 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 21:34:39 +0000 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Quit: WeeChat 3.1) |
| 2021-06-03 21:35:29 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 21:35:46 +0000 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-06-03 21:35:54 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 21:36:09 +0000 | xakon | (~xakon@46.165.219.81) (Quit: leaving) |
| 2021-06-03 21:38:38 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:38:39 +0000 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-06-03 21:38:49 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 21:39:48 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) |
| 2021-06-03 21:41:09 +0000 | Deide | (~Deide@user/deide) (Read error: Connection reset by peer) |
| 2021-06-03 21:41:24 +0000 | Deide | (~Deide@wire.desu.ga) |
| 2021-06-03 21:41:25 +0000 | Deide | (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-03 21:41:25 +0000 | Deide | (~Deide@user/deide) |
| 2021-06-03 21:43:18 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-03 21:44:50 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-03 21:44:56 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 21:45:21 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 21:45:21 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:45:57 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) |
| 2021-06-03 21:48:02 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-03 21:50:27 +0000 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-03 21:52:07 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:52:33 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-03 21:52:38 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Remote host closed the connection) |
| 2021-06-03 21:53:15 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) |
| 2021-06-03 21:54:52 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-06-03 21:55:56 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-03 21:56:38 +0000 | ddellaco_ | (~ddellacos@89.45.224.183) |
| 2021-06-03 21:58:51 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 21:59:33 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) |
| 2021-06-03 22:01:10 +0000 | ddellaco_ | (~ddellacos@89.45.224.183) (Ping timeout: 245 seconds) |
| 2021-06-03 22:02:03 +0000 | Natch | (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-06-03 22:02:25 +0000 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 245 seconds) |
| 2021-06-03 22:03:38 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 22:03:40 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 22:05:15 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-03 22:05:32 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 22:06:19 +0000 | ddellacosta | (~ddellacos@89.46.62.43) (Remote host closed the connection) |
| 2021-06-03 22:06:48 +0000 | ddellacosta | (~ddellacos@89.46.62.43) |
| 2021-06-03 22:07:04 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) |
| 2021-06-03 22:07:40 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 22:08:23 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-03 22:08:47 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 22:10:18 +0000 | hololeap_ | (hololeap@user/hololeap) |
| 2021-06-03 22:11:08 +0000 | ddellacosta | (~ddellacos@89.46.62.43) (Ping timeout: 252 seconds) |
| 2021-06-03 22:11:46 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2021-06-03 22:12:22 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 22:13:30 +0000 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-03 22:14:04 +0000 | hololeap | (hololeap@user/hololeap) (Ping timeout: 272 seconds) |
| 2021-06-03 22:14:36 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) |
| 2021-06-03 22:15:58 +0000 | ixlun | (~matthew@109.249.184.235) (Ping timeout: 272 seconds) |
| 2021-06-03 22:16:27 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-03 22:16:58 +0000 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-03 22:18:18 +0000 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 264 seconds) |
| 2021-06-03 22:19:02 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 22:20:21 +0000 | unyu | (~pyon@user/pyon) (Quit: WeeChat 3.1) |
| 2021-06-03 22:20:28 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) |
| 2021-06-03 22:20:48 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-03 22:21:31 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 22:21:40 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-06-03 22:22:31 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 22:23:40 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-03 22:24:43 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-03 22:25:14 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-03 22:25:43 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 22:26:22 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) |
| 2021-06-03 22:29:16 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-03 22:29:19 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-03 22:31:00 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-03 22:31:24 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 22:34:06 +0000 | ddellacosta | (~ddellacos@89.45.224.254) |
| 2021-06-03 22:35:51 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-03 22:37:16 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-03 22:37:20 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-03 22:37:24 +0000 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 265 seconds) |
| 2021-06-03 22:37:43 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-03 22:38:34 +0000 | ddellaco_ | (~ddellacos@89.46.62.108) |
| 2021-06-03 22:38:38 +0000 | ddellacosta | (~ddellacos@89.45.224.254) (Ping timeout: 252 seconds) |
| 2021-06-03 22:39:04 +0000 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-06-03 22:39:07 +0000 | ssarah | (~miguell@149.63.37.188.rev.vodafone.pt) |
| 2021-06-03 22:39:17 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 22:40:02 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds) |
| 2021-06-03 22:40:17 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-03 22:40:52 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) |
| 2021-06-03 22:41:26 +0000 | mpt | (~tom@p57a56571.dip0.t-ipconnect.de) |
| 2021-06-03 22:42:36 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-03 22:43:12 +0000 | ddellaco_ | (~ddellacos@89.46.62.108) (Ping timeout: 272 seconds) |
| 2021-06-03 22:43:46 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-513b-33bd-7855-9371.res6.spectrum.com) (Client Quit) |
| 2021-06-03 22:50:56 +0000 | nkpart | (uid3844@id-3844.highgate.irccloud.com) |
| 2021-06-03 22:55:08 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 2021-06-03 22:55:27 +0000 | ddellacosta | (~ddellacos@89.46.62.86) |
| 2021-06-03 22:56:14 +0000 | jjhoo | (~jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-06-03 22:56:30 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-06-03 22:56:56 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-03 22:57:02 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Client Quit) |
| 2021-06-03 22:57:23 +0000 | Codaraxis | (~Codaraxis@89.45.7.156) |
| 2021-06-03 22:58:42 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Remote host closed the connection) |
| 2021-06-03 22:59:07 +0000 | jjhoo | (jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi) |
| 2021-06-03 22:59:36 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 23:00:07 +0000 | ddellacosta | (~ddellacos@89.46.62.86) (Ping timeout: 265 seconds) |
| 2021-06-03 23:03:07 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-03 23:04:06 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 23:04:29 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-03 23:04:30 +0000 | mpt | (~tom@p57a56571.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-06-03 23:04:31 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 23:04:49 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-03 23:05:43 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-06-03 23:05:54 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-03 23:07:18 +0000 | dudek | (~dudek@185.150.236.112) (Quit: Leaving) |
| 2021-06-03 23:08:34 +0000 | rusua | (uid124537@id-124537.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-03 23:10:31 +0000 | pounce | (~pounce@facebook/engineering/pounce) |
| 2021-06-03 23:10:45 +0000 | hubvu | (sid495858@id-495858.tinside.irccloud.com) |
| 2021-06-03 23:11:10 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-06-03 23:12:27 +0000 | ddellacosta | (~ddellacos@86.106.143.144) |
| 2021-06-03 23:13:01 +0000 | mpt | (~tom@p57a56571.dip0.t-ipconnect.de) |
| 2021-06-03 23:13:20 +0000 | mpt | (~tom@p57a56571.dip0.t-ipconnect.de) (Client Quit) |
| 2021-06-03 23:13:22 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-03 23:14:21 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2021-06-03 23:14:29 +0000 | ddellaco_ | (~ddellacos@89.46.62.25) |
| 2021-06-03 23:14:41 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 23:15:06 +0000 | mpt | (~tom@p57a56571.dip0.t-ipconnect.de) |
| 2021-06-03 23:16:59 +0000 | ddellacosta | (~ddellacos@86.106.143.144) (Ping timeout: 244 seconds) |
| 2021-06-03 23:18:40 +0000 | ddellaco_ | (~ddellacos@89.46.62.25) (Ping timeout: 245 seconds) |
| 2021-06-03 23:21:17 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-03 23:21:53 +0000 | bfrk | (~Thunderbi@200116b8456bb4003c666de9803185e6.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2021-06-03 23:23:44 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-03 23:24:09 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-03 23:24:47 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-03 23:26:06 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
| 2021-06-03 23:31:23 +0000 | ddellacosta | (~ddellacos@86.106.121.21) |
| 2021-06-03 23:31:48 +0000 | hrnz | (~ulli@cherry.hrnz.li) (Quit: das ist mir zu bld hier; bb) |
| 2021-06-03 23:32:23 +0000 | hrnz | (~ulli@cherry.hrnz.li) |
| 2021-06-03 23:36:02 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-03 23:36:27 +0000 | ddellacosta | (~ddellacos@86.106.121.21) (Ping timeout: 272 seconds) |
| 2021-06-03 23:37:29 +0000 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-03 23:38:09 +0000 | ukari | (~ukari@user/ukari) |
| 2021-06-03 23:39:55 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 245 seconds) |
| 2021-06-03 23:40:20 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-03 23:44:51 +0000 | alx741_ | (~alx741@186.178.108.209) |
| 2021-06-03 23:47:13 +0000 | alx741 | (~alx741@186.178.108.19) (Ping timeout: 272 seconds) |
| 2021-06-03 23:50:05 +0000 | ddellacosta | (~ddellacos@86.106.121.46) |
| 2021-06-03 23:52:20 +0000 | ddellaco_ | (~ddellacos@86.106.143.118) |
| 2021-06-03 23:52:46 +0000 | tremon | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-06-03 23:54:46 +0000 | ddellacosta | (~ddellacos@86.106.121.46) (Ping timeout: 272 seconds) |
| 2021-06-03 23:55:34 +0000 | Nolrai | (~Nolrai@c-76-27-202-218.hsd1.or.comcast.net) |
| 2021-06-03 23:57:17 +0000 | ddellaco_ | (~ddellacos@86.106.143.118) (Ping timeout: 252 seconds) |
| 2021-06-03 23:59:10 +0000 | Nolrai | (~Nolrai@c-76-27-202-218.hsd1.or.comcast.net) (Quit: Client closed) |