2022-04-09 00:04:20 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
2022-04-09 00:04:51 +0200 | juri_ | (~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 +0200 | dhouthoo | (~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 +0200 | juri_ | (~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 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 00:18:05 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2022-04-09 00:18:16 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 00:19:15 +0200 | xpika | (~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 +0200 | mikoto-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 +0200 | redb | (~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 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2022-04-09 00:31:54 +0200 | jumper141 | (~jumper149@mue-88-130-59-247.dsl.tropolys.de) |
2022-04-09 00:32:00 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.4.1) |
2022-04-09 00:32:21 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
2022-04-09 00:33:39 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:c02d:dd64:a284:8819) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-04-09 00:34:11 +0200 | xpika | (~alan@n122-110-60-225.sun2.vic.optusnet.com.au) |
2022-04-09 00:36:09 +0200 | jumper141 | (~jumper149@mue-88-130-59-247.dsl.tropolys.de) (Ping timeout: 248 seconds) |
2022-04-09 00:38:23 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:4f00:e2a4:4df9:d340:7660) (Ping timeout: 260 seconds) |
2022-04-09 00:44:25 +0200 | eaii^ | (~eaii@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection) |
2022-04-09 00:44:45 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 00:46:31 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-04-09 00:47:01 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
2022-04-09 00:49:33 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
2022-04-09 00:50:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-04-09 00:51:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
2022-04-09 00:54:21 +0200 | seydar | (~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 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.4.1) |
2022-04-09 01:00:37 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
2022-04-09 01:01:47 +0200 | Guest84 | (~Guest84@23.191.80.16) |
2022-04-09 01:02:14 +0200 | Guest84 | (~Guest84@23.191.80.16) (Client Quit) |
2022-04-09 01:02:18 +0200 | Guest8439 | (~Guest84@23.191.80.16) |
2022-04-09 01:02:52 +0200 | unyu | (~pyon@user/pyon) |
2022-04-09 01:03:00 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
2022-04-09 01:04:03 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 268 seconds) |
2022-04-09 01:04:57 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 01:06:30 +0200 | Guest8439 | (~Guest84@23.191.80.16) (Client Quit) |
2022-04-09 01:07:52 +0200 | Guest912 | (~Guest91@123203025126.ctinets.com) |
2022-04-09 01:08:34 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 01:09:03 +0200 | redb | (~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 +0200 | zyklotomic | (~ethan@res380d-128-61-81-124.res.gatech.edu) (Ping timeout: 248 seconds) |
2022-04-09 01:12:54 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 01:13:01 +0200 | Guest912 | (~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 +0200 | zyklotomic | (~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 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 01:19:42 +0200 | avpx | (~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 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Quit: xff0x) |
2022-04-09 01:23:54 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
2022-04-09 01:28:47 +0200 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
2022-04-09 01:28:54 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 01:30:57 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 01:32:14 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
2022-04-09 01:32:29 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Client Quit) |
2022-04-09 01:33:12 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 01:33:52 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
2022-04-09 01:35:25 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 01:35:31 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
2022-04-09 01:35:58 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Client Quit) |
2022-04-09 01:36:19 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
2022-04-09 01:37:14 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Client Quit) |
2022-04-09 01:37:21 +0200 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 268 seconds) |
2022-04-09 01:38:38 +0200 | ornxka | (~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 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 01:39:30 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
2022-04-09 01:40:26 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
2022-04-09 01:40:31 +0200 | sammelweis_ | (~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 +0200 | sammelweis | (~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 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
2022-04-09 01:43:29 +0200 | avpx | (~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 +0200 | redb | (~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 +0200 | seydar | (~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 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
2022-04-09 01:51:16 +0200 | <hololeap> | cool |
2022-04-09 01:52:00 +0200 | avpx | (~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 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
2022-04-09 01:54:00 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
2022-04-09 01:54:49 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) |
2022-04-09 01:59:20 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 02:00:35 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
2022-04-09 02:03:45 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
2022-04-09 02:04:16 +0200 | chenqisu1 | (~chenqisu1@183.217.200.239) |
2022-04-09 02:06:35 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
2022-04-09 02:08:09 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
2022-04-09 02:08:44 +0200 | hololeap | (~hololeap@user/hololeap) |
2022-04-09 02:10:30 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 02:12:00 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2022-04-09 02:15:05 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
2022-04-09 02:16:28 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
2022-04-09 02:17:21 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 256 seconds) |
2022-04-09 02:17:22 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2022-04-09 02:22:15 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
2022-04-09 02:22:43 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
2022-04-09 02:36:45 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 02:39:07 +0200 | lainon | (~lainon@2601:7c0:c500:4d20::484e) |
2022-04-09 02:41:00 +0200 | lainon | (~lainon@2601:7c0:c500:4d20::484e) (Client Quit) |
2022-04-09 02:49:12 +0200 | [_] | [itchyjunk] |
2022-04-09 02:56:09 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
2022-04-09 02:57:35 +0200 | slack1256 | (~slack1256@191.125.227.86) (Ping timeout: 256 seconds) |
2022-04-09 02:59:33 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2022-04-09 02:59:59 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
2022-04-09 03:05:42 +0200 | rawley | (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) |
2022-04-09 03:05:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-04-09 03:08:13 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.122) |
2022-04-09 03:10:46 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2022-04-09 03:11:07 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
2022-04-09 03:12:56 +0200 | deadmarshal_ | (~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 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2022-04-09 03:16:31 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 03:16:53 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2022-04-09 03:17:36 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-04-09 03:17:58 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-04-09 03:18:08 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-04-09 03:19:06 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 268 seconds) |
2022-04-09 03:20:39 +0200 | neurocyte8614492 | (~neurocyte@user/neurocyte) (Ping timeout: 246 seconds) |
2022-04-09 03:20:57 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
2022-04-09 03:24:09 +0200 | jao | (~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 +0200 | redb | (~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 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) |
2022-04-09 03:32:03 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
2022-04-09 03:32:58 +0200 | napping | (~brandon@65.128.49.110) (Quit: leaving) |
2022-04-09 03:34:52 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 03:39:31 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
2022-04-09 03:43:04 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 03:50:45 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
2022-04-09 03:51:35 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
2022-04-09 03:53:15 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-04-09 03:54:26 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 03:59:03 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
2022-04-09 04:00:37 +0200 | seydar | (~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 +0200 | mon_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 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-04-09 04:08:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 04:11:31 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
2022-04-09 04:12:11 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 04:14:28 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 04:14:33 +0200 | Guest8496 | (~Guest84@23.191.80.16) |
2022-04-09 04:14:50 +0200 | dons | waves |
2022-04-09 04:14:54 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
2022-04-09 04:15:31 +0200 | Guest8496 | (~Guest84@23.191.80.16) (Client Quit) |
2022-04-09 04:16:28 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-04-09 04:16:36 +0200 | justOkay | (~justache@user/justache) (Remote host closed the connection) |
2022-04-09 04:17:32 +0200 | justOkay | (~justache@user/justache) |
2022-04-09 04:18:45 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 04:21:54 +0200 | redb | (~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 +0200 | yauhsien | (~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 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 04:36:46 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2022-04-09 04:36:47 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2022-04-09 04:36:47 +0200 | finn_elija | FinnElija |
2022-04-09 04:37:55 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2022-04-09 04:39:11 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
2022-04-09 04:39:53 +0200 | redb | (~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 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
2022-04-09 04:54:20 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
2022-04-09 04:54:49 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-04-09 04:55:41 +0200 | hololeap | (~hololeap@user/hololeap) |
2022-04-09 04:58:20 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
2022-04-09 04:58:21 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 04:58:39 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
2022-04-09 05:01:07 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
2022-04-09 05:03:11 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-04-09 05:07:11 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
2022-04-09 05:20:36 +0200 | Cheveride | (~jackjp3@pool-71-164-77-123.albyny.east.verizon.net) |
2022-04-09 05:20:38 +0200 | Cheveride | (~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 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 268 seconds) |
2022-04-09 05:36:45 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 05:38:24 +0200 | rawley | (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) (Remote host closed the connection) |
2022-04-09 05:55:14 +0200 | wideEyedPupil | (~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 +0200 | ec | (~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 +0200 | deadmarshal_ | (~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 +0200 | toulene | (~toulene@user/toulene) (Read error: Connection reset by peer) |
2022-04-09 06:13:15 +0200 | toulene | (~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 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-04-09 06:15:16 +0200 | seydar | (~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 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
2022-04-09 06:21:17 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
2022-04-09 06:23:51 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
2022-04-09 06:25:29 +0200 | wideEyedPupil | (~wideEyedP@124.189.229.219) (Ping timeout: 248 seconds) |
2022-04-09 06:28:53 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 06:33:58 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
2022-04-09 06:38:49 +0200 | raehik | (~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 +0200 | abastro | (~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 +0200 | benin | (~benin@183.82.204.110) |
2022-04-09 07:20:57 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
2022-04-09 07:21:31 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 07:24:00 +0200 | fef | (~thedawn@user/thedawn) |
2022-04-09 07:27:45 +0200 | frost | (~frost@user/frost) |
2022-04-09 07:27:56 +0200 | frost | (~frost@user/frost) (Write error: Broken pipe) |
2022-04-09 07:28:51 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds) |
2022-04-09 07:35:49 +0200 | razetime | (~quassel@117.254.35.170) |
2022-04-09 07:37:54 +0200 | lavaman | (~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 +0200 | fr33domlover | (~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 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
2022-04-09 07:52:01 +0200 | frost | (~frost@user/frost) |
2022-04-09 07:53:56 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 07:54:00 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
2022-04-09 08:24:47 +0200 | acidjnk | (~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 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2022-04-09 08:28:38 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 08:29:44 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 08:36:36 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-04-09 08:37:11 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
2022-04-09 08:38:06 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 08:41:35 +0200 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
2022-04-09 08:43:13 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
2022-04-09 08:43:22 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 08:45:02 +0200 | zmt00 | (~zmt00@user/zmt00) |
2022-04-09 08:47:47 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
2022-04-09 08:52:52 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2022-04-09 09:01:23 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
2022-04-09 09:04:17 +0200 | abastro | (~abab9579@220.75.216.63) |
2022-04-09 09:05:03 +0200 | razetime | (~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 +0200 | fr33domlover | (~fr33@5.102.204.220) (Ping timeout: 268 seconds) |
2022-04-09 09:09:12 +0200 | fr33domlover | (~fr33@2.53.24.182) |
2022-04-09 09:09:19 +0200 | odnes | (~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 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-04-09 09:15:41 +0200 | yauhsien | (~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 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2022-04-09 09:22:55 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
2022-04-09 09:23:27 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 09:30:00 +0200 | yauhsien | (~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 +0200 | razetime | (~quassel@117.254.35.170) |
2022-04-09 09:40:06 +0200 | coot | (~coot@213.134.190.95) |
2022-04-09 09:44:16 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:94b5:609:c1e4:1399) |
2022-04-09 09:48:48 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 09:49:45 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
2022-04-09 09:57:47 +0200 | derelict | (~derelict@user/derelict) (Quit: bye) |
2022-04-09 10:01:22 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 10:02:53 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
2022-04-09 10:05:45 +0200 | razetime | (~quassel@117.254.35.170) (Remote host closed the connection) |
2022-04-09 10:06:13 +0200 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
2022-04-09 10:06:39 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
2022-04-09 10:08:49 +0200 | dextaa | (~dextaa@user/dextaa) |
2022-04-09 10:10:21 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
2022-04-09 10:10:33 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 10:12:05 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
2022-04-09 10:13:39 +0200 | razetime | (~quassel@117.254.35.170) |
2022-04-09 10:16:52 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2022-04-09 10:18:53 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 10:23:06 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
2022-04-09 10:24:20 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2022-04-09 10:28:50 +0200 | derelict | (~derelict@user/derelict) |
2022-04-09 10:31:30 +0200 | derelict | (~derelict@user/derelict) (Client Quit) |
2022-04-09 10:34:51 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-04-09 10:35:26 +0200 | coot | (~coot@213.134.190.95) |
2022-04-09 10:35:43 +0200 | derelict | (~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 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 248 seconds) |
2022-04-09 10:40:39 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:4f00:6a98:c6e0:4152:29dc) |
2022-04-09 10:41:07 +0200 | razetime | (~quassel@117.254.35.170) (Ping timeout: 256 seconds) |
2022-04-09 10:44:12 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 10:44:12 +0200 | slack1256 | (~slack1256@191.126.227.197) |
2022-04-09 10:47:16 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 10:51:37 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
2022-04-09 10:51:37 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
2022-04-09 10:52:32 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
2022-04-09 10:54:26 +0200 | alp_ | (~alp@user/alp) |
2022-04-09 10:57:25 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 11:00:37 +0200 | chddr | (~Thunderbi@91.226.34.187) |
2022-04-09 11:02:13 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
2022-04-09 11:04:35 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:4f00:6a98:c6e0:4152:29dc) (Remote host closed the connection) |
2022-04-09 11:04:51 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
2022-04-09 11:05:21 +0200 | mastarija | (~mastarija@2a05:4f46:e04:6000:c16d:6f16:8e31:78a1) |
2022-04-09 11:07:35 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 11:09:37 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 268 seconds) |
2022-04-09 11:10:35 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
2022-04-09 11:12:06 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 11:14:20 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
2022-04-09 11:17:44 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 11:17:51 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 11:19:48 +0200 | dextaa | (~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 +0200 | chenqisu1 | (~chenqisu1@183.217.200.239) (Quit: Leaving) |
2022-04-09 11:20:39 +0200 | dextaa | (~dextaa@user/dextaa) |
2022-04-09 11:21:51 +0200 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
2022-04-09 11:21:54 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
2022-04-09 11:22:29 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
2022-04-09 11:27:54 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 11:28:15 +0200 | dextaa | (~dextaa@user/dextaa) |
2022-04-09 11:32:41 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
2022-04-09 11:32:49 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2022-04-09 11:35:53 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
2022-04-09 11:37:53 +0200 | slac26216 | (~slack1256@186.11.100.14) |
2022-04-09 11:38:03 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 11:39:09 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
2022-04-09 11:39:23 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 11:39:31 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
2022-04-09 11:39:45 +0200 | slack1256 | (~slack1256@191.126.227.197) (Ping timeout: 246 seconds) |
2022-04-09 11:42:33 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 11:44:06 +0200 | robosexual | (~spaceoyst@77.223.90.202) |
2022-04-09 11:47:31 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:c02d:dd64:a284:8819) |
2022-04-09 11:48:12 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 11:48:21 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2022-04-09 11:49:32 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 11:50:41 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
2022-04-09 11:53:18 +0200 | robosexual | (~spaceoyst@77.223.90.202) (Quit: Konversation terminated!) |
2022-04-09 11:53:45 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
2022-04-09 11:54:01 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
2022-04-09 11:56:17 +0200 | mastarija | (~mastarija@2a05:4f46:e04:6000:c16d:6f16:8e31:78a1) (Quit: Leaving) |
2022-04-09 11:57:38 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
2022-04-09 11:57:48 +0200 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
2022-04-09 11:58:41 +0200 | dextaa | (~dextaa@user/dextaa) |
2022-04-09 12:12:35 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-04-09 12:16:51 +0200 | fr33domlover | (~fr33@2.53.24.182) (Ping timeout: 246 seconds) |
2022-04-09 12:17:23 +0200 | fr33domlover | (~fr33@2.53.60.247) |
2022-04-09 12:17:53 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
2022-04-09 12:18:28 +0200 | fef | (~thedawn@user/thedawn) |
2022-04-09 12:20:15 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 12:24:25 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
2022-04-09 12:27:05 +0200 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 248 seconds) |
2022-04-09 12:29:42 +0200 | slac26216 | (~slack1256@186.11.100.14) (Remote host closed the connection) |
2022-04-09 12:31:16 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 12:35:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-04-09 12:35:24 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-04-09 12:35:38 +0200 | califax | (~califax@user/califx) |
2022-04-09 12:35:57 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
2022-04-09 12:36:27 +0200 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
2022-04-09 12:40:57 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
2022-04-09 12:41:34 +0200 | kaph_ | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 272 seconds) |
2022-04-09 12:44:07 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 12:46:23 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2022-04-09 12:46:28 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
2022-04-09 12:48:00 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 246 seconds) |
2022-04-09 12:49:20 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 12:52:38 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2022-04-09 12:53:00 +0200 | kaph_ | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
2022-04-09 12:53:43 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
2022-04-09 12:54:40 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
2022-04-09 13:01:00 +0200 | michalz | (~michalz@185.246.204.101) |
2022-04-09 13:01:50 +0200 | shailangsa | (~shailangs@host86-162-150-212.range86-162.btcentralplus.com) (Ping timeout: 272 seconds) |
2022-04-09 13:03:49 +0200 | typetetris | (sid275937@id-275937.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2022-04-09 13:04:19 +0200 | kaph_ | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 268 seconds) |
2022-04-09 13:18:17 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 248 seconds) |
2022-04-09 13:18:39 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:dc35:500f:d0de:de53) |
2022-04-09 13:20:00 +0200 | Neuromancer | (~Neuromanc@user/neuromancer) |
2022-04-09 13:21:35 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Read error: Connection reset by peer) |
2022-04-09 13:22:23 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
2022-04-09 13:23:28 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
2022-04-09 13:24:17 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 13:28:25 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
2022-04-09 13:33:03 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-04-09 13:35:16 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
2022-04-09 13:36:26 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-04-09 13:40:09 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
2022-04-09 13:40:24 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 13:40:39 +0200 | sndr | (~sander@user/sander) (Quit: So long! :)) |
2022-04-09 13:40:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2022-04-09 13:41:45 +0200 | acidjnk | (~acidjnk@pd9e0b763.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2022-04-09 13:43:33 +0200 | sander | (~sander@user/sander) |
2022-04-09 13:44:55 +0200 | sander | sndr |
2022-04-09 13:45:42 +0200 | shailangsa | (~shailangs@host86-186-142-63.range86-186.btcentralplus.com) |
2022-04-09 13:47:30 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 246 seconds) |
2022-04-09 13:47:45 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
2022-04-09 13:48:46 +0200 | gustik | (~gustik@2a01:c844:240e:4d20:38e8:ab4e:3fd6:2e3a) |
2022-04-09 13:49:04 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 13:53:59 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
2022-04-09 13:55:43 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
2022-04-09 13:57:45 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
2022-04-09 14:01:42 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2022-04-09 14:03:05 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 14:03:28 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-04-09 14:04:21 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-04-09 14:06:00 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
2022-04-09 14:07:27 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 14:08:27 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2022-04-09 14:08:27 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
2022-04-09 14:09:18 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-04-09 14:10:54 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
2022-04-09 14:12:04 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-04-09 14:12:18 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2022-04-09 14:13:15 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 14:14:04 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 14:15:53 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2022-04-09 14:16:03 +0200 | alp_ | (~alp@user/alp) |
2022-04-09 14:17:36 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 14:21:45 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
2022-04-09 14:23:24 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 14:23:31 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-04-09 14:25:08 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
2022-04-09 14:28:01 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
2022-04-09 14:28:11 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
2022-04-09 14:30:16 +0200 | dextaa | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
2022-04-09 14:32:17 +0200 | dextaa | (~dextaa@user/dextaa) |
2022-04-09 14:32:58 +0200 | coot | (~coot@213.134.190.95) |
2022-04-09 14:33:33 +0200 | acidjnk | (~acidjnk@p200300d0c7049f84a0b6f4c4560feda0.dip0.t-ipconnect.de) |
2022-04-09 14:33:34 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 14:33:45 +0200 | odnes | (~odnes@5-203-172-196.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
2022-04-09 14:34:00 +0200 | odnes | (~odnes@5-203-172-196.pat.nym.cosmote.net) |
2022-04-09 14:35:51 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-04-09 14:37:23 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-04-09 14:37:34 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
2022-04-09 14:37:59 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
2022-04-09 14:40:24 +0200 | kaph_ | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
2022-04-09 14:41:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2022-04-09 14:42:33 +0200 | yauhsien | (~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 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 14:46:07 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
2022-04-09 14:48:03 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 14:51:35 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
2022-04-09 14:53:54 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 14:59:15 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 15:08:54 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2022-04-09 15:11:17 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-04-09 15:12:40 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2022-04-09 15:16:34 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2022-04-09 15:18:43 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
2022-04-09 15:19:39 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
2022-04-09 15:21:11 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-04-09 15:23:00 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 15:31:25 +0200 | fockerized | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-04-09 15:33:59 +0200 | razetime | (~quassel@117.254.35.170) |
2022-04-09 15:34:10 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-04-09 15:36:34 +0200 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
2022-04-09 15:38:01 +0200 | odnes | (~odnes@5-203-172-196.pat.nym.cosmote.net) (Ping timeout: 248 seconds) |
2022-04-09 15:39:30 +0200 | zyklotomic | (~ethan@res388d-128-61-94-65.res.gatech.edu) (Ping timeout: 246 seconds) |
2022-04-09 15:40:31 +0200 | ubert | (~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de) |
2022-04-09 15:41:12 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
2022-04-09 15:41:38 +0200 | zyklotomic | (~ethan@r4-128-61-95-166.res.gatech.edu) |
2022-04-09 15:48:50 +0200 | ishaan | (~ishaan@122.161.51.93) |
2022-04-09 15:49:22 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
2022-04-09 15:49:35 +0200 | mikoto-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 +0200 | mikoto-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 +0200 | alx741 | (~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 +0200 | foul_owl | (~kerry@23.82.193.88) (Ping timeout: 256 seconds) |
2022-04-09 15:57:45 +0200 | odnes | (~odnes@5-203-130-98.pat.nym.cosmote.net) |
2022-04-09 15:58:27 +0200 | alx741 | (~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 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:c02d:dd64:a284:8819) (Quit: Textual IRC Client: www.textualapp.com) |
2022-04-09 16:03:16 +0200 | abastro | (~abab9579@220.75.216.63) |
2022-04-09 16:03:39 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds) |
2022-04-09 16:05:50 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
2022-04-09 16:07:39 +0200 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
2022-04-09 16:07:43 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-04-09 16:09:47 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.122) (Ping timeout: 256 seconds) |
2022-04-09 16:10:20 +0200 | abastro | (~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 +0200 | abastro | (~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 +0200 | odnes | (~odnes@5-203-130-98.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
2022-04-09 16:11:50 +0200 | odnes | (~odnes@5-203-130-98.pat.nym.cosmote.net) |
2022-04-09 16:12:39 +0200 | foul_owl | (~kerry@23.82.193.88) |
2022-04-09 16:14:30 +0200 | alx741 | (~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 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
2022-04-09 16:18:13 +0200 | acidjnk | (~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 +0200 | mc47 | (~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 +0200 | alx741 | (~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 +0200 | jao | (~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 +0200 | bontaq | (~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 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
2022-04-09 16:25:41 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Client Quit) |
2022-04-09 16:25:49 +0200 | mon_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 +0200 | alp_ | (~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 +0200 | werdnA | (~andrew@114.88.181.56) (Ping timeout: 260 seconds) |
2022-04-09 16:30:37 +0200 | werdnA | (~andrew@114.88.181.56) |
2022-04-09 16:30:51 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-04-09 16:31:21 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-04-09 16:32:09 +0200 | coot | (~coot@213.134.190.95) |
2022-04-09 16:35:11 +0200 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
2022-04-09 16:35:11 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:dc35:500f:d0de:de53) (Read error: Connection reset by peer) |
2022-04-09 16:38:07 +0200 | odnes | (~odnes@5-203-130-98.pat.nym.cosmote.net) (Ping timeout: 256 seconds) |
2022-04-09 16:38:54 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-04-09 16:42:52 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
2022-04-09 16:43:03 +0200 | notzmv | (~zmv@user/notzmv) |
2022-04-09 16:43:05 +0200 | eggplantade | (~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 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.122) |
2022-04-09 16:47:21 +0200 | zebrag | (~chris@user/zebrag) |
2022-04-09 16:49:01 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 16:50:01 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.122) (Ping timeout: 248 seconds) |
2022-04-09 16:50:01 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
2022-04-09 16:56:01 +0200 | <abastro> | Wdym jumping conclusions? |
2022-04-09 16:57:56 +0200 | ishaan | (~ishaan@122.161.51.93) (Quit: Client closed) |
2022-04-09 16:58:55 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 16:59:31 +0200 | alp_ | (~alp@user/alp) |
2022-04-09 16:59:39 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
2022-04-09 17:00:21 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
2022-04-09 17:02:43 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-04-09 17:03:46 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
2022-04-09 17:04:31 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
2022-04-09 17:06:03 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds) |
2022-04-09 17:06:06 +0200 | bahamas | (~lucian@84.232.140.158) |
2022-04-09 17:07:53 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
2022-04-09 17:07:53 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
2022-04-09 17:07:53 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
2022-04-09 17:09:04 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
2022-04-09 17:09:36 +0200 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
2022-04-09 17:09:51 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2022-04-09 17:10:59 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 268 seconds) |
2022-04-09 17:11:05 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2022-04-09 17:11:22 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
2022-04-09 17:13:31 +0200 | ubert | (~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de) (Quit: ubert) |
2022-04-09 17:14:37 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
2022-04-09 17:15:47 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2022-04-09 17:16:53 +0200 | kaph_ | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer) |
2022-04-09 17:18:50 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 17:19:44 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2022-04-09 17:23:27 +0200 | seydar | (~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 +0200 | seydar | (~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 +0200 | cheater | (~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 +0200 | lavaman | (~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 +0200 | seydar | (~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 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
2022-04-09 17:37:09 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-04-09 17:39:09 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 17:44:06 +0200 | hololeap_ | (~hololeap@user/hololeap) |
2022-04-09 17:44:59 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
2022-04-09 17:45:42 +0200 | hololeap | (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
2022-04-09 17:46:35 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
2022-04-09 17:46:44 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
2022-04-09 17:46:46 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
2022-04-09 17:47:08 +0200 | oats | (~thomas@user/oats) (Quit: until later, my friends) |
2022-04-09 17:48:31 +0200 | oats | (~thomas@user/oats) |
2022-04-09 17:48:36 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.122) |
2022-04-09 17:49:41 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 17:51:14 +0200 | odnes | (~odnes@5-203-221-3.pat.nym.cosmote.net) |
2022-04-09 17:52:46 +0200 | oats | (~thomas@user/oats) (Client Quit) |
2022-04-09 17:53:32 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 268 seconds) |
2022-04-09 17:54:00 +0200 | oats | (~thomas@user/oats) |
2022-04-09 17:54:15 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 18:02:15 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
2022-04-09 18:03:07 +0200 | jgeerds | (~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 +0200 | redb | (~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 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 240 seconds) |
2022-04-09 18:10:48 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.122) (Ping timeout: 268 seconds) |
2022-04-09 18:12:39 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 268 seconds) |
2022-04-09 18:13:16 +0200 | haskellberry | (~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 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2022-04-09 18:14:03 +0200 | stefan-_ | (~cri@42dots.de) |
2022-04-09 18:15:35 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
2022-04-09 18:16:26 +0200 | <maerwald> | what? :D |
2022-04-09 18:16:51 +0200 | Alleria | (~textual@user/alleria) (Read error: Connection reset by peer) |
2022-04-09 18:17:03 +0200 | benin | (~benin@183.82.204.110) |
2022-04-09 18:17:07 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2022-04-09 18:19:31 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-04-09 18:22:13 +0200 | vicfred | (~vicfred@user/vicfred) |
2022-04-09 18:22:57 +0200 | razetime | (~quassel@117.254.35.170) (Ping timeout: 256 seconds) |
2022-04-09 18:23:56 +0200 | cheater | (~Username@user/cheater) |
2022-04-09 18:27:11 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
2022-04-09 18:27:37 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 248 seconds) |
2022-04-09 18:29:14 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-04-09 18:29:27 +0200 | kayvank | (~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 +0200 | eggplantade | (~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 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
2022-04-09 18:44:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2022-04-09 18:45:35 +0200 | zaquest | (~notzaques@5.130.79.72) |
2022-04-09 18:53:00 +0200 | redb | (~nmh@136.49.49.211) |
2022-04-09 18:54:24 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.122) |
2022-04-09 18:56:46 +0200 | ubert | (~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de) |
2022-04-09 18:57:29 +0200 | werdnA | (~andrew@114.88.181.56) (Ping timeout: 248 seconds) |
2022-04-09 18:58:29 +0200 | werdnA | (~andrew@114.88.181.56) |
2022-04-09 18:58:56 +0200 | ubert | (~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de) (Client Quit) |
2022-04-09 18:59:13 +0200 | MajorBiscuit | (~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 +0200 | notzmv | (~zmv@user/notzmv) |
2022-04-09 19:04:55 +0200 | vicfred | (~vicfred@user/vicfred) |
2022-04-09 19:07:51 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2022-04-09 19:08:16 +0200 | geekosaur | (~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 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
2022-04-09 19:15:39 +0200 | MajorBiscuit | (~MajorBisc@62.233.220.137) (Ping timeout: 256 seconds) |
2022-04-09 19:18:09 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Quit: mikoto-chan) |
2022-04-09 19:19:38 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-04-09 19:19:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-04-09 19:19:59 +0200 | derelict | (~derelict@user/derelict) (Quit: bye) |
2022-04-09 19:20:15 +0200 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
2022-04-09 19:21:25 +0200 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Quit: WeeChat 3.3) |
2022-04-09 19:23:23 +0200 | derelict | (~derelict@user/derelict) |
2022-04-09 19:25:25 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
2022-04-09 19:25:43 +0200 | prolic | (~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 +0200 | jgeerds | (~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 +0200 | econo | (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 +0200 | lavaman | (~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 +0200 | fef | (~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 +0200 | seydar | (~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 +0200 | jgeerds | (~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 +0200 | eggplantade | (~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 +0200 | neurocyte8614492 | (~neurocyte@IP-094046070107.dynamic.medianet-world.de) |
2022-04-09 19:54:25 +0200 | neurocyte8614492 | (~neurocyte@IP-094046070107.dynamic.medianet-world.de) (Changing host) |
2022-04-09 19:54:25 +0200 | neurocyte8614492 | (~neurocyte@user/neurocyte) |
2022-04-09 19:54:27 +0200 | yauhsien | (~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 +0200 | yauhsien | (~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 +0200 | oats | (~thomas@user/oats) (Quit: until later, my friends) |
2022-04-09 19:56:53 +0200 | vicfred | (~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 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 256 seconds) |
2022-04-09 19:57:41 +0200 | oats | (~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 +0200 | sloorush | (~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 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-04-09 20:04:15 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2022-04-09 20:04:23 +0200 | raehik | (~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 +0200 | deadmarshal_ | (~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 +0200 | fr33domlover | (~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 +0200 | oats | (~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 +0200 | oats | (~thomas@user/oats) |
2022-04-09 20:13:27 +0200 | lavaman | (~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 +0200 | Sgeo | (~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 +0200 | raym | (~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 +0200 | nuh^ | (~nuh@c-24-99-107-170.hsd1.ga.comcast.net) |
2022-04-09 20:19:10 +0200 | raym | (~raym@user/raym) |
2022-04-09 20:22:02 +0200 | prolic | (~prolic@170.51.49.166) (Ping timeout: 250 seconds) |
2022-04-09 20:25:35 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
2022-04-09 20:27:15 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2022-04-09 20:30:20 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Read error: Connection reset by peer) |
2022-04-09 20:31:15 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2022-04-09 20:33:11 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
2022-04-09 20:33:37 +0200 | chddr | (~Thunderbi@91.226.34.187) (Read error: Connection reset by peer) |
2022-04-09 20:34:03 +0200 | chddr | (~Thunderbi@91.226.34.187) |
2022-04-09 20:34:43 +0200 | fef | (~thedawn@user/thedawn) |
2022-04-09 20:34:56 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-04-09 20:35:07 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.122) |
2022-04-09 20:35:56 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 272 seconds) |
2022-04-09 20:37:12 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 272 seconds) |
2022-04-09 20:38:39 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
2022-04-09 20:39:21 +0200 | coot | (~coot@213.134.190.95) |
2022-04-09 20:39:27 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.122) (Ping timeout: 246 seconds) |
2022-04-09 20:40:00 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 20:41:59 +0200 | xkuru | (~xkuru@user/xkuru) |
2022-04-09 20:43:28 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
2022-04-09 20:44:41 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
2022-04-09 20:45:45 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
2022-04-09 20:50:33 +0200 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
2022-04-09 20:50:33 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-04-09 20:50:33 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-04-09 20:50:33 +0200 | wroathe | (~wroathe@user/wroathe) |
2022-04-09 20:50:45 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 20:51:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2022-04-09 20:52:43 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2022-04-09 20:52:57 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-04-09 20:52:59 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
2022-04-09 20:54:29 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-04-09 20:56:55 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
2022-04-09 21:00:46 +0200 | prolic | (~prolic@2800:c70:83:504f:82f:a00d:7059:9ed0) |
2022-04-09 21:02:50 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-04-09 21:02:58 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
2022-04-09 21:05:22 +0200 | prolic | (~prolic@2800:c70:83:504f:82f:a00d:7059:9ed0) (Ping timeout: 250 seconds) |
2022-04-09 21:06:52 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-04-09 21:10:52 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-04-09 21:11:11 +0200 | prolic | (~prolic@170.51.49.166) |
2022-04-09 21:11:15 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
2022-04-09 21:11:53 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
2022-04-09 21:12:10 +0200 | seydar | (~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 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
2022-04-09 21:18:20 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
2022-04-09 21:19:15 +0200 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: Lost terminal) |
2022-04-09 21:21:27 +0200 | kilolympus | (~kilolympu@31.205.200.235) (Ping timeout: 256 seconds) |
2022-04-09 21:21:33 +0200 | alphabeta | (~kilolympu@31.205.200.235) |
2022-04-09 21:22:01 +0200 | nuh^ | (~nuh@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection) |
2022-04-09 21:23:31 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
2022-04-09 21:24:00 +0200 | sloorush | (~sloorush@136.233.9.99) (Ping timeout: 250 seconds) |
2022-04-09 21:27:07 +0200 | alphabeta | (~kilolympu@31.205.200.235) (Ping timeout: 256 seconds) |
2022-04-09 21:28:37 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-04-09 21:30:58 +0200 | kilolympus | (~kilolympu@31.205.200.235) |
2022-04-09 21:31:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-04-09 21:34:01 +0200 | prolic | (~prolic@170.51.49.166) (Quit: Client closed) |
2022-04-09 21:42:06 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-04-09 21:45:49 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
2022-04-09 21:51:10 +0200 | odnes | (~odnes@5-203-221-3.pat.nym.cosmote.net) (Quit: Leaving) |
2022-04-09 21:55:10 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2022-04-09 21:56:02 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-04-09 22:00:52 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 22:01:01 +0200 | sloorush | (~sloorush@2401:4900:2348:df74:c1c2:47b2:6cfe:f055) |
2022-04-09 22:01:26 +0200 | zyklotomic | (~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 +0200 | zyklotomic | (~ethan@res388d-128-61-94-217.res.gatech.edu) |
2022-04-09 22:03:58 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
2022-04-09 22:05:12 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 22:05:52 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
2022-04-09 22:10:44 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 22:10:46 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 22:10:50 +0200 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
2022-04-09 22:12:05 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2022-04-09 22:12:25 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2022-04-09 22:14:30 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
2022-04-09 22:15:20 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
2022-04-09 22:15:21 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
2022-04-09 22:15:21 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Client Quit) |
2022-04-09 22:16:26 +0200 | sloorush | (~sloorush@2401:4900:2348:df74:c1c2:47b2:6cfe:f055) (Ping timeout: 250 seconds) |
2022-04-09 22:16:37 +0200 | ishaan | (~ishaan@122.161.51.93) |
2022-04-09 22:17:48 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Ping timeout: 246 seconds) |
2022-04-09 22:19:01 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
2022-04-09 22:19:41 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
2022-04-09 22:20:41 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 22:21:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
2022-04-09 22:22:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2022-04-09 22:24:48 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Ping timeout: 246 seconds) |
2022-04-09 22:25:09 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
2022-04-09 22:25:20 +0200 | michalz | (~michalz@185.246.204.101) (Remote host closed the connection) |
2022-04-09 22:25:57 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
2022-04-09 22:26:42 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
2022-04-09 22:26:55 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
2022-04-09 22:29:34 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
2022-04-09 22:30:35 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 22:31:51 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
2022-04-09 22:35:07 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
2022-04-09 22:37:22 +0200 | hololeap | (~hololeap@user/hololeap) |
2022-04-09 22:38:23 +0200 | hololeap_ | (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
2022-04-09 22:40:30 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 22:43:33 +0200 | ss- | (~ss-@187.83.249.216.dyn.smithville.net) |
2022-04-09 22:45:11 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2022-04-09 22:45:19 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
2022-04-09 22:46:16 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2022-04-09 22:47:27 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-04-09 22:49:34 +0200 | acidjnk | (~acidjnk@p200300d0c7049f84f45f0b9d7779ba52.dip0.t-ipconnect.de) |
2022-04-09 22:50:41 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 22:51:47 +0200 | son0p | (~ff@181.136.122.143) |
2022-04-09 22:52:44 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 272 seconds) |
2022-04-09 22:55:21 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
2022-04-09 22:58:33 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
2022-04-09 22:58:43 +0200 | coot | (~coot@213.134.190.95) |
2022-04-09 23:08:37 +0200 | son0p | (~ff@181.136.122.143) (Read error: Connection reset by peer) |
2022-04-09 23:10:05 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-04-09 23:13:08 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2022-04-09 23:13:49 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-04-09 23:13:49 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-04-09 23:13:49 +0200 | wroathe | (~wroathe@user/wroathe) |
2022-04-09 23:18:04 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 272 seconds) |
2022-04-09 23:18:49 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
2022-04-09 23:19:05 +0200 | y04nn | (~y04nn@2001:ac8:28:93::a15e) |
2022-04-09 23:19:41 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
2022-04-09 23:20:42 +0200 | son0p | (~ff@181.136.122.143) |
2022-04-09 23:23:10 +0200 | ishaan | (~ishaan@122.161.51.93) (Ping timeout: 250 seconds) |
2022-04-09 23:26:53 +0200 | ss- | (~ss-@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
2022-04-09 23:30:40 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
2022-04-09 23:32:13 +0200 | chddr | (~Thunderbi@91.226.34.187) (Ping timeout: 260 seconds) |
2022-04-09 23:35:45 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2022-04-09 23:37:25 +0200 | akegalj | (~akegalj@141-136-234-56.dsl.iskon.hr) |
2022-04-09 23:39:37 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
2022-04-09 23:43:15 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
2022-04-09 23:47:24 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Ping timeout: 246 seconds) |
2022-04-09 23:47:46 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
2022-04-09 23:48:49 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-04-09 23:49:59 +0200 | y04nn | (~y04nn@2001:ac8:28:93::a15e) (Ping timeout: 260 seconds) |
2022-04-09 23:53:29 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 248 seconds) |
2022-04-09 23:53:48 +0200 | inversed | (~inversed@94.13.111.159) (Quit: Connection error?!) |
2022-04-09 23:54:06 +0200 | akegalj | (~akegalj@141-136-234-56.dsl.iskon.hr) (Quit: leaving) |
2022-04-09 23:55:16 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
2022-04-09 23:58:36 +0200 | inversed | (~inversed@94.13.111.159) |