Newest at the top
| 2026-04-23 16:37:53 +0000 | Ay_Dragong | gAy_Dragon |
| 2026-04-23 16:37:02 +0000 | kuribas | (~user@2a02:1808:51:6776:c5ce:b7ef:828f:40c5) (Quit: /qui) |
| 2026-04-23 16:35:54 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-23 16:35:54 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:c1ac:b3ea:4d5f:1cb) (Changing host) |
| 2026-04-23 16:35:54 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:c1ac:b3ea:4d5f:1cb) |
| 2026-04-23 16:33:20 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-04-23 16:31:27 +0000 | acarrico | (~acarrico@2606:1440:605:2500:8a8c:d9b8:d955:c630) (Ping timeout: 246 seconds) |
| 2026-04-23 16:24:48 +0000 | gAy_Dragon | Ay_Dragong |
| 2026-04-23 16:14:48 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-23 16:09:20 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-04-23 16:04:22 +0000 | <comerijn> | https://en.wikipedia.org/wiki/Communicating_sequential_processes |
| 2026-04-23 16:03:54 +0000 | <humasect> | ooh, k |
| 2026-04-23 16:03:48 +0000 | <comerijn> | humasect: Communicating Sequential Processes |
| 2026-04-23 16:02:25 +0000 | <humasect> | continuation style passing ..? |
| 2026-04-23 15:37:39 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-23 15:35:21 +0000 | jmcantrell_ | jmcantrell |
| 2026-04-23 15:32:48 +0000 | accountant | (~accountan@2600:1702:5b61:8b40:955:b655:442f:e301) |
| 2026-04-23 15:31:57 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2026-04-23 15:26:12 +0000 | <kuribas> | comerijn: wouldn't it be nice to have something in idris2 or agda though? |
| 2026-04-23 15:24:32 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-23 15:23:30 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2026-04-23 15:21:15 +0000 | AlexZenon | (~alzenon@85.174.181.200) |
| 2026-04-23 15:20:40 +0000 | Square3 | (~Square@user/square) Square |
| 2026-04-23 15:18:39 +0000 | tnt2 | tnt1 |
| 2026-04-23 15:18:39 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2026-04-23 15:18:32 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-23 15:18:29 +0000 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 244 seconds) |
| 2026-04-23 15:18:15 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 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 |