Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,791,081 events total
2026-03-07 03:57:36 arandombit joins (~arandombi@user/arandombit)
2026-03-07 03:59:52 CloneOfNone_ joins (~CloneOfNo@user/CloneOfNone)
2026-03-07 04:00:02 × CloneOfNone quits (~CloneOfNo@user/CloneOfNone) (Read error: Connection reset by peer)
2026-03-07 04:00:31 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-07 04:01:56 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-07 04:04:12 xff0x joins (~xff0x@2405:6580:b080:900:acbe:a784:57c1:5e52)
2026-03-07 04:05:03 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-07 04:16:03 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-07 04:16:37 DetourNe- joins (~DetourNet@user/DetourNetworkUK)
2026-03-07 04:17:55 × DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-03-07 04:18:56 DetourNe- is now known as DetourNetworkUK
2026-03-07 04:21:24 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-07 04:31:49 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-07 04:32:38 <glguy> tusko: what was the answer?
2026-03-07 04:38:50 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-07 04:39:53 arandombit joins (~arandombi@user/arandombit)
2026-03-07 04:44:18 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-07 04:46:04 stackdroid18 parts (~stackdroi@user/stackdroid) ()
2026-03-07 04:49:50 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-07 04:50:32 × weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!)
2026-03-07 04:50:48 weary-traveler joins (~user@user/user363627)
2026-03-07 04:51:17 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
2026-03-07 04:54:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-07 04:54:55 humasect joins (~humasect@192.249.132.90)
2026-03-07 04:54:57 weary-traveler joins (~user@user/user363627)
2026-03-07 05:05:12 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-07 05:06:19 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-03-07 05:06:55 × machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds)
2026-03-07 05:07:02 chexum joins (~quassel@gateway/tor-sasl/chexum)
2026-03-07 05:10:04 philopsos1 joins (~caecilius@user/philopsos)
2026-03-07 05:10:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-07 05:11:57 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-07 05:14:41 philopsos1 joins (~caecilius@user/philopsos)
2026-03-07 05:24:03 arandombit joins (~arandombi@2a02:2455:8656:7100:9c04:77be:7a54:3a7d)
2026-03-07 05:24:03 × arandombit quits (~arandombi@2a02:2455:8656:7100:9c04:77be:7a54:3a7d) (Changing host)
2026-03-07 05:24:03 arandombit joins (~arandombi@user/arandombit)
2026-03-07 05:27:16 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-07 05:27:24 philopsos1 joins (~caecilius@user/philopsos)
2026-03-07 05:27:47 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-07 05:29:12 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 264 seconds)
2026-03-07 05:30:19 × GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2)
2026-03-07 05:30:38 GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano)
2026-03-07 05:31:13 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
2026-03-07 05:32:40 weary-traveler joins (~user@user/user363627)
2026-03-07 05:32:52 philopsos1 joins (~caecilius@user/philopsos)
2026-03-07 05:35:09 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
2026-03-07 05:36:55 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-07 05:39:29 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-07 05:39:42 philopsos1 joins (~caecilius@user/philopsos)
2026-03-07 05:41:38 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-07 05:42:09 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-03-07 05:42:30 divlamir joins (~divlamir@user/divlamir)
2026-03-07 05:44:18 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-07 05:44:42 philopsos1 joins (~caecilius@user/philopsos)
2026-03-07 05:48:15 takuan joins (~takuan@141.134.185.233)
2026-03-07 05:53:05 merijn joins (~merijn@62.45.136.136)
2026-03-07 05:54:42 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 268 seconds)
2026-03-07 05:57:40 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
2026-03-07 06:00:46 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds)
2026-03-07 06:01:57 arandombit joins (~arandombi@2a02:2455:8656:7100:9c04:77be:7a54:3a7d)
2026-03-07 06:01:57 × arandombit quits (~arandombi@2a02:2455:8656:7100:9c04:77be:7a54:3a7d) (Changing host)
2026-03-07 06:01:57 arandombit joins (~arandombi@user/arandombit)
2026-03-07 06:07:23 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2026-03-07 06:08:31 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-07 06:11:22 peterbecich joins (~Thunderbi@71.84.33.135)
2026-03-07 06:15:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-07 06:17:18 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-07 06:22:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-03-07 06:25:01 arandombit joins (~arandombi@user/arandombit)
2026-03-07 06:29:11 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-07 06:32:07 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2026-03-07 06:33:04 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-07 06:38:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-07 06:41:51 arandombit joins (~arandombi@2a02:2455:8656:7100:9c04:77be:7a54:3a7d)
2026-03-07 06:41:51 × arandombit quits (~arandombi@2a02:2455:8656:7100:9c04:77be:7a54:3a7d) (Changing host)
2026-03-07 06:41:51 arandombit joins (~arandombi@user/arandombit)
2026-03-07 06:47:13 × mange quits (~mange@user/mange) (Remote host closed the connection)
2026-03-07 06:48:50 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-07 06:52:02 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2026-03-07 06:53:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-07 06:56:35 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
2026-03-07 06:57:33 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-07 06:57:39 philopso11 joins (~caecilius@107.175.39.130)
2026-03-07 07:04:27 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-07 07:07:29 × philopso11 quits (~caecilius@107.175.39.130) (Remote host closed the connection)
2026-03-07 07:07:39 philopsos1 joins (~caecilius@user/philopsos)
2026-03-07 07:09:12 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-07 07:09:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-07 07:12:39 philopsos1 joins (~caecilius@user/philopsos)
2026-03-07 07:13:48 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2026-03-07 07:14:33 ChaiTRex joins (~ChaiTRex@user/chaitrex)
2026-03-07 07:14:59 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
2026-03-07 07:15:44 <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 07:18:18 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-07 07:18:41 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-07 07:18:46 <ski> @hackage uuagc
2026-03-07 07:18:46 <lambdabot> https://hackage.haskell.org/package/uuagc
2026-03-07 07:19:17 philopsos1 joins (~caecilius@user/philopsos)
2026-03-07 07:23:17 ski . o O ( "Utrecht University Attribute Grammar Compiler" <https://web.archive.org/web/20160625015520/http://foswiki.cs.uu.nl/foswiki/bin/view/HUT/AttributeGrammarSystem>,<https://github.com/UU-ComputerScience/uuagc> )
2026-03-07 07:23:32 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)

All times are in UTC.