Newest at the top
| 2026-03-12 18:19:13 +0100 | <Wygulmage4> | ijouw: For basic definitions, I usually go to Wolfram MathWorld, Planet Math, or Wikipedia. Here's Planet Math on Brouwerian lattices: https://planetmath.org/brouwerianlattice |
| 2026-03-12 18:18:33 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 248 seconds) |
| 2026-03-12 18:17:37 +0100 | <EvanR> | what is this in relation to |
| 2026-03-12 18:17:14 +0100 | <Wygulmage4> | But being precise and calling something a "right ringoid with additive and multiplicative associativity"... I don't know if that's better. |
| 2026-03-12 18:15:41 +0100 | <Wygulmage4> | I have not heard "jargon decay"; that's it exactly. |
| 2026-03-12 18:15:31 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2026-03-12 18:14:48 +0100 | <EvanR> | some of my words seem to not making it through the tubes |
| 2026-03-12 18:14:20 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-03-12 18:14:13 +0100 | <EvanR> | (ring terminology already has some jargon decay in places where it depends who's talking about it means) |
| 2026-03-12 18:13:36 +0100 | <EvanR> | will be very confusing it |
| 2026-03-12 18:13:26 +0100 | <EvanR> | you should rename it |
| 2026-03-12 18:13:08 +0100 | <Wygulmage4> | I'm not really being fair to mathematicians. But I want a "right semiring" to be two associative operations where one distributes over the other from the right. And that simply isn't true. |
| 2026-03-12 18:12:45 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
| 2026-03-12 18:12:04 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-03-12 18:10:03 +0100 | <Wygulmage4> | Don't think I'll survive these truth bombs. |
| 2026-03-12 18:10:00 +0100 | <EvanR> | not sure that makes any sense |
| 2026-03-12 18:09:59 +0100 | <ski> | "semi-" here is basically "not quite" |
| 2026-03-12 18:08:43 +0100 | <Wygulmage4> | Still, semigroup is to group as semilattice is to ??????? |
| 2026-03-12 18:08:43 +0100 | <davean> | hy does nix make modularizing something take 3x the code of just doing the thing in the first place? |
| 2026-03-12 18:08:01 +0100 | <Wygulmage4> | Damn. That hurts. But yeah, why does NixOS keep arbitrarily renaming options??? |
| 2026-03-12 18:07:14 +0100 | <EvanR> | at least math people stick to it and don't go about renaming everything randomly every 6 months like programming language of the week people |
| 2026-03-12 18:07:09 +0100 | <haskellbridge> | <ijouw> I just do not know it. |
| 2026-03-12 18:06:37 +0100 | <Wygulmage4> | ijouw: Almost all math terminology is terrible, and you just kind of accept it. |
| 2026-03-12 18:06:36 +0100 | <haskellbridge> | <ijouw> No, i have enough wood? |
| 2026-03-12 18:06:28 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) (Ping timeout: 240 seconds) |
| 2026-03-12 18:06:18 +0100 | <newmind> | you... want logs? |
| 2026-03-12 18:06:10 +0100 | <Wygulmage4> | ski: :') |
| 2026-03-12 18:06:02 +0100 | <EvanR> | I wonder if any of that is real |
| 2026-03-12 18:06:00 +0100 | <haskellbridge> | <ijouw> Like an overview over names of math concepts relating to numbers? |
| 2026-03-12 18:05:15 +0100 | <haskellbridge> | <ijouw> Do we have somewhere explaining English terminology for that stuff? |
| 2026-03-12 18:05:02 +0100 | <newmind> | again, sorry for the disturbance, my fault >.> |
| 2026-03-12 18:04:54 +0100 | <ski> | Wygulmage4 : like <https://cokmett.github.io/cokmett/> (click on image) ? |
| 2026-03-12 18:04:30 +0100 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
| 2026-03-12 18:04:20 +0100 | <Wygulmage4> | And I think they should have started with a right near semiring rather than an "additive" semigroup. |
| 2026-03-12 18:03:59 +0100 | bionade24 | (~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!) |
| 2026-03-12 18:03:52 +0100 | <haskellbridge> | <ijouw> if y == v then all but the first char match. |
| 2026-03-12 18:03:43 +0100 | <EvanR> | conversation |
| 2026-03-12 18:03:36 +0100 | Wygulmage4 | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2026-03-12 18:03:35 +0100 | <EvanR> | tbf your message was relevant to the conversion "AI slop" xD |
| 2026-03-12 18:03:30 +0100 | <newmind> | so,, the distinct uppercase R at the end triggered a bit of a pattern match :D |
| 2026-03-12 18:03:14 +0100 | <EvanR> | lol |
| 2026-03-12 18:03:12 +0100 | <mesaoptimizer> | strange |
| 2026-03-12 18:03:11 +0100 | <newmind> | was a 'RyanR' |
| 2026-03-12 18:02:55 +0100 | <EvanR> | oh ok |
| 2026-03-12 18:02:48 +0100 | <newmind> | oh, sorry, misread the nick, >.> terribly sorry |
| 2026-03-12 18:02:30 +0100 | <EvanR> | unlikely |
| 2026-03-12 18:02:22 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 244 seconds) |
| 2026-03-12 18:02:08 +0100 | <haskellbridge> | <ijouw> Maybe a bot impersonating you? |
| 2026-03-12 18:01:51 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2026-03-12 18:01:50 +0100 | qqq | (~qqq@185.54.22.246) (Ping timeout: 245 seconds) |