Newest at the top
| 2026-04-23 15:06:52 +0000 | <kuribas> | ah right :) |
| 2026-04-23 15:06:49 +0000 | <kuribas> | yes |
| 2026-04-23 15:06:47 +0000 | <comerijn> | Then you're just reinventing CSP ;) |
| 2026-04-23 15:06:41 +0000 | <comerijn> | Oh, wait, you mean have free model all threads at once? |
| 2026-04-23 15:05:58 +0000 | <kuribas> | Why not? |
| 2026-04-23 15:05:48 +0000 | <comerijn> | kuribas: Right, but then it's no longer a pure model :p |
| 2026-04-23 14:58:38 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-23 14:58:38 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-04-23 14:58:38 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-04-23 14:58:32 +0000 | <kuribas> | Maybe a custom StateF with extra primitives for accessing mutexes. |
| 2026-04-23 14:56:56 +0000 | <kuribas> | "Free (StateF (MutexStore) a". |
| 2026-04-23 14:56:27 +0000 | <kuribas> | Store a mutex in the state? |
| 2026-04-23 14:55:22 +0000 | <comerijn> | kuribas: How do you represent communication between threads? |
| 2026-04-23 14:55:20 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-23 14:54:19 +0000 | <kuribas> | Couldn't I represent a thread as "Free (StateF s) a". |
| 2026-04-23 14:53:14 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-04-23 14:53:07 +0000 | <comerijn> | There's other mathematical models for concurrency, but I'm not aware of any as well known as CSP |
| 2026-04-23 14:50:42 +0000 | <comerijn> | Basically modelling things as CSP and the proving certain event traces are impossible |
| 2026-04-23 14:49:52 +0000 | <comerijn> | https://ir.cwi.nl/pub/4746 |
| 2026-04-23 14:49:51 +0000 | <comerijn> | We used muCRL |
| 2026-04-23 14:44:38 +0000 | <kuribas> | comerijn: which tool is that? |
| 2026-04-23 14:43:13 +0000 | <comerijn> | kuribas: I've done proofs about CSP using mu-calculus |
| 2026-04-23 14:42:39 +0000 | <comerijn> | Not to be confused with CPS :p |
| 2026-04-23 14:42:29 +0000 | <comerijn> | kuribas: CSP? |
| 2026-04-23 14:39:28 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-23 14:39:01 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-23 14:38:36 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-23 14:25:53 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-04-23 14:24:04 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2026-04-23 14:22:55 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-23 14:10:10 +0000 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) juri_ |
| 2026-04-23 13:58:43 +0000 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2026-04-23 13:58:22 +0000 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-04-23 13:58:22 +0000 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2026-04-23 13:58:22 +0000 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2026-04-23 13:57:37 +0000 | shr\ke | (~shrike@user/shrke:31298) (Remote host closed the connection) |
| 2026-04-23 13:54:10 +0000 | emaczen | (~user@user/emaczen) emaczen |
| 2026-04-23 13:51:29 +0000 | ski | . o O ( "A Poor Man's Concurrency Monad" by Koen Claessen in 1999-05 at <https://web.archive.org/web/20080222023959/http://www.cs.chalmers.se/~koen/pubs/entry-jfp99-monad.…> ) |
| 2026-04-23 13:50:38 +0000 | beagles_ | (~beagles@142.163.133.95) (Remote host closed the connection) |
| 2026-04-23 13:39:55 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ef2d:650d:209c:a61) |
| 2026-04-23 13:39:44 +0000 | <kuribas> | Maybe each thread is a Free monad, which you can interleave? |
| 2026-04-23 13:39:31 +0000 | <kuribas> | How would you model concurrent threads in a pure way, to proof properties? |
| 2026-04-23 13:36:07 +0000 | szkl | (uid110435@2a03:5180:f:5::1:af63) (Quit: Connection closed for inactivity) |
| 2026-04-23 13:35:10 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ef2d:650d:209c:a61) (Ping timeout: 245 seconds) |
| 2026-04-23 13:34:22 +0000 | kuribas | (~user@2a02:1808:51:6776:c5ce:b7ef:828f:40c5) kuribas |
| 2026-04-23 13:24:18 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-23 13:21:16 +0000 | AlexNoo | (~AlexNoo@85.174.181.200) |
| 2026-04-23 13:02:42 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-23 13:02:23 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-23 12:55:21 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |