InfoQ Homepage Presentations
-
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)
-
High-Performance Data Processing with Spring Cloud Data Flow and Geode
Cahlen Humphreys and Tiffany Chang discuss why Enfuse.io chose Apache Geode and Pivotal Cloud Cache for their data processing needs.
/presentations/enfuseio-apache-geode-pivotal-cloud-cache/en/mediumimage/Kabig-1593355670759.JPG)
-
Event-Driven Architectures for Spring Developers
Viktor Gamov and Gary Russell discuss the concepts of events, their relevance to software and data engineers, and their powers for effectively unifying architectures.
/presentations/event-driven-arch-spring/en/mediumimage/Doibig-1593355377578.JPG)
-
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel
Julia Lawall gives an introduction to the use of Coccinelle and gives an overview of its impact on the Linux kernel.
/presentations/coccinelle-linux-kernel/en/mediumimage/Julbig-1593182158196.JPG)
-
Record, Replay, Rinse, & Repeat: Easily Rebuilding Programmatic State
Greg Law talks about the various implementations of record and replay systems that can be used to debug software applications.
/presentations/debug-systems-record-replay/en/mediumimage/Grebig-1593181743742.JPG)
-
JS � Character Encodings
Anna Henningsen gives an overview over what character encodings are, what the JavaScript language provides to interact with them, and how to avoid the most common mistakes in Node.js and the Web.
/presentations/js-character-encoding/en/mediumimage/Anabig-1593096131515.JPG)
-
Agyle with a Y – Making Agile Work for Millennials
Carmel Dolev discusses the Y generation’s characteristics, and covers practical tools and advice on how to enable them to thrive in an agile environment.
/presentations/millennials-agile/en/mediumimage/Carbig-1593013610188.JPG)
-
Predicting Cryptocurrency Exchange Rates with Stream Processing, Social Data and Online Learning
Tim Frey discusses how iunera used social data from Twitter in machine learning to predict crypto currency exchange rates.
/presentations/iunera-ml-twitter-cryptocurrency-rates/en/mediumimage/Timbig-1592915710645.JPG)
-
How the Future of Software Will Be Different
Johannes Nicolai discusses what coding might look like for the next generation, what kind of programming jobs will continue to exist in five years and which tasks will be automated by robots.
/presentations/programming-future-robots/en/mediumimage/Jonbig-1592773257911.JPG)
-
Event-Driven with Spring
Oleg Zhurakousky discusses Spring Cloud Stream and Spring Cloud Function as de facto technologies for Spring-based, event-driven microservices, overviewing recent developments and features.
/presentations/spring-event-cloud-stream-function/en/mediumimage/Olebig-1592489252223.JPG)
-
Domain-Driven Design with Relational Databases Using Spring Data JDBC
Jens Schauder discusses how to design an object model the DDD way, why this might be a good idea, and how to build a persistence layer for it backed by Spring Data JDBC.
/presentations/ddd-spring-data-jdbc/en/mediumimage/Jenbig-1592488818782.JPG)
-
How to Organize Ethical QA Rules in an Organization
Michal Buczko proposes that the QA department must play a strong role in defining the ethics of an organization.
/presentations/ethics-organization-qa/en/mediumimage/Micbig-1592488495878.JPG)