InfoQ Homepage Code Mesh Content on InfoQ
-
Ethics and AI: Identifying and Preventing Bias in Predictive Models
Federica Pelzel explores how bias and discrimination can be introduced into models, and different strategies to prevent it from happening.
-
From Quadcopters to Helicopters: Formal Verification for Safer Vehicles
Kathleen Fisher explores the promises and limitations of current formal methods and techniques for producing useful software that probably does not contain exploitable bugs.
-
Lightning Fast Cluster Computing with Spark and Cassandra
Piotr Kołaczkowski discusses how they integrated Spark with Cassandra, how it was done, how it works in practice and why it is better than using a Hadoop intermediate layer.
-
Cheats & Liars: The Martial Art of Protocol Design
Pieter Hintjens presents strategies and tactics - lifecycles, versioning, modeling, code generation, implementations, community building- for creating successful protocols that stand the test of time.
-
Taming GPU Threads with F#
Daniel Egloff overviews Alea, an F# alternatives to CUDA C/C++ and OpenCL C++, showing how to write GPU scripts and perform dynamic compilation in F#.
-
Naming Things
Ian Barber discusses the importance of behavior, domains and clarity of the names used when writing software or building systems.
-
Functional Patterns in Domain Driven Design applied to Financial Models
Debasish Ghosh demonstrates how DDD principles can be implemented more effectively using functional programming principles, building a ubiquitous language with pure functional abstractions.
-
Concurrency: It's Harder (and Easier) than You Think
Paul Butcher advises on using concurrency the right way in order to avoid its pitfalls.
-
Tiny
Chad Fowler attempts to convince people that keeping things "tiny" –small iterations, small methods, small teams - is the best thing one can do for himself and his team.
-
Programming and Testing a Distributed Database
Reid Draper shows how real world distributed database work, communicate and are tested, trading RPC for messaging, unit-tests for QuickCheck, and micro-benchmarks for multi-week stress tests.
-
0 – 100 MPH - Launching a New Product at Scale
Dan Macklin explains why bet365 has adopted Erlang as a core development platform and goes through the highs and lows of managing change in one of the world's biggest on-line bookmakers.
-
The New Features in MariaDB 10.0 and in the Upcoming MariaDB 10.1
Michael Widenius walks through the features of MariaDB 10.0 and 10.1, outlining the performance benefits resulting from switching to MariaDB.