Newest at the top
| 2025-02-03 16:54:21 +0100 | <tomsmeding> | for the latter: https://hasufell.github.io/posts/2024-04-21-static-linking.html (disclaimer: I haven't tried this, but it seems a lot more convenient than being forced to use nix) |
| 2025-02-03 16:54:00 +0100 | <tomsmeding> | Athas: statically link ghc, or statically link your own program with ghc? |
| 2025-02-03 16:53:32 +0100 | <carbolymer> | I understood that you're trying to build your program |
| 2025-02-03 16:53:22 +0100 | <carbolymer> | ah, link ghc |
| 2025-02-03 16:52:53 +0100 | <carbolymer> | tbf it's quite easy with haskell.nix |
| 2025-02-03 16:51:49 +0100 | <Athas> | I am getting quite depressed at how annoying it is becoming to statically link GHC with Nixpkgs. It is teethering on the bring of being so complicated that I cannot justify learning how to do it. |
| 2025-02-03 16:46:26 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-02-03 16:37:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-03 16:33:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 16:29:26 +0100 | <ski> | mm, but yes, you could either put the context as another parameter of the judgement relation. or push that to the (linear) meta-logic |
| 2025-02-03 16:26:20 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-02-03 16:23:24 +0100 | <ski> | tomsmeding : well, you could use Lolli (linear logic programming language), for that resource splitting |
| 2025-02-03 16:23:23 +0100 | <ski> | kuribas : doing generalization can be a problem |
| 2025-02-03 16:21:20 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-03 16:16:36 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-02-03 16:08:10 +0100 | euleritian | (~euleritia@dynamic-176-006-146-039.176.6.pool.telefonica.de) |
| 2025-02-03 16:07:33 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-02-03 16:05:31 +0100 | forell | (~forell@user/forell) forell |
| 2025-02-03 16:04:06 +0100 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Quit: ZNC - https://znc.in) |
| 2025-02-03 15:58:33 +0100 | <carbolymer> | I mean, is it possible :D |
| 2025-02-03 15:58:23 +0100 | <carbolymer> | can I simplify this pattern: https://play.haskell.org/saved/nAhyanfL |
| 2025-02-03 15:57:49 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-02-03 15:50:57 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2025-02-03 15:48:59 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-03 15:44:35 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 15:41:56 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-03 15:40:39 +0100 | jespada | (~jespada@2800:a4:2315:e400:dc3a:2af1:31c:f0bc) jespada |
| 2025-02-03 15:40:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-02-03 15:38:52 +0100 | <dminuoso> | Just a plain old typeclass. |
| 2025-02-03 15:38:48 +0100 | <dminuoso> | And Show is a typical `turn things into strings` example anyway. You do not need MPTC for this. |
| 2025-02-03 15:36:59 +0100 | <dminuoso> | lxsameer: Well yes, constraints are the way you limit polymorphic values to specific types (namely those that you have instances for) |
| 2025-02-03 15:28:36 +0100 | tnt2 | tnt1 |
| 2025-02-03 15:28:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-03 15:28:03 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-03 15:27:46 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
| 2025-02-03 15:27:10 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-03 15:18:51 +0100 | CiaoSen | (~Jura@2a05:5800:26f:a800:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2025-02-03 15:17:47 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-03 15:13:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-02-03 15:05:25 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-02-03 15:05:00 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-02-03 15:01:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-03 14:56:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 14:55:42 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-02-03 14:51:56 +0100 | tnt2 | tnt1 |
| 2025-02-03 14:49:38 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-03 14:49:34 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-03 14:37:25 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-02-03 14:24:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-03 14:13:34 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |