Newest at the top
| 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) |
| 2026-04-23 12:54:22 +0000 | Googulator72 | (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-23 12:54:09 +0000 | Googulator72 | (~Googulato@78-131-16-66.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 12:52:18 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-04-23 12:50:29 +0000 | layline-away | (~layline@149.154.26.56) (Quit: ZZZzzz…) |
| 2026-04-23 12:48:37 +0000 | layline_ | layline-away |
| 2026-04-23 12:45:10 +0000 | polykernel_ | polykernel |
| 2026-04-23 12:45:10 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-04-23 12:44:53 +0000 | califax | (~califax@user/califx) califx |
| 2026-04-23 12:44:52 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 12:44:36 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 12:44:36 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-04-23 12:42:31 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-04-23 12:36:08 +0000 | califax_ | califax |
| 2026-04-23 12:36:08 +0000 | califax | (~califax@user/califx) (Ping timeout: 265 seconds) |
| 2026-04-23 12:33:28 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-23 12:33:24 +0000 | califax_ | (~califax@user/califx) califx |
| 2026-04-23 12:32:45 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-23 12:30:09 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-23 12:27:37 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-23 12:26:07 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |