2025/03/03

Newest at the top

2025-03-03 22:49:23 +0100 <jle`> what's the actual term for the relationship between ie Semigroup and Monoid? is Monoid a subclass of Semigroup?
2025-03-03 22:49:02 +0100jle`(~jle`@2603:8001:3b00:11:d87a:f805:3ce4:c943) jle`
2025-03-03 22:44:54 +0100myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 260 seconds)
2025-03-03 22:43:57 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-03 22:42:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-03 22:41:49 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-03 22:38:07 +0100fantom(~fantom@2.219.56.221)
2025-03-03 22:37:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-03 22:37:17 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-03 22:31:43 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-03-03 22:29:48 +0100fp(~Thunderbi@hof1.kyla.fi) fp
2025-03-03 22:27:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-03 22:26:11 +0100jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2)
2025-03-03 22:23:15 +0100michalz(~michalz@185.246.207.218) (Remote host closed the connection)
2025-03-03 22:22:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-03 22:21:31 +0100eL_Bart0(eL_Bart0@dietunichtguten.org)
2025-03-03 22:21:20 +0100eL_Bart0(eL_Bart0@dietunichtguten.org) (Quit: Restarting)
2025-03-03 22:20:56 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-03-03 22:20:46 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-03-03 22:12:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-03 22:11:04 +0100fantom(~fantom@2.219.56.221) (Ping timeout: 244 seconds)
2025-03-03 22:09:13 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-03 22:08:34 +0100Digit(~user@user/digit) (Ping timeout: 248 seconds)
2025-03-03 22:07:42 +0100Digitteknohippie(~user@user/digit) Digit
2025-03-03 22:07:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-03 21:56:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-03 21:53:59 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
2025-03-03 21:53:59 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-03 21:52:23 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-03-03 21:52:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-03 21:49:33 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-03 21:46:37 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-03-03 21:45:48 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-03-03 21:43:18 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-03-03 21:41:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-03 21:36:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-03 21:32:02 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
2025-03-03 21:28:39 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit)
2025-03-03 21:28:36 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-03-03 21:25:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-03 21:24:08 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-03 21:21:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-03 21:20:45 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-03 21:15:12 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-03 21:12:06 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 272 seconds)
2025-03-03 21:10:07 +0100glguy_glguy
2025-03-03 21:09:53 +0100feetwind(~mike@user/feetwind) feetwind
2025-03-03 21:09:53 +0100 <haskellbridge> <Bowuigi> Oh I just saw "this grammar is not LALR" being emmited automatically and concluded that it was useful lol
2025-03-03 21:09:33 +0100feetwind(~mike@user/feetwind) (Ping timeout: 246 seconds)
2025-03-03 21:07:55 +0100zungi(~tory@user/andrewchawk) andrewchawk