If you’re interested in computer science, have you ever looked at the Software Foundations course by UPenn? It follows a similar approach of having you build all sorts of fascinating math principles and constructions from the ground up. But then it keeps going, all the way up to formal methods of software analysis and verification.
I don’t think RNG or modular math were really the culprits here. PuTTY’s k value generation is deterministic and the biasing was caused by a mismatch of integer sizes and the resulting leading zeros. The offending operation is named mod, so that’s related to modular arithmetic, but the modulo (521 bits) was bigger than the SHA512 output (512 bits) from deterministic k generation. I linked earlier to a post where I break this down at the source code level.
I did a bit of a deep dive into this, in case anyone is interested. I think reading the code is a great way to understand _why_ this vulnerability happened:
I never got diagnosed with COVID, but I was almost certainly exposed. Mine developed suddenly during one of the early peaks in 2020. Unfortunately I was also producing music at the time with headphones, which I've considered the likely cause. But who knows -- maybe it was a combo of things. My stress was through the roof, I wasn't sleeping much, I put on a lot of weight, and I was exposing my ears to moderately loud sounds. Suddenly my brain just decided to keep looping a tone indefinitely.
At least treatments are starting to come out. It's nice to know that there is relief if I ever need it.
I think my ideal setup is still the Push 2. You’ve got your mouse and keyboard for more tedious workflows and VST usage, and then the Push as an expressive platform to jam with and explore ideas on. Best of both worlds.
It seems like the Push standalone was designed for performers in mind? Would be pretty sweet to not have to bring a laptop up on stage with you, I’d imagine, especially if your setup is modular and otherwise DAW-less.
Agreed, but with the caveat that depressed people often struggle with making the changes they need the most. Similar thing with obesity. There often needs to be some kind of intervention, such as a medication, to offer enough relief for someone to break the cycle and start making changes. Willpower alone isn’t always realistic.
It’s fascinating how many potential modalities are at play with depression. Serotonin, inflammation, direction of brain signals. This suggests that depression may be a label that points to one of many underlying conditions, which could also explain why it’s so tricky to treat for some individuals.
This is not my experience in NYC at all. For example, waiting to see a sleep specialist took me about six months. An endocrinologist took about the same. In both cases I spent hours calling different practices and trying to find shorter wait times. My doctor says it’s still because of COVID and the shock it had to the medical system.
The contest approach wouldn’t necessarily hold rigor, because it doesn’t formally prove that all 2-MAXSAT problems can be solved using this algorithm. Just that one or more cherry-picked problems can. I think the paper really just needs to present actual proofs for the propositions it makes (as others have pointed out).
https://softwarefoundations.cis.upenn.edu/