InfoQ Homepage Development Content on InfoQ
-
Designing Composable Functional Libraries, Not Just for Data Visualization
Tomas Petricek describes the design of a data visualization library in The Gamma, covering principles of functional library design useful to use when tackling problems in other domains.
/presentations/data-visualization-library-gamma/en/mediumimage/Tombig-1594166321467.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)
-
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)
-
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)
-
Putting Node.js Serverless Apps into Production without the Pitfalls
Eoin Shanaghy covers the highs and lows of building Node.js apps with Serverless. He also shows how TypeScript-based Infrastructure as Code is the way forward!
/presentations/node-js-apps-serverless/en/mediumimage/Eobig-1592401724754.JPG)
-
Running Third-Party JavaScript
Kate Sills discusses how to minimize the risks of running third-party JavaScript. She goes over POLA, and how object capabilities can help grant specific, limited resources to third-party code.
/presentations/pola-javascript/en/mediumimage/Katbig-1592401491951.JPG)
-
Feature Toggles: the Good, the Bad, and the Ugly
Andy Davies covers how to use feature toggles effectively, some of the horror stories and how to avoid them, and how to deal with them if they do occur.
/presentations/feature-toggles/en/mediumimage/Andbig-1592308295612.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)
/presentations/quarkus-graalvm-2020/en/mediumimage/Sanbig-1594201262988.JPG)