| 2022-03-17 00:01:52 +0100 | n8chan | (~nate@98.45.167.61) |
| 2022-03-17 00:02:06 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-a0f7-4a6c-9396-dfff.res6.spectrum.com) (Remote host closed the connection) |
| 2022-03-17 00:03:32 +0100 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-03-17 00:03:34 +0100 | <dons> | moin moni |
| 2022-03-17 00:03:42 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-03-17 00:05:19 +0100 | <maerwald[m]> | moinsen |
| 2022-03-17 00:05:22 +0100 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-03-17 00:09:00 +0100 | ski | 'd agree with tomsmeding that it'd be nicer to treat `1 + 2 + 3 + 4 + 5' as a "flat" structure (perhaps a quotient over different ways to associate the tree, if you prefer) |
| 2022-03-17 00:09:40 +0100 | <ski> | (although i'm not sure what you mean by "algebraic simplifier") |
| 2022-03-17 00:10:24 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-03-17 00:10:53 +0100 | <ski> | (there is such a thing as unification in a theory, e.g. unification modulo associativity) |
| 2022-03-17 00:11:01 +0100 | <ski> | (for `[Choice [a,b],Choice [c,d]]', i guess one could maybe require the elements to be a subtype (refinement type ?) not including `Choice' on top-level, if one wanted to) |
| 2022-03-17 00:16:16 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-17 00:17:32 +0100 | n8chan | (~nate@98.45.167.61) (Ping timeout: 240 seconds) |
| 2022-03-17 00:20:24 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer) |
| 2022-03-17 00:20:28 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-03-17 00:20:34 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
| 2022-03-17 00:20:47 +0100 | iteratee | (~kyle@162.218.222.107) (Read error: Connection reset by peer) |
| 2022-03-17 00:20:57 +0100 | iteratee | (~kyle@162.218.222.107) |
| 2022-03-17 00:24:27 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-17 00:27:05 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5cb2:5682:6969:c42) |
| 2022-03-17 00:31:22 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-17 00:33:47 +0100 | <romesrf> | o/ |
| 2022-03-17 00:36:32 +0100 | jao | (~jao@45.134.142.199) (Ping timeout: 240 seconds) |
| 2022-03-17 00:38:45 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-17 00:40:51 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-17 00:40:51 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-17 00:40:51 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-17 00:42:51 +0100 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-17 00:47:06 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 2022-03-17 00:48:15 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-17 00:48:33 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-03-17 00:57:02 +0100 | CiaoSen | (~Jura@p200300c957298b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-17 00:58:31 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-03-17 00:59:05 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-03-17 00:59:21 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-17 00:59:48 +0100 | SignalGarden | (~ash@user/SignalWalker) |
| 2022-03-17 01:02:00 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-03-17 01:10:02 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 01:10:55 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-03-17 01:13:00 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-03-17 01:13:13 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 01:14:09 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-17 01:14:53 +0100 | SignalGarden | (~ash@user/SignalWalker) (Ping timeout: 256 seconds) |
| 2022-03-17 01:16:28 +0100 | SignalGarden | (~ash@user/SignalWalker) |
| 2022-03-17 01:18:29 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5cb2:5682:6969:c42) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-17 01:23:55 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-03-17 01:25:06 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-03-17 01:26:41 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-17 01:27:14 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-03-17 01:33:15 +0100 | nexus | (~nexus@fibhost-66-208-135.fibernet.hu) (Ping timeout: 256 seconds) |
| 2022-03-17 01:35:08 +0100 | nexus | (~nexus@77-234-80-245.pool.digikabel.hu) |
| 2022-03-17 01:38:59 +0100 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Ping timeout: 250 seconds) |
| 2022-03-17 01:43:08 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
| 2022-03-17 01:54:01 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-17 01:54:45 +0100 | dgpratt[m] | (~dgprattma@2001:470:69fc:105::1:dcdd) |
| 2022-03-17 01:55:11 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-17 01:55:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-03-17 01:55:37 +0100 | mrkajetanp | (~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) (Ping timeout: 240 seconds) |
| 2022-03-17 01:57:03 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-17 02:00:32 +0100 | SignalGarden | (~ash@user/SignalWalker) (Ping timeout: 240 seconds) |
| 2022-03-17 02:03:06 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4.1) |
| 2022-03-17 02:04:33 +0100 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-03-17 02:07:05 +0100 | Batzy | (~quassel@user/batzy) |
| 2022-03-17 02:11:05 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-17 02:17:13 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-17 02:19:41 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-03-17 02:24:44 +0100 | mmhat | (~mmh@55d4baf8.access.ecotel.net) (Quit: WeeChat 3.4.1) |
| 2022-03-17 02:29:27 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-17 02:38:36 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds) |
| 2022-03-17 02:50:43 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-03-17 02:50:52 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-17 02:51:25 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2022-03-17 02:51:48 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-17 02:56:19 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-17 02:56:23 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-03-17 02:57:04 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 03:01:48 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-17 03:04:59 +0100 | SignalGarden | (~ash@user/SignalWalker) |
| 2022-03-17 03:09:23 +0100 | vysn | (~vysn@user/vysn) |
| 2022-03-17 03:17:09 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-17 03:17:09 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-17 03:17:09 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-17 03:21:21 +0100 | finley | (~finley@uwyo-wireless-129-72-101-29.uwyo.edu) |
| 2022-03-17 03:22:28 +0100 | finley | (~finley@uwyo-wireless-129-72-101-29.uwyo.edu) (Client Quit) |
| 2022-03-17 03:26:06 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-03-17 03:26:30 +0100 | dsrt^ | (~dsrt@65.240.140.18) |
| 2022-03-17 03:28:05 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-17 03:28:40 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-17 03:31:20 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-03-17 03:34:41 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-17 03:37:09 +0100 | mixfix41 | (~sdenyninn@user/mixfix41) |
| 2022-03-17 03:37:11 +0100 | mixfix41 | (~sdenyninn@user/mixfix41) (Remote host closed the connection) |
| 2022-03-17 03:37:37 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-03-17 03:39:01 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-17 03:39:01 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-17 03:39:01 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-17 03:42:31 +0100 | ub | (~Thunderbi@p200300ecdf19b776fd6bfc6fe6a8a410.dip0.t-ipconnect.de) |
| 2022-03-17 03:43:08 +0100 | ubert | (~Thunderbi@p200300ecdf19b79d7171724430720c97.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-03-17 03:43:08 +0100 | ub | ubert |
| 2022-03-17 03:43:42 +0100 | nexus | (~nexus@77-234-80-245.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2022-03-17 03:43:47 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 03:44:15 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-03-17 03:45:09 +0100 | nexus | (~nexus@80-95-70-249.pool.digikabel.hu) |
| 2022-03-17 03:46:04 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-03-17 03:51:38 +0100 | mixfix41 | (~sdenyninn@user/mixfix41) |
| 2022-03-17 03:53:06 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 03:59:38 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2022-03-17 04:00:13 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-17 04:01:07 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 04:05:42 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-17 04:14:25 +0100 | Guest3302 | (~arc@2601:586:8100:bc30:f0b5:6a0f:f4ae:e63b) |
| 2022-03-17 04:15:02 +0100 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 240 seconds) |
| 2022-03-17 04:17:08 +0100 | joo-_ | (~joo-_@80-62-116-113-mobile.dk.customer.tdc.net) |
| 2022-03-17 04:17:08 +0100 | joo-_ | (~joo-_@80-62-116-113-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-03-17 04:17:08 +0100 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-03-17 04:18:09 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
| 2022-03-17 04:18:35 +0100 | nunggu | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-03-17 04:22:12 +0100 | nunggu | (~q@user/nunggu) |
| 2022-03-17 04:25:43 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-17 04:35:43 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-03-17 04:41:49 +0100 | mbuf | (~Shakthi@122.162.78.73) |
| 2022-03-17 04:44:47 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-03-17 04:46:13 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Ping timeout: 240 seconds) |
| 2022-03-17 04:46:58 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 04:50:25 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-17 04:51:31 +0100 | mrkajetanp | (~mrkajetan@88.98.245.28) |
| 2022-03-17 04:51:45 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-03-17 04:55:19 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-17 04:55:19 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-17 04:55:19 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-17 04:58:28 +0100 | nunggu | (~q@user/nunggu) (Quit: nunggu) |
| 2022-03-17 04:59:37 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-17 05:08:08 +0100 | srk- | (~sorki@user/srk) |
| 2022-03-17 05:09:02 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2022-03-17 05:09:07 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Quit: Leaving) |
| 2022-03-17 05:11:54 +0100 | srk | (~sorki@user/srk) (Ping timeout: 272 seconds) |
| 2022-03-17 05:11:54 +0100 | srk- | srk |
| 2022-03-17 05:17:01 +0100 | lainon_ | (~lainon@2601:7c0:c500:4d20::e723) |
| 2022-03-17 05:25:30 +0100 | <hololeap> | why do internal libraries in .cabal require build-type: Simple |
| 2022-03-17 05:29:48 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-03-17 05:36:02 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-03-17 05:39:17 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-03-17 05:44:32 +0100 | yauhsien | (~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net) (Quit: Leaving) |
| 2022-03-17 05:51:39 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-03-17 05:51:55 +0100 | <zzz> | how can i get ghci errors in vim's quickfix window? |
| 2022-03-17 05:53:25 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-17 05:53:25 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-17 05:53:25 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-17 05:54:58 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-17 05:55:15 +0100 | SignalGarden | (~ash@user/SignalWalker) (Ping timeout: 268 seconds) |
| 2022-03-17 05:55:46 +0100 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 250 seconds) |
| 2022-03-17 05:56:15 +0100 | nexus | (~nexus@80-95-70-249.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2022-03-17 05:58:10 +0100 | nexus | (~nexus@92-249-185-228.pool.digikabel.hu) |
| 2022-03-17 05:58:27 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-03-17 06:00:08 +0100 | deadmarshal_ | (~deadmarsh@95.38.117.233) |
| 2022-03-17 06:01:14 +0100 | lainon_ | (~lainon@2601:7c0:c500:4d20::e723) (Quit: Leaving) |
| 2022-03-17 06:09:57 +0100 | Guest3302 | (~arc@2601:586:8100:bc30:f0b5:6a0f:f4ae:e63b) (Quit: Leaving) |
| 2022-03-17 06:18:51 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-03-17 06:27:52 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-03-17 06:27:56 +0100 | mbuf | (~Shakthi@122.162.78.73) (Quit: Leaving) |
| 2022-03-17 06:33:35 +0100 | martin02 | (~silas@141.84.69.76) (Read error: Connection reset by peer) |
| 2022-03-17 06:38:06 +0100 | razetime | (~quassel@117.193.3.115) |
| 2022-03-17 06:45:51 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 06:47:18 +0100 | Guest|2 | (~Guest|2@c-67-188-110-229.hsd1.ca.comcast.net) |
| 2022-03-17 06:47:42 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) |
| 2022-03-17 06:48:19 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-03-17 06:49:07 +0100 | SignalGarden | (~ash@user/SignalWalker) |
| 2022-03-17 06:50:09 +0100 | agumonkey | (~user@88.163.231.79) (Ping timeout: 252 seconds) |
| 2022-03-17 06:50:09 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-17 06:50:25 +0100 | martin02 | (~silas@141.84.69.76) |
| 2022-03-17 06:50:35 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-17 06:51:47 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-03-17 06:56:26 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-17 07:05:47 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-17 07:07:57 +0100 | Guest|2 | (~Guest|2@c-67-188-110-229.hsd1.ca.comcast.net) (Quit: Connection closed) |
| 2022-03-17 07:16:05 +0100 | raym | (~raym@user/raym) (Ping timeout: 256 seconds) |
| 2022-03-17 07:17:00 +0100 | raym | (~raym@user/raym) |
| 2022-03-17 07:22:25 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 07:23:09 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2022-03-17 07:30:51 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-17 07:35:47 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-03-17 07:37:02 +0100 | SignalGarden | (~ash@user/SignalWalker) (Ping timeout: 240 seconds) |
| 2022-03-17 07:37:23 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-17 07:39:10 +0100 | tadyshev | (uid547048@id-547048.hampstead.irccloud.com) |
| 2022-03-17 07:41:06 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 07:42:24 +0100 | raym | (~raym@user/raym) (Ping timeout: 252 seconds) |
| 2022-03-17 07:43:15 +0100 | raym | (~raym@user/raym) |
| 2022-03-17 07:44:02 +0100 | razetime | (~quassel@117.193.3.115) (Ping timeout: 240 seconds) |
| 2022-03-17 07:46:07 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-17 07:46:24 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-03-17 07:49:44 +0100 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Ping timeout: 250 seconds) |
| 2022-03-17 07:52:26 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-03-17 07:54:05 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-17 07:59:15 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2022-03-17 08:01:47 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-03-17 08:03:27 +0100 | nexus | (~nexus@92-249-185-228.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2022-03-17 08:04:35 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 08:04:54 +0100 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-03-17 08:05:07 +0100 | nexus | (~nexus@178-164-188-40.pool.digikabel.hu) |
| 2022-03-17 08:05:51 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-17 08:07:24 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-03-17 08:08:55 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-03-17 08:14:18 +0100 | mbuf | (~Shakthi@122.174.182.104) |
| 2022-03-17 08:14:26 +0100 | timCF | (~timCF@m91-129-108-222.cust.tele2.ee) (Ping timeout: 250 seconds) |
| 2022-03-17 08:16:06 +0100 | mmhat | (~mmh@55d4b145.access.ecotel.net) |
| 2022-03-17 08:23:32 +0100 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2022-03-17 08:25:46 +0100 | acidjnk | (~acidjnk@p200300d0c7049f8638d8ab684392b403.dip0.t-ipconnect.de) |
| 2022-03-17 08:28:30 +0100 | <jneira[m]> | @zzz with hls: https://haskell-language-server.readthedocs.io/en/latest/configuration.html#vim-or-neovim |
| 2022-03-17 08:28:30 +0100 | <lambdabot> | Unknown command, try @list |
| 2022-03-17 08:29:14 +0100 | <jneira[m]> | or ghcid https://github.com/ndmitchell/ghcid |
| 2022-03-17 08:31:17 +0100 | arjun | (~arjun@user/arjun) |
| 2022-03-17 08:35:43 +0100 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-03-17 08:37:28 +0100 | x_kuru | (~xkuru@user/xkuru) |
| 2022-03-17 08:38:12 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-17 08:39:51 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-17 08:40:02 +0100 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 240 seconds) |
| 2022-03-17 08:42:20 +0100 | x_kuru | (~xkuru@user/xkuru) (Ping timeout: 252 seconds) |
| 2022-03-17 08:42:53 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-17 08:43:57 +0100 | x_kuru | (~xkuru@user/xkuru) |
| 2022-03-17 08:45:06 +0100 | x_kuru_ | (~xkuru@user/xkuru) |
| 2022-03-17 08:45:57 +0100 | foul_owl | (~kerry@23.82.193.89) (Ping timeout: 240 seconds) |
| 2022-03-17 08:47:23 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-17 08:47:51 +0100 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 252 seconds) |
| 2022-03-17 08:48:26 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-17 08:48:57 +0100 | x_kuru | (~xkuru@user/xkuru) (Ping timeout: 252 seconds) |
| 2022-03-17 08:49:43 +0100 | x_kuru | (~xkuru@user/xkuru) |
| 2022-03-17 08:50:23 +0100 | x_kuru_ | (~xkuru@user/xkuru) (Ping timeout: 268 seconds) |
| 2022-03-17 08:50:55 +0100 | x_kuru_ | (~xkuru@user/xkuru) |
| 2022-03-17 08:52:11 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-03-17 08:53:02 +0100 | michalz | (~michalz@185.246.204.33) |
| 2022-03-17 08:53:26 +0100 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 250 seconds) |
| 2022-03-17 08:54:18 +0100 | x_kuru | (~xkuru@user/xkuru) (Ping timeout: 250 seconds) |
| 2022-03-17 08:54:29 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-17 08:55:36 +0100 | x_kuru_ | (~xkuru@user/xkuru) (Ping timeout: 250 seconds) |
| 2022-03-17 08:59:38 +0100 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 268 seconds) |
| 2022-03-17 09:00:15 +0100 | alp | (~alp@user/alp) |
| 2022-03-17 09:01:26 +0100 | foul_owl | (~kerry@23.82.193.89) |
| 2022-03-17 09:08:18 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-03-17 09:11:03 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-03-17 09:20:33 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-17 09:28:12 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-03-17 09:30:54 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-17 09:31:21 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Client Quit) |
| 2022-03-17 09:33:56 +0100 | vpan | (~0@212.117.1.172) |
| 2022-03-17 09:35:44 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-03-17 09:41:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d213:ffce:3318:8451) |
| 2022-03-17 09:47:14 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-03-17 09:47:15 +0100 | fendor | (~fendor@91.141.73.245.wireless.dyn.drei.com) |
| 2022-03-17 09:49:15 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-17 09:50:34 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-03-17 09:50:51 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-17 09:53:36 +0100 | agumonkey | (~user@88.163.231.79) |
| 2022-03-17 09:55:44 +0100 | chele | (~chele@user/chele) |
| 2022-03-17 09:56:19 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-17 09:58:31 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-17 10:00:12 +0100 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Quit: You have been kicked for being idle) |
| 2022-03-17 10:00:25 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
| 2022-03-17 10:00:30 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-03-17 10:05:07 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 10:08:54 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-17 10:09:09 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Quit: Leaving) |
| 2022-03-17 10:09:32 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-17 10:10:02 +0100 | ubert | (~Thunderbi@p200300ecdf19b776fd6bfc6fe6a8a410.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-17 10:10:21 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 245 seconds) |
| 2022-03-17 10:11:16 +0100 | ubert | (~Thunderbi@p200300ecdf153925fd6bfc6fe6a8a410.dip0.t-ipconnect.de) |
| 2022-03-17 10:12:35 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-17 10:13:01 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-03-17 10:15:20 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-17 10:16:20 +0100 | rkrishnan | (~user@2402:e280:215c:2cd:b1ea:752:e64f:92a) |
| 2022-03-17 10:20:13 +0100 | ubert | (~Thunderbi@p200300ecdf153925fd6bfc6fe6a8a410.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-17 10:24:10 +0100 | ubert | (~Thunderbi@p200300ecdf15887dfd6bfc6fe6a8a410.dip0.t-ipconnect.de) |
| 2022-03-17 10:25:07 +0100 | Techcable | (~Techcable@168.235.93.147) (Read error: Connection reset by peer) |
| 2022-03-17 10:25:14 +0100 | Techcable | (~Techcable@168.235.93.147) |
| 2022-03-17 10:28:58 +0100 | unit73e | (~ecouto@2001:818:e8dd:7c00:c04e:760a:547d:3f88) |
| 2022-03-17 10:29:53 +0100 | nexus | (~nexus@178-164-188-40.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2022-03-17 10:31:25 +0100 | nexus | (~nexus@87-97-13-43.pool.digikabel.hu) |
| 2022-03-17 10:34:55 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-17 10:36:21 +0100 | krappix | (~krappix@nat-eduroam-76-gw-01-lne.lille.inria.fr) |
| 2022-03-17 10:37:25 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-17 10:38:40 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-03-17 10:40:27 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5cb2:5682:6969:c42) |
| 2022-03-17 10:43:35 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-03-17 10:44:48 +0100 | ccntrq | (~Thunderbi@2a01:c22:845a:8600:4d3b:3bca:62a8:2aa9) |
| 2022-03-17 10:45:00 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-03-17 10:45:32 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-03-17 10:45:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:45:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:45:57 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:46:11 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:46:18 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:46:34 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:46:40 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:46:57 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:47:04 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:47:19 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:47:26 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:47:42 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:47:49 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:48:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:48:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:48:25 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:48:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:48:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:48:54 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:49:09 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:49:16 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:49:31 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:49:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:49:51 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:49:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:50:13 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:50:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:50:36 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:50:42 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:50:55 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-03-17 10:50:58 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:51:05 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:51:19 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:51:26 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:51:41 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:51:48 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:52:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-17 10:52:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-17 10:52:12 +0100 | ChanServ | +o litharge |
| 2022-03-17 10:52:13 +0100 | alp | (~alp@user/alp) |
| 2022-03-17 10:52:13 +0100 | litharge | +b *!*@98.38.249.169 |
| 2022-03-17 10:52:24 +0100 | litharge | -o litharge |
| 2022-03-17 10:52:54 +0100 | agumonkey | (~user@88.163.231.79) (Remote host closed the connection) |
| 2022-03-17 10:53:45 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-17 10:55:53 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-17 10:57:06 +0100 | modnar | (~modnar@shell.sonic.net) (Quit: No Ping reply in 180 seconds.) |
| 2022-03-17 10:58:17 +0100 | modnar | (~modnar@shell.sonic.net) |
| 2022-03-17 10:59:02 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 240 seconds) |
| 2022-03-17 10:59:34 +0100 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-03-17 11:07:58 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 2022-03-17 11:10:00 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-17 11:13:27 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-17 11:13:40 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-03-17 11:15:49 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 2022-03-17 11:16:05 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-17 11:17:04 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-17 11:17:50 +0100 | ph88 | (~ph88@89-220-184-245.cable.dynamic.v4.ziggo.nl) (Quit: Leaving) |
| 2022-03-17 11:18:56 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-17 11:19:44 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-03-17 11:21:51 +0100 | ccntrq | (~Thunderbi@2a01:c22:845a:8600:4d3b:3bca:62a8:2aa9) (Ping timeout: 252 seconds) |
| 2022-03-17 11:22:13 +0100 | ChanServ | +o litharge |
| 2022-03-17 11:22:14 +0100 | litharge | -bo *!*@98.38.249.169 litharge |
| 2022-03-17 11:24:13 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-03-17 11:27:06 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds) |
| 2022-03-17 11:27:35 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-03-17 11:27:48 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 240 seconds) |
| 2022-03-17 11:27:53 +0100 | <ManofLetters[m]> | type level programming question: why does it fail?... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/2e57cc6a6723ea893220755f9d252baec5c7…) |
| 2022-03-17 11:28:09 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 11:32:47 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-17 11:33:22 +0100 | <merijn> | ManofLetters[m]: 'x' is completely free, so the constraint is uncheckable |
| 2022-03-17 11:33:35 +0100 | ccntrq | (~Thunderbi@2a01:c23:9554:dc00:dcb5:fa75:4fdf:3e14) |
| 2022-03-17 11:34:35 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-17 11:35:06 +0100 | <ManofLetters[m]> | that's fine, this is just a simplified example; the question is why, if I assume that for every `x`, it can't be deduced for just `0` |
| 2022-03-17 11:36:21 +0100 | <merijn> | ManofLetters[m]: You can't "assume that it is for every X" |
| 2022-03-17 11:36:52 +0100 | <merijn> | ManofLetters[m]: The constraint says "F x ~ Int", in the absent of a choice for 'x', GHC treats that as unsolvable (which it is) |
| 2022-03-17 11:37:02 +0100 | <merijn> | s/absent/absence |
| 2022-03-17 11:37:37 +0100 | <merijn> | ManofLetters[m]: Whether "F x" is equivalent to Int, depends on 'x' |
| 2022-03-17 11:37:37 +0100 | <ManofLetters[m]> | oh, I see |
| 2022-03-17 11:38:11 +0100 | <merijn> | You're trying to use it more as an assertion that "F x" is always Int, yeah? |
| 2022-03-17 11:38:22 +0100 | <ManofLetters[m]> | yes |
| 2022-03-17 11:38:24 +0100 | <merijn> | I'm not sure you can actually write that in GHC Haskell |
| 2022-03-17 11:40:22 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-a161-049d-edaf-1b31.res6.spectrum.com) |
| 2022-03-17 11:42:56 +0100 | <ManofLetters[m]> | the following works and may be OK for me: `f :: (F x ~ Int, x ~ 0) => F x -> Int`(in the real code `F x ~ Int` is a part of a much larger constraint that will be present there regardless) |
| 2022-03-17 11:43:26 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-03-17 11:44:08 +0100 | <[exa]> | ManofLetters[m]: what's the greater purpose of that btw? |
| 2022-03-17 11:44:51 +0100 | <ManofLetters[m]> | taking over the world |
| 2022-03-17 11:45:18 +0100 | <ManofLetters[m]> | in smaller scale: I have a lot of functions that share the constraints that `F x ~ Int` is a part of |
| 2022-03-17 11:45:32 +0100 | <ManofLetters[m]> | and the functions work on 0, 1, etc., various values of the x |
| 2022-03-17 11:46:09 +0100 | <ManofLetters[m]> | and I'd like to express in the functions' signatures both what Nat they work on and that they share the big constraint |
| 2022-03-17 11:46:15 +0100 | <ManofLetters[m]> | e.g., another function may be |
| 2022-03-17 11:46:40 +0100 | <ManofLetters[m]> | `g :: (F x ~ Int, x ~ 5) => Double -> F x -> Int' |
| 2022-03-17 11:47:07 +0100 | <ManofLetters[m]> | remember that `F x ~ Int` is something bigger and `Int` is much bigger and more variable, too |
| 2022-03-17 11:47:10 +0100 | <merijn> | ManofLetters[m]: I mean, that's just writing "Double -> F 5 -> Int" with extra steps?? |
| 2022-03-17 11:47:28 +0100 | <merijn> | ah, no, I guess not |
| 2022-03-17 11:47:36 +0100 | <merijn> | Since that doesn't force F5 ~ Int |
| 2022-03-17 11:47:38 +0100 | <ManofLetters[m]> | `g :: (F x ~ Int, x ~ 5) => Double -> F 5 -> Int' is going to fail, right? |
| 2022-03-17 11:48:00 +0100 | <merijn> | "g :: (F 5 ~ Int) => Double -> F 5 -> Int" |
| 2022-03-17 11:48:19 +0100 | <ManofLetters[m]> | oh, yes, but I can't change the `F x ~ Int` part |
| 2022-03-17 11:48:27 +0100 | <ManofLetters[m]> | it's part of a much larger constraint |
| 2022-03-17 11:48:35 +0100 | <ManofLetters[m]> | hmm, unless I can apply it to 5 |
| 2022-03-17 11:48:37 +0100 | <ManofLetters[m]> | let me check... |
| 2022-03-17 11:48:49 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2022-03-17 11:49:47 +0100 | <[exa]> | oh so this example is completely arbitrary, okay |
| 2022-03-17 11:50:40 +0100 | <ManofLetters[m]> | yes, that may be optimal -- parameterize the big `F x ~ Int` constraint with x and do `g :: C 5 => Double -> F 5 -> Int', where `type C n = F n ~ Int` |
| 2022-03-17 11:50:57 +0100 | <ManofLetters[m]> | s/,/`/ |
| 2022-03-17 11:51:40 +0100 | <ManofLetters[m]> | or g :: C x, x ~ 5 => Double -> F x -> Int' if x appears in many places and `5` is really a big type-level list |
| 2022-03-17 11:51:56 +0100 | <ManofLetters[m]> | * or `g :: C x, x ~ 5 => Double -> F x -> Int` if x appears in many places and `5` is really a big type-level list |
| 2022-03-17 11:52:11 +0100 | <ManofLetters[m]> | thank you all |
| 2022-03-17 11:53:08 +0100 | <ManofLetters[m]> | the real example is this, if that's interesting:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/15f0ee6e1cfa7305aff7dd8e462b7582c297…) |
| 2022-03-17 11:53:55 +0100 | <ManofLetters[m]> | though that doesn't yet incorporate the big constraint, parameterized by `n`; so it's still artificial |
| 2022-03-17 11:54:33 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 11:54:33 +0100 | <ManofLetters[m]> | the new version will have `fromS0 :: IsScalarS '[] r => DualNumber (TensorS sh r) -> DualNumber r` |
| 2022-03-17 11:54:58 +0100 | <ManofLetters[m]> | and... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/abbedf490561f8a2f02186e64a4ada6b3261…) |
| 2022-03-17 11:55:12 +0100 | <ManofLetters[m]> | you shouldn't have asked :) |
| 2022-03-17 11:56:39 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-03-17 11:56:52 +0100 | <[exa]> | do you have any way to constrain the `sh` in `Dual (TensorS sh r) ~ OS.Array sh (Dual r)` ? |
| 2022-03-17 11:57:43 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2022-03-17 11:58:45 +0100 | <[exa]> | (perhaps show it an unique `sh` that could be derivable from `r` and useful in this situation?) |
| 2022-03-17 11:59:31 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-17 11:59:37 +0100 | <ManofLetters[m]> | in this function `sh` is `'[]`, in other's is various other lists |
| 2022-03-17 11:59:48 +0100 | <ManofLetters[m]> | BTW, the last example should have been `fromS0 :: IsScalarS '[] r => DualNumber (TensorS '[] r) -> DualNumber r` |
| 2022-03-17 12:00:20 +0100 | <ManofLetters[m]> | or `fromS0 :: (IsScalarS '[] r, sh ~'[]) => DualNumber (TensorS sh r) -> DualNumber r`, equivalently, I guess |
| 2022-03-17 12:00:31 +0100 | <ManofLetters[m]> | s/'[]/sh/ |
| 2022-03-17 12:00:37 +0100 | <[exa]> | ManofLetters[m]: in type signature of `fromS0`, how is it able to deduce that `sh ~ '[]` ? |
| 2022-03-17 12:01:02 +0100 | <ManofLetters[m]> | which one, because I've amended it many times |
| 2022-03-17 12:01:18 +0100 | <ManofLetters[m]> | the original one? |
| 2022-03-17 12:01:29 +0100 | <[exa]> | the "the real example is this, if that's interesting" line |
| 2022-03-17 12:01:34 +0100 | <ManofLetters[m]> | my naive idea was that "if it holds for sh, it also holds for '[]" |
| 2022-03-17 12:01:53 +0100 | <[exa]> | ah yes, but you're saying there "if it holds for all sh" |
| 2022-03-17 12:02:02 +0100 | <[exa]> | and there's no way to check that |
| 2022-03-17 12:02:21 +0100 | <ManofLetters[m]> | sh being implicitly universally quantified, I thought, but merijn explained to me why it doesn't work |
| 2022-03-17 12:02:41 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-03-17 12:02:51 +0100 | ph88 | (~ph88@89-220-184-245.cable.dynamic.v4.ziggo.nl) |
| 2022-03-17 12:02:52 +0100 | <ManofLetters[m]> | I naively thought a constraint is an assumption |
| 2022-03-17 12:02:58 +0100 | <ManofLetters[m]> | so you don't check that, you assume it |
| 2022-03-17 12:03:09 +0100 | <ManofLetters[m]> | [exa]: have you seen the simplified example? |
| 2022-03-17 12:03:31 +0100 | <ManofLetters[m]> | `f :: F x ~ Int => F 0 -> Int` |
| 2022-03-17 12:04:06 +0100 | <ManofLetters[m]> | so F applied to anyting is Int, hence F applied to 0 is Int --- that's what I thought, but merijn explained that's not how it works, see that older discussion |
| 2022-03-17 12:04:07 +0100 | <[exa]> | yes, that says the same. "If you manage to prove that (for all x) F x ~ Int, then you can use this function as `:: F 0 -> Int` |
| 2022-03-17 12:04:45 +0100 | <[exa]> | yes :] |
| 2022-03-17 12:05:07 +0100 | <ManofLetters[m]> | hah, what I thought was (forall x. F x ~ Int) => F 0 |
| 2022-03-17 12:05:13 +0100 | <ManofLetters[m]> | * F 0 ~ Int |
| 2022-03-17 12:05:15 +0100 | ccntrq | (~Thunderbi@2a01:c23:9554:dc00:dcb5:fa75:4fdf:3e14) (Quit: ccntrq) |
| 2022-03-17 12:05:27 +0100 | ccntrq | (~Thunderbi@dynamic-095-116-124-154.95.116.pool.telefonica.de) |
| 2022-03-17 12:06:17 +0100 | <ManofLetters[m]> | so, `f :: (forall x. F x ~ Int) => F 0 -> Int` is equivalent to `f :: Int -> Int` |
| 2022-03-17 12:06:26 +0100 | <ManofLetters[m]> | or something |
| 2022-03-17 12:06:28 +0100 | <[exa]> | I was asking if you could derive some simple example of `sh` for the typechecker there so the problematic `forall x` could be solved/removed. |
| 2022-03-17 12:07:04 +0100 | <ManofLetters[m]> | I don't follow |
| 2022-03-17 12:07:15 +0100 | <ManofLetters[m]> | in the larger example the only sh I'm interested in is '[] |
| 2022-03-17 12:07:21 +0100 | krappix | (~krappix@nat-eduroam-76-gw-01-lne.lille.inria.fr) (Ping timeout: 256 seconds) |
| 2022-03-17 12:07:34 +0100 | <ManofLetters[m]> | in that particular function, in others it will be some other type-level list |
| 2022-03-17 12:07:43 +0100 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-03-17 12:08:17 +0100 | <ManofLetters[m]> | but I want to share the same big constraint that states the same thing for all sh, be it '[] or any other type level list |
| 2022-03-17 12:08:36 +0100 | <[exa]> | ManofLetters[m]: the "is equivalent to" there holds mathematically but not in type systems (unless you apply some magic that I don't see there) |
| 2022-03-17 12:08:45 +0100 | <ManofLetters[m]> | I think will work if I parameterize the constraint by sh and apply to '[], but I haven't type-checked yet |
| 2022-03-17 12:09:24 +0100 | <ManofLetters[m]> | [exa]: yes, that's what merijn explained to me and I agreed, see above |
| 2022-03-17 12:09:30 +0100 | <[exa]> | ah okay :] |
| 2022-03-17 12:09:56 +0100 | <[exa]> | my notice with deriving `sh` was one possible workaround then :] |
| 2022-03-17 12:10:32 +0100 | <ManofLetters[m]> | right; thanks for the tip, I may come back for more if the last idea doesn't work :) |
| 2022-03-17 12:10:52 +0100 | <[exa]> | ok, good luck, this looks pretty dense |
| 2022-03-17 12:11:16 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-17 12:12:13 +0100 | <[exa]> | what's the "math" semantics of IsScalarS you have there btw? (when compared to IsScalar) |
| 2022-03-17 12:12:18 +0100 | <[exa]> | (just curious) |
| 2022-03-17 12:12:36 +0100 | <ManofLetters[m]> | yay, it worked, in this form: `type IsScalarS (sh :: [Nat]) r = (IsScalar r, Dual (TensorS sh r) ~ OS.Array sh (ScalarOf r))` |
| 2022-03-17 12:12:45 +0100 | razetime | (~quassel@117.207.19.145) |
| 2022-03-17 12:12:45 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-03-17 12:13:20 +0100 | <ManofLetters[m]> | `IsScalarS` is just an extension of `IsScalar` with an extra equality |
| 2022-03-17 12:13:48 +0100 | <[exa]> | more like, what does the "S" stand for |
| 2022-03-17 12:14:31 +0100 | <ManofLetters[m]> | the equality is that for any tensor shape, primal component of a dual number of a tensor of that shape is the same type as a tensor of that shape of scalars |
| 2022-03-17 12:14:42 +0100 | <ManofLetters[m]> | S is for shaped tensors: |
| 2022-03-17 12:15:06 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-17 12:15:13 +0100 | <[exa]> | ah cool |
| 2022-03-17 12:15:29 +0100 | <ManofLetters[m]> | https://hackage.haskell.org/package/orthotope-0.1.2.0/docs/Data-Array-Shaped.html#t:Shape |
| 2022-03-17 12:15:32 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-03-17 12:16:08 +0100 | <[exa]> | ah cool |
| 2022-03-17 12:16:21 +0100 | <[exa]> | I guess you could fix it a bit more semantically also by just specifying `Shape sh` |
| 2022-03-17 12:19:32 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-03-17 12:19:55 +0100 | ccntrq1 | (~Thunderbi@2a01:c23:9554:dc00:5ba8:8fe0:68a1:75cf) |
| 2022-03-17 12:21:04 +0100 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:8bc2:7df6:5938:d836) |
| 2022-03-17 12:22:02 +0100 | ccntrq | (~Thunderbi@dynamic-095-116-124-154.95.116.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-03-17 12:22:02 +0100 | ccntrq1 | ccntrq |
| 2022-03-17 12:22:27 +0100 | <ManofLetters[m]> | why not; where exactly would I put that? |
| 2022-03-17 12:25:57 +0100 | phma | (phma@2001:5b0:210f:7688:30ad:6c5c:35e4:9da) (Read error: Connection reset by peer) |
| 2022-03-17 12:30:24 +0100 | raym | (~raym@user/raym) (Quit: rebooting...) |
| 2022-03-17 12:31:43 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-17 12:31:54 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-17 12:32:51 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-17 12:33:22 +0100 | razetime | (~quassel@117.207.19.145) (Ping timeout: 260 seconds) |
| 2022-03-17 12:33:56 +0100 | razetime | (~quassel@117.207.19.145) |
| 2022-03-17 12:39:02 +0100 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-03-17 12:41:48 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-17 12:43:48 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-17 12:44:14 +0100 | shailangsa | (~shailangs@host165-120-169-51.range165-120.btcentralplus.com) |
| 2022-03-17 12:50:43 +0100 | raym | (~raym@user/raym) |
| 2022-03-17 12:51:31 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 250 seconds) |
| 2022-03-17 12:51:54 +0100 | bahamas | (~lucian@84.232.140.158) |
| 2022-03-17 12:53:04 +0100 | nexus | (~nexus@87-97-13-43.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2022-03-17 12:53:39 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-03-17 12:54:40 +0100 | nexus | (~nexus@94-21-108-13.pool.digikabel.hu) |
| 2022-03-17 12:56:27 +0100 | razetime | (~quassel@117.207.19.145) (Ping timeout: 252 seconds) |
| 2022-03-17 12:59:14 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-03-17 13:01:08 +0100 | mud | (~mud@user/kadoban) |
| 2022-03-17 13:05:01 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 2022-03-17 13:05:44 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-17 13:06:57 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 240 seconds) |
| 2022-03-17 13:08:59 +0100 | CiaoSen | (~Jura@p200300c957298b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-17 13:11:20 +0100 | agrosant | (~agrosant@46.12.50.59.dsl.dyn.forthnet.gr) (Ping timeout: 272 seconds) |
| 2022-03-17 13:11:38 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-03-17 13:16:18 +0100 | tchakka | (~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) (Ping timeout: 260 seconds) |
| 2022-03-17 13:16:26 +0100 | tchakka | (~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) |
| 2022-03-17 13:16:46 +0100 | acidjnk | (~acidjnk@p200300d0c7049f8638d8ab684392b403.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-03-17 13:17:14 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 2022-03-17 13:21:59 +0100 | karim | (~karim@41.34.205.183) |
| 2022-03-17 13:25:08 +0100 | <karim> | Greetings all, I was searching for #haskell-gsoc channel on freenode, but couldn't find it, anyone knows how to find it? |
| 2022-03-17 13:25:32 +0100 | <[exa]> | freenode still exists? |
| 2022-03-17 13:25:58 +0100 | <geekosaur> | summer.haskell.org still says it'son freenode |
| 2022-03-17 13:26:22 +0100 | <[exa]> | ah okay, so maybe it's now here on libera :] |
| 2022-03-17 13:26:27 +0100 | <geekosaur> | the last person who asked, I pointed to the gsoc committeealong with a suggestion they tell the committee to update their contact page |
| 2022-03-17 13:26:41 +0100 | <karim> | I searched for it here also, but it's not here. |
| 2022-03-17 13:26:46 +0100 | <geekosaur> | in any case I think it's as yet too early for the channel to exist |
| 2022-03-17 13:27:03 +0100 | <[exa]> | karim: anyway I'd say it's pretty safe to start asking here |
| 2022-03-17 13:27:34 +0100 | agrosant | (~agrosant@79.103.7.27.dsl.dyn.forthnet.gr) |
| 2022-03-17 13:28:13 +0100 | <geekosaur> | actually I wonder if committee@haskell.org is even a thing any more, or if it's been folded into the HF or something |
| 2022-03-17 13:28:23 +0100 | <geekosaur> | we don't seem to be very organized at present |
| 2022-03-17 13:28:30 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 13:33:21 +0100 | winstonsmith_ | (~winston@2a02:c98:1003:8000:ef6c:3d0:1746:a2f3) |
| 2022-03-17 13:33:30 +0100 | agrosant | (~agrosant@79.103.7.27.dsl.dyn.forthnet.gr) (Ping timeout: 272 seconds) |
| 2022-03-17 13:34:38 +0100 | bliminse | (~bliminse@host86-156-84-211.range86-156.btcentralplus.com) (Quit: leaving) |
| 2022-03-17 13:35:23 +0100 | mmhat | (~mmh@55d4b145.access.ecotel.net) (Quit: WeeChat 3.4.1) |
| 2022-03-17 13:37:10 +0100 | <maerwald> | geekosaur: haskell.org is not folded into HF |
| 2022-03-17 13:37:24 +0100 | <maerwald> | https://www.haskell.org/haskell-org-committee/ |
| 2022-03-17 13:38:58 +0100 | <geekosaur> | not the committee itself, but I could imagine summer of code stuff changing hands |
| 2022-03-17 13:39:35 +0100 | <geekosaur> | it's a bit weird for it to be run by the haskell.org committee inthe first place, but that was all we had before |
| 2022-03-17 13:41:15 +0100 | <maerwald> | I think haskell.org is exactly the right body for this. Its only purpose is helping the community and managing certain resources. |
| 2022-03-17 13:41:39 +0100 | <maerwald> | HF is more specific, with its own technical goals |
| 2022-03-17 13:45:02 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-17 13:48:32 +0100 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 250 seconds) |
| 2022-03-17 13:48:53 +0100 | agrosant | (~agrosant@79.103.143.96.dsl.dyn.forthnet.gr) |
| 2022-03-17 13:53:23 +0100 | agrosant | (~agrosant@79.103.143.96.dsl.dyn.forthnet.gr) (Max SendQ exceeded) |
| 2022-03-17 14:01:13 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-17 14:03:32 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 2022-03-17 14:09:36 +0100 | razetime | (~quassel@117.254.35.217) |
| 2022-03-17 14:12:17 +0100 | bliminse | (~bliminse@host86-156-84-211.range86-156.btcentralplus.com) |
| 2022-03-17 14:12:48 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-17 14:15:02 +0100 | karim | (~karim@41.34.205.183) (Ping timeout: 240 seconds) |
| 2022-03-17 14:17:02 +0100 | ccntrq | (~Thunderbi@2a01:c23:9554:dc00:5ba8:8fe0:68a1:75cf) (Remote host closed the connection) |
| 2022-03-17 14:17:17 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-03-17 14:17:20 +0100 | ccntrq | (~Thunderbi@2a01:c23:9554:dc00:5ba8:8fe0:68a1:75cf) |
| 2022-03-17 14:17:28 +0100 | karim | (~karim@41.34.205.183) |
| 2022-03-17 14:18:06 +0100 | karim | (~karim@41.34.205.183) (Remote host closed the connection) |
| 2022-03-17 14:18:28 +0100 | karim | (~karim@41.34.205.183) |
| 2022-03-17 14:22:21 +0100 | yauhsien | (~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 14:24:07 +0100 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2022-03-17 14:24:27 +0100 | <Inst> | @maerwald |
| 2022-03-17 14:24:27 +0100 | <lambdabot> | Unknown command, try @list |
| 2022-03-17 14:24:28 +0100 | <Inst> | yo |
| 2022-03-17 14:24:33 +0100 | <Inst> | I mentioned in Matrix |
| 2022-03-17 14:25:34 +0100 | <Inst> | that the death of Haskell Platform is a disaster |
| 2022-03-17 14:25:43 +0100 | <Inst> | because we've lost library standards |
| 2022-03-17 14:26:02 +0100 | <Inst> | and the loss of WinGHC means that windows integration is out the wazoo |
| 2022-03-17 14:26:03 +0100 | <maerwald> | Inst: https://github.com/haskellfoundation/stability/issues/7 |
| 2022-03-17 14:26:12 +0100 | <maerwald> | wrt library standards |
| 2022-03-17 14:26:14 +0100 | <Inst> | I'm wondering if you're willing to deal with library standards in the future |
| 2022-03-17 14:29:23 +0100 | karim | (~karim@41.34.205.183) (Ping timeout: 252 seconds) |
| 2022-03-17 14:39:16 +0100 | SignalGarden | (~ash@user/SignalWalker) |
| 2022-03-17 14:39:31 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 245 seconds) |
| 2022-03-17 14:39:59 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 14:42:24 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-03-17 14:44:30 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-17 14:58:32 +0100 | karim | (~karim@41.238.145.0) |
| 2022-03-17 14:59:55 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-03-17 15:02:04 +0100 | <Inst> | @maerwald |
| 2022-03-17 15:02:04 +0100 | <lambdabot> | Unknown command, try @list |
| 2022-03-17 15:02:25 +0100 | <Inst> | I think Hecate is pissed at me, in part because my friend (who is a champion influencer) is now a former friend, and we ended up splitting quite acrimoniously |
| 2022-03-17 15:02:32 +0100 | <Inst> | but say, if people put in a program to donate to GHCup |
| 2022-03-17 15:02:36 +0100 | <Inst> | would you accept donations? |
| 2022-03-17 15:02:43 +0100 | <Inst> | I'd gladly toss 20 USD your way |
| 2022-03-17 15:02:55 +0100 | <maerwald> | eh |
| 2022-03-17 15:03:27 +0100 | <maerwald> | There's an open-collective page |
| 2022-03-17 15:03:37 +0100 | <maerwald> | the link is at the bottom of the homepage |
| 2022-03-17 15:03:43 +0100 | <maerwald> | you can donate there |
| 2022-03-17 15:03:57 +0100 | <maerwald> | not sure what's that about influencers though |
| 2022-03-17 15:08:57 +0100 | <romesrf> | o/ |
| 2022-03-17 15:10:12 +0100 | razetime | (~quassel@117.254.35.217) (Ping timeout: 240 seconds) |
| 2022-03-17 15:10:32 +0100 | <yushyin> | Inst: if you prefix nicks with @ you trigger the bot. just mention names without @ |
| 2022-03-17 15:10:46 +0100 | razetime | (~quassel@117.254.35.21) |
| 2022-03-17 15:10:51 +0100 | <Inst> | It's some personal drama, nothing more, nothing less |
| 2022-03-17 15:12:40 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-03-17 15:18:06 +0100 | razetime | (~quassel@117.254.35.21) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-03-17 15:18:56 +0100 | tungki | (~tungki@subs20-114-142-172-21.three.co.id) |
| 2022-03-17 15:20:33 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
| 2022-03-17 15:23:00 +0100 | infinity0 | (~infinity0@occupy.ecodis.net) (Ping timeout: 250 seconds) |
| 2022-03-17 15:24:03 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 250 seconds) |
| 2022-03-17 15:27:35 +0100 | tungki60 | (~tungki@subs21-114-142-173-48.three.co.id) |
| 2022-03-17 15:28:06 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5cb2:5682:6969:c42) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-17 15:29:39 +0100 | tungki | (~tungki@subs20-114-142-172-21.three.co.id) (Ping timeout: 256 seconds) |
| 2022-03-17 15:29:50 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5cb2:5682:6969:c42) |
| 2022-03-17 15:31:02 +0100 | nexus | (~nexus@94-21-108-13.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-17 15:33:06 +0100 | nexus | (~nexus@84-236-40-211.pool.digikabel.hu) |
| 2022-03-17 15:36:58 +0100 | phma | (~phma@host-67-44-208-165.hnremote.net) |
| 2022-03-17 15:38:09 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-17 15:39:43 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-17 15:41:32 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2022-03-17 15:41:36 +0100 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-03-17 15:44:13 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-17 15:44:31 +0100 | ystael | (~ystael@user/ystael) |
| 2022-03-17 15:46:43 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 15:47:24 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 15:47:35 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-03-17 15:48:48 +0100 | chomwitt | (~chomwitt@2a02:587:dc19:ca00:a7f3:60c8:c144:5351) |
| 2022-03-17 15:50:21 +0100 | SignalGarden | (~ash@user/SignalWalker) (Ping timeout: 245 seconds) |
| 2022-03-17 15:51:45 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-17 15:53:03 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2022-03-17 15:55:12 +0100 | karim | (~karim@41.238.145.0) (Ping timeout: 252 seconds) |
| 2022-03-17 15:56:51 +0100 | tungki60 | (~tungki@subs21-114-142-173-48.three.co.id) (Ping timeout: 256 seconds) |
| 2022-03-17 15:57:15 +0100 | winstonsmith_ | (~winston@2a02:c98:1003:8000:ef6c:3d0:1746:a2f3) (Quit: Leaving) |
| 2022-03-17 15:58:17 +0100 | razetime | (~quassel@117.254.35.21) |
| 2022-03-17 16:00:21 +0100 | yauhsien | (~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2022-03-17 16:03:31 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-17 16:03:45 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-17 16:05:30 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-17 16:12:02 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 16:16:40 +0100 | quintasan_ | (~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.) |
| 2022-03-17 16:18:00 +0100 | quintasan | (~quassel@quintasan.pl) |
| 2022-03-17 16:22:55 +0100 | razetime | (~quassel@117.254.35.21) (Ping timeout: 256 seconds) |
| 2022-03-17 16:23:45 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-03-17 16:24:51 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-03-17 16:26:03 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-03-17 16:27:08 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 250 seconds) |
| 2022-03-17 16:28:14 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-03-17 16:30:23 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-17 16:31:36 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 16:35:57 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-17 16:37:54 +0100 | razetime | (~quassel@117.207.19.145) |
| 2022-03-17 16:39:12 +0100 | CiaoSen | (~Jura@p200300c957298b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-03-17 16:40:08 +0100 | s | (~s@187.83.249.216.dyn.smithville.net) |
| 2022-03-17 16:40:32 +0100 | s | Guest1639 |
| 2022-03-17 16:40:57 +0100 | bahamas | (~lucian@84.232.140.158) |
| 2022-03-17 16:46:13 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-03-17 16:49:18 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-17 16:50:44 +0100 | <Guest1639> | I'm trying to set up a stack project with multiple executables, and I'm having trouble figuring out exactly how to do it. one of the executables is a preprocessor with source in Foo.hs, the second is generated by Bar.hs which needs the preprocessor to run on it to generate valid haskell code. the problem is that stack build will compile Foo.hs, but |
| 2022-03-17 16:50:45 +0100 | <Guest1639> | then try to compile Bar.hs without building the executable for Foo first. is there a way to get stack to build an internal executable before compiling a library? do i need to split this into multiple packages? |
| 2022-03-17 16:51:41 +0100 | <merijn> | Guest1639: I don't think Cabal (and thus stack) has a way to support that without splitting it into multiple packages, no |
| 2022-03-17 16:52:07 +0100 | mmhat | (~mmh@55d4b07c.access.ecotel.net) |
| 2022-03-17 16:52:07 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-17 16:53:01 +0100 | mbuf | (~Shakthi@122.174.182.104) (Quit: Leaving) |
| 2022-03-17 16:54:00 +0100 | <Guest1639> | merijn guess i'll just have to split it :(. thank you! |
| 2022-03-17 16:54:01 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-17 16:54:45 +0100 | <janus> | maerwald: ooh you did the cloning per subdirectory fix, thank you!!! |
| 2022-03-17 16:55:07 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-17 17:01:01 +0100 | aman | (~aman@user/aman) |
| 2022-03-17 17:02:51 +0100 | aman | (~aman@user/aman) (Client Quit) |
| 2022-03-17 17:03:35 +0100 | infinity0 | (~infinity0@occupy.ecodis.net) |
| 2022-03-17 17:08:30 +0100 | Guest1639 | (~s@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2022-03-17 17:08:47 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-17 17:09:19 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-17 17:10:11 +0100 | nschoe | (~quassel@178.251.84.79) |
| 2022-03-17 17:10:24 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5cb2:5682:6969:c42) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-17 17:10:56 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5cb2:5682:6969:c42) |
| 2022-03-17 17:11:11 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 245 seconds) |
| 2022-03-17 17:11:56 +0100 | <maerwald> | at least they merged that |
| 2022-03-17 17:15:21 +0100 | nschoe | (~quassel@178.251.84.79) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-03-17 17:16:06 +0100 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 250 seconds) |
| 2022-03-17 17:16:59 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d213:ffce:3318:8451) (Quit: WeeChat 2.8) |
| 2022-03-17 17:18:05 +0100 | arjun_ | (~arjun@user/arjun) |
| 2022-03-17 17:19:02 +0100 | arjun_ | (~arjun@user/arjun) (Client Quit) |
| 2022-03-17 17:19:53 +0100 | arjun | (~arjun@user/arjun) (Ping timeout: 252 seconds) |
| 2022-03-17 17:23:49 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5cb2:5682:6969:c42) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-17 17:27:07 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 17:29:57 +0100 | dsrt^ | (~dsrt@65.240.140.18) (Remote host closed the connection) |
| 2022-03-17 17:36:01 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-17 17:40:22 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-03-17 17:42:34 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 268 seconds) |
| 2022-03-17 17:44:56 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 245 seconds) |
| 2022-03-17 17:47:11 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-17 17:50:14 +0100 | rkrishnan | (~user@2402:e280:215c:2cd:b1ea:752:e64f:92a) (Ping timeout: 260 seconds) |
| 2022-03-17 17:51:00 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-17 17:53:17 +0100 | nexus | (~nexus@84-236-40-211.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-17 17:54:17 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-17 17:54:59 +0100 | fockerized | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-17 17:55:06 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-03-17 17:55:22 +0100 | nexus | (~nexus@84-236-55-86.pool.digikabel.hu) |
| 2022-03-17 17:55:55 +0100 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:8bc2:7df6:5938:d836) (Remote host closed the connection) |
| 2022-03-17 17:56:34 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) |
| 2022-03-17 17:57:09 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-17 17:59:43 +0100 | bahamas | (~lucian@84.232.140.158) |
| 2022-03-17 18:00:27 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-17 18:00:36 +0100 | ccntrq | (~Thunderbi@2a01:c23:9554:dc00:5ba8:8fe0:68a1:75cf) (Remote host closed the connection) |
| 2022-03-17 18:00:54 +0100 | ccntrq | (~Thunderbi@2a01:c23:9554:dc00:5ba8:8fe0:68a1:75cf) |
| 2022-03-17 18:02:22 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-03-17 18:03:16 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5cb2:5682:6969:c42) |
| 2022-03-17 18:03:36 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-03-17 18:05:17 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 2022-03-17 18:08:38 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-17 18:13:01 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 240 seconds) |
| 2022-03-17 18:15:24 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-03-17 18:16:10 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-17 18:17:41 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-17 18:19:40 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-17 18:19:44 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 18:23:42 +0100 | razetime | (~quassel@117.207.19.145) (Ping timeout: 252 seconds) |
| 2022-03-17 18:24:45 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-17 18:31:02 +0100 | mixfix41 | (~sdenyninn@user/mixfix41) (Ping timeout: 240 seconds) |
| 2022-03-17 18:32:46 +0100 | CiaoSen | (~Jura@p200300c957298b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-17 18:34:06 +0100 | econo | (uid147250@user/econo) |
| 2022-03-17 18:38:00 +0100 | ccntrq | (~Thunderbi@2a01:c23:9554:dc00:5ba8:8fe0:68a1:75cf) (Remote host closed the connection) |
| 2022-03-17 18:39:20 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-17 18:40:36 +0100 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 2022-03-17 18:41:18 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 252 seconds) |
| 2022-03-17 18:41:54 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-03-17 18:48:19 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-03-17 18:49:43 +0100 | Flow | (~none@gentoo/developer/flow) |
| 2022-03-17 18:50:08 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-17 18:52:38 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5cb2:5682:6969:c42) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-03-17 18:53:50 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2022-03-17 18:56:01 +0100 | timCF | (~timCF@m91-129-108-222.cust.tele2.ee) |
| 2022-03-17 18:57:25 +0100 | timCF | (~timCF@m91-129-108-222.cust.tele2.ee) (Client Quit) |
| 2022-03-17 19:01:33 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-17 19:02:42 +0100 | asivitz | (uid178348@id-178348.tinside.irccloud.com) |
| 2022-03-17 19:04:07 +0100 | SignalGarden | (~ash@user/SignalWalker) |
| 2022-03-17 19:07:39 +0100 | ph88 | (~ph88@89-220-184-245.cable.dynamic.v4.ziggo.nl) (Quit: Leaving) |
| 2022-03-17 19:16:36 +0100 | mbuf | (~Shakthi@122.174.182.104) |
| 2022-03-17 19:20:17 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-03-17 19:22:38 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-17 19:24:36 +0100 | vglfr | (~vglfr@88.155.19.152) |
| 2022-03-17 19:24:49 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-03-17 19:24:52 +0100 | trillp | (~trillp@137.220.51.190) |
| 2022-03-17 19:26:32 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-03-17 19:32:26 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-17 19:38:55 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-03-17 19:41:50 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-17 19:42:06 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-03-17 19:47:18 +0100 | justAstache | (~justache@user/justache) (Read error: Connection reset by peer) |
| 2022-03-17 19:48:18 +0100 | justAstache | (~justache@user/justache) |
| 2022-03-17 19:49:09 +0100 | bahamas | (~lucian@84.232.140.158) |
| 2022-03-17 19:53:35 +0100 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 250 seconds) |
| 2022-03-17 19:55:14 +0100 | weekOldRoadkill | (~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) |
| 2022-03-17 19:55:33 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:fbc2:e286:7e32:c756) |
| 2022-03-17 19:56:00 +0100 | alp | (~alp@user/alp) (Ping timeout: 250 seconds) |
| 2022-03-17 19:57:02 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 240 seconds) |
| 2022-03-17 19:58:37 +0100 | mbuf | (~Shakthi@122.174.182.104) (Quit: Leaving) |
| 2022-03-17 20:00:26 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-03-17 20:00:27 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-03-17 20:03:00 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 20:03:59 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-03-17 20:05:35 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-03-17 20:05:37 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 240 seconds) |
| 2022-03-17 20:06:52 +0100 | raym | (~raym@user/raym) (Ping timeout: 268 seconds) |
| 2022-03-17 20:08:14 +0100 | raym | (~raym@user/raym) |
| 2022-03-17 20:08:44 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-03-17 20:13:51 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2022-03-17 20:14:40 +0100 | Flow | (~none@gentoo/developer/flow) |
| 2022-03-17 20:15:01 +0100 | raym | (~raym@user/raym) (Ping timeout: 240 seconds) |
| 2022-03-17 20:17:01 +0100 | raym | (~raym@user/raym) |
| 2022-03-17 20:17:35 +0100 | SignalGarden | (~ash@user/SignalWalker) (Quit: WeeChat 3.4.1) |
| 2022-03-17 20:18:41 +0100 | cosimone | (~user@93-44-187-176.ip98.fastwebnet.it) (Ping timeout: 245 seconds) |
| 2022-03-17 20:22:37 +0100 | bahamas | (~lucian@84.232.140.158) |
| 2022-03-17 20:23:45 +0100 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 256 seconds) |
| 2022-03-17 20:24:10 +0100 | nexus | (~nexus@84-236-55-86.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2022-03-17 20:24:59 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-17 20:25:14 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-17 20:25:27 +0100 | joo-_ | (~joo-_@87-49-147-204-mobile.dk.customer.tdc.net) |
| 2022-03-17 20:25:27 +0100 | joo-_ | (~joo-_@87-49-147-204-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-03-17 20:25:27 +0100 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-03-17 20:25:43 +0100 | nexus | (~nexus@178-164-235-215.pool.digikabel.hu) |
| 2022-03-17 20:26:44 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-03-17 20:26:57 +0100 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 2022-03-17 20:29:37 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-17 20:31:26 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-17 20:31:46 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-17 20:31:58 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-17 20:33:26 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-17 20:34:00 +0100 | cosimone | (~user@93-44-187-176.ip98.fastwebnet.it) |
| 2022-03-17 20:35:05 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-03-17 20:36:41 +0100 | SignalGarden | (~ash@user/SignalWalker) |
| 2022-03-17 20:36:43 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-17 20:36:53 +0100 | cosimone | (~user@93-44-187-176.ip98.fastwebnet.it) (Remote host closed the connection) |
| 2022-03-17 20:39:31 +0100 | cosimone | (~user@93-44-187-176.ip98.fastwebnet.it) |
| 2022-03-17 20:41:21 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-03-17 20:43:06 +0100 | alp | (~alp@user/alp) |
| 2022-03-17 20:44:30 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2022-03-17 20:52:39 +0100 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 256 seconds) |
| 2022-03-17 20:54:35 +0100 | joo-_ | (~joo-_@80-62-117-94-mobile.dk.customer.tdc.net) |
| 2022-03-17 20:54:35 +0100 | joo-_ | (~joo-_@80-62-117-94-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-03-17 20:54:35 +0100 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-03-17 20:56:27 +0100 | mrmonday | (~robert@octarineparrot.com) (Quit: .) |
| 2022-03-17 20:59:53 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2022-03-17 21:00:31 +0100 | bahamas | (~lucian@84.232.140.158) |
| 2022-03-17 21:02:43 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-03-17 21:03:45 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-03-17 21:03:47 +0100 | Everything | (~Everythin@37.115.210.35) |
| 2022-03-17 21:03:59 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2022-03-17 21:08:02 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-03-17 21:12:47 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-17 21:13:05 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-17 21:18:24 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-17 21:19:15 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-03-17 21:19:36 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-03-17 21:21:10 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-17 21:22:34 +0100 | unit73e | (~ecouto@2001:818:e8dd:7c00:c04e:760a:547d:3f88) (Remote host closed the connection) |
| 2022-03-17 21:22:59 +0100 | unit73e | (~ecouto@2001:818:e8dd:7c00:dedc:5c07:1da8:55e8) |
| 2022-03-17 21:24:00 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-17 21:27:32 +0100 | unit73e | (~ecouto@2001:818:e8dd:7c00:dedc:5c07:1da8:55e8) (Ping timeout: 240 seconds) |
| 2022-03-17 21:28:17 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-03-17 21:28:55 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-17 21:40:50 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-17 21:44:36 +0100 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 2022-03-17 21:47:37 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-17 21:51:42 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 250 seconds) |
| 2022-03-17 21:54:30 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-17 21:54:49 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-17 21:55:57 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-17 21:58:21 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 2022-03-17 22:01:11 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-17 22:06:59 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-03-17 22:07:01 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 2022-03-17 22:10:58 +0100 | pavonia | (~user@user/siracusa) |
| 2022-03-17 22:14:25 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-17 22:15:48 +0100 | bendo_ | (~bendo@ip5f5bebbb.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2022-03-17 22:16:22 +0100 | nahcetan | (~nate@98.45.167.61) |
| 2022-03-17 22:18:14 +0100 | acidjnk | (~acidjnk@p200300d0c7049f86318a7ac30eaec63e.dip0.t-ipconnect.de) |
| 2022-03-17 22:18:47 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) (Ping timeout: 256 seconds) |
| 2022-03-17 22:22:46 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-17 22:31:14 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 22:31:17 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-03-17 22:33:00 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2022-03-17 22:33:23 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-17 22:35:48 +0100 | _xor | (~xor@dsl-50-5-235-185.fuse.net) |
| 2022-03-17 22:37:02 +0100 | nexus | (~nexus@178-164-235-215.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-17 22:38:47 +0100 | nexus | (~nexus@87-97-2-198.pool.digikabel.hu) |
| 2022-03-17 22:39:05 +0100 | __xor | (~xor@dsl-50-5-235-185.fuse.net) |
| 2022-03-17 22:40:19 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-03-17 22:40:32 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-03-17 22:41:00 +0100 | _xor | (~xor@dsl-50-5-235-185.fuse.net) (Ping timeout: 240 seconds) |
| 2022-03-17 22:41:01 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-03-17 22:42:15 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-03-17 22:42:24 +0100 | foul_owl | (~kerry@23.82.193.89) (Ping timeout: 250 seconds) |
| 2022-03-17 22:44:20 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-17 22:46:01 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-a161-049d-edaf-1b31.res6.spectrum.com) (Quit: Leaving) |
| 2022-03-17 22:46:54 +0100 | michalz | (~michalz@185.246.204.33) (Remote host closed the connection) |
| 2022-03-17 22:49:24 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-03-17 22:51:39 +0100 | __xor | (~xor@dsl-50-5-235-185.fuse.net) (Ping timeout: 256 seconds) |
| 2022-03-17 22:54:59 +0100 | trillp | (~trillp@137.220.51.190) (WeeChat 3.3) |
| 2022-03-17 22:55:56 +0100 | vglfr | (~vglfr@88.155.19.152) (Ping timeout: 252 seconds) |
| 2022-03-17 22:57:55 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-17 22:59:27 +0100 | __xor | (~xor@dsl-50-5-233-169.fuse.net) |
| 2022-03-17 23:01:23 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-03-17 23:03:33 +0100 | deadmarshal_ | (~deadmarsh@95.38.117.233) (Ping timeout: 256 seconds) |
| 2022-03-17 23:05:09 +0100 | __xor | _xor |
| 2022-03-17 23:07:30 +0100 | yuvi | (~uv125@user/yuvi) |
| 2022-03-17 23:09:47 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-03-17 23:10:11 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:10:26 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:10:33 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:10:47 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:10:55 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:11:11 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:11:18 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:11:32 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:11:39 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:11:54 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:12:01 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:12:15 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:12:22 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:12:30 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-03-17 23:12:37 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:12:44 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:12:58 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:13:05 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:13:20 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:13:26 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:13:42 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:13:49 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:14:04 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:14:11 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:14:26 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:14:32 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:14:47 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:14:54 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:15:12 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:15:18 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:15:34 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:15:41 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:15:56 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:16:03 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:16:18 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:16:25 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:16:36 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-03-17 23:16:38 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:16:45 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-03-17 23:16:46 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:16:55 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-17 23:17:01 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:17:08 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:17:23 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:17:28 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-17 23:17:30 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:17:45 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:17:51 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:18:06 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:18:13 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:18:29 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:18:36 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:18:51 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:18:57 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:19:02 +0100 | foul_owl | (~kerry@23.82.193.89) |
| 2022-03-17 23:19:14 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:19:21 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:19:36 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:19:43 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:19:58 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:20:06 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:20:22 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:20:29 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:20:42 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:20:50 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:21:05 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:21:12 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:21:26 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:21:33 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:21:49 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:21:55 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:22:12 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-17 23:22:20 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-17 23:23:37 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:d42f:99b7:4e95:b08d) (Ping timeout: 240 seconds) |
| 2022-03-17 23:24:51 +0100 | alp | (~alp@user/alp) (Ping timeout: 256 seconds) |
| 2022-03-17 23:30:38 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-03-17 23:32:05 +0100 | fendor | (~fendor@91.141.73.245.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-03-17 23:32:25 +0100 | fendor | (~fendor@91.141.73.245.wireless.dyn.drei.com) |
| 2022-03-17 23:32:59 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:697a:4acd:f9b4:d4e0) |
| 2022-03-17 23:33:38 +0100 | alp | (~alp@user/alp) |
| 2022-03-17 23:35:32 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2022-03-17 23:36:41 +0100 | cosimone | (~user@93-44-187-176.ip98.fastwebnet.it) (Read error: Connection reset by peer) |
| 2022-03-17 23:39:57 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-03-17 23:40:12 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-03-17 23:41:16 +0100 | cosimone | (~user@93-44-187-176.ip98.fastwebnet.it) |
| 2022-03-17 23:41:51 +0100 | niemand | (~niemand@p54a9c867.dip0.t-ipconnect.de) |
| 2022-03-17 23:42:08 +0100 | jao | (~jao@89.45.90.164) |
| 2022-03-17 23:42:42 +0100 | <niemand> | Hi, has sb a nix flake for a haskell project with ghc 9.0+ and haskell-language-server? |
| 2022-03-17 23:46:06 +0100 | acidjnk | (~acidjnk@p200300d0c7049f86318a7ac30eaec63e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-03-17 23:46:12 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2022-03-17 23:47:02 +0100 | <dons> | morning all. |
| 2022-03-17 23:48:52 +0100 | <sclv> | morning dons! |
| 2022-03-17 23:49:12 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-17 23:52:06 +0100 | <romesrf> | good evening! |
| 2022-03-17 23:52:19 +0100 | <niemand> | good night! |
| 2022-03-17 23:52:26 +0100 | <jackdk> | g'day! |
| 2022-03-17 23:52:31 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:fbc2:e286:7e32:c756) (Remote host closed the connection) |
| 2022-03-17 23:52:36 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2022-03-17 23:52:57 +0100 | <romesrf> | this is lively, does anyone want to share what they're working on? |
| 2022-03-17 23:53:20 +0100 | <sclv> | trying to work out the most general setting in which the isomorphism between traversable functors and finitary containers holds :-P |
| 2022-03-17 23:53:33 +0100 | <sclv> | I think its any locally cartesian closed category, but its a bit fiddly |
| 2022-03-17 23:53:57 +0100 | <niemand> | >Hi, has sb a nix flake for a haskell project with ghc 9.0+ and haskell-language-server? |
| 2022-03-17 23:54:16 +0100 | <niemand> | An example project with linear types on github could suffice |
| 2022-03-17 23:54:49 +0100 | <niemand> | I want to show off linear types at my school :D |
| 2022-03-17 23:55:31 +0100 | fendor | (~fendor@91.141.73.245.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-03-17 23:55:45 +0100 | <hololeap> | I think linear types was introduced in 9.2 |
| 2022-03-17 23:55:50 +0100 | cheater | (~Username@user/cheater) |
| 2022-03-17 23:55:52 +0100 | <geekosaur> | 9.0 |
| 2022-03-17 23:55:57 +0100 | <hololeap> | oh, my bad |
| 2022-03-17 23:56:18 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-03-17 23:56:28 +0100 | <geekosaur> | it was the reason for the jump from 8.x |
| 2022-03-17 23:59:59 +0100 | <romesrf> | sclv: it sounds interesting! i'm still getting started in category theory but I really enjoy it. I'm going through Bartosz's book (chapter 9 now) |