Archives for March 2006

IPv6

Make it so that every NAT box will actually assign real IPv6 addresses that are externally addressable. Then, if people want to run complicated P2P apps, they can suck it up and run their P2P apps over IPv6. They can run servers on their home network over IPv6, and they can send things directly to [...]

abstraction

In math people abstract for increased power to the detriment of understandability. When people get confused about an abstract concept, they are given a concrete example. In computer science we abstract for increased clarity. When people are confused, they are given metaphors and perhaps examples of areas of usage, but never actual code. Code is [...]

functional

Strong typing and (especially) pure functional languages do their absolute best at putting formalism and distance between the expression of a problem’s solution and it’s execution. Which is why people with a mathematical bent keep trying to apply them to the problem at hand – once the solution is expressed in ironclad language, the execution [...]