20 Hours, $18, and 11M Passwords Cracked
HN discussion: https://news.ycombinator.com/item?id=20276438
♲ @firstname.lastname@example.org: Introducing people.kernel.org
"Ever since the demise of Google+, many developers have expressed a desire to have a service that would provide a way to create and manage content in a format that would be more rich and easier to access than email messages sent to LKML. Today, we would like to introduce people.kernel.org, which is an ActivityPub-enabled federated platform powered by WriteFreely and hosted by very nice and accommodating folks at write.as."
"Fundamental to liberal democracy is the ability to have sacrosanct private spaces. That is where the life of civil society exists. It is where our own personal lives exist, where we are able to pursue our dreams and passions. And it is often where we hold power to account. When you uncover those spaces, you fundamentally put all of those things at risk."
-- Holland Michel, author "Eyes in the Sky"
Sadly, the STOC Wikipedia edit-a-thon has been called off because the convention center is locked up and participants can't get into the room it was scheduled for.
In other news from STOC, spammy journal publishers have found a new way to spam us: fund student authors with travel awards (laudable and non-spammy!) but then require the student presenters to display a whole slide of advertising for the journal by way of acknowledgements (spammy!).
Certain conference speakers need to be told that using sans-serif ∑ for one central notation and sans-serif bold ∑ for a different central notation is a bad idea. That decorating both of them by the same subscripts and the same hats doesn't help. And that when someone asks for clarification of the notation, answering with "We should move on...this is a thing you can compute on your own" rather than actually explaining is rude.
Boom! LLVM 8.0.0 update has hit the tree! ☺️ #OpenBSD -current
Read the whole thread on Google's political donations this month.
"How Google is building a browser monopoly"
STOP USING CHROM*
How to ask for advice on Mastodon:
Need advice on what bike to by? Post that your car won't stat.
Need an Linux Distribution recommendation? Post that you Windows OS just decided to upgrade.
Need to do an informal poll of what people drink in the morning? Post that you like coffee.
(Tongue in cheek. I love you all.)
Dreaming of a 128-core, 1 TB RAM machine so I can compile llvm-8.0.0 in a reasonable amount of time.
Really quite sweet: Evangelical pastor making a list of irreverent pop songs
University of Strathclyde proposes to axe combinatorics and their three strong combinatorics faculty members: https://cameroncounts.wordpress.com/2019/06/19/combinatorics-at-strathclyde/
This comes despite the group being both strong in research and important in undergraduate education. The apparent cause is Strathclyde's placement of combinatorics in computer science rather than in mathematics and in their use of standards aimed more at computer science than mathematics (like bringing in large grants).
Integer linear programming, change-making, and Presburger arithmetic: https://gilkalai.wordpress.com/2019/03/22/danny-nguyen-and-igor-pak-presburger-arithmetic-problem-solved/
Integer arithmetic problems with O(1) variables and one level of quantifiers (example: given O(1) coin types, find the largest amount of money for which you cannot make change) have long been known to be polynomially solvable, but in FOCS 2017 Nguyen and Pak proved that only two levels of quantifiers make the problem hard. See also review https://mathscinet.ams.org/mathscinet-getitem?mr=3734216 and paper http://www.math.ucla.edu/~pak/papers/hard_presburger3.pdf
Bulgarian authorities appear to be striking back at journalists whose investigations led to the “ApartmentGate” scandal that saw several members of the Bulgarian government resign.
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.