Stories by colonel-panic

Bra-Ket Notation Trivializes Matrix Multiplication

Smart cities (2014)

Closing the Gap – The Formally Verified Optimizing Compiler CompCert [pdf]

I don't belong in tech

12-Foot Traffic Lanes Are Bad for Safety and Should Be Replaced (2014)

Formal description of system call interface

Half-Baked Thoughts for a Quantum Scripting Language

Skov is a visual programming environment based on Factor

The Best Way to Predict the Future Is to Issue a Press Release

How the Tech Sector Could Move in One Direction

Empirical Software Engineering using R

What’s in a symbol? Assignment revisited

How to Stop People Who Bog Things Down with Bureaucracy

Apple just told the world it has no idea who the Mac is for

The Original Emoji Set Has Been Added to the Museum of Modern Art’s Collection

Attacking JavaScript Engines: A Case Study of JavaScriptCore and CVE-2016-4622

A 'modern 3D API' wrapper for WebGL

The Best Way to Not Get Tenure

Logic: A magazine about technology

Try Backpack: ghc --backpack

40
41
42
43
44
45
46
47
48
49