InfoQ Homepage Development 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.
/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)
-
Creating "The Second Best Place on the Internet" with Spring Initializr
Stéphane Nicoll uses live coding to share some tips and tricks for using Spring Initializr, talks about how it came to be, and shows how to create an instance for a custom project.
/presentations/spring-initializr/en/mediumimage/Stebig-1591916099193.JPG)
-
Bangle.js - Creating a Smart Watch with JavaScript
Gordon Williams talks about how he took an off the shelf smart watch, reverse engineered it, installed a JS interpreter on 400 of them and got them into the hands of the attendees at NodeConf EU.
/presentations/bangle-js-smartwatch/en/mediumimage/Gorbig-1591620961402.JPG)