| 2022-03-13 00:01:16 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-13 00:05:49 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2022-03-13 00:06:15 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-03-13 00:07:12 +0100 | ubert | (~Thunderbi@p200300ecdf19b7a24d515817a15e430d.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-03-13 00:08:54 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) (Remote host closed the connection) |
| 2022-03-13 00:11:36 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 2022-03-13 00:11:45 +0100 | fendor | (~fendor@77.119.210.182.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-03-13 00:11:49 +0100 | Topsi | (~Tobias@dyndsl-095-033-019-161.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-03-13 00:12:06 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-03-13 00:15:36 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 00:17:02 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:32c5:282d:37c:e03) (Quit: bye) |
| 2022-03-13 00:18:43 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-13 00:19:59 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-13 00:23:06 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Ping timeout: 250 seconds) |
| 2022-03-13 00:23:20 +0100 | steven1 | (~steven@172.92.136.203) |
| 2022-03-13 00:24:53 +0100 | <steven1> | hello, let's say I have a Monad stack with IO as base called AppM, and a few functions of type AppM (STM ()). Is it possible for me to atomically compose these functions? e.g. foo :: AppM (STM ()), bar :: AppM (STM()), is there some way to do `atomically $ foo >> bar` ? |
| 2022-03-13 00:25:21 +0100 | <steven1> | clearly what I wrote doesn't type check, but not sure if there's a way to compose these things |
| 2022-03-13 00:26:12 +0100 | <steven1> | what I did is something like `do foo' <- foo; bar' <- bar; liftIO $ atomically $ foo' >> bar'` but it seems verbose |
| 2022-03-13 00:30:21 +0100 | <steven1> | I guess I need something like liftSTM with type STM a -> IO a, which matches the type of atomically but is not the same thing |
| 2022-03-13 00:32:08 +0100 | <steven1> | hmm maybe unsafePrimToIO, no clue if it will do what I want though |
| 2022-03-13 00:36:30 +0100 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-03-13 00:38:12 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-03-13 00:42:08 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) |
| 2022-03-13 00:42:12 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-03-13 00:42:31 +0100 | <hololeap> | do { x <- foo ; y <- bar ; liftIO $ atomically $ x >> y } :: AppM () |
| 2022-03-13 00:42:39 +0100 | <hololeap> | assuming AppM has a MonadIO instance |
| 2022-03-13 00:43:04 +0100 | <jackdk> | I think your conjectured `liftSTM` breaks the STM abstraction |
| 2022-03-13 00:44:05 +0100 | <hololeap> | ha I literally just repeated your code. sorry, I can't read |
| 2022-03-13 00:45:11 +0100 | <steven1> | jackdk: yeah, I was kind of thinking that's the case |
| 2022-03-13 00:45:14 +0100 | <jackdk> | You've constructed some strange-looking types which I haven't used when I last used STM: you have actions `foo` and `bar` which decide on some STM swizzling to do, and the you want to fuse them into a transaction and run it. It feels like every bit of that is said by the code you wrote, without much additional fluff |
| 2022-03-13 00:45:48 +0100 | <steven1> | so foo and bar are really just doing reader stuff (getting a TChan from the reader state) |
| 2022-03-13 00:45:58 +0100 | <steven1> | so they should be fine to run inside the transaction |
| 2022-03-13 00:46:16 +0100 | <jackdk> | It looks like the combined transaction is `liftA2 (*>) foo bar` |
| 2022-03-13 00:46:50 +0100 | <steven1> | hm I guess so |
| 2022-03-13 00:46:56 +0100 | <steven1> | let me double check |
| 2022-03-13 00:47:03 +0100 | <hololeap> | you can use the version of 'atomically' from UnliftIO.STM which would make the 'liftIO' redundant |
| 2022-03-13 00:47:43 +0100 | <jackdk> | I was about to suggest defining `atomically = liftIO . STM.atomically` somewhere to cut noise but yeah that sounds fine |
| 2022-03-13 00:48:04 +0100 | <jackdk> | at which point you have `atomically $ liftA2 (*>) foo bar` |
| 2022-03-13 00:48:36 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f5489cda852442edc84.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-13 00:48:55 +0100 | <steven1> | right I think I'm seeing now |
| 2022-03-13 00:49:02 +0100 | <steven1> | I think I just need atomically <$> do foo; bar; |
| 2022-03-13 00:49:48 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-13 00:50:44 +0100 | <steven1> | wait that's not it |
| 2022-03-13 00:50:51 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-03-13 00:50:57 +0100 | <hololeap> | liftA2 (*>) foo bar >>= atomically |
| 2022-03-13 00:50:59 +0100 | <hololeap> | right? |
| 2022-03-13 00:51:27 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-03-13 00:51:49 +0100 | <jackdk> | Think so. Does it typecheck? Because I'm used to seeing the atomically at the start of an expr, I would probably flip it around with `=<<` |
| 2022-03-13 00:51:57 +0100 | <steven1> | lemme try |
| 2022-03-13 00:52:10 +0100 | <steven1> | but basically next I'm trying to use do notation and bind values |
| 2022-03-13 00:52:36 +0100 | <steven1> | yeah that works so far |
| 2022-03-13 00:55:00 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f5489cda852442edc84.dip0.t-ipconnect.de) |
| 2022-03-13 00:55:16 +0100 | <steven1> | I was trying `liftA2 (>>=) foo (\f -> bar) >>= atomically` but that doesn't seem to work |
| 2022-03-13 00:56:06 +0100 | <steven1> | liftA2 (>>=) is confusing me haha, I need to think about this |
| 2022-03-13 00:56:28 +0100 | <steven1> | ah I see why it doesn't work |
| 2022-03-13 00:56:30 +0100 | <hololeap> | :t liftA2 (>>=) |
| 2022-03-13 00:56:31 +0100 | <lambdabot> | (Monad m, Applicative f) => f (m a) -> f (a -> m b) -> f (m b) |
| 2022-03-13 00:56:42 +0100 | <steven1> | yeah |
| 2022-03-13 01:02:49 +0100 | <hololeap> | atomically =<< getCompose (Compose foo *> Compose bar) |
| 2022-03-13 01:02:56 +0100 | <hololeap> | but now we're just getting silly |
| 2022-03-13 01:05:31 +0100 | <steven1> | but it seems like I can't use the output of foo in bar. I think that makes sense since foo could run IO and you shouldn't run IO in STM. But now I'm trying to find an escape hatch |
| 2022-03-13 01:05:53 +0100 | <steven1> | like maybe something like withRunInIO exception it's withRunInSTM (doesn't exist) |
| 2022-03-13 01:05:58 +0100 | <steven1> | except* |
| 2022-03-13 01:06:29 +0100 | <hololeap> | you said that foo was AppM (STM ()) |
| 2022-03-13 01:06:36 +0100 | <steven1> | yep |
| 2022-03-13 01:06:44 +0100 | <hololeap> | so what output are you talking about? |
| 2022-03-13 01:06:47 +0100 | <steven1> | I can also write AppM a -> a no problem |
| 2022-03-13 01:06:56 +0100 | <steven1> | albeit not safe in general, but safe in this case at least |
| 2022-03-13 01:07:34 +0100 | <hololeap> | I really don't think you want to be breaking the semantics of the STM monad here. it sounds like you just need to do a little bit of tetris |
| 2022-03-13 01:08:22 +0100 | <steven1> | well I think it's safe because the only AppM logic I'm using here is reader |
| 2022-03-13 01:08:35 +0100 | <steven1> | you can pretend AppM is Reader TChan |
| 2022-03-13 01:08:59 +0100 | <steven1> | I just read the tchan then do some STM stuff with it |
| 2022-03-13 01:09:58 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-13 01:10:03 +0100 | <hololeap> | ok... but why do you need some escape hatch for that? |
| 2022-03-13 01:11:37 +0100 | <steven1> | I don't strictly need it, just want to see if I can compose AppM (STM ()) without extracting the STMs beforehand like we said |
| 2022-03-13 01:13:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-13 01:13:22 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2022-03-13 01:13:33 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-13 01:14:33 +0100 | <hololeap> | you can use Compose on `AppM (STM ())`, which will give you `Compose AppM STM ()`. this is an Applicative and you can treat it as such |
| 2022-03-13 01:14:46 +0100 | <hololeap> | it also sounds like AppM could be written as a monad transformer |
| 2022-03-13 01:14:53 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-03-13 01:14:57 +0100 | <steven1> | AppM is a transformer in practice |
| 2022-03-13 01:15:01 +0100 | <steven1> | it's a yesod stack |
| 2022-03-13 01:15:12 +0100 | <hololeap> | oh, so it needs to have IO at the bottom |
| 2022-03-13 01:15:15 +0100 | <steven1> | I need monad in this case |
| 2022-03-13 01:15:16 +0100 | <steven1> | yep |
| 2022-03-13 01:17:25 +0100 | mcglk | (~mcglk@131.191.49.120) (Ping timeout: 272 seconds) |
| 2022-03-13 01:17:39 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-13 01:18:18 +0100 | <hololeap> | it sounds like you can just STM as it's intended to be used. if it ends up being a little "verbose", oh well. at least it will be readable |
| 2022-03-13 01:19:44 +0100 | mcglk | (~mcglk@131.191.49.120) |
| 2022-03-13 01:25:18 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 01:25:18 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 01:27:37 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-03-13 01:29:54 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-03-13 01:29:54 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-03-13 01:29:56 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-13 01:30:27 +0100 | mcglk | (~mcglk@131.191.49.120) (Ping timeout: 252 seconds) |
| 2022-03-13 01:31:38 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 01:31:38 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 01:32:52 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-13 01:35:23 +0100 | mcglk | (~mcglk@131.191.49.120) |
| 2022-03-13 01:36:04 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24) |
| 2022-03-13 01:37:30 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24) (Client Quit) |
| 2022-03-13 01:41:35 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-13 01:42:03 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-13 01:42:10 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-03-13 01:43:42 +0100 | <steven1> | hololeap: yeah, I think you're right. even if I find a way it looks like it will be complicated |
| 2022-03-13 01:43:45 +0100 | <steven1> | thanks for looking |
| 2022-03-13 01:44:39 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Ping timeout: 272 seconds) |
| 2022-03-13 01:45:51 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-03-13 01:46:13 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Ping timeout: 240 seconds) |
| 2022-03-13 01:49:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-13 01:49:47 +0100 | kilolympus | (~kilolympu@31.205.200.235) |
| 2022-03-13 01:51:53 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-03-13 01:52:15 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-03-13 01:52:55 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-03-13 01:53:57 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) (Remote host closed the connection) |
| 2022-03-13 02:01:06 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) |
| 2022-03-13 02:03:16 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:f584:7ec0:6393:1fab) (Ping timeout: 245 seconds) |
| 2022-03-13 02:06:45 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-03-13 02:07:16 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 2022-03-13 02:10:58 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-13 02:11:41 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-13 02:16:28 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-13 02:17:05 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-13 02:20:40 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-13 02:20:43 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-13 02:20:58 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2022-03-13 02:21:15 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-13 02:26:00 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2022-03-13 02:29:09 +0100 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) |
| 2022-03-13 02:29:57 +0100 | InstX1 | (~Liam@2600:1006:b000:77d5:bc49:765f:3d07:48c5) |
| 2022-03-13 02:31:45 +0100 | mmhat | (~mmh@55d42539.access.ecotel.net) (Quit: WeeChat 3.4) |
| 2022-03-13 02:33:09 +0100 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-13 02:34:02 +0100 | <nomagno> | Hey! I'm not sure if this is on-topic enough, but any idea how I'm supposed to represent the S combinator in an SKI combinator calculus binary tree? Is 'Sxyz' usually represented (S(x)(y(z))) or (S(x(y))(z))? |
| 2022-03-13 02:34:30 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-13 02:34:39 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-13 02:39:05 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f5489cda852442edc84.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2022-03-13 02:39:47 +0100 | vysn | (~vysn@user/vysn) |
| 2022-03-13 02:41:25 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-03-13 02:41:46 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-03-13 02:43:56 +0100 | dsrt^ | (~dsrt@50.232.121.75) (Ping timeout: 250 seconds) |
| 2022-03-13 02:46:17 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 02:47:12 +0100 | lottaquestions | (~nick@104.221.94.126) |
| 2022-03-13 02:47:16 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 2022-03-13 02:47:29 +0100 | namkeleser | (~namkelese@101.175.104.107) |
| 2022-03-13 02:54:40 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-13 02:58:53 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-13 02:59:39 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-13 03:07:48 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2022-03-13 03:10:27 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-03-13 03:12:12 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-03-13 03:13:48 +0100 | InstX1_ | (~Liam@2601:6c4:4080:3f80:9962:6676:58ee:b00c) |
| 2022-03-13 03:14:03 +0100 | jao | (~jao@45.134.142.222) |
| 2022-03-13 03:16:52 +0100 | InstX1 | (~Liam@2600:1006:b000:77d5:bc49:765f:3d07:48c5) (Ping timeout: 250 seconds) |
| 2022-03-13 03:20:27 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-13 03:22:16 +0100 | razetime | (~quassel@117.254.34.148) |
| 2022-03-13 03:22:51 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-13 03:22:51 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-13 03:22:51 +0100 | finn_elija | FinnElija |
| 2022-03-13 03:24:44 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-13 03:24:44 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-13 03:24:44 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-13 03:25:56 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-03-13 03:25:58 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 2022-03-13 03:26:12 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-03-13 03:26:16 +0100 | alMalsamo | lumberjack123 |
| 2022-03-13 03:35:28 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2022-03-13 03:36:33 +0100 | mreh | (~matthew@host86-172-33-212.range86-172.btcentralplus.com) (Quit: Lost terminal) |
| 2022-03-13 03:36:57 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Ping timeout: 252 seconds) |
| 2022-03-13 03:41:54 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) (Remote host closed the connection) |
| 2022-03-13 03:42:26 +0100 | jushur | (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 2022-03-13 03:50:33 +0100 | InstX1 | (~Liam@2601:6c4:4080:3f80:745f:93dc:9823:cd45) |
| 2022-03-13 03:51:00 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-13 03:51:48 +0100 | InstX1_ | (~Liam@2601:6c4:4080:3f80:9962:6676:58ee:b00c) (Ping timeout: 240 seconds) |
| 2022-03-13 03:55:43 +0100 | InstX1 | Inst |
| 2022-03-13 03:58:16 +0100 | shriekingnoise_ | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-03-13 04:01:23 +0100 | retroid_ | (~retro@2e40edd9.skybroadband.com) (Quit: Connection error?!) |
| 2022-03-13 04:02:20 +0100 | md5 | (~md5@2e40edd9.skybroadband.com) |
| 2022-03-13 04:03:00 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-13 04:03:44 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Quit: Leaving) |
| 2022-03-13 04:06:30 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-03-13 04:06:31 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-03-13 04:12:24 +0100 | lainon | (~lainon@2601:7c0:c500:4d20::8099) |
| 2022-03-13 04:13:20 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-03-13 04:15:40 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-03-13 04:17:54 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-03-13 04:17:59 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-03-13 04:18:40 +0100 | lainon | (~lainon@2601:7c0:c500:4d20::8099) (Quit: Leaving) |
| 2022-03-13 04:19:26 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-03-13 04:22:03 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Ping timeout: 252 seconds) |
| 2022-03-13 04:31:01 +0100 | td_ | (~td@muedsl-82-207-238-211.citykom.de) (Ping timeout: 256 seconds) |
| 2022-03-13 04:32:41 +0100 | td_ | (~td@muedsl-82-207-238-124.citykom.de) |
| 2022-03-13 04:36:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2022-03-13 04:37:35 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 256 seconds) |
| 2022-03-13 04:38:00 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-03-13 04:42:24 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-13 04:43:49 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-03-13 04:44:32 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-03-13 04:44:48 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) |
| 2022-03-13 04:45:01 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-03-13 04:47:41 +0100 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-03-13 04:47:45 +0100 | razetime | (~quassel@117.254.34.148) (Read error: Connection reset by peer) |
| 2022-03-13 04:48:23 +0100 | namkeleser | (~namkelese@101.175.104.107) (Quit: Client closed) |
| 2022-03-13 04:51:36 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-13 04:51:55 +0100 | Vajb | (~Vajb@85-76-32-82-nat.elisa-mobile.fi) |
| 2022-03-13 04:58:33 +0100 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-03-13 04:59:01 +0100 | steven1 | (~steven@172.92.136.203) (Quit: WeeChat 3.2) |
| 2022-03-13 05:00:18 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-13 05:02:42 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 05:02:42 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 05:07:30 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2022-03-13 05:08:29 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2022-03-13 05:11:28 +0100 | razetime | (~quassel@117.254.34.148) |
| 2022-03-13 05:11:45 +0100 | Vajb | (~Vajb@85-76-32-82-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-03-13 05:11:56 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-13 05:19:57 +0100 | mbuf | (~Shakthi@182.77.107.139) |
| 2022-03-13 05:21:46 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 05:22:32 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2022-03-13 05:22:32 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2022-03-13 05:37:43 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-03-13 05:37:57 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2022-03-13 05:40:20 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2022-03-13 05:46:05 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 05:48:29 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-13 05:50:54 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-13 05:51:09 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-13 05:56:38 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-03-13 05:57:48 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-03-13 06:01:58 +0100 | jao | (~jao@45.134.142.222) (Ping timeout: 250 seconds) |
| 2022-03-13 06:02:42 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-03-13 06:03:41 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Ping timeout: 272 seconds) |
| 2022-03-13 06:07:00 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:745f:93dc:9823:cd45) (Ping timeout: 240 seconds) |
| 2022-03-13 06:07:01 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 2022-03-13 06:07:17 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-13 06:11:40 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-13 06:13:17 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:d951:6ac8:2fc8:884f) |
| 2022-03-13 06:18:16 +0100 | mbuf | (~Shakthi@182.77.107.139) (Quit: Leaving) |
| 2022-03-13 06:21:53 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-13 06:22:10 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-03-13 06:24:57 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-03-13 06:26:57 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:d951:6ac8:2fc8:884f) (Ping timeout: 240 seconds) |
| 2022-03-13 06:27:02 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Remote host closed the connection) |
| 2022-03-13 06:27:26 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-13 06:27:28 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Remote host closed the connection) |
| 2022-03-13 06:29:48 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2022-03-13 06:31:45 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-13 06:36:15 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Ping timeout: 252 seconds) |
| 2022-03-13 06:50:58 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-13 06:52:06 +0100 | deadmarshal_ | (~deadmarsh@95.38.118.199) |
| 2022-03-13 06:55:48 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-03-13 06:56:17 +0100 | sagax | (~sagax_nb@user/sagax) (Quit: Konversation terminated!) |
| 2022-03-13 06:56:24 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-13 06:57:41 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-03-13 06:57:55 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-03-13 07:05:16 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-03-13 07:07:58 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:b953:8441:783e:37ce) |
| 2022-03-13 07:09:38 +0100 | zebrag | (~chris@user/zebrag) (Client Quit) |
| 2022-03-13 07:10:30 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-13 07:10:30 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-13 07:10:30 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-13 07:13:50 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-13 07:15:39 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 07:21:13 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-13 07:23:45 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-13 07:23:46 +0100 | phma | (phma@2001:5b0:211b:c418:9495:8cbf:af11:60bb) |
| 2022-03-13 07:26:14 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-13 07:34:36 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-13 07:34:41 +0100 | vglfr | (~vglfr@88.155.30.168) |
| 2022-03-13 07:34:52 +0100 | shanemikel | (~shanemike@desk.roadwar.net) (Ping timeout: 268 seconds) |
| 2022-03-13 07:36:07 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-03-13 07:39:16 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-03-13 07:39:32 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-03-13 07:42:17 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-13 07:43:44 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-03-13 07:45:55 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-03-13 07:46:15 +0100 | kmein | (~weechat@user/kmein) |
| 2022-03-13 07:46:39 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 2022-03-13 07:47:24 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 07:48:49 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-13 07:52:02 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-13 07:52:28 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2022-03-13 07:58:12 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2022-03-13 08:05:49 +0100 | zopsi | (~zopsi@104-237-136-227.ip.linodeusercontent.com) (Quit: Oops) |
| 2022-03-13 08:13:38 +0100 | acidjnk | (~acidjnk@p200300d0c7049f0938401d00e866d128.dip0.t-ipconnect.de) |
| 2022-03-13 08:17:08 +0100 | alp | (~alp@user/alp) |
| 2022-03-13 08:20:22 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 2022-03-13 08:21:51 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-13 08:23:39 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-03-13 08:29:08 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 08:31:48 +0100 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-03-13 08:31:57 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-13 08:34:24 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-03-13 08:40:58 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-13 08:43:20 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-03-13 08:51:33 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-03-13 08:56:21 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:f584:7ec0:6393:1fab) |
| 2022-03-13 09:00:56 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:f584:7ec0:6393:1fab) (Ping timeout: 250 seconds) |
| 2022-03-13 09:08:08 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-13 09:10:19 +0100 | toulene | (~toulene@user/toulene) (Read error: Connection reset by peer) |
| 2022-03-13 09:11:12 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:4640:7a34:e565:3bea) |
| 2022-03-13 09:11:49 +0100 | toulene | (~toulene@user/toulene) |
| 2022-03-13 09:12:51 +0100 | toulene | (~toulene@user/toulene) (Read error: Connection reset by peer) |
| 2022-03-13 09:15:27 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 09:16:11 +0100 | toulene | (~toulene@user/toulene) |
| 2022-03-13 09:19:07 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-13 09:22:21 +0100 | vglfr | (~vglfr@88.155.30.168) (Ping timeout: 252 seconds) |
| 2022-03-13 09:23:12 +0100 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-03-13 09:24:20 +0100 | Batzy | (~quassel@user/batzy) |
| 2022-03-13 09:24:36 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-13 09:25:38 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Ping timeout: 250 seconds) |
| 2022-03-13 09:33:28 +0100 | namkeleser | (~namkelese@101.175.104.107) |
| 2022-03-13 09:33:30 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-03-13 09:34:01 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-13 09:37:02 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-13 09:37:51 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-13 09:37:57 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) (Remote host closed the connection) |
| 2022-03-13 09:48:24 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:f584:7ec0:6393:1fab) |
| 2022-03-13 09:48:25 +0100 | img | (~img@user/img) |
| 2022-03-13 09:49:06 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 09:52:04 +0100 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 250 seconds) |
| 2022-03-13 09:53:42 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-03-13 09:55:40 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-13 09:56:38 +0100 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 2022-03-13 09:57:59 +0100 | mniip | (mniip@libera/staff/mniip) (Ping timeout: 606 seconds) |
| 2022-03-13 09:59:07 +0100 | razetime | (~quassel@117.254.34.148) (Ping timeout: 256 seconds) |
| 2022-03-13 09:59:45 +0100 | razetime | (~quassel@117.254.34.148) |
| 2022-03-13 10:02:46 +0100 | fendor | (~fendor@77.119.210.182.wireless.dyn.drei.com) |
| 2022-03-13 10:05:48 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-03-13 10:08:49 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-03-13 10:11:21 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-03-13 10:15:18 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-03-13 10:15:46 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-13 10:19:00 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-13 10:21:06 +0100 | acidjnk | (~acidjnk@p200300d0c7049f0938401d00e866d128.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-03-13 10:21:14 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 10:23:19 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-03-13 10:25:02 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-03-13 10:28:22 +0100 | ubert | (~Thunderbi@p200300ecdf19b7b750061d6876d392e8.dip0.t-ipconnect.de) |
| 2022-03-13 10:29:44 +0100 | ub | (~Thunderbi@p200300ecdf19b7b7b1fc5a865b2694ae.dip0.t-ipconnect.de) |
| 2022-03-13 10:33:40 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-13 10:34:03 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 10:38:27 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-13 10:39:08 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-03-13 10:41:09 +0100 | vglfr | (~vglfr@88.155.84.15) |
| 2022-03-13 10:43:02 +0100 | <ski> | nomagno : neither. `S x y z' should be parsed as `((S x) y) z' |
| 2022-03-13 10:43:36 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-03-13 10:43:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2022-03-13 10:44:08 +0100 | <ski> | (or `S(x)(y)(z)' or `((S(x))(y))(z)', if you insist with that style of bracketting) |
| 2022-03-13 10:45:18 +0100 | ahammer | (~ahammer@157.122.68.183) |
| 2022-03-13 10:46:14 +0100 | ahammer | (~ahammer@157.122.68.183) (Client Quit) |
| 2022-03-13 10:46:27 +0100 | ahammer | (~ahammer@157.122.68.183) |
| 2022-03-13 10:49:09 +0100 | mmhat | (~mmh@55d49094.access.ecotel.net) |
| 2022-03-13 10:50:54 +0100 | ahammer | (~ahammer@157.122.68.183) (Ping timeout: 252 seconds) |
| 2022-03-13 10:53:47 +0100 | ahammer | (~ahammer@157.122.68.183) |
| 2022-03-13 10:54:10 +0100 | ahammer | (~ahammer@157.122.68.183) (Remote host closed the connection) |
| 2022-03-13 10:57:39 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24) |
| 2022-03-13 10:57:51 +0100 | mniip | (mniip@libera/staff/mniip) |
| 2022-03-13 11:00:48 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-03-13 11:02:45 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-13 11:06:11 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-13 11:06:29 +0100 | cosimone | (~user@93-44-187-176.ip98.fastwebnet.it) |
| 2022-03-13 11:19:21 +0100 | namkeleser | (~namkelese@101.175.104.107) (Quit: Client closed) |
| 2022-03-13 11:19:22 +0100 | acidjnk | (~acidjnk@p200300d0c7049f09a48046c09dc85a06.dip0.t-ipconnect.de) |
| 2022-03-13 11:23:43 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-13 11:24:22 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:f584:7ec0:6393:1fab) (Ping timeout: 250 seconds) |
| 2022-03-13 11:26:59 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-13 11:27:10 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-13 11:32:34 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-03-13 11:33:51 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-03-13 11:36:12 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-03-13 11:39:31 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-13 11:42:55 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-13 11:44:24 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-13 11:45:02 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 11:52:27 +0100 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-03-13 11:55:02 +0100 | stefan-_ | (~cri@42dots.de) (Ping timeout: 240 seconds) |
| 2022-03-13 11:56:46 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-13 11:56:50 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-13 11:59:07 +0100 | stefan-_ | (~cri@42dots.de) |
| 2022-03-13 12:01:12 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 250 seconds) |
| 2022-03-13 12:01:55 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-03-13 12:02:07 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2022-03-13 12:02:24 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-03-13 12:03:04 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-13 12:05:26 +0100 | <nomagno> | ski: How would that look like in a binary tree though? |
| 2022-03-13 12:06:13 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 12:06:13 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 12:06:50 +0100 | spacenautx | (~spacenaut@user/spacenautx) |
| 2022-03-13 12:07:13 +0100 | agumonke` | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-03-13 12:07:29 +0100 | <nomagno> | https://termbin.com/kaff |
| 2022-03-13 12:07:35 +0100 | <nomagno> | Top, middle, or bottom? |
| 2022-03-13 12:08:15 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-13 12:09:33 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-03-13 12:10:14 +0100 | namkeleser | (~namkelese@101.175.104.107) |
| 2022-03-13 12:10:53 +0100 | <nomagno> | https://people.cs.uchicago.edu/~odonnell/Teacher/Lectures/Formal_Organization_of_Knowledge/Example… |
| 2022-03-13 12:11:18 +0100 | <nomagno> | Thank you, Chicago University Computer Science Campus Official Website! |
| 2022-03-13 12:11:19 +0100 | mmhat | (~mmh@55d49094.access.ecotel.net) (Quit: WeeChat 3.4) |
| 2022-03-13 12:13:18 +0100 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) |
| 2022-03-13 12:13:41 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 12:15:40 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 12:16:15 +0100 | vglfr | (~vglfr@88.155.84.15) (Ping timeout: 256 seconds) |
| 2022-03-13 12:17:58 +0100 | fendor_ | (~fendor@178.115.62.26.wireless.dyn.drei.com) |
| 2022-03-13 12:18:21 +0100 | <ski> | nomagno : neither |
| 2022-03-13 12:20:11 +0100 | <ski> | @ -+- @ -+- @ -+- S |
| 2022-03-13 12:20:14 +0100 | <ski> | \- x |
| 2022-03-13 12:20:16 +0100 | fendor | (~fendor@77.119.210.182.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2022-03-13 12:20:20 +0100 | <ski> | \- y |
| 2022-03-13 12:20:23 +0100 | <ski> | \- z |
| 2022-03-13 12:20:35 +0100 | <ski> | where `@' refers to application |
| 2022-03-13 12:23:50 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 2022-03-13 12:25:38 +0100 | thevishy | (~Nishant@49.37.242.151) |
| 2022-03-13 12:30:27 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-13 12:31:00 +0100 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-03-13 12:31:06 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2022-03-13 12:31:26 +0100 | boborygmy | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 12:31:28 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 12:31:33 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-03-13 12:34:00 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:4640:7a34:e565:3bea) (Remote host closed the connection) |
| 2022-03-13 12:34:09 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 2022-03-13 12:35:00 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 2022-03-13 12:36:00 +0100 | polyphem | p0lyph3m |
| 2022-03-13 12:37:11 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 2022-03-13 12:37:29 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-03-13 12:45:57 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:9ade:4eef:e959:5f29) |
| 2022-03-13 12:50:15 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-13 12:57:24 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 252 seconds) |
| 2022-03-13 12:57:41 +0100 | coot | (~coot@213.134.190.95) (Remote host closed the connection) |
| 2022-03-13 12:57:45 +0100 | Topsi | (~Tobias@dyndsl-095-033-092-008.ewe-ip-backbone.de) |
| 2022-03-13 12:58:30 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-03-13 12:59:49 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:9ade:4eef:e959:5f29) (Remote host closed the connection) |
| 2022-03-13 13:00:13 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-13 13:00:56 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-03-13 13:01:43 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-13 13:02:12 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:7a39:cd26:6dd0:6386) |
| 2022-03-13 13:03:38 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:7a39:cd26:6dd0:6386) (Remote host closed the connection) |
| 2022-03-13 13:05:30 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:1bbe:189d:7a29:b5b3) |
| 2022-03-13 13:12:33 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-13 13:13:27 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-13 13:14:09 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 2022-03-13 13:14:29 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 13:25:37 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-13 13:26:25 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-13 13:26:35 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 13:29:10 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 2022-03-13 13:30:11 +0100 | razetime | (~quassel@117.254.34.148) (Ping timeout: 272 seconds) |
| 2022-03-13 13:31:30 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-03-13 13:33:30 +0100 | acidjnk | (~acidjnk@p200300d0c7049f09a48046c09dc85a06.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-03-13 13:36:40 +0100 | kuribas | (~user@ptr-25vy0ia87vhm2ndaymv.18120a2.ip6.access.telenet.be) |
| 2022-03-13 13:42:30 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 13:48:46 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-03-13 13:48:55 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-03-13 13:48:57 +0100 | boborygmy | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-03-13 13:49:06 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2022-03-13 13:50:05 +0100 | farn_ | farn |
| 2022-03-13 13:51:45 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-13 13:51:48 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Client Quit) |
| 2022-03-13 13:52:51 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 13:53:53 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
| 2022-03-13 13:54:29 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 2022-03-13 13:55:09 +0100 | thevishy | (~Nishant@49.37.242.151) (Quit: Leaving) |
| 2022-03-13 13:56:41 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 13:56:41 +0100 | boborygmy | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 13:57:07 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 2022-03-13 13:57:40 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-13 13:57:54 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-03-13 13:58:36 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-03-13 14:00:38 +0100 | vglfr | (~vglfr@88.155.84.15) |
| 2022-03-13 14:00:50 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-03-13 14:01:50 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Remote host closed the connection) |
| 2022-03-13 14:09:28 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2022-03-13 14:13:11 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-13 14:13:26 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 2022-03-13 14:15:58 +0100 | vglfr | (~vglfr@88.155.84.15) (Ping timeout: 250 seconds) |
| 2022-03-13 14:16:17 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-03-13 14:20:34 +0100 | ph88 | (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) |
| 2022-03-13 14:22:02 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-03-13 14:26:22 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-03-13 14:26:23 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 2022-03-13 14:26:33 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-03-13 14:27:56 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-03-13 14:27:59 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 14:28:25 +0100 | razetime | (~quassel@117.193.4.214) |
| 2022-03-13 14:28:27 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-13 14:28:33 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-13 14:28:58 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2022-03-13 14:31:13 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Remote host closed the connection) |
| 2022-03-13 14:31:13 +0100 | boborygmy | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Remote host closed the connection) |
| 2022-03-13 14:31:36 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 14:31:37 +0100 | boborygmy | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-13 14:35:00 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:b953:8441:783e:37ce) (Ping timeout: 240 seconds) |
| 2022-03-13 14:35:32 +0100 | zachel_ | (~zachel@user/zachel) (Quit: DIsconnected: v7+nano) |
| 2022-03-13 14:35:52 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-03-13 14:38:00 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Remote host closed the connection) |
| 2022-03-13 14:38:04 +0100 | zachel | (~zachel@user/zachel) |
| 2022-03-13 14:39:10 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-13 14:41:09 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-13 14:43:39 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-03-13 14:46:15 +0100 | bahamas | (~lucian@82.78.48.20) |
| 2022-03-13 14:46:28 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 14:47:32 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 2022-03-13 14:48:50 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 2022-03-13 14:49:29 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-13 14:53:48 +0100 | bahamas | (~lucian@82.78.48.20) (Ping timeout: 240 seconds) |
| 2022-03-13 14:54:13 +0100 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-03-13 15:00:17 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-03-13 15:01:18 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-03-13 15:13:57 +0100 | shriekingnoise | (~shrieking@201.231.16.156) (Ping timeout: 240 seconds) |
| 2022-03-13 15:17:12 +0100 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 272 seconds) |
| 2022-03-13 15:18:53 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:d0f:e897:8dcd:9901) |
| 2022-03-13 15:19:24 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-13 15:23:24 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:d0f:e897:8dcd:9901) (Ping timeout: 240 seconds) |
| 2022-03-13 15:24:14 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer) |
| 2022-03-13 15:24:24 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
| 2022-03-13 15:24:29 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-03-13 15:26:26 +0100 | incertia | (~incertia@207.98.163.88) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2022-03-13 15:26:38 +0100 | zachel | (~zachel@user/zachel) (Quit: DIsconnected: v7+nano) |
| 2022-03-13 15:26:43 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-03-13 15:27:46 +0100 | incertia | (~incertia@207.98.163.88) |
| 2022-03-13 15:29:05 +0100 | zachel | (~zachel@user/zachel) |
| 2022-03-13 15:32:39 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 15:37:00 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-03-13 15:40:58 +0100 | sterni | (~lukas@user/sterni) (Quit: WeeChat 3.3) |
| 2022-03-13 15:42:58 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ce2:e317:ec2b:10ff) |
| 2022-03-13 15:47:00 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ce2:e317:ec2b:10ff) (Ping timeout: 240 seconds) |
| 2022-03-13 15:55:50 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 15:58:19 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-03-13 16:00:17 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-13 16:04:00 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-13 16:07:41 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-03-13 16:13:17 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-03-13 16:13:17 +0100 | razetime | (~quassel@117.193.4.214) (Ping timeout: 240 seconds) |
| 2022-03-13 16:13:29 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 2022-03-13 16:15:18 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-13 16:15:47 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:912b:9ed2:9aa5:a5c0) |
| 2022-03-13 16:17:00 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-13 16:19:53 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 2022-03-13 16:22:03 +0100 | razetime | (~quassel@117.254.34.148) |
| 2022-03-13 16:22:07 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-13 16:24:12 +0100 | kuribas | (~user@ptr-25vy0ia87vhm2ndaymv.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-03-13 16:25:23 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 16:26:50 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-13 16:27:34 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 2022-03-13 16:27:37 +0100 | toulene | (~toulene@user/toulene) (Read error: Connection reset by peer) |
| 2022-03-13 16:28:46 +0100 | toulene8 | (~toulene@user/toulene) |
| 2022-03-13 16:32:22 +0100 | son0p | (~ff@181.136.122.143) (Read error: Connection reset by peer) |
| 2022-03-13 16:33:28 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-03-13 16:36:08 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ce2:e317:ec2b:10ff) |
| 2022-03-13 16:40:28 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-13 16:42:20 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 2022-03-13 16:43:55 +0100 | Everything | (~Everythin@37.115.210.35) |
| 2022-03-13 16:44:23 +0100 | flupe | (~baboum@radon.sbi.re) (Remote host closed the connection) |
| 2022-03-13 16:44:51 +0100 | son0p | (~ff@181.136.122.143) |
| 2022-03-13 16:53:43 +0100 | toulene8 | (~toulene@user/toulene) (Read error: Connection reset by peer) |
| 2022-03-13 16:54:08 +0100 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2022-03-13 16:54:37 +0100 | toulene | (~toulene@user/toulene) |
| 2022-03-13 16:56:37 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-03-13 17:01:23 +0100 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-03-13 17:11:29 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-03-13 17:11:37 +0100 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2022-03-13 17:13:35 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-13 17:16:08 +0100 | alp | (~alp@user/alp) |
| 2022-03-13 17:23:08 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-13 17:33:32 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-03-13 17:38:20 +0100 | seriley_ | (~seriley@75.164.66.230) (Quit: leaving) |
| 2022-03-13 17:40:26 +0100 | alp | (~alp@user/alp) (Ping timeout: 268 seconds) |
| 2022-03-13 17:48:50 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ce2:e317:ec2b:10ff) (Remote host closed the connection) |
| 2022-03-13 17:49:06 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 17:50:53 +0100 | p0lyph3m | polyphem |
| 2022-03-13 17:52:51 +0100 | incertia | (~incertia@207.98.163.88) (Ping timeout: 256 seconds) |
| 2022-03-13 17:55:15 +0100 | son0p | (~ff@181.136.122.143) |
| 2022-03-13 17:55:40 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-03-13 17:57:01 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-03-13 17:57:31 +0100 | incertia | (~incertia@207.98.163.88) |
| 2022-03-13 17:57:44 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-13 17:59:54 +0100 | ptrcmd | (~ptrcmd@user/ptrcmd) (Ping timeout: 252 seconds) |
| 2022-03-13 18:00:01 +0100 | ptrcmd | (~ptrcmd@user/ptrcmd) |
| 2022-03-13 18:02:06 +0100 | razetime | (~quassel@117.254.34.148) (Ping timeout: 252 seconds) |
| 2022-03-13 18:06:13 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-03-13 18:08:14 +0100 | flupe | (~baboum@radon.sbi.re) |
| 2022-03-13 18:12:37 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-13 18:12:58 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-13 18:13:29 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 18:14:57 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-13 18:17:26 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-13 18:24:02 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 18:28:53 +0100 | jao | (~jao@45.134.142.222) |
| 2022-03-13 18:29:03 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-13 18:29:31 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-13 18:29:34 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-03-13 18:31:53 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-03-13 18:36:11 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:912b:9ed2:9aa5:a5c0) (Ping timeout: 252 seconds) |
| 2022-03-13 18:38:57 +0100 | ph88 | (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) (Ping timeout: 240 seconds) |
| 2022-03-13 18:39:56 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-13 18:41:52 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-03-13 18:48:14 +0100 | lambdap2 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2022-03-13 18:49:14 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ce2:e317:ec2b:10ff) |
| 2022-03-13 18:49:33 +0100 | lambdap2 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Client Quit) |
| 2022-03-13 18:49:51 +0100 | lambdap2 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2022-03-13 18:50:05 +0100 | Topsi | (~Tobias@dyndsl-095-033-092-008.ewe-ip-backbone.de) (Ping timeout: 256 seconds) |
| 2022-03-13 18:50:39 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-03-13 18:53:24 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ce2:e317:ec2b:10ff) (Ping timeout: 240 seconds) |
| 2022-03-13 18:56:57 +0100 | cheater | (~Username@user/cheater) |
| 2022-03-13 19:01:43 +0100 | cosimone | (~user@93-44-187-176.ip98.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-03-13 19:02:42 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 19:10:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-03-13 19:11:10 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-03-13 19:13:31 +0100 | namkeleser | (~namkelese@101.175.104.107) (Quit: Client closed) |
| 2022-03-13 19:21:16 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-13 19:22:30 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-13 19:28:22 +0100 | <hololeap> | from the perspective of haskell coders, is lisp worth learning? |
| 2022-03-13 19:29:24 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-13 19:29:37 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-13 19:30:09 +0100 | <ski> | learning about the macro system (and staged programming) is useful (e.g. to compare with TH) |
| 2022-03-13 19:30:42 +0100 | <ski> | hygienic macros and continuations in Scheme are also worth learning about |
| 2022-03-13 19:32:25 +0100 | <ski> | (perhaps learning about the multi-method approach to OO, in CLOS, could also be interesting) |
| 2022-03-13 19:34:51 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-03-13 19:36:15 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 2022-03-13 19:36:36 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2022-03-13 19:37:04 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-03-13 19:37:06 +0100 | <[exa]> | +1 for learning it, I'd say it's one of the "base languages" that are more or less present in everything |
| 2022-03-13 19:38:06 +0100 | <[exa]> | also, learning call/cc in lisps is just incomparably easier than in haskell :] |
| 2022-03-13 19:38:19 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-03-13 19:38:28 +0100 | <monochrom> | Scheme is better than Lisp for the purpose of base language, simply because Scheme has hindsight. |
| 2022-03-13 19:38:43 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2022-03-13 19:38:50 +0100 | <monochrom> | The only downside is that CLOS does not have a Scheme equivalent. |
| 2022-03-13 19:39:10 +0100 | csileeeeeeeeeeoe | (~csileeeee@50.232.121.75) |
| 2022-03-13 19:39:18 +0100 | <dolio> | Probably best to learn Racket or something. |
| 2022-03-13 19:39:24 +0100 | <monochrom> | But macros, continuations, lambdas... Scheme cleans up Lisp's mess. |
| 2022-03-13 19:40:25 +0100 | <hpc> | learning lisp is a lot like learning assembly, in some ways |
| 2022-03-13 19:40:40 +0100 | <hpc> | "the language gives me nothing, now how do i do anything?" |
| 2022-03-13 19:40:59 +0100 | <monochrom> | Unless you are interested in the niche of "a name has multiple bindings" which helps understand what Guy Steele was thinking when he wrote the semantics of EMCAScript. |
| 2022-03-13 19:41:08 +0100 | <ski> | Racket is a Scheme is a Lisp :) |
| 2022-03-13 19:41:26 +0100 | <dolio> | Yeah, but the details matter. |
| 2022-03-13 19:41:34 +0100 | <[exa]> | there's the "teach yourself scheme in fixnum days" which is pretty cool and dives just about right in each interesting direction I'd say |
| 2022-03-13 19:41:43 +0100 | <[exa]> | ^ happy to hear opinions on that btw |
| 2022-03-13 19:41:48 +0100 | <dolio> | Racket actually has delimited continuations for you to use, instead of learning the antiquated call/cc. |
| 2022-03-13 19:41:53 +0100 | <ski> | hm, i thought i'd seen some kind of CLOS system for a Scheme |
| 2022-03-13 19:42:08 +0100 | <monochrom> | Yeah shift/reset is better. |
| 2022-03-13 19:42:37 +0100 | <dolio> | Some other schemes do, too, but many don't, because it's not in the standard. |
| 2022-03-13 19:43:45 +0100 | <[exa]> | ski: I always thought you can just macro it in (sacrificing some speed) |
| 2022-03-13 19:44:03 +0100 | <monochrom> | Yeah go for Racket, it's a very much improved Scheme. |
| 2022-03-13 19:45:18 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 250 seconds) |
| 2022-03-13 19:46:27 +0100 | ski | . o O ( <https://okmij.org/ftp/continuations/> ; <https://okmij.org/ftp/kakuritu/Hansei.html> ; <https://okmij.org/ftp/meta-programming/> ; <https://okmij.org/ftp/Scheme/macros.html> ) |
| 2022-03-13 19:46:51 +0100 | <ski> | [exa] : sorry, macro what in ? |
| 2022-03-13 19:47:12 +0100 | <monochrom> | Also Racket has pattern matching. |
| 2022-03-13 19:47:24 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-03-13 19:47:51 +0100 | <[exa]> | ski: make sufficient macros to simulate CLOS atop R5RS |
| 2022-03-13 19:48:21 +0100 | <ski> | ah, might well be quite possible |
| 2022-03-13 19:48:30 +0100 | ski | hasn't really looked too much into CLOS |
| 2022-03-13 19:48:58 +0100 | <[exa]> | me neither but I've seen quite a few (make-instance) and (defclass) in tutorials so I assumed. :D |
| 2022-03-13 19:49:12 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-13 19:53:07 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-13 19:56:11 +0100 | ski | . o O ( "Pattern Matching" (SRFI 200) by Panicz Maciej Godek in 2020-(06-19 - 08-24) at <https://srfi.schemers.org/srfi-200/srfi-200.html> ; "portable hygienic pattern matcher" (defined using `syntax-rules') by foof (aka Alex Shinn) at <http://synthcode.com/scheme/match.scm> ) |
| 2022-03-13 19:56:17 +0100 | ski | . o O ( "A Practical Soft Type System for Scheme" by Andrew K. Wright,Robert Cartwright in 1997-01 at <https://www.iro.umontreal.ca/~feeley/cours/ift6232/doc/pres2/practical-soft-type-system-for-scheme…> ; "Wright-Cartwright-Shinn Pattern Matcher" (SRFI 204, withdrawn) by Felix Thibault in 2020-07-15 - 2022-02-02 at <https://srfi.schemers.org/srfi-204/srfi-204.html> ) |
| 2022-03-13 19:59:56 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-03-13 20:03:30 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-13 20:09:34 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-03-13 20:10:24 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:2846:6042:d084:be62) |
| 2022-03-13 20:10:58 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:f584:7ec0:6393:1fab) |
| 2022-03-13 20:11:37 +0100 | vysn | (~vysn@user/vysn) (Read error: Connection reset by peer) |
| 2022-03-13 20:13:20 +0100 | cosimone | (~user@93-44-187-176.ip98.fastwebnet.it) |
| 2022-03-13 20:16:47 +0100 | ph88^ | (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) |
| 2022-03-13 20:20:08 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:f584:7ec0:6393:1fab) (Ping timeout: 252 seconds) |
| 2022-03-13 20:22:54 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 252 seconds) |
| 2022-03-13 20:23:22 +0100 | kaph_ | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-03-13 20:24:14 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-13 20:24:56 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2022-03-13 20:28:49 +0100 | deadmarshal_ | (~deadmarsh@95.38.118.199) (Ping timeout: 272 seconds) |
| 2022-03-13 20:32:07 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-13 20:32:30 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:912b:9ed2:9aa5:a5c0) |
| 2022-03-13 20:37:03 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-03-13 20:37:26 +0100 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-03-13 20:38:45 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-13 20:40:50 +0100 | econo | (uid147250@user/econo) |
| 2022-03-13 20:47:46 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-13 20:49:21 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-13 20:50:37 +0100 | jao | (~jao@45.134.142.222) (Ping timeout: 240 seconds) |
| 2022-03-13 20:52:52 +0100 | jao | (~jao@45.134.142.225) |
| 2022-03-13 20:53:42 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-03-13 20:54:12 +0100 | jushur | (~human@user/jushur) |
| 2022-03-13 20:55:15 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-13 20:55:51 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 20:59:32 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-03-13 21:00:12 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2022-03-13 21:00:48 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2022-03-13 21:02:30 +0100 | alp | (~alp@user/alp) |
| 2022-03-13 21:03:20 +0100 | deadmarshal_ | (~deadmarsh@95.38.118.199) |
| 2022-03-13 21:07:27 +0100 | deadmarshal_ | (~deadmarsh@95.38.118.199) (Ping timeout: 252 seconds) |
| 2022-03-13 21:13:21 +0100 | agumonke` | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection) |
| 2022-03-13 21:14:36 +0100 | InstX1 | (~Liam@2601:6c4:4080:3f80:8c9a:2a2f:6329:e474) |
| 2022-03-13 21:16:47 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:912b:9ed2:9aa5:a5c0) (Ping timeout: 252 seconds) |
| 2022-03-13 21:17:31 +0100 | InstX1 | Inst |
| 2022-03-13 21:24:30 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-03-13 21:25:37 +0100 | michalz | (~michalz@185.246.204.93) |
| 2022-03-13 21:30:53 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-03-13 21:32:19 +0100 | agumonke` | (~user@88.163.231.79) |
| 2022-03-13 21:35:44 +0100 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-03-13 21:37:30 +0100 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-03-13 21:40:38 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-03-13 21:41:57 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-03-13 21:42:54 +0100 | InstX1 | (~Liam@2601:6c4:4080:3f80:cd4d:1ad4:b525:ecf8) |
| 2022-03-13 21:46:12 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:8c9a:2a2f:6329:e474) (Ping timeout: 240 seconds) |
| 2022-03-13 21:50:54 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-03-13 21:51:05 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-13 21:52:13 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ce2:e317:ec2b:10ff) |
| 2022-03-13 21:54:07 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-03-13 21:54:32 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-03-13 21:55:23 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:1bbe:189d:7a29:b5b3) (Quit: bye) |
| 2022-03-13 21:55:37 +0100 | img | (~img@user/img) |
| 2022-03-13 21:57:05 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:8b7d:4142:6166:580d) |
| 2022-03-13 22:02:52 +0100 | jushur | (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 2022-03-13 22:06:41 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-13 22:07:48 +0100 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) |
| 2022-03-13 22:09:04 +0100 | pavonia | (~user@user/siracusa) |
| 2022-03-13 22:09:05 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-03-13 22:13:30 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 250 seconds) |
| 2022-03-13 22:13:30 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 250 seconds) |
| 2022-03-13 22:16:56 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-03-13 22:18:44 +0100 | acidjnk | (~acidjnk@p200300d0c7049f09a48046c09dc85a06.dip0.t-ipconnect.de) |
| 2022-03-13 22:19:59 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-03-13 22:20:56 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-03-13 22:21:21 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-03-13 22:24:09 +0100 | deadmarshal_ | (~deadmarsh@95.38.118.199) |
| 2022-03-13 22:25:23 +0100 | mreh | (~matthew@host86-172-33-212.range86-172.btcentralplus.com) |
| 2022-03-13 22:27:42 +0100 | csileeeeeeeeeeoe | (~csileeeee@50.232.121.75) (Remote host closed the connection) |
| 2022-03-13 22:28:51 +0100 | deadmarshal_ | (~deadmarsh@95.38.118.199) (Ping timeout: 252 seconds) |
| 2022-03-13 22:31:03 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-03-13 22:34:16 +0100 | <mreh> | Messing around with this oldish blog post https://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html |
| 2022-03-13 22:35:08 +0100 | <mreh> | I can't get the type application of the `Symbol`s e.g @"foo" to parse. |
| 2022-03-13 22:35:12 +0100 | michalz | (~michalz@185.246.204.93) (Remote host closed the connection) |
| 2022-03-13 22:35:49 +0100 | <mreh> | "Expected a type, but ‘"foo"’ has kind ‘GHC.Types.Symbol’" |
| 2022-03-13 22:40:43 +0100 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 256 seconds) |
| 2022-03-13 22:42:36 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-03-13 22:42:52 +0100 | <geekosaur> | did you enable PolyKinds? |
| 2022-03-13 22:44:43 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-03-13 22:45:17 +0100 | <ski> | argh, the `Show' instance doesn't properly bracket .. :( |
| 2022-03-13 22:45:46 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2022-03-13 22:47:18 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-03-13 22:52:33 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2022-03-13 22:55:24 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 2022-03-13 22:56:32 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-13 22:57:03 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-13 23:03:41 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-03-13 23:06:19 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 2022-03-13 23:10:42 +0100 | <mreh> | geekosaur: I thought so |
| 2022-03-13 23:11:18 +0100 | <mreh> | Yeah :set -XPolyKinds |
| 2022-03-13 23:11:22 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:8b7d:4142:6166:580d) (Quit: bye) |
| 2022-03-13 23:11:46 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-13 23:14:29 +0100 | <geekosaur> | I need DataKinds as well locally, it seems |
| 2022-03-13 23:14:47 +0100 | <geekosaur> | %% :set |
| 2022-03-13 23:14:48 +0100 | <yahb> | geekosaur: http://qp.mniip.com/y/48 |
| 2022-03-13 23:15:58 +0100 | <geekosaur> | % :set -XDataKinds -XTypeApplications -XPolyKinds |
| 2022-03-13 23:15:58 +0100 | <yahb> | geekosaur: |
| 2022-03-13 23:16:08 +0100 | <geekosaur> | % :t Proxy @"foo" |
| 2022-03-13 23:16:08 +0100 | <yahb> | geekosaur: Proxy "foo" |
| 2022-03-13 23:22:12 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2022-03-13 23:26:11 +0100 | namkeleser | (~namkelese@101.175.104.107) |
| 2022-03-13 23:27:37 +0100 | <mreh> | geekosaur: hmm, I have all those |
| 2022-03-13 23:28:08 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-13 23:28:32 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 2022-03-13 23:28:48 +0100 | <mreh> | > :t Proxy @"foo" |
| 2022-03-13 23:28:49 +0100 | <mreh> | Proxy @"foo" :: Proxy "foo" |
| 2022-03-13 23:28:50 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2022-03-13 23:28:54 +0100 | <mreh> | That works for me |
| 2022-03-13 23:29:03 +0100 | <romesrf> | hi |
| 2022-03-13 23:29:11 +0100 | <romesrf> | in cabal, what's the difference between >= and ^>= |
| 2022-03-13 23:30:04 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-03-13 23:30:04 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-03-13 23:30:07 +0100 | allbery_b | geekosaur |
| 2022-03-13 23:30:42 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 2022-03-13 23:31:22 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-13 23:34:17 +0100 | <jackdk> | romesrf: https://cabal.readthedocs.io/en/latest/cabal-package.html#build-information |
| 2022-03-13 23:37:38 +0100 | <romesrf> | jackdk: thank you, perhaps there could be a pointer to that link here: https://cabal.readthedocs.io/en/latest/developing-packages.html#modules-imported-from-other-packages |
| 2022-03-13 23:37:46 +0100 | <romesrf> | where the >= ^>= are enumed |
| 2022-03-13 23:41:11 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-03-13 23:43:52 +0100 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-13 23:44:39 +0100 | <mreh> | ah, I had `data s >> a = Named a`, instead of `newtype s >> a = Named a`. Why would that affect the type application? |
| 2022-03-13 23:46:30 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-13 23:49:14 +0100 | dolio | (~dolio@130.44.130.54) |
| 2022-03-13 23:51:11 +0100 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2022-03-13 23:56:10 +0100 | dolio | (~dolio@130.44.130.54) |
