Newest at the top
2025-03-26 15:59:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-03-26 15:55:19 +0100 | fp | (~Thunderbi@130.233.70.95) fp |
2025-03-26 15:55:06 +0100 | tjbc | (~tjbc@user/fliife) fliife |
2025-03-26 15:54:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-26 15:52:23 +0100 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
2025-03-26 15:50:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-26 15:46:18 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds) |
2025-03-26 15:45:26 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
2025-03-26 15:24:33 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
2025-03-26 15:24:16 +0100 | jespada | (~jespada@2800:a4:2263:8100:f927:2b9e:1735:aa6a) jespada |
2025-03-26 15:20:25 +0100 | jespada | (~jespada@2800:a4:2211:7600:7570:cffe:6554:643e) (Ping timeout: 244 seconds) |
2025-03-26 15:20:10 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) Tuplanolla |
2025-03-26 15:10:00 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-26 15:08:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-26 15:04:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-26 15:03:43 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
2025-03-26 14:56:56 +0100 | j0lol | (~j0lol@132.145.17.236) j0lol |
2025-03-26 14:55:54 +0100 | j0lol | (~j0lol@132.145.17.236) (Remote host closed the connection) |
2025-03-26 14:54:54 +0100 | akegalj | (~akegalj@89-172-183-68.adsl.net.t-com.hr) |
2025-03-26 14:54:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-26 14:50:33 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-03-26 14:50:22 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-03-26 14:45:46 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-03-26 14:45:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
2025-03-26 14:44:36 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
2025-03-26 14:44:17 +0100 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-03-26 14:41:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
2025-03-26 14:36:15 +0100 | j0lol | (~j0lol@132.145.17.236) j0lol |
2025-03-26 14:36:01 +0100 | j0lol | (~j0lol@132.145.17.236) (Remote host closed the connection) |
2025-03-26 14:35:45 +0100 | haritz | saimazoon |
2025-03-26 14:32:18 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-26 14:30:48 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
2025-03-26 14:30:45 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
2025-03-26 14:30:20 +0100 | ethantwardy | (user@user/ethantwardy) (Remote host closed the connection) |
2025-03-26 14:23:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-26 14:18:51 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-26 14:18:03 +0100 | <tomsmeding> | that's helpful, I guess, but indeed orthogonal |
2025-03-26 14:17:54 +0100 | <tomsmeding> | ah I see |
2025-03-26 14:17:51 +0100 | <Athas> | Yes. |
2025-03-26 14:17:39 +0100 | <tomsmeding> | automatic broadcasting, in the style of Futhark AutoMap? |
2025-03-26 14:17:23 +0100 | <Athas> | tomsmeding: broadcasting/replication is the *only* thing Naperian functors provide. |
2025-03-26 14:14:33 +0100 | <tomsmeding> | s/now/how/ |
2025-03-26 14:14:18 +0100 | <tomsmeding> | Because I don't see now those Naperian functors help very much there, per se, but I'm probably missing something |
2025-03-26 14:13:57 +0100 | <tomsmeding> | Bowuigi: do you have an example of such "APL-style"? |
2025-03-26 14:09:26 +0100 | <haskellbridge> | <Bowuigi> tomsmeding the actually useful generality is being able to operate on matrices/tensors of different dimensions APL-style, but I understand your point |
2025-03-26 14:07:40 +0100 | <haskellbridge> | <Bowuigi> I see, those papers are more about the API I guess |
2025-03-26 14:05:46 +0100 | jespada | (~jespada@2800:a4:2211:7600:7570:cffe:6554:643e) jespada |
2025-03-26 14:04:20 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-26 14:04:08 +0100 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
2025-03-26 14:02:11 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |