Gödel’s perspective in this letter is a refutation of the simplistic take on Turing’s proof seen so often in the computer science literature. In particular:
Read morePrimitive recursion and transducers
11/23/2009 please see the updated version: here. Yet another version of the recursion/transducer paper . The main result is that simultaneous primitive recursion on strings
Read moreDeterministic multithreading
An interesting paper appearing in ASPLOS proceedings provides a “deterministic” locking method Kendo enforces a deterministic interleaving of lock acquisitions and specially declared non-protected reads
Read moreIEEE’s war on science
I dropped my subscription to the IEEE “Digital Library” because I found that if I strayed from a very narrow range of areas, the IEEE
Read moreparallel processing and bash reduce
It’s sad that after all this time, one can look at any random article on parallel programming and find some variation of: for i =
Read moreRTOS design and embedded system development
Real-time operating systems are either a solved problem or a backwater of engineering design. Threads, semaphores, mutexes, some basic I/O, priority scheduling all of this
Read moreMathematics education needs probability and art
[youtube=http://www.youtube.com/watch?v=BhMKmovNjvc&w=427&h=352] I agree with this but really, basic ideas of calc are simple and could be taught easily early on too. Found here. But this
Read moreProcess algebra (updated)
See Process algebra and automata theory
Read moreWind Power slowdown in Germany
The idea that Germany is playing catch-up with Europe’s most promising strategy for renewable energy is jarring. This is Germany, after all, the country that
Read more