Learn to make the most of the tools that hackers have been using for decades.
As hackers, we spend a lot of time on our computers, so it makes sense to make that experience as fluid and frictionless as possible. In this class, we’ll help you learn how to make the most of tools that productive programmers use.
We’ll show you how to navigate the command line, use a powerful text editor, use version control efficiently, automate mundane tasks, manage packages and software, configure your desktop environment, and more.
Category theory is a relatively new branch of mathematics that has transformed much of pure math research. The technical advance is that category theory provides a framework in which to organize formal systems and by which to translate between them, allowing one to transfer knowledge from one field to another. But this same organizational framework also has many compelling examples outside of pure math. In this course, we will give seven sketches on real-world applications of category theory.
My original post, “Remove Richard Stallman”, has received over 180,000 views at the time that I am writing this. Since then, I’ve spoken with a few reporters, and even more information has been…
"Perhaps the relativity of the goodness of software is at the root of the classic distinction between the software design styles that have been named the New Jersey and MIT schools. Where the latter strives for software that is well modeled directly, regardless of the underlying platform, the former strives for software that is well modeled as a simple implementation on top of an underlying platform that is assumed to be worth understanding regardless."
H. Lin, M. Tegmark, и D. Rolnick. (2016)cite arxiv:1608.08225Comment: Replaced to match version published in Journal of Statistical Physics: https://link.springer.com/article/10.1007/s10955-017-1836-5 Improved refs & discussion, typos fixed. 16 pages, 3 figs.