Links
Things worth reading. Or not. At least, I thought I'd rather keep them when I encountered them.1316 links so far, newest first.
siek.blogspot.co.uk
A primer on the notation of programming language theory — inductive definitions, grammars, operational semantics and typing rules — worked through the simply-typed lambda calculus.
gisgraphy.com
An open source geocoder built on OpenStreetMap and GeoNames data, offering geocoding, reverse geocoding and point-of-interest search as self-hosted or hosted web services.
askaboutphp.com
Part one of a guide to measuring how long a web page takes to load and graphing the result in Cacti.
users.softlab.ece.ntua.gr
A Python implementation of the Ulam prime spiral, and a benchmark where running the same grid generation under PyPy comes out around fifty times faster than CPython.
neopythonic.blogspot.fr
Guido van Rossum's stack-based depth-first algorithm for finding a cycle in a directed graph, written to stay independent of how the graph itself is represented.
leafo.net
A walkthrough of building an on-the-fly image processing server in under 100 lines of OpenResty and Lua, with signed request URLs and on-disk caching of the results.
tomtunguz.com
An analysis of the founding teams behind 30 billion-dollar startups, finding that most include a technical founder but no clear link between team composition and outcome.
christophermeiklejohn.com
A curated bibliography of distributed systems papers grouped by topic — consensus, consistency, data structures, programming models — with a short list of recommended books.
zurb.com
A set of free responsive HTML email templates from ZURB, built on their Ink email framework.
parall.ax
A HTML5 client-side solution for generating PDFs. Perfect for event tickets, reports, certificates, you name it!
onextrapixel.com
Mobile and tablet application design is a field that has enjoyed a huge amount of development over the past few years. Finding solutions to mobile users' problems, defining the design of the right UI component and the right workflow that will work for most users can sometimes be tricky. Taking a look at what other designers do can be pretty helpful when stuck on design decisions.
tomtunguz.com
With the analytics tools today, it’s easy to measure hundreds if not thousands of different metrics for your business. Cutting through all the chaff to determine the most important or insightful metrics can be quite a challenge. Below are... | Tomasz Tunguz | venture capitalist @ redpoint
stuffandnonsense.co.uk
We’re Stuff & Nonsense, a small, British web design studio with a big reputation around the world because we design flexible websites that look fabulous on every type of device.
talks.golang.org
Rob Pike's Waza 2012 slide deck separating concurrency from parallelism and showing how goroutines, channels and select compose concurrent Go programs.
apercite.fr
@FrancisBesset Bizarre, non ?http://t.co/uE4hvWIToF
dribbble.com
Dribbble's gallery of design shots, where designers post work for inspiration and feedback, alongside hiring and freelance listings.
elasticsearch.org
Elasticsearch is a powerful open source search and analytics engine that makes data easy to explore.
