Newest at the top
| 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) |
| 2025-02-03 14:13:29 +0100 | sprotte24 | (~sprotte24@p200300d16f26a80008f1d39836015ac5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-03 14:12:35 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-03 14:08:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-03 13:46:32 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-03 13:44:34 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-03 13:44:17 +0100 | rvalue- | rvalue |
| 2025-02-03 13:40:47 +0100 | <int-e> | and it's unsafe precisely because of that |