| 2021-06-24 00:00:09 +0200 | <dminuoso> | Hard to answer a theoretical question. Improving performance usually depends on what you're doing exactly |
| 2021-06-24 00:00:13 +0200 | <pavonia> | That is performance doesn't matter in my case but I'm curious what would be the fastest lookup type |
| 2021-06-24 00:00:51 +0200 | <dminuoso> | From what I can gather case-of is constant time and fast if GHC can translate it into a jump table |
| 2021-06-24 00:01:54 +0200 | <dminuoso> | And then it depends on the scrutinee and the pattern clauses |
| 2021-06-24 00:02:07 +0200 | <pavonia> | But you can't build such a case-expression dynamically, can you? |
| 2021-06-24 00:02:35 +0200 | <dminuoso> | From what exactly? |
| 2021-06-24 00:03:11 +0200 | <dminuoso> | generally, Id probably just use HashMap from unordered-containers as a first step if I want quick access |
| 2021-06-24 00:03:30 +0200 | <dminuoso> | If that's not enough, then Id look into the specific issue at hand |
| 2021-06-24 00:03:57 +0200 | <pavonia> | For two lists as in the example above |
| 2021-06-24 00:04:12 +0200 | <pavonia> | So HashMap is generally faster than Map? |
| 2021-06-24 00:06:53 +0200 | <dminuoso> | Generally yes |
| 2021-06-24 00:07:12 +0200 | <dminuoso> | If the key is Int, then IntMap might (?) perform better, Im not sure |
| 2021-06-24 00:07:22 +0200 | <dminuoso> | Also, Id throw in bytestring-tries into the mix |
| 2021-06-24 00:07:37 +0200 | <dminuoso> | https://hackage.haskell.org/package/bytestring-trie |
| 2021-06-24 00:07:47 +0200 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
| 2021-06-24 00:08:10 +0200 | <dminuoso> | pavonia: but keep in mind that HashMap is unordered |
| 2021-06-24 00:08:36 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-24 00:08:37 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) (Remote host closed the connection) |
| 2021-06-24 00:09:28 +0200 | derelict | (~derelict@user/derelict) (Ping timeout: 246 seconds) |
| 2021-06-24 00:09:28 +0200 | <monochrom> | Premature generalization is the root of premature optimization. |
| 2021-06-24 00:10:58 +0200 | <monochrom> | Ultimately it may come down to just telling you about -ddump-simpl -ddump-stg -ddump-opt-cmm -ddump-asm so you can see what happens to your specific case. |
| 2021-06-24 00:11:30 +0200 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Client Quit) |
| 2021-06-24 00:11:47 +0200 | <monochrom> | Because the other correct answer is "it depends". |
| 2021-06-24 00:12:02 +0200 | fendor | (~fendor@178.165.189.179.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-24 00:15:06 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-24 00:15:27 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-06-24 00:16:01 +0200 | <pavonia> | dminuoso: Okay, thanks |
| 2021-06-24 00:18:02 +0200 | killsushi | (~killsushi@user/killsushi) |
| 2021-06-24 00:21:54 +0200 | brian_da_mage | (~Neuromanc@user/briandamag) (Ping timeout: 264 seconds) |
| 2021-06-24 00:25:13 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 2021-06-24 00:27:40 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-06-24 00:27:42 +0200 | peterhil_ | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-24 00:28:43 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-06-24 00:31:34 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-24 00:31:34 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-24 00:31:51 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-24 00:32:00 +0200 | tzar_bomba | (~tzar_bomb@78-56-41-78.static.zebra.lt) (Quit: Client closed) |
| 2021-06-24 00:33:25 +0200 | azeem | (~azeem@dynamic-adsl-84-220-246-231.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-06-24 00:33:32 +0200 | vicentius | (~vicentius@user/vicentius) (Ping timeout: 252 seconds) |
| 2021-06-24 00:34:13 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 00:35:05 +0200 | <hseg> | are newtype family instances not representationally equal to what they wrap? |
| 2021-06-24 00:35:11 +0200 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-24 00:35:19 +0200 | ephemient | (uid407513@id-407513.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-24 00:36:00 +0200 | <hseg> | so given e.g. data family Sorted f; newtype instance Sorted [a] = SortedList {getSorted :: [a]} |
| 2021-06-24 00:36:14 +0200 | <hseg> | coerce :: Sorted [a] -> [a] is forbidden? |
| 2021-06-24 00:36:47 +0200 | azeem | (~azeem@176.201.6.138) |
| 2021-06-24 00:38:14 +0200 | <hseg> | hrm... experimenting more shows this isn't what's going wrong, getting more data |
| 2021-06-24 00:42:57 +0200 | <hseg> | oh ffs. is there a reason the (unordered-)containers haddocks don't show role annotations? |
| 2021-06-24 00:44:22 +0200 | azeem | (~azeem@176.201.6.138) (Read error: Connection reset by peer) |
| 2021-06-24 00:44:42 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:70b4:9739:defc:32cb) (Quit: Leaving) |
| 2021-06-24 00:45:18 +0200 | azeem | (~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it) |
| 2021-06-24 00:45:50 +0200 | jlamothe | (~jlamothe@198.251.57.81) (Quit: leaving) |
| 2021-06-24 00:47:32 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 00:48:33 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 00:50:38 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2021-06-24 00:51:02 +0200 | derelict | (~derelict@user/derelict) |
| 2021-06-24 00:51:46 +0200 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-06-24 00:53:01 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-24 00:55:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 01:00:21 +0200 | sekun | (~sekun@180.190.208.125) |
| 2021-06-24 01:02:08 +0200 | hseg | (~gesh@195.192.229.14) (Quit: WeeChat 3.2) |
| 2021-06-24 01:08:01 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3-dev) |
| 2021-06-24 01:08:20 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-06-24 01:13:14 +0200 | trent2 | (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-06-24 01:17:08 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-24 01:17:19 +0200 | DNH | (~DNH@8.43.122.6) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-24 01:19:49 +0200 | shiraeeshi | (~shiraeesh@109.166.57.36) (Ping timeout: 265 seconds) |
| 2021-06-24 01:21:12 +0200 | involans | (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-24 01:26:49 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2021-06-24 01:29:32 +0200 | xsperry | (~as@user/xsperry) |
| 2021-06-24 01:29:33 +0200 | xsperry | (~as@user/xsperry) (Excess Flood) |
| 2021-06-24 01:31:33 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 01:34:27 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-24 01:34:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-06-24 01:36:04 +0200 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
| 2021-06-24 01:36:43 +0200 | <justsomeguy> | In lambda calculus, is there a name for something that is the opposite of a combinator? (By "opposite of a combinator" I mean a function that does not use any of its bound arguments, or parameters, but only uses free variables, instead.) |
| 2021-06-24 01:36:47 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-24 01:37:13 +0200 | TheRAt | (~TheRAt@user/therat) (Read error: Connection reset by peer) |
| 2021-06-24 01:38:17 +0200 | <hpc> | a constant function? |
| 2021-06-24 01:38:41 +0200 | <dolio> | That doesn't sound like the opposite of a combinator. |
| 2021-06-24 01:40:07 +0200 | <justsomeguy> | Do you mean that my description doesn't sound like the opposite of a combinator, or that a constant function doesn't sound like the opposite of a combinator? |
| 2021-06-24 01:41:11 +0200 | <monochrom> | I propose the name "dependency hell". :) |
| 2021-06-24 01:41:12 +0200 | <dolio> | The description. |
| 2021-06-24 01:41:42 +0200 | TheRAt | (~TheRAt@user/therat) |
| 2021-06-24 01:42:51 +0200 | <dolio> | The things usable in the body of a combinator are the parameters, application, and previously defined combinators, in the usual formal definition I'm familiar with. |
| 2021-06-24 01:43:07 +0200 | <dolio> | So, if it only uses application and previously defined combinators, it's a combinator. |
| 2021-06-24 01:44:38 +0200 | <justsomeguy> | In functions that aren't combinators, there is also the possibility of using a variable that is defined in an enclosing scope, which is known as a free variable. So, you can use a variable that isn't in the head of a lambda within a function body. |
| 2021-06-24 01:44:40 +0200 | <dolio> | And in combinator calculi, there aren't any other constants that could go in the body of a combinator. |
| 2021-06-24 01:45:41 +0200 | <dminuoso> | justsomeguy: So for example the inner lambda in: \x -> \y -> x y ? |
| 2021-06-24 01:46:13 +0200 | <dminuoso> | Or rather just: \y -> x y |
| 2021-06-24 01:46:17 +0200 | <dminuoso> | This is simpler to talk about |
| 2021-06-24 01:46:45 +0200 | <dminuoso> | justsomeguy: Id say its a free expression. |
| 2021-06-24 01:47:12 +0200 | <justsomeguy> | No, something like (\x -> a x), is an example of what I'm talking about. The x comes from an enclosing scope, and is not a formal parameter in the lambda head of the function, but is still valid in the (untyped) lambda calculus. |
| 2021-06-24 01:47:47 +0200 | <dminuoso> | justsomeguy: Yeah, Id say the opposite of `combinator` is `free expression` |
| 2021-06-24 01:47:56 +0200 | <dminuoso> | (where free expression means its some expression with free variables) |
| 2021-06-24 01:48:02 +0200 | <justsomeguy> | Free expression sounds about right :^) |
| 2021-06-24 01:49:00 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-24 01:49:19 +0200 | <justsomeguy> | (There is another name for this thing, though, and I wish I could remember it. Oh well.) |
| 2021-06-24 01:49:26 +0200 | UpstreamSalmon | (uid12077@id-12077.stonehaven.irccloud.com) |
| 2021-06-24 01:50:16 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 01:53:21 +0200 | <c_wraith> | I'm looking at the Applicative laws, and a lot of them seem unusual. Like, Identity, Homomorphism, and Interchange all basically are different forms of "pure is a unit of <*>" |
| 2021-06-24 01:53:43 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-24 01:54:14 +0200 | <monochrom> | Yes, but formally it is very difficult to express that because <*> is annoyingly assymetric. |
| 2021-06-24 01:54:28 +0200 | <c_wraith> | the only law describing how multiple uses of <*> must interact is the composition law, and it's a really indirect way of essentially saying "<*> is associative" |
| 2021-06-24 01:54:28 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 246 seconds) |
| 2021-06-24 01:54:43 +0200 | <monochrom> | A version of those laws written in liftA2(,) has a much better chance at looking much nicer. |
| 2021-06-24 01:54:53 +0200 | <monochrom> | Yes, that too. |
| 2021-06-24 01:56:03 +0200 | <c_wraith> | I suppose it does all come down to the type asymmetry between the arguments of <*> |
| 2021-06-24 01:57:11 +0200 | <shachaf> | his paper gives that version too: https://www.staff.city.ac.uk/~ross/papers/Applicative.pdf |
| 2021-06-24 01:57:24 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-06-24 01:57:49 +0200 | <shachaf> | T |
| 2021-06-24 01:58:15 +0200 | <monochrom> | Ah, I should have taught that to my students. |
| 2021-06-24 01:58:50 +0200 | <monochrom> | I have inflicted the madness of the <*> laws on my students. I feel bad for them. |
| 2021-06-24 01:58:51 +0200 | <shachaf> | Page 10, I should have said. |
| 2021-06-24 01:59:16 +0200 | <shachaf> | Certainly symmetric versions are much nicer. |
| 2021-06-24 01:59:34 +0200 | <shachaf> | Whether liftA2/pure or liftA2 (,)/pure () |
| 2021-06-24 02:03:34 +0200 | <c_wraith> | I suppose it is a challenge to just say "if you ignore the type arguments, it's a monoid" |
| 2021-06-24 02:03:39 +0200 | <c_wraith> | formally, I mean |
| 2021-06-24 02:04:37 +0200 | myShoggoth | (~myShoggot@75.164.29.44) (Ping timeout: 246 seconds) |
| 2021-06-24 02:05:20 +0200 | myShoggoth | (~myShoggot@75.164.29.44) |
| 2021-06-24 02:05:44 +0200 | <shachaf> | "identity" and "interchange" might instead be called "left identity" and "right identity" |
| 2021-06-24 02:06:09 +0200 | <shachaf> | And composition is associativity, as you said. |
| 2021-06-24 02:06:11 +0200 | <monochrom> | They managed to say that. "4. Monoids are phantom Applicative functors" :) |
| 2021-06-24 02:06:17 +0200 | <shachaf> | So what's going on with homomorphism? |
| 2021-06-24 02:07:58 +0200 | <monochrom> | Does it help to rewrite as "fmap f (pure x) = pure (f x)"? Now it is a "pure is a natural transformation from Identity to your F" thing... |
| 2021-06-24 02:09:07 +0200 | <monochrom> | OTOH the form "pure f <*> pure x = pure (f <*>_Identity x)" is a homorphism law. |
| 2021-06-24 02:09:42 +0200 | <monochrom> | It is a beauty that there are so many perspectives. |
| 2021-06-24 02:16:32 +0200 | sekun | (~sekun@180.190.208.125) (Remote host closed the connection) |
| 2021-06-24 02:16:52 +0200 | dhil | (~dhil@195.213.192.47) (Ping timeout: 268 seconds) |
| 2021-06-24 02:17:06 +0200 | Unode | (~Unode@194.94.44.220) (Quit: Not that cable) |
| 2021-06-24 02:17:17 +0200 | Unode | (~Unode@194.94.44.220) |
| 2021-06-24 02:18:09 +0200 | pottsy | (~pottsy@2400:4050:b560:3700:f364:dfb7:d56f:99c4) (Remote host closed the connection) |
| 2021-06-24 02:18:23 +0200 | arw | (~arw@impulse.informatik.uni-erlangen.de) (Ping timeout: 252 seconds) |
| 2021-06-24 02:18:40 +0200 | sekun | (~sekun@180.190.208.125) |
| 2021-06-24 02:19:44 +0200 | arw | (~arw@impulse.informatik.uni-erlangen.de) |
| 2021-06-24 02:20:56 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-24 02:20:58 +0200 | haasn | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-06-24 02:21:17 +0200 | haasn | (~nand@haasn.dev) |
| 2021-06-24 02:21:50 +0200 | fresheyeball | (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-06-24 02:23:20 +0200 | yorick | (~yorick@user/yorick) (Ping timeout: 252 seconds) |
| 2021-06-24 02:25:02 +0200 | yorick | (~yorick@user/yorick) |
| 2021-06-24 02:33:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-24 02:34:03 +0200 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 2021-06-24 02:39:26 +0200 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-06-24 02:40:31 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-06-24 02:41:29 +0200 | warnz | (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) |
| 2021-06-24 02:42:33 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-06-24 02:42:35 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-24 02:42:53 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 02:42:57 +0200 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2021-06-24 02:45:34 +0200 | warnz | (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Ping timeout: 246 seconds) |
| 2021-06-24 02:51:28 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 02:54:44 +0200 | Deide | (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-06-24 02:55:50 +0200 | dajoer | (~david@user/gvx) |
| 2021-06-24 02:56:07 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-24 02:56:51 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-24 02:56:53 +0200 | teaSlurper | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-24 02:56:55 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-24 02:57:26 +0200 | teaSlurper | (~chris@81.96.113.213) |
| 2021-06-24 03:01:53 +0200 | teaSlurper | (~chris@81.96.113.213) (Ping timeout: 268 seconds) |
| 2021-06-24 03:04:18 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:a60:af0:9ad8:d1f7) (Ping timeout: 240 seconds) |
| 2021-06-24 03:04:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 03:05:22 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-06-24 03:05:27 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:8546:f5b9:7173:b24) |
| 2021-06-24 03:09:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-06-24 03:10:18 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:5796:3b40:5569:c90) (Remote host closed the connection) |
| 2021-06-24 03:14:20 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 03:18:58 +0200 | <qrpnxz> | composition laws are pretty awesome man, letting you combine things easily, but also opening the door for fusion |
| 2021-06-24 03:19:32 +0200 | fluffyballoon | (~fluffybal@199.204.58.62) (Quit: Client closed) |
| 2021-06-24 03:19:45 +0200 | GoodbyeVincent | (~GoodbyeVi@55.15.95.92.rev.sfr.net) (Ping timeout: 258 seconds) |
| 2021-06-24 03:19:48 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-24 03:20:11 +0200 | <haskl> | Is there any advantage to using something like this https://github.com/utdemir/ghc-musl over just installing all the haskell depends via APK in alpine the normal way and building from there? like how fossa/haskell-static-alpine does it. I don't understand what the advantage of musl would be in this context. |
| 2021-06-24 03:21:28 +0200 | <qrpnxz> | musl is a small lightweight libc, if that's what you want then use musl |
| 2021-06-24 03:23:17 +0200 | <geekosaur> | alpine I think already uses musl |
| 2021-06-24 03:23:49 +0200 | <geekosaur> | the main advantage seems to be that ghc-musl is set up to be a docker image so someone can do static builds anywhere |
| 2021-06-24 03:24:04 +0200 | peterhil_ | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 246 seconds) |
| 2021-06-24 03:24:07 +0200 | <geekosaur> | instead of having to installl and configure a separate alpine install in e.g. a vm |
| 2021-06-24 03:24:45 +0200 | <geekosaur> | so if you're already using alpine you get nothing from ghc-musl |
| 2021-06-24 03:26:34 +0200 | xff0x | (~xff0x@2001:1a81:5272:4100:c2fe:5e6:247e:dd00) (Ping timeout: 250 seconds) |
| 2021-06-24 03:28:15 +0200 | xff0x | (~xff0x@2001:1a81:528e:9600:d6ab:c0c:f83f:c070) |
| 2021-06-24 03:30:00 +0200 | alx741 | (~alx741@181.196.68.156) (Quit: alx741) |
| 2021-06-24 03:31:37 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-24 03:31:39 +0200 | <haskl> | yeah so if i'm already building static binaries in an alpine container i get nothing, got it |
| 2021-06-24 03:31:50 +0200 | <haskl> | i'm also looking at https://github.com/lunaris/minirepo and wondering why anyone would want such a complicated setup |
| 2021-06-24 03:32:11 +0200 | <haskl> | seems like *a lot* of code to do the same thing |
| 2021-06-24 03:32:14 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-24 03:33:58 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 03:36:23 +0200 | <geekosaur> | I ask myself that every time I see someone struggling with nix :) |
| 2021-06-24 03:38:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-06-24 03:38:55 +0200 | <Axman6> | I'm not convinced that Nix isn't just an excellent nerdsnipe designed to slow down progress of functional programmers |
| 2021-06-24 03:39:05 +0200 | Axman6 | awaits jackdk's fury |
| 2021-06-24 03:40:19 +0200 | <justsomeguy> | lol |
| 2021-06-24 03:41:30 +0200 | <Boarders> | Is there anything more I need to do with cabal than: `cabal install exe --enable-profiling` to get a profiled executable. I have tried that several times today also adding various ghc-options and none of them seem to give RTS options |
| 2021-06-24 03:42:05 +0200 | <Axman6> | you might also have to enable rts options explicitly |
| 2021-06-24 03:42:34 +0200 | <Boarders> | I have done that in the cabal file, but could you be more specific about what you mean? |
| 2021-06-24 03:44:44 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 03:46:23 +0200 | xsperry | (~as@cpe-188-129-124-33.dynamic.amis.hr) |
| 2021-06-24 03:46:34 +0200 | xsperry | (~as@cpe-188-129-124-33.dynamic.amis.hr) (Changing host) |
| 2021-06-24 03:46:34 +0200 | xsperry | (~as@user/xsperry) |
| 2021-06-24 03:47:02 +0200 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-06-24 03:49:33 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-06-24 03:52:34 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 03:52:55 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 03:54:02 +0200 | <Axman6> | what problem are you actually observing? |
| 2021-06-24 03:54:07 +0200 | <jackdk> | Axman6: I'm not angry with you, just disappointed. |
| 2021-06-24 03:54:15 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-24 03:55:21 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 03:56:23 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-24 03:56:44 +0200 | wei2912 | (~wei2912@112.199.250.21) |
| 2021-06-24 03:56:56 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-06-24 03:57:15 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 03:57:28 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-24 04:02:13 +0200 | jespada | (~jespada@90.254.247.46) (Ping timeout: 265 seconds) |
| 2021-06-24 04:02:54 +0200 | <qrpnxz> | can you refute that nix is a waste of time |
| 2021-06-24 04:03:40 +0200 | <Axman6> | All human actions are a waste of time, so no |
| 2021-06-24 04:03:50 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds) |
| 2021-06-24 04:03:59 +0200 | jespada | (~jespada@90.254.247.46) |
| 2021-06-24 04:04:14 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-24 04:04:18 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 04:04:25 +0200 | Reyu[M] | (~reyureyuz@matrix.reyuzenfold.com) (Remote host closed the connection) |
| 2021-06-24 04:04:31 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-06-24 04:04:31 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-06-24 04:04:59 +0200 | Reyu[M] | (~reyureyuz@matrix.reyuzenfold.com) |
| 2021-06-24 04:06:38 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 04:06:40 +0200 | <qrpnxz> | wrong |
| 2021-06-24 04:06:58 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 04:07:10 +0200 | <Axman6> | Can you refute that? |
| 2021-06-24 04:07:38 +0200 | <qrpnxz> | why would i refute myself |
| 2021-06-24 04:07:49 +0200 | myShoggoth | (~myShoggot@75.164.29.44) (Ping timeout: 246 seconds) |
| 2021-06-24 04:08:20 +0200 | <qrpnxz> | from the pipes docs: "The former function only accepts polymorphic Producers as arguments. The latter function accepts both polymorphic and concrete Producers, which is probably what you want." This doesn't make sense, would not the poly type take both poly producers and concrete producers? The "former" takes a poly and the "latter" takes a concrete btw |
| 2021-06-24 04:09:09 +0200 | <qrpnxz> | I think it's a mistake. |
| 2021-06-24 04:11:44 +0200 | <c_wraith> | unlikdly |
| 2021-06-24 04:11:51 +0200 | <c_wraith> | also unlikely, if I consider typos |
| 2021-06-24 04:12:22 +0200 | <c_wraith> | notice the phrase "as arguments" |
| 2021-06-24 04:12:33 +0200 | <c_wraith> | that tells you a higher-rank type is involved |
| 2021-06-24 04:12:48 +0200 | <c_wraith> | and when arguments are required to be polymorphic, that is more restrictive |
| 2021-06-24 04:12:56 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds) |
| 2021-06-24 04:14:07 +0200 | <qrpnxz> | the function that takes poly is a subtype of the function that doesn't, but that doesn't somehow make it that the function that takes poly accepts "only poly" (??) and that the func that takes concrete accepts concrete AND poly (???) |
| 2021-06-24 04:14:21 +0200 | <qrpnxz> | like what? |
| 2021-06-24 04:14:22 +0200 | <c_wraith> | yes, that all follows |
| 2021-06-24 04:14:53 +0200 | <qrpnxz> | the poly function takes all concrete, it's poly, the concrete function only accepts the one concrete |
| 2021-06-24 04:14:54 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 04:15:21 +0200 | GoodbyeVincent | (~GoodbyeVi@55.15.95.92.rev.sfr.net) |
| 2021-06-24 04:16:25 +0200 | <c_wraith> | @let foo :: (forall a. a -> a) -> Int ; foo f = f 5 |
| 2021-06-24 04:16:26 +0200 | <lambdabot> | Defined. |
| 2021-06-24 04:16:42 +0200 | <c_wraith> | How many non-bottom values can be passed as arguments to that function? |
| 2021-06-24 04:17:00 +0200 | <c_wraith> | @let bar :: (Int -> Int) -> Int ; bar f = f 5 |
| 2021-06-24 04:17:01 +0200 | <lambdabot> | Defined. |
| 2021-06-24 04:17:05 +0200 | <c_wraith> | How about that one? |
| 2021-06-24 04:17:47 +0200 | <c_wraith> | > bar (+1) |
| 2021-06-24 04:17:49 +0200 | <lambdabot> | 6 |
| 2021-06-24 04:17:53 +0200 | <c_wraith> | > foo (+1) |
| 2021-06-24 04:17:55 +0200 | <lambdabot> | error: |
| 2021-06-24 04:17:55 +0200 | <lambdabot> | • No instance for (Num a) arising from a use of ‘+’ |
| 2021-06-24 04:17:55 +0200 | <lambdabot> | Possible fix: |
| 2021-06-24 04:18:38 +0200 | <c_wraith> | > foo id |
| 2021-06-24 04:18:40 +0200 | <lambdabot> | 5 |
| 2021-06-24 04:18:41 +0200 | <c_wraith> | > bar id |
| 2021-06-24 04:18:43 +0200 | <lambdabot> | 5 |
| 2021-06-24 04:18:58 +0200 | <c_wraith> | you can pass a polymorphic argument to either foo or bar |
| 2021-06-24 04:19:10 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-06-24 04:19:19 +0200 | <c_wraith> | you can only pass a non-polymorphic argument to bar |
| 2021-06-24 04:20:28 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 04:20:41 +0200 | <qrpnxz> | yeah that makes perfect sense, and the quote is saying you can pass a poly arg to a function that accepts a concrete parameter, it's saying the exact opposite of what you are demonstrating here |
| 2021-06-24 04:21:02 +0200 | <c_wraith> | :t foo |
| 2021-06-24 04:21:03 +0200 | <lambdabot> | (forall a. a -> a) -> Int |
| 2021-06-24 04:21:06 +0200 | <c_wraith> | :t bar |
| 2021-06-24 04:21:07 +0200 | <lambdabot> | (Int -> Int) -> Int |
| 2021-06-24 04:21:08 +0200 | <c_wraith> | :t id |
| 2021-06-24 04:21:09 +0200 | <lambdabot> | a -> a |
| 2021-06-24 04:21:11 +0200 | <c_wraith> | > bar id |
| 2021-06-24 04:21:13 +0200 | <lambdabot> | 5 |
| 2021-06-24 04:21:29 +0200 | <c_wraith> | I passed a polymorphic argument to a function that accepts a non-polymorphic value |
| 2021-06-24 04:21:40 +0200 | <c_wraith> | That's exactly what I was demonstrating |
| 2021-06-24 04:23:06 +0200 | <qrpnxz> | oh the forall is the problem |
| 2021-06-24 04:23:09 +0200 | <qrpnxz> | i see |
| 2021-06-24 04:23:25 +0200 | <c_wraith> | without the forall, the argument wouldn't be required to be polymorphic |
| 2021-06-24 04:23:41 +0200 | <c_wraith> | it would just be some unknown type |
| 2021-06-24 04:26:44 +0200 | <qrpnxz> | ok cool thanks for taking the time to beat that into me |
| 2021-06-24 04:27:17 +0200 | <c_wraith> | it is a bit confusing - the rules reverse when something is an argument vs a return value |
| 2021-06-24 04:27:42 +0200 | <c_wraith> | That's why a type variable in an argument is sometimes referred to as "in a negative position" |
| 2021-06-24 04:27:50 +0200 | <c_wraith> | Because of that reversing of rules. |
| 2021-06-24 04:29:08 +0200 | <c_wraith> | Note that this is essentially the same trick runST is based on |
| 2021-06-24 04:29:26 +0200 | <qrpnxz> | oh wait, daaaang. The confusing part is that forall a. a -> a is the subtype of int->int. Flipped the tree on it's head. |
| 2021-06-24 04:29:53 +0200 | <c_wraith> | Yes - but only in negative position :) |
| 2021-06-24 04:30:41 +0200 | <qrpnxz> | no look, if i want a list of [int->int] i can take int->int or polymorphics, but if i want [forall a. a -> a] i can only take polymorphics. The poly is a subtype |
| 2021-06-24 04:31:03 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-06-24 04:31:19 +0200 | <c_wraith> | when you're talking about arguments to a function (negative position), yes |
| 2021-06-24 04:31:24 +0200 | <qrpnxz> | wait, but then in the negative position the generic one should be the one that takes the subtype |
| 2021-06-24 04:31:27 +0200 | <qrpnxz> | ahhh wtf! |
| 2021-06-24 04:31:41 +0200 | <qrpnxz> | no i was talking about a list |
| 2021-06-24 04:31:46 +0200 | <qrpnxz> | with should be covariant |
| 2021-06-24 04:32:10 +0200 | <qrpnxz> | *which |
| 2021-06-24 04:33:06 +0200 | <c_wraith> | Watch out - polymorphism of limited scope is only created by forall |
| 2021-06-24 04:33:37 +0200 | hmmmas | (~chenqisu1@183.217.200.246) |
| 2021-06-24 04:33:46 +0200 | <c_wraith> | (a -> a) -> Int is very different from (forall a. a -> a) -> Int |
| 2021-06-24 04:34:01 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-24 04:34:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2021-06-24 04:34:01 +0200 | finn_elija | FinnElija |
| 2021-06-24 04:37:30 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 265 seconds) |
| 2021-06-24 04:39:12 +0200 | <qrpnxz> | if i want a [int->int], i can also pass in a [forall a. a->a], if i want a (forall a. a->a) -> * i can also pass in a (int->int) -> *, hmm ok yes that check's out, because i will put into it a polymorphic and it will just use it as an (int->int). Alright, cool. So the warning is basically pointing out that poly is unintuitively a subtype of the concrete. |
| 2021-06-24 04:39:12 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-06-24 04:39:57 +0200 | <qrpnxz> | right, thanks |
| 2021-06-24 04:44:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2021-06-24 04:45:42 +0200 | GoodbyeVincent | (~GoodbyeVi@55.15.95.92.rev.sfr.net) () |
| 2021-06-24 04:46:18 +0200 | sekun | (~sekun@180.190.208.125) (Ping timeout: 250 seconds) |
| 2021-06-24 04:47:03 +0200 | myShoggoth | (~myShoggot@75.164.29.44) |
| 2021-06-24 04:47:11 +0200 | shiraeeshi | (~shiraeesh@109.166.56.14) |
| 2021-06-24 04:54:49 +0200 | td_ | (~td@muedsl-82-207-238-055.citykom.de) (Ping timeout: 258 seconds) |
| 2021-06-24 04:54:58 +0200 | shapr | (~user@2601:7c0:8180:89d0:ed87:906a:cd61:bb34) (Ping timeout: 250 seconds) |
| 2021-06-24 04:56:27 +0200 | td_ | (~td@94.134.91.231) |
| 2021-06-24 04:59:37 +0200 | hammock | (~Hammock@2600:1700:19a1:3330::625) (Ping timeout: 246 seconds) |
| 2021-06-24 04:59:58 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 246 seconds) |
| 2021-06-24 05:00:16 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 05:01:17 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2021-06-24 05:01:27 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 256 seconds) |
| 2021-06-24 05:02:35 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-06-24 05:02:57 +0200 | slack1256 | (~slack1256@191.126.146.101) |
| 2021-06-24 05:03:54 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-06-24 05:13:39 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-24 05:13:58 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2021-06-24 05:14:19 +0200 | hmmmas | (~chenqisu1@183.217.200.246) (Quit: Leaving.) |
| 2021-06-24 05:17:23 +0200 | hmmmas | (~chenqisu1@183.217.200.246) |
| 2021-06-24 05:19:50 +0200 | wei2912 | (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-24 05:24:00 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds) |
| 2021-06-24 05:24:18 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 05:26:37 +0200 | notzmv | (~zmv@user/notzmv) (Read error: Connection reset by peer) |
| 2021-06-24 05:26:42 +0200 | Scotty_Trees | (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-24 05:28:14 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 05:30:16 +0200 | notzmv | (~zmv@user/notzmv) |
| 2021-06-24 05:33:36 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 05:33:52 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 05:34:18 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-24 05:34:56 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-24 05:35:16 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-06-24 05:35:27 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 05:38:25 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-24 05:38:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2021-06-24 05:39:34 +0200 | <Boarders> | are there any alternatives to alex + happy that generate lexers + parsers via a yacc + bison style grammar in Haskell? |
| 2021-06-24 05:39:39 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-06-24 05:40:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2021-06-24 05:41:04 +0200 | <c_wraith> | that's pretty much it for that style |
| 2021-06-24 05:41:58 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2021-06-24 05:42:16 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-06-24 05:42:16 +0200 | shiraeeshi | (~shiraeesh@109.166.56.14) (Ping timeout: 252 seconds) |
| 2021-06-24 05:42:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-24 05:43:58 +0200 | shiraeeshi | (~shiraeesh@109.166.56.14) |
| 2021-06-24 05:45:25 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 05:47:59 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-24 05:49:58 +0200 | shiraeeshi | (~shiraeesh@109.166.56.14) (Ping timeout: 252 seconds) |
| 2021-06-24 05:50:33 +0200 | Guest76 | (~Guest76@x59cc8bb0.dyn.telefonica.de) |
| 2021-06-24 05:52:04 +0200 | Guest76 | blueonyx |
| 2021-06-24 05:54:46 +0200 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 250 seconds) |
| 2021-06-24 05:56:04 +0200 | trent2 | (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-06-24 05:56:22 +0200 | talismanick | (~user@2601:644:8502:d700::5315) |
| 2021-06-24 05:58:19 +0200 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-24 06:01:34 +0200 | blueonyx_ | (~blueonyx@x59cc8bb0.dyn.telefonica.de) |
| 2021-06-24 06:02:17 +0200 | blueonyx | (~Guest76@x59cc8bb0.dyn.telefonica.de) (Quit: blueonyx) |
| 2021-06-24 06:02:28 +0200 | blueonyx_ | (~blueonyx@x59cc8bb0.dyn.telefonica.de) (Client Quit) |
| 2021-06-24 06:02:39 +0200 | turlando | (~turlando@user/turlando) (Remote host closed the connection) |
| 2021-06-24 06:02:40 +0200 | turlando_ | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-06-24 06:02:44 +0200 | blueonyx | (~blueonyx@x59cc8bb0.dyn.telefonica.de) |
| 2021-06-24 06:03:00 +0200 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 250 seconds) |
| 2021-06-24 06:04:55 +0200 | Hafydd | (~Hafydd@user/hafydd) (Quit: WeeChat 3.1) |
| 2021-06-24 06:05:07 +0200 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap) |
| 2021-06-24 06:05:10 +0200 | sagax | (~sagax@213.138.71.146) |
| 2021-06-24 06:05:28 +0200 | michalz | (~michalz@185.246.204.125) |
| 2021-06-24 06:05:50 +0200 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2021-06-24 06:07:47 +0200 | TranquilEcho | (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 2021-06-24 06:09:34 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-06-24 06:10:24 +0200 | blueonyx | (~blueonyx@x59cc8bb0.dyn.telefonica.de) (Changing host) |
| 2021-06-24 06:10:24 +0200 | blueonyx | (~blueonyx@user/blueonyx) |
| 2021-06-24 06:11:17 +0200 | slack1256 | (~slack1256@191.126.146.101) (Remote host closed the connection) |
| 2021-06-24 06:13:34 +0200 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2021-06-24 06:15:11 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-24 06:21:07 +0200 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-24 06:21:18 +0200 | pagnol | (~user@121.202.111.40) |
| 2021-06-24 06:21:41 +0200 | blueonyx | (~blueonyx@user/blueonyx) (Quit: leaving) |
| 2021-06-24 06:21:56 +0200 | blueonyx | (~blueonyx@user/blueonyx) |
| 2021-06-24 06:22:51 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-06-24 06:24:21 +0200 | Hafydd | (~Hafydd@user/hafydd) |
| 2021-06-24 06:26:04 +0200 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 246 seconds) |
| 2021-06-24 06:28:38 +0200 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-24 06:29:06 +0200 | <Axman6> | so, I've been stuck for a few days trying to reimplement this (IMO bizarre) hashingn scheme in Haskell. anyone want to take a stab at it? https://github.com/microsoft/electionguard-python/blob/main/src/electionguard/hash.py I'm using https://hackage.haskell.org/package/cryptonite-0.28/docs/Crypto-Hash.html |
| 2021-06-24 06:29:25 +0200 | <Axman6> | I just can't seem to get my head around the bizarre recursion |
| 2021-06-24 06:29:45 +0200 | <Axman6> | and end up using too many or not enough |'s |
| 2021-06-24 06:30:44 +0200 | <Axman6> | I resorted to building S-expressions but still can't make it work |
| 2021-06-24 06:32:14 +0200 | <glguy> | Axman6, you're implemeting hash_elems? |
| 2021-06-24 06:32:33 +0200 | monochrom | (trebla@216.138.220.146) |
| 2021-06-24 06:32:42 +0200 | <Axman6> | yeah |
| 2021-06-24 06:33:43 +0200 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 258 seconds) |
| 2021-06-24 06:35:28 +0200 | <c_wraith> | do you have any of the cases working? |
| 2021-06-24 06:38:30 +0200 | <Axman6> | I've written several implementations, which all do something, but since there's no useful unit tests it's hard to know if I have any of it right. the tests are all of the form hash [] == hash None, there aren't any that say hash [1,2,3] == "234ee8ui9o2fioklqwhekljaerh" |
| 2021-06-24 06:39:00 +0200 | <dibblego> | sounds like you need to poke the snake to get some cases |
| 2021-06-24 06:40:34 +0200 | <Axman6> | so as far as I can tell, the ElementModP/Q ones are working fine, they should be the hash of the hash of | <> toHex e <> | which I'm pretty sure I have working. but when it comes to what should be done for sequencey things and how to represent variadic functions I'm struggling |
| 2021-06-24 06:41:27 +0200 | <Axman6> | though, then there are tests like self.assertEqual(hash_elems(1), hash_elems("1")) |
| 2021-06-24 06:41:33 +0200 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-24 06:41:50 +0200 | <Axman6> | from what I can tell, that 1 should be turned into "01" so they shoulod not hash to the4 same thing |
| 2021-06-24 06:43:16 +0200 | <Axman6> | then there's self.assertNotEqual(hash_elems(0), hash_elems("0")) which should not be equal because the 0 becomes "null" becase truthiness |
| 2021-06-24 06:43:30 +0200 | arjun | (~arjun@160.202.37.101) |
| 2021-06-24 06:43:30 +0200 | arjun | (~arjun@160.202.37.101) (Changing host) |
| 2021-06-24 06:43:30 +0200 | arjun | (~arjun@user/arjun) |
| 2021-06-24 06:47:30 +0200 | blueonyx | (~blueonyx@user/blueonyx) (Quit: leaving) |
| 2021-06-24 06:48:26 +0200 | trent2 | (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-06-24 06:50:50 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-06-24 06:53:13 +0200 | <Axman6> | Argh, got the small tests I have to pass >___< |
| 2021-06-24 06:53:22 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 246 seconds) |
| 2021-06-24 06:53:39 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 06:59:23 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2021-06-24 07:00:44 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-06-24 07:01:35 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 07:02:06 +0200 | lainon_ | (lainon@gateway/vpn/protonvpn/lainon) |
| 2021-06-24 07:02:48 +0200 | trent2 | (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-06-24 07:03:17 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2021-06-24 07:06:53 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-24 07:11:23 +0200 | teaSlurper | (~chris@81.96.113.213) |
| 2021-06-24 07:13:12 +0200 | lainon_ | (lainon@gateway/vpn/protonvpn/lainon) (Ping timeout: 252 seconds) |
| 2021-06-24 07:13:56 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-06-24 07:16:04 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-24 07:17:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-06-24 07:18:41 +0200 | edwtjo | (~edwtjo@user/edwtjo) (Ping timeout: 252 seconds) |
| 2021-06-24 07:18:49 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
| 2021-06-24 07:20:35 +0200 | jneira | (~jneira@212.8.115.226) |
| 2021-06-24 07:25:39 +0200 | dunkeln_ | (~dunkeln@188.71.193.140) |
| 2021-06-24 07:32:47 +0200 | vicentius | (~vicentius@user/vicentius) |
| 2021-06-24 07:33:12 +0200 | eco | (~ubuntu@ec2-54-201-230-197.us-west-2.compute.amazonaws.com) |
| 2021-06-24 07:35:29 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 07:38:21 +0200 | <haskl> | I hope easy static binaries are coming down the pipe for Haskell. Anyone know about any plans? |
| 2021-06-24 07:38:41 +0200 | <haskl> | Feels weird that I have to launch a Docker container to build a static binary that works well. |
| 2021-06-24 07:39:55 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 246 seconds) |
| 2021-06-24 07:40:31 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-06-24 07:41:47 +0200 | <eco> | haskl: are static binaries easy in any environment other than Go and maybe Zig? |
| 2021-06-24 07:44:10 +0200 | <haskl> | yeah i guess i was mainly thinking about how good golang devs have it |
| 2021-06-24 07:44:31 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-06-24 07:44:31 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-06-24 07:44:31 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
| 2021-06-24 07:47:43 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-24 07:48:31 +0200 | wei2912 | (~wei2912@112.199.250.21) |
| 2021-06-24 07:52:18 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-06-24 07:56:32 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 250 seconds) |
| 2021-06-24 08:06:03 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 08:06:31 +0200 | myShoggoth | (~myShoggot@75.164.29.44) (Ping timeout: 246 seconds) |
| 2021-06-24 08:07:32 +0200 | <dminuoso> | haskl: Last I checked, building static binaries was not difficult. |
| 2021-06-24 08:08:45 +0200 | <dminuoso> | It's nothing that needs to "come down the pipe", its already there. |
| 2021-06-24 08:09:41 +0200 | MidAutumnMoon | (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 2021-06-24 08:10:04 +0200 | <dminuoso> | Just keep in mind that using GMP this will require you to license the resulting binary as GPLv3 |
| 2021-06-24 08:10:17 +0200 | MidAutumnMoon | (~MidAutumn@user/midautumnmoon) |
| 2021-06-24 08:11:09 +0200 | <haskl> | dminuoso, don't you need docker to make a good static build? |
| 2021-06-24 08:12:39 +0200 | <dolio> | I don't see how docker would even help. |
| 2021-06-24 08:12:46 +0200 | unyu | (~pyon@user/pyon) |
| 2021-06-24 08:13:13 +0200 | <dminuoso> | haskl: Mmm, I dont think so. You just need to make sure you can resolve all the libraries for linking. |
| 2021-06-24 08:13:18 +0200 | <eco> | Its just a quick way to get an Alpine build environment |
| 2021-06-24 08:13:27 +0200 | <dminuoso> | I know some people do it with alpine docker because that guarantees everything is there by default |
| 2021-06-24 08:14:17 +0200 | trent2 | (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-06-24 08:14:58 +0200 | <haskl> | oh interesting |
| 2021-06-24 08:15:14 +0200 | <dminuoso> | The main inconvenience why this hasn't caught on, is because of the GMP licensing. |
| 2021-06-24 08:15:29 +0200 | <haskl> | sorry if these questions are annoying i'm rather new to compilers and somewhat new to haskell |
| 2021-06-24 08:15:29 +0200 | <dminuoso> | Arguably. |
| 2021-06-24 08:15:49 +0200 | <haskl> | oh yeah i heard that dynamically linked libraries tend to be used due to licensing |
| 2021-06-24 08:16:52 +0200 | <haskl> | that by giving people just the part of your program that they need to be compiled as a binary they can get the other parts that may be licensed differently from other sources like dependencies in a deb package and thus you're not "distributing" it |
| 2021-06-24 08:17:44 +0200 | dunkeln_ | (~dunkeln@188.71.193.140) (Ping timeout: 252 seconds) |
| 2021-06-24 08:18:49 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-24 08:19:00 +0200 | <dminuoso> | (There is a drop-in solution for gmp called integer-simple, but you pay with a hefty performance penalty with any Integer heavy code) |
| 2021-06-24 08:19:18 +0200 | <c_wraith> | it's not called integer-fast. :P |
| 2021-06-24 08:19:44 +0200 | <dolio> | Depends on the code, really. |
| 2021-06-24 08:19:48 +0200 | deshalb | (~deshalb@user/deshalb) |
| 2021-06-24 08:20:02 +0200 | <haskl> | --enable-executable-static is all i really need to builda static executable with cabal, then? |
| 2021-06-24 08:20:28 +0200 | <c_wraith> | well, you need a static libc installed |
| 2021-06-24 08:20:34 +0200 | <dolio> | I think at some point it was actually faster than the GMP version for some cases. |
| 2021-06-24 08:20:56 +0200 | <haskl> | c_wraith, ah, and that's why lots of peopel use alpine docker? |
| 2021-06-24 08:21:14 +0200 | <c_wraith> | yeah, alpine has that by default |
| 2021-06-24 08:21:22 +0200 | <dminuoso> | haskl: Some systems provide it, others dont. With glibc you have just a variety of issues. |
| 2021-06-24 08:21:27 +0200 | <haskl> | i'm using debian |
| 2021-06-24 08:21:32 +0200 | <dminuoso> | haskl: Alpine gives you musl out of the box |
| 2021-06-24 08:21:45 +0200 | <dminuoso> | haskl: Also regarding cabal, keep in mind there's an open issue https://github.com/haskell/cabal/issues/7236 |
| 2021-06-24 08:22:46 +0200 | turlando_ | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Quit: Leaving) |
| 2021-06-24 08:22:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-06-24 08:22:59 +0200 | turlando_ | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-06-24 08:24:04 +0200 | <dminuoso> | dolio: Interesting, is that possibly due to the simplifier having deeper inlining opportunities? |
| 2021-06-24 08:24:39 +0200 | <dolio> | I think it had to do with FFI overhead. |
| 2021-06-24 08:25:20 +0200 | <dolio> | Or whatever the wired-in equivalent was. |
| 2021-06-24 08:25:24 +0200 | <dminuoso> | So I guess the same rule as with any performance problem applies: profile if you have issues. |
| 2021-06-24 08:25:59 +0200 | <dminuoso> | But then again, I also dont know where Integer is transitively used heavily in my code. |
| 2021-06-24 08:26:04 +0200 | <dolio> | Basically whatever slower algorithms integer-simple was using weren't slow enough that GMP could outweigh the overhead of calling into GMP. |
| 2021-06-24 08:26:13 +0200 | <dminuoso> | Right |
| 2021-06-24 08:26:36 +0200 | sekun | (~sekun@180.190.208.125) |
| 2021-06-24 08:26:49 +0200 | <dolio> | And I don't know how big your integers had to be to swing the other way, but most people probably don't really use integers big enough. |
| 2021-06-24 08:27:01 +0200 | <haskl> | thanks |
| 2021-06-24 08:27:10 +0200 | <haskl> | i'm excited to try out ghc2021 as soon as cabal supports it |
| 2021-06-24 08:27:24 +0200 | <haskl> | (as soon as cabal supports uh ghc... i forget... 9.x?) |
| 2021-06-24 08:29:53 +0200 | shredder | (~user@user/shredder) (Quit: quitting) |
| 2021-06-24 08:30:36 +0200 | shredder | (~user@user/shredder) |
| 2021-06-24 08:31:20 +0200 | leeb | (~leeb@KD111239152196.au-net.ne.jp) |
| 2021-06-24 08:34:28 +0200 | leeb_ | (~leeb@KD111239153068.au-net.ne.jp) (Ping timeout: 258 seconds) |
| 2021-06-24 08:36:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:49d0:2870:d6be:5707) |
| 2021-06-24 08:37:05 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2021-06-24 08:38:16 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-06-24 08:38:34 +0200 | pagnol | (~user@121.202.111.40) (Ping timeout: 250 seconds) |
| 2021-06-24 08:40:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-24 08:43:16 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-06-24 08:43:17 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-24 08:43:53 +0200 | turlando_ | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Quit: Leaving) |
| 2021-06-24 08:44:06 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-06-24 08:44:06 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2021-06-24 08:44:06 +0200 | turlando | (~turlando@user/turlando) |
| 2021-06-24 08:45:12 +0200 | <sekun> | what's the progress on GHC 2021? |
| 2021-06-24 08:46:35 +0200 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-06-24 08:47:09 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 08:47:55 +0200 | dunkeln_ | (~dunkeln@188.71.193.140) |
| 2021-06-24 08:50:21 +0200 | <haskl> | sekun, all I know is this: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0380-ghc2021.rst |
| 2021-06-24 08:52:23 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2021-06-24 08:52:54 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2021-06-24 08:53:25 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-06-24 08:55:34 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) (Quit: bye) |
| 2021-06-24 08:56:20 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
| 2021-06-24 08:57:34 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 08:58:39 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 08:59:01 +0200 | m4lvin | (~m4lvin@w4eg.de) (Quit: m4lvin) |
| 2021-06-24 08:59:21 +0200 | m4lvin | (~m4lvin@w4eg.de) |
| 2021-06-24 09:03:13 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 258 seconds) |
| 2021-06-24 09:03:56 +0200 | azeem | (~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it) (Ping timeout: 252 seconds) |
| 2021-06-24 09:06:07 +0200 | azeem | (~azeem@176.201.6.138) |
| 2021-06-24 09:06:43 +0200 | arjun | (~arjun@user/arjun) (Ping timeout: 246 seconds) |
| 2021-06-24 09:07:10 +0200 | azeem | (~azeem@176.201.6.138) (Read error: Connection reset by peer) |
| 2021-06-24 09:08:03 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2021-06-24 09:09:02 +0200 | azeem | (~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it) |
| 2021-06-24 09:09:23 +0200 | arjun | (~arjun@160.202.37.147) |
| 2021-06-24 09:09:23 +0200 | arjun | (~arjun@160.202.37.147) (Changing host) |
| 2021-06-24 09:09:23 +0200 | arjun | (~arjun@user/arjun) |
| 2021-06-24 09:10:33 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-24 09:11:41 +0200 | Scotty_Trees | (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-24 09:13:25 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-06-24 09:16:03 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-06-24 09:18:53 +0200 | Ambros | (~Ambros@212-186-40-210.cable.dynamic.surfer.at) |
| 2021-06-24 09:19:40 +0200 | trent2 | (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 246 seconds) |
| 2021-06-24 09:19:46 +0200 | Ambros | (~Ambros@212-186-40-210.cable.dynamic.surfer.at) (Client Quit) |
| 2021-06-24 09:22:00 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 258 seconds) |
| 2021-06-24 09:24:18 +0200 | pagnol | (~user@014198154145.ctinets.com) |
| 2021-06-24 09:24:36 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-24 09:25:00 +0200 | <sekun> | haskl: I see. I wonder when it's going to land |
| 2021-06-24 09:25:24 +0200 | <haskl> | there's some PR talking about the ghc alpha integration into cabal |
| 2021-06-24 09:27:44 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2021-06-24 09:28:12 +0200 | vicentius | (~vicentius@user/vicentius) (Quit: Leaving) |
| 2021-06-24 09:43:26 +0200 | involans | (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-06-24 09:44:14 +0200 | arjun | (~arjun@user/arjun) (Read error: Connection reset by peer) |
| 2021-06-24 09:44:24 +0200 | warnz | (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) |
| 2021-06-24 09:44:35 +0200 | arjun | (~arjun@160.202.37.147) |
| 2021-06-24 09:44:35 +0200 | arjun | (~arjun@160.202.37.147) (Changing host) |
| 2021-06-24 09:44:35 +0200 | arjun | (~arjun@user/arjun) |
| 2021-06-24 09:45:27 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 09:45:44 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:8546:f5b9:7173:b24) (Ping timeout: 250 seconds) |
| 2021-06-24 09:46:48 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:c1e6:8279:92e9:57ec) |
| 2021-06-24 09:47:45 +0200 | nerdypepper | (~nerdypepp@152.67.162.71) |
| 2021-06-24 09:48:46 +0200 | warnz | (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Ping timeout: 250 seconds) |
| 2021-06-24 09:49:22 +0200 | myShoggoth | (~myShoggot@75.164.29.44) |
| 2021-06-24 09:50:25 +0200 | chele | (~chele@user/chele) |
| 2021-06-24 09:52:13 +0200 | hmmmas | (~chenqisu1@183.217.200.246) (Quit: Leaving.) |
| 2021-06-24 09:56:14 +0200 | charukiewicz | (~quassel@irouteince04.i.subnet.rcn.com) (Remote host closed the connection) |
| 2021-06-24 09:57:24 +0200 | charukiewicz | (~quassel@irouteince04.i.subnet.rcn.com) |
| 2021-06-24 09:59:10 +0200 | azeem | (~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 2021-06-24 09:59:26 +0200 | Guest16 | (~Guest16@106.240.249.42) |
| 2021-06-24 09:59:45 +0200 | azeem | (~azeem@176.201.6.138) |
| 2021-06-24 10:00:18 +0200 | Guest16 | (~Guest16@106.240.249.42) (Client Quit) |
| 2021-06-24 10:02:29 +0200 | brian_da_mage | (~Neuromanc@user/briandamag) |
| 2021-06-24 10:03:45 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-24 10:06:58 +0200 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-06-24 10:09:21 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-06-24 10:11:22 +0200 | fendor | (~fendor@178.165.189.179.wireless.dyn.drei.com) |
| 2021-06-24 10:13:38 +0200 | dhil | (~dhil@195.213.192.47) |
| 2021-06-24 10:17:18 +0200 | jonathanx | (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) |
| 2021-06-24 10:17:31 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-06-24 10:17:31 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-06-24 10:17:40 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2021-06-24 10:17:47 +0200 | <boxscape> | sekun: The proposal says "implemented:: 9.2" |
| 2021-06-24 10:18:22 +0200 | yoctocell | (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-06-24 10:18:54 +0200 | <sekun> | boxscape: oh so that's what that means. thanks. haven't read ghc proposals before so i wasn't sure what it meant. |
| 2021-06-24 10:19:42 +0200 | <boxscape> | understandable |
| 2021-06-24 10:20:34 +0200 | dunkeln_ | (~dunkeln@188.71.193.140) (Ping timeout: 252 seconds) |
| 2021-06-24 10:20:49 +0200 | <dminuoso> | That's probably one of the simplest proposals ever implemented. |
| 2021-06-24 10:22:36 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:bbfc:1ba1:ffb3:62a) |
| 2021-06-24 10:24:38 +0200 | nilof | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-24 10:30:21 +0200 | Xnuk | (~xnuk@45.76.202.58) (Quit: ZNC - https://znc.in) |
| 2021-06-24 10:30:38 +0200 | Xnuk | (~xnuk@vultr.xnu.kr) |
| 2021-06-24 10:33:20 +0200 | fef | (~thedawn@user/thedawn) |
| 2021-06-24 10:34:52 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-06-24 10:35:16 +0200 | azeem | (~azeem@176.201.6.138) (Ping timeout: 246 seconds) |
| 2021-06-24 10:36:08 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-06-24 10:37:54 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-06-24 10:38:03 +0200 | shiraeeshi | (~shiraeesh@5.101.59.74) |
| 2021-06-24 10:38:27 +0200 | mcglk | (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2021-06-24 10:39:39 +0200 | azeem | (~azeem@176.201.6.138) |
| 2021-06-24 10:41:36 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-06-24 10:42:48 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 10:48:05 +0200 | arjun | (~arjun@user/arjun) (Ping timeout: 268 seconds) |
| 2021-06-24 10:48:38 +0200 | azeem | (~azeem@176.201.6.138) (Ping timeout: 258 seconds) |
| 2021-06-24 10:49:36 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 10:49:41 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-24 10:52:46 +0200 | wei2912 | (~wei2912@112.199.250.21) (Ping timeout: 246 seconds) |
| 2021-06-24 10:55:46 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-06-24 10:56:31 +0200 | azeem | (~azeem@176.201.6.138) |
| 2021-06-24 10:59:17 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 11:01:02 +0200 | azeem | (~azeem@176.201.6.138) (Ping timeout: 268 seconds) |
| 2021-06-24 11:01:07 +0200 | mcglk | (~mcglk@131.191.49.120) |
| 2021-06-24 11:01:57 +0200 | azeem | (~azeem@176.200.235.22) |
| 2021-06-24 11:02:53 +0200 | myShoggoth | (~myShoggot@75.164.29.44) (Ping timeout: 268 seconds) |
| 2021-06-24 11:03:37 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 246 seconds) |
| 2021-06-24 11:05:10 +0200 | sleblanc | (~sleblanc@user/sleblanc) |
| 2021-06-24 11:11:03 +0200 | arjun | (~arjun@160.202.37.147) |
| 2021-06-24 11:11:03 +0200 | arjun | (~arjun@160.202.37.147) (Changing host) |
| 2021-06-24 11:11:03 +0200 | arjun | (~arjun@user/arjun) |
| 2021-06-24 11:12:27 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-24 11:20:59 +0200 | ocramz | (~user@c80-216-51-213.bredband.tele2.se) |
| 2021-06-24 11:21:59 +0200 | <ocramz> | hullo! |
| 2021-06-24 11:22:40 +0200 | <ocramz> | does anyone know why ghc-the-library 9.0.1 is not visible on Hackage yet? https://hackage.haskell.org/package/ghc the latest one is 8.10.2 |
| 2021-06-24 11:23:35 +0200 | <boxscape> | ocramz: https://gitlab.haskell.org/ghc/ghc/-/issues/19924 |
| 2021-06-24 11:24:13 +0200 | <ocramz> | boxscape : ooh, thank you |
| 2021-06-24 11:24:25 +0200 | <ocramz> | I didn't think of thecking the trac |
| 2021-06-24 11:24:51 +0200 | <boxscape> | I happened to know that ticket exists :) |
| 2021-06-24 11:25:48 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) (Remote host closed the connection) |
| 2021-06-24 11:26:19 +0200 | <ocramz> | yeah I'm writing a ghc plugin and for some reason there has been a large module reorganization in that area between ghc series 8 and 9 so I'm slowly becoming .. acutely aware of the internals |
| 2021-06-24 11:27:25 +0200 | sleblanc | (~sleblanc@user/sleblanc) (Ping timeout: 246 seconds) |
| 2021-06-24 11:28:12 +0200 | <boxscape> | I believe that was the conclusion of an ongoing project to modernize the module structure from an originally flat to fully hierarchical |
| 2021-06-24 11:28:21 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-06-24 11:28:36 +0200 | <ocramz> | the new one is easier to read, for sure |
| 2021-06-24 11:33:35 +0200 | __monty__ | (~toonn@user/toonn) |
| 2021-06-24 11:35:13 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-06-24 11:37:25 +0200 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-06-24 11:37:34 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Ping timeout: 246 seconds) |
| 2021-06-24 11:37:34 +0200 | ubert1 | ubert |
| 2021-06-24 11:37:57 +0200 | nschoe | (~quassel@178.251.84.79) |
| 2021-06-24 11:39:48 +0200 | dunj3 | (~dunj3@2001:16b8:307b:a700:5aa3:7c87:9028:f4cb) |
| 2021-06-24 11:41:55 +0200 | dunkeln | (~dunkeln@188.71.193.140) |
| 2021-06-24 11:44:31 +0200 | opv | (~opv@methodsofcontrol.com) () |
| 2021-06-24 11:46:41 +0200 | teaSlurper | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-24 11:49:01 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-24 11:53:20 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-24 11:54:26 +0200 | dunkeln | (~dunkeln@188.71.193.140) (Ping timeout: 265 seconds) |
| 2021-06-24 11:54:56 +0200 | dunkeln | (~dunkeln@188.71.193.140) |
| 2021-06-24 11:56:46 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-06-24 11:59:12 +0200 | ocramz | (~user@c80-216-51-213.bredband.tele2.se) (Ping timeout: 252 seconds) |
| 2021-06-24 12:01:48 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:49d0:2870:d6be:5707) (Ping timeout: 250 seconds) |
| 2021-06-24 12:04:15 +0200 | pagnol | (~user@014198154145.ctinets.com) (Remote host closed the connection) |
| 2021-06-24 12:04:51 +0200 | kuribas | (~user@ptr-25vy0i7u4pc88k7ao93.18120a2.ip6.access.telenet.be) |
| 2021-06-24 12:07:19 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 246 seconds) |
| 2021-06-24 12:09:19 +0200 | <kuribas> | Anyone have experience with streamly? |
| 2021-06-24 12:10:06 +0200 | <kuribas> | I'd like to use it for it's fusion, like read timeseries from a lmdb database, perform calculations, write a new timeseries or return results. |
| 2021-06-24 12:10:23 +0200 | dunkeln | (~dunkeln@188.71.193.140) (Ping timeout: 265 seconds) |
| 2021-06-24 12:10:24 +0200 | <kuribas> | Then streamly would apply all the fusion and make it very efficient. |
| 2021-06-24 12:12:08 +0200 | hamishmack | (sid389057@id-389057.stonehaven.irccloud.com) () |
| 2021-06-24 12:12:51 +0200 | <maerwald> | What's the question |
| 2021-06-24 12:13:25 +0200 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-06-24 12:13:28 +0200 | hamishmack | (sid389057@id-389057.stonehaven.irccloud.com) |
| 2021-06-24 12:14:53 +0200 | nilof | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2021-06-24 12:16:31 +0200 | <kuribas> | maerwald: is it efficient? |
| 2021-06-24 12:17:07 +0200 | shiraeeshi | (~shiraeesh@5.101.59.74) (Ping timeout: 246 seconds) |
| 2021-06-24 12:18:07 +0200 | <kuribas> | I could do a proof of concept, compare with C... |
| 2021-06-24 12:18:21 +0200 | <maerwald> | For your use case, I dunno. Not sure there are streamly compatible libraries yet. You might have to write your own Unfolds. |
| 2021-06-24 12:18:39 +0200 | <kuribas> | maerwald: that was the idea, yes :) |
| 2021-06-24 12:18:56 +0200 | <kuribas> | Write a low level library on top of LMDB, which doesn't copy anything. |
| 2021-06-24 12:19:10 +0200 | nilof | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-24 12:19:14 +0200 | <kuribas> | So read straight from the lmdb buffer. |
| 2021-06-24 12:19:45 +0200 | <kuribas> | there is a high level lmdb library, which does like 4 copies for the buffer. |
| 2021-06-24 12:19:58 +0200 | <maerwald> | I don't think there's anything faster than streamly currently. But the inlining is carefully shuffled stuff that no one understands. So if you do some mistake in your low level streamly code, it might not fuse |
| 2021-06-24 12:20:23 +0200 | shiraeeshi | (~shiraeesh@5.101.59.74) |
| 2021-06-24 12:20:31 +0200 | <maerwald> | Ask on their gitter channel, harendra is active there |
| 2021-06-24 12:20:46 +0200 | <kuribas> | my other idea was to write a stream processing language using GRIN :) |
| 2021-06-24 12:20:50 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:87f:cdda:7c38:b400) |
| 2021-06-24 12:20:53 +0200 | <kuribas> | but that's way more work... |
| 2021-06-24 12:21:13 +0200 | <kuribas> | I am happy with a factor of 2 of C. |
| 2021-06-24 12:21:19 +0200 | <kuribas> | C performance. |
| 2021-06-24 12:21:19 +0200 | nilof | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-06-24 12:21:36 +0200 | nilof | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-24 12:21:43 +0200 | oxide | (~lambda@user/oxide) |
| 2021-06-24 12:22:45 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-06-24 12:23:23 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2021-06-24 12:23:35 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) |
| 2021-06-24 12:23:47 +0200 | hmmmas | (~chenqisu1@183.217.200.246) |
| 2021-06-24 12:25:09 +0200 | kayprish | (~kayprish@46.240.143.86) |
| 2021-06-24 12:26:12 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 12:28:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-06-24 12:29:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 12:31:42 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) (Ping timeout: 250 seconds) |
| 2021-06-24 12:34:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-06-24 12:35:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 12:37:34 +0200 | <Franciman> | how can I make pipewire automatically switch between speakers and headphones |
| 2021-06-24 12:37:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-06-24 12:37:42 +0200 | <Franciman> | ops |
| 2021-06-24 12:37:45 +0200 | <Franciman> | sorry wrong channel |
| 2021-06-24 12:40:38 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-24 12:41:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 12:44:49 +0200 | teaSlurper | (~chris@81.96.113.213) |
| 2021-06-24 12:47:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-24 12:47:18 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 12:52:05 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 12:52:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-24 12:53:04 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 12:57:26 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-06-24 12:57:43 +0200 | azeem | (~azeem@176.200.235.22) (Ping timeout: 246 seconds) |
| 2021-06-24 12:58:14 +0200 | a6a45081-2b83 | (~aditya@122.163.197.78) |
| 2021-06-24 12:58:36 +0200 | azeem | (~azeem@176.200.235.22) |
| 2021-06-24 12:59:33 +0200 | dunkeln | (~dunkeln@188.71.193.140) |
| 2021-06-24 12:59:53 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2021-06-24 13:01:58 +0200 | arjun | (~arjun@user/arjun) (Read error: Connection reset by peer) |
| 2021-06-24 13:03:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-24 13:04:23 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 13:06:22 +0200 | derelict | (~derelict@user/derelict) (Ping timeout: 250 seconds) |
| 2021-06-24 13:07:18 +0200 | a6a45081-2b83 | (~aditya@122.163.197.78) (Quit: Konversation terminated!) |
| 2021-06-24 13:08:44 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-24 13:09:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-24 13:10:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 13:13:16 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-24 13:14:41 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 258 seconds) |
| 2021-06-24 13:15:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-24 13:16:27 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 13:21:35 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-06-24 13:22:09 +0200 | derelict | (~derelict@user/derelict) |
| 2021-06-24 13:22:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 13:25:47 +0200 | MorrowM | (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 265 seconds) |
| 2021-06-24 13:28:55 +0200 | talismanick | (~user@2601:644:8502:d700::5315) (Ping timeout: 250 seconds) |
| 2021-06-24 13:29:24 +0200 | azeem | (~azeem@176.200.235.22) (Ping timeout: 252 seconds) |
| 2021-06-24 13:31:58 +0200 | azeem | (~azeem@158.148.56.246) |
| 2021-06-24 13:33:12 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-06-24 13:38:54 +0200 | dunkeln | (~dunkeln@188.71.193.140) (Ping timeout: 268 seconds) |
| 2021-06-24 13:39:38 +0200 | oxide | (~lambda@user/oxide) |
| 2021-06-24 13:41:07 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) (Ping timeout: 246 seconds) |
| 2021-06-24 13:41:15 +0200 | azeem | (~azeem@158.148.56.246) (Ping timeout: 265 seconds) |
| 2021-06-24 13:41:33 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2021-06-24 13:41:59 +0200 | azeem | (~azeem@158.148.56.246) |
| 2021-06-24 13:42:31 +0200 | xff0x | (~xff0x@2001:1a81:528e:9600:d6ab:c0c:f83f:c070) (Ping timeout: 246 seconds) |
| 2021-06-24 13:43:25 +0200 | xff0x | (~xff0x@2001:1a81:528e:9600:537c:8f79:34f1:e6a6) |
| 2021-06-24 13:43:38 +0200 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 250 seconds) |
| 2021-06-24 13:45:52 +0200 | x_kuru | (~xkuru@user/xkuru) |
| 2021-06-24 13:45:53 +0200 | DNH | (~DNH@8.43.122.6) |
| 2021-06-24 13:48:57 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-06-24 13:49:24 +0200 | fef | (~thedawn@user/thedawn) |
| 2021-06-24 13:49:57 +0200 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 258 seconds) |
| 2021-06-24 13:49:59 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-24 13:50:20 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-24 13:50:33 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 13:50:40 +0200 | azeem | (~azeem@158.148.56.246) (Ping timeout: 252 seconds) |
| 2021-06-24 13:51:40 +0200 | azeem | (~azeem@158.148.56.246) |
| 2021-06-24 13:54:56 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-06-24 13:55:19 +0200 | dunkeln | (~dunkeln@188.71.193.140) |
| 2021-06-24 13:58:53 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-24 14:01:04 +0200 | azeem | (~azeem@158.148.56.246) (Ping timeout: 265 seconds) |
| 2021-06-24 14:01:59 +0200 | azeem | (~azeem@158.148.56.246) |
| 2021-06-24 14:04:31 +0200 | DNH | (~DNH@8.43.122.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-24 14:04:37 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-06-24 14:05:08 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-24 14:07:24 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-24 14:07:41 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) (Quit: Client limit exceeded: 15000) |
| 2021-06-24 14:09:04 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-24 14:15:09 +0200 | chomwitt | (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-06-24 14:16:22 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 14:16:41 +0200 | Aleci[m] | (~alecilibr@2001:470:69fc:105::32e7) (Quit: Client limit exceeded: 15000) |
| 2021-06-24 14:18:59 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-24 14:19:41 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-06-24 14:21:57 +0200 | DNH | (~DNH@8.43.122.6) |
| 2021-06-24 14:24:02 +0200 | dunkeln | (~dunkeln@188.71.193.140) (Ping timeout: 252 seconds) |
| 2021-06-24 14:24:34 +0200 | Misha25 | (~textual@124.123.173.172) |
| 2021-06-24 14:26:13 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-06-24 14:28:48 +0200 | finsternis | (~X@23.226.237.192) (Remote host closed the connection) |
| 2021-06-24 14:28:52 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 14:33:28 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) (Ping timeout: 250 seconds) |
| 2021-06-24 14:33:33 +0200 | Misha25 | (~textual@124.123.173.172) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-24 14:34:25 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 258 seconds) |
| 2021-06-24 14:36:06 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-24 14:37:58 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-24 14:43:51 +0200 | dunkeln_ | (~dunkeln@188.71.193.140) |
| 2021-06-24 14:45:52 +0200 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 246 seconds) |
| 2021-06-24 14:47:06 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-06-24 14:48:21 +0200 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-24 14:50:42 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-24 14:52:51 +0200 | unyu | (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-06-24 14:53:16 +0200 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 265 seconds) |
| 2021-06-24 14:53:35 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 14:53:44 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 14:57:45 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-06-24 14:59:41 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-06-24 15:00:37 +0200 | jneira | (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-06-24 15:00:57 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 15:01:02 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-24 15:01:13 +0200 | alx741 | (~alx741@181.196.68.156) |
| 2021-06-24 15:01:37 +0200 | hammock | (~Hammock@2600:1700:19a1:3330::625) |
| 2021-06-24 15:04:51 +0200 | stefan-_ | (~cri@42dots.de) |
| 2021-06-24 15:05:05 +0200 | chomwitt | (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 258 seconds) |
| 2021-06-24 15:05:51 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-24 15:06:33 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 15:06:34 +0200 | dunkeln_ | (~dunkeln@188.71.193.140) (Ping timeout: 252 seconds) |
| 2021-06-24 15:08:21 +0200 | qbt | (~edun@user/edun) |
| 2021-06-24 15:08:24 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2021-06-24 15:15:00 +0200 | qbt | (~edun@user/edun) (Ping timeout: 252 seconds) |
| 2021-06-24 15:17:56 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 15:19:19 +0200 | allbery_b | geekosaur |
| 2021-06-24 15:20:10 +0200 | jonathanx | (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2021-06-24 15:20:17 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-06-24 15:20:21 +0200 | shimin | (~liushimin@211.64.159.124) |
| 2021-06-24 15:20:24 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 15:20:42 +0200 | xff0x | (~xff0x@2001:1a81:528e:9600:537c:8f79:34f1:e6a6) (Ping timeout: 250 seconds) |
| 2021-06-24 15:22:43 +0200 | xff0x | (~xff0x@185.65.135.235) |
| 2021-06-24 15:25:01 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 258 seconds) |
| 2021-06-24 15:25:05 +0200 | ph88 | (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) |
| 2021-06-24 15:27:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-24 15:28:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 15:28:16 +0200 | TranquilEcho | (~grom@user/tranquilecho) |
| 2021-06-24 15:32:16 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 2021-06-24 15:33:20 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-24 15:34:02 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 15:34:13 +0200 | xff0x | (~xff0x@185.65.135.235) (Ping timeout: 258 seconds) |
| 2021-06-24 15:36:02 +0200 | xff0x | (~xff0x@2001:1a81:528e:9600:537c:8f79:34f1:e6a6) |
| 2021-06-24 15:36:37 +0200 | brian_da_mage | (~Neuromanc@user/briandamag) (Ping timeout: 246 seconds) |
| 2021-06-24 15:39:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-24 15:40:10 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 15:41:49 +0200 | haskl | (~haskeller@user/haskl) (Remote host closed the connection) |
| 2021-06-24 15:43:48 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-24 15:45:57 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2021-06-24 15:47:41 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-06-24 15:47:57 +0200 | chomwitt | (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-06-24 15:50:08 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-24 15:52:02 +0200 | azeem | (~azeem@158.148.56.246) (Ping timeout: 252 seconds) |
| 2021-06-24 15:52:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2021-06-24 15:53:32 +0200 | shimin | (~liushimin@211.64.159.124) (Quit: Leaving.) |
| 2021-06-24 15:53:55 +0200 | shimin | (~liushimin@117.136.92.119) |
| 2021-06-24 15:54:38 +0200 | azeem | (~azeem@176.201.36.120) |
| 2021-06-24 15:55:45 +0200 | peterhil_ | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-24 15:56:07 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-24 15:56:18 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-06-24 15:56:19 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3-dev) |
| 2021-06-24 15:56:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-24 15:57:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-24 15:57:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 15:59:43 +0200 | shiraeeshi | (~shiraeesh@5.101.59.74) (Ping timeout: 246 seconds) |
| 2021-06-24 16:01:17 +0200 | dunj3 | (~dunj3@2001:16b8:307b:a700:5aa3:7c87:9028:f4cb) (Remote host closed the connection) |
| 2021-06-24 16:01:48 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 16:02:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-24 16:03:39 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 16:03:40 +0200 | shimin | (~liushimin@117.136.92.119) (Read error: Connection reset by peer) |
| 2021-06-24 16:06:48 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-06-24 16:07:51 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-24 16:08:33 +0200 | kayprish | (~kayprish@46.240.143.86) (Read error: Connection reset by peer) |
| 2021-06-24 16:09:36 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-24 16:09:56 +0200 | shiraeeshi | (~shiraeesh@5.101.59.74) |
| 2021-06-24 16:10:43 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-24 16:12:03 +0200 | fendor_ | (~fendor@77.119.207.179.wireless.dyn.drei.com) |
| 2021-06-24 16:13:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-06-24 16:13:42 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Ping timeout: 258 seconds) |
| 2021-06-24 16:14:25 +0200 | fendor | (~fendor@178.165.189.179.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2021-06-24 16:15:02 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-24 16:15:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 16:16:28 +0200 | shimin | (~liushimin@211.64.159.124) |
| 2021-06-24 16:20:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-24 16:20:28 +0200 | dunkeln | (~dunkeln@188.71.193.140) |
| 2021-06-24 16:20:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 16:25:06 +0200 | neurocyte4 | (~neurocyte@46.243.80.159) |
| 2021-06-24 16:25:06 +0200 | neurocyte4 | (~neurocyte@46.243.80.159) (Changing host) |
| 2021-06-24 16:25:06 +0200 | neurocyte4 | (~neurocyte@user/neurocyte) |
| 2021-06-24 16:25:16 +0200 | involans | (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-06-24 16:26:01 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-24 16:26:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 16:26:23 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-06-24 16:26:23 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-06-24 16:26:23 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
| 2021-06-24 16:27:14 +0200 | chomwitt | (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2021-06-24 16:30:16 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 16:30:23 +0200 | neurocyte4 | (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
| 2021-06-24 16:30:36 +0200 | neurocyte | (~neurocyte@46.243.80.159) |
| 2021-06-24 16:30:36 +0200 | neurocyte | (~neurocyte@46.243.80.159) (Changing host) |
| 2021-06-24 16:30:36 +0200 | neurocyte | (~neurocyte@user/neurocyte) |
| 2021-06-24 16:32:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-24 16:32:20 +0200 | warnz | (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) |
| 2021-06-24 16:32:30 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 16:34:48 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) (Ping timeout: 250 seconds) |
| 2021-06-24 16:35:04 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 246 seconds) |
| 2021-06-24 16:37:52 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-24 16:38:02 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 16:38:34 +0200 | chronon | (~chronon@user/chronon) () |
| 2021-06-24 16:38:37 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) |
| 2021-06-24 16:39:42 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 16:42:28 +0200 | ircbrowse_tom | (~ircbrowse@static.162.49.55.162.clients.your-server.de) |
| 2021-06-24 16:42:30 +0200 | Server | +Cnt |
| 2021-06-24 16:47:00 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 16:47:21 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
| 2021-06-24 16:48:37 +0200 | involans | (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-06-24 16:48:46 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-06-24 16:49:11 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-24 16:49:26 +0200 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-06-24 16:50:06 +0200 | hmmmas | (~chenqisu1@183.217.200.246) (Quit: Leaving.) |
| 2021-06-24 16:54:00 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) (Ping timeout: 252 seconds) |
| 2021-06-24 16:55:26 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 16:56:56 +0200 | outoftime | (~ruslan@46.227.138.42) (Ping timeout: 252 seconds) |
| 2021-06-24 16:58:10 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-06-24 16:59:06 +0200 | Morrow | (~MorrowM_@147.161.12.76) |
| 2021-06-24 16:59:46 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 17:00:39 +0200 | senpai_ | (r1k@tilde.institute) |
| 2021-06-24 17:01:10 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-06-24 17:01:19 +0200 | fendor_ | fendor |
| 2021-06-24 17:03:37 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-06-24 17:03:49 +0200 | senpai_ | (r1k@tilde.institute) (Client Quit) |
| 2021-06-24 17:04:13 +0200 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) |
| 2021-06-24 17:04:14 +0200 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host) |
| 2021-06-24 17:04:14 +0200 | edwtjo | (~edwtjo@user/edwtjo) |
| 2021-06-24 17:04:15 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-06-24 17:04:49 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 246 seconds) |
| 2021-06-24 17:05:27 +0200 | lbseale | (~lbseale@user/ep1ctetus) |
| 2021-06-24 17:07:38 +0200 | yoctocell | (~user@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection) |
| 2021-06-24 17:07:47 +0200 | shimin1 | (~liushimin@117.136.92.119) |
| 2021-06-24 17:08:26 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 17:08:32 +0200 | Deide | (~Deide@wire.desu.ga) |
| 2021-06-24 17:08:32 +0200 | Deide | (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-24 17:08:32 +0200 | Deide | (~Deide@user/deide) |
| 2021-06-24 17:08:35 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 17:09:24 +0200 | julyanna | (~julyanna@180.190.158.122) |
| 2021-06-24 17:11:12 +0200 | shimin | (~liushimin@211.64.159.124) (Ping timeout: 258 seconds) |
| 2021-06-24 17:12:28 +0200 | learner-monad | (~ehanneken@user/learner-monad) (Quit: WeeChat 3.2) |
| 2021-06-24 17:12:58 +0200 | learner-monad | (~ehanneken@user/learner-monad) |
| 2021-06-24 17:13:26 +0200 | learner-monad | (~ehanneken@user/learner-monad) (Client Quit) |
| 2021-06-24 17:15:36 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:15:42 +0200 | learner-monad | (~ehanneken@user/learner-monad) |
| 2021-06-24 17:15:51 +0200 | jumper149 | (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-06-24 17:15:55 +0200 | econo | (uid147250@user/econo) |
| 2021-06-24 17:16:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:87f:cdda:7c38:b400) (Quit: WeeChat 2.8) |
| 2021-06-24 17:17:09 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 17:19:52 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:21:27 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 17:21:33 +0200 | Morrow | (~MorrowM_@147.161.12.76) (Ping timeout: 258 seconds) |
| 2021-06-24 17:21:38 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-24 17:23:07 +0200 | shimin | (~liushimin@211.64.159.124) |
| 2021-06-24 17:23:12 +0200 | shimin | (~liushimin@211.64.159.124) (Read error: Connection reset by peer) |
| 2021-06-24 17:23:15 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 17:24:12 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:25:32 +0200 | shimin1 | (~liushimin@117.136.92.119) (Ping timeout: 252 seconds) |
| 2021-06-24 17:25:46 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 17:27:20 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
| 2021-06-24 17:28:31 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:30:05 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 17:31:36 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-24 17:32:50 +0200 | altern | (~altern@altern.corbina.com.ua) |
| 2021-06-24 17:32:51 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:34:25 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 17:35:09 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Remote host closed the connection) |
| 2021-06-24 17:35:30 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | berberman | (~berberman@user/berberman) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | dsf | (~dsf@cpe-66-75-56-205.san.res.rr.com) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | mcfilib | (sid302703@user/mcfilib) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | bjobjo | (~bo@user/bjobjo) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | seeg | (~thelounge@static.89.161.217.95.clients.your-server.de) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | jackdk | (sid373013@cssa/jackdk) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | cbarrett | (sid192934@id-192934.brockwell.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | PotatoGim | (sid99505@id-99505.tooting.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | yahb | (xsbot@user/mniip/bot/yahb) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | jrm | (~jrm@156.34.187.65) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | radw | (~radw@user/radw) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | zinc | (~zinc@163.ip-51-254-203.eu) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | gawen | (~gawen@user/gawen) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | swistak | (~swistak@185.21.216.141) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | bjfs | (bart@kobayashi.com.pl) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | Megant | (megant@user/megant) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | Pent | (sid313808@id-313808.tooting.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) (*.net *.split) |
| 2021-06-24 17:35:30 +0200 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | adamse | (sid72084@user/adamse) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | Patternm1ster | (~georg@li1192-118.members.linode.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | T_S_ | (sid501726@id-501726.highgate.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | amir | (sid22336@user/amir) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | ski | (~ski@ed-3358-10.studat.chalmers.se) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | systemfault | (sid267009@id-267009.highgate.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | idnar | (sid12240@debian/mithrandi) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | w1gz | (~do@159.89.11.133) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | anderson | (~ande@134.209.221.71) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | rizary_andika_ | (sid220347@id-220347.tooting.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | conjunctive | (sid433686@id-433686.brockwell.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | nrr | (sid20938@id-20938.tooting.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | grfn | (sid449115@id-449115.brockwell.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::12fc:5001) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | dsal | (sid13060@id-13060.tooting.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | Flonk | (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | sajith | (~sajith@user/sajith) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | tomku | (~tomku@user/tomku) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | oats | (~thomas@user/oats) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | bjs | (sid190364@user/bjs) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | duckonomy | (~duckonomy@177.ip-144-217-84.net) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | energizer | (~energizer@user/energizer) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | tristanC | (~tristanC@user/tristanc) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | weemadarthur | (weemadarth@otaku.sdf.org) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | mht | (~mht@2a03:b0c0:3:e0::1e2:c001) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | kaizen | (uid501599@id-501599.brockwell.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | hugo | (znc@verdigris.lysator.liu.se) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | JSharp | (sid4580@tooting.irccloud.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | renormalist | (~ss5@renormalist.net) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | ouroboros | (~ouroboros@user/ouroboros) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | lep | (~lep@94.31.86.183) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | bbear | (~znc@21212.s.t4vps.eu) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | st | (~ts@46.101.20.9) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | bens | (~bens@www.typius.com) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | mrkajetanp_ | (~mrkajetan@88.98.245.28) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | Zorgon | (mranderson@chaos.fi) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | rlsph2 | (~mads@2a03:b0c0:2:f0::324:5001) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | sweater2 | (~sweater@206.81.18.26) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | novasenco | (novasenco@user/nova) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | vito | (sid1962@user/vito) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | vemek | (~vemek@2a03:b0c0:2:d0::d98:1) (*.net *.split) |
| 2021-06-24 17:35:31 +0200 | damien2 | (~damien@248.ip-149-56-13.net) (*.net *.split) |
| 2021-06-24 17:35:34 +0200 | Zorgon_ | (mranderson@chaos.fi) |
| 2021-06-24 17:35:36 +0200 | bjobjo_ | (~bo@2a01:79c:cebf:d688::9e6) |
| 2021-06-24 17:35:38 +0200 | Athas_ | (athas@2a01:7c8:aaac:1cf:8045:ce82:8893:4981) |
| 2021-06-24 17:35:38 +0200 | swistak | (~swistak@185.21.216.141) |
| 2021-06-24 17:35:38 +0200 | weemadar1hur | (weemadarth@otaku.sdf.org) |
| 2021-06-24 17:35:39 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2021-06-24 17:35:39 +0200 | ski | (~ski@ed-3358-10.studat.chalmers.se) |
| 2021-06-24 17:35:39 +0200 | tristanC | (~tristanC@163.172.94.116) |
| 2021-06-24 17:35:39 +0200 | tomku|two | (~tomku@user/tomku) |
| 2021-06-24 17:35:39 +0200 | zinc_ | (~zinc@163.ip-51-254-203.eu) |
| 2021-06-24 17:35:39 +0200 | Patternmaster | (~georg@li1192-118.members.linode.com) |
| 2021-06-24 17:35:40 +0200 | lep | (~lep@94.31.86.183) |
| 2021-06-24 17:35:40 +0200 | bens | (~bens@www.typius.com) |
| 2021-06-24 17:35:41 +0200 | amir | (sid22336@user/amir) |
| 2021-06-24 17:35:42 +0200 | lep | test |
| 2021-06-24 17:35:44 +0200 | dsal | (sid13060@id-13060.tooting.irccloud.com) |
| 2021-06-24 17:35:48 +0200 | dsf | (~dsf@cpe-66-75-56-205.san.res.rr.com) |
| 2021-06-24 17:35:49 +0200 | damien2 | (~damien@248.ip-149-56-13.net) |
| 2021-06-24 17:35:49 +0200 | jackdk | (sid373013@cssa/jackdk) |
| 2021-06-24 17:35:49 +0200 | Megant_ | (megant@user/megant) |
| 2021-06-24 17:35:50 +0200 | PotatoGim_ | (sid99505@id-99505.tooting.irccloud.com) |
| 2021-06-24 17:35:53 +0200 | carbolymer_ | (~carbolyme@dropacid.net) |
| 2021-06-24 17:35:55 +0200 | T_S_ | (sid501726@id-501726.highgate.irccloud.com) |
| 2021-06-24 17:35:56 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2021-06-24 17:35:57 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) |
| 2021-06-24 17:35:57 +0200 | systemfault | (sid267009@id-267009.highgate.irccloud.com) |
| 2021-06-24 17:35:58 +0200 | bjfs | (bart@kobayashi.com.pl) |
| 2021-06-24 17:36:00 +0200 | adamse | (sid72084@id-72084.tooting.irccloud.com) |
| 2021-06-24 17:36:00 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) |
| 2021-06-24 17:36:00 +0200 | tristanC | (~tristanC@163.172.94.116) (Changing host) |
| 2021-06-24 17:36:01 +0200 | tristanC | (~tristanC@user/tristanc) |
| 2021-06-24 17:36:06 +0200 | nova | (novasenco@user/nova) |
| 2021-06-24 17:36:08 +0200 | c_wraith | (~c_wraith@adjoint.us) |
| 2021-06-24 17:36:10 +0200 | Raito_Bezarius | (~Raito@2a01:e0a:5f9:9681:bdcd:d554:1779:9a1a) |
| 2021-06-24 17:36:18 +0200 | mcfilib | (sid302703@id-302703.brockwell.irccloud.com) |
| 2021-06-24 17:36:20 +0200 | idnar | (sid12240@id-12240.tooting.irccloud.com) |
| 2021-06-24 17:36:20 +0200 | pie_bnc | (~pie_bnc@user/pie/x-2818909) |
| 2021-06-24 17:36:20 +0200 | vito | (sid1962@id-1962.highgate.irccloud.com) |
| 2021-06-24 17:36:21 +0200 | Pent | (sid313808@id-313808.tooting.irccloud.com) |
| 2021-06-24 17:36:26 +0200 | bjs | (sid190364@id-190364.brockwell.irccloud.com) |
| 2021-06-24 17:36:32 +0200 | yahb | (xsbot@178.219.36.155) |
| 2021-06-24 17:36:33 +0200 | adamse | (sid72084@id-72084.tooting.irccloud.com) (Changing host) |
| 2021-06-24 17:36:33 +0200 | adamse | (sid72084@user/adamse) |
| 2021-06-24 17:36:40 +0200 | test | lep |
| 2021-06-24 17:36:41 +0200 | rizary_andika_ | (sid220347@id-220347.tooting.irccloud.com) |
| 2021-06-24 17:36:43 +0200 | grfn | (sid449115@id-449115.brockwell.irccloud.com) |
| 2021-06-24 17:36:45 +0200 | nrr | (sid20938@id-20938.tooting.irccloud.com) |
| 2021-06-24 17:36:46 +0200 | kaizen | (sid501599@id-501599.brockwell.irccloud.com) |
| 2021-06-24 17:36:47 +0200 | killsushi | (~killsushi@user/killsushi) (Ping timeout: 250 seconds) |
| 2021-06-24 17:36:47 +0200 | conjunctive | (sid433686@id-433686.brockwell.irccloud.com) |
| 2021-06-24 17:36:48 +0200 | bjs | (sid190364@id-190364.brockwell.irccloud.com) (Changing host) |
| 2021-06-24 17:36:48 +0200 | bjs | (sid190364@user/bjs) |
| 2021-06-24 17:36:48 +0200 | idnar | (sid12240@id-12240.tooting.irccloud.com) (Changing host) |
| 2021-06-24 17:36:48 +0200 | idnar | (sid12240@debian/mithrandi) |
| 2021-06-24 17:36:48 +0200 | mcfilib | (sid302703@id-302703.brockwell.irccloud.com) (Changing host) |
| 2021-06-24 17:36:48 +0200 | mcfilib | (sid302703@user/mcfilib) |
| 2021-06-24 17:36:49 +0200 | vito | (sid1962@id-1962.highgate.irccloud.com) (Changing host) |
| 2021-06-24 17:36:49 +0200 | vito | (sid1962@user/vito) |
| 2021-06-24 17:36:53 +0200 | yahb | (xsbot@178.219.36.155) (Changing host) |
| 2021-06-24 17:36:53 +0200 | yahb | (xsbot@user/mniip/bot/yahb) |
| 2021-06-24 17:36:53 +0200 | cbarrett | (sid192934@id-192934.brockwell.irccloud.com) |
| 2021-06-24 17:37:00 +0200 | JSharp | (sid4580@id-4580.tooting.irccloud.com) |
| 2021-06-24 17:37:04 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:37:04 +0200 | bjfs | Guest3613 |
| 2021-06-24 17:37:26 +0200 | ouroboros | (~ouroboros@user/ouroboros) |
| 2021-06-24 17:37:26 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2021-06-24 17:37:33 +0200 | mht | (~mht@mht.wtf) |
| 2021-06-24 17:37:34 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2021-06-24 17:37:35 +0200 | bbear | (~znc@21212.s.t4vps.eu) |
| 2021-06-24 17:37:35 +0200 | gawen | (~gawen@user/gawen) |
| 2021-06-24 17:37:37 +0200 | oats | (~thomas@user/oats) |
| 2021-06-24 17:37:38 +0200 | jrm | (~jrm@156.34.187.65) |
| 2021-06-24 17:37:40 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2021-06-24 17:37:40 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2021-06-24 17:37:41 +0200 | sajith | (~sajith@user/sajith) |
| 2021-06-24 17:37:41 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::12fc:5001) |
| 2021-06-24 17:37:47 +0200 | anderson | (~ande@134.209.221.71) |
| 2021-06-24 17:37:49 +0200 | berberman | (~berberman@user/berberman) |
| 2021-06-24 17:37:58 +0200 | mrkajetanp | (~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) |
| 2021-06-24 17:38:05 +0200 | dunkeln | (~dunkeln@188.71.193.140) (Ping timeout: 265 seconds) |
| 2021-06-24 17:38:10 +0200 | sm | (~user@plaintextaccounting/sm) |
| 2021-06-24 17:38:16 +0200 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2021-06-24 17:38:37 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 17:38:38 +0200 | radw | (~radw@user/radw) |
| 2021-06-24 17:38:51 +0200 | w1gz | (~do@159.89.11.133) |
| 2021-06-24 17:38:52 +0200 | st | (~ts@46.101.20.9) |
| 2021-06-24 17:38:53 +0200 | sweater2 | (~sweater@206.81.18.26) |
| 2021-06-24 17:40:04 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2021-06-24 17:41:31 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:41:38 +0200 | energizer | (~energizer@user/energizer) |
| 2021-06-24 17:42:45 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 17:43:04 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 17:43:04 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-06-24 17:43:09 +0200 | TheCommieDuck | (~mark@2a00:23c6:d280:3700:572a:c2f0:ddc5:b769) |
| 2021-06-24 17:43:28 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-24 17:43:38 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2021-06-24 17:44:00 +0200 | azeem | (~azeem@176.201.36.120) (Read error: Connection reset by peer) |
| 2021-06-24 17:44:53 +0200 | <TheCommieDuck> | Hey there. So coming back to haskell after some time away. Is the use of typeclasses in a classy lens type way (rather than foo :: ConcreteA -> Bar, you write foo :: HasA x => x -> Bar) a poor idea? I'm unsure if there's a nicer way to avoid this. it's not a closed type, so I can't just use a sum. |
| 2021-06-24 17:44:53 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-24 17:44:54 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
| 2021-06-24 17:45:39 +0200 | Morrow | (~MorrowM_@147.161.12.76) |
| 2021-06-24 17:46:00 +0200 | <shane> | TheCommieDuck: Have you seen generic-lens? |
| 2021-06-24 17:46:02 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:46:29 +0200 | <TheCommieDuck> | shane: I've seen a lot of lens but not specifically generic-lens, and I've read bits and pieces about generic but never quite understood it properly |
| 2021-06-24 17:46:41 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.2) |
| 2021-06-24 17:47:11 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) (Ping timeout: 250 seconds) |
| 2021-06-24 17:47:35 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 17:47:42 +0200 | azeem | (~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it) |
| 2021-06-24 17:48:07 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-24 17:48:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 17:49:00 +0200 | <shane> | It might be a way to get you what you want. You can use it with an extension called OverloadedLabels (which look like #foo). #foo would be a magic lens for any type with a Generic instance that has a field named "foo" |
| 2021-06-24 17:49:51 +0200 | <TheCommieDuck> | I'll give it a look, thank you...I've always shyed away from generic because it feels like throwing away the hefty type system bonuses |
| 2021-06-24 17:50:17 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:50:19 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 17:50:28 +0200 | <shane> | Ah no, not at all |
| 2021-06-24 17:50:34 +0200 | <shane> | It's completely type safe |
| 2021-06-24 17:51:38 +0200 | teaSlurper | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-24 17:51:48 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) |
| 2021-06-24 17:51:52 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 17:52:10 +0200 | carbolymer_ | carbolymer |
| 2021-06-24 17:52:24 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-06-24 17:52:32 +0200 | <c_wraith> | generic-lens gives you incredibly specific type errors, in fact. |
| 2021-06-24 17:52:49 +0200 | <TheCommieDuck> | huh, cool. I'll give this a solid looksie. |
| 2021-06-24 17:52:57 +0200 | <TheCommieDuck> | thank you! |
| 2021-06-24 17:53:24 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-06-24 17:54:07 +0200 | teaSlurper | (~chris@81.96.113.213) |
| 2021-06-24 17:54:41 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:56:14 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 17:56:18 +0200 | jlou2u | (~justin@151.197.213.39) |
| 2021-06-24 17:59:07 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 17:59:07 +0200 | bjobjo_ | bjobjo |
| 2021-06-24 17:59:16 +0200 | bjobjo | (~bo@2a01:79c:cebf:d688::9e6) (Changing host) |
| 2021-06-24 17:59:16 +0200 | bjobjo | (~bo@user/bjobjo) |
| 2021-06-24 18:00:15 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 18:00:34 +0200 | DNH | (~DNH@8.43.122.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-24 18:00:40 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:01:38 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 18:02:22 +0200 | dunkeln_ | (~dunkeln@188.71.193.140) |
| 2021-06-24 18:02:26 +0200 | DNH | (~DNH@8.43.122.6) |
| 2021-06-24 18:03:26 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2021-06-24 18:03:38 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:03:59 +0200 | lbseale_ | (~lbseale@user/ep1ctetus) |
| 2021-06-24 18:05:12 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:06:23 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 18:07:02 +0200 | juhp | (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-24 18:07:15 +0200 | juhp | (~juhp@128.106.188.66) |
| 2021-06-24 18:07:33 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Ping timeout: 258 seconds) |
| 2021-06-24 18:07:55 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:09:28 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:09:59 +0200 | julyanna | (~julyanna@180.190.158.122) (Ping timeout: 265 seconds) |
| 2021-06-24 18:10:12 +0200 | <TheCommieDuck> | Whilst I'm here: so right now, I have a collection of components (records of a few fields), then I use TH to generate one big record type of many Maps from IDs to components, where one ID has potential;ly many different components (i.e. it's an entity component system). because it's an open sum (I want to add more types of components and more combinations of components..) I can't just have a |
| 2021-06-24 18:10:14 +0200 | <TheCommieDuck> | single Map |
| 2021-06-24 18:10:17 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-24 18:10:46 +0200 | <TheCommieDuck> | can I somehow have a heterogenous map that doesn't lose type information? |
| 2021-06-24 18:12:30 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:13:56 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) (Ping timeout: 268 seconds) |
| 2021-06-24 18:14:03 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:14:20 +0200 | sekun | (~sekun@180.190.208.125) (Ping timeout: 265 seconds) |
| 2021-06-24 18:15:13 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-06-24 18:16:58 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:17:24 +0200 | Cena | (~textual@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2021-06-24 18:17:34 +0200 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2021-06-24 18:18:18 +0200 | <raehik> | TheCommieDuck: there's some work done on type-level sets and lists that should be relevant https://hackage.haskell.org/package/type-sets |
| 2021-06-24 18:18:31 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:18:59 +0200 | <raehik> | ah, here's the one I remembered better: https://hackage.haskell.org/package/type-level-sets |
| 2021-06-24 18:19:10 +0200 | learner-monad | (~ehanneken@user/learner-monad) (Ping timeout: 265 seconds) |
| 2021-06-24 18:19:21 +0200 | <TheCommieDuck> | ooh neat, ty |
| 2021-06-24 18:21:18 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:22:10 +0200 | warnz | (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Remote host closed the connection) |
| 2021-06-24 18:22:47 +0200 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-06-24 18:22:53 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:22:59 +0200 | shapr | (~user@2601:7c0:8180:89d0:3c53:2ec5:af3c:a8ff) |
| 2021-06-24 18:25:04 +0200 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-06-24 18:25:36 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:26:23 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-06-24 18:27:10 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:28:42 +0200 | warnz | (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) |
| 2021-06-24 18:29:10 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 246 seconds) |
| 2021-06-24 18:29:51 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:31:23 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:31:24 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2021-06-24 18:31:40 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-24 18:33:11 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 18:33:27 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) |
| 2021-06-24 18:33:44 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 18:34:12 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:34:29 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-24 18:35:24 +0200 | teaSlurper | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-24 18:35:45 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:37:22 +0200 | nvmd | (~nvmd@user/nvmd) (Quit: Later, nerds.) |
| 2021-06-24 18:38:23 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:39:37 +0200 | nrr | (sid20938@id-20938.tooting.irccloud.com) () |
| 2021-06-24 18:39:48 +0200 | nrr | (sid20938@id-20938.tooting.irccloud.com) |
| 2021-06-24 18:39:57 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:40:19 +0200 | teaSlurper | (~chris@81.96.113.213) |
| 2021-06-24 18:42:42 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:43:21 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 18:44:16 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:44:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 18:45:16 +0200 | teaSlurper | (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 2021-06-24 18:46:00 +0200 | shredder | nbsp |
| 2021-06-24 18:46:43 +0200 | dunkeln_ | (~dunkeln@188.71.193.140) (Ping timeout: 265 seconds) |
| 2021-06-24 18:47:00 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:47:53 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 18:48:33 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:48:59 +0200 | Athas_ | Athas |
| 2021-06-24 18:49:31 +0200 | jlou2u | (~justin@151.197.213.39) (Quit: WeeChat 3.1) |
| 2021-06-24 18:50:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-06-24 18:50:00 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) |
| 2021-06-24 18:50:00 +0200 | Aleci[m] | (~alecilibr@2001:470:69fc:105::32e7) |
| 2021-06-24 18:50:03 +0200 | nbsp | shredder |
| 2021-06-24 18:50:43 +0200 | kuribas | (~user@ptr-25vy0i7u4pc88k7ao93.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-06-24 18:50:45 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-24 18:51:24 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:52:58 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:54:22 +0200 | xff0x | (~xff0x@2001:1a81:528e:9600:537c:8f79:34f1:e6a6) (Ping timeout: 246 seconds) |
| 2021-06-24 18:55:23 +0200 | crazazy | (~user@130.89.171.203) |
| 2021-06-24 18:55:46 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 18:56:17 +0200 | teaSlurper | (~chris@81.96.113.213) |
| 2021-06-24 18:56:20 +0200 | xff0x | (~xff0x@185.65.135.235) |
| 2021-06-24 18:56:24 +0200 | <crazazy> | hey guys I have a problem: |
| 2021-06-24 18:56:42 +0200 | <crazazy> | i have a library that, when running things, prints things using putStrLn |
| 2021-06-24 18:56:54 +0200 | <crazazy> | can I somehow intercept these messages? |
| 2021-06-24 18:57:05 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 18:57:20 +0200 | <crazazy> | so that I can then parse these putStrLn messages and do other stuff with it? |
| 2021-06-24 18:57:20 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 18:58:07 +0200 | warnz | (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Remote host closed the connection) |
| 2021-06-24 18:58:56 +0200 | <geekosaur> | not easily. maybe reopen fd 1 on the write end of a pipe and have a thread reading and reacting to its read end |
| 2021-06-24 18:59:52 +0200 | <crazazy> | oof that sucks |
| 2021-06-24 18:59:59 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-06-24 19:00:02 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 19:00:23 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 19:00:29 +0200 | <crazazy> | thing is I have a project buddy who doesn't know too much about haskell, and I don't want to throw him *that* much into the deep end |
| 2021-06-24 19:01:38 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 19:02:02 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:8045:ce82:8893:4981) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-24 19:02:11 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:8045:ce82:8893:4981) |
| 2021-06-24 19:02:22 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-06-24 19:02:28 +0200 | myShoggoth | (~myShoggot@75.164.29.44) |
| 2021-06-24 19:02:42 +0200 | peterhil_ | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-06-24 19:03:43 +0200 | arjun | (~user@user/arjun) |
| 2021-06-24 19:04:19 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 19:05:05 +0200 | Morrow | (~MorrowM_@147.161.12.76) (Ping timeout: 265 seconds) |
| 2021-06-24 19:05:47 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 19:05:54 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 19:06:05 +0200 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2021-06-24 19:06:36 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-24 19:07:51 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-06-24 19:07:51 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2021-06-24 19:07:51 +0200 | turlando | (~turlando@user/turlando) |
| 2021-06-24 19:08:38 +0200 | chomwitt | (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-06-24 19:08:41 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 19:09:44 +0200 | Morrow | (~MorrowM_@147.161.12.76) |
| 2021-06-24 19:10:16 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 19:12:58 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 19:13:45 +0200 | nschoe | (~quassel@178.251.84.79) (Ping timeout: 268 seconds) |
| 2021-06-24 19:14:33 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 19:15:11 +0200 | dunkeln_ | (~dunkeln@188.71.193.140) |
| 2021-06-24 19:15:25 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-24 19:15:43 +0200 | alx741 | (~alx741@181.196.68.156) (Ping timeout: 265 seconds) |
| 2021-06-24 19:15:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 19:17:01 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 19:17:26 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 19:19:00 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 19:19:34 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-06-24 19:21:02 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-24 19:21:41 +0200 | arjun | (~user@user/arjun) (Remote host closed the connection) |
| 2021-06-24 19:21:56 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 19:23:30 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 19:25:37 +0200 | michalz | (~michalz@185.246.204.125) (Remote host closed the connection) |
| 2021-06-24 19:26:11 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 19:27:43 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 19:28:03 +0200 | xff0x | (~xff0x@185.65.135.235) (Ping timeout: 258 seconds) |
| 2021-06-24 19:28:46 +0200 | dunkeln_ | (~dunkeln@188.71.193.140) (Ping timeout: 265 seconds) |
| 2021-06-24 19:28:46 +0200 | alx741 | (~alx741@181.196.69.199) |
| 2021-06-24 19:29:20 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
| 2021-06-24 19:29:25 +0200 | hendursa1 | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-06-24 19:29:58 +0200 | involans | (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-06-24 19:30:01 +0200 | xff0x | (~xff0x@2001:1a81:528e:9600:537c:8f79:34f1:e6a6) |
| 2021-06-24 19:30:29 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 19:32:03 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 19:33:15 +0200 | dunkeln | (~dunkeln@188.71.193.140) |
| 2021-06-24 19:34:33 +0200 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) |
| 2021-06-24 19:34:44 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
| 2021-06-24 19:34:52 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 19:36:12 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 19:36:26 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 19:39:09 +0200 | betelgeuse | (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 19:39:35 +0200 | teaSlurper | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-24 19:41:27 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 19:42:57 +0200 | involans | (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-06-24 19:44:28 +0200 | teaSlurper | (~chris@81.96.113.213) |
| 2021-06-24 19:44:36 +0200 | teaSlurper | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-24 19:44:48 +0200 | teaSlurper | (~chris@81.96.113.213) |
| 2021-06-24 19:44:51 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-24 19:45:20 +0200 | deejaytee | (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) |
| 2021-06-24 19:47:03 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-06-24 19:48:23 +0200 | warnz | (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) |
| 2021-06-24 19:49:02 +0200 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:1013:ebb1:53:41c1) |
| 2021-06-24 19:51:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-24 19:51:56 +0200 | ephemient | (uid407513@id-407513.tooting.irccloud.com) |
| 2021-06-24 19:52:36 +0200 | ph88 | (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2021-06-24 19:52:47 +0200 | teaSlurper | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-24 19:53:23 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) |
| 2021-06-24 19:57:39 +0200 | teaSlurper | (~chris@81.96.113.213) |
| 2021-06-24 19:57:59 +0200 | myShoggoth | (~myShoggot@75.164.29.44) (Ping timeout: 256 seconds) |
| 2021-06-24 20:00:46 +0200 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-24 20:01:58 +0200 | teaSlurper | (~chris@81.96.113.213) (Ping timeout: 256 seconds) |
| 2021-06-24 20:04:35 +0200 | user_ | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) |
| 2021-06-24 20:05:07 +0200 | user_ | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) (Client Quit) |
| 2021-06-24 20:05:20 +0200 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) |
| 2021-06-24 20:06:03 +0200 | learner-monad | (~ehanneken@user/learner-monad) |
| 2021-06-24 20:06:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 20:06:17 +0200 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) (Client Quit) |
| 2021-06-24 20:06:20 +0200 | nvmd | (~nvmd@user/nvmd) |
| 2021-06-24 20:07:03 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) (Ping timeout: 256 seconds) |
| 2021-06-24 20:07:55 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 258 seconds) |
| 2021-06-24 20:10:35 +0200 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) |
| 2021-06-24 20:11:47 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-06-24 20:13:11 +0200 | ubuntu_ | (~ubuntu@ec2-13-49-142-87.eu-north-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-06-24 20:14:24 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) (Remote host closed the connection) |
| 2021-06-24 20:18:06 +0200 | ubert | (~Thunderbi@p200300ecdf259dc21d074ed27adb7f01.dip0.t-ipconnect.de) |
| 2021-06-24 20:21:33 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 20:21:50 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-06-24 20:22:50 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-24 20:24:16 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-24 20:27:35 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-06-24 20:31:14 +0200 | shapr | (~user@2601:7c0:8180:89d0:3c53:2ec5:af3c:a8ff) (Ping timeout: 252 seconds) |
| 2021-06-24 20:31:15 +0200 | ormaaj | (~ormaaj@2001:470:69fc:105::35ca) (Changing host) |
| 2021-06-24 20:31:15 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
| 2021-06-24 20:32:50 +0200 | DNH | (~DNH@8.43.122.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-24 20:33:26 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-24 20:36:55 +0200 | Guest9 | (~Guest9@43.242.116.62) |
| 2021-06-24 20:40:30 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-06-24 20:41:00 +0200 | chisui | (~chisui@200116b8669b81005d1b8973bc3c68f4.dip.versatel-1u1.de) |
| 2021-06-24 20:43:43 +0200 | Morrow | (~MorrowM_@147.161.12.76) (Remote host closed the connection) |
| 2021-06-24 20:44:01 +0200 | Morrow | (~MorrowM_@147.161.12.76) |
| 2021-06-24 20:48:59 +0200 | brian_da_mage | (~Neuromanc@user/briandamag) |
| 2021-06-24 20:50:08 +0200 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 256 seconds) |
| 2021-06-24 20:51:36 +0200 | involans | (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-24 20:51:47 +0200 | Scotty_Trees | (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2021-06-24 20:52:12 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-24 20:52:41 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Ping timeout: 272 seconds) |
| 2021-06-24 20:53:09 +0200 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-24 20:53:13 +0200 | DNH | (~DNH@8.43.122.6) |
| 2021-06-24 20:53:43 +0200 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:1013:ebb1:53:41c1) (Ping timeout: 246 seconds) |
| 2021-06-24 20:56:02 +0200 | Morrow | (~MorrowM_@147.161.12.76) (Read error: Connection reset by peer) |
| 2021-06-24 20:56:03 +0200 | Scotty_Trees | (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-24 20:57:15 +0200 | <mrmonday> | fork the library, remove the putStrLn's? |
| 2021-06-24 20:57:29 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2021-06-24 20:57:48 +0200 | <mrmonday> | oh, missed that that mesasge was sent a day ago, my bad :< |
| 2021-06-24 20:58:05 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 20:58:12 +0200 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 252 seconds) |
| 2021-06-24 20:58:37 +0200 | Morrow | (~MorrowM_@147.161.12.76) |
| 2021-06-24 20:58:53 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 20:59:09 +0200 | NieDzejkob | (~quassel@195.149.98.3) (Ping timeout: 265 seconds) |
| 2021-06-24 20:59:45 +0200 | dunj3 | (~dunj3@2001:16b8:307b:a700:5aa3:7c87:9028:f4cb) |
| 2021-06-24 21:00:16 +0200 | lbseale_ | lbseale |
| 2021-06-24 21:02:54 +0200 | ajb | (~ajb@cupid.whatbox.ca) (Quit: bye) |
| 2021-06-24 21:03:31 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-06-24 21:05:35 +0200 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-24 21:06:27 +0200 | killsushi | (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) |
| 2021-06-24 21:06:28 +0200 | killsushi | (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) (Changing host) |
| 2021-06-24 21:06:28 +0200 | killsushi | (~killsushi@user/killsushi) |
| 2021-06-24 21:08:53 +0200 | slack1256 | (~slack1256@181.203.79.103) |
| 2021-06-24 21:10:43 +0200 | ub | (~Thunderbi@p200300ecdf259dee1d074ed27adb7f01.dip0.t-ipconnect.de) |
| 2021-06-24 21:11:40 +0200 | ubert | (~Thunderbi@p200300ecdf259dc21d074ed27adb7f01.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-24 21:11:40 +0200 | ub | ubert |
| 2021-06-24 21:13:43 +0200 | <peutri> | merely 2 hours or so |
| 2021-06-24 21:14:48 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 21:14:55 +0200 | peterhil_ | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-24 21:15:35 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 265 seconds) |
| 2021-06-24 21:15:38 +0200 | <slack1256> | Does Maybe have nominal or representational type role on its parameter? |
| 2021-06-24 21:16:10 +0200 | <Hecate> | I don't think it has a type role annotation… |
| 2021-06-24 21:16:30 +0200 | <slack1256> | Is there a flag I can put on ghci so it prints the inferred one? |
| 2021-06-24 21:17:15 +0200 | <Hecate> | hmm, you're going to have to scour the manual, I can't tell you that from the top of my head |
| 2021-06-24 21:17:58 +0200 | <slack1256> | Oh well. Thanks anyways! |
| 2021-06-24 21:18:46 +0200 | <glguy> | slack1256: representational |
| 2021-06-24 21:19:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) (Ping timeout: 256 seconds) |
| 2021-06-24 21:20:25 +0200 | awth13 | (~user@user/awth13) (Ping timeout: 265 seconds) |
| 2021-06-24 21:20:34 +0200 | <slack1256> | That seems correct. How did you know? |
| 2021-06-24 21:20:49 +0200 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 250 seconds) |
| 2021-06-24 21:20:57 +0200 | DNH | (~DNH@8.43.122.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-24 21:20:59 +0200 | <glguy> | that's the default, so if it doesn't say then it's representational |
| 2021-06-24 21:21:13 +0200 | <slack1256> | I mean, Maybe is parametric on `a` so it seems like representational should be. But is there a way the print to the inferred role? |
| 2021-06-24 21:21:27 +0200 | <glguy> | GHCi doesn't bother printing it for the most common case |
| 2021-06-24 21:21:49 +0200 | <slack1256> | Ah, so if ghci doesn't bother printing it, I can assume is representational. |
| 2021-06-24 21:21:53 +0200 | <slack1256> | Cool! |
| 2021-06-24 21:22:14 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-24 21:22:55 +0200 | chaosite | (~chaosite@user/chaosite) (Quit: Lost terminal) |
| 2021-06-24 21:24:21 +0200 | DNH | (~DNH@8.43.122.6) |
| 2021-06-24 21:24:36 +0200 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
| 2021-06-24 21:25:27 +0200 | junkicide | (~user@2a01:e0a:195:20c0:91d0:f47d:73ce:dac7) |
| 2021-06-24 21:25:41 +0200 | peterhil_ | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
| 2021-06-24 21:25:50 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-24 21:27:27 +0200 | manveru[m]1 | (~manveru@user/manveru) |
| 2021-06-24 21:28:27 +0200 | <junkicide> | does anyone use haskell-mode in emacs? I want to know what version of ghci it is running |
| 2021-06-24 21:29:07 +0200 | <Vq> | I use haskell-mode, I wasn't aware it used ghci. |
| 2021-06-24 21:29:34 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-06-24 21:29:46 +0200 | <junkicide> | when you do C-c C-l, the so-called Haskell Interactive mode. isn't that ghci? |
| 2021-06-24 21:30:28 +0200 | <byorgey> | junkicide: I think it just runs whatever ghci is in your PATH. It doesn't come with a copy of ghc. |
| 2021-06-24 21:31:07 +0200 | <Vq> | It just says: Run ‘C-h f haskell-mode‘ for instruction how to setup a Haskell interaction mode. |
| 2021-06-24 21:31:23 +0200 | <junkicide> | byorgey: I see. where can I edit/view this path variable? |
| 2021-06-24 21:31:54 +0200 | <byorgey> | junkicide: what OS are you on? |
| 2021-06-24 21:31:58 +0200 | <Vq> | I use nix-shell to edit it. :o) |
| 2021-06-24 21:32:02 +0200 | <junkicide> | ubuntu |
| 2021-06-24 21:32:29 +0200 | <byorgey> | junkicide: if you open up a shell prompt (aka terminal) and type 'ghci', what happens? |
| 2021-06-24 21:32:36 +0200 | <Vq> | export PATH=my_ghc_prefix:$PATH # in .profile or similar |
| 2021-06-24 21:33:07 +0200 | <byorgey> | junkicide: https://superuser.com/questions/488173/how-can-i-edit-the-path-on-linux -- in case you actually need to edit your PATH |
| 2021-06-24 21:33:20 +0200 | <junkicide> | byorgey: it launches ghci 8.8.4 |
| 2021-06-24 21:33:49 +0200 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 250 seconds) |
| 2021-06-24 21:33:59 +0200 | <byorgey> | junkicide: ok, so that's probably what version haskell-mode will use. |
| 2021-06-24 21:34:02 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 21:34:55 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 21:35:07 +0200 | <junkicide> | thanks Vq and byorgey! |
| 2021-06-24 21:36:25 +0200 | <Vq> | You seem to be able to change it in Emacs. |
| 2021-06-24 21:36:44 +0200 | <Vq> | M-x customize-group haskell-interactive |
| 2021-06-24 21:37:46 +0200 | <Vq> | It mentions settings for cabal repl as well. I'm unsure when those come in to play. |
| 2021-06-24 21:38:15 +0200 | <Vq> | I mainly use haskell-mode for assisting with indentation. |
| 2021-06-24 21:38:39 +0200 | <monochrom> | It is used (instead of the ghci setting) when haskell-mode autodetects you have a foo.cabal file |
| 2021-06-24 21:39:25 +0200 | <junkicide> | is run-haskell part of haskell-mode? or is it something different? |
| 2021-06-24 21:39:48 +0200 | <monochrom> | run-haskell? runhaskell? |
| 2021-06-24 21:40:21 +0200 | <junkicide> | M-x run-haskell |
| 2021-06-24 21:40:32 +0200 | <Vq> | run-haskell seem to be a function from the haskell-mode package. |
| 2021-06-24 21:41:47 +0200 | <junkicide> | when I type M-x run-haskell, it says it's running ghci 8.6.5 which isn't the version I run from my shell prompt when I type ghci |
| 2021-06-24 21:42:19 +0200 | <junkicide> | so I'm a little confused why M-x run-haskell is running an inferior version |
| 2021-06-24 21:44:50 +0200 | <Vq> | That's not what they mean by inferior-haskell. |
| 2021-06-24 21:45:50 +0200 | <Vq> | Have you tried running ghci from an eshell or similar? Maybe Emacs runs with a different PATH. |
| 2021-06-24 21:46:12 +0200 | talismanick | (~user@2601:644:8502:d700::f19d) |
| 2021-06-24 21:47:49 +0200 | <Vq> | Or maybe haskell-process-path-ghci is set to something other than just "ghci". |
| 2021-06-24 21:48:07 +0200 | <Vq> | C-h v haskell-process-path-ghci |
| 2021-06-24 21:48:54 +0200 | <geekosaur> | if you started a gui emacs from a window manager, its $PATH may be different from that in a terminal especially on non-Debian-derived systems |
| 2021-06-24 21:51:08 +0200 | <Vq> | junkicide is on Ubuntu |
| 2021-06-24 21:51:43 +0200 | Guest9 | (~Guest9@43.242.116.62) (Quit: Connection closed) |
| 2021-06-24 21:54:50 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 21:55:28 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 21:57:14 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-24 21:59:21 +0200 | Cena | (~textual@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-24 22:02:02 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-24 22:02:50 +0200 | safinaskar | (~safinaska@109-252-90-89.nat.spd-mgts.ru) |
| 2021-06-24 22:03:13 +0200 | Guest95 | (~Guest95@c-73-96-117-87.hsd1.or.comcast.net) |
| 2021-06-24 22:03:33 +0200 | <safinaskar> | is it possible to have two different versions of same lib in dependency tree for my project? |
| 2021-06-24 22:03:43 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-24 22:04:07 +0200 | <geekosaur> | not generally |
| 2021-06-24 22:04:22 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-06-24 22:04:40 +0200 | Guest95 | (~Guest95@c-73-96-117-87.hsd1.or.comcast.net) (Quit: Client closed) |
| 2021-06-24 22:04:56 +0200 | juhp | (~juhp@128.106.188.66) (Ping timeout: 252 seconds) |
| 2021-06-24 22:04:58 +0200 | <geekosaur> | if one of the two is entirely internal to the package that uses it, it can work. they use completely separate types, values, etc. and can't see each other |
| 2021-06-24 22:05:26 +0200 | <geekosaur> | (but cabal/stack doesn't know about this and will reject build plans calling for it) |
| 2021-06-24 22:06:44 +0200 | <junkicide> | Vq: I checked haskell-process-path-ghci and the value is "ghci" so it should be run version 8.8.4 rather than 8.6.x |
| 2021-06-24 22:06:45 +0200 | juhp | (~juhp@128.106.188.66) |
| 2021-06-24 22:07:08 +0200 | dunkeln | (~dunkeln@188.71.193.140) (Ping timeout: 258 seconds) |
| 2021-06-24 22:07:27 +0200 | <geekosaur> | junkicide, did you instalol a newer version after starting emacs (or possibly your wm), possibly via ghcup? |
| 2021-06-24 22:07:52 +0200 | <geekosaur> | install* |
| 2021-06-24 22:07:57 +0200 | <safinaskar> | geekosaur: but the first section of this answer ( https://stackoverflow.com/a/43140519 ) mentions project, which builds (and eventually fails to build) with 2 different versions of "text" |
| 2021-06-24 22:08:00 +0200 | <junkicide> | geekosaur: I do remember using ghcup |
| 2021-06-24 22:08:47 +0200 | <geekosaur> | safinaskar, yes, that used to happen and it's why cabal and stack exist |
| 2021-06-24 22:09:24 +0200 | <geekosaur> | because ghc would blindly try to link them together and, as I said, the two versions can't see each other and will conflict when they collide |
| 2021-06-24 22:09:50 +0200 | <safinaskar> | geekosaur: so modern cabal and stack forbids such build plans? |
| 2021-06-24 22:10:01 +0200 | <geekosaur> | yes |
| 2021-06-24 22:10:22 +0200 | <junkicide> | geekosaur: I misunderstood, if you mean to ask if I recently installed a new version then the answer is no. |
| 2021-06-24 22:10:26 +0200 | <safinaskar> | geekosaur: this is sad |
| 2021-06-24 22:10:37 +0200 | <geekosaur> | because most of the time they cause the errors in your link |
| 2021-06-24 22:10:46 +0200 | <sclv> | its not sad, its the Only Correct Thing To Do |
| 2021-06-24 22:10:48 +0200 | <safinaskar> | geekosaur: i think this restriction limits ecosystem grow |
| 2021-06-24 22:10:57 +0200 | <geekosaur> | what sclv said |
| 2021-06-24 22:11:11 +0200 | <geekosaur> | causing weird errors does not help the ecosystem grow |
| 2021-06-24 22:11:34 +0200 | <safinaskar> | okey |
| 2021-06-24 22:13:06 +0200 | dunkeln | (~dunkeln@188.71.193.140) |
| 2021-06-24 22:13:06 +0200 | Morrow | (~MorrowM_@147.161.12.76) (Read error: Connection reset by peer) |
| 2021-06-24 22:15:18 +0200 | <safinaskar> | % do { let { x = 3; }; x; } |
| 2021-06-24 22:15:18 +0200 | <yahb> | safinaskar: 3 |
| 2021-06-24 22:15:22 +0200 | <safinaskar> | why this works? |
| 2021-06-24 22:15:26 +0200 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
| 2021-06-24 22:15:42 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 22:16:24 +0200 | <geekosaur> | do is just syntactic sugar, if you don't use the parts that require Monad (or Applicative) the result doesn't require them either |
| 2021-06-24 22:16:30 +0200 | <geekosaur> | > do do do do do 5 |
| 2021-06-24 22:16:31 +0200 | <lambdabot> | 5 |
| 2021-06-24 22:17:21 +0200 | Morrow | (~MorrowM_@147.161.12.76) |
| 2021-06-24 22:18:13 +0200 | <safinaskar> | ok, thanks |
| 2021-06-24 22:18:15 +0200 | <geekosaur> | https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-470003.14 specifies the desugaring |
| 2021-06-24 22:19:09 +0200 | <geekosaur> | ghc's is a little different because of ApplicativeDo and MonadFail which are not covered by the Report, but both follow the same general rule of not adding constraints unless specifically required |
| 2021-06-24 22:25:05 +0200 | DNH | (~DNH@8.43.122.6) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-24 22:29:01 +0200 | maxon0 | (~bc817c21@217.29.117.252) |
| 2021-06-24 22:29:21 +0200 | <maxon0> | hi. does GHC 8.10.4 support RecordDotSyntax? |
| 2021-06-24 22:29:32 +0200 | <maxon0> | can't find anything about it in release notes, so probably not |
| 2021-06-24 22:29:59 +0200 | tbd | (~user@p200300d9df0abf00e670b8fffeaa0fa5.dip0.t-ipconnect.de) |
| 2021-06-24 22:30:02 +0200 | <maxon0> | I meant 8.10.5 |
| 2021-06-24 22:30:53 +0200 | <tbd> | Does someone know if/how it is possible to increase the timeout until an idle connection is closed in the http-client family of libraries? |
| 2021-06-24 22:31:35 +0200 | <tbd> | I see that connections are closed after 30 seconds if idle. |
| 2021-06-24 22:36:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 22:36:51 +0200 | <geekosaur> | maxon0, pretty sure it's only in 9.0.1 and later |
| 2021-06-24 22:42:06 +0200 | <geekosaur> | don';t see it in 9.0.1 so may be 9.2 |
| 2021-06-24 22:43:02 +0200 | <geekosaur> | yeh, it's in 9.2 |
| 2021-06-24 22:47:11 +0200 | manveru[m]1 | (~manveru@user/manveru) () |
| 2021-06-24 22:47:20 +0200 | <maxon0> | ah, ok! any ideas when we can expect a stable 9.2 releaes? |
| 2021-06-24 22:48:20 +0200 | <geekosaur> | no, they're cleaning up issues still |
| 2021-06-24 22:49:42 +0200 | <safinaskar> | maxon0: you can install ghc 9.2 prerelease using ghcup |
| 2021-06-24 22:50:33 +0200 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/milestones/365 suggests there's a fair amount of work still needed |
| 2021-06-24 22:52:12 +0200 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-06-24 22:52:28 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: Connection reset by peer) |
| 2021-06-24 22:54:01 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-24 22:56:21 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-06-24 22:56:45 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-06-24 22:56:48 +0200 | killsushi | (~killsushi@user/killsushi) (Quit: Leaving) |
| 2021-06-24 22:58:51 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 23:01:02 +0200 | tbd | (~user@p200300d9df0abf00e670b8fffeaa0fa5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-24 23:03:52 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-06-24 23:04:44 +0200 | <bitmapper> | huh, GHC used to have a .net backend |
| 2021-06-24 23:04:58 +0200 | warnz | (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Remote host closed the connection) |
| 2021-06-24 23:06:05 +0200 | safinaskar | (~safinaska@109-252-90-89.nat.spd-mgts.ru) () |
| 2021-06-24 23:09:07 +0200 | pera | (~pera@user/pera) |
| 2021-06-24 23:09:21 +0200 | <troydm> | bitmapper: long time ago |
| 2021-06-24 23:09:32 +0200 | <bitmapper> | yeah |
| 2021-06-24 23:09:39 +0200 | <troydm> | bitmapper: obsolete now |
| 2021-06-24 23:09:39 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-06-24 23:09:56 +0200 | slack1256 | (~slack1256@181.203.79.103) (Ping timeout: 268 seconds) |
| 2021-06-24 23:09:57 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-24 23:10:35 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2021-06-24 23:10:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-06-24 23:12:38 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2021-06-24 23:13:06 +0200 | <bitmapper> | yeah it's just i've always heard that languages like scala/haskell couldn't target .net due to CIL being very inflexible in regards to types |
| 2021-06-24 23:14:20 +0200 | <geekosaur> | you can target them as long as you're not interchanging data --- of course, the whole point of targeting them would be to take advantage of their libraries, so that makes it kinda pointless |
| 2021-06-24 23:14:51 +0200 | <geekosaur> | (you're not bound by CIL if you're not exchanging data and can define your types as needed) |
| 2021-06-24 23:19:22 +0200 | <bitmapper> | https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/babel01.pdf seems to say otherwise |
| 2021-06-24 23:19:28 +0200 | pavonia | (~user@user/siracusa) |
| 2021-06-24 23:20:50 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-24 23:21:36 +0200 | <geekosaur> | "Inparticular we aim for easier interoperability between com-ponents whose interfaces are expressed using function types,discriminated unions and parametric polymorphism, regard-less of the languages in which these components are implemented" |
| 2021-06-24 23:22:01 +0200 | <geekosaur> | if you're not interooperating you can do whatever, but interop is the point of CIL |
| 2021-06-24 23:24:55 +0200 | dhil | (~dhil@195.213.192.47) (Ping timeout: 246 seconds) |
| 2021-06-24 23:25:36 +0200 | chisui | (~chisui@200116b8669b81005d1b8973bc3c68f4.dip.versatel-1u1.de) (Quit: Client closed) |
| 2021-06-24 23:25:45 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-24 23:28:55 +0200 | Scotty_Trees | (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-24 23:30:42 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-06-24 23:32:53 +0200 | MorrowM | (~MorrowM_@147.161.13.155) |
| 2021-06-24 23:35:02 +0200 | dunkeln | (~dunkeln@188.71.193.140) (Ping timeout: 256 seconds) |
| 2021-06-24 23:35:13 +0200 | jolly | (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-06-24 23:35:35 +0200 | pera | (~pera@user/pera) (Ping timeout: 256 seconds) |
| 2021-06-24 23:35:51 +0200 | <maerwald> | is there a working online repl for haskell? |
| 2021-06-24 23:36:10 +0200 | Morrow | (~MorrowM_@147.161.12.76) (Ping timeout: 256 seconds) |
| 2021-06-24 23:36:13 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-24 23:37:54 +0200 | dhil | (~dhil@80.208.56.181) |
| 2021-06-24 23:37:57 +0200 | <dsal> | I had repl.it kind of working yesterday. |
| 2021-06-24 23:38:08 +0200 | <maerwald> | broken on mobile |
| 2021-06-24 23:38:11 +0200 | <monochrom> | repl.it but you discounted it |
| 2021-06-24 23:38:26 +0200 | <monochrom> | tryhaskell.org |
| 2021-06-24 23:38:38 +0200 | <maerwald> | broken on mobile too |
| 2021-06-24 23:38:47 +0200 | <dsal> | lambdabot: |
| 2021-06-24 23:38:50 +0200 | <monochrom> | but I feel that maybe your definition of "working" is very high |
| 2021-06-24 23:39:01 +0200 | <dsal> | lambdabot is my goto on mobile. :) |
| 2021-06-24 23:39:08 +0200 | <maerwald> | yeah, having working input :> |
| 2021-06-24 23:43:09 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-24 23:43:36 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-06-24 23:43:51 +0200 | shiraeeshi | (~shiraeesh@5.101.59.74) (Ping timeout: 268 seconds) |
| 2021-06-24 23:44:44 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) |
| 2021-06-24 23:45:45 +0200 | <MorrowM> | I use mniip's eval on mobile :3 |
| 2021-06-24 23:47:11 +0200 | involans | (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-06-24 23:49:18 +0200 | <Hecate> | :D |
| 2021-06-24 23:49:21 +0200 | <Hecate> | hiya MorrowM |
| 2021-06-24 23:49:24 +0200 | <Hecate> | nice to see you here |
| 2021-06-24 23:52:02 +0200 | involans | (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-06-24 23:52:10 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 23:54:34 +0200 | Scotty_Trees | (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-24 23:55:00 +0200 | <MorrowM> | Hi Hecate :) I lurk here from time to time |
| 2021-06-24 23:55:06 +0200 | <Hecate> | hehe |
| 2021-06-24 23:55:41 +0200 | <MorrowM> | Should probably try getting a bouncer properly set up now that I got my home server up and running again |
| 2021-06-24 23:56:18 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-06-24 23:56:47 +0200 | <Hecate> | yup :p |
| 2021-06-24 23:58:40 +0200 | ephemient | (uid407513@id-407513.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-24 23:59:37 +0200 | Morrow | (~MorrowM_@147.161.13.155) |
| 2021-06-24 23:59:52 +0200 | MorrowM | (~MorrowM_@147.161.13.155) (Quit: Leaving) |