Newest at the top
| 2026-02-11 11:09:31 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2026-02-11 11:05:59 +0100 | gentauro | https://gren-lang.org/ just copy/pasta ALL of elm-lang and then they did a rename. That's what permissive open source licenses gets you … |
| 2026-02-11 11:05:23 +0100 | <gentauro> | and for Evan, well, just search for Elm ;) (not to be confused with https://gren-lang.org/ xD) |
| 2026-02-11 11:03:32 +0100 | <gentauro> | for Ivan lookup "Keera Studios" (gaming in FRP Haskell) and (the GOOD) CoPilot (Haskell FRP for NASA) |
| 2026-02-11 11:00:30 +0100 | <gentauro> | (Y) |
| 2026-02-11 11:00:27 +0100 | <gentauro> | Both Evan and Ivan have transitioned FRP from academia to industry "very" succesfully |
| 2026-02-11 11:00:07 +0100 | <gentauro> | s3np41: another good source is Ivan Perez (with a PhD from Nottingham Uni and currently at NASA) https://eprints.nottingham.ac.uk/50348/ |
| 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) |