Newest at the top
| 2026-04-06 17:46:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-06 17:45:42 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2026-04-06 17:45:15 +0000 | st_aldini | (~Betterbir@2605:a601:a07c:7426:a9c5:df0c:3e0f:b451) (Ping timeout: 246 seconds) |
| 2026-04-06 17:42:37 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-06 17:41:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 17:40:44 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-06 17:40:44 +0000 | st_aldini | (~Betterbir@2605:a601:a07c:7426:a9c5:df0c:3e0f:b451) st_aldini |
| 2026-04-06 17:37:11 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-06 17:35:11 +0000 | <mauke> | it doesn't explain I/O |
| 2026-04-06 17:34:52 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-04-06 17:30:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-06 17:25:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 17:14:53 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-06 17:14:37 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-04-06 17:13:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-06 17:09:54 +0000 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Ping timeout: 246 seconds) |
| 2026-04-06 17:08:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 17:08:13 +0000 | Googulator | (~Googulato@2a01-036d-0106-496b-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-04-06 17:07:59 +0000 | sm__ | (~sm@66.8.200.171) |
| 2026-04-06 17:07:58 +0000 | Googulator10 | (~Googulato@2a01-036d-0106-496b-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) |
| 2026-04-06 17:03:51 +0000 | <ski> | (e.g. doesn't explain I/O exceptions, doesn't explain concurrency (including communication), &c.) |
| 2026-04-06 17:03:13 +0000 | <ski> | it explains sequencing data dependency, but not much more |
| 2026-04-06 17:03:02 +0000 | zalo-rocky | (~flyingzal@user/zalo-rocky) zalo-rocky |
| 2026-04-06 16:57:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-06 16:54:34 +0000 | hellwolf | (~user@7530-0dab-5d73-cf2b-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2026-04-06 16:50:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 16:48:41 +0000 | hellwolf | (~user@52de-36c6-d139-9d27-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 248 seconds) |
| 2026-04-06 16:46:42 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-06 16:43:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-06 16:38:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 16:29:24 +0000 | <mauke> | RealWorld is bullshit. it doesn't explain anything |
| 2026-04-06 16:27:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-06 16:26:20 +0000 | TMA | is not smart enough and that's fine |
| 2026-04-06 16:26:17 +0000 | <TMA> | gentauro: some parts are easy. some parts make my brain shut down. |
| 2026-04-06 16:25:09 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-06 16:24:41 +0000 | <TMA> | gentauro: I have read it. I have not understood it. |
| 2026-04-06 16:22:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 16:14:39 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-06 16:10:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-06 16:05:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 15:59:22 +0000 | slomp | (~slomp@47-158-212-88.lsan.ca.frontiernet.net) |
| 2026-04-06 15:57:55 +0000 | slomp | (~slomp@47-158-212-88.lsan.ca.frontiernet.net) (Read error: Connection reset by peer) |
| 2026-04-06 15:54:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-06 15:49:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-06 15:47:15 +0000 | <gentauro> | TMA: do you know Binary Lambda Calculus from John Tromp? https://tromp.github.io/cl/Binary_lambda_calculus.html (see his examples how he handles IO effects) ;) |
| 2026-04-06 15:42:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-06 15:40:22 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-04-06 15:40:02 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-04-06 15:38:54 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-04-06 15:38:17 +0000 | TMA | is not smart enough and that's fine |