Jeremy Kun

Results 98 issues of Jeremy Kun

See https://docs.docker.com/storage/volumes/#backup-a-container

The bug fixed by https://github.com/j2kun/riemann-divisor-sum/pull/27/commits/5da4bbe828bb2c86df44100a1d06397874548221 should have a regression test, suggests a new job that asserts the search blocks in the database are contiguous, and suggests refactoring the Search Strategy...

In particular, immediate ntt/intt pairs can be elided. Depends on https://github.com/google/heir/issues/182

good first issue
dialect: polynomial

https://synthical.com/article/073e4b99-abf7-41a5-a3a2-d9e2962eedfb CiFlow: Dataflow Analysis and Optimization of Key Switching for Homomorphic Encryption Abstract: Homomorphic encryption (HE) is a privacy-preserving computation technique that enables computation on encrypted data. Today, the potential...

research synthesis

@AlexanderViand-Intel I may need your help here. I haven't figured out how to build HECO yet (everything succeeds in your repo instructions up to the linking step, then it fails...

OpenFHE's MakePackedPlaintext will zero-pad to the ring degree N, and this breaks the rotate-and-reduce trick, so instead in the simple_sum_test.cpp test harness, I manually repeat the coefficients cyclically until it...

dialect: bgv
dialect: openfhe

After https://github.com/google/heir/pull/587 the box_blur_64x64 test takes ~53 minutes to compile (up from 1.5 minutes) and canonicalizer takes ~50 minutes of that (95%). Long term we're going to need to be...

Given that `ReLU(x) = x (0.5 + 0.5 sgn(x))`, this reduces to approximating the sign function, and this paper appears to have the state of the art: https://eprint.iacr.org/2020/834

Pending - https://github.com/llvm/llvm-project/pull/91137 - https://github.com/llvm/llvm-project/pull/91410

pull_ready

Right now poly.poly has a custom builder to get the defaults working properly, but tablegen is supposed to have native support for default valued attributes. I couldn't get it to...

dialect: polynomial