Johannes Bader

icon indicating a website link https://johannes-bader.com/

icon location New York City, USA icon location Trying to make developer tools suck less and hacking on tree calculus. Interests: PL design, formal verification, automatic program repair, education.

Results 2 issues of Johannes Bader

Variable Length Gap Pattern Matching

1 comment

Note: this branch is based on https://github.com/simongog/sdsl-lite/tree/new_wt and had significant differences to sdsl-lite/master. I manually tried to merge vlg_matching towards sdsl-lite master, yet without breaking vlg_matching and new_wt's "ys_in_xrange" example....

Some bugs in the PDF

2 comment

Hi, what a great book! I love thinking about PLs with maximum "effectivity / spec size" ratio as a hobby and this made quite the dent[^1] in where I suspected...