2024/07/03

Newest at the top

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:20:06 +0200tomku(~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 256 seconds)
2024-07-03 12:02:59 +0200danse-nr3(~danse-nr3@151.37.176.53)
2024-07-03 12:02:10 +0200danse-nr3(~danse-nr3@151.37.213.183) (Read error: Connection reset by peer)
2024-07-03 12:00:58 +0200sawilagar(~sawilagar@user/sawilagar)
2024-07-03 12:00:45 +0200malte(~malte@mal.tc)
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 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 11:52:29 +0200cfricke(~cfricke@user/cfricke)
2024-07-03 11:52:05 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:6c4d:9987:adf9:9180)
2024-07-03 11:50:40 +0200malte(~malte@mal.tc) (Ping timeout: 256 seconds)
2024-07-03 11:22:50 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-07-03 10:59:54 +0200danse-nr3(~danse-nr3@151.37.213.183)
2024-07-03 10:55:51 +0200rvalue(~rvalue@user/rvalue)
2024-07-03 10:55:20 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-07-03 10:49:34 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds)
2024-07-03 10:49:32 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-03 10:49:20 +0200YoungFrog(~youngfrog@2a02:a03f:c9db:fc00:d00c:2e8b:63d8:afbe)
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:45:44 +0200poscat(~poscat@user/poscat) (Read error: Connection reset by peer)
2024-07-03 10:44:50 +0200poscat0x04(~poscat@user/poscat)
2024-07-03 10:44:30 +0200misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net)
2024-07-03 10:42:55 +0200danse-nr3(~danse-nr3@151.37.213.183) (Ping timeout: 246 seconds)
2024-07-03 10:41:05 +0200bilegeek(~bilegeek@83.sub-174-228-98.myvzw.com) (Quit: Leaving)
2024-07-03 10:24:11 +0200chele(~chele@user/chele)
2024-07-03 10:23:25 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-07-03 10:21:13 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 246 seconds)
2024-07-03 10:20:16 +0200simendsjo(~user@84.209.170.3)
2024-07-03 10:15:20 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
2024-07-03 10:13:43 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.3.2)
2024-07-03 10:06:53 +0200kuribas`(~user@2a02:1808:2:640d:d198:d623:dfd:f258) (Ping timeout: 240 seconds)
2024-07-03 10:05:30 +0200kuribas``(~user@ip-188-118-57-242.reverse.destiny.be)
2024-07-03 10:00:46 +0200Noinia(~Frank@77-162-168-71.fixed.kpn.net)
2024-07-03 09:58:59 +0200bilegeek(~bilegeek@83.sub-174-228-98.myvzw.com)
2024-07-03 09:58:30 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-07-03 09:58:16 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-03 09:49:38 +0200gmg(~user@user/gehmehgeh)
2024-07-03 09:48:19 +0200bilegeek_(~bilegeek@83.sub-174-228-98.myvzw.com) (Ping timeout: 246 seconds)
2024-07-03 09:40:37 +0200irssiRembane
2024-07-03 09:26:52 +0200raym(~ray@user/raym)
2024-07-03 09:26:29 +0200irssi(~Rembane@user/Rembane)
2024-07-03 09:24:33 +0200Rembane(~Rembane@user/Rembane) (Quit: WeeChat 4.1.1)
2024-07-03 09:21:07 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving)
2024-07-03 09:20:49 +0200kuribas`(~user@2a02:1808:2:640d:d198:d623:dfd:f258)
2024-07-03 09:18:15 +0200bilegeek(~bilegeek@2600:1008:b097:4201:4e37:1733:dc44:e84a) (Ping timeout: 264 seconds)
2024-07-03 09:17:49 +0200misterfish(~misterfis@84.53.85.146)
2024-07-03 09:15:21 +0200bilegeek_(~bilegeek@83.sub-174-228-98.myvzw.com)
2024-07-03 09:12:35 +0200euleritian(~euleritia@77.22.252.56)
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:11:56 +0200euleritian(~euleritia@dynamic-176-000-202-093.176.0.pool.telefonica.de)