I forwarded this on to someone I know who would be perfect for the DS role; on a separate note, it is _very_ cool to see the amount of effort you put into the landing page for that role. A veritable diamond in the rough of all these copy-pasted wasteland job reqs. Here's to you finding the perfect fit!
In my experience working through the first few chapters, I'll say that the attack game framework is pretty standard across lots of course materials from universities (at least the ones that I've found posted online). One thing that is not consistent is the notation used; it seems like there are multiple competing (but essentially equivalent) sets of notations used in attack game/advantage discussions.
I've worked through the entire Paar book (which is excellent), and I've made a number of attempts at getting through Boneh and Shoup (which is also excellent). I will say that there is a good overlap in content, but the Boneh/Shoup is solidly graduate-level, whereas Paar is a good and solid introduction for an undergraduate student.
Plug for a friend's book that is forthcoming later this summer, "Topology: A Categorical Approach". [1]
I can't speak to its contents per se, because there isn't a preview yet, but I can speak to the quality of exposition in the lead author's math blog. [2]
I haven't ever dug too much into category theory for its own sake (usually just one-off chapters or appendices that get included in books on other topics), but my understanding is that it unites a lot of mathematical topics. As such, this book might be of more interest to you than, say, a classical point-set topology text, given your desire to uncover connections. That being said, there may be other category-theory-flavored books on other more strictly algebraic topics that would suit your fancy more.
If you have a CS background and are looking to dig in to category theory a bit more, I would recommend checking out Benjamin Pierce's Basic Category Theory for Computer Scientists. It's a nice, concise introduction to the topic that examines a few very interesting applications to CS.
"In December 1840, Abraham Lincoln and four other Illinois legislators jumped out of a window in a political maneuver designed to prevent a quorum on a vote that would have eliminated the Illinois State Bank."
Imagining something like this happening today is ... difficult, to say the least.
Oregon ended up having State Senators flee across State lines. Even one going so far as to warn law enforcement to send unmarried men without families to try to forcibly collect them.
When there is as much on the line as there is in America's legislative system, you will be surprised the shenanigans that ensue.
The business of the Congress at one point had to ban the practice of dueling. Not necessarily because it wasn't seen as a way to settle a dispute, but that it happened so often. Kentucky I think is the state that specifically disqualifies legislators based on participation in duels.
Robert's Rules of Order are often looked upon those with a darker sense of humor in the same light as the Third-man out rule in hockey. Ruins all the good fights.
Though Asia has been known for some doozies. I recall the use of either a chainsaw or fire axe at one point.
If I've researched this correctly, I believe that "Nikoli puzzles" are not a formal class of puzzles; rather the terms refers specifically to the publisher of these puzzles [1]. KenKen, on the other hand, was invented and trademarked separately by Tetsuya Miyamoto [2].
That being said, KenKen does seem to fall into a similar class of constraint-based, language-agnostic games.
I was at NeurIPS last year, and I can actually confirm that the line to see Flo-Rida went around the block. It's unclear to me whether or not there was genuine interest in the performance, but there was certainly interest in the event.
Say what you will about the world's biggest nerds, but irony, whether purposeful or inexplicably accidental, is not lost on them.
I was all for a name change from a juvenile pun, but "NeurIPS" is hilariously bad. It confirms, that everyone but the press, continues calling it NIPS.
> line to see Flo-Rida went around the block
I mean, if it was a free (already paid for) concert, then I would go for it too.
"Nip" used to be a somewhat common perjorative term for Japanese (i.e. Nipponese; the Japanese word for Japan is Nippon). In case anyone else was confused by this comment.
It’s real but old timey. Unless you’re quite a bit older than the HN average, you probably wouldn’t have heard it. That, of course, doesn’t mean it’s ok.
This is great, thanks for sharing! I wish I had known about Sol when I used to teach high school geometry; the fact that many of these constructions can be interpreted pretty openly would have produced a lot of different "answers" and opened up the floor for conversation about rigor.
Instead, I had my students construct the flag of Nepal (see http://www.servat.unibe.ch/icl/np01000_.html for the specification). Let's just say that most of the students were not as captivated by the idea as I was.
Not a cryptocurrency course per se, but Dan Boneh's course on Cryptography[1] is an excellent introduction to most of the building blocks of cryptosystems, including the technology underlying most cryptocurrencies.
In terms of level, it is more than a little technical (programming exercises in both cryptography and cryptanalysis await you!), while still remaining far from rigorous (compared to, say, a graduate-level cryptography text).