The long awaited process algebra paper is now finally available in PDF Reducing Process Algebra.
Read moreMore China Manufacturing
I linked to this already, but it’s too good not to copy this para In a sense, I feel like the shanzhai are brethren of
Read moreChina manufacturing
A couple of fascinating posts on Shenzen small manufacturing. Significantly, they do not just produce copycat phones. They make original design phones as well, as
Read moreFuture of innovation
The company I work for now really does not care about IP. I design low-cost consumer products that get shipped offshore to be produced. The
Read moreGödel’s Lost Letter
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 more