Newest at the top
| 2026-02-11 10:58:06 +0100 | <gentauro> | However, I don't know how much of the FRP actually survived in later releases |
| 2026-02-11 10:57:15 +0100 | <gentauro> | s3np41: Perhaps Evan Czaplicki MSc thesis from Harvard? https://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf |
| 2026-02-11 10:54:46 +0100 | Enrico63 | (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) Enrico63 |
| 2026-02-11 10:51:47 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-11 10:44:03 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-11 10:39:37 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-11 10:35:59 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-11 10:33:53 +0100 | Moyst | (~moyst@user/moyst) Moyst |
| 2026-02-11 10:32:25 +0100 | Moyst | (~moyst@user/moyst) (Ping timeout: 264 seconds) |
| 2026-02-11 10:24:04 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 2026-02-11 10:20:22 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-11 10:18:43 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-11 10:16:27 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-11 10:16:26 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-11 10:12:08 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-11 10:09:28 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-11 10:07:38 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 10:07:25 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-11 10:04:50 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-11 10:01:29 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-11 10:01:29 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-11 10:01:29 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-11 09:48:19 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-11 09:45:10 +0100 | ft | (~ft@p508db4c0.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-02-11 09:43:59 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-11 09:41:57 +0100 | trickard_ | trickard |
| 2026-02-11 09:40:32 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-11 09:38:55 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-11 09:37:15 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-11 09:37:10 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-11 09:34:49 +0100 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-11 09:32:21 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-11 09:30:10 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2026-02-11 09:30:04 +0100 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2026-02-11 09:29:19 +0100 | hakutaku | (~textual@user/hakutaku) (Ping timeout: 255 seconds) |
| 2026-02-11 09:29:00 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-11 09:27:33 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-11 09:27:25 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-11 09:26:14 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-02-11 09:25:44 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-11 09:24:04 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2026-02-11 09:21:15 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 09:21:01 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-11 09:17:23 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 09:16:41 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 09:14:26 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-11 09:11:39 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 09:11:03 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 09:10:43 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-11 09:05:37 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |