Newest at the top
2024-09-29 23:40:08 +0200 | <dolio> | No, what is the codomain object? |
2024-09-29 23:39:51 +0200 | <andrewboltachev> | (_, _) is a product type with two parameters :-) sort of... |
2024-09-29 23:39:16 +0200 | <dolio> | But what actually is it? :) |
2024-09-29 23:38:57 +0200 | <andrewboltachev> | dolio: codomain is something that will be in place of the first element of (_, _) |
2024-09-29 23:38:55 +0200 | <monochrom> | No. But for each set X and Y, (X,Y) is a set, most people write XxY. |
2024-09-29 23:38:23 +0200 | <andrewboltachev> | monochrom: I tried. but faced some problems. E.g., is (_, _) a set? |
2024-09-29 23:38:19 +0200 | <dolio> | I assume (,) is the domain, but what is the codomain? |
2024-09-29 23:37:53 +0200 | <dolio> | Between which two objects is `fst` supposed to be an arrow? |
2024-09-29 23:37:31 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
2024-09-29 23:37:12 +0200 | <monochrom> | Yes, Set again. |
2024-09-29 23:36:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-29 23:35:57 +0200 | <andrewboltachev> | the [*] type)? |
2024-09-29 23:35:57 +0200 | <andrewboltachev> | Hello! CT question: category Set is known to have objects as sets, and arrows as functions between them. Here this diargam: https://main.andrewboltachev.site/toolbox/logicore1/6ac02cce-49ba-47c2-acef-b592e53d2fa1/7/ displays simple algebraic type, similar to (Int, [String]). Is it possible to have a category where Objects are things like (_, _), [_], Int, String, and arrows -- connections between them like fst, snd, * (the argument for |
2024-09-29 23:35:09 +0200 | misterfish | (~misterfis@87.215.131.102) misterfish |
2024-09-29 23:35:00 +0200 | <dolio> | The docs for `optimization:` also tell you this. |
2024-09-29 23:34:51 +0200 | <monochrom> | It is somewhere in the docs since the vast improvement some years ago. But not back in my days. |
2024-09-29 23:34:17 +0200 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/blob/hilfy-2023/cabal.project.local |
2024-09-29 23:33:52 +0200 | <monochrom> | Then I went on to read source code to find out you can do https://www.vex.net/~trebla/haskell/cabal-cabal.xhtml#O2 |
2024-09-29 23:33:39 +0200 | <geekosaur> | cabal file no, cabal.project{,.local} yes |
2024-09-29 23:33:21 +0200 | <monochrom> | I used "cabal install -v" to discover it. :) |
2024-09-29 23:32:18 +0200 | <[exa]> | dolio: anyway thanks for confirming the -O, I looked at some docs and it didn't look very obvious there |
2024-09-29 23:31:33 +0200 | <[exa]> | "if you forget the 2 flags, stuff is gonna get veeeeeeeeeeery slow" |
2024-09-29 23:31:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 23:30:59 +0200 | <[exa]> | hm maybe I should simply provide some kind of install copypaste that has the inlining -f's in it |
2024-09-29 23:30:36 +0200 | andrewboltachev | (~andrey@178.141.123.3) andrewboltachev |
2024-09-29 23:27:51 +0200 | juri_ | (~juri@implicitcad.org) juri_ |
2024-09-29 23:24:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-09-29 23:23:59 +0200 | <dolio> | And by "do that" I mean turn off those optimizations in that case. |
2024-09-29 23:23:37 +0200 | <dolio> | I don't recall if you can test for someone saying to optimize less, or if you'd have to use a flag for that, but maybe you should do that in case someone wants to build faster. |
2024-09-29 23:22:09 +0200 | <dolio> | Cabal does -O by default. |
2024-09-29 23:20:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-29 23:20:47 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-09-29 23:20:22 +0200 | <[exa]> | (in my case there's a few executables and stuff like -fexpose-unfoldings and -fspecialise-aggressively gives ~20x speedup for free) |
2024-09-29 23:17:50 +0200 | <[exa]> | is it a good practice to put optimization flags into a cabal file, or is there some mechanism that defaults stuff well from the environment? (also, does the default include -O or not?) |
2024-09-29 23:17:49 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-29 23:17:29 +0200 | aforemny | (~aforemny@i59F4C7BB.versanet.de) aforemny |
2024-09-29 23:15:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 23:12:27 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-09-29 23:04:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-29 23:04:11 +0200 | jinsun | (~jinsun@user/jinsun) (Client Quit) |
2024-09-29 23:04:03 +0200 | Guest2324 | (~jinsun@user/jinsun) () |
2024-09-29 23:03:57 +0200 | jinsun_ | jinsun |
2024-09-29 23:03:57 +0200 | jinsun | Guest2324 |
2024-09-29 23:03:57 +0200 | jinsun_ | (~jinsun@user/jinsun) jinsun |
2024-09-29 22:59:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-29 22:58:56 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-09-29 22:58:15 +0200 | <deepfire> | ok, I had to cave in and come up with a secret storage backend |
2024-09-29 22:49:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-29 22:48:17 +0200 | Typedfern | (~Typedfern@2a02:9130:9c34:14e4:99e7:1e2d:3a90:e394) typedfern |
2024-09-29 22:47:06 +0200 | <geekosaur> | `dbus-launch nheko`? |