A site devoted mostly to everything related to Information Technology under the sun - among other things.

Monday, August 21, 2017

GM’s Step-By-Step Instructions For In-Vehicle Development & Testing

GM’s Step-By-Step Instructions For In-Vehicle Development & Testing may be found here:

Basically, one registers, downloads the SDK, and develops one’s app. and then applies to GM for testing with an actual vehicle (VIN has to be supplied by the developer).

GM reviews the request and if approved by GM, proceeds to grant access to that vehicle.

Wednesday, August 16, 2017

Robotic Failure

From The Guardian of the UK

"You're fired!"

"Beep, beep: fired. Yes, I am fired up. Ready for the challenge. Thank you."

"Fired! Sacked! Dismissed!"

"Fire emergency: please do not dismiss recommendations regarding fire and fire drills. This is very important in the management of..."


"In and out transportation of goods poses new challenges that, beep, beep. Beeeep."



Friday, August 11, 2017


Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license.
If you are not familiar with Z3, you can start here.
Z3 can be built using Visual Studio, a Makefile or using CMake. It provides bindings for several programming languages.

Resources for Language Invention

If you are itching to create your own human language for fun or profit (or both), here are a few resources:

Language Construction Kit:

The Art of Language Invention

Language Creation Society

VRL Studio

VRL Studio is a free visual prototyping & programming environment, developed by Michael Hoffer, that targets the JVM.

The idea behind it is analogous to that of National Instrument's LabView.

Please see below.

Free Hex Editor

Please find below the URL for a free Hex Editor:

Please note that each version is for a different language; i.e. there is a (simplified) Chinese as well as a Korean one.

Tuesday, August 8, 2017

Tales of AI


I think it's the accent: only Strine is accepted.


About Me

My photo
I am a senior software developer working for General Motors Corporation.. I am interested in intelligent computing and scientific computing. I am passionate about computers as enablers for human imagination. The contents of this site are not in any way, shape, or form endorsed, approved, or otherwise authorized by HP, its subsidiaries, or its officers and shareholders.

Blog Archive