| 2022-04-06 00:00:08 +0200 | Psybur | (~Psybur@2600:1003:b1ac:150e:71e7:cd72:569e:9a95) |
| 2022-04-06 00:00:15 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2022-04-06 00:03:02 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:3dd7:b2a5:f63f:5163) |
| 2022-04-06 00:04:03 +0200 | tired | (~tired@user/tired) (Read error: Connection reset by peer) |
| 2022-04-06 00:04:15 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 00:04:28 +0200 | tired | (~tired@user/tired) |
| 2022-04-06 00:04:50 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-06 00:07:25 +0200 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:6d4c:38a4:18b7:4b48) (Quit: WeeChat 3.4) |
| 2022-04-06 00:07:39 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 00:09:18 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-06 00:09:37 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-06 00:12:13 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2022-04-06 00:15:53 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 248 seconds) |
| 2022-04-06 00:16:40 +0200 | tiferrei2000 | (~tiferrei@user/tiferrei) (Remote host closed the connection) |
| 2022-04-06 00:16:48 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-04-06 00:20:07 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Remote host closed the connection) |
| 2022-04-06 00:20:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-06 00:20:27 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-06 00:20:59 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2022-04-06 00:25:39 +0200 | tired | (~tired@user/tired) (Quit: /) |
| 2022-04-06 00:27:09 +0200 | tired | (~tired@user/tired) |
| 2022-04-06 00:28:33 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-06 00:32:33 +0200 | mikoto-c1 | (~mikoto-ch@213.177.151.239) (Quit: mikoto-c1) |
| 2022-04-06 00:32:47 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-06 00:41:28 +0200 | <redb> | Hey could I get some help with Record syntax? https://paste.tomsmeding.com/6v1HrUEg |
| 2022-04-06 00:41:48 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-06 00:42:16 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-06 00:42:25 +0200 | <redb> | Hey could I get some help with Record syntax? https://paste.tomsmeding.com/6v1HrUEg Basically I want to add elements to a record and change the type while I do so |
| 2022-04-06 00:42:48 +0200 | <redb> | Yikes sorry about that my IRC client was delayed |
| 2022-04-06 00:43:37 +0200 | chomwitt | (~chomwitt@athedsl-369869.home.otenet.gr) (Ping timeout: 248 seconds) |
| 2022-04-06 00:44:30 +0200 | <d34df00d> | You can't do it this way. |
| 2022-04-06 00:45:02 +0200 | <redb> | Dang, do I have to unpack the values and make another record? |
| 2022-04-06 00:45:20 +0200 | <d34df00d> | I'd probably go with -XRecordWildcards and do smth like superToDerive SuperType{ .. } c = DeriveType{ .. } |
| 2022-04-06 00:45:47 +0200 | <d34df00d> | That _might_ work, but might also not work — I'm never able to remember the rules when the fields disambiguator actually works (and you'll need extensions for that). |
| 2022-04-06 00:45:58 +0200 | <abastro[m]> | Ye haskell does not permit record polymorphism |
| 2022-04-06 00:46:50 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 00:48:48 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-04-06 00:49:54 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4.1) |
| 2022-04-06 00:51:09 +0200 | <abastro[m]> | s/record polymorphism/row type polymorphism |
| 2022-04-06 00:54:26 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-06 00:55:48 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-04-06 00:56:37 +0200 | jtmar | (~james@jtmar.me) (Ping timeout: 256 seconds) |
| 2022-04-06 00:56:46 +0200 | jamestmartin | (~james@jtmar.me) |
| 2022-04-06 01:00:28 +0200 | Psybur | (~Psybur@2600:1003:b1ac:150e:71e7:cd72:569e:9a95) (Ping timeout: 260 seconds) |
| 2022-04-06 01:02:09 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-04-06 01:02:13 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) |
| 2022-04-06 01:04:27 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 01:04:54 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-06 01:04:55 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 01:06:10 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-06 01:06:29 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.176) |
| 2022-04-06 01:09:53 +0200 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) |
| 2022-04-06 01:10:27 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:7904:da90:b863:898) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-06 01:10:44 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.176) (Ping timeout: 246 seconds) |
| 2022-04-06 01:11:26 +0200 | BlackboardN | (~Blackboar@user/BlackboardN) (Ping timeout: 246 seconds) |
| 2022-04-06 01:11:31 +0200 | BlackboardN_ | (~Blackboar@user/BlackboardN) |
| 2022-04-06 01:14:01 +0200 | <Henson> | say I have a function (f :: a -> b a) and I want to adjust it so that I can bundle some extra data of type c along with the a into a type of (a,c) or something like that. Is there a way I can make a function (g :: (a,c) -> b (a,c)) that is able to make use of f and pass this "bundled" data through without having to rewrite f? |
| 2022-04-06 01:14:24 +0200 | <Henson> | not necessarily needing to use tuples in this, just using tuples as an example of one way of bundling the a and c data together. |
| 2022-04-06 01:14:29 +0200 | off^ | (~off@c-24-99-107-170.hsd1.ga.comcast.net) (Ping timeout: 250 seconds) |
| 2022-04-06 01:14:35 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-04-06 01:14:55 +0200 | off^ | (~off@c-24-99-107-170.hsd1.ga.comcast.net) |
| 2022-04-06 01:15:24 +0200 | <Henson> | normally I would just rewrite the f function to carry the bundled data through, but perhaps there's some abstraction of which I am unaware that would make this easy and make rewriting unnecessary or simpler. |
| 2022-04-06 01:15:49 +0200 | <geekosaur> | anything y7ou might attempt that way would change the type of f |
| 2022-04-06 01:18:16 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-06 01:18:47 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 246 seconds) |
| 2022-04-06 01:20:04 +0200 | <jackdk> | Henson: Data.Profunctor.Strong : https://hackage.haskell.org/package/profunctors-5.6.2/docs/Data-Profunctor-Strong.html#v:first-39- |
| 2022-04-06 01:20:19 +0200 | <Henson> | geekosaur: right, but if I've got f made already, and it's a complicated function, is there some way I can associate some extra data "c" with the "a" that is not used at all in f, but is carried through. So something like "k :: (a -> b a) -> ((a,c) -> b (a,c))" that take take in "f" and transform it to "g" |
| 2022-04-06 01:21:02 +0200 | <jackdk> | If `b` is a `Functor` in your `a -> b a` example, then you will want to use the `Star` newtype also: https://hackage.haskell.org/package/profunctors-5.6.2/docs/Data-Profunctor-Types.html#t:Star |
| 2022-04-06 01:21:35 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-06 01:22:48 +0200 | <Henson> | jackdk: thank you for the references. I'll take a look at those. |
| 2022-04-06 01:24:58 +0200 | theproffesor | (~theproffe@2601:282:847f:7f00::87) |
| 2022-04-06 01:26:40 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-06 01:27:07 +0200 | <jackdk> | % :m + Data.Profunctor |
| 2022-04-06 01:27:07 +0200 | <yahb> | jackdk: |
| 2022-04-06 01:27:18 +0200 | <jackdk> | % :t runStar . first' . Star -- Henson |
| 2022-04-06 01:27:18 +0200 | <yahb> | jackdk: Functor f => (a -> f b) -> (a, c) -> f (b, c) |
| 2022-04-06 01:27:28 +0200 | <jackdk> | %: m - Data.Profunctor |
| 2022-04-06 01:27:37 +0200 | <jackdk> | % :m - Data.Profunctor |
| 2022-04-06 01:27:37 +0200 | <yahb> | jackdk: |
| 2022-04-06 01:29:32 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
| 2022-04-06 01:30:37 +0200 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: leaving) |
| 2022-04-06 01:30:59 +0200 | <Henson> | jackdk: so "runStar . first' . Star" would essentially be the "k" function, provided that b is a functor, which in my case I think it can be made a functor. |
| 2022-04-06 01:31:52 +0200 | <jackdk> | Yeah, and whatever you do you'll probably need `b` to be a `Functor` anyway |
| 2022-04-06 01:32:31 +0200 | <Henson> | jackdk: yep. Ok, that's totally awesome, and should save me a bunch of work. I'll test that tomorrow. |
| 2022-04-06 01:33:31 +0200 | <dons> | moin moin |
| 2022-04-06 01:33:44 +0200 | <geekosaur> | o/ |
| 2022-04-06 01:33:46 +0200 | <jackdk> | sup dons |
| 2022-04-06 01:34:51 +0200 | <dons> | going to be a great day. i have a program that reads graphs , currently uses about 10G of ram to process 1G of input data. (does some graph flattening stuff). /me cracks knuckles. time to optimize. |
| 2022-04-06 01:37:30 +0200 | Henson | chuckles |
| 2022-04-06 01:37:41 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::6b90) |
| 2022-04-06 01:37:53 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-06 01:41:41 +0200 | <Guest27> | Wondering if there's a "temporary" version of withStateT that doesn't keep the modified state. Something like |
| 2022-04-06 01:41:42 +0200 | <Guest27> | ``` |
| 2022-04-06 01:41:42 +0200 | <Guest27> | withTempStateT f m = StateT $ \s -> do |
| 2022-04-06 01:41:43 +0200 | <Guest27> | a <- evalStateT (f s) m |
| 2022-04-06 01:41:43 +0200 | <Guest27> | return (a, s) |
| 2022-04-06 01:41:44 +0200 | <Guest27> | ``` |
| 2022-04-06 01:42:13 +0200 | <dons> | ReaderT ? sounds like `local` |
| 2022-04-06 01:42:34 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-06 01:42:37 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-06 01:42:47 +0200 | <dons> | its not uncommon for State things to really be scoped/local things that can run in Reader, https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Reader.html ? |
| 2022-04-06 01:42:48 +0200 | <Guest27> | Ah you're right, that makes more sense for something read-only |
| 2022-04-06 01:44:00 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) (Remote host closed the connection) |
| 2022-04-06 01:44:13 +0200 | <Guest27> | Still trying to think more functionally than imperative ;) |
| 2022-04-06 01:44:40 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Client Quit) |
| 2022-04-06 01:45:54 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) |
| 2022-04-06 01:46:05 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Quit: xff0x) |
| 2022-04-06 01:46:47 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) |
| 2022-04-06 01:50:29 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-06 01:54:55 +0200 | tired | (~tired@user/tired) (Quit: /) |
| 2022-04-06 01:55:34 +0200 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
| 2022-04-06 01:55:39 +0200 | tired | (~tired@user/tired) |
| 2022-04-06 01:59:11 +0200 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2022-04-06 02:00:05 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-06 02:00:38 +0200 | theproffesor | (~theproffe@2601:282:847f:7f00::87) (Changing host) |
| 2022-04-06 02:00:38 +0200 | theproffesor | (~theproffe@user/theproffesor) |
| 2022-04-06 02:03:05 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2022-04-06 02:03:24 +0200 | chenqisu1 | (~chenqisu1@183.217.200.239) |
| 2022-04-06 02:03:59 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) (Remote host closed the connection) |
| 2022-04-06 02:04:30 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::6b90) (Ping timeout: 250 seconds) |
| 2022-04-06 02:04:31 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:6914:1dfa:1871:fc52) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-06 02:04:42 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:6493:8479:5d3e:91b7) |
| 2022-04-06 02:05:24 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) |
| 2022-04-06 02:05:40 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) (Remote host closed the connection) |
| 2022-04-06 02:08:47 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2022-04-06 02:10:37 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) |
| 2022-04-06 02:13:00 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-04-06 02:13:58 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-06 02:13:58 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-06 02:13:58 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-06 02:15:35 +0200 | <Henson> | jackdk: I just realized that my type is actually more like f :: [a] -> b a, so I don't think the profunctor idea will work. |
| 2022-04-06 02:15:40 +0200 | redb | (~nmh@136.49.49.211) (Read error: Connection reset by peer) |
| 2022-04-06 02:15:45 +0200 | redb_ | (~nmh@136.49.49.211) |
| 2022-04-06 02:16:05 +0200 | <jackdk> | Henson: What is the `g` you are trying to construct again? |
| 2022-04-06 02:16:43 +0200 | <Henson> | jackdk: in this case it would be g :: [(a,c)] -> b (a,c) |
| 2022-04-06 02:17:26 +0200 | <jackdk> | Henson: how do you propose to write that? Do you have some way of combining the `c`s (e.g., `Monoid` instance)? |
| 2022-04-06 02:17:27 +0200 | <Henson> | jackdk: I can probably just modify the a type to add an additional record that doesn't get used at all in the function, but holds the c data |
| 2022-04-06 02:18:31 +0200 | <Henson> | jackdk: I really just need to associate some c data with the a's that doesn't get used at all in the function, but just "follows" the a data around and can be unbundled at the end |
| 2022-04-06 02:19:03 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2022-04-06 02:19:34 +0200 | <jackdk> | Henson: right, but unless your `b` is also something containeresque, I read that as "you have several (a,c)" pairs coming in, and you're producing a single "c" at the end. Do you perhaps want `g :: [(a, c)] -> (b a, c)`? |
| 2022-04-06 02:19:55 +0200 | <jackdk> | Henson: correction: `g :: [(a, c)] -> (b a, [c])` |
| 2022-04-06 02:20:13 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-06 02:21:00 +0200 | <Henson> | jackdk: yes, the b is containereque. What I really have is 3D points going into a trajectory-detection algorithm. The [a] are the 3D points going in, and the b coming out is a trajectory that contains within it some of the 3D points passed in that ended up becoming a trajectory |
| 2022-04-06 02:21:47 +0200 | <Henson> | jackdk: I'd like to simply bundle with the 3D points some extra meta-data which isn't used at all in the trajectory detection, but I would like it to appear bundled with the 3D points that did end up making it into the trajectory, so I can extract that meta-data |
| 2022-04-06 02:22:19 +0200 | <Henson> | that's why the trajectory type is "b a" because it contains within it items of type "a". |
| 2022-04-06 02:23:00 +0200 | <Axman6> | dons: Would love to hear more details of the optimisation work, being stuck here working on fixing bugs in Scala and Daml has me craving fun work X) |
| 2022-04-06 02:23:38 +0200 | <Axman6> | d34df00d: that was going to be my suggestion, that should work fine |
| 2022-04-06 02:25:46 +0200 | <dons> | its a good puzzle. 1G text file , each line is a json object. about 10M lines. each line has a unique , ascending int64 key. each object contains references to some previous lines via their key, forming graph edges and vertices. have to process file flattening certain subgraphs into tuples, essentially, (V1, E2, V2, E3, V4) . |
| 2022-04-06 02:26:24 +0200 | <jackdk> | Henson: I would probably parameterise your `f` over some function that select the coordinate, like `f :: (x -> point) -> [x] -> b x` and provide a convenience wrapper that's `f id` for when you're processing points directly |
| 2022-04-06 02:27:10 +0200 | <dons> | so a big foldM over chunks of the input, letting me proecss say, 50M of data at a time. ,then compose the output state into a final summary to be written out |
| 2022-04-06 02:27:30 +0200 | <Axman6> | dons: do you know where the memory is curing currently? using something like waargonaut and the succinct structer parser should help a lot there |
| 2022-04-06 02:27:42 +0200 | ss- | (~ss-@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2022-04-06 02:27:59 +0200 | <dons> | a few G are going into just parsing the data. so i'm starting parsing and consuming chunks |
| 2022-04-06 02:28:01 +0200 | <Axman6> | curing -> going* |
| 2022-04-06 02:28:12 +0200 | <dons> | then will try folding the graph flattening computation over the parsed pieces. |
| 2022-04-06 02:28:48 +0200 | <dons> | (what i'm doing is summarizing all variable definitions and their use sites, over a large repo, about 10M variables , 3k files) |
| 2022-04-06 02:28:56 +0200 | <dons> | not actually that large, but a fairly large single git repo |
| 2022-04-06 02:29:06 +0200 | <Henson> | jackdk: ok, thanks for the suggestion. I was considering making a type class that can extract points from something, which is pretty much equivalent to your idea as the type class function would be your (x -> point) function. |
| 2022-04-06 02:29:07 +0200 | <Axman6> | https://hackage.haskell.org/package/waargonaut, based on https://hackage.haskell.org/package/hw-json-standard-cursor could mean the JSON parsing takes basically no memory |
| 2022-04-06 02:29:29 +0200 | <jackdk> | Henson: I thought about that too, but I dislike typeclasses without laws |
| 2022-04-06 02:29:33 +0200 | <dons> | ncie |
| 2022-04-06 02:30:36 +0200 | <Axman6> | the really nice thing about that second package as that you can |
| 2022-04-06 02:30:47 +0200 | <Henson> | jackdk: ok |
| 2022-04-06 02:30:48 +0200 | <Axman6> | create the index ahead of time and reuse itr |
| 2022-04-06 02:31:04 +0200 | <Henson> | gotta run, thanks for the help! |
| 2022-04-06 02:31:07 +0200 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-04-06 02:42:21 +0200 | xff0x_ | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 268 seconds) |
| 2022-04-06 02:43:08 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 260 seconds) |
| 2022-04-06 02:43:18 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 02:44:42 +0200 | <abastro[m]> | O(1) space json parsing? |
| 2022-04-06 02:46:05 +0200 | <Axman6> | no. but indices which take up well over an order of magnitude less space than the jsonm data, which gives IIRC O(1) indexing into the JSON file itself |
| 2022-04-06 02:47:22 +0200 | <Axman6> | https://github.com/haskell-works/hw-json has a bit more info about the package |
| 2022-04-06 02:47:28 +0200 | <jackdk> | https://www.youtube.com/watch?v=uA0Z7_4J7u8 |
| 2022-04-06 02:48:40 +0200 | <Axman6> | I should rewatch that |
| 2022-04-06 02:50:59 +0200 | <Axman6> | gonna be doing lots of compiling today, so plenty of time to watch |
| 2022-04-06 02:51:42 +0200 | <Axman6> | Really wish this was filmed on a higher quality potato |
| 2022-04-06 02:55:17 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-06 02:56:23 +0200 | <abastro[m]> | Interesting |
| 2022-04-06 02:56:31 +0200 | <jackdk> | It's like the one Ed talk which doesn't have a good recording anywhere =| |
| 2022-04-06 02:56:37 +0200 | <abastro[m]> | Who is EdKmett hm |
| 2022-04-06 02:56:44 +0200 | frost | (~frost@user/frost) |
| 2022-04-06 02:57:10 +0200 | <geekosaur> | the man, the myth, the legend |
| 2022-04-06 02:58:28 +0200 | <abastro[m]> | ?legend? |
| 2022-04-06 02:58:28 +0200 | <lambdabot> | Unknown command, try @list |
| 2022-04-06 02:58:47 +0200 | <Axman6> | I've mat Ed many times, and am still not sure he truly exists |
| 2022-04-06 02:59:10 +0200 | <abastro[m]> | Wah |
| 2022-04-06 02:59:19 +0200 | <abastro[m]> | Why legend tho |
| 2022-04-06 02:59:35 +0200 | <jackdk> | https://hackage.haskell.org/user/EdwardKmett |
| 2022-04-06 02:59:46 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-06 02:59:48 +0200 | <Axman6> | Probably one of the most prolific Haskellers around. Author of Lens, and... lots and lots of other very useful things |
| 2022-04-06 02:59:56 +0200 | Midjak | (~Midjak@44.240.130.77.rev.sfr.net) |
| 2022-04-06 03:00:09 +0200 | zyklotomic | (~ethan@res380d-128-61-83-27.res.gatech.edu) (Ping timeout: 248 seconds) |
| 2022-04-06 03:00:41 +0200 | <abastro[m]> | I see |
| 2022-04-06 03:00:51 +0200 | <abastro[m]> | <del>Lens useful tho</del> |
| 2022-04-06 03:01:41 +0200 | <abastro[m]> | Is EdKmett hired by some company? |
| 2022-04-06 03:02:19 +0200 | zyklotomic | (~ethan@res380d-128-61-86-37.res.gatech.edu) |
| 2022-04-06 03:10:41 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-06 03:10:43 +0200 | BlackboardN_ | (~Blackboar@user/BlackboardN) (Ping timeout: 268 seconds) |
| 2022-04-06 03:11:56 +0200 | BlackboardN | (~Blackboar@user/BlackboardN) |
| 2022-04-06 03:12:27 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-06 03:14:45 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-06 03:16:48 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-06 03:18:14 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-06 03:18:44 +0200 | neurocyte861449 | (~neurocyte@user/neurocyte) (Ping timeout: 268 seconds) |
| 2022-04-06 03:24:33 +0200 | <Axman6> | you can ask edwardk yourself if you like |
| 2022-04-06 03:29:38 +0200 | trillp | (~trillp@137.220.51.190) |
| 2022-04-06 03:33:12 +0200 | <abastro[m]> | Oh.. okay maybe I should not |
| 2022-04-06 03:35:03 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-04-06 03:35:10 +0200 | cheater | (~Username@user/cheater) |
| 2022-04-06 03:42:30 +0200 | abastro | (~abab9579@192.249.26.186) |
| 2022-04-06 03:43:43 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-06 03:44:57 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 248 seconds) |
| 2022-04-06 03:49:45 +0200 | Midjak | (~Midjak@44.240.130.77.rev.sfr.net) (Quit: This computer has gone to sleep) |
| 2022-04-06 03:59:39 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Quit: Lost terminal) |
| 2022-04-06 03:59:55 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-06 04:03:19 +0200 | redb_ | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-06 04:07:25 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-04-06 04:08:45 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-04-06 04:09:42 +0200 | mud | (~mud@user/kadoban) |
| 2022-04-06 04:11:28 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:6493:8479:5d3e:91b7) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-06 04:11:37 +0200 | Athas | (athas@sigkill.dk) |
| 2022-04-06 04:12:04 +0200 | trillp | (~trillp@137.220.51.190) (Quit: nyaa~) |
| 2022-04-06 04:13:22 +0200 | ubert1 | (~Thunderbi@p200300ecdf15881ccd0eab025279bcac.dip0.t-ipconnect.de) |
| 2022-04-06 04:14:31 +0200 | ubert | (~Thunderbi@p200300ecdf1588eb09611d41de6fd446.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-06 04:14:32 +0200 | ubert1 | ubert |
| 2022-04-06 04:23:17 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-06 04:29:34 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 04:31:28 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-06 04:31:40 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 04:33:16 +0200 | jackhill | jackhill[m] |
| 2022-04-06 04:33:27 +0200 | jackhill[m] | jackhill |
| 2022-04-06 04:33:44 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-06 04:37:23 +0200 | abastro | (~abab9579@192.249.26.186) (Ping timeout: 260 seconds) |
| 2022-04-06 04:38:02 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
| 2022-04-06 04:40:11 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 04:48:26 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 2022-04-06 04:49:19 +0200 | <dons> | do we have a recommended term code progress bar lib? |
| 2022-04-06 04:49:32 +0200 | <dons> | i want to show some nice spinny things |
| 2022-04-06 04:51:18 +0200 | <int-e> | 🨄 |
| 2022-04-06 04:51:18 +0200 | <int-e> | 🩇🩃🨲🨮🨝🨙🨈🨄 |
| 2022-04-06 04:51:27 +0200 | <dons> | yeah! |
| 2022-04-06 04:52:17 +0200 | <int-e> | (Not sure why that pasted two lines, but whatever. Silliest spinning things I know of.) |
| 2022-04-06 04:54:08 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 04:59:52 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 268 seconds) |
| 2022-04-06 05:05:34 +0200 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) |
| 2022-04-06 05:06:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-06 05:07:32 +0200 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) () |
| 2022-04-06 05:08:07 +0200 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) |
| 2022-04-06 05:08:54 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 05:09:23 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-06 05:09:23 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-06 05:09:23 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-06 05:09:49 +0200 | mbuf | (~Shakthi@136.185.80.19) |
| 2022-04-06 05:11:23 +0200 | Me-me | (~me-me@user/me-me) (Remote host closed the connection) |
| 2022-04-06 05:12:04 +0200 | abastro | (~abab9579@192.249.26.186) |
| 2022-04-06 05:12:04 +0200 | Me-me | (~me-me@v.working.name) |
| 2022-04-06 05:12:34 +0200 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) () |
| 2022-04-06 05:13:33 +0200 | Me-me | (~me-me@v.working.name) (Changing host) |
| 2022-04-06 05:13:33 +0200 | Me-me | (~me-me@user/me-me) |
| 2022-04-06 05:17:45 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 05:18:11 +0200 | abastro | (~abab9579@192.249.26.186) (Remote host closed the connection) |
| 2022-04-06 05:18:25 +0200 | abastro | (~abab9579@192.249.26.186) |
| 2022-04-06 05:18:36 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-04-06 05:19:07 +0200 | ss- | (~ss-@187.83.249.216.dyn.smithville.net) |
| 2022-04-06 05:22:44 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-04-06 05:24:44 +0200 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) |
| 2022-04-06 05:28:53 +0200 | <InstX1_> | question |
| 2022-04-06 05:28:54 +0200 | InstX1_ | Inst |
| 2022-04-06 05:28:58 +0200 | <Inst> | are interpreters impossible |
| 2022-04-06 05:29:18 +0200 | <Inst> | to FFI into reliably? |
| 2022-04-06 05:29:25 +0200 | <Inst> | or are they simply built not to be FFI-ed into reliably? |
| 2022-04-06 05:29:45 +0200 | d34df00d | (~d34df00d@2600:1700:8c60:3a10::46) (Read error: Connection reset by peer) |
| 2022-04-06 05:29:51 +0200 | <Inst> | say if I had something called ghcv, which is a ghci variant designed to be called by compiled code |
| 2022-04-06 05:30:12 +0200 | <Inst> | could it exist? |
| 2022-04-06 05:31:39 +0200 | <Inst> | basically, the idea is that something like ghcv would be useful to create julia-style multiple dispatch without large binaries in haskell, or alternately enable homoiconicity |
| 2022-04-06 05:32:00 +0200 | <Inst> | and if it's stable and possible to call via FFI, that isn't just for Haskell, but also for other compiled languages |
| 2022-04-06 05:33:40 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 05:33:45 +0200 | <Cale> | Have you seen https://hackage.haskell.org/package/hint ? |
| 2022-04-06 05:38:32 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-06 05:38:43 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-06 05:39:02 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-06 05:39:57 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-06 05:40:17 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-06 05:41:18 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-06 05:41:35 +0200 | renzhi | (~xp@2607:fa49:6500:b100::205b) |
| 2022-04-06 05:42:47 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 05:43:11 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-06 05:46:16 +0200 | <Inst> | i'll look it up |
| 2022-04-06 05:49:15 +0200 | abastro | (~abab9579@192.249.26.186) (Ping timeout: 260 seconds) |
| 2022-04-06 05:53:21 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 05:53:57 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 06:00:36 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-06 06:02:34 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-04-06 06:02:41 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 2022-04-06 06:02:53 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-06 06:04:23 +0200 | <sm> | dons, maybe https://hackage.haskell.org/package/terminal-progress-bar ? see also https://hackage.haskell.org/package/concurrent-output |
| 2022-04-06 06:05:15 +0200 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) (Ping timeout: 250 seconds) |
| 2022-04-06 06:09:11 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-06 06:13:10 +0200 | <Inst> | nice @ cale |
| 2022-04-06 06:17:13 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 260 seconds) |
| 2022-04-06 06:20:53 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 06:22:07 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 06:22:17 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-06 06:22:22 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-06 06:24:41 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-06 06:26:47 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-06 06:27:03 +0200 | Inst | (~Liam@2601:6c4:4080:3f80:99cb:ce04:4b4a:7252) (Ping timeout: 260 seconds) |
| 2022-04-06 06:37:49 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Read error: Connection reset by peer) |
| 2022-04-06 06:37:49 +0200 | awschnap | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 06:39:46 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 268 seconds) |
| 2022-04-06 06:41:32 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 06:45:45 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 06:46:06 +0200 | juri_ | (~juri@178.63.35.222) |
| 2022-04-06 06:47:13 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-06 06:54:20 +0200 | acidjnk | (~acidjnk@p200300d0c7049f3920949ab9d12db827.dip0.t-ipconnect.de) |
| 2022-04-06 06:54:37 +0200 | phma | (phma@2001:5b0:210f:1458:f6d5:edb3:b0ac:9353) (Read error: Connection reset by peer) |
| 2022-04-06 06:55:35 +0200 | phma | (~phma@2001:5b0:210b:cac8:deba:7701:3a6f:3d70) |
| 2022-04-06 07:02:24 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 07:03:15 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-06 07:06:48 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 07:10:39 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-04-06 07:11:10 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-06 07:11:10 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-06 07:11:10 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-06 07:19:52 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-04-06 07:22:33 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-06 07:23:16 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 07:24:36 +0200 | chomwitt | (~chomwitt@2a02:587:dc1d:9d00:8198:a338:78ea:2e75) |
| 2022-04-06 07:28:58 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 07:29:07 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) (Ping timeout: 260 seconds) |
| 2022-04-06 07:29:27 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-06 07:29:32 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-06 07:29:48 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-06 07:32:41 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-04-06 07:33:51 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-06 07:40:22 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 07:41:12 +0200 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) |
| 2022-04-06 07:44:30 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 07:48:34 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Quit: xff0x) |
| 2022-04-06 07:48:41 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-06 07:49:16 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-06 07:59:45 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-06 08:00:22 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.176) |
| 2022-04-06 08:00:25 +0200 | phma | (~phma@2001:5b0:210b:cac8:deba:7701:3a6f:3d70) (Read error: Connection reset by peer) |
| 2022-04-06 08:01:57 +0200 | michalz | (~michalz@185.246.204.122) |
| 2022-04-06 08:04:02 +0200 | phma | (phma@2001:5b0:210b:cac8:deba:7701:3a6f:3d70) |
| 2022-04-06 08:09:00 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 08:09:19 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-06 08:11:33 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-06 08:11:59 +0200 | mattil | (~mattil@helsinki.portalify.com) |
| 2022-04-06 08:13:13 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 08:14:07 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-04-06 08:18:02 +0200 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) (Ping timeout: 250 seconds) |
| 2022-04-06 08:33:40 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 08:37:56 +0200 | odnes | (~odnes@5-203-209-2.pat.nym.cosmote.net) |
| 2022-04-06 08:41:52 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.176) (Ping timeout: 268 seconds) |
| 2022-04-06 08:44:36 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-06 08:49:14 +0200 | ss- | (~ss-@187.83.249.216.dyn.smithville.net) (Ping timeout: 250 seconds) |
| 2022-04-06 08:50:09 +0200 | rotateq | (~user@ip-078-094-235-194.um19.pools.vodafone-ip.de) |
| 2022-04-06 08:50:46 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-06 08:52:12 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.176) |
| 2022-04-06 08:53:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:151b:b295:6bbb:fc2b) |
| 2022-04-06 08:54:28 +0200 | sondr3 | (~sondr3@pc130-197.eduroam.uib.no) |
| 2022-04-06 08:59:16 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-06 08:59:44 +0200 | akegalj | (~akegalj@141-136-220-180.dsl.iskon.hr) |
| 2022-04-06 09:05:22 +0200 | abastro | (~abab9579@192.249.26.40) |
| 2022-04-06 09:06:32 +0200 | lawt | (~lawt@2601:200:8200:6870:dea6:32ff:fea1:adf9) (Ping timeout: 268 seconds) |
| 2022-04-06 09:06:58 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-04-06 09:07:16 +0200 | lawt | (~lawt@2601:200:8200:6870:dea6:32ff:fea1:adf9) |
| 2022-04-06 09:09:50 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 09:10:16 +0200 | akegalj | (~akegalj@141-136-220-180.dsl.iskon.hr) (Quit: leaving) |
| 2022-04-06 09:11:55 +0200 | phma | (phma@2001:5b0:210b:cac8:deba:7701:3a6f:3d70) (Read error: Connection reset by peer) |
| 2022-04-06 09:12:03 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-06 09:13:29 +0200 | phma | (~phma@2001:5b0:210d:afb8:c88d:676:78f3:7b6d) |
| 2022-04-06 09:14:55 +0200 | awschnap | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-06 09:15:31 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.176) (Ping timeout: 260 seconds) |
| 2022-04-06 09:16:04 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 09:16:12 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-06 09:16:35 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-06 09:24:58 +0200 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) |
| 2022-04-06 09:25:03 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 09:25:16 +0200 | sondr3 | (~sondr3@pc130-197.eduroam.uib.no) (Ping timeout: 272 seconds) |
| 2022-04-06 09:28:07 +0200 | renzhi | (~xp@2607:fa49:6500:b100::205b) (Ping timeout: 268 seconds) |
| 2022-04-06 09:30:57 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-04-06 09:31:02 +0200 | <maerwald> | dons: roll your own |
| 2022-04-06 09:31:15 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-06 09:31:26 +0200 | <maerwald> | I have rather mixed experience with exising libs (including concurrent-output) |
| 2022-04-06 09:31:37 +0200 | <maerwald> | terminal escape codes are actually easy |
| 2022-04-06 09:31:49 +0200 | <[exa]> | (looking at the scrollback, the rolling utf horse is _vastly_ underrated) |
| 2022-04-06 09:32:39 +0200 | <Axman6> | If that was int-e's comment, it didn't show up for me :'( |
| 2022-04-06 09:33:00 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 09:34:28 +0200 | <geekosaur> | I just got a bunch of boxes :( |
| 2022-04-06 09:36:30 +0200 | <dons> | i think to do it properly its almost a ui library. definitely concurrent, some queue of events you can push to cheaply. |
| 2022-04-06 09:36:48 +0200 | <dons> | probably should just port https://crates.io/crates/indicatif |
| 2022-04-06 09:37:53 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 09:38:11 +0200 | <dons> | it doesn't look enormous. https://github.com/console-rs/indicatif/blob/main/src/style.rs |
| 2022-04-06 09:39:59 +0200 | <abastro> | Concurrent? |
| 2022-04-06 09:40:43 +0200 | <dons> | i wouldn't want to block my main computation emitting progress wiggles |
| 2022-04-06 09:40:49 +0200 | <dons> | so there's another thread involved somewhere there |
| 2022-04-06 09:40:57 +0200 | <abastro> | Hmm |
| 2022-04-06 09:41:10 +0200 | <Axman6> | dons: if it's good enough for node.js, it's good enough for us! |
| 2022-04-06 09:41:11 +0200 | <abastro> | I guess progress bar UI library would be great |
| 2022-04-06 09:41:20 +0200 | <abastro> | Tho rolling your own won't also be that expensive |
| 2022-04-06 09:41:37 +0200 | <Axman6> | (Re: node running literally twice as fast when you turned off the progress indicator on the command line) |
| 2022-04-06 09:41:46 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 09:41:46 +0200 | <dons> | haha |
| 2022-04-06 09:41:50 +0200 | <dons> | i didn't know that |
| 2022-04-06 09:42:00 +0200 | <Axman6> | yeah it was pretty amazing, classic noce |
| 2022-04-06 09:42:02 +0200 | <dons> | yeah but threads are expensive in node land. cheap for us ;) |
| 2022-04-06 09:42:03 +0200 | <Axman6> | node* |
| 2022-04-06 09:42:56 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 09:43:11 +0200 | <dons> | well i made my thing massively better. it can process 10M facts in about 3G of ram now (was >16G). takes 2 mins to analyze instead of 15-20 |
| 2022-04-06 09:43:12 +0200 | <Axman6> | https://github.com/npm/npm/issues/11283 |
| 2022-04-06 09:43:28 +0200 | <Axman6> | (npm, not node, but it's all a mess so they all get the blame) |
| 2022-04-06 09:43:41 +0200 | <dons> | just classic fold-style IO. process input in lazy bytestring chunks, parse each chunk, and generate output, in one pass. |
| 2022-04-06 09:43:48 +0200 | <Axman6> | nice! I assume you can't share the code? |
| 2022-04-06 09:43:51 +0200 | <dons> | all in a runStateT that gathers outptu state along the way |
| 2022-04-06 09:44:03 +0200 | <dons> | oh will put it up shortly . sec.. its open |
| 2022-04-06 09:44:32 +0200 | renzhi | (~xp@2607:fa49:6500:b100::19a0) |
| 2022-04-06 09:44:51 +0200 | <maerwald> | dons: https://www.lihaoyi.com/post/BuildyourownCommandLinewithANSIescapecodes.html#progress-indicator |
| 2022-04-06 09:44:55 +0200 | <dons> | some big savings batching Aeson writes to file into 1M object chunks |
| 2022-04-06 09:45:01 +0200 | <maerwald> | really, you don't need a library for that |
| 2022-04-06 09:45:17 +0200 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) |
| 2022-04-06 09:46:13 +0200 | <maerwald> | after I dropped the use of concurrent-output and used escape codes directly, I had a lot less bugs |
| 2022-04-06 09:47:23 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-06 09:48:32 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-04-06 09:49:04 +0200 | sondr3 | (~sondr3@2001:700:200:f113:6431:7042:a807:6895) |
| 2022-04-06 09:49:13 +0200 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) (Remote host closed the connection) |
| 2022-04-06 09:52:19 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-06 09:53:51 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 09:56:01 +0200 | napping | (~brandon@65.128.49.110) (Quit: leaving) |
| 2022-04-06 09:56:37 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-06 09:58:11 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-06 10:00:25 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-06 10:01:43 +0200 | <dons> | this was the gist of it https://github.com/donsbot/Glean/commit/411482ce79b40503859407d9c6e4cb37e594b1b4?diff=split#diff-b… |
| 2022-04-06 10:14:42 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 10:15:59 +0200 | chenqisu1 | (~chenqisu1@183.217.200.239) (Quit: Leaving) |
| 2022-04-06 10:16:09 +0200 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 250 seconds) |
| 2022-04-06 10:16:59 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 10:18:10 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 10:18:13 +0200 | MajorBiscuit | (~MajorBisc@c-001-028-031.client.tudelft.eduvpn.nl) |
| 2022-04-06 10:18:45 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-04-06 10:20:09 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 10:22:20 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-06 10:23:00 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-04-06 10:23:16 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds)) |
| 2022-04-06 10:23:31 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 2022-04-06 10:23:55 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-04-06 10:24:09 +0200 | davl | (~davl@207.154.228.18) (Quit: ...) |
| 2022-04-06 10:24:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-06 10:24:28 +0200 | davl | (~davl@207.154.228.18) |
| 2022-04-06 10:24:42 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 10:24:49 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 272 seconds) |
| 2022-04-06 10:24:59 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:9c62:9a76:c74f:33e7) |
| 2022-04-06 10:25:26 +0200 | qwedfg_ | (~qwedfg@user/qwedfg) |
| 2022-04-06 10:25:52 +0200 | siers | (~ij@user/ij) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-06 10:26:04 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Ping timeout: 272 seconds) |
| 2022-04-06 10:26:12 +0200 | siers | (~ij@user/ij) |
| 2022-04-06 10:26:13 +0200 | xnyhps_ | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Ping timeout: 240 seconds) |
| 2022-04-06 10:27:09 +0200 | lis | (~quassel@lis.moe) |
| 2022-04-06 10:27:25 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (Ping timeout: 240 seconds) |
| 2022-04-06 10:27:49 +0200 | lisq | (~quassel@lis.moe) (Ping timeout: 240 seconds) |
| 2022-04-06 10:28:11 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-06 10:28:13 +0200 | w1gz | (~do@159.89.11.133) (Ping timeout: 240 seconds) |
| 2022-04-06 10:29:00 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-06 10:29:01 +0200 | grgz | (~grgz@grgz.me) (Ping timeout: 240 seconds) |
| 2022-04-06 10:29:04 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) |
| 2022-04-06 10:29:04 +0200 | acro | (~acro@user/acro) (Quit: Bye.) |
| 2022-04-06 10:29:08 +0200 | w1gz | (~do@159.89.11.133) |
| 2022-04-06 10:29:13 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-06 10:29:21 +0200 | acro | (~acro@user/acro) |
| 2022-04-06 10:29:26 +0200 | quintasan | (~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-06 10:29:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-04-06 10:29:35 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-04-06 10:29:47 +0200 | MajorBiscuit | (~MajorBisc@c-001-028-031.client.tudelft.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-04-06 10:30:16 +0200 | grgz | (~grgz@grgz.me) |
| 2022-04-06 10:30:34 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (Remote host closed the connection) |
| 2022-04-06 10:30:36 +0200 | quintasan | (~quassel@quintasan.pl) |
| 2022-04-06 10:31:29 +0200 | MajorBiscuit | (~MajorBisc@c-001-028-031.client.tudelft.eduvpn.nl) |
| 2022-04-06 10:31:41 +0200 | beaky_ | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2022-04-06 10:32:18 +0200 | bahamas | (~lucian@86.120.77.115) |
| 2022-04-06 10:32:18 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-04-06 10:32:22 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Remote host closed the connection) |
| 2022-04-06 10:32:51 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2022-04-06 10:33:10 +0200 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2022-04-06 10:34:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-04-06 10:35:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-06 10:35:52 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 10:35:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 10:37:28 +0200 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-04-06 10:37:29 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-06 10:38:06 +0200 | leah2 | (~leah@vuxu.org) |
| 2022-04-06 10:38:36 +0200 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) |
| 2022-04-06 10:39:44 +0200 | earthy | (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) (Ping timeout: 252 seconds) |
| 2022-04-06 10:40:17 +0200 | Buggys | (~Buggys@185.149.90.52) (Ping timeout: 252 seconds) |
| 2022-04-06 10:40:18 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 252 seconds) |
| 2022-04-06 10:40:22 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-06 10:40:23 +0200 | earthy | (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) |
| 2022-04-06 10:40:57 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2022-04-06 10:42:42 +0200 | synthmeat | (~synthmeat@user/synthmeat) (Quit: WeeChat 3.0) |
| 2022-04-06 10:44:35 +0200 | swistak | (~swistak@185.21.216.141) (Ping timeout: 268 seconds) |
| 2022-04-06 10:45:10 +0200 | swistak | (~swistak@185.21.216.141) |
| 2022-04-06 10:45:23 +0200 | peutri | (~peutri@bobo.desast.re) (Ping timeout: 250 seconds) |
| 2022-04-06 10:46:27 +0200 | peutri | (~peutri@bobo.desast.re) |
| 2022-04-06 10:46:48 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:c8af:4307:df41:9668) |
| 2022-04-06 10:49:29 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-04-06 10:51:48 +0200 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) (Remote host closed the connection) |
| 2022-04-06 10:52:05 +0200 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) |
| 2022-04-06 10:53:45 +0200 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) (Remote host closed the connection) |
| 2022-04-06 10:54:02 +0200 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) |
| 2022-04-06 10:56:54 +0200 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) (Ping timeout: 260 seconds) |
| 2022-04-06 10:57:02 +0200 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) |
| 2022-04-06 10:57:05 +0200 | asm | (~alexander@user/asm) (Ping timeout: 250 seconds) |
| 2022-04-06 10:57:26 +0200 | shane | (~shane@ana.rch.ist) (Ping timeout: 245 seconds) |
| 2022-04-06 10:57:34 +0200 | shane | (~shane@ana.rch.ist) |
| 2022-04-06 10:57:36 +0200 | synthmeat | (~synthmeat@user/synthmeat) |
| 2022-04-06 10:59:15 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 250 seconds) |
| 2022-04-06 11:00:06 +0200 | methylene[m] | (~methylene@2001:470:69fc:105::1:ccc0) (Quit: You have been kicked for being idle) |
| 2022-04-06 11:00:09 +0200 | jkaye[m] | (~jkayematr@2001:470:69fc:105::1:86f7) (Quit: You have been kicked for being idle) |
| 2022-04-06 11:00:10 +0200 | shlevy[m] | (~shlevymat@2001:470:69fc:105::1:d3b1) (Quit: You have been kicked for being idle) |
| 2022-04-06 11:00:18 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-04-06 11:00:29 +0200 | MajorBiscuit | (~MajorBisc@c-001-028-031.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4) |
| 2022-04-06 11:01:25 +0200 | MajorBiscuit | (~MajorBisc@c-001-028-031.client.tudelft.eduvpn.nl) |
| 2022-04-06 11:01:55 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-06 11:04:28 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-06 11:06:32 +0200 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) (Remote host closed the connection) |
| 2022-04-06 11:06:50 +0200 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) |
| 2022-04-06 11:10:26 +0200 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) (Remote host closed the connection) |
| 2022-04-06 11:10:34 +0200 | asm | (~alexander@burner.asm89.io) |
| 2022-04-06 11:10:43 +0200 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) |
| 2022-04-06 11:10:59 +0200 | abastro | (~abab9579@192.249.26.40) (Ping timeout: 246 seconds) |
| 2022-04-06 11:12:26 +0200 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) (Remote host closed the connection) |
| 2022-04-06 11:15:41 +0200 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-04-06 11:15:41 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-06 11:15:45 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-06 11:16:02 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2022-04-06 11:16:51 +0200 | bahamas | (~lucian@86.120.77.115) (Ping timeout: 260 seconds) |
| 2022-04-06 11:24:18 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-06 11:25:25 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-04-06 11:26:52 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 11:32:59 +0200 | off^ | (~off@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-04-06 11:36:44 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 11:41:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-06 11:42:33 +0200 | theproffesor | (~theproffe@user/theproffesor) (Ping timeout: 268 seconds) |
| 2022-04-06 11:43:06 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 11:45:21 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2022-04-06 11:46:13 +0200 | acidjnk | (~acidjnk@p200300d0c7049f3920949ab9d12db827.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-06 11:48:34 +0200 | zer0bitz | (~zer0bitz@2001:2003:f0bb:7700:ace8:59bc:253a:4c28) |
| 2022-04-06 11:51:57 +0200 | abastro | (~abab9579@192.249.26.40) |
| 2022-04-06 11:52:05 +0200 | Midjak | (~Midjak@226.34.136.77.rev.sfr.net) |
| 2022-04-06 11:57:45 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-06 11:58:46 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 11:59:09 +0200 | Guest50 | (~Guest50@174.25.172.74) |
| 2022-04-06 12:01:05 +0200 | Guest50 | (~Guest50@174.25.172.74) (Client Quit) |
| 2022-04-06 12:01:25 +0200 | BlackboardN | (~Blackboar@user/BlackboardN) (Ping timeout: 240 seconds) |
| 2022-04-06 12:04:53 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-06 12:07:08 +0200 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 2022-04-06 12:08:44 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-06 12:08:55 +0200 | BlackboardN | (~Blackboar@user/BlackboardN) |
| 2022-04-06 12:08:58 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2022-04-06 12:09:06 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 245 seconds) |
| 2022-04-06 12:09:44 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 12:18:18 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 260 seconds) |
| 2022-04-06 12:19:05 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-06 12:20:18 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-06 12:20:59 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 12:22:38 +0200 | renatofdds[m] | (~renatofdd@2001:470:69fc:105::1:3cfe) |
| 2022-04-06 12:27:04 +0200 | dsrt^ | (~dsrt@c-24-99-107-170.hsd1.ga.comcast.net) |
| 2022-04-06 12:30:38 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-04-06 12:30:47 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-06 12:30:49 +0200 | chomwitt | (~chomwitt@2a02:587:dc1d:9d00:8198:a338:78ea:2e75) (Ping timeout: 248 seconds) |
| 2022-04-06 12:31:58 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 12:32:29 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 12:38:11 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-04-06 12:39:54 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 12:40:13 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-06 12:40:26 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 12:41:29 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-06 12:42:30 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-06 12:42:55 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 12:43:44 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 12:44:52 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-06 12:48:17 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-06 12:52:04 +0200 | crazazy | (~user@130.89.171.62) |
| 2022-04-06 12:53:32 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-06 12:54:51 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 12:56:30 +0200 | razetime | (~quassel@117.193.2.68) |
| 2022-04-06 12:57:51 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-06 12:57:51 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-06 12:58:02 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-06 12:59:16 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 13:03:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-06 13:04:31 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-06 13:06:44 +0200 | Buggys | (~Buggys@185.149.90.52) |
| 2022-04-06 13:09:38 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-06 13:11:06 +0200 | chomwitt | (~chomwitt@athedsl-31574.home.otenet.gr) |
| 2022-04-06 13:11:39 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 13:12:38 +0200 | renatofdds | (~user@177-105-141-162.life.com.br) |
| 2022-04-06 13:14:45 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-04-06 13:14:51 +0200 | <razetime> | janus: thanks for the help. I think I will send a message on discourse now. |
| 2022-04-06 13:17:08 +0200 | renatofdds | (~user@177-105-141-162.life.com.br) () |
| 2022-04-06 13:17:24 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-04-06 13:19:20 +0200 | <razetime> | i am unable to privately message people on the haskell discourse website. Is there some verification needed? |
| 2022-04-06 13:23:21 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-04-06 13:32:56 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 268 seconds) |
| 2022-04-06 13:40:12 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2022-04-06 13:45:55 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-06 13:48:46 +0200 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) |
| 2022-04-06 13:49:36 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 13:52:18 +0200 | <absence> | does "asum . fmap f" have a good name, similar to traverse for "sequenceA . fmap f"? |
| 2022-04-06 13:53:01 +0200 | <hpc> | :t \f -> asum . fmap f |
| 2022-04-06 13:53:03 +0200 | <lambdabot> | (Foldable t, Alternative f, Functor t) => (a1 -> f a2) -> t a1 -> f a2 |
| 2022-04-06 13:54:19 +0200 | <hpc> | https://hackage.haskell.org/package/Agda-2.6.2.2/docs/Agda-Utils-Applicative.html#v:foldMapA seems to be an exact match |
| 2022-04-06 13:54:22 +0200 | sondr3 | (~sondr3@2001:700:200:f113:6431:7042:a807:6895) (Quit: sondr3) |
| 2022-04-06 13:54:57 +0200 | <hpc> | https://hoogle.haskell.org/?hoogle=foldMapA -- looks like it's in a few other packages |
| 2022-04-06 13:55:05 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 13:56:00 +0200 | <absence> | hpc: oh nice, thanks! |
| 2022-04-06 13:58:00 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 14:00:06 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 14:02:51 +0200 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) |
| 2022-04-06 14:03:18 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-06 14:04:31 +0200 | fockerized | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-06 14:12:05 +0200 | frost | (~frost@user/frost) |
| 2022-04-06 14:12:38 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 14:15:53 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 14:17:14 +0200 | dsrt^ | (~dsrt@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-04-06 14:26:12 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-06 14:27:09 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 14:27:42 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-06 14:31:21 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 14:31:31 +0200 | dextaa_54 | (~dextaa@user/dextaa) |
| 2022-04-06 14:36:30 +0200 | sondr3 | (~sondr3@pc130-197.eduroam.uib.no) |
| 2022-04-06 14:54:47 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-06 14:56:11 +0200 | <Guest89> | Hi, if have something of 'type ParsedSource = Located (HsModule GhcPs)' how do i access the 'HsModule'? |
| 2022-04-06 14:56:28 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 15:00:05 +0200 | <boxscape> | Guest89: pattern match on `L l themodule` |
| 2022-04-06 15:00:53 +0200 | <boxscape> | Guest89: alternatively, you should be able to use `unLoc` I think |
| 2022-04-06 15:01:13 +0200 | Teacup | (~teacup@user/teacup) (Quit: Teacup) |
| 2022-04-06 15:01:19 +0200 | beaky_ | beaky |
| 2022-04-06 15:01:43 +0200 | <boxscape> | https://hackage.haskell.org/package/ghc-9.2.1/docs/GHC.html#v:unLoc |
| 2022-04-06 15:09:00 +0200 | <Guest89> | Mh.. it knows neither `L` nor `unLoc`. Do I need to tell it to import them explicit? Or is my ghc too old (8.10.7)? |
| 2022-04-06 15:09:04 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-06 15:10:44 +0200 | razetime | (~quassel@117.193.2.68) (Ping timeout: 246 seconds) |
| 2022-04-06 15:11:13 +0200 | <boxscape> | Guest89: seems to exist in that version as well (docs for 8.10.7: https://hackage.haskell.org/package/ghc-8.10.7/docs/GHC.html#t:GenLocated). You do need to `import GHC`, though. |
| 2022-04-06 15:13:24 +0200 | Teacup | (~teacup@user/teacup) |
| 2022-04-06 15:18:43 +0200 | <Guest89> | Ah, okay. That did the trick. Thanks a lot. Regarding the different ghc version though: How common/okay is it to run outdated versions? Or should I update immediately? |
| 2022-04-06 15:19:08 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Read error: Connection reset by peer) |
| 2022-04-06 15:20:05 +0200 | <merijn> | Guest89: I tend to use the second to last or third to last usually :p |
| 2022-04-06 15:20:14 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 268 seconds) |
| 2022-04-06 15:20:37 +0200 | <merijn> | Guest89: Only reasons to upgrade sooner are: 1) you need a newly implemented feature only in the latest version or 2) you need a bugfix only in the latest version |
| 2022-04-06 15:20:40 +0200 | <geekosaur> | 8.10.7is still very widely used |
| 2022-04-06 15:21:16 +0200 | <Guest89> | Alright, thanks! |
| 2022-04-06 15:21:48 +0200 | <boxscape> | Guest89: with the GHC API which you're using here in particular though, things might be changing faster than with some other things, e.g. the module hierarchy of the GHC API changed in I think 9.0 so a lot of modules have different names |
| 2022-04-06 15:22:29 +0200 | <boxscape> | (GHC.Plugins instead of GhcPlugins, as an example) |
| 2022-04-06 15:22:34 +0200 | mattil | (~mattil@helsinki.portalify.com) (Remote host closed the connection) |
| 2022-04-06 15:24:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-04-06 15:25:22 +0200 | <Guest89> | boxscape: So if I were to use ghc to parse Haskell projects from GitHub, running an outdated version could lead to errors? |
| 2022-04-06 15:25:33 +0200 | razetime | (~quassel@117.254.34.247) |
| 2022-04-06 15:26:15 +0200 | <boxscape> | though that doesn't mean that you can't use older versions, just that if you use the GHC API, you need to be ready to accept that newer GHC version might have changed the API |
| 2022-04-06 15:26:27 +0200 | frost | (~frost@user/frost) |
| 2022-04-06 15:26:28 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-04-06 15:27:34 +0200 | <boxscape> | Guest89: I wouldn't expect that unless the haskell projects use very new features. But if you want to compile your parsing project in a newer GHC version than you originally developed it in, you might have to change some things |
| 2022-04-06 15:30:05 +0200 | <boxscape> | Guest89: though the module renaming I mentioned is probably the biggest offender there |
| 2022-04-06 15:32:17 +0200 | <janus> | razetime: you may need a certain amount of experience-points |
| 2022-04-06 15:32:25 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-06 15:32:28 +0200 | <razetime> | experience-points? |
| 2022-04-06 15:32:28 +0200 | <janus> | razetime: what about using e-mail instead? |
| 2022-04-06 15:32:36 +0200 | <razetime> | i did use email :) |
| 2022-04-06 15:32:41 +0200 | <janus> | razetime: yes, discourse has some kind of leveling system, i think |
| 2022-04-06 15:32:49 +0200 | <razetime> | ah figures |
| 2022-04-06 15:32:51 +0200 | <janus> | i don't remember what they call it, may not be experience-points |
| 2022-04-06 15:32:52 +0200 | <boxscape> | Guest89: there's also https://hackage.haskell.org/package/ghc-lib which lets you use a fixed version of the GHC API regardless of the GHC version you're using |
| 2022-04-06 15:33:07 +0200 | <boxscape> | (I haven't used it though) |
| 2022-04-06 15:33:08 +0200 | <boxscape> | so then these concerns don't really apply anymore |
| 2022-04-06 15:34:26 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 15:34:53 +0200 | Teacup | (~teacup@user/teacup) (Quit: Teacup) |
| 2022-04-06 15:34:57 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-06 15:35:33 +0200 | Teacup | (~teacup@user/teacup) |
| 2022-04-06 15:38:37 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-06 15:38:52 +0200 | <Guest89> | boxscape: ah, I see sounds interesting. Since I am already using other Libs for parsing which have their own GHC version they depend on, that shouldn't do much in my case though should it? |
| 2022-04-06 15:42:17 +0200 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 248 seconds) |
| 2022-04-06 15:42:18 +0200 | <boxscape> | Guest89: are you saying those libs make use of the GHC API for parsing? |
| 2022-04-06 15:42:25 +0200 | <boxscape> | If so then yeah, ghc-lib probably is not an option here |
| 2022-04-06 15:44:09 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-04-06 15:45:50 +0200 | <Guest89> | boxscape: Yes, as far as I understand they do. Although the errors could also stem from the lib being semi abandoned or some other error on my part. |
| 2022-04-06 15:48:43 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-06 15:51:20 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 2022-04-06 15:52:21 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-06 15:52:44 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Client Quit) |
| 2022-04-06 15:53:02 +0200 | skn | (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) (rcirc on GNU Emacs 27.2) |
| 2022-04-06 15:54:10 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2022-04-06 15:54:36 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-06 15:56:36 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-04-06 15:56:54 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-06 15:56:55 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-06 15:56:55 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-06 15:57:29 +0200 | rotateq | (~user@ip-078-094-235-194.um19.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2022-04-06 16:04:08 +0200 | Macbethwin | (~chargen@8.31.163.87) |
| 2022-04-06 16:04:54 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-04-06 16:05:32 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 2022-04-06 16:05:36 +0200 | <absence> | other than forgetting the HasCallStack constraint, is there anything that could cause "getCallStack callStack" to return an empty list? |
| 2022-04-06 16:06:30 +0200 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) (Quit: Client closed) |
| 2022-04-06 16:06:58 +0200 | polyphem | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Remote host closed the connection) |
| 2022-04-06 16:07:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-06 16:07:10 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-04-06 16:07:23 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 16:08:10 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2022-04-06 16:09:57 +0200 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) |
| 2022-04-06 16:11:54 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 16:13:13 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2022-04-06 16:14:48 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-06 16:15:29 +0200 | marquis_andras | (~marquis_a@14-201-230-116.tpgi.com.au) |
| 2022-04-06 16:19:01 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-06 16:20:21 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-04-06 16:21:03 +0200 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) (Quit: Client closed) |
| 2022-04-06 16:22:10 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-06 16:22:49 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-06 16:23:26 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-06 16:24:30 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-06 16:24:55 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-04-06 16:24:57 +0200 | abastro | (~abab9579@192.249.26.40) (Ping timeout: 248 seconds) |
| 2022-04-06 16:27:03 +0200 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 2022-04-06 16:27:32 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-06 16:28:21 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-06 16:31:23 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 16:31:56 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 16:33:55 +0200 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) |
| 2022-04-06 16:34:29 +0200 | libertyprime | (~libertypr@118-92-82-225.dsl.dyn.ihug.co.nz) |
| 2022-04-06 16:35:22 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:3dd7:b2a5:f63f:5163) (Quit: WeeChat 3.4.1) |
| 2022-04-06 16:36:00 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-06 16:36:02 +0200 | <libertyprime> | hey guys. I did a write up on my thoughts for adding a new context to haskell syntax maybe in the form of a language extension. thoughts? https://semiosis.github.io/posts/purity-and-reality/ |
| 2022-04-06 16:40:19 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:676f:8485:4af0:d43b) |
| 2022-04-06 16:41:29 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-04-06 16:43:17 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-06 16:44:40 +0200 | <geekosaur> | tempted to point to CPT invariance |
| 2022-04-06 16:44:52 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.4.1) |
| 2022-04-06 16:45:40 +0200 | <geekosaur> | in particular you can see an antiparticle as a particle moving backwards in time, and everything still works |
| 2022-04-06 16:47:48 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Ping timeout: 268 seconds) |
| 2022-04-06 16:52:47 +0200 | stef204 | (~stef204@user/stef204) |
| 2022-04-06 16:53:37 +0200 | <libertyprime> | I'll have to add CPT symmetry to that list :P |
| 2022-04-06 16:54:22 +0200 | sondr3 | (~sondr3@pc130-197.eduroam.uib.no) (Quit: sondr3) |
| 2022-04-06 16:54:45 +0200 | Akiva | (~Akiva@user/Akiva) |
| 2022-04-06 17:06:55 +0200 | razetime | (~quassel@117.254.34.247) (Ping timeout: 268 seconds) |
| 2022-04-06 17:10:27 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.4.1) |
| 2022-04-06 17:11:13 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-06 17:12:58 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-06 17:13:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-06 17:16:58 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-06 17:19:51 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-04-06 17:20:57 +0200 | razetime | (~quassel@117.193.2.68) |
| 2022-04-06 17:21:40 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-06 17:25:05 +0200 | odnes | (~odnes@5-203-209-2.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-04-06 17:31:19 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) |
| 2022-04-06 17:33:44 +0200 | odnes | (~odnes@5-203-209-2.pat.nym.cosmote.net) |
| 2022-04-06 17:34:26 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-06 17:42:41 +0200 | sander | (~sander@user/sander) (Ping timeout: 268 seconds) |
| 2022-04-06 17:49:32 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-06 17:50:48 +0200 | sander | (~sander@user/sander) |
| 2022-04-06 17:51:04 +0200 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) |
| 2022-04-06 17:51:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:151b:b295:6bbb:fc2b) (Quit: WeeChat 2.8) |
| 2022-04-06 17:51:58 +0200 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) (Quit: Client closed) |
| 2022-04-06 17:54:22 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-06 17:56:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-06 17:56:47 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 2022-04-06 17:57:54 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-06 17:59:45 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-06 18:00:06 +0200 | reactormonk[m] | (~reactormo@2001:470:69fc:105::3c24) (Quit: You have been kicked for being idle) |
| 2022-04-06 18:00:31 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-04-06 18:00:51 +0200 | razetime | (~quassel@117.193.2.68) (Read error: Connection reset by peer) |
| 2022-04-06 18:00:55 +0200 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 18:01:25 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 18:04:09 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2022-04-06 18:04:53 +0200 | odnes | (~odnes@5-203-209-2.pat.nym.cosmote.net) (Ping timeout: 268 seconds) |
| 2022-04-06 18:07:43 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-06 18:08:14 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 18:16:41 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2022-04-06 18:16:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 18:18:14 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-06 18:20:05 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 246 seconds) |
| 2022-04-06 18:20:18 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 268 seconds) |
| 2022-04-06 18:20:34 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-04-06 18:20:55 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 2022-04-06 18:22:20 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-06 18:23:07 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-06 18:26:42 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-06 18:27:34 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 18:28:23 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-06 18:32:38 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-06 18:37:00 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-06 18:37:45 +0200 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 248 seconds) |
| 2022-04-06 18:37:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-06 18:38:49 +0200 | MajorBiscuit | (~MajorBisc@c-001-028-031.client.tudelft.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-06 18:40:42 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-04-06 18:41:04 +0200 | CATS | (apic@brezn3.muc.ccc.de) (Remote host closed the connection) |
| 2022-04-06 18:46:15 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 2022-04-06 18:47:35 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.176) |
| 2022-04-06 18:48:03 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-04-06 18:50:58 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-06 18:51:11 +0200 | hololeap_ | (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
| 2022-04-06 18:51:12 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-06 18:52:02 +0200 | cosmos1 | (~cosmos@user/cosmos1) |
| 2022-04-06 18:53:48 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 18:54:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 2022-04-06 18:58:34 +0200 | BlackboardN | (~Blackboar@user/BlackboardN) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-06 18:59:06 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:9c62:9a76:c74f:33e7) (Quit: ccntrq) |
| 2022-04-06 18:59:23 +0200 | BlackboardN | (~Blackboar@user/BlackboardN) |
| 2022-04-06 19:00:18 +0200 | <shapr> | acowley: hey, are you around for questions about org-mode + nixos + haskell? |
| 2022-04-06 19:04:19 +0200 | <shapr> | acowley: I'm following https://www.arcadianvisions.com/2018/org-nix-direnv.html but I can't figure out how to get packages in scope for runhaskell |
| 2022-04-06 19:07:10 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-04-06 19:08:48 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-06 19:13:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-06 19:16:14 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-04-06 19:17:02 +0200 | cosmos1 | (~cosmos@user/cosmos1) (Quit: b ru h) |
| 2022-04-06 19:17:03 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-06 19:25:47 +0200 | libertyprime | (~libertypr@118-92-82-225.dsl.dyn.ihug.co.nz) (Quit: leaving) |
| 2022-04-06 19:31:44 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-06 19:31:44 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-06 19:31:44 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-06 19:34:32 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 19:35:09 +0200 | lis | lisq |
| 2022-04-06 19:42:02 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-04-06 19:43:33 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 19:50:17 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-06 19:50:51 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-06 19:50:51 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-06 19:50:51 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-06 19:52:11 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 268 seconds) |
| 2022-04-06 19:52:26 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-06 19:54:28 +0200 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2022-04-06 19:55:16 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 2022-04-06 19:55:38 +0200 | sander | (~sander@user/sander) |
| 2022-04-06 19:57:55 +0200 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 19:59:02 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 20:00:11 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.176) (Ping timeout: 246 seconds) |
| 2022-04-06 20:00:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-06 20:04:14 +0200 | econo | (uid147250@user/econo) |
| 2022-04-06 20:06:20 +0200 | tfeb | (~tfb@88.98.95.237) |
| 2022-04-06 20:09:47 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-06 20:12:24 +0200 | mbuf | (~Shakthi@136.185.80.19) (Quit: Leaving) |
| 2022-04-06 20:14:14 +0200 | Macbethwin_ | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-06 20:18:14 +0200 | Macbethwin | (~chargen@8.31.163.87) (Ping timeout: 272 seconds) |
| 2022-04-06 20:18:31 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-06 20:19:57 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-06 20:21:06 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-06 20:23:35 +0200 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 20:23:47 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 20:24:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-04-06 20:28:27 +0200 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) |
| 2022-04-06 20:31:37 +0200 | <seydar> | test |
| 2022-04-06 20:31:50 +0200 | <Henson> | say I'm defining a helper function that is within another function and I'm also adding a type signature of the helper function. If the parent function has some type "Foo a" and the prototype for the helper function also has "Foo a" I get an error about "Couldn't match type ‘a1’ with ‘a’" and it has a conflict with the inner "a" and the outer "a. How can I resolve this kind of problem? |
| 2022-04-06 20:33:05 +0200 | <monochrom> | Two things, do both. Turn on ScopedTypeVariables. In the outer type sig, add "forall a." |
| 2022-04-06 20:33:32 +0200 | theproffesor | (~theproffe@2601:282:847f:7f00::87) |
| 2022-04-06 20:33:47 +0200 | <Henson> | monochrom: ok, thank you! |
| 2022-04-06 20:39:40 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 268 seconds) |
| 2022-04-06 20:41:31 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 260 seconds) |
| 2022-04-06 20:47:42 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-06 20:48:01 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4.1) |
| 2022-04-06 20:48:33 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-06 20:53:27 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-04-06 20:54:59 +0200 | tfeb | (~tfb@88.98.95.237) (Quit: drinking to forget) |
| 2022-04-06 20:58:46 +0200 | Macbethwin_ | chargen |
| 2022-04-06 20:59:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-06 21:02:41 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2022-04-06 21:04:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 21:05:47 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-06 21:09:48 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 21:15:47 +0200 | ss- | (~ss-@2001:18e8:2:28b9:f000::1a5) |
| 2022-04-06 21:16:17 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 21:19:08 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-06 21:19:41 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b7bb:c936:d84d:659c) |
| 2022-04-06 21:20:15 +0200 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 21:20:43 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 21:22:08 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 21:26:13 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-04-06 21:26:38 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-06 21:27:13 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-06 21:32:04 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 21:36:46 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-06 21:37:02 +0200 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection) |
| 2022-04-06 21:37:37 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 21:38:35 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 21:43:48 +0200 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 268 seconds) |
| 2022-04-06 21:43:55 +0200 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 21:45:39 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-06 21:45:56 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 21:47:49 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 21:47:58 +0200 | Jon | (jon@dow.land) (Read error: Connection reset by peer) |
| 2022-04-06 21:48:10 +0200 | Jon | (jon@dow.land) |
| 2022-04-06 21:49:44 +0200 | CATS | (apic@brezn3.muc.ccc.de) |
| 2022-04-06 21:52:25 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 21:55:20 +0200 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: leaving) |
| 2022-04-06 21:56:51 +0200 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 2022-04-06 21:57:16 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 21:57:50 +0200 | acidjnk | (~acidjnk@p200300d0c7049f39b8d686b04cd6897b.dip0.t-ipconnect.de) |
| 2022-04-06 22:00:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-06 22:01:21 +0200 | ss- | (~ss-@2001:18e8:2:28b9:f000::1a5) (Quit: Client closed) |
| 2022-04-06 22:01:54 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-06 22:02:24 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 22:02:50 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) |
| 2022-04-06 22:02:56 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-06 22:03:34 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 22:04:39 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2022-04-06 22:06:31 +0200 | neurocyte861449 | (~neurocyte@IP-212232089093.dynamic.medianet-world.de) |
| 2022-04-06 22:06:31 +0200 | neurocyte861449 | (~neurocyte@IP-212232089093.dynamic.medianet-world.de) (Changing host) |
| 2022-04-06 22:06:31 +0200 | neurocyte861449 | (~neurocyte@user/neurocyte) |
| 2022-04-06 22:07:02 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-06 22:08:53 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 252 seconds) |
| 2022-04-06 22:13:34 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-06 22:16:52 +0200 | zer0bitz | (~zer0bitz@2001:2003:f0bb:7700:ace8:59bc:253a:4c28) (Read error: Connection reset by peer) |
| 2022-04-06 22:18:48 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-06 22:19:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2022-04-06 22:19:35 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2022-04-06 22:19:44 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 22:21:31 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-04-06 22:22:07 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-06 22:24:23 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 22:24:25 +0200 | pavonia | (~user@user/siracusa) |
| 2022-04-06 22:25:08 +0200 | michalz | (~michalz@185.246.204.122) (Remote host closed the connection) |
| 2022-04-06 22:25:26 +0200 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) |
| 2022-04-06 22:27:32 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-06 22:27:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-04-06 22:28:31 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 22:30:43 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 22:33:06 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 22:34:47 +0200 | |beo| | |beowulf| |
| 2022-04-06 22:35:16 +0200 | |beowulf| | (1000@gabilgathol.bandrate.org) (Changing host) |
| 2022-04-06 22:35:16 +0200 | |beowulf| | (1000@sourcemage/mage/beowulf) |
| 2022-04-06 22:38:04 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-04-06 22:42:04 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2022-04-06 22:43:23 +0200 | gawen | (~gawen@user/gawen) |
| 2022-04-06 22:45:15 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 22:48:08 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-06 22:48:49 +0200 | awpr | (uid446117@id-446117.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-06 22:52:09 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2022-04-06 22:53:25 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.176) |
| 2022-04-06 22:55:18 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-06 22:56:14 +0200 | Macbethwin_ | (~chargen@8.31.163.87) |
| 2022-04-06 22:57:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b7bb:c936:d84d:659c) (Quit: WeeChat 2.8) |
| 2022-04-06 22:57:31 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 22:57:38 +0200 | deadmarshal_ | (~deadmarsh@95.38.116.176) (Ping timeout: 246 seconds) |
| 2022-04-06 22:57:47 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-04-06 22:58:23 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 250 seconds) |
| 2022-04-06 22:59:39 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 268 seconds) |
| 2022-04-06 23:00:05 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-06 23:00:22 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-04-06 23:01:14 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::e9d9) |
| 2022-04-06 23:01:45 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-06 23:01:50 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-06 23:03:24 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 23:03:41 +0200 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2022-04-06 23:04:10 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-06 23:05:42 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-06 23:06:09 +0200 | sander | (~sander@user/sander) |
| 2022-04-06 23:07:54 +0200 | sander | (~sander@user/sander) (Client Quit) |
| 2022-04-06 23:07:58 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-06 23:08:52 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-06 23:10:07 +0200 | sander | (~sander@user/sander) |
| 2022-04-06 23:11:18 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 23:11:46 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Quit: Leaving...) |
| 2022-04-06 23:11:50 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-06 23:13:08 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-06 23:14:16 +0200 | Macbethwin_ | chargen |
| 2022-04-06 23:15:43 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) |
| 2022-04-06 23:15:44 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 23:15:59 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-06 23:20:06 +0200 | Akiva | (~Akiva@user/Akiva) |
| 2022-04-06 23:22:00 +0200 | crazazy` | (~user@2001:67c:2564:a307:6d3:b0ff:fef1:40aa) |
| 2022-04-06 23:24:26 +0200 | crazazy | (~user@130.89.171.62) (Ping timeout: 272 seconds) |
| 2022-04-06 23:24:58 +0200 | crazazy` | (~user@2001:67c:2564:a307:6d3:b0ff:fef1:40aa) (Remote host closed the connection) |
| 2022-04-06 23:25:12 +0200 | crazazy` | (~user@2001:67c:2564:a307:29cf:359c:a8f8:b37) |
| 2022-04-06 23:25:27 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-06 23:25:48 +0200 | crazazy` | (~user@2001:67c:2564:a307:29cf:359c:a8f8:b37) (Remote host closed the connection) |
| 2022-04-06 23:26:13 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-06 23:27:28 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 23:27:54 +0200 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2022-04-06 23:28:45 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 23:31:37 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 248 seconds) |
| 2022-04-06 23:32:02 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-06 23:32:27 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 23:33:36 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-06 23:36:55 +0200 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 23:37:40 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 23:38:13 +0200 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
| 2022-04-06 23:38:36 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Remote host closed the connection) |
| 2022-04-06 23:39:38 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-06 23:42:20 +0200 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) |
| 2022-04-06 23:43:35 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-04-06 23:46:01 +0200 | <lyxia> | Do the MonadFix laws imply mfix (const t) = t ? https://hackage.haskell.org/package/base-4.16.0.0/docs/Control-Monad-Fix.html |
| 2022-04-06 23:46:14 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-04-06 23:46:15 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-06 23:48:04 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-06 23:50:45 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-06 23:57:53 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 23:59:03 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-06 23:59:47 +0200 | <monochrom> | Interesting. Nice exercise. Yes with much meaningless equational reasoning :) |