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