2025/02/24

Newest at the top

2025-02-24 11:13:19 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-02-24 11:12:47 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-02-24 11:01:59 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-24 10:53:27 +0100fp(~Thunderbi@130.233.70.89) fp
2025-02-24 10:51:36 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.1)
2025-02-24 10:51:29 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-24 10:50:21 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2025-02-24 10:48:33 +0100harveypwca(~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) (Quit: Leaving)
2025-02-24 10:46:46 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-24 10:46:27 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 276 seconds)
2025-02-24 10:42:40 +0100zmt01(~zmt00@user/zmt00) zmt00
2025-02-24 10:42:11 +0100 <Athas> I suppose. I really don't want to be in the business of building abstractions, however.
2025-02-24 10:41:25 +0100 <tomsmeding> you could always roll your own 2-dimensional array with manual divMod indexing
2025-02-24 10:41:01 +0100 <tomsmeding> ah, that's how you got into this. :)
2025-02-24 10:40:39 +0100 <Athas> I may just end up with vectors-of-vectors, even though it's not very efficient.
2025-02-24 10:40:29 +0100 <Athas> I got started on porting your GMM implementation to 'vector', but it is really tedious.
2025-02-24 10:39:26 +0100acidjnk(~acidjnk@p200300d6e7283f50e1932e8352fc3c3c.dip0.t-ipconnect.de) acidjnk
2025-02-24 10:37:00 +0100 <tomsmeding> that is to say, if Accelerate had a bespoke syntax with syntax for types that encouraged rank polymorphism, perhaps people would have less problems with it
2025-02-24 10:36:44 +0100__monty__(~toonn@user/toonn) toonn
2025-02-24 10:36:25 +0100 <tomsmeding> perhaps difficulty with Accelerate's model is also engendered a bit by the typing of the embedded language
2025-02-24 10:35:49 +0100 <tomsmeding> Athas: that's true
2025-02-24 10:35:32 +0100acidjnk(~acidjnk@p200300d6e7283f50b85661171ead7665.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-02-24 10:32:57 +0100 <Athas> tomsmeding: but on the other hand, you can efficiently and sanely express multi-dimensional things.
2025-02-24 10:31:47 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-02-24 10:30:34 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-24 10:27:56 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-02-24 10:18:46 +0100chele(~chele@user/chele) chele
2025-02-24 10:16:48 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-02-24 10:15:41 +0100unlucy(sid572875@user/unlucy) unlucy
2025-02-24 10:14:27 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-02-24 10:13:49 +0100sa(sid1055@id-1055.tinside.irccloud.com) sa
2025-02-24 10:11:55 +0100unlucy(sid572875@user/unlucy) (Ping timeout: 244 seconds)
2025-02-24 10:10:13 +0100sa(sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 248 seconds)
2025-02-24 10:05:20 +0100euleritian(~euleritia@dynamic-176-006-145-147.176.6.pool.telefonica.de)
2025-02-24 10:05:05 +0100 <lambdabot> return x = [x]
2025-02-24 10:05:05 +0100 <ski> @src [] return
2025-02-24 10:05:01 +0100 <lambdabot> xs >>= f = concatMap f xs
2025-02-24 10:05:01 +0100 <ski> @src [] (>>=)
2025-02-24 10:05:01 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-24 10:04:57 +0100 <lambdabot> Source not found. Take a stress pill and think things over.
2025-02-24 10:04:57 +0100 <ski> @src (>>=) []
2025-02-24 10:04:50 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-02-24 10:04:50 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-24 10:00:23 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-24 09:59:09 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 268 seconds)
2025-02-24 09:56:11 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-02-24 09:54:59 +0100Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal)
2025-02-24 09:53:57 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-02-24 09:53:23 +0100 <tomsmeding> Good to hear that some people feel differently :p
2025-02-24 09:53:12 +0100 <tomsmeding> Athas: re multi-dimensional arrays: do you really think so? What people often struggle with is that if you have a function a -> b in Accelerate, you can't just `map` it to a `[]a -> []b`. Now this is strictly speaking not directly implied by having multi-dimensional arrays, but it is rather central to the model