"a place to comment on, recommend and submit academic work"

"graph database and computation platform over distributed memory cloud"

"a VM designed for and written in the Java(TM) Programming Language with an emphasis on leveraging modular design, and code reuse to achieve flexibility, configurability, and productivity for academic and industrial virtual machine researchers"

"My research interest lies in developing a theoretical and practical foundation for building and reasoning about reliable safe software systems. To achieve this goal, I combine theoretical research on the logical foundations of computer science in programming languages and verification with system building. The topics I am interested in include logics (classical and non-classical), type theory, theorem proving, logic and functional programming, and logical frameworks."

"a centralized repository of public data sets that can be seamlessly integrated into AWS cloud-based applications"

"The message here is almost painful: a great proportion of user tags add little or no further information[.]" They'd work a smidge better if tagging systems auto-normalized tags. I described in general terms the how and why for that two, maybe three years ago.

"a statistics and research project for BitTorrent"

"general-purpose language for probabilistic modeling, parameter estimation and decision making. It generalizes Bayesian networks, hidden Markov models, stochastic context free grammars, Markov decision processes, and allows many new possibilities."

"We provided some UX research on desktop apps using federated login and/or OAuth."

"a 501(c)(3) nonprofit public benefit organization incorporated in 2001 to improve "powerful ideas education" for the world's children and to advance the state of systems research and personal computing"

Security economics is so totally my jam.

thx Ben

brutal vulnerability disclosures. good work.