Elektrine lite

← Feed

AndrasKovacs

AndrasKovacs@mathstodon.xyz

<p><a href="https://andraskovacs.github.io/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">andraskovacs.github.io/</span><span class="invisible"></span></a></p>

Posts

  • View post

    I investigated resilient parsing (meaning that we want to parse as much of the source as possible and produce multiple errors) and arrived at the following thing: https://andraskovacs.github.io/posts/2026/09/resilient-parsing/ I&#39;m quite happy with this iteration. The most interesting thing I learned is probably the following: every parsing error should have *three* positions. The position where the parser actually failed, and a span around it which indicates the *error node* being produc...