Blog

  • Quest for best-in-class dev tools and platforms

    Best in class digital workforce was one our goals in 2019 and we made several strides in that direction. Developer productivity is one measure of this goal and in that spirit – of empowering the developers with best-in-class tools and productivity enhancers – I got a chance to evaluate Sourcegraph. In this article I want Read more

  • Blog! Why bother?

    Its been on my mind – for a few months now – to revive my interest in blogging and up my ante around this act. Given the hiatus, topic selection proved harder than I first thought. A few topics sifted through my mind as possible candidates, but my train of thought wandered through multiple paths, Read more

  • Startup Weekend Seattle Space

    Our team “Star Trial” won the 2nd prize for #pitching and creating #businessplan for matching #aerospace companies with testing facilities that offer services to certify function of a gadget in #space. Built the team with members who were interested in similar cause and had great fun executing it. More importantly learned a lot. Great guidance from #johnsechrest and wonderfully organized by Michael Doyle Sean McClinton Stan Shull and Read more

  • To Think or Not to Think!

    To “think” or not to “think”. Wait a sec, thats a thought too! 🙂 … Just be! Read more

  • Gödel’s Lost Letter and P=NP | a personal view of the theory of computation

    https://rjlipton.wordpress.com/ Read more

  • A Proof Of The Halting Theorem

    Toward teaching computability and complexity simultaneously Large Numbers in Computing source Wilhelm Ackermann was a mathematician best known for work in constructive aspects of logic. The Ackerma… Source: A Proof Of The Halting Theorem Read more