2022/04/09

2022-04-09 00:04:20 +0200redb(~nmh@136.49.49.211) (Ping timeout: 260 seconds)
2022-04-09 00:04:51 +0200juri_(~juri@178.63.35.222) (Ping timeout: 268 seconds)
2022-04-09 00:08:08 +0200 <o1lo0lol1o[m]> I (finally) have a problem that I need to optimize with `ad` (doesn't contain billions of parameters) and I'm finding it very difficult to pass `gradientDescent` a function it can use. Effectively, I have a single scalar representing a cost and I have a Map of parameters. These were more-or-less nicely manipulated in a State monad that I use to formulate a the constraints I'm looking to optimize.
2022-04-09 00:08:40 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.5)
2022-04-09 00:09:43 +0200 <o1lo0lol1o[m]> Unfortunately, I cannot run the state monad with AD parameters because of the quantification involved ( it needs something with Num and Fractional, but has to pass in `(forall s. Reifies s Tape => [Reverse s a] -> Reverse s a)` and my state environment has no easy way to convert the `a` to a ` Reverse s a`.
2022-04-09 00:11:26 +0200juri_(~juri@178.63.35.222)
2022-04-09 00:12:37 +0200 <o1lo0lol1o[m]> So I did a complicated thing: I rewrote the whole `State` logic to build up a single computation `[a] -> (Map Foo a, a)` where the second parameter is the calculation of the cost and the first is the map of parameters I need to access things. now I run the state computation outside the scope of `gradientDescent... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/3f3114e5a785f00dd2f3e71b6be28b276653…)
2022-04-09 00:15:34 +0200 <o1lo0lol1o[m]> I must be totally stupid, what's going on?
2022-04-09 00:18:00 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 00:18:05 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-04-09 00:18:16 +0200redb(~nmh@136.49.49.211)
2022-04-09 00:19:15 +0200xpika(~alan@n175-34-18-168.sun1.vic.optusnet.com.au) (Ping timeout: 260 seconds)
2022-04-09 00:21:12 +0200 <jumper149> > (fromIntegral :: Int -> Word) (-2)
2022-04-09 00:21:14 +0200 <lambdabot> 18446744073709551614
2022-04-09 00:21:21 +0200 <jumper149> > (toEnum :: Int -> Word) (-2)
2022-04-09 00:21:22 +0200 <lambdabot> *Exception: Enum.toEnum{Word}: tag (-2) is outside of bounds (0,184467440737...
2022-04-09 00:21:52 +0200 <jumper149> geekosaur: monochrom: This was the actual problem I mentioned.
2022-04-09 00:22:16 +0200 <geekosaur> well, yes
2022-04-09 00:22:31 +0200mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 260 seconds)
2022-04-09 00:22:39 +0200 <geekosaur> make sure you actually want that kind of wraparound
2022-04-09 00:22:51 +0200 <geekosaur> most people consider it an unpleasant surprise
2022-04-09 00:23:04 +0200 <jumper149> Yes I want it :)
2022-04-09 00:23:27 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-09 00:23:50 +0200 <jumper149> I was still surprised, that this isn't mentioned anywhere in the `base` documentation
2022-04-09 00:24:01 +0200 <hpc> > floor (0/0) :: Integer -- and just for fun
2022-04-09 00:24:03 +0200 <lambdabot> -269653970229347386159395778618353710042696546841345985910145121736599013708...
2022-04-09 00:24:21 +0200 <geekosaur> jumper149, pretty sure it's in the Report
2022-04-09 00:24:32 +0200 <geekosaur> at least, the interaction between Enum and Bounded is
2022-04-09 00:25:40 +0200 <jumper149> It wouldn't hurt to have a `Coercible Int Word` instance though :(
2022-04-09 00:26:00 +0200 <geekosaur> Coercible doesn't work that way
2022-04-09 00:26:07 +0200 <geekosaur> it only coerces through newtypes
2022-04-09 00:26:29 +0200 <geekosaur> not types with the same RuntimeRep
2022-04-09 00:26:32 +0200 <jumper149> > (coerce :: Int -> Word) (-2)
2022-04-09 00:26:33 +0200 <lambdabot> error:
2022-04-09 00:26:33 +0200 <lambdabot> • Variable not in scope: coerce :: Int -> Word
2022-04-09 00:26:33 +0200 <lambdabot> • Perhaps you meant ‘coerced’ (imported from Control.Lens)
2022-04-09 00:26:40 +0200 <jumper149> > import Data.Coerce
2022-04-09 00:26:42 +0200 <lambdabot> <hint>:1:1: error: parse error on input ‘import’
2022-04-09 00:26:56 +0200 <geekosaur> % import Data.Coerce
2022-04-09 00:26:56 +0200 <yahb> geekosaur:
2022-04-09 00:27:08 +0200 <jumper149> > (coerce :: Int -> Word) (-2)
2022-04-09 00:27:09 +0200 <lambdabot> error:
2022-04-09 00:27:09 +0200 <lambdabot> • Variable not in scope: coerce :: Int -> Word
2022-04-09 00:27:09 +0200 <lambdabot> • Perhaps you meant ‘coerced’ (imported from Control.Lens)
2022-04-09 00:27:12 +0200 <geekosaur> % (coerce :: Int -> Word) (-2)
2022-04-09 00:27:12 +0200 <yahb> geekosaur: ; <interactive>:93:2: error:; * Couldn't match representation of type `Int' with that of `Word' arising from a use of `coerce'; * In the expression: coerce :: Int -> Word; In the expression: (coerce :: Int -> Word) (- 2); In an equation for `it': it = (coerce :: Int -> Word) (- 2)
2022-04-09 00:27:33 +0200 <jumper149> > (unsafeCoerce :: Int -> Word) (-2)
2022-04-09 00:27:35 +0200 <lambdabot> error:
2022-04-09 00:27:35 +0200 <lambdabot> Variable not in scope: unsafeCoerce :: Int -> Word
2022-04-09 00:27:53 +0200 <jumper149> % import Unsafe.Coerce
2022-04-09 00:27:53 +0200 <yahb> jumper149:
2022-04-09 00:28:00 +0200 <jumper149> % (unsafeCoerce :: Int -> Word) (-2)
2022-04-09 00:28:00 +0200 <yahb> jumper149: 18446744073709551614
2022-04-09 00:29:02 +0200 <monochrom> I would worry that unsafeCoerce for this purpose would cause a crash down the road.
2022-04-09 00:30:32 +0200 <jumper149> monochrom: Understandable.
2022-04-09 00:31:30 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-04-09 00:31:54 +0200jumper141(~jumper149@mue-88-130-59-247.dsl.tropolys.de)
2022-04-09 00:32:00 +0200jumper149(~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.4.1)
2022-04-09 00:32:21 +0200jumper149(~jumper149@base.felixspringer.xyz)
2022-04-09 00:33:39 +0200DNH(~DNH@2a02:8108:1100:16d8:c02d:dd64:a284:8819) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-04-09 00:34:11 +0200xpika(~alan@n122-110-60-225.sun2.vic.optusnet.com.au)
2022-04-09 00:36:09 +0200jumper141(~jumper149@mue-88-130-59-247.dsl.tropolys.de) (Ping timeout: 248 seconds)
2022-04-09 00:38:23 +0200chomwitt(~chomwitt@2a02:587:dc0e:4f00:e2a4:4df9:d340:7660) (Ping timeout: 260 seconds)
2022-04-09 00:44:25 +0200eaii^(~eaii@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection)
2022-04-09 00:44:45 +0200redb(~nmh@136.49.49.211)
2022-04-09 00:46:31 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-09 00:47:01 +0200cosimone(~user@93-47-228-79.ip115.fastwebnet.it)
2022-04-09 00:49:33 +0200redb(~nmh@136.49.49.211) (Ping timeout: 260 seconds)
2022-04-09 00:50:24 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-09 00:51:05 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-04-09 00:54:21 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 00:56:46 +0200 <hololeap> what are some introduction points to learn how to get FFI to talk to python libs?
2022-04-09 00:58:52 +0200jumper149(~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.4.1)
2022-04-09 01:00:37 +0200alp_(~alp@user/alp) (Ping timeout: 240 seconds)
2022-04-09 01:01:47 +0200Guest84(~Guest84@23.191.80.16)
2022-04-09 01:02:14 +0200Guest84(~Guest84@23.191.80.16) (Client Quit)
2022-04-09 01:02:18 +0200Guest8439(~Guest84@23.191.80.16)
2022-04-09 01:02:52 +0200unyu(~pyon@user/pyon)
2022-04-09 01:03:00 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
2022-04-09 01:04:03 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 268 seconds)
2022-04-09 01:04:57 +0200redb(~nmh@136.49.49.211)
2022-04-09 01:06:30 +0200Guest8439(~Guest84@23.191.80.16) (Client Quit)
2022-04-09 01:07:52 +0200Guest912(~Guest91@123203025126.ctinets.com)
2022-04-09 01:08:34 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 01:09:03 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-09 01:09:42 +0200 <hpc> hololeap: do you want links/guides or just an overview of what's required?
2022-04-09 01:09:59 +0200 <hpc> ultimately you just need haskell and python to meet in the middle at the C ABI
2022-04-09 01:10:23 +0200 <hpc> so you have python's foreign export mechanism, maybe some way to get headers out of that, and then haskell ffi import
2022-04-09 01:10:38 +0200 <hpc> (or maybe the other way around)
2022-04-09 01:10:53 +0200 <abastro[m]> % unsafeCoerce [1, 2] :: Int
2022-04-09 01:10:53 +0200 <yahb> abastro[m]: -9223371488887405004
2022-04-09 01:11:53 +0200zyklotomic(~ethan@res380d-128-61-81-124.res.gatech.edu) (Ping timeout: 248 seconds)
2022-04-09 01:12:54 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 01:13:01 +0200Guest912(~Guest91@123203025126.ctinets.com) (Quit: Client closed)
2022-04-09 01:13:02 +0200 <jackdk> hololeap: I am about to run out the door but if I were to try something like this it'd be by embedding a python interpreter in a Haskell progam, and using python's C bindings to puppet the embedded interpreter. Then you tell your embedded interpreter to import whatever lib you're actually using
2022-04-09 01:13:38 +0200 <jackdk> hololeap: IIRC there are a bunch of variadic functions in the python interpreter interface, so remember to use `foreign import "capi"` to get an architecture-safe wrapper around them
2022-04-09 01:14:07 +0200 <jackdk> hololeap: but this all sounds really cursed, and python is cursed enough as is.
2022-04-09 01:14:09 +0200zyklotomic(~ethan@res388d-128-61-94-65.res.gatech.edu)
2022-04-09 01:14:27 +0200 <jackdk> (in Australia, it is common wisdom that if you leave the snake alone, it won't hurt you)
2022-04-09 01:16:46 +0200 <hololeap> hm, yeah I'm not really sure where to begin. I'm not sure if I really need FFI or if I can just get a python script to emit some json as a common interface
2022-04-09 01:17:19 +0200 <hololeap> anyway, just wondering if anyone had tried this before
2022-04-09 01:17:36 +0200 <geekosaur> MissingPy used to be a thing
2022-04-09 01:17:40 +0200 <geekosaur> it'slong bitrotted
2022-04-09 01:18:41 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 01:19:42 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Quit: ZNC 1.8.2 - https://znc.in)
2022-04-09 01:21:54 +0200xff0x(~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Quit: xff0x)
2022-04-09 01:23:54 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
2022-04-09 01:28:47 +0200geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection)
2022-04-09 01:28:54 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 01:30:57 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 01:32:14 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com)
2022-04-09 01:32:29 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Client Quit)
2022-04-09 01:33:12 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 01:33:52 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 01:35:25 +0200redb(~nmh@136.49.49.211)
2022-04-09 01:35:31 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com)
2022-04-09 01:35:58 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Client Quit)
2022-04-09 01:36:19 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com)
2022-04-09 01:37:14 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Client Quit)
2022-04-09 01:37:21 +0200Akiva(~Akiva@user/Akiva) (Ping timeout: 268 seconds)
2022-04-09 01:38:38 +0200ornxka(~ornxka@user/ornxka)
2022-04-09 01:38:47 +0200 <ornxka> is there a graph lib/representation somewhere in base?
2022-04-09 01:39:00 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 01:39:30 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-09 01:40:26 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2022-04-09 01:40:31 +0200sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-04-09 01:41:12 +0200 <geekosaur> I don't think so. The usual recommendation is fgl
2022-04-09 01:41:40 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
2022-04-09 01:42:18 +0200 <ornxka> i see, ty
2022-04-09 01:42:40 +0200 <ornxka> incidentally that is the lib i am already using but was wondering if there was something that didnt require any extra libs
2022-04-09 01:42:59 +0200 <geekosaur> base is not "batteries included"
2022-04-09 01:43:21 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-09 01:43:29 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com)
2022-04-09 01:43:57 +0200 <ornxka> so it seems
2022-04-09 01:44:02 +0200 <geekosaur> we try to minimize the stuff in base because the only way to upgrade it is to upgrade the compiler
2022-04-09 01:44:35 +0200redb(~nmh@136.49.49.211)
2022-04-09 01:47:05 +0200 <hpc> in any event, depending on haskell packages isn't as scary as in other languages
2022-04-09 01:47:23 +0200 <hololeap> what does Cabal use for its dependency tree calculations? I don't think fgl is a dependency
2022-04-09 01:47:52 +0200 <sclv> it rolls its own tree and traversals and solver
2022-04-09 01:48:38 +0200 <sclv> everythings packaged right here, its pretty straightforward to read https://github.com/haskell/cabal/tree/master/cabal-install-solver
2022-04-09 01:49:09 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 01:49:18 +0200 <sclv> you should look at the Modular subdirectory in particular. the tree type is https://github.com/haskell/cabal/blob/master/cabal-install-solver/src/Distribution/Solver/Modular/…
2022-04-09 01:49:41 +0200redb(~nmh@136.49.49.211) (Ping timeout: 268 seconds)
2022-04-09 01:51:16 +0200 <hololeap> cool
2022-04-09 01:52:00 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Quit: ZNC 1.8.2 - https://znc.in)
2022-04-09 01:52:38 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com)
2022-04-09 01:54:00 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-09 01:54:49 +0200mvk(~mvk@2607:fea8:5ce3:8500::9d5a)
2022-04-09 01:59:20 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 02:00:35 +0200hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2022-04-09 02:03:45 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 02:04:16 +0200chenqisu1(~chenqisu1@183.217.200.239)
2022-04-09 02:06:35 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds)
2022-04-09 02:08:09 +0200xff0x(~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp)
2022-04-09 02:08:44 +0200hololeap(~hololeap@user/hololeap)
2022-04-09 02:10:30 +0200redb(~nmh@136.49.49.211)
2022-04-09 02:12:00 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-04-09 02:15:05 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-09 02:16:28 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2022-04-09 02:17:21 +0200xff0x(~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 256 seconds)
2022-04-09 02:17:22 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2022-04-09 02:22:15 +0200rekahsoft(~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Read error: Connection reset by peer)
2022-04-09 02:22:43 +0200rekahsoft(~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com)
2022-04-09 02:36:45 +0200redb(~nmh@136.49.49.211)
2022-04-09 02:39:07 +0200lainon(~lainon@2601:7c0:c500:4d20::484e)
2022-04-09 02:41:00 +0200lainon(~lainon@2601:7c0:c500:4d20::484e) (Client Quit)
2022-04-09 02:49:12 +0200[_][itchyjunk]
2022-04-09 02:56:09 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-09 02:57:35 +0200slack1256(~slack1256@191.125.227.86) (Ping timeout: 256 seconds)
2022-04-09 02:59:33 +0200rekahsoft(~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Remote host closed the connection)
2022-04-09 02:59:59 +0200rekahsoft(~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com)
2022-04-09 03:05:42 +0200rawley(~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca)
2022-04-09 03:05:56 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-09 03:08:13 +0200deadmarshal_(~deadmarsh@95.38.117.122)
2022-04-09 03:10:46 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-04-09 03:11:07 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-04-09 03:12:56 +0200deadmarshal_(~deadmarsh@95.38.117.122) (Ping timeout: 268 seconds)
2022-04-09 03:13:07 +0200 <abastro[m]> Depending on packages in other languages is scary?
2022-04-09 03:16:15 +0200machinedgod(~machinedg@24.105.81.50)
2022-04-09 03:16:31 +0200redb(~nmh@136.49.49.211)
2022-04-09 03:16:53 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-04-09 03:17:36 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-04-09 03:17:58 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-04-09 03:18:08 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-04-09 03:19:06 +0200mvk(~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 268 seconds)
2022-04-09 03:20:39 +0200neurocyte8614492(~neurocyte@user/neurocyte) (Ping timeout: 246 seconds)
2022-04-09 03:20:57 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-09 03:24:09 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds)
2022-04-09 03:24:23 +0200 <ornxka> abastro[m]: it is always scary in every language, so i try to minimize them if possible
2022-04-09 03:24:37 +0200redb(~nmh@136.49.49.211)
2022-04-09 03:25:36 +0200 <ornxka> even glibc breaks things occasionally, they have some stupid linker trick where programs compiled against a certain version of glibc will fail to dynamically load sufficiently newer versions of glibc
2022-04-09 03:27:46 +0200mvk(~mvk@2607:fea8:5ce3:8500::9d5a)
2022-04-09 03:32:03 +0200redb(~nmh@136.49.49.211) (Ping timeout: 268 seconds)
2022-04-09 03:32:58 +0200napping(~brandon@65.128.49.110) (Quit: leaving)
2022-04-09 03:34:52 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 03:39:31 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
2022-04-09 03:43:04 +0200redb(~nmh@136.49.49.211)
2022-04-09 03:50:45 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
2022-04-09 03:51:35 +0200redb(~nmh@136.49.49.211) (Ping timeout: 260 seconds)
2022-04-09 03:53:15 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-09 03:54:26 +0200redb(~nmh@136.49.49.211)
2022-04-09 03:59:03 +0200redb(~nmh@136.49.49.211) (Ping timeout: 260 seconds)
2022-04-09 04:00:37 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 04:01:39 +0200 <monochrom> containers has a small graph library under Data.Graph. It comes with GHC. It's pretty small though.
2022-04-09 04:02:50 +0200 <monochrom> fgl doesn't bring in a lot of transitive dependency though.
2022-04-09 04:05:13 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds)
2022-04-09 04:06:04 +0200 <abastro[m]> ornxka: Ye, makes sense
2022-04-09 04:07:38 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-04-09 04:08:57 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 04:11:31 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2022-04-09 04:12:11 +0200redb(~nmh@136.49.49.211)
2022-04-09 04:14:28 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 04:14:33 +0200Guest8496(~Guest84@23.191.80.16)
2022-04-09 04:14:50 +0200donswaves
2022-04-09 04:14:54 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-04-09 04:15:31 +0200Guest8496(~Guest84@23.191.80.16) (Client Quit)
2022-04-09 04:16:28 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-04-09 04:16:36 +0200justOkay(~justache@user/justache) (Remote host closed the connection)
2022-04-09 04:17:32 +0200justOkay(~justache@user/justache)
2022-04-09 04:18:45 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 04:21:54 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-09 04:23:23 +0200 <abastro[m]> Btw why is there no cabal gc library where you could specify cabal files to keep dependency of?
2022-04-09 04:28:02 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 04:29:34 +0200 <abastro[m]> cabalgc fails to remove many dangling dependencies
2022-04-09 04:35:29 +0200redb(~nmh@136.49.49.211)
2022-04-09 04:36:46 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-04-09 04:36:47 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-04-09 04:36:47 +0200finn_elijaFinnElija
2022-04-09 04:37:55 +0200rekahsoft(~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Remote host closed the connection)
2022-04-09 04:39:11 +0200rekahsoft(~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com)
2022-04-09 04:39:53 +0200redb(~nmh@136.49.49.211) (Ping timeout: 268 seconds)
2022-04-09 04:43:35 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
2022-04-09 04:47:26 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-04-09 04:53:33 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-04-09 04:54:20 +0200hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2022-04-09 04:54:49 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-04-09 04:55:41 +0200hololeap(~hololeap@user/hololeap)
2022-04-09 04:58:20 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2022-04-09 04:58:21 +0200redb(~nmh@136.49.49.211)
2022-04-09 04:58:39 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com)
2022-04-09 05:01:07 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-04-09 05:03:11 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-04-09 05:07:11 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-04-09 05:20:36 +0200Cheveride(~jackjp3@pool-71-164-77-123.albyny.east.verizon.net)
2022-04-09 05:20:38 +0200Cheveride(~jackjp3@pool-71-164-77-123.albyny.east.verizon.net) ()
2022-04-09 05:24:21 +0200 <janus> @tell napping how is your adventure with hypertypes going?
2022-04-09 05:24:21 +0200 <lambdabot> Consider it noted.
2022-04-09 05:31:41 +0200mvk(~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 268 seconds)
2022-04-09 05:36:45 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 05:38:24 +0200rawley(~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) (Remote host closed the connection)
2022-04-09 05:55:14 +0200wideEyedPupil(~wideEyedP@124.189.229.219)
2022-04-09 05:58:25 +0200 <wideEyedPupil> beginner here. having some install issues. pointfree & Hlint won't install on my M1 Mac mini b/c Haskell version that is AS M1 compatible isn't compatible with them (I'm told). So tried on an older intel Mac. GHC installed but "ghcup tui" just errors. ghci works. installed point free but involving the command on the command line or inside GHCi as
2022-04-09 05:58:25 +0200 <wideEyedPupil> per documentation `>pointfree "sum xs = foldr (+) 0 xs" just errors.
2022-04-09 05:58:49 +0200 <wideEyedPupil> involving -> inkvoking
2022-04-09 05:58:55 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2022-04-09 06:00:21 +0200 <wideEyedPupil> @free sum xs = foldr (+) 0 xs
2022-04-09 06:00:21 +0200 <lambdabot> Extra stuff at end of line
2022-04-09 06:00:28 +0200 <wideEyedPupil> don't work here either…
2022-04-09 06:01:42 +0200deadmarshal_(~deadmarsh@95.38.117.122)
2022-04-09 06:03:01 +0200 <wideEyedPupil> Uploaded file: https://uploads.kiwiirc.com/files/ed6468e652621bb8736d9f0e4e51fd8f/ZaWuwniP.tar
2022-04-09 06:10:47 +0200 <abastro[m]> Eh, ghcup should work on Mac M1 chip as well
2022-04-09 06:10:52 +0200 <abastro[m]> That was what I was told
2022-04-09 06:12:28 +0200 <wideEyedPupil> yes it does. I have ghcup working on an M1 Mac mini ATM. I used the same install command on an intel MBP and it didn't seem to work, I mean GHCi works fine, maybe it's the $PATH variable needs to be updated? It doesn't recognise the ghcup command.
2022-04-09 06:13:08 +0200toulene(~toulene@user/toulene) (Read error: Connection reset by peer)
2022-04-09 06:13:15 +0200toulene(~toulene@user/toulene)
2022-04-09 06:14:03 +0200 <abastro[m]> Oh, it works on M1 but not on Intel mac?
2022-04-09 06:14:25 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-09 06:15:16 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 06:15:40 +0200 <abastro[m]> Btw I think Hlint should be OS-agnostic
2022-04-09 06:18:06 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds)
2022-04-09 06:21:17 +0200cdman(~dcm@user/dmc/x-4369397)
2022-04-09 06:23:51 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 06:25:29 +0200wideEyedPupil(~wideEyedP@124.189.229.219) (Ping timeout: 248 seconds)
2022-04-09 06:28:53 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 06:33:58 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-09 06:38:49 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2022-04-09 06:53:06 +0200 <sm> wideEyedPupil: it's often a PATH problem. Use `type -a PROG` to see what is in your path and `PROG --version` to see what version it is. Eg `type -a ghcup; ghcup --version`
2022-04-09 06:54:02 +0200 <sm> you can also do `ls -l PATH/TO/PROG` to see when it was installed
2022-04-09 07:03:23 +0200 <sm> FYI both packages gave trouble with GHC 9.x here, but `stack install pointfree hlint --resolver lts-18.28` works on m1
2022-04-09 07:06:37 +0200abastro(~abab9579@220.75.216.63)
2022-04-09 07:08:20 +0200 <sm> (using the m1-compatible stack/ghcs installed by ghcup)
2022-04-09 07:15:12 +0200benin(~benin@183.82.204.110)
2022-04-09 07:20:57 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-09 07:21:31 +0200redb(~nmh@136.49.49.211)
2022-04-09 07:24:00 +0200fef(~thedawn@user/thedawn)
2022-04-09 07:27:45 +0200frost(~frost@user/frost)
2022-04-09 07:27:56 +0200frost(~frost@user/frost) (Write error: Broken pipe)
2022-04-09 07:28:51 +0200rekahsoft(~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds)
2022-04-09 07:35:49 +0200razetime(~quassel@117.254.35.170)
2022-04-09 07:37:54 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 07:41:01 +0200 <janus> sm: using the newest stack, is it still necessary to use 'system-ghc'?
2022-04-09 07:41:41 +0200fr33domlover(~fr33@5.102.204.220)
2022-04-09 07:42:01 +0200 <sm> janus: if you want it to use the system ghc ? yes
2022-04-09 07:42:38 +0200 <janus> oh, i just thought you used the system ghc because it wasn't able to install the ghc for M1 previously
2022-04-09 07:42:49 +0200 <janus> but it sounds like there might be another reason?
2022-04-09 07:46:37 +0200 <sm> janus: no you're right, that's the reason
2022-04-09 07:48:02 +0200 <janus> i ask because i am wondering whether there is still something missing in stack 2.7.5. because the changelog suggests that it should be able to install itself now
2022-04-09 07:51:26 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-09 07:52:01 +0200frost(~frost@user/frost)
2022-04-09 07:53:56 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 07:54:00 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-09 08:24:47 +0200acidjnk(~acidjnk@pd9e0b763.dip0.t-ipconnect.de)
2022-04-09 08:27:18 +0200 <Axman6> (asking here too because #ghc is quiet on weekends) I was listening to the Signals & Threads podcast a while ago, and they mentioned an interesting improvement that had been added to the OCaml garbage collector. They use a queue of objects to be fetched, with a prefetch issued when the object is added to the queue (see https://signalsandthreads.com/memory-management/, sound 00:32:06 in the transscript). Has anyone considered a similar thing in GHC's GC(s)?
2022-04-09 08:27:28 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-04-09 08:28:38 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 08:29:44 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 08:36:36 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-09 08:37:11 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 08:38:06 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 08:41:35 +0200zmt00(~zmt00@user/zmt00) (Quit: Leaving)
2022-04-09 08:43:13 +0200abastro(~abab9579@220.75.216.63) (Remote host closed the connection)
2022-04-09 08:43:22 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 08:45:02 +0200zmt00(~zmt00@user/zmt00)
2022-04-09 08:47:47 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 08:52:52 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-04-09 09:01:23 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
2022-04-09 09:04:17 +0200abastro(~abab9579@220.75.216.63)
2022-04-09 09:05:03 +0200razetime(~quassel@117.254.35.170) (Ping timeout: 268 seconds)
2022-04-09 09:06:07 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-04-09 09:08:08 +0200fr33domlover(~fr33@5.102.204.220) (Ping timeout: 268 seconds)
2022-04-09 09:09:12 +0200fr33domlover(~fr33@2.53.24.182)
2022-04-09 09:09:19 +0200odnes(~odnes@5-203-172-196.pat.nym.cosmote.net)
2022-04-09 09:10:52 +0200 <abastro> I wonder if sub0 is/will be here
2022-04-09 09:15:06 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-09 09:15:41 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 09:17:42 +0200 <pavonia> Is there a list of all commands supported by haskeline's config files?
2022-04-09 09:20:39 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-04-09 09:22:55 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-09 09:23:27 +0200redb(~nmh@136.49.49.211)
2022-04-09 09:30:00 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 09:30:50 +0200 <pavonia> Found https://github.com/judah/haskeline/wiki/KeyBindings
2022-04-09 09:38:55 +0200razetime(~quassel@117.254.35.170)
2022-04-09 09:40:06 +0200coot(~coot@213.134.190.95)
2022-04-09 09:44:16 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:94b5:609:c1e4:1399)
2022-04-09 09:48:48 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 09:49:45 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-09 09:57:47 +0200derelict(~derelict@user/derelict) (Quit: bye)
2022-04-09 10:01:22 +0200redb(~nmh@136.49.49.211)
2022-04-09 10:02:53 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-04-09 10:05:45 +0200razetime(~quassel@117.254.35.170) (Remote host closed the connection)
2022-04-09 10:06:13 +0200dextaa(~dextaa@user/dextaa) (Remote host closed the connection)
2022-04-09 10:06:39 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-09 10:08:49 +0200dextaa(~dextaa@user/dextaa)
2022-04-09 10:10:21 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-09 10:10:33 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 10:12:05 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving)
2022-04-09 10:13:39 +0200razetime(~quassel@117.254.35.170)
2022-04-09 10:16:52 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-04-09 10:18:53 +0200redb(~nmh@136.49.49.211)
2022-04-09 10:23:06 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-09 10:24:20 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-04-09 10:28:50 +0200derelict(~derelict@user/derelict)
2022-04-09 10:31:30 +0200derelict(~derelict@user/derelict) (Client Quit)
2022-04-09 10:34:51 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-09 10:35:26 +0200coot(~coot@213.134.190.95)
2022-04-09 10:35:43 +0200derelict(~derelict@user/derelict)
2022-04-09 10:36:11 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-04-09 10:40:25 +0200coot(~coot@213.134.190.95) (Ping timeout: 248 seconds)
2022-04-09 10:40:39 +0200chomwitt(~chomwitt@2a02:587:dc0e:4f00:6a98:c6e0:4152:29dc)
2022-04-09 10:41:07 +0200razetime(~quassel@117.254.35.170) (Ping timeout: 256 seconds)
2022-04-09 10:44:12 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 10:44:12 +0200slack1256(~slack1256@191.126.227.197)
2022-04-09 10:47:16 +0200redb(~nmh@136.49.49.211)
2022-04-09 10:51:37 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-09 10:51:37 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-09 10:52:32 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com)
2022-04-09 10:54:26 +0200alp_(~alp@user/alp)
2022-04-09 10:57:25 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 11:00:37 +0200chddr(~Thunderbi@91.226.34.187)
2022-04-09 11:02:13 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-09 11:04:35 +0200chomwitt(~chomwitt@2a02:587:dc0e:4f00:6a98:c6e0:4152:29dc) (Remote host closed the connection)
2022-04-09 11:04:51 +0200mikoto-chan(~mikoto-ch@213.177.151.239)
2022-04-09 11:05:21 +0200mastarija(~mastarija@2a05:4f46:e04:6000:c16d:6f16:8e31:78a1)
2022-04-09 11:07:35 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 11:09:37 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 268 seconds)
2022-04-09 11:10:35 +0200abastro(~abab9579@220.75.216.63) (Ping timeout: 256 seconds)
2022-04-09 11:12:06 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 11:14:20 +0200zeenk(~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94)
2022-04-09 11:17:44 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 11:17:51 +0200redb(~nmh@136.49.49.211)
2022-04-09 11:19:48 +0200dextaa(~dextaa@user/dextaa) (Remote host closed the connection)
2022-04-09 11:20:31 +0200__monty__(~toonn@user/toonn)
2022-04-09 11:20:34 +0200chenqisu1(~chenqisu1@183.217.200.239) (Quit: Leaving)
2022-04-09 11:20:39 +0200dextaa(~dextaa@user/dextaa)
2022-04-09 11:21:51 +0200dextaa(~dextaa@user/dextaa) (Remote host closed the connection)
2022-04-09 11:21:54 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-09 11:22:29 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 11:27:54 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 11:28:15 +0200dextaa(~dextaa@user/dextaa)
2022-04-09 11:32:41 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 11:32:49 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-04-09 11:35:53 +0200alp_(~alp@user/alp) (Ping timeout: 248 seconds)
2022-04-09 11:37:53 +0200slac26216(~slack1256@186.11.100.14)
2022-04-09 11:38:03 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 11:39:09 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-09 11:39:23 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 11:39:31 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-09 11:39:45 +0200slack1256(~slack1256@191.126.227.197) (Ping timeout: 246 seconds)
2022-04-09 11:42:33 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 11:44:06 +0200robosexual(~spaceoyst@77.223.90.202)
2022-04-09 11:47:31 +0200DNH(~DNH@2a02:8108:1100:16d8:c02d:dd64:a284:8819)
2022-04-09 11:48:12 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 11:48:21 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-04-09 11:49:32 +0200redb(~nmh@136.49.49.211)
2022-04-09 11:50:41 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-04-09 11:53:18 +0200robosexual(~spaceoyst@77.223.90.202) (Quit: Konversation terminated!)
2022-04-09 11:53:45 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-09 11:54:01 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-09 11:56:17 +0200mastarija(~mastarija@2a05:4f46:e04:6000:c16d:6f16:8e31:78a1) (Quit: Leaving)
2022-04-09 11:57:38 +0200xff0x(~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp)
2022-04-09 11:57:48 +0200dextaa(~dextaa@user/dextaa) (Remote host closed the connection)
2022-04-09 11:58:41 +0200dextaa(~dextaa@user/dextaa)
2022-04-09 12:12:35 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-09 12:16:51 +0200fr33domlover(~fr33@2.53.24.182) (Ping timeout: 246 seconds)
2022-04-09 12:17:23 +0200fr33domlover(~fr33@2.53.60.247)
2022-04-09 12:17:53 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2022-04-09 12:18:28 +0200fef(~thedawn@user/thedawn)
2022-04-09 12:20:15 +0200redb(~nmh@136.49.49.211)
2022-04-09 12:24:25 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-09 12:27:05 +0200ralu(~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 248 seconds)
2022-04-09 12:29:42 +0200slac26216(~slack1256@186.11.100.14) (Remote host closed the connection)
2022-04-09 12:31:16 +0200redb(~nmh@136.49.49.211)
2022-04-09 12:35:16 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-09 12:35:24 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-04-09 12:35:38 +0200califax(~califax@user/califx)
2022-04-09 12:35:57 +0200redb(~nmh@136.49.49.211) (Ping timeout: 268 seconds)
2022-04-09 12:36:27 +0200benin(~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat)
2022-04-09 12:40:57 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2022-04-09 12:41:34 +0200kaph_(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 272 seconds)
2022-04-09 12:44:07 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 12:46:23 +0200pretty_d1(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-04-09 12:46:28 +0200pretty_d1(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit)
2022-04-09 12:48:00 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 246 seconds)
2022-04-09 12:49:20 +0200redb(~nmh@136.49.49.211)
2022-04-09 12:52:38 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-04-09 12:53:00 +0200kaph_(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it)
2022-04-09 12:53:43 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-09 12:54:40 +0200zmt00(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2022-04-09 13:01:00 +0200michalz(~michalz@185.246.204.101)
2022-04-09 13:01:50 +0200shailangsa(~shailangs@host86-162-150-212.range86-162.btcentralplus.com) (Ping timeout: 272 seconds)
2022-04-09 13:03:49 +0200typetetris(sid275937@id-275937.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2022-04-09 13:04:19 +0200kaph_(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 268 seconds)
2022-04-09 13:18:17 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 248 seconds)
2022-04-09 13:18:39 +0200zincy(~zincy@2a00:23c8:970c:4801:dc35:500f:d0de:de53)
2022-04-09 13:20:00 +0200Neuromancer(~Neuromanc@user/neuromancer)
2022-04-09 13:21:35 +0200cosimone(~user@93-47-228-79.ip115.fastwebnet.it) (Read error: Connection reset by peer)
2022-04-09 13:22:23 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-04-09 13:23:28 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer)
2022-04-09 13:24:17 +0200redb(~nmh@136.49.49.211)
2022-04-09 13:28:25 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-09 13:33:03 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-09 13:35:16 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 13:36:26 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-09 13:40:09 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 248 seconds)
2022-04-09 13:40:24 +0200redb(~nmh@136.49.49.211)
2022-04-09 13:40:39 +0200sndr(~sander@user/sander) (Quit: So long! :))
2022-04-09 13:40:45 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-04-09 13:41:45 +0200acidjnk(~acidjnk@pd9e0b763.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-04-09 13:43:33 +0200sander(~sander@user/sander)
2022-04-09 13:44:55 +0200sandersndr
2022-04-09 13:45:42 +0200shailangsa(~shailangs@host86-186-142-63.range86-186.btcentralplus.com)
2022-04-09 13:47:30 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 246 seconds)
2022-04-09 13:47:45 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-04-09 13:48:46 +0200gustik(~gustik@2a01:c844:240e:4d20:38e8:ab4e:3fd6:2e3a)
2022-04-09 13:49:04 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 13:53:59 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 13:55:43 +0200cosimone(~user@93-47-228-79.ip115.fastwebnet.it)
2022-04-09 13:57:45 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 14:01:42 +0200machinedgod(~machinedg@24.105.81.50)
2022-04-09 14:03:05 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 14:03:28 +0200CiaoSen(~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-04-09 14:04:21 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-09 14:06:00 +0200cdman(~dcm@user/dmc/x-4369397) (Quit: Leaving)
2022-04-09 14:07:27 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 14:08:27 +0200CiaoSen(~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2022-04-09 14:08:27 +0200cdman(~dcm@user/dmc/x-4369397)
2022-04-09 14:09:18 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-09 14:10:54 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 14:12:04 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-04-09 14:12:18 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-04-09 14:13:15 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 14:14:04 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 14:15:53 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-04-09 14:16:03 +0200alp_(~alp@user/alp)
2022-04-09 14:17:36 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 14:21:45 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds)
2022-04-09 14:23:24 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 14:23:31 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-04-09 14:25:08 +0200xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-04-09 14:28:01 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 14:28:11 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-09 14:30:16 +0200dextaa(~dextaa@user/dextaa) (Read error: Connection reset by peer)
2022-04-09 14:32:17 +0200dextaa(~dextaa@user/dextaa)
2022-04-09 14:32:58 +0200coot(~coot@213.134.190.95)
2022-04-09 14:33:33 +0200acidjnk(~acidjnk@p200300d0c7049f84a0b6f4c4560feda0.dip0.t-ipconnect.de)
2022-04-09 14:33:34 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 14:33:45 +0200odnes(~odnes@5-203-172-196.pat.nym.cosmote.net) (Read error: Connection reset by peer)
2022-04-09 14:34:00 +0200odnes(~odnes@5-203-172-196.pat.nym.cosmote.net)
2022-04-09 14:35:51 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-09 14:37:23 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-09 14:37:34 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 14:37:59 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 14:40:24 +0200kaph_(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it)
2022-04-09 14:41:57 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-04-09 14:42:33 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 248 seconds)
2022-04-09 14:42:41 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-04-09 14:43:44 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 14:46:07 +0200jgeerds(~jgeerds@d5364b87.access.ecotel.net)
2022-04-09 14:48:03 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 14:51:35 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
2022-04-09 14:53:54 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 14:59:15 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 15:08:54 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-04-09 15:11:17 +0200jakalx(~jakalx@base.jakalx.net)
2022-04-09 15:12:40 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-04-09 15:16:34 +0200mc47(~mc47@xmonad/TheMC47)
2022-04-09 15:18:43 +0200Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 260 seconds)
2022-04-09 15:19:39 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 15:21:11 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-09 15:23:00 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 15:31:25 +0200fockerized(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-04-09 15:33:59 +0200razetime(~quassel@117.254.35.170)
2022-04-09 15:34:10 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-04-09 15:36:34 +0200Vajb(~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813)
2022-04-09 15:38:01 +0200odnes(~odnes@5-203-172-196.pat.nym.cosmote.net) (Ping timeout: 248 seconds)
2022-04-09 15:39:30 +0200zyklotomic(~ethan@res388d-128-61-94-65.res.gatech.edu) (Ping timeout: 246 seconds)
2022-04-09 15:40:31 +0200ubert(~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de)
2022-04-09 15:41:12 +0200zeenk(~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!)
2022-04-09 15:41:38 +0200zyklotomic(~ethan@r4-128-61-95-166.res.gatech.edu)
2022-04-09 15:48:50 +0200ishaan(~ishaan@122.161.51.93)
2022-04-09 15:49:22 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-09 15:49:35 +0200mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 268 seconds)
2022-04-09 15:50:45 +0200 <ishaan> Hi! I will be participating in GSoC 2022 and I really want to work on Haskell. I'm gravitating towards "Support more LSP Features in HLS" but it doesn't mention on the ideas page what the required skills for this project  are. Can someone give me an approximation regarding the required level of Haskell experience?
2022-04-09 15:51:25 +0200mikoto-chan(~mikoto-ch@213.177.151.239)
2022-04-09 15:53:24 +0200 <maerwald[m]> ishaan: also check out #haskell-language-server
2022-04-09 15:53:43 +0200 <maerwald[m]> I don't know at the moment who's responsible for the GSoC stuff
2022-04-09 15:55:08 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 268 seconds)
2022-04-09 15:56:16 +0200 <ishaan> Okay thanks maerwald[m]. I guess I'll directly email the listed mentor.
2022-04-09 15:56:45 +0200foul_owl(~kerry@23.82.193.88) (Ping timeout: 256 seconds)
2022-04-09 15:57:45 +0200odnes(~odnes@5-203-130-98.pat.nym.cosmote.net)
2022-04-09 15:58:27 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-09 15:58:30 +0200 <maerwald[m]> ishaan: who's that?
2022-04-09 15:58:52 +0200 <ishaan> for this particular project, it's Michael Peyton Jones
2022-04-09 15:59:14 +0200 <maerwald[m]> Oh, he's on the hls channel
2022-04-09 15:59:27 +0200 <maerwald[m]> And on matrix
2022-04-09 16:00:48 +0200 <ishaan> d
2022-04-09 16:01:55 +0200DNH(~DNH@2a02:8108:1100:16d8:c02d:dd64:a284:8819) (Quit: Textual IRC Client: www.textualapp.com)
2022-04-09 16:03:16 +0200abastro(~abab9579@220.75.216.63)
2022-04-09 16:03:39 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds)
2022-04-09 16:05:50 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-09 16:07:39 +0200liz(~liz@host109-151-125-217.range109-151.btcentralplus.com)
2022-04-09 16:07:43 +0200haskellberry(~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-04-09 16:09:47 +0200deadmarshal_(~deadmarsh@95.38.117.122) (Ping timeout: 256 seconds)
2022-04-09 16:10:20 +0200abastro(~abab9579@220.75.216.63) (Remote host closed the connection)
2022-04-09 16:10:25 +0200 <maerwald[m]> dminuoso_: https://www.openssh.com/releasenotes.html
2022-04-09 16:10:30 +0200abastro(~abab9579@220.75.216.63)
2022-04-09 16:10:49 +0200 <maerwald[m]> "use the hybrid Streamlined NTRU Prime + x25519 key
2022-04-09 16:10:49 +0200 <maerwald[m]> exchange method by default"
2022-04-09 16:11:40 +0200odnes(~odnes@5-203-130-98.pat.nym.cosmote.net) (Read error: Connection reset by peer)
2022-04-09 16:11:50 +0200odnes(~odnes@5-203-130-98.pat.nym.cosmote.net)
2022-04-09 16:12:39 +0200foul_owl(~kerry@23.82.193.88)
2022-04-09 16:14:30 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds)
2022-04-09 16:15:06 +0200 <abastro> Why ppl dislike lazy IO when I quite like it :<
2022-04-09 16:15:35 +0200 <abastro> Like, how many times should you care about when certain effects happen
2022-04-09 16:16:45 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-09 16:18:13 +0200acidjnk(~acidjnk@p200300d0c7049f84a0b6f4c4560feda0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-04-09 16:19:57 +0200 <maerwald[m]> abastro: because resource management is borked and it's literally using unsafeInterleaveIO
2022-04-09 16:20:11 +0200mc47(~mc47@xmonad/TheMC47) (Read error: Connection reset by peer)
2022-04-09 16:21:25 +0200 <maerwald[m]> http://newartisans.com/2013/05/three-examples-of-problems-with-lazy-io/
2022-04-09 16:22:53 +0200 <abastro> Eh IIRC source of exception is always unclear in haskell
2022-04-09 16:23:19 +0200 <maerwald[m]> Excellent example of how "correctness" isn't as popular in Haskell as people think :p
2022-04-09 16:23:23 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds)
2022-04-09 16:23:51 +0200 <abastro> Well yea they perhaps prefer masochism of being restrained by types
2022-04-09 16:24:31 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-04-09 16:24:35 +0200 <abastro> Also in the end, lazy IO's problem also exists for laziness itself
2022-04-09 16:24:46 +0200 <maerwald[m]> Yeah, correctness is mostly considered to be a property of the type system
2022-04-09 16:24:47 +0200 <abastro> But if you don't like laziness, there is next to no reason to use haskell
2022-04-09 16:24:54 +0200 <maerwald[m]> Which I largely disagree with
2022-04-09 16:24:58 +0200 <abastro> Why
2022-04-09 16:25:03 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-04-09 16:25:08 +0200 <abastro> Oh
2022-04-09 16:25:16 +0200 <abastro> You mean correctness is not a property of type system
2022-04-09 16:25:30 +0200 <abastro> Yeah, low-level correctness is often more important I heard
2022-04-09 16:25:38 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-09 16:25:41 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Client Quit)
2022-04-09 16:25:49 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer)
2022-04-09 16:26:13 +0200 <abastro> I guess finally I see that type system could be quite useless
2022-04-09 16:26:45 +0200 <abastro> Well, for practical programming, that is
2022-04-09 16:28:26 +0200alp_(~alp@user/alp) (Ping timeout: 268 seconds)
2022-04-09 16:28:43 +0200 <abastro> (..then I always forget that laziness is not only non-strict evaluation scheme. Duh)
2022-04-09 16:29:53 +0200werdnA(~andrew@114.88.181.56) (Ping timeout: 260 seconds)
2022-04-09 16:30:37 +0200werdnA(~andrew@114.88.181.56)
2022-04-09 16:30:51 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-04-09 16:31:21 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-09 16:32:09 +0200coot(~coot@213.134.190.95)
2022-04-09 16:35:11 +0200zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-04-09 16:35:11 +0200zincy(~zincy@2a00:23c8:970c:4801:dc35:500f:d0de:de53) (Read error: Connection reset by peer)
2022-04-09 16:38:07 +0200odnes(~odnes@5-203-130-98.pat.nym.cosmote.net) (Ping timeout: 256 seconds)
2022-04-09 16:38:54 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-09 16:42:52 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
2022-04-09 16:43:03 +0200notzmv(~zmv@user/notzmv)
2022-04-09 16:43:05 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-04-09 16:45:32 +0200 <maerwald[m]> You're jumping to a lot of conclusions here
2022-04-09 16:45:47 +0200deadmarshal_(~deadmarsh@95.38.117.122)
2022-04-09 16:47:21 +0200zebrag(~chris@user/zebrag)
2022-04-09 16:49:01 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 16:50:01 +0200deadmarshal_(~deadmarsh@95.38.117.122) (Ping timeout: 248 seconds)
2022-04-09 16:50:01 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 248 seconds)
2022-04-09 16:56:01 +0200 <abastro> Wdym jumping conclusions?
2022-04-09 16:57:56 +0200ishaan(~ishaan@122.161.51.93) (Quit: Client closed)
2022-04-09 16:58:55 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 16:59:31 +0200alp_(~alp@user/alp)
2022-04-09 16:59:39 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-04-09 17:00:21 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2022-04-09 17:02:43 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-09 17:03:46 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
2022-04-09 17:04:31 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 17:06:03 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds)
2022-04-09 17:06:06 +0200bahamas(~lucian@84.232.140.158)
2022-04-09 17:07:53 +0200lambdabot(~lambdabot@silicon.int-e.eu)
2022-04-09 17:07:53 +0200lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2022-04-09 17:07:53 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2022-04-09 17:09:04 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-04-09 17:09:36 +0200Vajb(~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer)
2022-04-09 17:09:51 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-04-09 17:10:59 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 268 seconds)
2022-04-09 17:11:05 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-04-09 17:11:22 +0200cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2022-04-09 17:13:31 +0200ubert(~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de) (Quit: ubert)
2022-04-09 17:14:37 +0200Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net)
2022-04-09 17:15:47 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-04-09 17:16:53 +0200kaph_(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer)
2022-04-09 17:18:50 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 17:19:44 +0200mc47(~mc47@xmonad/TheMC47)
2022-04-09 17:23:27 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 17:25:28 +0200 <haskellberry> In recursive data structures such as Tree, how to refer to the parent node?
2022-04-09 17:25:37 +0200 <haskellberry> do we have to use things like a Zipper?
2022-04-09 17:26:13 +0200 <geekosaur> or "tying the knot"
2022-04-09 17:26:42 +0200 <haskellberry> geekosaur: meaning?
2022-04-09 17:27:14 +0200 <geekosaur> it's a technique for lazily making self-referential data structures
2022-04-09 17:27:38 +0200 <geekosaur> https://wiki.haskell.org/Tying_the_Knot
2022-04-09 17:27:49 +0200 <haskellberry> thx let me check
2022-04-09 17:29:00 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 17:29:02 +0200 <geekosaur> you can also do a web search for "tying the knot laziness" for more details
2022-04-09 17:29:24 +0200cheater(~Username@user/cheater)
2022-04-09 17:30:19 +0200 <haskellberry> nice usage of laziness...i can never think of it by myself
2022-04-09 17:31:09 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds)
2022-04-09 17:31:37 +0200 <haskellberry> not too readable though
2022-04-09 17:31:49 +0200 <haskellberry> without proper training first
2022-04-09 17:33:31 +0200 <c_wraith> in general you don't want circular references in data structures anyway
2022-04-09 17:33:39 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 17:34:01 +0200 <c_wraith> they prevent doing efficient updates
2022-04-09 17:35:21 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds)
2022-04-09 17:37:09 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-04-09 17:39:09 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 17:44:06 +0200hololeap_(~hololeap@user/hololeap)
2022-04-09 17:44:59 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 17:45:42 +0200hololeap(~hololeap@user/hololeap) (Read error: Connection reset by peer)
2022-04-09 17:46:35 +0200kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2022-04-09 17:46:44 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 17:46:46 +0200cdman(~dcm@user/dmc/x-4369397) (Quit: Leaving)
2022-04-09 17:47:08 +0200oats(~thomas@user/oats) (Quit: until later, my friends)
2022-04-09 17:48:31 +0200oats(~thomas@user/oats)
2022-04-09 17:48:36 +0200deadmarshal_(~deadmarsh@95.38.117.122)
2022-04-09 17:49:41 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 17:51:14 +0200odnes(~odnes@5-203-221-3.pat.nym.cosmote.net)
2022-04-09 17:52:46 +0200oats(~thomas@user/oats) (Client Quit)
2022-04-09 17:53:32 +0200kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 268 seconds)
2022-04-09 17:54:00 +0200oats(~thomas@user/oats)
2022-04-09 17:54:15 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 18:02:15 +0200kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2022-04-09 18:03:07 +0200jgeerds(~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 256 seconds)
2022-04-09 18:05:48 +0200 <monochrom> You can just go ahead and write like "mytree = Node mytree mytree".
2022-04-09 18:07:36 +0200 <monochrom> But "can do it without training" is in conflict with "but programming is a profession, should even be called engineering". Make up your mind, pick one already.
2022-04-09 18:07:53 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-09 18:08:34 +0200 <monochrom> Even Greg Wilson's "no no, programming is a craft", well craft implies training too.
2022-04-09 18:09:48 +0200stefan-_(~cri@42dots.de) (Ping timeout: 240 seconds)
2022-04-09 18:10:48 +0200deadmarshal_(~deadmarsh@95.38.117.122) (Ping timeout: 268 seconds)
2022-04-09 18:12:39 +0200abastro(~abab9579@220.75.216.63) (Ping timeout: 268 seconds)
2022-04-09 18:13:16 +0200haskellberry(~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2022-04-09 18:13:25 +0200 <abastro[m]> (I wish programming were a proper profession, but nowadays it seems more like an opportunity for those not faring well)
2022-04-09 18:14:02 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-04-09 18:14:03 +0200stefan-_(~cri@42dots.de)
2022-04-09 18:15:35 +0200cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2022-04-09 18:16:26 +0200 <maerwald> what? :D
2022-04-09 18:16:51 +0200Alleria(~textual@user/alleria) (Read error: Connection reset by peer)
2022-04-09 18:17:03 +0200benin(~benin@183.82.204.110)
2022-04-09 18:17:07 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-04-09 18:19:31 +0200jakalx(~jakalx@base.jakalx.net)
2022-04-09 18:22:13 +0200vicfred(~vicfred@user/vicfred)
2022-04-09 18:22:57 +0200razetime(~quassel@117.254.35.170) (Ping timeout: 256 seconds)
2022-04-09 18:23:56 +0200cheater(~Username@user/cheater)
2022-04-09 18:27:11 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-04-09 18:27:37 +0200kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 248 seconds)
2022-04-09 18:29:14 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-04-09 18:29:27 +0200kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2022-04-09 18:38:51 +0200 <maerwald> I don't know any university teaching programming. It's usually CS and you're expected to learn programming yourself.
2022-04-09 18:39:51 +0200 <maerwald> That may be, because most teachers either don't have extensive practical experience or aren't even that interested in doing *thorough* code reviews beyond the assignment scope.
2022-04-09 18:40:21 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-09 18:40:52 +0200 <maerwald> People usually learned that through open source commitments or get a really cold shower in their first month of their first job.
2022-04-09 18:41:08 +0200 <maerwald> when the first real review hits them like a truck
2022-04-09 18:44:31 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-04-09 18:44:37 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-04-09 18:45:35 +0200zaquest(~notzaques@5.130.79.72)
2022-04-09 18:53:00 +0200redb(~nmh@136.49.49.211)
2022-04-09 18:54:24 +0200deadmarshal_(~deadmarsh@95.38.117.122)
2022-04-09 18:56:46 +0200ubert(~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de)
2022-04-09 18:57:29 +0200werdnA(~andrew@114.88.181.56) (Ping timeout: 248 seconds)
2022-04-09 18:58:29 +0200werdnA(~andrew@114.88.181.56)
2022-04-09 18:58:56 +0200ubert(~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de) (Client Quit)
2022-04-09 18:59:13 +0200MajorBiscuit(~MajorBisc@62.233.220.137)
2022-04-09 18:59:56 +0200 <sshine> I learned of good feedback and high version control standards ~3 years into my full-time work life when I decided to contribute to the right open-source project.
2022-04-09 19:00:24 +0200notzmv(~zmv@user/notzmv)
2022-04-09 19:04:55 +0200vicfred(~vicfred@user/vicfred)
2022-04-09 19:07:51 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-04-09 19:08:16 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-04-09 19:11:57 +0200 <dsal> I've learned that most work places have really bad version control usage. Especially the ones who use github and follow github's defaults.
2022-04-09 19:13:59 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-04-09 19:15:39 +0200MajorBiscuit(~MajorBisc@62.233.220.137) (Ping timeout: 256 seconds)
2022-04-09 19:18:09 +0200mikoto-chan(~mikoto-ch@213.177.151.239) (Quit: mikoto-chan)
2022-04-09 19:19:38 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-04-09 19:19:45 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-09 19:19:59 +0200derelict(~derelict@user/derelict) (Quit: bye)
2022-04-09 19:20:15 +0200geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca)
2022-04-09 19:21:25 +0200kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Quit: WeeChat 3.3)
2022-04-09 19:23:23 +0200derelict(~derelict@user/derelict)
2022-04-09 19:25:25 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2022-04-09 19:25:43 +0200prolic(~prolic@170.51.49.166)
2022-04-09 19:26:19 +0200 <prolic> hello, I ran into a problem parsing a json array with haskell
2022-04-09 19:26:40 +0200 <prolic> maybe someone could help me out a bit
2022-04-09 19:26:59 +0200jgeerds(~jgeerds@d5364b87.access.ecotel.net)
2022-04-09 19:27:15 +0200 <dolio> You'll need to be more specific for someone to help you.
2022-04-09 19:27:21 +0200econo(uid147250@user/econo)
2022-04-09 19:28:00 +0200 <prolic> the json string looks like this:
2022-04-09 19:28:00 +0200 <prolic> "[\"EVENT\",\"1dd639b12433183604485d7a550e4ee2751d62202073cbf1c0bb139c6d49af7b\",{\"id\":\"594bb1034c7e737b9014c86d5ccea40497c68e09520b9f4db407f481c90f4fbe\",\"pubkey\":\"1901ca365606eb68050fd4231d4b0b8ddb157f89d43db1b8c622b6b700b5ff17\",\"created_at\":1649520865,\"kind\":1,\"tags\":[],\"content\":\"\",\"sig\":\"98b0f1ec6a73d69bf0b7355ef64f33001544
2022-04-09 19:28:01 +0200 <prolic> fb44e123406e194408546fe36be414e2075d5db3fe67c7a3b8a1239b91d6e40b85d22424f9e8b709032ea7cb15d6\"}]"
2022-04-09 19:28:01 +0200 <prolic> first is the string "EVENT", follow by some other string as identifier, followed by a json object representing a event
2022-04-09 19:28:02 +0200 <prolic> the event itself I can decode, but I'm stuck parsing the whole thing
2022-04-09 19:28:45 +0200 <prolic> instance FromJSON ServerResponse where
2022-04-09 19:28:46 +0200 <prolic>     parseJSON = withArray "ServerResponse Event" $ \arr -> do
2022-04-09 19:28:46 +0200 <prolic>         t <- parseJSON $ arr V.! 0
2022-04-09 19:28:47 +0200 <prolic>         f <- parseJSON $ arr V.! 1
2022-04-09 19:28:47 +0200 <prolic>         e <- parseJSON $ arr V.! 2
2022-04-09 19:28:48 +0200 <prolic>         return $ ServerResponse <$> parseJSON (arr V.! 1) <*> parseJSON (arr V.! 2)
2022-04-09 19:28:48 +0200 <prolic> is my current try, which doesn't work
2022-04-09 19:28:51 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 19:29:16 +0200 <prolic> i also tried this:
2022-04-09 19:29:16 +0200 <prolic>     parseJSON (Array v)
2022-04-09 19:29:17 +0200 <prolic>         | V.length v == 3 = do
2022-04-09 19:29:17 +0200 <prolic>           case v V.! 0 of
2022-04-09 19:29:18 +0200 <prolic>             String "EVENT" ->
2022-04-09 19:29:18 +0200 <prolic>                 withArray "ServerResponse Event" $ \arr -> do
2022-04-09 19:29:19 +0200 <prolic>                     f <- parseJSON $ arr V.! 1
2022-04-09 19:29:19 +0200 <prolic>                     e <- parseJSON $ arr V.! 2
2022-04-09 19:29:20 +0200 <prolic>                     return $ ServerResponse f e
2022-04-09 19:29:20 +0200 <prolic>             _ -> mzero
2022-04-09 19:29:21 +0200 <prolic>         | otherwise = mzero
2022-04-09 19:29:21 +0200 <prolic>     parseJSON _ = mzero
2022-04-09 19:29:28 +0200 <dolio> You should use a pastebin for code.
2022-04-09 19:29:38 +0200 <prolic> sorry
2022-04-09 19:29:43 +0200 <dolio> @paste
2022-04-09 19:29:43 +0200 <lambdabot> A pastebin: https://paste.debian.net/
2022-04-09 19:30:15 +0200 <dolio> @where paste
2022-04-09 19:30:15 +0200 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2022-04-09 19:30:21 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2022-04-09 19:30:44 +0200 <prolic> https://paste.debian.net/1237398/
2022-04-09 19:31:04 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 19:31:59 +0200 <prolic> again here with the input data: https://paste.debian.net/1237399/
2022-04-09 19:33:48 +0200 <dolio> I think your problem might be that `withArray` takes another argument that you aren't giving.
2022-04-09 19:34:17 +0200 <prolic> the code compiles, the result is just always "Nothing" instead of "Just"
2022-04-09 19:34:19 +0200 <dolio> Oh, perhaps not.
2022-04-09 19:35:16 +0200 <prolic> data ServerResponse = ServerResponse Text Event
2022-04-09 19:35:17 +0200 <prolic> this is what my haskell type looks like
2022-04-09 19:37:38 +0200 <dolio> There are multiple strange things here, although I'm not a JSON expert.
2022-04-09 19:38:06 +0200 <prolic> I'm open for any suggestions, don't worry if it's not working
2022-04-09 19:39:08 +0200 <dolio> Your line 25 in the paste seems wrong, because it has `return` around `f <$> x <*> y`, which seems like double wrapping. It also doesn't use any of the things you parsed on previous lines.
2022-04-09 19:39:53 +0200 <monochrom> dolio, there was an eta from "parseJSON v = withArray msg func v" to "parseJSON = withArray msg func" and then insert a $ so func can be a lambda. That one is OK.
2022-04-09 19:39:59 +0200 <dsal> `return` confuses people and basically shouldn't be used.
2022-04-09 19:40:18 +0200 <dolio> Yeah, I realized that after my comment.
2022-04-09 19:41:17 +0200 <monochrom> Though, I'm surpised that "return $ ServerResponse <$> ..." is not a type error.
2022-04-09 19:41:49 +0200 <prolic> https://paste.debian.net/1237400/
2022-04-09 19:41:50 +0200 <prolic> this one compiles, but returns "Nothing"
2022-04-09 19:42:12 +0200 <dolio> Considering the output is just `Nothing` though, the problem might be in the `Event` parser, too.
2022-04-09 19:42:30 +0200 <prolic> as I said, I verified the event parser and it's working perfectly
2022-04-09 19:42:31 +0200 <monochrom> Yeah.
2022-04-09 19:43:33 +0200jgeerds(~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 260 seconds)
2022-04-09 19:43:58 +0200 <prolic> also the event parser is pretty complex, with lots of custom types, so I didn't want to throw tons of code at you
2022-04-09 19:45:13 +0200 <dolio> Oh, maybe the case statement is wrong? `t` is parsed output, but you're matching on a JSON value. What does parsing a JSON value do?
2022-04-09 19:46:14 +0200 <dolio> Is that expecting `arr ! 0` to be a string that represents a JSON value, maybe?
2022-04-09 19:46:26 +0200 <dolio> Like, double encoded.
2022-04-09 19:46:41 +0200 <monochrom> Ah.
2022-04-09 19:46:52 +0200 <prolic> I have a kind of similar parser that works, I can share that with you if that helps
2022-04-09 19:47:36 +0200 <dolio> No, that guess is wrong, too. `parseJSON :: Value -> Parser Value` is just `pure`.
2022-04-09 19:48:35 +0200 <prolic> https://paste.debian.net/1237401/
2022-04-09 19:48:59 +0200 <prolic> this one works, but it's a slightly different use case
2022-04-09 19:51:38 +0200 <dolio> I'm out of ideas, at least.
2022-04-09 19:51:39 +0200 <janus> hey prolic! you are the author of that aeson library on hackage no?
2022-04-09 19:51:40 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-09 19:52:00 +0200 <prolic> if I would be the author of aeson, i wouldn't ask I guess :)
2022-04-09 19:52:13 +0200 <janus> no, i mean the library built on top of aeson, i forgot the name
2022-04-09 19:52:29 +0200 <janus> kinda like autodocodec but a bit older
2022-04-09 19:52:36 +0200 <prolic> no, what I build is not yet on hackage
2022-04-09 19:52:51 +0200 <janus> hmm i must be confusing you with someone then.. hmm sorry
2022-04-09 19:53:26 +0200 <prolic> I built a schnorr lib for haskell, https://github.com/prolic/secp256k1-schnorr/ - I guess that's where you know my name from
2022-04-09 19:53:47 +0200 <janus> aaah right, sorry :P
2022-04-09 19:54:02 +0200 <janus> are you making progress?
2022-04-09 19:54:25 +0200neurocyte8614492(~neurocyte@IP-094046070107.dynamic.medianet-world.de)
2022-04-09 19:54:25 +0200neurocyte8614492(~neurocyte@IP-094046070107.dynamic.medianet-world.de) (Changing host)
2022-04-09 19:54:25 +0200neurocyte8614492(~neurocyte@user/neurocyte)
2022-04-09 19:54:27 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-09 19:54:27 +0200 <prolic> this is more or less done, I didn't publish it on hackage yet, because it's maybe not stable enough
2022-04-09 19:54:41 +0200 <janus> one frustration i always had with secp256k1-haskell is that it is linked to the system library
2022-04-09 19:54:42 +0200 <prolic> working on a nostr client that uses schnorr signatures
2022-04-09 19:55:00 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 19:55:10 +0200 <janus> did you consider vendoring libsecp256k1?
2022-04-09 19:55:40 +0200 <prolic> not sure what you mean
2022-04-09 19:55:55 +0200 <janus> i mean including the c sources in the source distribution of the haskell package
2022-04-09 19:56:15 +0200 <janus> that way, you won't need to require that users install a compatible version of secp256k1 independently
2022-04-09 19:56:39 +0200 <prolic> ah, I don't know how that works exactly, so I put in the readme how to compile secp256k1 manually with schnorr sig enabled
2022-04-09 19:56:41 +0200oats(~thomas@user/oats) (Quit: until later, my friends)
2022-04-09 19:56:53 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-04-09 19:57:05 +0200 <janus> you can include 'cbits', many libraries have this. for example cryptonite that everybody loves to hate on
2022-04-09 19:57:10 +0200 <prolic> but the final haskell binary doesn't require you to have the C lib installed on your machine
2022-04-09 19:57:33 +0200 <prolic> thanks, I'll make a note and try to get back to it
2022-04-09 19:57:35 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 256 seconds)
2022-04-09 19:57:41 +0200oats(~thomas@user/oats)
2022-04-09 19:57:50 +0200 <janus> well if the library is required to be installed separately on compilation, it doesn't help much that it is statically linked...
2022-04-09 19:58:36 +0200 <prolic> yes, but I am the only user of that lib at the moment :)
2022-04-09 19:59:01 +0200 <janus> nostr looks interesting.. i remember you told me that this wasn't for a cryptocurrency but i didn't really believe you lol
2022-04-09 20:00:10 +0200 <prolic> lol
2022-04-09 20:00:17 +0200 <prolic> no worries
2022-04-09 20:00:33 +0200sloorush(~sloorush@136.233.9.99)
2022-04-09 20:00:50 +0200 <prolic> there's just ONE cryptocurrency, it's called bitcoin, the rest will be worth 0
2022-04-09 20:00:59 +0200 <prolic> but that's offtopic
2022-04-09 20:01:12 +0200 <prolic> still need to figure out how to parse that damn json string
2022-04-09 20:02:19 +0200 <janus> you can devide down the problem by making smaller types and test their parsing independently. divide and conquer...
2022-04-09 20:03:01 +0200 <janus> we have massive haskell codebases at work and we never have two 'with...' calls in one instance definition
2022-04-09 20:03:31 +0200 <janus> instead we have stuff like 'data MegaType = OptionA AContents | OptionB BContents'
2022-04-09 20:04:04 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-04-09 20:04:15 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-04-09 20:04:23 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-04-09 20:04:29 +0200 <prolic> you confuse me with someone you knows haskell, lol
2022-04-09 20:04:29 +0200 <prolic> I'm an absolute beginner, trying to work through the stuff, banging my head against the wall until I succeed
2022-04-09 20:04:41 +0200deadmarshal_(~deadmarsh@95.38.117.122) (Ping timeout: 248 seconds)
2022-04-09 20:05:08 +0200 <janus> typically the 'with...' call is at the very beginning of the instance definition
2022-04-09 20:05:18 +0200fr33domlover(~fr33@2.53.60.247) (Quit: fr33domlover)
2022-04-09 20:05:32 +0200 <janus> so when i see how you're calling 'with...' inside a case block, that seems off to me
2022-04-09 20:05:44 +0200 <prolic> that's what I have here, https://paste.debian.net/1237400/, still doesn't work for me
2022-04-09 20:07:14 +0200 <janus> what is the problem with it?
2022-04-09 20:07:25 +0200 <prolic> it compiles, but returns "Nothing"
2022-04-09 20:08:09 +0200 <janus> well you still have the parseJSON calls in there, dolio told you how Parsing a Value to a Value is 'pure'
2022-04-09 20:09:03 +0200 <janus> why are you using 'mzero'? why not 'fail "Invalid ServerResponse did not have EVENT"'
2022-04-09 20:10:22 +0200 <janus> there shouldn't be Maybes involved at all, since that is not the result of an Aeson parse
2022-04-09 20:10:23 +0200oats(~thomas@user/oats) (Quit: until later, my friends)
2022-04-09 20:11:50 +0200 <prolic> so what do I need to do?
2022-04-09 20:12:13 +0200oats(~thomas@user/oats)
2022-04-09 20:13:27 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
2022-04-09 20:13:41 +0200 <janus> oh, are you using `decode`? try `eitherDecode` instead, that lets you see the error
2022-04-09 20:15:17 +0200Sgeo(~Sgeo@user/sgeo)
2022-04-09 20:16:13 +0200 <prolic> ok, one sec
2022-04-09 20:16:53 +0200 <prolic> `Left "Error in $: key \"pubKey\" not found"`
2022-04-09 20:17:18 +0200 <prolic> which points me to something is wrong with my event parser
2022-04-09 20:17:26 +0200 <prolic> which I tested that it works, very strange
2022-04-09 20:17:29 +0200raym(~raym@user/raym) (Ping timeout: 248 seconds)
2022-04-09 20:17:35 +0200 <prolic> I eat something first, will be back soon
2022-04-09 20:17:40 +0200 <janus> bye
2022-04-09 20:18:57 +0200nuh^(~nuh@c-24-99-107-170.hsd1.ga.comcast.net)
2022-04-09 20:19:10 +0200raym(~raym@user/raym)
2022-04-09 20:22:02 +0200prolic(~prolic@170.51.49.166) (Ping timeout: 250 seconds)
2022-04-09 20:25:35 +0200jpds1(~jpds@gateway/tor-sasl/jpds)
2022-04-09 20:27:15 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-04-09 20:30:20 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Read error: Connection reset by peer)
2022-04-09 20:31:15 +0200jpds1(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-04-09 20:33:11 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com)
2022-04-09 20:33:37 +0200chddr(~Thunderbi@91.226.34.187) (Read error: Connection reset by peer)
2022-04-09 20:34:03 +0200chddr(~Thunderbi@91.226.34.187)
2022-04-09 20:34:43 +0200fef(~thedawn@user/thedawn)
2022-04-09 20:34:56 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-09 20:35:07 +0200deadmarshal_(~deadmarsh@95.38.117.122)
2022-04-09 20:35:56 +0200kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 272 seconds)
2022-04-09 20:37:12 +0200coot(~coot@213.134.190.95) (Ping timeout: 272 seconds)
2022-04-09 20:38:39 +0200motherfsck(~motherfsc@user/motherfsck)
2022-04-09 20:39:21 +0200coot(~coot@213.134.190.95)
2022-04-09 20:39:27 +0200deadmarshal_(~deadmarsh@95.38.117.122) (Ping timeout: 246 seconds)
2022-04-09 20:40:00 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 20:41:59 +0200xkuru(~xkuru@user/xkuru)
2022-04-09 20:43:28 +0200jpds1(~jpds@gateway/tor-sasl/jpds)
2022-04-09 20:44:41 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-09 20:45:45 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
2022-04-09 20:50:33 +0200yauhsien(~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 248 seconds)
2022-04-09 20:50:33 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-04-09 20:50:33 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-04-09 20:50:33 +0200wroathe(~wroathe@user/wroathe)
2022-04-09 20:50:45 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 20:51:04 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-04-09 20:52:43 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-04-09 20:52:57 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-04-09 20:52:59 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-04-09 20:54:29 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-04-09 20:56:55 +0200fef(~thedawn@user/thedawn) (Ping timeout: 240 seconds)
2022-04-09 21:00:46 +0200prolic(~prolic@2800:c70:83:504f:82f:a00d:7059:9ed0)
2022-04-09 21:02:50 +0200jpds1(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-04-09 21:02:58 +0200jpds2(~jpds@gateway/tor-sasl/jpds)
2022-04-09 21:05:22 +0200prolic(~prolic@2800:c70:83:504f:82f:a00d:7059:9ed0) (Ping timeout: 250 seconds)
2022-04-09 21:06:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-09 21:10:52 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-09 21:11:11 +0200prolic(~prolic@170.51.49.166)
2022-04-09 21:11:15 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-04-09 21:11:53 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-09 21:12:10 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 21:15:06 +0200[exa](exa@user/exa/x-3587197) (Remote host closed the connection)
2022-04-09 21:17:13 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 248 seconds)
2022-04-09 21:18:20 +0200kaph(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it)
2022-04-09 21:19:15 +0200liz(~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: Lost terminal)
2022-04-09 21:21:27 +0200kilolympus(~kilolympu@31.205.200.235) (Ping timeout: 256 seconds)
2022-04-09 21:21:33 +0200alphabeta(~kilolympu@31.205.200.235)
2022-04-09 21:22:01 +0200nuh^(~nuh@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection)
2022-04-09 21:23:31 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2022-04-09 21:24:00 +0200sloorush(~sloorush@136.233.9.99) (Ping timeout: 250 seconds)
2022-04-09 21:27:07 +0200alphabeta(~kilolympu@31.205.200.235) (Ping timeout: 256 seconds)
2022-04-09 21:28:37 +0200haskellberry(~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-04-09 21:30:58 +0200kilolympus(~kilolympu@31.205.200.235)
2022-04-09 21:31:04 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-09 21:34:01 +0200prolic(~prolic@170.51.49.166) (Quit: Client closed)
2022-04-09 21:42:06 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-09 21:45:49 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 21:51:10 +0200odnes(~odnes@5-203-221-3.pat.nym.cosmote.net) (Quit: Leaving)
2022-04-09 21:55:10 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2022-04-09 21:56:02 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-09 22:00:52 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 22:01:01 +0200sloorush(~sloorush@2401:4900:2348:df74:c1c2:47b2:6cfe:f055)
2022-04-09 22:01:26 +0200zyklotomic(~ethan@r4-128-61-95-166.res.gatech.edu) (Ping timeout: 268 seconds)
2022-04-09 22:02:42 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-04-09 22:03:08 +0200zyklotomic(~ethan@res388d-128-61-94-217.res.gatech.edu)
2022-04-09 22:03:58 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-04-09 22:05:12 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 22:05:52 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de)
2022-04-09 22:10:44 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 22:10:46 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 22:10:50 +0200zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-04-09 22:12:05 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-04-09 22:12:25 +0200mc47(~mc47@xmonad/TheMC47)
2022-04-09 22:14:30 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
2022-04-09 22:15:20 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de)
2022-04-09 22:15:21 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-09 22:15:21 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de) (Client Quit)
2022-04-09 22:16:26 +0200sloorush(~sloorush@2401:4900:2348:df74:c1c2:47b2:6cfe:f055) (Ping timeout: 250 seconds)
2022-04-09 22:16:37 +0200ishaan(~ishaan@122.161.51.93)
2022-04-09 22:17:48 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com) (Ping timeout: 246 seconds)
2022-04-09 22:19:01 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-04-09 22:19:41 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com)
2022-04-09 22:20:41 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 22:21:18 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2022-04-09 22:22:32 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-09 22:24:48 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com) (Ping timeout: 246 seconds)
2022-04-09 22:25:09 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-09 22:25:20 +0200michalz(~michalz@185.246.204.101) (Remote host closed the connection)
2022-04-09 22:25:57 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com)
2022-04-09 22:26:42 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de)
2022-04-09 22:26:55 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com)
2022-04-09 22:29:34 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-04-09 22:30:35 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 22:31:51 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net)
2022-04-09 22:35:07 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 22:37:22 +0200hololeap(~hololeap@user/hololeap)
2022-04-09 22:38:23 +0200hololeap_(~hololeap@user/hololeap) (Read error: Connection reset by peer)
2022-04-09 22:40:30 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 22:43:33 +0200ss-(~ss-@187.83.249.216.dyn.smithville.net)
2022-04-09 22:45:11 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-04-09 22:45:19 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-09 22:46:16 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-04-09 22:47:27 +0200jakalx(~jakalx@base.jakalx.net)
2022-04-09 22:49:34 +0200acidjnk(~acidjnk@p200300d0c7049f84f45f0b9d7779ba52.dip0.t-ipconnect.de)
2022-04-09 22:50:41 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 22:51:47 +0200son0p(~ff@181.136.122.143)
2022-04-09 22:52:44 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 272 seconds)
2022-04-09 22:55:21 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-09 22:58:33 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving)
2022-04-09 22:58:43 +0200coot(~coot@213.134.190.95)
2022-04-09 23:08:37 +0200son0p(~ff@181.136.122.143) (Read error: Connection reset by peer)
2022-04-09 23:10:05 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-09 23:13:08 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2022-04-09 23:13:49 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-04-09 23:13:49 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-04-09 23:13:49 +0200wroathe(~wroathe@user/wroathe)
2022-04-09 23:18:04 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 272 seconds)
2022-04-09 23:18:49 +0200alp_(~alp@user/alp) (Ping timeout: 248 seconds)
2022-04-09 23:19:05 +0200y04nn(~y04nn@2001:ac8:28:93::a15e)
2022-04-09 23:19:41 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-09 23:20:42 +0200son0p(~ff@181.136.122.143)
2022-04-09 23:23:10 +0200ishaan(~ishaan@122.161.51.93) (Ping timeout: 250 seconds)
2022-04-09 23:26:53 +0200ss-(~ss-@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2022-04-09 23:30:40 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-09 23:32:13 +0200chddr(~Thunderbi@91.226.34.187) (Ping timeout: 260 seconds)
2022-04-09 23:35:45 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-04-09 23:37:25 +0200akegalj(~akegalj@141-136-234-56.dsl.iskon.hr)
2022-04-09 23:39:37 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 248 seconds)
2022-04-09 23:43:15 +0200wyrd(~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
2022-04-09 23:47:24 +0200Dorkside6(~dorkside@208.190.197.222) (Ping timeout: 246 seconds)
2022-04-09 23:47:46 +0200Dorkside6(~dorkside@208.190.197.222)
2022-04-09 23:48:49 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-09 23:49:59 +0200y04nn(~y04nn@2001:ac8:28:93::a15e) (Ping timeout: 260 seconds)
2022-04-09 23:53:29 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 248 seconds)
2022-04-09 23:53:48 +0200inversed(~inversed@94.13.111.159) (Quit: Connection error?!)
2022-04-09 23:54:06 +0200akegalj(~akegalj@141-136-234-56.dsl.iskon.hr) (Quit: leaving)
2022-04-09 23:55:16 +0200wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-04-09 23:58:36 +0200inversed(~inversed@94.13.111.159)