Newest at the top
| 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 |
| 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 |