Newest at the top
| 2025-02-25 12:06:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 12:04:54 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-02-25 11:53:33 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-02-25 11:49:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-02-25 11:43:39 +0100 | Googulator | (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) |
| 2025-02-25 11:43:23 +0100 | Googulator | (~Googulato@2a01:36d:106:c81:ad7c:ac56:196b:c9a2) (Quit: Client closed) |
| 2025-02-25 11:41:50 +0100 | olivial_ | (~benjaminl@2601:1c0:847f:9c70:223:24ff:fe66:4370) |
| 2025-02-25 11:41:46 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 244 seconds) |
| 2025-02-25 11:36:51 +0100 | tromp | (~textual@2a02:a210:cba:8500:6ddc:c1a9:bc13:1391) |
| 2025-02-25 11:33:34 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-25 11:31:29 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-25 11:29:42 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2025-02-25 11:29:26 +0100 | <ski> | (the unsafe stuff ?) |
| 2025-02-25 11:28:36 +0100 | <ski> | hm ? |
| 2025-02-25 11:28:15 +0100 | tromp | (~textual@2a02:a210:cba:8500:6ddc:c1a9:bc13:1391) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-02-25 11:27:24 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-25 11:26:36 +0100 | <[exa]> | ski: interesting construction tho. thanks. :D |
| 2025-02-25 11:26:20 +0100 | acidjnk | (~acidjnk@p200300d6e7283f38a15cd1ba33b15ba0.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-02-25 11:26:03 +0100 | tomsmeding | has a meeting |
| 2025-02-25 11:25:41 +0100 | <tomsmeding> | ski: right, but at that point I'm not sure one can really say "yes, I'm using ST and not IO" :p |
| 2025-02-25 11:24:26 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-25 11:24:17 +0100 | <ski> | moining |
| 2025-02-25 11:24:11 +0100 | <Hecate> | morning |
| 2025-02-25 11:23:55 +0100 | <ski> | [exa] : not afaik |
| 2025-02-25 11:23:36 +0100 | <lambdabot> | ST s a -> a |
| 2025-02-25 11:23:35 +0100 | <ski> | @type Control.Monad.Primitive.unsafeInlineST |
| 2025-02-25 11:23:33 +0100 | <lambdabot> | ST s c -> c |
| 2025-02-25 11:23:32 +0100 | <ski> | @type System.IO.Unsafe.unsafePerformIO . Control.Monad.ST.Unsafe.unsafeSTToIO -- "I guess that's called \"runST . unsafeCoerce\"" |
| 2025-02-25 11:22:24 +0100 | [exa] | goes aFfInE TeNsOrS |
| 2025-02-25 11:21:49 +0100 | <[exa]> | ski: anyway the main thing I took home from the AD currently is that the array indices need some completely different approach before this works automatically in all cases |
| 2025-02-25 11:21:11 +0100 | <[exa]> | ski: the differential lambda calculus is btw not directly related to the datatype differentiation (as with zippers), right? |
| 2025-02-25 11:19:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 11:18:26 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 11:14:08 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-02-25 11:14:00 +0100 | <ski> | nice :b |
| 2025-02-25 11:13:41 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-02-25 11:12:33 +0100 | <tomsmeding> | ski: I'm doing my PhD in the group that's currently doing research on Accelerate, so in that sense I'm in the right place :p |
| 2025-02-25 11:10:10 +0100 | <ski> | ([exa] : you mentioning updates (and reconstruction) made me wonder) |
| 2025-02-25 11:10:09 +0100 | <ski> | mhm |
| 2025-02-25 11:09:58 +0100 | <Athas> | No, that came out of a different line of research. |
| 2025-02-25 11:09:13 +0100 | <ski> | Obsidian ? |
| 2025-02-25 11:08:52 +0100 | <Athas> | Accelerate itself is also a DPH spinoff. |
| 2025-02-25 11:08:23 +0100 | <ski> | mm, i see |
| 2025-02-25 11:07:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-25 11:07:48 +0100 | <Athas> | ski: the things that didn't work in DPH are dead (mostly the vectorisation transform), but a lot of the other ideas are well and alive, or its successors are. DPH begat Repa, which inspired massiv, which to my knowledge is still good and living. |
| 2025-02-25 11:06:33 +0100 | <Athas> | tomsmeding: yes, those plots are from gradbench (but not fully automated yet). |
| 2025-02-25 11:06:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-02-25 11:02:51 +0100 | <[exa]> | ski: as in AD in this case |
| 2025-02-25 11:01:10 +0100 | <ski> | [exa] : differentiated as in AD, or say as in differential lambda calculus ? |
| 2025-02-25 11:00:20 +0100 | <ski> | mainly the parallelism, i suppose, tomsmeding |