Newest at the top
| 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) |
| 2026-03-12 18:01:42 +0100 | <EvanR> | I haven't been in that channel in maybe 8 years |
| 2026-03-12 18:01:21 +0100 | <newmind> | just wasn't related to this conversation, but rather something you asked in a different channel yesterday |
| 2026-03-12 18:00:57 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-12 18:00:12 +0100 | <newmind> | not a bot |
| 2026-03-12 18:00:09 +0100 | akegalj | (~akegalj@78-2-210-167.adsl.net.t-com.hr) (Ping timeout: 255 seconds) |
| 2026-03-12 17:59:59 +0100 | <EvanR> | seems to be some sort of bot PMming me |
| 2026-03-12 17:59:58 +0100 | <newmind> | hi |
| 2026-03-12 17:59:48 +0100 | EvanR | looks at newmind |
| 2026-03-12 17:59:16 +0100 | <haskellbridge> | <ijouw> I believe number hirarchies should be displayed as tree/graph for quick overview. |
| 2026-03-12 17:58:53 +0100 | <EvanR> | having a vector add to something other than a vector is cringe |
| 2026-03-12 17:58:42 +0100 | <Wygulmage> | davean: Thanks for outing yourself as part of the SkyNet that replaced Ed. |
| 2026-03-12 17:56:46 +0100 | <davean> | You wouldn't have the context to enjoy it. Its public because it was being posted in a facebook group. |
| 2026-03-12 17:56:31 +0100 | <haskellbridge> | <ijouw> I was experimenting with naming my class of things to add (+) (using type operators) and using functional dependencies to make sure the compiler can infer the types (if 2 of (left arg, right arg, result) type are known). That does limit it to Vector a + a = Vector a or Vector a + Vector a = Vector a |
| 2026-03-12 17:56:30 +0100 | <davean> | He's entertaining a specific few of us with a specific project |