Newest at the top
| 2025-03-12 15:25:23 +0100 | <carbolymer> | `sortBy compare` I mean |
| 2025-03-12 15:25:15 +0100 | T0NN | (~T0NN@104.28.196.52) |
| 2025-03-12 15:24:54 +0100 | <carbolymer> | is Data.List.sortBy guaranteed to be stable over `[Foo]` if I have a trivial `instance Ord Foo where compare _ _ = LT` ? In other words, I expect it to not change the order of elements. |
| 2025-03-12 15:24:48 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2025-03-12 15:23:35 +0100 | T0NN | (~T0NN@104.28.196.52) (Client Quit) |
| 2025-03-12 15:23:18 +0100 | son0p | (~ff@2800:e6:4000:d723:c181:4205:f2b1:437a) son0p |
| 2025-03-12 15:22:55 +0100 | T0NN | (~T0NN@104.28.196.52) |
| 2025-03-12 15:19:23 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3504-140e-55c2-d7c2-899b-0789.rev.sfr.net) alexherbo2 |
| 2025-03-12 15:07:17 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f52210926b325fe4262.dip0.t-ipconnect.de) |
| 2025-03-12 15:03:59 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-12 15:03:11 +0100 | son0p | (~ff@2800:e6:4000:d723:c181:4205:f2b1:437a) (Read error: Connection reset by peer) |
| 2025-03-12 14:59:14 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-12 14:59:00 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180::ac59) (Ping timeout: 265 seconds) |
| 2025-03-12 14:54:37 +0100 | forell | (~forell@user/forell) forell |
| 2025-03-12 14:52:26 +0100 | <Inst> | btw probie thanks for teaching me how to abuse foldr on lists; after playing around for optimization, foldr is almost literally a for loop due to foldr triggering list fusion |
| 2025-03-12 14:52:15 +0100 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Quit: ZNC - https://znc.in) |
| 2025-03-12 14:51:08 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2025-03-12 14:41:47 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-12 14:38:49 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-12 14:35:57 +0100 | <tomsmeding> | with git master versions of stuff, you can use LLVM 15, still static _and_ dynamic libraries, which is easy on current ubuntu and macOS |
| 2025-03-12 14:35:21 +0100 | <tomsmeding> | this was easy on ubuntu a few years ago |
| 2025-03-12 14:35:13 +0100 | <tomsmeding> | with the hackage-released versions of packages, you also need to install LLVM 9, both static and dynamic libraries |
| 2025-03-12 14:34:54 +0100 | <tomsmeding> | yes |
| 2025-03-12 14:34:50 +0100 | <kuribas> | Shouldn't it be faster than massiv/hmatrix then? |
| 2025-03-12 14:33:32 +0100 | <tomsmeding> | we hope to get it in somewhere this spring, but no guarantees |
| 2025-03-12 14:33:22 +0100 | <tomsmeding> | I have an unmerged patch to accelerate to not link to LLVM but pass LLVM IR to clang instead, which makes the whole thing a lot easier to install |
| 2025-03-12 14:33:15 +0100 | <merijn> | Storable Vectors are great |
| 2025-03-12 14:32:51 +0100 | <tomsmeding> | yes |
| 2025-03-12 14:32:46 +0100 | <kuribas> | tomsmeding: doesn't accelerate use llvm? |
| 2025-03-12 14:32:01 +0100 | <tomsmeding> | it also pollutes the instance namespace by putting Num, etc. instances on storable vectors |
| 2025-03-12 14:31:33 +0100 | <tomsmeding> | [exa]: hmatrix has faster routines on vectors (by writing them in C, which does vectorisation where GHC does not) |
| 2025-03-12 14:27:22 +0100 | <tomsmeding> | much easier to install than accelerate, currently |
| 2025-03-12 14:26:46 +0100 | <tomsmeding> | also massiv exists |
| 2025-03-12 14:26:26 +0100 | <tomsmeding> | [exa]: if "not stupidly inefficient" is good enough: storable or unboxed vectors |
| 2025-03-12 14:17:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-12 14:17:26 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-03-12 14:16:57 +0100 | fp | (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) (Ping timeout: 276 seconds) |
| 2025-03-12 14:13:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-12 14:09:14 +0100 | jespada | (~jespada@2800:a4:22b4:9a00:f994:da25:97cf:4452) jespada |
| 2025-03-12 14:07:53 +0100 | manwithluck | (~manwithlu@2a00:7c80:0:3c5::14) (Ping timeout: 245 seconds) |
| 2025-03-12 14:05:08 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f52ecd38ce1a7966a67.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-03-12 14:04:51 +0100 | jespada_ | (~jespada@2800:a4:230e:8000:1050:5077:c5ef:191f) (Ping timeout: 252 seconds) |
| 2025-03-12 14:02:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-12 13:59:59 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-12 13:55:22 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-03-12 13:55:01 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-03-12 13:53:33 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-03-12 13:48:12 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-03-12 13:38:12 +0100 | jespada | (~jespada@2800:a4:230e:8000:1050:5077:c5ef:191f) (Ping timeout: 246 seconds) |
| 2025-03-12 13:35:07 +0100 | jespada_ | (~jespada@2800:a4:230e:8000:1050:5077:c5ef:191f) jespada |