2025/03/26

Newest at the top

2025-03-26 15:46:18 +0100fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds)
2025-03-26 15:45:26 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2025-03-26 15:24:33 +0100infinity0(~infinity0@pwned.gg) infinity0
2025-03-26 15:24:16 +0100jespada(~jespada@2800:a4:2263:8100:f927:2b9e:1735:aa6a) jespada
2025-03-26 15:20:25 +0100jespada(~jespada@2800:a4:2211:7600:7570:cffe:6554:643e) (Ping timeout: 244 seconds)
2025-03-26 15:20:10 +0100Putonlalla(~Putonlall@it-cyan.it.jyu.fi) Tuplanolla
2025-03-26 15:10:00 +0100weary-traveler(~user@user/user363627) user363627
2025-03-26 15:08:44 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-26 15:04:36 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-26 15:03:43 +0100infinity0(~infinity0@pwned.gg) (Ping timeout: 245 seconds)
2025-03-26 14:56:56 +0100j0lol(~j0lol@132.145.17.236) j0lol
2025-03-26 14:55:54 +0100j0lol(~j0lol@132.145.17.236) (Remote host closed the connection)
2025-03-26 14:54:54 +0100akegalj(~akegalj@89-172-183-68.adsl.net.t-com.hr)
2025-03-26 14:54:29 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-26 14:50:33 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-26 14:50:22 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-03-26 14:45:46 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-03-26 14:45:12 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-03-26 14:44:36 +0100chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds)
2025-03-26 14:44:17 +0100Chai-T-Rex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-26 14:41:09 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-03-26 14:36:15 +0100j0lol(~j0lol@132.145.17.236) j0lol
2025-03-26 14:36:01 +0100j0lol(~j0lol@132.145.17.236) (Remote host closed the connection)
2025-03-26 14:35:45 +0100haritzsaimazoon
2025-03-26 14:32:18 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-26 14:30:48 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2025-03-26 14:30:45 +0100ethantwardy(user@user/ethantwardy) ethantwardy
2025-03-26 14:30:20 +0100ethantwardy(user@user/ethantwardy) (Remote host closed the connection)
2025-03-26 14:23:40 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-26 14:18:51 +0100alfiee(~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 +0100jespada(~jespada@2800:a4:2211:7600:7570:cffe:6554:643e) jespada
2025-03-26 14:04:20 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-26 14:04:08 +0100Square(~Square@user/square) (Ping timeout: 245 seconds)
2025-03-26 14:02:11 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-03-26 14:02:08 +0100yangby(~secret@115.205.72.232) (Quit: Go out for a walk and buy a drink.)
2025-03-26 14:01:15 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-26 13:59:30 +0100Square(~Square@user/square) Square
2025-03-26 13:56:53 +0100akegalj(~akegalj@89-172-183-68.adsl.net.t-com.hr) (Ping timeout: 248 seconds)
2025-03-26 13:52:09 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-03-26 13:45:12 +0100zungi(~tory@user/andrewchawk) (Ping timeout: 264 seconds)