2024/09/02

Newest at the top

2024-09-02 03:07:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-02 03:02:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-02 02:52:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-02 02:47:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-02 02:42:28 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-09-02 02:38:17 +0200Mateon2Mateon1
2024-09-02 02:36:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-02 02:35:59 +0200Mateon2(~Thunderbi@user/meow/Mateon1)
2024-09-02 02:35:48 +0200Mateon1(~Thunderbi@user/meow/Mateon1) (Ping timeout: 252 seconds)
2024-09-02 02:35:36 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Client Quit)
2024-09-02 02:35:31 +0200 <jackdk> IIRC laziness means that applicative parsers can do a bit more than parse CFGs but I don't recall the details
2024-09-02 02:32:41 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2024-09-02 02:31:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-02 02:31:17 +0200tomboy64(~tomboy64@user/tomboy64)
2024-09-02 02:31:05 +0200 <hololeap> I think it was the chomsky hierarchy
2024-09-02 02:27:34 +0200 <hololeap> I seem to remember a hierarchy of parsers that roughly correlates to parsing that can be done exclusively with Applicative vs parsing that requires Monad. does anyone know what I'm thinking of?
2024-09-02 02:26:15 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2024-09-02 02:20:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-02 02:18:43 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 264 seconds)
2024-09-02 02:16:07 +0200Guest21(~Guest75@2600:387:15:1511::c) (Client Quit)
2024-09-02 02:15:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-02 02:15:19 +0200neuroevolutus(~neuroevol@146.70.211.152) (Ping timeout: 256 seconds)
2024-09-02 02:15:17 +0200Guest21(~Guest75@2600:387:15:1511::c)
2024-09-02 02:11:08 +0200benjaminl(~benjaminl@user/benjaminl)
2024-09-02 02:09:51 +0200tomboy64(~tomboy64@user/tomboy64)
2024-09-02 02:08:41 +0200benjaminl(~benjaminl@user/benjaminl) (Ping timeout: 255 seconds)
2024-09-02 02:06:43 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 264 seconds)
2024-09-02 02:04:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-02 02:01:06 +0200biberao(~m@user/biberao) (Quit: WeeChat 3.8)
2024-09-02 01:59:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-02 01:51:17 +0200neuroevolutus(~neuroevol@146.70.211.152)
2024-09-02 01:51:15 +0200troojg(~troojg@user/troojg) (Read error: Connection reset by peer)
2024-09-02 01:49:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-02 01:43:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-02 01:40:22 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-09-02 01:37:44 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-09-02 01:36:00 +0200son0p(~ff@191.104.26.195)
2024-09-02 01:34:19 +0200acidjnk_new(~acidjnk@p200300d6e72cfb65c86c0f467d06e1b7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-09-02 01:34:09 +0200xff0x(~xff0x@2405:6580:b080:900:ce12:5406:9488:ffd0) (Ping timeout: 260 seconds)
2024-09-02 01:33:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-02 01:27:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-02 01:25:30 +0200ZharMeny(~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-09-02 01:25:18 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-09-02 01:20:42 +0200sourcetarius(~sourcetar@user/sourcetarius)
2024-09-02 01:17:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-02 01:12:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-02 01:10:21 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2024-09-02 01:03:40 +0200weary-traveler(~user@user/user363627)
2024-09-02 01:01:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-02 00:58:17 +0200spew(~spew@201.141.99.170) (Quit: spew)