2024/07/03

2024-07-03 00:09:54 +0200ryan28(~ryan@65.59.236.66)
2024-07-03 00:14:19 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 256 seconds)
2024-07-03 00:17:03 +0200ryan28(~ryan@65.59.236.66) (Quit: Client closed)
2024-07-03 00:33:22 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-07-03 00:35:23 +0200Sgeo(~Sgeo@user/sgeo)
2024-07-03 00:36:01 +0200xff0x(~xff0x@2405:6580:b080:900:a9cb:4ca2:ea5e:65b) (Ping timeout: 246 seconds)
2024-07-03 00:49:31 +0200noumenon(~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) (Quit: Leaving)
2024-07-03 00:52:05 +0200She(haveident@libera/staff/she/her) (Ping timeout: 612 seconds)
2024-07-03 00:56:17 +0200oo_miguel(~Thunderbi@78.10.207.46) (Ping timeout: 272 seconds)
2024-07-03 00:58:07 +0200She(haveident@libera/staff/she/her)
2024-07-03 01:00:01 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-07-03 01:11:41 +0200turlando(~turlando@user/turlando) (Ping timeout: 268 seconds)
2024-07-03 01:13:58 +0200turlando(~turlando@user/turlando)
2024-07-03 01:18:51 +0200bilegeek(~bilegeek@2600:1008:b097:4201:4e37:1733:dc44:e84a)
2024-07-03 01:22:53 +0200acidjnk_new3(~acidjnk@p200300d6e72cfb8314c8314f426f59bc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-07-03 01:27:21 +0200xff0x(~xff0x@2405:6580:b080:900:f24b:3531:a0b0:b3c9)
2024-07-03 01:31:37 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2024-07-03 01:36:49 +0200zzz(~yin@user/zero) (Ping timeout: 272 seconds)
2024-07-03 01:42:10 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 246 seconds)
2024-07-03 01:42:34 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 264 seconds)
2024-07-03 01:44:11 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-03 01:45:40 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 246 seconds)
2024-07-03 01:51:51 +0200lewisje(~lewisje@74.215.19.22) (Ping timeout: 264 seconds)
2024-07-03 01:55:27 +0200zzz(~yin@user/zero)
2024-07-03 02:15:57 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-03 02:16:36 +0200lain`(lain`@user/lain/x-9874679) (Remote host closed the connection)
2024-07-03 02:18:49 +0200lain`(lain`@user/lain/x-9874679)
2024-07-03 02:20:31 +0200lewisje(~lewisje@74.215.19.22)
2024-07-03 02:45:58 +0200lain`(lain`@user/lain/x-9874679) (Quit: https://convos.chat)
2024-07-03 02:47:04 +0200lain`(lain`@user/lain/x-9874679)
2024-07-03 02:53:12 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-07-03 03:03:04 +0200pointlessslippe1(~pointless@212.82.82.3) (Ping timeout: 256 seconds)
2024-07-03 03:05:21 +0200pointlessslippe1(~pointless@212.82.82.3)
2024-07-03 03:18:24 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-03 03:18:53 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-03 03:19:39 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds)
2024-07-03 03:28:09 +0200m1dnight(~christoph@82.146.125.185) (Read error: Connection reset by peer)
2024-07-03 03:33:36 +0200m1dnight(~christoph@82.146.125.185)
2024-07-03 03:50:06 +0200sam113101(~sam@24.157.253.231) (Ping timeout: 256 seconds)
2024-07-03 03:50:13 +0200mxs9(~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat)
2024-07-03 03:51:05 +0200sam113101(~sam@24.157.253.231)
2024-07-03 03:57:33 +0200lain`(lain`@user/lain/x-9874679) (Remote host closed the connection)
2024-07-03 03:57:49 +0200lain_(lain`@user/lain/x-9874679)
2024-07-03 03:57:59 +0200lain_(lain`@user/lain/x-9874679) (Remote host closed the connection)
2024-07-03 03:58:22 +0200lain`(lain`@user/lain/x-9874679)
2024-07-03 04:02:13 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-07-03 04:02:36 +0200petrichor(~znc-user@user/petrichor)
2024-07-03 04:04:39 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds)
2024-07-03 04:14:39 +0200xff0x(~xff0x@2405:6580:b080:900:f24b:3531:a0b0:b3c9) (Ping timeout: 264 seconds)
2024-07-03 04:21:04 +0200zzz(~yin@user/zero) (Ping timeout: 246 seconds)
2024-07-03 04:27:29 +0200sam113101(~sam@24.157.253.231) (Quit: WeeChat 4.3.2)
2024-07-03 04:28:04 +0200zzz(~yin@user/zero)
2024-07-03 04:37:41 +0200EvanR(~EvanR@user/evanr)
2024-07-03 04:41:39 +0200td_(~td@i53870908.versanet.de) (Ping timeout: 268 seconds)
2024-07-03 04:42:21 +0200zzz(~yin@user/zero) (Ping timeout: 252 seconds)
2024-07-03 04:43:04 +0200td_(~td@i5387092B.versanet.de)
2024-07-03 04:46:47 +0200barthandelous01(barth@triton.blinkenshell.org) (Ping timeout: 264 seconds)
2024-07-03 04:48:39 +0200barthandelous01(barth@triton.blinkenshell.org)
2024-07-03 05:04:30 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-07-03 05:17:18 +0200aforemny_(~aforemny@2001:9e8:6cfd:8900:ac01:bda6:fe69:cd4b)
2024-07-03 05:18:32 +0200aforemny(~aforemny@2001:9e8:6cdc:7000:35fc:2c7:776f:671b) (Ping timeout: 256 seconds)
2024-07-03 05:50:19 +0200Square(~Square@user/square) (Ping timeout: 246 seconds)
2024-07-03 06:07:21 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-07-03 06:08:01 +0200euleritian(~euleritia@dynamic-176-000-202-093.176.0.pool.telefonica.de)
2024-07-03 06:41:41 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection)
2024-07-03 06:45:17 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-07-03 06:53:04 +0200michalz(~michalz@185.246.207.218)
2024-07-03 06:54:52 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9)
2024-07-03 06:56:07 +0200sam113101(~sam@24.157.253.231)
2024-07-03 07:01:45 +0200rosco(~rosco@175.136.155.137)
2024-07-03 07:05:02 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-07-03 07:13:29 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-07-03 07:30:14 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-07-03 07:36:05 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-07-03 07:36:10 +0200raym(~ray@user/raym) (Quit: server maintenance)
2024-07-03 07:37:03 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-07-03 07:42:09 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-07-03 07:52:59 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 260 seconds)
2024-07-03 07:54:51 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-03 08:00:08 +0200oneeyedalien(~oneeyedal@user/oneeyedalien)
2024-07-03 08:08:19 +0200danse-nr3(~danse-nr3@151.37.213.183)
2024-07-03 08:11:25 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2024-07-03 08:15:18 +0200She(haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.)
2024-07-03 08:15:29 +0200She(haveident@libera/staff/she/her)
2024-07-03 08:21:29 +0200acidjnk_new3(~acidjnk@p200300d6e72cfb75b55b5e6c7fe4efd7.dip0.t-ipconnect.de)
2024-07-03 08:27:11 +0200kuribas(~user@2a02:1808:2:640d:9742:ea5d:5d7c:136d)
2024-07-03 08:32:40 +0200kuribas(~user@2a02:1808:2:640d:9742:ea5d:5d7c:136d) (Remote host closed the connection)
2024-07-03 08:32:58 +0200kuribas(~user@2a02:1808:2:640d:fd88:8681:4b58:6f0b)
2024-07-03 08:36:37 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-07-03 08:37:17 +0200oneeyedalien(~oneeyedal@user/oneeyedalien) (Quit: Leaving)
2024-07-03 08:38:12 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-07-03 08:39:19 +0200kuribas`(~user@2a02:1808:2:640d:fd88:8681:4b58:6f0b)
2024-07-03 08:39:37 +0200kuribas(~user@2a02:1808:2:640d:fd88:8681:4b58:6f0b) (Remote host closed the connection)
2024-07-03 08:52:56 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-07-03 08:55:54 +0200mikess(~mikess@user/mikess) (Ping timeout: 252 seconds)
2024-07-03 08:57:29 +0200euleritian(~euleritia@dynamic-176-000-202-093.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-03 08:57:47 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-03 09:01:17 +0200euphores(~SASL_euph@user/euphores)
2024-07-03 09:09:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-03 09:11:45 +0200kuribas`(~user@2a02:1808:2:640d:fd88:8681:4b58:6f0b) (Ping timeout: 268 seconds)
2024-07-03 09:11:46 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-03 09:11:56 +0200euleritian(~euleritia@dynamic-176-000-202-093.176.0.pool.telefonica.de)
2024-07-03 09:12:17 +0200euleritian(~euleritia@dynamic-176-000-202-093.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-03 09:12:35 +0200euleritian(~euleritia@77.22.252.56)
2024-07-03 09:15:21 +0200bilegeek_(~bilegeek@83.sub-174-228-98.myvzw.com)
2024-07-03 09:17:49 +0200misterfish(~misterfis@84.53.85.146)
2024-07-03 09:18:15 +0200bilegeek(~bilegeek@2600:1008:b097:4201:4e37:1733:dc44:e84a) (Ping timeout: 264 seconds)
2024-07-03 09:20:49 +0200kuribas`(~user@2a02:1808:2:640d:d198:d623:dfd:f258)
2024-07-03 09:21:07 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving)
2024-07-03 09:24:33 +0200Rembane(~Rembane@user/Rembane) (Quit: WeeChat 4.1.1)
2024-07-03 09:26:29 +0200irssi(~Rembane@user/Rembane)
2024-07-03 09:26:52 +0200raym(~ray@user/raym)
2024-07-03 09:40:37 +0200irssiRembane
2024-07-03 09:48:19 +0200bilegeek_(~bilegeek@83.sub-174-228-98.myvzw.com) (Ping timeout: 246 seconds)
2024-07-03 09:49:38 +0200gmg(~user@user/gehmehgeh)
2024-07-03 09:58:16 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-03 09:58:30 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-07-03 09:58:59 +0200bilegeek(~bilegeek@83.sub-174-228-98.myvzw.com)
2024-07-03 10:00:46 +0200Noinia(~Frank@77-162-168-71.fixed.kpn.net)
2024-07-03 10:05:30 +0200kuribas``(~user@ip-188-118-57-242.reverse.destiny.be)
2024-07-03 10:06:53 +0200kuribas`(~user@2a02:1808:2:640d:d198:d623:dfd:f258) (Ping timeout: 240 seconds)
2024-07-03 10:13:43 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.3.2)
2024-07-03 10:15:20 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
2024-07-03 10:20:16 +0200simendsjo(~user@84.209.170.3)
2024-07-03 10:21:13 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 246 seconds)
2024-07-03 10:23:25 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-07-03 10:24:11 +0200chele(~chele@user/chele)
2024-07-03 10:41:05 +0200bilegeek(~bilegeek@83.sub-174-228-98.myvzw.com) (Quit: Leaving)
2024-07-03 10:42:55 +0200danse-nr3(~danse-nr3@151.37.213.183) (Ping timeout: 246 seconds)
2024-07-03 10:44:30 +0200misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net)
2024-07-03 10:44:50 +0200poscat0x04(~poscat@user/poscat)
2024-07-03 10:45:44 +0200poscat(~poscat@user/poscat) (Read error: Connection reset by peer)
2024-07-03 10:49:00 +0200YoungFrog(~youngfrog@2a02:a03f:c9db:fc00:51d9:348e:70e7:cc59) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2024-07-03 10:49:20 +0200YoungFrog(~youngfrog@2a02:a03f:c9db:fc00:d00c:2e8b:63d8:afbe)
2024-07-03 10:49:32 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-03 10:49:34 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds)
2024-07-03 10:55:20 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-07-03 10:55:51 +0200rvalue(~rvalue@user/rvalue)
2024-07-03 10:59:54 +0200danse-nr3(~danse-nr3@151.37.213.183)
2024-07-03 11:22:50 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-07-03 11:50:40 +0200malte(~malte@mal.tc) (Ping timeout: 256 seconds)
2024-07-03 11:52:05 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:6c4d:9987:adf9:9180)
2024-07-03 11:52:29 +0200cfricke(~cfricke@user/cfricke)
2024-07-03 11:59:58 +0200 <Athas> What are good ways of doing message-based concurrency in Haskell? I have found https://github.com/haskell-distributed/distributed-process ("Cloud Haskell") so far.
2024-07-03 12:00:13 +0200 <Athas> I don't actually need physical distribution, but I would like a model that could in principle be distributed.
2024-07-03 12:00:45 +0200malte(~malte@mal.tc)
2024-07-03 12:00:58 +0200sawilagar(~sawilagar@user/sawilagar)
2024-07-03 12:02:10 +0200danse-nr3(~danse-nr3@151.37.213.183) (Read error: Connection reset by peer)
2024-07-03 12:02:59 +0200danse-nr3(~danse-nr3@151.37.176.53)
2024-07-03 12:20:06 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 256 seconds)
2024-07-03 12:21:34 +0200 <Leary> Athas: When you say model, do you just mean theoretically? I have an unfinished library for deterministic **channel**-based concurrency based on KPN (possibly not quite what you mean by message-based). It can be distributed in /principle/, but in reality I think it would need to be completely rewritten to actually support it.
2024-07-03 12:28:10 +0200misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 268 seconds)
2024-07-03 12:34:31 +0200misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net)
2024-07-03 12:37:00 +0200cpressey(~weechat@33b62f0c.skybroadband.com)
2024-07-03 12:51:29 +0200 <tomsmeding> Athas: out of curiosity, in what sense are e.g. TChans not enough?
2024-07-03 12:54:40 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-07-03 12:55:07 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-03 13:00:05 +0200misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 240 seconds)
2024-07-03 13:02:16 +0200 <Athas> tomsmeding: they might be, but they're a bit low level, so I'll need to build various things on top.
2024-07-03 13:02:24 +0200 <Athas> My context is teaching robust concurrent programming.
2024-07-03 13:02:43 +0200 <Athas> Leary: well, it has to actually run, but it doesn't have to be actually useful in a real-world/industrial setting.
2024-07-03 13:08:01 +0200 <Leary> My implementation prioritises safety over simplicity, so it's probably not suited for teaching. There's a fair bit of magic both in the implemtation and in the types.
2024-07-03 13:09:36 +0200 <Leary> But you could whip up your own simple KPN implementation; it's a very basic model of concurrency with very nice properties.
2024-07-03 13:10:11 +0200 <Leary> Nothing more robust than "if it's correct once, it's always correct; if it breaks one time, it will break next time".
2024-07-03 13:11:22 +0200 <danse-nr3> fine-grained seems more suited to teaching than automagic
2024-07-03 13:11:42 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 256 seconds)
2024-07-03 13:12:55 +0200cfricke(~cfricke@user/cfricke)
2024-07-03 13:24:36 +0200danse-nr3(~danse-nr3@151.37.176.53) (Remote host closed the connection)
2024-07-03 13:25:01 +0200danse-nr3(~danse-nr3@151.37.176.53)
2024-07-03 13:28:22 +0200lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap2371)
2024-07-03 13:28:49 +0200lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de)
2024-07-03 13:33:41 +0200danse-nr3(~danse-nr3@151.37.176.53) (Ping timeout: 240 seconds)
2024-07-03 13:34:05 +0200cpressey(~weechat@33b62f0c.skybroadband.com) (Ping timeout: 240 seconds)
2024-07-03 13:53:59 +0200agander_m(agander_m@gateway/vpn/protonvpn/aganderm/x-34304805)
2024-07-03 13:55:11 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-03 13:55:21 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-03 13:57:08 +0200mokee(~mokee@37.228.214.65)
2024-07-03 13:59:33 +0200agander_m(agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) (Ping timeout: 255 seconds)
2024-07-03 14:08:14 +0200misterfish(~misterfis@84.53.85.146)
2024-07-03 14:15:09 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-07-03 14:16:42 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-07-03 14:17:07 +0200euleritian(~euleritia@dynamic-176-000-204-218.176.0.pool.telefonica.de)
2024-07-03 14:24:53 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 240 seconds)
2024-07-03 14:35:34 +0200cpressey(~weechat@33b62f0c.skybroadband.com)
2024-07-03 14:36:38 +0200mokee(~mokee@37.228.214.65) (Quit: off)
2024-07-03 14:48:02 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-07-03 14:49:47 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-03 15:04:33 +0200rvalue(~rvalue@user/rvalue) (Quit: ZNC - https://znc.in)
2024-07-03 15:04:57 +0200rvalue(~rvalue@user/rvalue)
2024-07-03 15:16:43 +0200xff0x(~xff0x@2405:6580:b080:900:2e:65df:725b:2a62)
2024-07-03 15:20:31 +0200simendsjo(~user@84.209.170.3) (Ping timeout: 260 seconds)
2024-07-03 15:32:41 +0200cfricke(~cfricke@user/cfricke)
2024-07-03 15:52:46 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-07-03 15:53:37 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Read error: Connection reset by peer)
2024-07-03 15:53:58 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net)
2024-07-03 16:08:43 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-07-03 16:10:59 +0200simendsjo(~user@84.209.170.3)
2024-07-03 16:20:02 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds)
2024-07-03 16:20:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-03 16:24:09 +0200itaipu(~itaipu@168.121.98.250) (Remote host closed the connection)
2024-07-03 16:25:15 +0200itaipu(~itaipu@168.121.98.250)
2024-07-03 16:28:46 +0200Eoco(~ian@128.101.131.218)
2024-07-03 16:29:35 +0200simendsjo(~user@84.209.170.3) (Ping timeout: 260 seconds)
2024-07-03 16:31:08 +0200hueso(~root@user/hueso) (Ping timeout: 268 seconds)
2024-07-03 16:36:04 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 268 seconds)
2024-07-03 16:36:26 +0200hueso(~root@user/hueso)
2024-07-03 16:37:42 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-03 16:46:53 +0200 <ncf> if i'm writing a package that depends on foo, is there a way to access foo's data directory as defined in Paths_foo?
2024-07-03 16:48:57 +0200ystael(~ystael@user/ystael) (Quit: Lost terminal)
2024-07-03 16:51:35 +0200ystael(~ystael@user/ystael)
2024-07-03 17:01:45 +0200gtdg(~gtdg@user/gtdg)
2024-07-03 17:01:46 +0200gtdg(~gtdg@user/gtdg) (Client Quit)
2024-07-03 17:04:01 +0200agander_m(agander_m@gateway/vpn/protonvpn/aganderm/x-34304805)
2024-07-03 17:04:13 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Read error: Connection reset by peer)
2024-07-03 17:06:28 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-07-03 17:07:03 +0200nonzen(~nonzen@user/nonzen) (Quit: Gone)
2024-07-03 17:07:04 +0200sajith_(~sajith@user/sajith) (Quit: Gone)
2024-07-03 17:07:05 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-07-03 17:07:06 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-07-03 17:07:26 +0200nonzen(~nonzen@user/nonzen)
2024-07-03 17:07:58 +0200sajith(~sajith@user/sajith)
2024-07-03 17:08:33 +0200nonzen(~nonzen@user/nonzen) (Client Quit)
2024-07-03 17:08:33 +0200sajith(~sajith@user/sajith) (Remote host closed the connection)
2024-07-03 17:08:53 +0200nonzen(~nonzen@user/nonzen)
2024-07-03 17:09:25 +0200sajith(~sajith@user/sajith)
2024-07-03 17:10:12 +0200sajith(~sajith@user/sajith) (Remote host closed the connection)
2024-07-03 17:10:12 +0200nonzen(~nonzen@user/nonzen) (Client Quit)
2024-07-03 17:10:28 +0200danse-nr3(~danse-nr3@151.43.252.28)
2024-07-03 17:10:52 +0200nonzen(~nonzen@user/nonzen)
2024-07-03 17:11:24 +0200sajith(~sajith@user/sajith)
2024-07-03 17:11:53 +0200euleritian(~euleritia@dynamic-176-000-204-218.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-03 17:12:14 +0200euleritian(~euleritia@77.22.252.56)
2024-07-03 17:12:18 +0200mikess(~mikess@user/mikess)
2024-07-03 17:12:22 +0200danse-nr3(~danse-nr3@151.43.252.28) (Read error: Connection reset by peer)
2024-07-03 17:12:34 +0200 <c_wraith> ncf: I think your only options are convincing foo to export Paths_foo, or looking at your own data directory and hoping you can hack it into the correct data directory for foo.
2024-07-03 17:12:44 +0200danse-nr3(~danse-nr3@151.43.252.28)
2024-07-03 17:16:22 +0200agander_m(agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) (Remote host closed the connection)
2024-07-03 17:16:55 +0200agander_m(agander_m@gateway/vpn/protonvpn/aganderm/x-34304805)
2024-07-03 17:21:21 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-07-03 17:22:50 +0200cfricke(~cfricke@user/cfricke)
2024-07-03 17:23:58 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 264 seconds)
2024-07-03 17:24:56 +0200euleritian(~euleritia@dynamic-176-000-204-218.176.0.pool.telefonica.de)
2024-07-03 17:25:12 +0200agander_m(agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) (Ping timeout: 252 seconds)
2024-07-03 17:33:10 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-07-03 17:37:42 +0200berberman_(~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2024-07-03 17:38:16 +0200berberman(~berberman@user/berberman)
2024-07-03 17:38:22 +0200berberman(~berberman@user/berberman) (Remote host closed the connection)
2024-07-03 17:39:43 +0200berberman(~berberman@user/berberman)
2024-07-03 17:46:29 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-07-03 17:55:19 +0200Square(~Square@user/square)
2024-07-03 17:56:00 +0200danse-nr3(~danse-nr3@151.43.252.28) (Ping timeout: 252 seconds)
2024-07-03 17:59:22 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-07-03 18:00:33 +0200danse-nr3(~danse-nr3@151.43.252.28)
2024-07-03 18:08:04 +0200soverysour(~soverysou@81.196.150.219)
2024-07-03 18:08:04 +0200soverysour(~soverysou@81.196.150.219) (Changing host)
2024-07-03 18:08:04 +0200soverysour(~soverysou@user/soverysour)
2024-07-03 18:12:07 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
2024-07-03 18:12:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-03 18:14:18 +0200danse-nr3(~danse-nr3@151.43.252.28) (Ping timeout: 256 seconds)
2024-07-03 18:21:12 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 268 seconds)
2024-07-03 18:31:24 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-07-03 18:33:03 +0200nshepperd27(~nshepperd@static.117.72.21.65.clients.your-server.de)
2024-07-03 18:33:43 +0200Ashkan(~Ashkan@147.161.173.72)
2024-07-03 18:33:44 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:6c4d:9987:adf9:9180) (Remote host closed the connection)
2024-07-03 18:34:09 +0200sefidel(~sefidel@user/sefidel) (Ping timeout: 268 seconds)
2024-07-03 18:34:11 +0200 <Ashkan> Hello people. Why `Either Int Int` is a valid kind under `DataKinds` ?
2024-07-03 18:34:35 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Read error: Connection reset by peer)
2024-07-03 18:34:35 +0200nshepperd27nshepperd2
2024-07-03 18:34:40 +0200 <Ashkan> To be more precise, what does the `Int`s mean in a kind?
2024-07-03 18:34:53 +0200kuribas``(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2024-07-03 18:37:11 +0200sefidel(~sefidel@user/sefidel)
2024-07-03 18:40:10 +0200rosco(~rosco@175.136.155.137) (Quit: Lost terminal)
2024-07-03 18:42:00 +0200defanor_(~defanor@tart.uberspace.net) (Killed buffer)
2024-07-03 18:43:29 +0200Ashkan(~Ashkan@147.161.173.72) (Quit: Client closed)
2024-07-03 18:43:39 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-07-03 18:44:10 +0200rvalue(~rvalue@user/rvalue)
2024-07-03 18:49:21 +0200tired(~tired@user/tired) (Quit: /)
2024-07-03 18:50:00 +0200tired(~tired@user/tired)
2024-07-03 18:56:11 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-03 18:59:30 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-07-03 18:59:57 +0200soverysour(~soverysou@81.196.150.219)
2024-07-03 18:59:57 +0200soverysour(~soverysou@81.196.150.219) (Changing host)
2024-07-03 18:59:57 +0200soverysour(~soverysou@user/soverysour)
2024-07-03 19:01:47 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-07-03 19:06:18 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-07-03 19:06:22 +0200danse-nr3(~danse-nr3@151.37.178.132)
2024-07-03 19:14:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-03 19:19:34 +0200Ashkan(~Ashkan@147.161.173.72)
2024-07-03 19:21:18 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de)
2024-07-03 19:27:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-03 19:28:24 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 252 seconds)
2024-07-03 19:39:55 +0200 <dolio> Ashkan: It has all the values of Int promoted to the type level as 'types'.
2024-07-03 19:40:17 +0200 <dolio> The well-defined ones, I guess.
2024-07-03 19:44:12 +0200soverysour(~soverysou@81.196.150.219)
2024-07-03 19:44:12 +0200soverysour(~soverysou@81.196.150.219) (Changing host)
2024-07-03 19:44:12 +0200soverysour(~soverysou@user/soverysour)
2024-07-03 19:49:23 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 268 seconds)
2024-07-03 19:53:13 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-03 19:54:32 +0200zzz(~yin@user/zero)
2024-07-03 20:00:02 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-07-03 20:04:19 +0200cpressey(~weechat@33b62f0c.skybroadband.com) (Ping timeout: 246 seconds)
2024-07-03 20:04:47 +0200raym(~ray@user/raym) (Quit: kernel upgrade)
2024-07-03 20:09:44 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 268 seconds)
2024-07-03 20:11:20 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com)
2024-07-03 20:18:10 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-07-03 20:18:41 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2024-07-03 20:21:06 +0200Lord_of_Life_Lord_of_Life
2024-07-03 20:29:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-03 20:39:07 +0200ftzm(~ftzm@085080238199.dynamic.telenor.dk)
2024-07-03 20:40:27 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 252 seconds)
2024-07-03 20:42:03 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2024-07-03 20:43:40 +0200agander_m(agander_m@gateway/vpn/protonvpn/aganderm/x-34304805)
2024-07-03 20:46:20 +0200 <tomsmeding> Ashkan: Why would `Either Int Int` _not_ be a valid kind?
2024-07-03 20:46:42 +0200ftzm(~ftzm@085080238199.dynamic.telenor.dk) (Quit: The Lounge - https://thelounge.chat)
2024-07-03 20:47:18 +0200ftzm(~ftzm@085080238199.dynamic.telenor.dk)
2024-07-03 20:50:26 +0200target_i(~target_i@user/target-i/x-6023099)
2024-07-03 20:54:27 +0200__monty__(~toonn@user/toonn)
2024-07-03 20:55:18 +0200danse-nr3(~danse-nr3@151.37.178.132) (Ping timeout: 252 seconds)
2024-07-03 21:09:41 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-07-03 21:12:37 +0200lol_(~lol@2603:3016:1e01:b940:61bf:729d:7923:1c8b)
2024-07-03 21:16:12 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-03 21:16:21 +0200jcarpenter2(~lol@2603:3016:1e01:b940:c519:e2d2:dade:6025) (Ping timeout: 268 seconds)
2024-07-03 21:18:48 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-03 21:20:25 +0200emm(~emm@user/edmeme)
2024-07-03 21:25:55 +0200TonyStone(~TonyStone@user/TonyStone) (Ping timeout: 260 seconds)
2024-07-03 21:28:59 +0200euleritian(~euleritia@dynamic-176-000-204-218.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-03 21:29:16 +0200euleritian(~euleritia@77.22.252.56)
2024-07-03 21:30:29 +0200__monty__(~toonn@user/toonn) (Ping timeout: 240 seconds)
2024-07-03 21:37:43 +0200__monty__(~toonn@user/toonn)
2024-07-03 21:39:32 +0200TonyStone(~TonyStone@user/TonyStone)
2024-07-03 21:51:29 +0200__monty__(~toonn@user/toonn) (Ping timeout: 268 seconds)
2024-07-03 21:53:01 +0200Sgeo(~Sgeo@user/sgeo)
2024-07-03 21:53:31 +0200cpressey(~weechat@33b62f0c.skybroadband.com)
2024-07-03 21:58:18 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-03 22:02:58 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-07-03 22:03:15 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 264 seconds)
2024-07-03 22:06:44 +0200__monty__(~toonn@user/toonn)
2024-07-03 22:12:56 +0200codaraxis(~codaraxis@user/codaraxis)
2024-07-03 22:15:31 +0200codaraxis(~codaraxis@user/codaraxis) (Max SendQ exceeded)
2024-07-03 22:16:00 +0200codaraxis(~codaraxis@user/codaraxis)
2024-07-03 22:19:10 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-03 22:21:29 +0200Ashkan(~Ashkan@147.161.173.72) (Quit: Client closed)
2024-07-03 22:24:27 +0200dolio(~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in)
2024-07-03 22:25:19 +0200dolio(~dolio@130.44.134.54)
2024-07-03 22:27:00 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds)
2024-07-03 22:29:52 +0200soverysour(~soverysou@user/soverysour)
2024-07-03 22:34:08 +0200michalz(~michalz@185.246.207.218) (Quit: ZNC 1.9.0 - https://znc.in)
2024-07-03 22:37:03 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 252 seconds)
2024-07-03 22:39:25 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt) (Quit: Ping timeout (120 seconds))
2024-07-03 22:39:46 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt)
2024-07-03 22:39:51 +0200zzz(~yin@user/zero) (Ping timeout: 264 seconds)
2024-07-03 22:55:31 +0200cpressey(~weechat@33b62f0c.skybroadband.com) (Ping timeout: 272 seconds)
2024-07-03 23:01:22 +0200Joao[3](~Joao003@190.108.99.178)
2024-07-03 23:11:42 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 252 seconds)
2024-07-03 23:15:09 +0200lyxia(~lyxia@poisson.chat) (Quit: WeeChat 4.2.2)
2024-07-03 23:16:17 +0200agander_m(agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) (Remote host closed the connection)
2024-07-03 23:17:18 +0200lyxia(~lyxia@poisson.chat)
2024-07-03 23:30:09 +0200itaipu(~itaipu@168.121.98.250) (Ping timeout: 268 seconds)
2024-07-03 23:31:02 +0200itaipu(~itaipu@168.121.98.250)
2024-07-03 23:36:02 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-07-03 23:44:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-03 23:50:28 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)