I disagree with the article. I am still waiting for the device which can be a complete replacement for my laptop. That means * Ability to "dock" to get a keyboard+mouse+monitor Interface. * True multi-tasking (The music…
There is a market for hardware that has gone out of production. Consider a hospital with a million dollar work of scanner which was the latest tech on 2000. Today due to the effect of bath tub curve some parts are…
Most of the typechecking described in the article is now done by standard off the shelf linters e.g. Atrenta Spyglass
I would ask your team to take a second look at Bluespec. I had used it for a project some 4 years back, Even today When I have to code something I wish I had Bluespec.
There was a script for latex which took two versions of latex files and compiled them to a pdf with changebar's
I disagree with the article. I am still waiting for the device which can be a complete replacement for my laptop. That means * Ability to "dock" to get a keyboard+mouse+monitor Interface. * True multi-tasking (The music…
There is a market for hardware that has gone out of production. Consider a hospital with a million dollar work of scanner which was the latest tech on 2000. Today due to the effect of bath tub curve some parts are…
Most of the typechecking described in the article is now done by standard off the shelf linters e.g. Atrenta Spyglass
I would ask your team to take a second look at Bluespec. I had used it for a project some 4 years back, Even today When I have to code something I wish I had Bluespec.
There was a script for latex which took two versions of latex files and compiled them to a pdf with changebar's