Newest at the top
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) |
2025-03-26 14:02:08 +0100 | yangby | (~secret@115.205.72.232) (Quit: Go out for a walk and buy a drink.) |
2025-03-26 14:01:15 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-03-26 13:59:30 +0100 | Square | (~Square@user/square) Square |
2025-03-26 13:56:53 +0100 | akegalj | (~akegalj@89-172-183-68.adsl.net.t-com.hr) (Ping timeout: 248 seconds) |
2025-03-26 13:52:09 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
2025-03-26 13:45:12 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
2025-03-26 13:44:10 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-03-26 13:43:02 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-26 13:42:33 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 252 seconds) |
2025-03-26 13:41:54 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |