Learn TLA+
TLA is a formal specification language. It’s a tool to design systems and algorithms, then programmatically verify those systems don’t have critical bugs. It’s the software equivalent of a blueprint.
16 hours ago
Sci-Tech Awards | Oscars.org | Academy of Motion Picture Arts and Sciences
The Academy’s Scientific and Technical Awards honor the men, women and companies whose discoveries and innovations have contributed in significant and lasting ways to motion pictures. Honorees are celebrated at a formal dinner held two weeks prior to the Oscar ceremony. The Sci-Tech Awards presentation has become a highlight of the Academy Awards season.
28 days ago
The Extempore programming environment — Extempore 0.7.0 documentation
Welcome to Extempore’s documentation site. It’s a work in progress—up till now things have been hosted on Ben’s blog but this is an attempt to do things right, using Sphinx.
lisp  scheme 
5 weeks ago
GStreamer: open source multimedia framework
GStreamer is a library for constructing graphs of media-handling components. The applications it supports range from simple Ogg/Vorbis playback, audio/video streaming to complex audio (mixing) and video (non-linear editing) processing.
5 weeks ago
Facebook Live API - Video
A fun, powerful way to connect with your followers and create new ones along the way.
5 weeks ago
This document was originally written for real text terminals which were like monitors (with keyboards), but could only display text with a command line interface (no pictures). They were widely used to access mainframe computers in the late 1970's and 1980's but use of them declined in the 1990's and they are seldom used anymore. However much of this howto also applies to command-line interfaces on Linux PC's which are in wide use today. It's not about the user programs one might run on the command line, but about setting up, managing, and understanding the interface itself Such as using a monitor as a virtual (text-only) console, using a text-window in a GUI such as xterm, connecting to a remote computer over a network via ssh, telnet, etc., or even using software on another PC to turn it into a serial-port text-terminal. All these 4 methods are known as "text-terminal emulation". But unfortunately, the main emphasis in this howto is real text terminals and the coverage of emulation is inadequate for the first 3 methods of emulation mentioned above. The Keyboard-and-Console-HOWTO filled much this gap but it was written for Linux 2.0 and now needs rewriting (or merging into this Text-Terminal howto). A new author is needed that has time to do all this. For the seldom used real text-terminals, it explains how they work, explains how to install and configure them, and provides some info on how to repair them. This HOWTO also provides a brief overview of modern GUI terminals.
7 weeks ago
The Termcap Library
Termcap is a library and data base that enables programs to use display terminals in a terminal-independent manner. It originated in Berkeley Unix.
books  unix 
7 weeks ago
Mastering Bash and Terminal | blockloop.io
If there is one tool that every developer uses regardless of language, platform, or framework it's the terminal. If we are not compiling code, executing git commands, or scp-ing ssl certificates to some remote server, we are finding a new version of cowsay to entertain ourselves while we wait on one of the former. As much as we use the terminal it is important that we are efficient with it. Here are some ways I make my time in the terminal efficient and effective.
9 weeks ago
Red Blob Games 
I explore visual and interactive ways of explaining math and computer algorithms, especially those used in computer games. Whereas many MOOCs are exploring a classroom style of learning with videos and assignments, I’m instead exploring an on-demand style of learning single topics with text, hypertext, and interactive diagrams. I want to learn by playing with things. Interactive essays:
10 weeks ago
PagerDuty Incident Response Documentation
This documentation covers parts of the PagerDuty Incident Response process. It is a cut-down version of our internal documentation, used at PagerDuty for any major incidents, and to prepare new employees for on-call responsibilities. It provides information not only on preparing for an incident, but also what to do during and after. It is intended to be used by on-call practitioners and those involved in an operational incident response process (or those wishing to enact a formal incident response process). See the about page for more information on what this documentation is and why it exists.
11 weeks ago
Errors by Gerald M. Weinberg
Errors drive us crazy. Computers can reduce errors, but in a minute can multiply a single error a million times. To use a computer successfully, you need to know more about errors than you ever imagined.
11 weeks ago
Front-end Style Guides
Creating and Maintaining Style Guides for Websites
11 weeks ago
Jiro Ono and Rene Redzepi Have a Cup of Tea
Jiro Ono (who Dreams of Sushi) and René Redzepi (who is probably the current Best Chef in the World™) sit down for a cup of tea and a chat.
food  video 
12 weeks ago
Unity C# Tutorials
These tutorials teach you about C# scripting for Unity. The tutorials build on one another, introducing new programming concepts, math, algorithms, and Unity features. They will be useful to you, whether you're brand new to scripting or an experienced developer.

