Newest at the top
| 2026-04-23 17:35:07 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2026-04-23 17:33:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 17:30:39 +0000 | gf31 | (~gf3@user/gf3) gf3 |
| 2026-04-23 17:30:22 +0000 | tusko_ | (~uwu@user/tusko) tusko |
| 2026-04-23 17:30:18 +0000 | ephapticpulse | (~user@user/ephapticpulse) ephapticpulse |
| 2026-04-23 17:30:17 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 17:22:17 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) ft |
| 2026-04-23 17:21:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 17:19:50 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-04-23 17:18:40 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 17:17:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 17:12:24 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2026-04-23 17:12:07 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-23 17:09:31 +0000 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2026-04-23 17:06:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 17:01:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 16:53:34 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-04-23 16:44:22 +0000 | acarrico | (~acarrico@2606:1440:605:2500:d46:9e23:1112:52ce) |
| 2026-04-23 16:40:52 +0000 | bggd__ | (~bgg@2a01:e0a:fd5:f510:a8fb:b82b:2a5:62ab) (Remote host closed the connection) |
| 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 ;) |