Newest at the top
| 2025-02-01 00:46:50 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-01 00:46:08 +0100 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2025-02-01 00:45:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-02-01 00:43:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 00:32:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-01 00:28:30 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-02-01 00:28:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 00:22:24 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-01 00:20:08 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-02-01 00:19:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-02-01 00:17:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-01 00:14:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-01 00:12:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 00:11:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-01 00:11:39 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-02-01 00:08:02 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2025-02-01 00:08:01 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-01 00:07:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-01 00:02:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-01 00:01:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-01 00:01:07 +0100 | ubert | (~Thunderbi@p200300ecdf4e63eb92aaad72729f1b5d.dip0.t-ipconnect.de) (Quit: ubert) |
| 2025-01-31 23:58:42 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-31 23:57:46 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-31 23:57:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-31 23:55:50 +0100 | Guest74 | (~Guest74@81-231-8-142-no600.tbcn.telia.com) (Quit: Client closed) |
| 2025-01-31 23:52:34 +0100 | jespada_ | (~jespada@2800:a4:2215:4d00:ec45:7066:f4f:e5b9) (Client Quit) |
| 2025-01-31 23:51:55 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-31 23:51:50 +0100 | jespada | (~jespada@2800:a4:2215:4d00:f4db:a20a:5385:e4e) (Ping timeout: 265 seconds) |
| 2025-01-31 23:50:13 +0100 | jespada_ | (~jespada@2800:a4:2215:4d00:ec45:7066:f4f:e5b9) jespada |
| 2025-01-31 23:46:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-31 23:46:21 +0100 | ozkutuk | (~ozkutuk@24.133.86.69) (Quit: Leaving) |
| 2025-01-31 23:41:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-31 23:40:07 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-31 23:37:02 +0100 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-01-31 23:36:47 +0100 | jespada | (~jespada@2800:a4:2215:4d00:f4db:a20a:5385:e4e) jespada |
| 2025-01-31 23:35:33 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-01-31 23:30:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-31 23:28:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-31 23:26:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-31 23:23:43 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-31 23:22:30 +0100 | ubert1 | ubert |
| 2025-01-31 23:22:30 +0100 | ubert | (~Thunderbi@p200300ecdf4e63626546ad8bed5a8da9.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-01-31 23:22:15 +0100 | ubert1 | (~Thunderbi@p200300ecdf4e63eb92aaad72729f1b5d.dip0.t-ipconnect.de) ubert |
| 2025-01-31 23:15:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-31 23:15:21 +0100 | ski | . o O ( "Yield: Mainstream Delimited Continuations" by Roshan P. James,Amr Sabry in 2009 (?) at <https://legacy.cs.indiana.edu/~sabry/papers/yield.pdf> ) |
| 2025-01-31 23:13:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-31 23:11:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-31 23:08:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-31 23:00:47 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-01-31 23:00:10 +0100 | <ski> | (iirc Jean-Yves Girard's "Proofs and Types" (translated and with appendices by Paul Taylor,Yves Lafont) in 1989,1990,2003 at <https://www.paultaylor.eu/stable/prot.pdf> talks a little about that topic) |