2026/03/07

Newest at the top

2026-03-07 09:39:54 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-07 09:38:46 +0100xff0x(~xff0x@2405:6580:b080:900:4ba2:34a0:8fe0:b7c2)
2026-03-07 09:37:58 +0100xff0x(~xff0x@2405:6580:b080:900:acbe:a784:57c1:5e52) (Ping timeout: 256 seconds)
2026-03-07 09:30:06 +0100madresch(~Thunderbi@user/madresch) madresch
2026-03-07 09:29:46 +0100madresch(~Thunderbi@user/madresch) (Quit: madresch)
2026-03-07 09:24:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-07 09:22:34 +0100xff0x(~xff0x@2405:6580:b080:900:acbe:a784:57c1:5e52)
2026-03-07 09:19:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-07 09:18:45 +0100Vizious(~bes@user/Vizious) Vizious
2026-03-07 09:15:06 +0100xff0x(~xff0x@2405:6580:b080:900:acbe:a784:57c1:5e52) (Ping timeout: 244 seconds)
2026-03-07 09:12:45 +0100euphores(~SASL_euph@user/euphores) euphores
2026-03-07 09:12:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-07 09:07:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-07 09:02:39 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-03-07 09:01:02 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-03-07 09:00:21 +0100tromp(~textual@2001:1c00:3487:1b00:e975:d7be:a717:768f)
2026-03-07 08:56:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-07 08:56:20 +0100Vizious(~bes@user/Vizious) (Quit: WeeChat 4.6.3)
2026-03-07 08:54:03 +0100califax(~califax@user/califx) califx
2026-03-07 08:53:52 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-03-07 08:49:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-07 08:46:41 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-03-07 08:41:01 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2026-03-07 08:38:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-07 08:36:34 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-03-07 08:34:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-07 08:31:26 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2026-03-07 08:31:02 +0100philopsos1(~caecilius@user/philopsos) (Quit: leaving)
2026-03-07 08:30:11 +0100rainbyte(~rainbyte@181.47.219.106) (Remote host closed the connection)
2026-03-07 08:24:47 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-07 08:23:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-07 08:23:17 +0100ski. o O ( "Utrecht University Attribute Grammar Compiler" <https://web.archive.org/web/20160625015520/http://foswiki.cs.uu.nl/foswiki/bin/view/HUT/AttributeG…>,<https://github.com/UU-ComputerScience/uuagc> )
2026-03-07 08:19:17 +0100philopsos1(~caecilius@user/philopsos) philopsos
2026-03-07 08:18:46 +0100 <lambdabot> https://hackage.haskell.org/package/uuagc
2026-03-07 08:18:46 +0100 <ski> @hackage uuagc
2026-03-07 08:18:41 +0100philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-07 08:18:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-07 08:15:44 +0100 <ski> EvanR : if you want to, you can view the semantic value of a syntactic category / nonterminal to be the value of a particular (synthesized, passed up, output) attribute of that syntactical category, regarding the whole grammar as an attribute grammars. (but attribute grammars are more general, can have multiple attributes on each syntactic category, some of which may be inherited (passed down, input))
2026-03-07 08:14:59 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-03-07 08:14:33 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-03-07 08:13:48 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2026-03-07 08:12:39 +0100philopsos1(~caecilius@user/philopsos) philopsos
2026-03-07 08:09:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-07 08:09:12 +0100philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-07 08:07:39 +0100philopsos1(~caecilius@user/philopsos) philopsos
2026-03-07 08:07:29 +0100philopso11(~caecilius@107.175.39.130) (Remote host closed the connection)
2026-03-07 08:04:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-07 07:57:39 +0100philopso11(~caecilius@107.175.39.130)
2026-03-07 07:57:33 +0100philopsos1(~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-07 07:56:35 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)