Newest at the top
| 2026-03-12 17:16:11 +0100 | <Wygulmage> | Sorry. Is IRC dead, or did I just come at a bad time? |
| 2026-03-12 17:12:02 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 248 seconds) |
| 2026-03-12 17:10:47 +0100 | <Wygulmage> | they're both monoidal, with `one = 1` and `zero = one`. Again, the laws are still satisfied. And then the library claims you have a `Semiring`, and perhaps assumes that `zero` (1) is annihilative for `mul`. |
| 2026-03-12 17:10:46 +0100 | <Wygulmage> | Clearly not. So, for example, say you have an instance of `AdditiveSemigroup`. Presumably the only law is that it's a semigroup. Cool. So you define `instance AdditiveSemigroup Integer where add = (*)`. Why not? It satisfies the law. And then you define `instance MultiplicativeSemigroup Integer where mul = (*)` Again, it satisfies the law. And |
| 2026-03-12 17:08:59 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2026-03-12 17:07:34 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-12 17:05:14 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-12 16:50:26 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-03-12 16:49:25 +0100 | <Wygulmage> | I'd comment on Discourse but apparently my non-AI browser is not supported... |
| 2026-03-12 16:48:53 +0100 | <Wygulmage> | Has anyone else looked at https://discourse.haskell.org/t/sneak-peek-bolt-math/13766 and thinks it's well intentioned but unworkable as written? |
| 2026-03-12 16:48:04 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2026-03-12 16:44:21 +0100 | myme | (~myme@2a01:799:d5e:5f00:303a:da6f:3ef4:dbc1) myme |
| 2026-03-12 16:43:19 +0100 | myme | (~myme@2a01:799:d5e:5f00:332d:919:8ee8:93eb) (Ping timeout: 244 seconds) |
| 2026-03-12 16:38:14 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-12 16:36:52 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-12 16:35:56 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-12 16:09:13 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 244 seconds) |
| 2026-03-12 15:56:48 +0100 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-03-12 15:56:45 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-12 15:50:54 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-03-12 15:49:04 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2026-03-12 15:49:04 +0100 | jeremyn | (~jeremy@user/jeremyn) (Ping timeout: 244 seconds) |
| 2026-03-12 15:46:01 +0100 | jmcantrell_ | jmcantrell |
| 2026-03-12 15:46:01 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-12 15:33:54 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-12 15:27:15 +0100 | <mesaoptimizer> | good for her |
| 2026-03-12 15:26:26 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-12 15:24:38 +0100 | jeremyn | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-12 15:24:26 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2026-03-12 15:23:43 +0100 | Square2 | (~Square@user/square) Square |
| 2026-03-12 15:23:30 +0100 | ski | . o O ( "A break from programming languages" by Alexis King in 2025-05-29 at <https://lexi-lambda.github.io/blog/2025/05/29/a-break-from-programming-languages/> ) |
| 2026-03-12 15:22:01 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-12 15:10:19 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-12 15:05:44 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-12 15:05:44 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c) (Changing host) |
| 2026-03-12 15:05:44 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c) |
| 2026-03-12 15:04:08 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-03-12 14:59:14 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 2026-03-12 14:54:03 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-12 14:49:10 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-12 14:49:10 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c) (Changing host) |
| 2026-03-12 14:49:10 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c) |
| 2026-03-12 14:38:03 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-03-12 14:35:36 +0100 | qqq | (~qqq@185.54.22.246) |
| 2026-03-12 14:33:00 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-12 14:28:02 +0100 | Alex_delenda_est | (~al_test@5.139.232.240) |
| 2026-03-12 14:22:49 +0100 | AlexZenon | (~alzenon@5.139.232.240) |
| 2026-03-12 14:16:04 +0100 | qqq | (~qqq@185.54.22.246) (Ping timeout: 244 seconds) |
| 2026-03-12 14:13:22 +0100 | AlexNoo | (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 14:09:20 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 245 seconds) |