Aljoscha Meyer

Lilypond point and click

6

Hey there, would it be possible to add support for point and click for [lilypond](http://lilypond.org/)? Lilypond is to traditional music notation software what latex is to WYSIWYG editors. It has...

Troubleshooting: linking with `cc` failed

5

Hey, I wanted to try some basic rust fuzzing, following the [tutorial](https://fuzz.rs/book/afl/setup.html), but `cargo afl build` fails. I have no idea how to start troubleshooting this, so I'd be thankful...

Building with Java 9

1

Running `mvn package` fails when using Java version 9, due to ambiguos type references. Java 9 adds [java.lang.Module](https://docs.oracle.com/javase/9/docs/api/java/lang/class-use/Module.html), which conflicts with the unqualified imports of `org.kframework.kil.Moule`, e.g. [here](https://github.com/kframework/k/blob/master/kernel/src/main/java/org/kframework/kil/visitors/Visitor.java#L13). Sorry for...

Hi Trillian team, I want to point out a (semi-)new design for transparency logs I developed (not peer-reviewed yet) that outperforms the Merkle-tree-based design used in trillian (briefly: consistency proofs...

First-Readthrough Nitpicks

3

Hi all, I've collected some nitpicky feedback while reading the [spec](https://datatracker.ietf.org/doc/html/draft-toomim-httpbis-braid-http) for the first time. Each outer list item quotes the spec, nested items are the comments. - own, aside...

Generator discovery for composability

1

Generator composability is _very good thing_™. It allows to build a personalized generator from very basic building blocks, without having to reinvent the wheel. E.g a README generator, package.json generator...

The test suite only includes examples of well-known formats. It could also be extended to test correct handling of arbitrary formats (see https://github.com/microformats/microformats2-parsing/issues/5). Additionally, a test case for input without...

Don't merge yet, I just want the preview deploy.