Fernando Virdia

Oh, interesting! I will check it out! Is this a very recent release? Should I build from source to test it?

Hi @lobre, Thanks for your reply. Indeed, I've been thinking of the possible approaches to extend somewhat my work. One possible solution is to try something like gopy. Gopy is...

I think indeed having a good stable and fast interface would be useful. I believe it would extend into a FUSE driver quite easily (they seem easy to implement in...

This is a critical issue, there is a growing Q# community using the resource estimator in various works in cryptanalysis [1,2,3,4,5] because of its ease of use. Having inconsistent circuit...

For added context, I run the enumeration fit code through the CheNgu12 data points to obtain slightly different exponents: ```python sage: print("Yuanmi Chen 13 extreme") ....: dim = [100, 110,...

Yep, unless we believe the CheNgu12 params are better? They predict faster enumeration, not sure if independent experimental data agrees with it.

Yep, annoying mathematicians using natural logs everywhere ```python sage: chen13 = lambda beta: 0.270188776350190*beta*log(beta) - 1.0192050451318417*beta + 16.10253135200765 ....: fplll = lambda beta: 1/(2*e) * beta * log(beta, 2.0) -...

Annoyingly: should the class be renamed to Chen13, or maybe for backwards compatibility have a Chen13 class and set CheNgu12 as a copy of Chen13 to avoid someone's code breaking?...

Sounds fair, for enumeration people should be using newer models anyway I guess

having a similar problem on the 0.4 snap on Debian 10, except relaunching does not fix. Not sure if the inspector is available as to look into the console log.