| 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
| * akirose | quit (Ping timeout: 240 seconds) |
| 02:38:34
| * jwalden | quit (Quit: ChatZilla 0.9.92-rdmsoft [XULRunner 35.0.1/20150122214805]) |
| 02:50:06
| * vikash-afk | joined |
| 03:44:57
| * akirose | joined |
| 03:46:09
| * aki_ | quit (Ping timeout: 248 seconds) |
| 03:56:58
| * jmdyck | quit (Remote host closed the connection) |
| 05:41:38
| * srl295 | quit (Quit: Connection closed for inactivity) |
| 05:51:14
| * aki_ | joined |
| 05:52:01
| * akirose | quit (Ping timeout: 244 seconds) |
| 06:01:34
| * akoserwa | joined |
| 06:06:41
| * cloudshu | quit (Quit: Connection closed for inactivity) |
| 06:13:53
| * IgnoredAmbience | quit (Ping timeout: 248 seconds) |
| 06:15:11
| * IgnoredAmbience | joined |
| 06:36:37
| * regaddi | quit (Quit: ZNC - http://znc.in) |
| 06:54:43
| * regaddi | joined |
| 07:57:24
| * akirose | joined |
| 07:58:27
| * aki_ | quit (Ping timeout: 240 seconds) |
| 10:04:11
| * aki_ | joined |
| 10:05:40
| * akirose | quit (Ping timeout: 265 seconds) |
| 10:25:12
| * mylesborins | quit (Quit: farewell for now) |
| 10:25:21
| * mylesborins | joined |
| 11:24:32
| * akoserwa | quit (Remote host closed the connection) |
| 11:25:19
| * akoserwa | joined |
| 11:41:24
| * jmdyck | joined |
| 12:17:38
| * gibson042 | quit (Ping timeout: 260 seconds) |
| 15:37:51
| * akoserwa | quit (Quit: Leaving) |
| 15:53:40
| * Havvy | joined |
| 15:54:03
| * isHavvy | quit (Ping timeout: 256 seconds) |
| 16:21:34
| * cloudshu | joined |
| 17:56:28
| * stpeter | joined |
| 18:03:35
| * stpeter | quit (Ping timeout: 268 seconds) |
| 19:14:47
| * jwalden | joined |
| 19:46:39
| * srl295 | joined |