The tutorials are all written, not videos. They are enhanced with plenty of screenshots and diagrams. Recent tutorials also contain short animations.
december 2016
Unscii - a bitmapped Unicode font for blocky graphics
Unscii is a set of bitmapped Unicode fonts based on classic system fonts. Unscii attempts to support character cell art well while also being suitable for terminal and programming use.
december 2016
An Analysis of Skip Lists
The Skip List[1] is a probabilistic data structure that has the same average case asymptotic performance as more complex data structures such as AVL trees, balanced trees, etc. on average. The following is a hopefully more understandable probabilistic analysis, curated from various sources.
december 2016
Skip Lists: Done Right
In short, skip lists are a linked-list-like structure which allows for fast search. It consists of a base list holding the elements, together with a tower of lists maintaining a linked hierarchy of subsequences, each skipping over fewer elements.
december 2016
Borg, Omega, and Kubernetes
Lessons learned from three container-management systems over a decade
december 2016
The #! magic, details about the shebang/hash-bang mechanism
The #! magic, details about the shebang/hash-bang mechanism on various Unix flavours
december 2016
1. Kaleidoscope: Tutorial Introduction and the Lexer — LLVM 4.0 documentation
Welcome to the “Implementing a language with LLVM” tutorial. This tutorial runs through the implementation of a simple language, showing how fun and easy it can be. This tutorial will get you up and started as well as help to build a framework you can extend to other languages. The code in this tutorial can also be used as a playground to hack on other LLVM specific things.
december 2016
Modernization of Reactivity
Reactive programming has taken JavaScript by storm over the last decade, and for good reason; front-end development greatly benefits from the simplicity of writing user interface code that "reacts" to data changes, eliminating substantial error-prone imperative code tasked with updating UIs. However, while the popularity has increased, tools and techniques have not always kept up with modern browser functionality, web APIs, language capabilities, and optimal algorithms for performance, scalability, syntactic ease, and long-term stability. In this post, let's look at some of the newer technologies, techniques, and capabilities that are now available, and demonstrate these in the context of a new library, Alkali.
december 2016
Python For Feature Films: Programming Images to Life
Python is a programming language that has become integral to the movie making process over the last few years. There’s rarely an animated feature or visual effects film, if any, that hasn’t had Python play a large part in getting it to the screen
python  animation 
december 2016
Public Datasets with AWS
AWS hosts a variety of public datasets that anyone can access for free.

Previously, large datasets such as the mapping of the Human Genome required hours or days to locate, download, customize, and analyze. Now, anyone can access these datasets via the AWS centralized data repository and analyze them using Amazon EC2 instances or Amazon EMR (Hosted Hadoop) clusters. By hosting this important data where it can be quickly and easily processed with elastic computing resources, AWS hopes to enable ...
aws  data 
december 2016
Google BigQuery Public Datasets
A public dataset is any dataset that is stored in BigQuery and made available to the general public. This page lists a special group of public datasets that Google BigQuery hosts for you to access and integrate into your applications. Google pays for the storage of these data sets and provides public access to the data via BigQuery. You pay only for the queries that you perform on the data (the first 1 TB per month is free, subject to query pricing details).
december 2016
Directing Mind
Marcus Aurelius served as Roman Emperor between 161 and 180 CE.

