Viewing profile — kvakil

I worked on that Node.js issue. If you can share a repro, I'd love to take a look: https://github.com/nodejs/node/issues/new?assignees=&labels=...

wow, this is impressive. I wrote a similar x86-16 assembler in https://github.com/kvakil/0asm/ >. I did find a lot of similar tricks were helpful: using gadgets and hashes. Once tr…

In addition, even if a normal number was used, it's far simpler to describe the data by just using a single number alone. For example, a binary encoding of the data (perhaps using …

Anecdote: for me the actor model has been the most understandable and useful concurrency primitive I've used. Pi-calculus, which was inspired by the actor model, is similarly elega…

This assumes that pi is a normal number [0], a fact that is widely believed but has not been proven. [0]: https://en.wikipedia.org/wiki/Normal_number

jsfuck is hardly obfuscation: remove the first 828 bytes (for "eval(") and the last 3 bytes (for ")()"), and then execute the remaining string, and that gives you the original sour…

> Maksymilian Piskorowski found that if you happen to have a spare eight 9s, you can compute 𝑒 = (9/9 + 9^(-9^9))^(9^(9^9)), which is accurate to a little over 369 million decimal…

Seems likely that the hard reset works on a lower level as it works even if the phone is hung.

Maybe take a look at gg [0]? It seems to solve the problem of slow compilation quite nicely. [0] https://github.com/StanfordSNR/gg

From the article: "As an extra bonus, the generated proofs tend to be shorter than the ground truth proofs collected in CoqGym." This feels a little misleading, the paper itself sa…

how does this compare to oss-fuzz [0]? is the main value proposition that its easier to set up? [0]: https://github.com/google/oss-fuzz/

Modern secure messaging systems are typically OTR and have deniability: after the session ends, anybody can forge messages to make it look like they came from you. Sure the message…

In French, there is a space before exclamation and question marks. Based on the author's name, I'd also guess that they are French.

I think that an age-based criterion would reflect that younger people (on average) have greater tech literacy. But I don't think Congresspeople reflect the general population, so I…

It depends on how you define the modulo operator [0]--there are definitions where (-1)%5 == 4 and definitions where (-1)%5 == -1. Presumably the GP is referring to the former case.…

I believe they're almost certainly referring to Clojure macros

and just like that, you've convinced me to install it. Different strokes for different folks, I suppose. :)

You might find this interesting: https://unhosted.org/

Of course the answer is N1 - 3 N2 + 3 N3, since that naturally completes the cubic interpolating polynomial.

Reminds me quite a bit of this, which also includes FOL: http://proofs.openlogicproject.org/

This looks like a nice variety of challenges! I've always found constructing ROP chains extremely satisfying, even more than regular exploit development. As a plug, I wrote a blog …

No, the reason you aren't supposed to use it to generate cryptographic keys is because it's public: so it effectively provides no (or nearly no) entropy. It's the same reason you s…