@istima shared a great video: Quake III developers had to perform lots of 1 / sqrt(x) calculations. But it worked too slow. So, they’ve come up with an algorithm, that produces a good enough approximation, but works much faster. Enjoy!

#gamedev #math #talk

A very practical page of Elm guides: Types as Sets. By using well-tailored types we can protect ourselves from different kinds of invalid states in our programs. So why not just use this approach?

#type #programming #math

Have accidentally spotted this bad boy: a short overview of books and lectures one could use to self study math. You know, just in case you haven't suffered enough during your university times.

#talk #math

Let's say we have a random(x) function that returns a number from [0; x). What'll happen if we run random(random(x))? And random(random(random(x)))?

#random #math #statistics

Madness again! Regular expression (rather simple, elegant even!) to check whether a number is prime or not. Number has to be converted to a bunch of 1s (e.g. 5 -> 11111).

#regex #math

Can't say this one is hardcore, but it's certainly not a light read. On ZKRP (Zero-Knowledge Range Proof). The idea is simple: prove to someone that some number of yours is from a particular interval, without revealing the number itself. They list a number of applications, a bunch of different approaches, plus links to the original works to dig deeper.

#zk #cryptography #math

Men^W Humans will literally do anything instead of going to therapy. FLAT ORIGAMI IS TURING COMPLETE. Don't try to fully comprehend the paper, your sanity is much more important, just enjoy the little pieces.

#science #math #cs

An attempt to try Moore's law on zero knowledge proofs. Main idea is that zkp production effectiveness grows too, but it happens in significant discreet jumps. So basically it's better to design your systems in a way that allows to swap proving schemes on the go.

#zk #cryptography #math