Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17526 17527 17528 17529 17530 17531 17532 17533 17534 17535 17536 .. 17992
— 1,799,110 events total
2026-02-11 07:13:58 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-11 07:20:45 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-11 07:32:01 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-11 07:36:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-11 07:42:55 → juri_ joins (~juri@212.86.50.13)
2026-02-11 07:43:00 × juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer)
2026-02-11 07:44:14 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-11 07:48:32 → juri_ joins (~juri@212.86.50.13)
2026-02-11 07:48:38 × juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer)
2026-02-11 07:48:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-02-11 07:54:09 → juri_ joins (~juri@212.86.50.13)
2026-02-11 07:54:16 × juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer)
2026-02-11 07:59:37 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-02-11 07:59:47 → juri_ joins (~juri@212.86.50.13)
2026-02-11 07:59:59 × juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer)
2026-02-11 08:02:32 → trickard___ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
2026-02-11 08:03:00 trickard___ is now known as trickard
2026-02-11 08:03:55 × trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2026-02-11 08:04:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-11 08:05:25 → juri_ joins (~juri@212.86.50.13)
2026-02-11 08:05:37 × juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer)
2026-02-11 08:10:43 → oneeyedalien joins (~oneeyedal@user/oneeyedalien)
2026-02-11 08:11:03 → juri_ joins (~juri@212.86.50.13)
2026-02-11 08:11:39 × juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer)
2026-02-11 08:14:26 × tromp quits (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-11 08:16:41 → juri_ joins (~juri@212.86.50.13)
2026-02-11 08:17:23 × juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer)
2026-02-11 08:21:01 × trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-11 08:21:15 → trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
2026-02-11 08:24:04 × oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving)
2026-02-11 08:25:44 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-02-11 08:26:14 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds)
2026-02-11 08:27:25 → oskarw joins (~user@user/oskarw)
2026-02-11 08:27:33 → Googulator joins (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-11 08:29:00 → prdak joins (~Thunderbi@user/prdak)
2026-02-11 08:29:19 × hakutaku quits (~textual@user/hakutaku) (Ping timeout: 255 seconds)
2026-02-11 08:30:04 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-11 08:30:10 → prdak1 joins (~Thunderbi@user/prdak)
2026-02-11 08:32:21 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2026-02-11 08:34:49 × prdak1 quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds)
2026-02-11 08:37:10 × Googulator quits (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-11 08:37:15 → Googulator64 joins (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-11 08:38:55 → oneeyedalien joins (~oneeyedal@user/oneeyedalien)
2026-02-11 08:40:32 × emmanuelux quits (~em@user/emmanuelux) (Quit: bye)
2026-02-11 08:41:57 trickard_ is now known as trickard
2026-02-11 08:43:59 → prdak joins (~Thunderbi@user/prdak)
2026-02-11 08:45:10 × ft quits (~ft@p508db4c0.dip0.t-ipconnect.de) (Quit: leaving)
2026-02-11 08:48:19 → emmanuelux joins (~em@user/emmanuelux)
2026-02-11 09:01:29 → haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-02-11 09:01:29 × haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-02-11 09:01:29 → haritz joins (~hrtz@user/haritz)
2026-02-11 09:04:50 → merijn joins (~merijn@77.242.116.146)
2026-02-11 09:07:25 × trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-11 09:07:38 → trickard joins (~trickard@cpe-54-98-47-163.wireline.com.au)
2026-02-11 09:09:28 × emmanuelux quits (~em@user/emmanuelux) (Quit: bye)
2026-02-11 09:12:08 → chele joins (~chele@user/chele)
2026-02-11 09:16:26 → Googulator33 joins (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-11 09:16:27 × Googulator64 quits (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-11 09:18:43 → __monty__ joins (~toonn@user/toonn)
2026-02-11 09:20:22 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-02-11 09:24:04 → tromp joins (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198)
2026-02-11 09:32:25 × Moyst quits (~moyst@user/moyst) (Ping timeout: 264 seconds)
2026-02-11 09:33:53 → Moyst joins (~moyst@user/moyst)
2026-02-11 09:35:59 × rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer)
2026-02-11 09:39:37 → lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
2026-02-11 09:44:03 → rainbyte joins (~rainbyte@186.22.19.214)
2026-02-11 09:51:47 → lxsameer joins (~lxsameer@Serene/lxsameer)
2026-02-11 09:54:46 → Enrico63 joins (~Enrico63@host-79-22-157-220.retail.telecomitalia.it)
2026-02-11 09:57:15 <gentauro> s3np41: Perhaps Evan Czaplicki MSc thesis from Harvard? https://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf
2026-02-11 09:58:06 <gentauro> However, I don't know how much of the FRP actually survived in later releases
2026-02-11 10:00:07 <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:00:27 <gentauro> Both Evan and Ivan have transitioned FRP from academia to industry "very" succesfully
2026-02-11 10:00:30 <gentauro> (Y)
2026-02-11 10:03:32 <gentauro> for Ivan lookup "Keera Studios" (gaming in FRP Haskell) and (the GOOD) CoPilot (Haskell FRP for NASA)
2026-02-11 10:05:23 <gentauro> and for Evan, well, just search for Elm ;) (not to be confused with https://gren-lang.org/ xD)
2026-02-11 10:05:59 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 10:09:31 → bwe joins (~bwe@2a01:4f8:1c1c:4878::2)
2026-02-11 10:09:56 × oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving)
2026-02-11 10:10:10 → housemate joins (~housemate@202.7.248.67)
2026-02-11 10:21:52 <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 10:22:24 × trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2026-02-11 10:24:34 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
2026-02-11 10:26:05 → trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
2026-02-11 10:29:04 <ski> > serExp 0 0 (App (App (Var "a") (Var "b")) (App (Var "c") (Var "d"))) ""
2026-02-11 10:29:06 <lambdabot> "a b (c d)"
2026-02-11 10:29:11 <ski> > serExp 0 0 (App (Abs "a" (App (Var "a") (Var "b"))) (Abs "d" (App (Var "c") (Var "d")))) ""
2026-02-11 10:29:12 <lambdabot> "(\\a. a b) \\d. c d"
2026-02-11 10:29:14 <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 10:29:15 <lambdabot> "(\\a. a \\b. b) \\c. c \\d. d"
2026-02-11 10:29:25 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
2026-02-11 10:32:06 → juri_ joins (~juri@212.86.50.13)
2026-02-11 10:32:06 × juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer)
2026-02-11 10:37:35 → juri_ joins (~juri@212.86.50.13)
2026-02-11 10:38:02 × juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer)
2026-02-11 10:41:22 → trickard__ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
2026-02-11 10:42:07 × absence quits (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 244 seconds)
2026-02-11 10:42:37 × oskarw quits (~user@user/oskarw) (Ping timeout: 264 seconds)
2026-02-11 10:43:13 → juri_ joins (~juri@212.86.50.13)
2026-02-11 10:43:13 × trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2026-02-11 10:43:22 × juri_ quits (~juri@212.86.50.13) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 17526 17527 17528 17529 17530 17531 17532 17533 17534 17535 17536 .. 17992

All times are in UTC.