InfoQ Homepage Code Mesh Content on InfoQ
-
Verifying a Distributed System with Combinatorial Topology
Veronica Lopez shares her experience with containers and Kubernetes, including flexible autoscaling and refined testing & delivery experiences, that make sense within an Elixir environment.
/presentations/elixir-containers-kubernetes/en/mediumimage/Veronica-Lopez-m-1560936487481.jpg)
-
F# Code I Love
Don Syme discusses examples of F# code, showing how it relates to language design, functional programming, object programming, and language features, both as an individual and in teams.
/presentations/fsharp-code/en/mediumimage/Don-Syme-m-1560846846692.jpg)
-
Scaling Erlang Cluster to 10,000 Nodes
Maxim Fedorov demonstrates an example of a live Erlang cluster being scaled from just a few nodes to 10,000 machines with no service interruption.
/presentations/erland-scale-10000-nodes/en/mediumimage/Maxbig-1559698339761.JPG)
-
Life of a Distributed Graph Database Query
Teon Banek describes the life of a query in Memgraph following the process from reading a query as a character string, through planning and distributed execution of query operations.
/presentations/graph-query-distributed-execution/en/mediumimage/Teonbig-1558927784336.JPG)
-
CRDTs: From Sequential to Concurrent Executions
Carlos Baquero Moreno discusses migrating from sequential to concurential programming using CRDTs.
/presentations/sequential-concurrent-crdt/en/mediumimage/Carlos-Baquero-Moreno-m-1558596115604.jpeg)
-
Ethics in Tech: A Psychological Perspective
Andrea Dobson takes a deep dive into social psychology research on behaviour, ethics and company culture, addressing some of the anti-patterns to avoid.
/presentations/psychology-behavior-ethics-culture/en/mediumimage/Andbig-1557719357853.JPG)
-
Coroutines Explained
Dmitry Kandalov explains what coroutines are, how they differ between programming languages and how to use coroutines for fun and profit.
/presentations/coroutines-explained/en/mediumimage/Dmbig-1556847434830.JPG)
-
Designing Distributed Systems with TLA+
Hillel Wayne introduces the ideas behind TLA+, a specification language that describes a system and its properties, and how it works, with a focus on practical examples.
/presentations/tla-plus/en/mediumimage/hillel-wayne-m-1556784528586.jpeg)
-
Towards Specifications of Robustness - the Things That Programs do _not_ do
Sophia Drossopoulou discusses holistic specifications", an extension of traditional program specifications that support the expression of robustness properties through spatial and temporal features.
/presentations/holistic-specifications-robustness/en/mediumimage/Sobig-1555889018045.JPG)
-
Parsing Safely, from 500MB/s to 2GB/s
Geoffroy Couprie describes a few common issues in parsers, and how they interact with performance, showing how to get the performance of handwritten C parsers using Rust.
/presentations/parsers-c-rust/en/mediumimage/Geobig-1554778445287.JPG)
-
Secure Isolation in Rust: Hypervisors, Containers, and the Future of Composable Infrastructure
Allison Randal discusses how to obtain security through isolation in Rust using hypervisors and containers.
/presentations/rust-security-isolation-containers-hypervisors/en/mediumimage/rust-security-isolation-containers-hypervisors-m-1553719451781.jpg)
-
Towards Language Support for Distributed Systems
Heather Miller talks about research in programming languages: building up richer computations making use of CRDTs and implemented as compositions of serverless functions.
/presentations/research-languages-crdt-serverless-functions/en/mediumimage/Heabig-1552871501546.JPG)