…substitution. Lambda calculus is a universal model of computation (one can express anything a Turing machine can do in lambda calculus).
Should you know the details of lambda calculus to do functional programming?
No, unless you're really interested in the mathematical underpinnings of functional programming, have some time and aren't afraid to spend some time reading with pen and paper scribbling mathematical formulas.
Lazy evaluation (so not lazy like lying on the …
The NSA is permanently parked outside of Knuth's house, hoping that he might help them crack public key encryption. Sometime last year, Knuth gave them a copy of "The Art of Computer Programming", but refused to tell them which page the algorithm was on.
Knuth taught a group of kids how to use their fingers as abacuses. It turns out that his method is Turing Complete.
…definitely not going to claim Mr. Bernhardt endorses my misuse of Mr. Turing's standing as a historical figure, for example.
(And by the way, if Destroy All Software picks up new subscribers as a result of this blog post and my new book, which I hope it does, I will not make any money from that. There's no affiliate program going on, unfortunately.)
Second, my book really just uses Mr. Bernhardt's work as a launching point. I feel Destroy All Software provides …
Take a peek at thiscontroller:
Twelve switches which send MIDI, and two expression pedals which send MIDI. Most people use it to control loop-triggering in.
But it can do more. If you can write code which takes MIDI input, sends MIDI output, and retains the full power of a Turing machine for processing the MIDI in-between, it means that the twelve switches on this box don't just have to give you a total of twelve loops you can trigger.
Consider the chorded keyboard :
What we need is servers with unlimited RAM.
Gitnesse - Git-based wiki with integration for acceptance testing.
Chrome - All the shortcuts you need. cheatsheet
Git: Twelve Curated Tips and - Some good stuff here. From the Trenches
Flatstrap - with flat styling.
Into the Turing Tarpit - This month's competition on PLT Games.
…The Tyranny of the Clock : The cost of logic and memory dominated Turing's thinking, but today, communication rather than logic should dominate our thinking. Clock-free design uses less than half, about 40%, as much energy per addition as its clocked counterpart. We can regain the efficiency of local decision making by revolting against the pervasive beat of an external clock.
Why . Smart move. Having OpenStack work inside … for OpenStack
The worst thing about software is when your tools break. Yak shaving, here I come.
sinatra-asset-pipeline - Sample app showing how to integrate sinatra with sprockets.
portalign - gem to help manage security groups.
chaves.js - plugin to integrate keyboard shortcuts into .
A Turing - And much simpler than you might expect. built using LEGO
RailsThemes.com - These folks have launched …
…linked via the internet. We believe that there is a need for a network model, where nodes are by design below the computation and communication capabilities of Turing machines.
This year's Alan Turing . He established his place in history as the father of computer science by formalizing concepts like "algorithm" and "computation" with the concept of the Turing Machine , proposing the Turing Test in an attempt to answer the question "Can machines think?", working as a codebreaker at Bletchley Park (I like …theme is " Turing Complete" in honor of 2012 being the 100th anniversary of
Today I am going to show you how to take almost any function, and treat any size cluster of Turing computers as a specialized purpose SIMD computer with respect to your function. The SQL interface to Shard-Query imposes a wait for all the workers to complete, but you can register a callback function to handle the output of each input asynchronously, if you like.
Right now I believe this only works on finite sets. I've decided to show how to count the number of unique words, an …