Newest at the top
| 2025-02-25 10:01:22 +0100 | <Athas> | Then the array type has a vocabulary of first order bulk operations (where I expect good performance for derivatives), and also some second order operations (like map) that should at least work. |
| 2025-02-25 10:01:07 +0100 | chele | (~chele@user/chele) chele |
| 2025-02-25 10:00:44 +0100 | <Athas> | tomsmeding: good question. I'm not terribly imaginatine when it comes to Haskell types, I must admit. I would probably like a type family 'Array sh t', where 'sh' is an Accelerate-like shape (this is not so important for 'ad'), and 't' is heavily constrained to either a some primal number type or dual/adjoint numbers. |
| 2025-02-25 10:00:01 +0100 | acidjnk | (~acidjnk@p200300d6e7283f38a15cd1ba33b15ba0.dip0.t-ipconnect.de) acidjnk |
| 2025-02-25 09:58:45 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-25 09:58:41 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-25 09:57:50 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-25 09:57:12 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-25 09:52:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-25 09:49:22 +0100 | <tomsmeding> | Athas: suppose I had a library inspired by Kmett's 'ad' library, but with first-class support for arrays somehow, instead of just scalars. (The goal being to significantly reduce the overhead of all those dual-number heap nodes.) What would you expect its interface to be? |
| 2025-02-25 09:49:08 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-02-25 09:47:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 09:47:01 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-25 09:45:18 +0100 | zzz | yin |
| 2025-02-25 09:45:18 +0100 | yin | (~z@user/zero) (Read error: Connection reset by peer) |
| 2025-02-25 09:43:56 +0100 | tromp | (~textual@2a02:a210:cba:8500:6ddc:c1a9:bc13:1391) |
| 2025-02-25 09:43:32 +0100 | zzz | (~z@user/zero) zero |
| 2025-02-25 09:41:22 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) misterfish |
| 2025-02-25 09:30:57 +0100 | glguy | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-02-25 09:29:46 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-25 09:29:28 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-02-25 09:28:06 +0100 | bitterx | (~bitterx@user/bitterx) bitterx |
| 2025-02-25 09:28:06 +0100 | bitterx | (~bitterx@APN-122-12-44-gprs.simobil.net) (Changing host) |
| 2025-02-25 09:27:56 +0100 | bitterx | (~bitterx@APN-122-12-44-gprs.simobil.net) |
| 2025-02-25 09:24:57 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-25 09:24:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-25 09:18:42 +0100 | alp | (~alp@2001:861:8ca0:4940:9bfe:6d72:595b:d191) |
| 2025-02-25 09:12:21 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-02-25 09:06:25 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-25 09:02:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 09:01:02 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-25 09:00:42 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-25 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-25 08:57:46 +0100 | tromp | (~textual@2a02:a210:cba:8500:6ddc:c1a9:bc13:1391) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-02-25 08:48:07 +0100 | kaskal | (~kaskal@2a02:8388:15bf:c200:69b8:13b6:b9c5:a489) kaskal |
| 2025-02-25 08:47:44 +0100 | kaskal | (~kaskal@2a02:8388:15bf:c200:6260:f3eb:9ba8:d6f8) (Quit: ZNC - https://znc.in) |
| 2025-02-25 08:43:54 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2025-02-25 08:41:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 08:36:45 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-02-25 08:34:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 08:25:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-25 08:23:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 08:21:38 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-25 08:21:29 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-25 08:20:35 +0100 | tromp | (~textual@2a02:a210:cba:8500:6ddc:c1a9:bc13:1391) |
| 2025-02-25 08:18:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 08:18:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-25 08:16:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 08:15:42 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 272 seconds) |
| 2025-02-25 08:12:42 +0100 | rvalue- | rvalue |