This is not a joke: San Francisco Police want to arm robots for use against the public. You can help stop them. https://www.eff.org/deeplinks/2022/11/red-alert-sfpd-want-power-kill-robots
Please retoot 🤣!
📢 My group is actively recruiting new PhD students interested in building interactive tools to study and improve urban accessibility. We're particularly interested in candidates who have background in data science, GIS, and/or computer vision. See: https://jonfroehlich.github.io for more!
Together, let's transform the future of urban access! 🏙👩🦯👩🦽👩🦼🛴🚴♂️
@tao every person who historically confused correlation with causation has since ended up dead. I think we all know what that means.
CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives
Hey, US folks newly running Mastodon instances: do Future You a *huge* favor, mitigate your potential liability, and register with the copyright office and designate an agent to receive DMCA reports *right now*. https://www.copyright.gov/dmca-directory/
Probably the best way I've had an advisor tell me I should do something
This is such a succinct piece that explains exactly why some people really like mastodon and some really don't.
The usual syntax for regular expressions is not a regular language because it requires parentheses. The usual syntax for context free grammars/expressions is not context-free because it uses recursion using variable names.
Is there any fundamental reason for this, i.e., some kind of diagonalization/fixed point argument or is it just a coincidence? I think the Goedelian argument doesn't apply because they are weaker than Peano arithmetic?
Scheme48 -> MzScheme -> Racket
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.