BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Topics

Choose your language

InfoQ Homepage News

  • OS Release: Pyxis 2 Beta 2

    Last Wednesday, Thomas Holtq announced the release Pyxis 2 beta 2 of the Pyxis 2.0 operating system for .NET Micro Framework devices.

  • Microsoft’s WebMatrix Now Shipping with PHP 5.3 and PEAR

    The third beta of Microsoft’s WebMatrix IDE was released this month with significantly improved support for PHP. This round brings the option to choose between PHP 5.2 and 5.3 as well as support for PEAR, the PHP Extension and Application Repository.

  • Business Benefits of OSGi

    Many consider the cost of migration onto OSGi expensive, but frequently this is conflated with the cost of modularity itself. Modularising a large, complex and heavily intertwined library is an expense that has no immediate benefits to the maintainers. However, if left to rot, the system will become more complex, intertwined and larger over time and the maintenance cost will increase.

  • LINQ to Z3, The World’s Fasted Theorem Prover

    Microsoft Research claims that Z3 is the world’s fastest theorem prover. Z3 is designed to be a low-level tool for other applications, it is not meant to stand-alone. With its host of theorem provers, it is used by numerous projects including Spec#/Boogie, Pex, Yogi, Vigilante, SLAM, F7, SAGE, VS3, FORMULA, and HAVOC. With Bart De Smet’s LINQ to Z3, using this tool becomes embarrassingly easy.

  • Get Back To Work!

    Hitting a kanban limit introduces slack into an organization by temporarily stopping the work that feeds into a bottleneck. So how can you convince management that introducing a kanban limit (i.e. stopping work) could actually be a good thing?

  • SQL Azure Achitecture - Competitive Differentiation

    Two weeks back Kalen Delaney published a whitepaper on SQL Azure internals focused on how SQL Azure achieves scalability and high availability. A foundation feature which differentiates SQL Azure from its competitors is the multi-tenant architecture upon which it has been built.

  • IronPython/IronRuby have Decided on Github and CodePlex

    Since Microsoft announced that it was giving up control of its Iron languages, there has been a quiet debate on where to host the project. The negotiations have finally been settled and the winner is Github for source control and CodePlex for issue tracking.

  • Amazon Offers Cluster GPU Instances

    Amazon has announced the availability of Cluster GPU instances for high performance applications starting with an instance of 2 NVidia Tesla GPUs and going up to a cluster of 128 or more instances, appealing to financial analysis, imaging, biology, simulation, and other domains.

  • Simple IT: SOA Done Right

    In his new post, Steve Jones proposes the notion of Simple IT – an IT that can be defined as a series of easily describable business aligned elements each of which can be independently maintained- in other words a properly designed SOA system.

  • Named Resource Streams for WCF Data Services

    Under the current version of WCF Data Services, developers can associate only one streaming resource with a given entity. With the October 2010 CTP, developers can now add additional named streams to an entity. For example, for images you may have streams named “Thumbnail”, “Small”, and “Full”.

  • 100 days of IPv4 left

    The number of allocatable IPv4 addresses has dropped below 160 million, leading to predictions that the IPv4 address space will be used up in less than 100 days. What does this mean?

  • US Government: Proposed Assessment and Authorization for Cloud Computing

    Two weeks back the US CIO's office released a 90 page proposal entitled, Proposed Security Assessment and Authorization for US Government Cloud Computing. The document is the result of 18 months of work among the NIST, GSA, ISIMC and the CIO Council to evaluate security controls and multiple Assessment and Authorization models for US Government Cloud Computing.

  • Working with Difficult People and Resistance in Scrum

    How do you work with difficult and uncooperative people? People who are combative or unprofessional? People who seem actively opposed to the agenda?

  • Amazon AWS receives ISO 27001 Certfication

    Last week, Amazon was awarded the ISO/IEC 27001 certification for Amazon Web Services, AWS. The certification is significant in that ISO 27001 mandates specific management controls and requirements to be in place.

  • Moonlight Leaps Ahead of Silverlight with Hardware Accelerated Pixel Shaders

    Recently David Reveman added significant amounts of hardware rendering to Novel’s Moonlight. This puts it in the lead over Silverlight, offers only a limited amount of hardware rendering support.

BT