InfoQ Homepage Keynote Content on InfoQ
-
Proving Algebraic Laws in Scala Using Stainless
Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.
-
Functional Programming for Array-Based Parallelism
Gabriele Keller overviews functional array-based high-performance computing, how to map such programs efficiently to parallel hardware, and discusses challenges and ongoing work.
-
Monitoring, Alerting, and Paging: a Three-Part Guide to Incurring Human Costs in Engineering
Matthew Simons discusses ways to mitigate some of the human costs while safeguarding the production systems that keep people employed.
-
A Practical Path towards Becoming a High Performance (IT) Organization
Michiel Sens provides advice on becoming a high performance IT organization.
-
Let's Start an Epidemic
Doc Norton explores how things like disease, politics, and even moods travel through social networks, discussing the impact people have on others.
-
Taking Back Software Engineering
Dave Farley discusses adopting a disciplined, scientific approach to solving problems in software while still encouraging people-centric creation.
-
Rethinking Blockchain Contract Development
Manuel Chakravarty discusses how IOHK’s Plutus combines programming language theory, functional programming in Haskell, and theorem-proving in Agda to develop a new approach to blockchain contracts.
-
Chaos Engineering for People Systems
Dave Rensin shares his experiences building stronger systems, teams, and companies at Google over the last five years.
-
Chicken Breeding & The Core Design Principles
Craig Larman keynotes on design principles of software development.
-
#FAIL
Kevlin Henney keynotes on some of the failures that people had in various projects and the lessons to be learned from them.
-
Futurework: Managing Complexity with Simplicity
Doug Kirkpatrick explores the lessons learned from the journey of vanguard companies as they go through organizational self-management.
-
Big Data's Ethical Drought: The Thirst for More Data Has Led to a Lapse in Ethics and Privacy
Katharine Jarmul provides examples of data (mis)use and asking how we can work with data without violating the trust and privacy of users, producing an ethical product?