| 2024-07-03 00:09:54 +0200 | ryan28 | (~ryan@65.59.236.66) |
| 2024-07-03 00:14:19 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2024-07-03 00:17:03 +0200 | ryan28 | (~ryan@65.59.236.66) (Quit: Client closed) |
| 2024-07-03 00:33:22 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-03 00:35:23 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-03 00:36:01 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a9cb:4ca2:ea5e:65b) (Ping timeout: 246 seconds) |
| 2024-07-03 00:49:31 +0200 | noumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2024-07-03 00:52:05 +0200 | She | (haveident@libera/staff/she/her) (Ping timeout: 612 seconds) |
| 2024-07-03 00:56:17 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 272 seconds) |
| 2024-07-03 00:58:07 +0200 | She | (haveident@libera/staff/she/her) |
| 2024-07-03 01:00:01 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-03 01:11:41 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 268 seconds) |
| 2024-07-03 01:13:58 +0200 | turlando | (~turlando@user/turlando) |
| 2024-07-03 01:18:51 +0200 | bilegeek | (~bilegeek@2600:1008:b097:4201:4e37:1733:dc44:e84a) |
| 2024-07-03 01:22:53 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb8314c8314f426f59bc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-07-03 01:27:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f24b:3531:a0b0:b3c9) |
| 2024-07-03 01:31:37 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-07-03 01:36:49 +0200 | zzz | (~yin@user/zero) (Ping timeout: 272 seconds) |
| 2024-07-03 01:42:10 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2024-07-03 01:42:34 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-03 01:44:11 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-03 01:45:40 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2024-07-03 01:51:51 +0200 | lewisje | (~lewisje@74.215.19.22) (Ping timeout: 264 seconds) |
| 2024-07-03 01:55:27 +0200 | zzz | (~yin@user/zero) |
| 2024-07-03 02:15:57 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-03 02:16:36 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-03 02:18:49 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-03 02:20:31 +0200 | lewisje | (~lewisje@74.215.19.22) |
| 2024-07-03 02:45:58 +0200 | lain` | (lain`@user/lain/x-9874679) (Quit: https://convos.chat) |
| 2024-07-03 02:47:04 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-03 02:53:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-03 03:03:04 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 256 seconds) |
| 2024-07-03 03:05:21 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-07-03 03:18:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-03 03:18:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-03 03:19:39 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2024-07-03 03:28:09 +0200 | m1dnight | (~christoph@82.146.125.185) (Read error: Connection reset by peer) |
| 2024-07-03 03:33:36 +0200 | m1dnight | (~christoph@82.146.125.185) |
| 2024-07-03 03:50:06 +0200 | sam113101 | (~sam@24.157.253.231) (Ping timeout: 256 seconds) |
| 2024-07-03 03:50:13 +0200 | mxs9 | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-03 03:51:05 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-07-03 03:57:33 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-03 03:57:49 +0200 | lain_ | (lain`@user/lain/x-9874679) |
| 2024-07-03 03:57:59 +0200 | lain_ | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-03 03:58:22 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-03 04:02:13 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-03 04:02:36 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-07-03 04:04:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-07-03 04:14:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f24b:3531:a0b0:b3c9) (Ping timeout: 264 seconds) |
| 2024-07-03 04:21:04 +0200 | zzz | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-07-03 04:27:29 +0200 | sam113101 | (~sam@24.157.253.231) (Quit: WeeChat 4.3.2) |
| 2024-07-03 04:28:04 +0200 | zzz | (~yin@user/zero) |
| 2024-07-03 04:37:41 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-07-03 04:41:39 +0200 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 268 seconds) |
| 2024-07-03 04:42:21 +0200 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-07-03 04:43:04 +0200 | td_ | (~td@i5387092B.versanet.de) |
| 2024-07-03 04:46:47 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 264 seconds) |
| 2024-07-03 04:48:39 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) |
| 2024-07-03 05:04:30 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-03 05:17:18 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfd:8900:ac01:bda6:fe69:cd4b) |
| 2024-07-03 05:18:32 +0200 | aforemny | (~aforemny@2001:9e8:6cdc:7000:35fc:2c7:776f:671b) (Ping timeout: 256 seconds) |
| 2024-07-03 05:50:19 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-07-03 06:07:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-07-03 06:08:01 +0200 | euleritian | (~euleritia@dynamic-176-000-202-093.176.0.pool.telefonica.de) |
| 2024-07-03 06:41:41 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection) |
| 2024-07-03 06:45:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-03 06:53:04 +0200 | michalz | (~michalz@185.246.207.218) |
| 2024-07-03 06:54:52 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-07-03 06:56:07 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-07-03 07:01:45 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-07-03 07:05:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-07-03 07:13:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-03 07:30:14 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-03 07:36:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-07-03 07:36:10 +0200 | raym | (~ray@user/raym) (Quit: server maintenance) |
| 2024-07-03 07:37:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-03 07:42:09 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-03 07:52:59 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-03 07:54:51 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-03 08:00:08 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-07-03 08:08:19 +0200 | danse-nr3 | (~danse-nr3@151.37.213.183) |
| 2024-07-03 08:11:25 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2024-07-03 08:15:18 +0200 | She | (haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.) |
| 2024-07-03 08:15:29 +0200 | She | (haveident@libera/staff/she/her) |
| 2024-07-03 08:21:29 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb75b55b5e6c7fe4efd7.dip0.t-ipconnect.de) |
| 2024-07-03 08:27:11 +0200 | kuribas | (~user@2a02:1808:2:640d:9742:ea5d:5d7c:136d) |
| 2024-07-03 08:32:40 +0200 | kuribas | (~user@2a02:1808:2:640d:9742:ea5d:5d7c:136d) (Remote host closed the connection) |
| 2024-07-03 08:32:58 +0200 | kuribas | (~user@2a02:1808:2:640d:fd88:8681:4b58:6f0b) |
| 2024-07-03 08:36:37 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-07-03 08:37:17 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-07-03 08:38:12 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-03 08:39:19 +0200 | kuribas` | (~user@2a02:1808:2:640d:fd88:8681:4b58:6f0b) |
| 2024-07-03 08:39:37 +0200 | kuribas | (~user@2a02:1808:2:640d:fd88:8681:4b58:6f0b) (Remote host closed the connection) |
| 2024-07-03 08:52:56 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-03 08:55:54 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 252 seconds) |
| 2024-07-03 08:57:29 +0200 | euleritian | (~euleritia@dynamic-176-000-202-093.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-03 08:57:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-03 09:01:17 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-03 09:09:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-03 09:11:45 +0200 | kuribas` | (~user@2a02:1808:2:640d:fd88:8681:4b58:6f0b) (Ping timeout: 268 seconds) |
| 2024-07-03 09:11:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-03 09:11:56 +0200 | euleritian | (~euleritia@dynamic-176-000-202-093.176.0.pool.telefonica.de) |
| 2024-07-03 09:12:17 +0200 | euleritian | (~euleritia@dynamic-176-000-202-093.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-03 09:12:35 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-03 09:15:21 +0200 | bilegeek_ | (~bilegeek@83.sub-174-228-98.myvzw.com) |
| 2024-07-03 09:17:49 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-03 09:18:15 +0200 | bilegeek | (~bilegeek@2600:1008:b097:4201:4e37:1733:dc44:e84a) (Ping timeout: 264 seconds) |
| 2024-07-03 09:20:49 +0200 | kuribas` | (~user@2a02:1808:2:640d:d198:d623:dfd:f258) |
| 2024-07-03 09:21:07 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-03 09:24:33 +0200 | Rembane | (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
| 2024-07-03 09:26:29 +0200 | irssi | (~Rembane@user/Rembane) |
| 2024-07-03 09:26:52 +0200 | raym | (~ray@user/raym) |
| 2024-07-03 09:40:37 +0200 | irssi | Rembane |
| 2024-07-03 09:48:19 +0200 | bilegeek_ | (~bilegeek@83.sub-174-228-98.myvzw.com) (Ping timeout: 246 seconds) |
| 2024-07-03 09:49:38 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-03 09:58:16 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-03 09:58:30 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-07-03 09:58:59 +0200 | bilegeek | (~bilegeek@83.sub-174-228-98.myvzw.com) |
| 2024-07-03 10:00:46 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2024-07-03 10:05:30 +0200 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-07-03 10:06:53 +0200 | kuribas` | (~user@2a02:1808:2:640d:d198:d623:dfd:f258) (Ping timeout: 240 seconds) |
| 2024-07-03 10:13:43 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.3.2) |
| 2024-07-03 10:15:20 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-07-03 10:20:16 +0200 | simendsjo | (~user@84.209.170.3) |
| 2024-07-03 10:21:13 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2024-07-03 10:23:25 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-03 10:24:11 +0200 | chele | (~chele@user/chele) |
| 2024-07-03 10:41:05 +0200 | bilegeek | (~bilegeek@83.sub-174-228-98.myvzw.com) (Quit: Leaving) |
| 2024-07-03 10:42:55 +0200 | danse-nr3 | (~danse-nr3@151.37.213.183) (Ping timeout: 246 seconds) |
| 2024-07-03 10:44:30 +0200 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) |
| 2024-07-03 10:44:50 +0200 | poscat0x04 | (~poscat@user/poscat) |
| 2024-07-03 10:45:44 +0200 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2024-07-03 10:49:00 +0200 | YoungFrog | (~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 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:d00c:2e8b:63d8:afbe) |
| 2024-07-03 10:49:32 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-03 10:49:34 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2024-07-03 10:55:20 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-07-03 10:55:51 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-03 10:59:54 +0200 | danse-nr3 | (~danse-nr3@151.37.213.183) |
| 2024-07-03 11:22:50 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-03 11:50:40 +0200 | malte | (~malte@mal.tc) (Ping timeout: 256 seconds) |
| 2024-07-03 11:52:05 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:6c4d:9987:adf9:9180) |
| 2024-07-03 11:52:29 +0200 | cfricke | (~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 +0200 | malte | (~malte@mal.tc) |
| 2024-07-03 12:00:58 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-03 12:02:10 +0200 | danse-nr3 | (~danse-nr3@151.37.213.183) (Read error: Connection reset by peer) |
| 2024-07-03 12:02:59 +0200 | danse-nr3 | (~danse-nr3@151.37.176.53) |
| 2024-07-03 12:20:06 +0200 | tomku | (~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. |