While on campaign between 170 and 180 CE, Aurelius wrote the Meditations, one of the most important works of ancient Stoic philosophy.
december 2016
A Soft Murmur
Ambient sounds to wash away distraction.
november 2016
Pretentious Game Ideas Podcast
The monthly game design podcast you haven't been waiting for
podcast  games 
november 2016
80 level is the best source of valuable information about the gaming industry and its recent trends.
80 level is the best source of valuable information
about the gaming industry and its recent trends
november 2016
The Art of the Awkward 1:1 – Medium
You probably do a lot of one-on-one meetings at work: with your manager, teammates, folks from other teams. Unfortunately, most people totally waste their 1:1 time. The problem: the 1:1s aren’t awkward enough. Here’s how to make them better.
november 2016
Game&Type is a living archive of typography and user interface design in video games.
games  typography 
october 2016
Unity - Learn
There are many ways to learn Unity. In these pages you'll find everything you need to become a Unity developer. So why not start learning and join the community today? In Tutorials you'll find video and article based content, our Documentation are a complete written manual and scripting reference, and if you'd like some time with our experts, sign up for a live Q&A session and ask your questions directly.
october 2016
D-Pad Studio - creators of Owlboy
With the recent announcement of Sonic Mania and Hyper Light Drifter (being one of my favorite games this year) something fantastic is happening. Pixel-art games are back, and people don't think they look like crap anymore! There are a bunch of games coming out with high definition pixel-art (I've included a list of these at the bottom of this article)!
art  games 
october 2016
500 Byte Images: The Haiku Vector Icon Format
This blog post examines the details of the HVIF format using a hex editor and the canonical parser’s source code. In the process of dissecting an example icon, I’ll also show you an optimization bug in the icon image editor.
october 2016
Serverless Architectures
Serverless architectures refer to applications that significantly depend on third-party services (knows as Backend as a Service or "BaaS") or on custom code that's run in ephemeral containers (Function as a Service or "FaaS"), the best known vendor host of which currently is AWS Lambda. By using these ideas, and by moving much behavior to the front end, such architectures remove the need for the traditional 'always on' server system sitting behind an application. Depending on the circumstances, such systems can significantly reduce operational cost and complexity at a cost of vendor dependencies and (at the moment) immaturity of supporting services.
october 2016
Glitch: a noisy fusion of math and music
Meet Glitch — a minimal, modern and easy-to-use synthesizer for Bytebeat music.
october 2016
What Does Good Engineering Leadership Look Like?
This is the first of a twelve-part series covering the sessions from Calibrate, an engineering leadership conference held September, 2015 in San Francisco. Content will be posted at a regular cadence throughout the month of November.
management  video  presentation 
september 2016
An Original Approach to Web Game Development Using SVG
This paper presents an attempt of creating a browser game based on SVG. Some SVG games can already be found on the Internet [R1] [R2] but these are just simple games and are not massively multi-players. During the process, the question of how to leverage SVG at different steps of the development was raised. Many different technologies were needed, but SVG remains the guiding principle throughout the article.
svg  games 
september 2016
Oh, shit, git!
Git is hard: screwing up is easy, and figuring out how to fix your mistakes is fucking impossible. Git documentation has this chicken and egg problem where you can't search for how to get yourself out of a mess, unless you already know the name of the thing you need to know about in order to fix your problem.

So here are some bad situations I've gotten myself into, and how I eventually got myself out of them in plain english*.
september 2016
"Knit, Chisel, Hack: Building Programs in Guile Scheme" by Andy Wingo
This talk makes the case that Guile is a delightful medium for making crafty programs, from the most ephemeral scripts to long-lived systems that you can rely on for years. Guile takes the elegant Scheme programming language, integrates it with the POSIX environments that you know and loathe and love, and wraps it all up in a responsive, hackable environment that nurtures programs from the small up to the large. Guile hacker will give you a gentle introduction to the language as they lead you through the process of building cool stuff in Scheme. With all this going for it, maybe you will choose to make your next program in Guile!
video  presentation  scheme 
september 2016
"Point-Free or Die: Tacit Programming in Haskell and Beyond" by Amar Shah
Tacit programming, or programming in the “point-free” style, allows you to define a function without reference to one or more of its arguments. Thanks to automatic currying, point-free definitions can be easy to write in Haskell, OCaml, and F#.

But is point-free syntax just point-less? Ostensibly, tacit definitions can calibrate your code to the appropriate level of abstraction. But which level is most appropriate? When is a point-free definition better than its “pointed” variation? And when is it spectacularly worse?

Let's be explicit about tacit programming. Let's learn eta-reduction to produce it. Let's develop our intuition for its expressive power. Let's hunt for it in trusted libraries. Let's probe its origins in John Backus' function-level programming. Let's see it amplified in Joy and J, languages designed for maximum quiet. Let's speak at length, about the unspoken.
haskell  video  presentation 
september 2016
Game development | MDN
Welcome to the MDN game development center! In this area of the site we provide resources for web developers wanting to develop games. You'll find many useful tutorials and technique articles in the main menu on the left, so feel free to explore.
september 2016
Netflix JavaScript Talks - Async JavaScript with Reactive Extensions
Netflix JavaScript Talks - Episode 1
Async JavaScript with Reactive Extensions

