Newest at the top
| 2026-02-11 11:46:38 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-11 11:46:18 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-02-11 11:45:23 +0100 | Googulator33 | Googulator |
| 2026-02-11 11:44:17 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-11 11:44:00 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2026-02-11 11:43:22 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 11:43:13 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2026-02-11 11:43:13 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 11:42:37 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 264 seconds) |
| 2026-02-11 11:42:07 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 244 seconds) |
| 2026-02-11 11:41:22 +0100 | trickard__ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 11:38:02 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 11:37:35 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 11:32:06 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 11:32:06 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 11:29:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2026-02-11 11:29:15 +0100 | <lambdabot> | "(\\a. a \\b. b) \\c. c \\d. d" |
| 2026-02-11 11:29:14 +0100 | <ski> | > serExp 0 0 (App (Abs "a" (App (Var "a") (Abs "b" (Var "b")))) (Abs "c" (App (Var "c") (Abs "d" (Var "d"))))) "" |
| 2026-02-11 11:29:12 +0100 | <lambdabot> | "(\\a. a b) \\d. c d" |
| 2026-02-11 11:29:11 +0100 | <ski> | > serExp 0 0 (App (Abs "a" (App (Var "a") (Var "b"))) (Abs "d" (App (Var "c") (Var "d")))) "" |
| 2026-02-11 11:29:06 +0100 | <lambdabot> | "a b (c d)" |
| 2026-02-11 11:29:04 +0100 | <ski> | > serExp 0 0 (App (App (Var "a") (Var "b")) (App (Var "c") (Var "d"))) "" |
| 2026-02-11 11:26:05 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-11 11:24:34 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-11 11:22:24 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2026-02-11 11:21:52 +0100 | <gentauro> | s3np41: my bad, I linked to Evans paper instead of his MSc thesis. Here you go -> https://elm-lang.org/assets/papers/concurrent-frp.pdf |
| 2026-02-11 11:10:10 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-11 11:09:56 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 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 |