InfoQ Homepage Keynote Content on InfoQ
-
From Mainframes to Microservices - the Journey of Building and Running Software
Suhail Patel discusses the platforms and software patterns that made microservices popular, and how virtual machines and containers have influenced how software is built and run at scale today.
/presentations/mainframe-microservice-scale/en/mediumimage/SuhailPatel-medium-1715243474251.jpg)
-
The Programmer's Brain
Felienne Hermans dives into the cognitive processes that play a role when reading code, showing theories for reading code, and techniques that can be used to read any piece of code.
/presentations/reading-code/en/mediumimage/d600x315-1650654623681.jpg)
-
Momentum > Urgency and Other Counter-Intuitive Principles for Increasing Velocity
Elisabeth Hendrickson discusses pragmatic, proven, and sometimes counter-intuitive approaches to develop faster.
/presentations/approaches-increased-velocity/en/mediumimage/Elisabeth-Hendrickson-m-1614157092206.jpg)
-
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.
/presentations/stainless-scala/en/mediumimage/Vikbig-1593356430896.JPG)
-
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.
/presentations/functional-programming-parallelism/en/mediumimage/Gabbig-1592177317032.JPG)
-
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.
/presentations/human-costs-production-systems/en/mediumimage/Matbig-1588527443704.JPG)
-
A Practical Path towards Becoming a High Performance (IT) Organization
Michiel Sens provides advice on becoming a high performance IT organization.
/presentations/performance-it-organization/en/mediumimage/Micbig-1586123122887.JPG)
-
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.
/presentations/social-networks-contagious/en/mediumimage/Doc-Norton-m-1581902896629.jpg)
-
Taking Back Software Engineering
Dave Farley discusses adopting a disciplined, scientific approach to solving problems in software while still encouraging people-centric creation.
/presentations/redefining-software-engineering/en/mediumimage/Dave-Farley-m-1578881149661.jpg)
-
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.
/presentations/iohk-plutus-haskell-agda/en/mediumimage/Manuel-MT-Chakravarty-m-1574766166543.jpg)
-
Chaos Engineering for People Systems
Dave Rensin shares his experiences building stronger systems, teams, and companies at Google over the last five years.
/presentations/teams-google/en/mediumimage/Davbig-1573920326925.JPG)
-
Chicken Breeding & The Core Design Principles
Craig Larman keynotes on design principles of software development.
/presentations/less-core-design-principles/en/mediumimage/Crabig-1573691836689.JPG)