InfoQ Homepage Programming Content on InfoQ
-
Real Time Bidding: Where Erlang Blooms
Fred Hebert discusses using Erlang for a real-time bidding system, providing some details of its design and architecture, along with lessons learned while implementing it.
-
Accelerating the Web: How GPUs Make Browsers Fast
Jarred Nicholls explains how browsers leverage the GPU to speed up complex web pages by primitive drawing, composing layers and using tiles backing stores.
-
Building Social Apps for All Mobile Platforms
James Pearce discusses the current trends in social applications and some of the challenges and solutions in creating HTML5 applications for mobile devices.
-
This is Your Workflow on Catnip
Bodil Stokke introduces the productivity benefits of Catnip, a text editor with REPL (Read Eval Print Loop) functionality integrated into the Clojure environment.
-
Agile and UX: How to Do Both and Not Lose Your Mind
Darci Dutcher provides practical advice for introducing UX to agile teams.
-
Go: Code that Grows with Grace
Andrew Gerrand introduces Go, demoing some of its main features through examples: a concurrent echo server, chat, channels, error handling, etc.
-
Testing Java Code With Confidence
Doug Hiebert discusses the principles and objectives behind automated testing, TDD, Unit and Integration Testing, using asserting and mocking to write tests, and static analysis.
-
Taking Time Seriously
Bryan O'Sullivan introduces some of the technologies pioneered in the Haskell community to streamline software development and reduce operational costs, while producing beautiful code.
-
Keynote: The New Governance
K. Scott Morrison anticipates the future of SOA governance in the enterprise starting from the observation that there are major technological changes in the enterprise today.
-
Clojure + Datomic + Storm = Zolodeck
Amit Rathore describes the architecture of Zolodeck, a virtual relationship manager built on Clojure, Datomic, and Storm.
-
Fine Grained Coordinated Parallelism in a Real World Application
Mohammad Rezaei discusses fine-grained parallelism along with an algorithm called Aggregation and a concurrent map built to help dealing with it.
-
Pontificating Quantification
Daniel Spiewak and Aaron Bedra take a look at code verifying starting with Tony Hoare’s paper on testing(1969), type theory, and language-integrated proof systems.