I want to investigate the nature of and limits of mathematics. To do that, I'll explore logic, set theory, computability, information theor...

In this tech talk, John Murray, Senior Software Engineer at AppNexus, serves up an introduction to Actor Model principals and concepts and gives a look at how we can construct parallel systems using the Akka framework.

Actor Models is a computational model…

Or, “Autonomous data privacy”. Part 5 of a series on “Privacy on the Blockchain”.

Contribute to heathermiller/dist-prog-book development by creating an account on GitHub.

Mixing both for privacy-preserving machine learning

An international research team led by Skoltech and IBM has created an extremely energy-efficient optical switch that could replace electronic transistors in a new generation of computers manipulating ...

A thin, highly portable toolkit for efficiently compiling dense loop-based computation. - facebookresearch/loop_tool

This course emphasizes computability and computational complexity theory. Topics include regular and context-free languages, decidable and undecidable problems, reducibility, recursive function theory, time and space measures on computation, completeness…

Just because a theory is old doesn't mean it's correct