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