#Kaitai Struct still can’t write, only read. #serialization #parsing
on 02025-09-10Tony Finch’s #immediate-mode command-line option #parsing #toread
on 02025-07-24#immediate-mode command-line option #parsing #toread: else if (clopt(o, 'n', "name") && clarg(o)) {
Poikilos’s #parsing problem with #BASIC and #LALR parser generators
on 02024-08-25DaeDaLus is a Turing-complete #parsing library that supports input synthesis
on 02022-05-26#algorithm #performance for #parsing #JSON: 7.4 GB/s to look for tweets by a particular person, for example, 12 GB/s for minification by removing whitespace, or 3.6 GB/s to produce a full in-memory DOM tree. Apparently #AVX-512 actually does improve performance now.
on 02022-05-26applicative #parsing in #OCaml with GADTs
on 02021-03-02“A Verified Packrat Parser Interpreter for Parsing Expression Grammars” #PEG #parsing #paper from 02020 on parsers that provide “an effective proof certificate for correct parsing and ensure that parsing properties including soundness and completeness are maintained”
on 02021-02-20“Recognising and Generating Terms using Derivatives of Parsing Expression Grammars” by Tony Garnock-Jones from 02012, covering automatic sentence generation. #PEG #parsing #paper
on 02021-02-20“Pika parsing: reformulating packrat parsing as a dynamic programming algorithm solves the left recursion and error recovery problems” #PEG #parsing #paper #bigiftrue from 02020
on 02021-02-20“Syntax error recovery in parsing expression grammars” #PEG #parsing #paper from 02018
on 02021-02-20“For and against PEGs” #PEG #parsing #paper from 02018
on 02021-02-20“Parsing Expression Grammars Made Practical”, 02015 #paper on practical #PEG #parsing using their library "Autumn"
on 02021-02-20Eli Bendersky’s article on Pratt’s #top-down-operator-precedence #parsing algorithm, using as an example infix arithmetic with parentheses in Python. #algorithms
on 02021-01-21Fredrik Lundh’s explanation of Pratt’s #top-down-operator-precedence #parsing algorithm in Python. #algorithms
on 02021-01-21Crockford’s explanation of the Pratt #top-down-operator-precedence #parsing algorithm; Crockford presents a #JS parser that can parse the JS subset it’s written in, cut down from his JSlint. #algorithms #smallisbeautiful
on 02021-01-21#Parsing #ALGOL 68 required using a “two-level” "W-grammar".
on 02021-01-20a #Matrix system with free-software bridges to iMessage (running on a jailbroken iPhone), WhatsApp, Twitter, etc. https://en.wikipedia.org/wiki/Definite_clause_grammar#Non-context-free_grammars #Parsing, including attributes, using #Prolog definite-clause grammars: sentence(s(NP,VP)) --> noun_phrase(NP), verb_phrase(VP). noun_phrase(np(D,N)) --> det(D), noun(N). verb_phrase(vp(V,NP)) --> verb(V), noun_phrase(NP). det(d(the)) --> [the]. det(d(a)) --> [a]. noun(n(bat)) --> [bat]. noun(n(cat)) --> [cat]. verb(v(eats)) --> [eats].
“An Introduction to Unification-Based Approaches to Grammar”, Shieber, 1986 (mostly), on #parsing with definite clause grammars and other #formal-methods. #CC by #PDF #ebook #toread 97 pages
on 02021-01-20Darius Bacon’s minimal #PEG #parsing system, minimized from his full-featured system Parson
on 02021-01-15Another inspiring #incremental #PEG #parsing sketch by Darius Bacon. #algorithms
on 02021-01-15discussion of #parsing with #FSM #conservative-approximations
on 02021-01-15Darius’s whack at #incremental #parsing with a #PEG
on 02021-01-13notes on #smallisbeautiful: META-II, Strachey's 250-instruction GPM, etc. #parsing
on 02020-10-11Hmm, a Dyck language and a regular language intersected give you an arbitrary context-free language? #parsing #algorithms
on 02017-04-26#PDF #paper on #SIMD #parsing of #XML using “bitstream addition” — bit-sliced processing of the character stream #toread
on 02016-09-20PEG #parsing #EDSL in Red, Nenad Rakocevic’s 3-clause BSD-licensed homoiconic language based on Carl Sassenrath’s REBOL
on 02016-07-21Adams #paper that #parsing with derivatives has cubic time #complexity
on 02016-06-26DFDL is like a #parsing system for arbitrary data file formats.
on 02015-08-06