00:00:27  <rkirsling>I think that's in accordance with what I'd expect, personally
00:00:32  <jmdyck>the problem with "automating me" is that we *don't* have a "spec spec", so whenever the software complains, you need a human to decide if it's a valid complaint, or the software needs to be changed, or a question needs to be asked.
00:00:37  <rkirsling>^
00:00:58  <IgnoredAmbience>Yep
00:01:00  <ljharb>jmdyck: true. if it was implemented as an eslint plugin with custom rules tho, then we could always unblock ourselves by overriding the rule
00:01:20  <devsnek>it would probably have to be more custom than eslint
00:01:36  <rkirsling>esmlint
00:01:37  <ljharb>eslint can already lint html and markdown given the right parser
00:01:47  <ljharb>i'd expect with a custom parser + a custom plugin it'd be fine
00:01:56  <rkirsling>TIL
00:02:08  <devsnek>eslint can lint scripts inside html/markdown
00:02:14  <devsnek>it doesn't lint the structure of the html/markdown
00:02:22  <ljharb>hm
00:02:55  <ljharb>ok, fair
00:03:00  <rkirsling>ah, well that's less surprising
00:03:29  <devsnek>imagine an eslint parser that changed html into estree
00:03:47  <jmdyck>IgnoredAmbience: re parsability with a big enough grammar: just for <emu-alg> content, my grammar is 1304 right-hand sides.
00:04:04  <rkirsling>🤯
00:04:41  <jmdyck>It could probably be refactored down a bit, but not much, I'd think.
00:04:45  <IgnoredAmbience>You have a grammar?
00:04:49  <jmdyck>yup
00:04:59  <jmdyck>I don't do all this by eyeball!
00:05:05  <devsnek>its quite prose-y
00:05:31  <IgnoredAmbience>I had wondered if you'd got any tooling, I couldn't find it when I've briefly looked in the past.
00:06:11  <jmdyck>nope, i keep it to myself
00:07:11  <devsnek>what if we made an AI that understands the spec
00:07:29  <IgnoredAmbience>Please no AI
00:07:35  <devsnek>but muh blogability
00:07:41  <rkirsling>so that we can have a 10% failure rate? :P
00:07:46  <jmdyck>partly because it's such a mess, partly because nobody's expressed interest, and partly because I'm not sure how much I'd need to publish to make it all runnable by someone else.
00:08:13  <devsnek>sounds like a good general initiative though
00:08:16  <rkirsling>yes
00:08:24  <rkirsling>I for one would like this to be an initiative
00:08:29  <jmdyck>oh, and partly because I haven't thought of a good name.
00:08:32  <rkirsling>ha!
00:08:55  <IgnoredAmbience>I should have asked you about this ages ago.
00:09:29  <IgnoredAmbience>(I'm seemingly perpetually out of time, though)
00:10:30  <ljharb>jmdyck: fwiw there's a bunch of interest in anything that can verify and validate spec text :-)
00:10:49  <ljharb>naming is a separate fun thing (we have a slack channel at work just for naming things)
00:11:48  <rkirsling>lol
00:12:16  <rkirsling>what's that called? #theairbnbikeshed?
00:13:11  <ljharb>lol just #naming. #bikeshed is its own channel, as is #semver, and #is-it-a-sandwich, #dadjokes, and #obscurechannels
00:13:28  <rkirsling>hahaha
00:13:53  <ljharb>also #channel-count; which reports 7300 about 2 months ago
00:13:55  <rkirsling>our #sf-office channel has been overrun with "is it a sandwich" too many times 😂
00:14:46  <devsnek>are sandwich memes what differentiate the real companies from the rest
00:18:06  <IgnoredAmbience>:/ eval has once again tripped me up
01:38:16  * aki_joined
01:39:05  * akirosequit (Ping timeout: 240 seconds)
02:38:34  * jwaldenquit (Quit: ChatZilla 0.9.92-rdmsoft [XULRunner 35.0.1/20150122214805])
02:50:06  * vikash-afkjoined
03:44:57  * akirosejoined
03:46:09  * aki_quit (Ping timeout: 248 seconds)
03:56:58  * jmdyckquit (Remote host closed the connection)
05:41:38  * srl295quit (Quit: Connection closed for inactivity)
05:51:14  * aki_joined
05:52:01  * akirosequit (Ping timeout: 244 seconds)
06:01:34  * akoserwajoined
06:06:41  * cloudshuquit (Quit: Connection closed for inactivity)
06:13:53  * IgnoredAmbiencequit (Ping timeout: 248 seconds)
06:15:11  * IgnoredAmbiencejoined
06:36:37  * regaddiquit (Quit: ZNC - http://znc.in)
06:54:43  * regaddijoined
07:57:24  * akirosejoined
07:58:27  * aki_quit (Ping timeout: 240 seconds)
10:04:11  * aki_joined
10:05:40  * akirosequit (Ping timeout: 265 seconds)
10:25:12  * mylesborinsquit (Quit: farewell for now)
10:25:21  * mylesborinsjoined
11:24:32  * akoserwaquit (Remote host closed the connection)
11:25:19  * akoserwajoined
11:41:24  * jmdyckjoined
12:17:38  * gibson042quit (Ping timeout: 260 seconds)
15:37:51  * akoserwaquit (Quit: Leaving)
15:53:40  * Havvyjoined
15:54:03  * isHavvyquit (Ping timeout: 256 seconds)
16:21:34  * cloudshujoined
17:56:28  * stpeterjoined
18:03:35  * stpeterquit (Ping timeout: 268 seconds)
19:14:47  * jwaldenjoined
19:46:39  * srl295joined