In this talk, you'll learn how Netflix uses the Reactive Extensions (Rx) library to build responsive user experiences that strive to be event-driven, scalable and resilient. Learn the power of the Observable and how we've simplified our lives through the ability to filter, aggregate, compose and project data streams.

Join us while we discuss how Netflix uses Rx to:
- Declaratively build complex events out of simple events (ex. drag and drop)
- Coordinate and sequence multiple Ajax requests
- Reactively update the UI in response to data changes
- Eliminate memory leaks caused by neglecting to unsubscribe from events
- Gracefully propagate and handle asynchronous exceptions
javascript  video  presentation 
september 2016
Osso - A modern standard for event-oriented data
Osso is a modern standard for representing event-oriented data in high-throughput operational systems. It uses existing open source standards for schema definition and serialization, but adds semantic meaning and definition to make integration between systems easy, while still being size- and processing-efficient.
september 2016
Introduction · Linux Inside
A book-in-progress about the linux kernel and its insides.
The goal is simple - to share my modest knowledge about the insides of the linux kernel and help people who are interested in linux kernel insides, and other low-level subject matter.
books  linux 
september 2016
Hand-crafted containers
Containers are the latest trend, for a good reason: they leave room for new ideas in terms of security, flexibility, performance and much more.
linux  docker 
september 2016
Generating fantasy maps
These are some notes on how I generate the maps for my Twitter bot @unchartedatlas, which is based on a generator I originally produced during NaNoGenMo 2015. There's JavaScript code for the generator on Github here, and the original messy Python generator code can be seen here.
javascript  art  maps 
september 2016
Learn Enough Command Line to Be Dangerous
An introduction to the Unix command line
books  unix 
september 2016
Remarks at the SASE Panel On The Moral Economy of Tech
This is the text version of remarks I gave on June 26, 2016, at a panel on the Moral Economy of Tech at the SASE conference in Berkeley.
september 2016
52 Things People Should Know To Do Cryptography
Cryptography is a highly interdiscplinary area; calling on expertise in Pure Mathematics, Computer Science and Electronic Engineering. At Bristol we cover the full range of these topics and as such our students come with a variety of backgrounds and need to understand a diverse range of topics. Students starting can often feel overwhelmed by the types of knowledge that they feel they need to know; not knowing what they need to remember and what they should not bother remembering.
To aid you, below we have collected a set of 52 short points of things we think that at the end of the first year of a PhD all students should have some familiarity with. There is one point for every week of the year. If you know these things then following seminars, study groups and conference talks will be much easier. It will also help in putting your own work into context. Some of these are somewhat advanced topics, some of these are what one would pick up in certain undergraduate courses. This is deliberate since some are about being a cryptographer, and some are to address the fact that students start with different backgrounds.
crypto  security  math 
september 2016
« earlier      
3d-printing algorithms animation api apl apple applescript art assembler audio awk aws backbone baruch bash big-data bitcoin books browser bsd business c c++ canon chrome clojure clojurescript cocoa coffee coffeescript concatenative cooking copyright coq crypto css d3 data database datomic deep-learning design django dns docker dsp elixir elm emacs ember ergonomics erlang eve expressionengine extempore facebook factor fashion fitness flash food forth from:workflow.is frp funny f♯ games gerrit gif gilt git github golang google guitar hacking hardware haskell health html html5 http ie6 illumos illustration ios ipad iphone irc java javascript joy jquery jruby julia latex lift linux lisp lua mac management maps math mathematica media mercurial meteor microformats mobile music next nginx nimrod nixos node.js nope nosql nyc objective-c ocaml octave om osx other overtone perl pgp photography php plan9 play podcast podcasting postgresql presentation processing product-management productivity programming prolog puredata purescript python r racket rails raspberry-pi react redis regex research rfc rspec rubinius ruby rust safari scala scheme screen screencast security sed seo smalltalk sml specification sql statistics sublime svg svn swift sysadmin tdd texas textmate tmux tor tumblr typography unicode unity unix ux vaporwave video vim vr wargaming web webkit webos whitepaper wikipedia wren writing xml xmpp zeromq zsh λ

Copy this bookmark: