Logs: liberachat/#haskell
| 2026-03-12 16:58:53 | <EvanR> | having a vector add to something other than a vector is cringe |
| 2026-03-12 16:59:16 | <haskellbridge> | <ijouw> I believe number hirarchies should be displayed as tree/graph for quick overview. |
| 2026-03-12 16:59:48 | EvanR | looks at newmind |
| 2026-03-12 16:59:58 | <newmind> | hi |
| 2026-03-12 16:59:59 | <EvanR> | seems to be some sort of bot PMming me |
| 2026-03-12 17:00:09 | × | akegalj quits (~akegalj@78-2-210-167.adsl.net.t-com.hr) (Ping timeout: 255 seconds) |
| 2026-03-12 17:00:12 | <newmind> | not a bot |
| 2026-03-12 17:00:57 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-12 17:01:21 | <newmind> | just wasn't related to this conversation, but rather something you asked in a different channel yesterday |
| 2026-03-12 17:01:42 | <EvanR> | I haven't been in that channel in maybe 8 years |
| 2026-03-12 17:01:50 | × | qqq quits (~qqq@185.54.22.246) (Ping timeout: 245 seconds) |
| 2026-03-12 17:01:51 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 2026-03-12 17:02:08 | <haskellbridge> | <ijouw> Maybe a bot impersonating you? |
| 2026-03-12 17:02:22 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 244 seconds) |
| 2026-03-12 17:02:30 | <EvanR> | unlikely |
| 2026-03-12 17:02:48 | <newmind> | oh, sorry, misread the nick, >.> terribly sorry |
| 2026-03-12 17:02:55 | <EvanR> | oh ok |
| 2026-03-12 17:03:11 | <newmind> | was a 'RyanR' |
| 2026-03-12 17:03:12 | <mesaoptimizer> | strange |
| 2026-03-12 17:03:14 | <EvanR> | lol |
| 2026-03-12 17:03:30 | <newmind> | so,, the distinct uppercase R at the end triggered a bit of a pattern match :D |
| 2026-03-12 17:03:35 | <EvanR> | tbf your message was relevant to the conversion "AI slop" xD |
| 2026-03-12 17:03:36 | → | Wygulmage4 joins (~Wygulmage@user/Wygulmage) |
| 2026-03-12 17:03:43 | <EvanR> | conversation |
| 2026-03-12 17:03:52 | <haskellbridge> | <ijouw> if y == v then all but the first char match. |
| 2026-03-12 17:03:59 | × | bionade24 quits (~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!) |
| 2026-03-12 17:04:20 | <Wygulmage4> | And I think they should have started with a right near semiring rather than an "additive" semigroup. |
| 2026-03-12 17:04:30 | → | bionade24 joins (~quassel@server2.oscloud.info) |
| 2026-03-12 17:04:54 | <ski> | Wygulmage4 : like <https://cokmett.github.io/cokmett/> (click on image) ? |
| 2026-03-12 17:05:02 | <newmind> | again, sorry for the disturbance, my fault >.> |
| 2026-03-12 17:05:15 | <haskellbridge> | <ijouw> Do we have somewhere explaining English terminology for that stuff? |
| 2026-03-12 17:06:00 | <haskellbridge> | <ijouw> Like an overview over names of math concepts relating to numbers? |
| 2026-03-12 17:06:02 | <EvanR> | I wonder if any of that is real |
| 2026-03-12 17:06:10 | <Wygulmage4> | ski: :') |
| 2026-03-12 17:06:18 | <newmind> | you... want logs? |
| 2026-03-12 17:06:28 | × | Wygulmage quits (~Wygulmage@user/Wygulmage) (Ping timeout: 240 seconds) |
| 2026-03-12 17:06:36 | <haskellbridge> | <ijouw> No, i have enough wood? |
| 2026-03-12 17:06:37 | <Wygulmage4> | ijouw: Almost all math terminology is terrible, and you just kind of accept it. |
| 2026-03-12 17:07:09 | <haskellbridge> | <ijouw> I just do not know it. |
| 2026-03-12 17:07:14 | <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 17:08:01 | <Wygulmage4> | Damn. That hurts. But yeah, why does NixOS keep arbitrarily renaming options??? |
| 2026-03-12 17:08:43 | <davean> | hy does nix make modularizing something take 3x the code of just doing the thing in the first place? |
| 2026-03-12 17:08:43 | <Wygulmage4> | Still, semigroup is to group as semilattice is to ??????? |
| 2026-03-12 17:09:59 | <ski> | "semi-" here is basically "not quite" |
| 2026-03-12 17:10:00 | <EvanR> | not sure that makes any sense |
| 2026-03-12 17:10:03 | <Wygulmage4> | Don't think I'll survive these truth bombs. |
| 2026-03-12 17:12:04 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-03-12 17:12:45 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
| 2026-03-12 17:13:08 | <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 17:13:26 | <EvanR> | you should rename it |
| 2026-03-12 17:13:36 | <EvanR> | will be very confusing it |
| 2026-03-12 17:14:13 | <EvanR> | (ring terminology already has some jargon decay in places where it depends who's talking about it means) |
| 2026-03-12 17:14:20 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2026-03-12 17:14:48 | <EvanR> | some of my words seem to not making it through the tubes |
| 2026-03-12 17:15:31 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 2026-03-12 17:15:41 | <Wygulmage4> | I have not heard "jargon decay"; that's it exactly. |
| 2026-03-12 17:17:14 | <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 17:17:37 | <EvanR> | what is this in relation to |
| 2026-03-12 17:18:33 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Ping timeout: 248 seconds) |
| 2026-03-12 17:19:13 | <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 17:19:46 | <Wygulmage4> | Or if you have access to university libraries, have them reserve you a textbook. |
| 2026-03-12 17:22:08 | → | mulk joins (~mulk@pd95146df.dip0.t-ipconnect.de) |
| 2026-03-12 17:23:23 | <haskellbridge> | <ijouw> Thank you |
| 2026-03-12 17:25:12 | <Wygulmage4> | No problem. Being employed by a university is a real lifehack for that kind of stuff. You can be in IT or a janitor an they'll still send you a copy of Residuated Structures in Algebra and Logic. |
| 2026-03-12 17:25:27 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-03-12 17:27:39 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-12 17:30:38 | × | Googulator53 quits (~Googulato@2a01-036d-0106-2025-4c0a-eafd-fab1-553f.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-12 17:31:01 | → | Googulator53 joins (~Googulato@2a01-036d-0106-2025-4c0a-eafd-fab1-553f.pool6.digikabel.hu) |
| 2026-03-12 17:31:38 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-12 17:32:26 | → | euphores joins (~SASL_euph@user/euphores) |
| 2026-03-12 17:35:46 | → | qqq joins (~qqq@185.54.22.246) |
| 2026-03-12 17:39:12 | → | AlexNoo joins (~AlexNoo@5.139.232.240) |
| 2026-03-12 17:39:43 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2026-03-12 17:39:57 | → | AlexNoo_ joins (~AlexNoo@5.139.232.240) |
| 2026-03-12 17:40:40 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Client Quit) |
| 2026-03-12 17:40:41 | → | AlexNoo__ joins (~AlexNoo@5.139.232.240) |
| 2026-03-12 17:42:43 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 2026-03-12 17:43:46 | × | AlexNoo quits (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 17:44:18 | × | AlexNoo_ quits (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 17:44:42 | → | AlexNoo joins (~AlexNoo@5.139.232.240) |
| 2026-03-12 17:44:50 | × | AlexNoo__ quits (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 17:45:25 | → | AlexNoo_ joins (~AlexNoo@5.139.232.240) |
| 2026-03-12 17:46:09 | → | AlexNoo__ joins (~AlexNoo@5.139.232.240) |
| 2026-03-12 17:47:21 | → | oskarw joins (~user@user/oskarw) |
| 2026-03-12 17:49:06 | × | AlexNoo quits (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 17:49:38 | × | AlexNoo_ quits (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 17:49:39 | <gentauro> | % :t readMaybe |
| 2026-03-12 17:49:39 | <yahb2> | <interactive>:1:1: error: [GHC-88464] ; Variable not in scope: readMaybe |
| 2026-03-12 17:49:51 | <gentauro> | % import Text.Read |
| 2026-03-12 17:49:51 | <yahb2> | <no output> |
| 2026-03-12 17:49:53 | <gentauro> | % :t readMaybe |
| 2026-03-12 17:49:53 | <yahb2> | readMaybe :: Read a => String -> Maybe a |
| 2026-03-12 17:50:02 | → | AlexNoo joins (~AlexNoo@5.139.232.240) |
| 2026-03-12 17:50:07 | <EvanR> | that's a good one |
| 2026-03-12 17:50:25 | <gentauro> | % data FooBar = Foo | Bar deriving Read |
| 2026-03-12 17:50:25 | <yahb2> | <no output> |
| 2026-03-12 17:50:35 | <gentauro> | % readFoobar = (\case [] -> Nothing; c:cs -> readMaybe (toUpper c : map toLower cs) :: Maybe FooBar) |
| 2026-03-12 17:50:35 | <yahb2> | <interactive>:47:16: error: [GHC-51179] ; Illegal \case ; Suggested fix: ; Perhaps you intended to use the ‘LambdaCase’ extension ; You may enable this language extension in GHC... |
| 2026-03-12 17:50:42 | × | AlexNoo__ quits (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 17:50:44 | → | AlexNoo_ joins (~AlexNoo@5.139.232.240) |
All times are in UTC.