Newest at the top
| 2024-05-04 21:32:36 +0200 | <tomsmeding> | ah that error |
| 2024-05-04 21:32:01 +0200 | <erty> | https://paste.tomsmeding.com/iFiLTshf |
| 2024-05-04 21:31:32 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-04 21:31:29 +0200 | <erty> | tomsmeding: Thanks for providing config for Accelerate package yesterday. I used your config file but it gives me error for which I can't find a way to resolve. I use ghc (9.4.8),stack (2.13.1), cuda 12 and llvm15. |
| 2024-05-04 21:31:12 +0200 | <raehik> | oh GOD that's another package |
| 2024-05-04 21:31:06 +0200 | <raehik> | I'm hopefully gonna ignore almost all of this anyway since I realized I can do it on the type-level. just need a type-level Show |
| 2024-05-04 21:30:02 +0200 | <tomsmeding> | but it's just a buffer copy, which cpu's are good at |
| 2024-05-04 21:29:48 +0200 | Square | (~Square@user/square) |
| 2024-05-04 21:29:44 +0200 | <tomsmeding> | huh, seems there's a buffer copy involved even with new text (it uses Data.Text.unsafeCStringAscii# https://hackage.haskell.org/package/text-2.1.1/docs/src/Data.Text.Show.html#unpackCStringAscii%23 ) |
| 2024-05-04 21:29:42 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-04 21:28:40 +0200 | <raehik> | (actually considering cheating via ShowType*) |
| 2024-05-04 21:28:26 +0200 | <raehik> | tomsmeding: I actually considered lol. it might be faster than doing it properly with Div/Mod |
| 2024-05-04 21:28:02 +0200 | <tomsmeding> | mauke: it doesn't, but it can use a function that rewrites away very nicely against GHC.CString.unpackCString# |
| 2024-05-04 21:27:31 +0200 | <raehik> | tomsmeding: hrm interesting on Text point. idk I guess I'll check later, but I'm being less afraid of IsString for ergonomics' sake |
| 2024-05-04 21:27:25 +0200 | <mauke> | still, the fromString code doesn't have access to that representation |
| 2024-05-04 21:27:16 +0200 | <tomsmeding> | mauke: https://play.haskell.org/saved/sEA1hrVK look at the M.foo1 and foo definitions at the top of the core |
| 2024-05-04 21:26:24 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-04 21:26:22 +0200 | <mauke> | ooh |
| 2024-05-04 21:26:03 +0200 | <tomsmeding> | iirc, GHC actually compiles string literals to utf8 buffers in the executable, which it then reads at runtime to produce the heap-allocated String |
| 2024-05-04 21:26:00 +0200 | <mauke> | if there is no String in the resulting code, it has to do some sort of encoding at compile time |
| 2024-05-04 21:25:32 +0200 | <mauke> | String is Unicode |
| 2024-05-04 21:25:16 +0200 | rvalue- | rvalue |
| 2024-05-04 21:25:14 +0200 | <tomsmeding> | old text (< 2.0) had utf16 as internal representation |
| 2024-05-04 21:25:03 +0200 | <mauke> | what do you mean, from utf8 to utf16? |
| 2024-05-04 21:25:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-04 21:24:19 +0200 | <tomsmeding> | and I doubt it's that clever |
| 2024-05-04 21:24:13 +0200 | <tomsmeding> | it would not make a difference if ghc would do the translation from utf8 to utf16 at compile time just by simplifying the code |
| 2024-05-04 21:23:44 +0200 | <mauke> | why does that make a difference? |
| 2024-05-04 21:23:35 +0200 | <tomsmeding> | raehik: pattern match on the ErrorMessage using a type family? >:D |
| 2024-05-04 21:22:45 +0200 | <tomsmeding> | because of internal UTF8 representation |
| 2024-05-04 21:22:35 +0200 | <tomsmeding> | raehik: I don't actually know, I'm guessing here, but I suspect that probie's answer about Text is only valid for text >= 2.0 |
| 2024-05-04 21:22:12 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-05-04 21:21:20 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-04 21:21:10 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-05-04 21:19:54 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-04 21:17:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-04 21:16:35 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-04 21:15:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-04 21:12:54 +0200 | <raehik> | I suppose I should be able to write my own easily enough. Feels like it should exist somewhere already >:( |
| 2024-05-04 21:11:32 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-04 21:10:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-04 21:08:22 +0200 | <raehik> | Is there a type family like `ShowNat :: Natural -> Symbol`? `ShowType :: a -> ErrorMessage` is close, but I need a Symbol. |
| 2024-05-04 21:07:39 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-04 21:07:36 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-04 21:06:27 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-04 21:05:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-04 21:04:31 +0200 | zetef | (~quassel@5.14.202.140) |
| 2024-05-04 21:01:29 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-04 21:00:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-04 20:58:43 +0200 | michalz | (~michalz@185.246.207.217) |