Chad Brewbaker

amqtune tool?

1

Would it make sense to build an amqtune tool for tuning the amq function? ```bash amqtune -amq=bloom -i fileToIndex -q queryFile -zmin=1 -zmax=5 -kmin=5 -kmax =40 z k #TP #FP...

Streaming LZMA

1

Would it make sense to keep two fixed size prefix tries (with counters)? Have to think how you could do NCD with hyperloglog. Loved Vitanyi's book, and the work his...

I was able to solve a lot of these by asking ChatGPT to translate to SMTLIB then blast with Microsoft Z3 binary upload to Code Interpreter. https://github.com/chadbrewbaker/ChadGPT/tree/main/codeint_toolbox GPT here: https://chat.openai.com/g/g-hBDutiLmw-chadgpt...

Bumping configs for eBPF and Graviton2 support

3

Like to [get some eyeballs](https://github.com/chadbrewbaker/ami-builder-packer) on a builder to catch any mistakes. Ruby on Rails server - but could easily be .Net/JVM/Node/Django/RustRocket. * On the fence over the 5.4.20 kernel...

Matter of practicality you are going to need an FFI with C code and assembler. I would do that sooner rather than later. I like the # prefix syntax. How...

Expectation tests

2

I wanted to hack on some coreutils to teach myself Zig. I was going to start by pulling in the Rust MIT license coreutils shell expectation tests and GNU shell...

Single Static Assignment - MLIR and SMTLIB.

1

Any way you could output in Single Static Assignment for LLVM/MLIR and SSA SMTLIB lisp for solvers like Microsoft Z3/CVC5? You could then shell out to LLVM and Z3/CVC5 to...

e-graph dictionaries

2

It would be nice to have a more comprehensive dictionary of e-graph rules for FinOrd and combinatorial species. My shelved PR for egg that needs dusted off and finished. I...