Code Mesh LDN 2018
2018-11-08..2018-11-09
London, United Kingdom
[Code Mesh LDN 2018, Code Mesh LDN 2019, Code Mesh LDN 2020]
| title | author | length |
|---|---|---|
| KEYNOTE: From quadcopters to helicopters | Kathleen Fisher | 01h 03m |
DARPA’s HACMS program demonstrates that co-developed formal methods can harden vehicles: researchers replace RTOS and flight code with seL4 microkernel and… | ||
| Idris 2: Type-driven development of Idris | Edwin Brady | 43m |
A new implementation rewrites the language in itself: Idris 2 implemented in Idris, with an interactive editor workflow (Atom protocol) that drives development… | ||
| Towards language support for distributed systems | Heather Miller | 41m |
Survey of recent work showing concrete language and system artifacts: compositional CRDTs implemented in functional languages and adopted in Akka and… | ||
| Everything about distributed systems is terrible | Hillel Wayne | 38m |
Models an upload → queue → worker pipeline with a perfect exactly-once queue, then relaxes assumptions and adds a second worker, using a TLA+ model checker to… | ||
| Programmation en Logique | Lars Hupel | 43m |
Prolog programs load into SWI‑Prolog and answer queries by backtracking; the demo shows facts and rules for neighbors and transitive in relations, query holes… | ||
| Holistic specifications for robust code | Sophia Drossopoulou | 43m |
Claims a new specification language — holistic specifications — that expresses necessary (not just sufficient) robustness conditions using spatial, temporal… | ||
| Parsing Safely, from 500MB/s to 2GB/s | Geoffroy Couprie | 41m |
A Rust implementation of an HTTP parser is optimized to increase throughput from ~500 MB/s to 2 GB/s while remaining safe and readable. The talk compares… | ||
| Abstract nonsense | Ju Gonçalves | 31m |
A Haskell prototype models drawing, randomness and environment lookups as algebraic effects so images compose as a monoids as canvas combine and… | ||
| Intertwingling the Tiddlywiki with Erlang | Joe Armstrong, Jeremy Ruston | 45m |
Explains extending a single-file TiddlyWiki into a distributed system using Erlang-style mailboxes, provenance tracking and tag inference; implements a… | ||
| Ethics in Tech: a psychological perspective | Andrea Dobson | 42m |
Covers concrete social-psychology findings and a plain playbook: Solomon Asch shows 75% conform at least once on a simple line test, Stanley Milgram finds… | ||
| A PostScript to functional geometry | Einar W. Høst | 44m |
Implements Henderson 1982 Functional Geometry inside PostScript by encoding pictures as functions from a box to drawing commands and using executable arrays to… | ||
| Adding kind-polymorphism to the Scala programming language | Miles Sabin | 43m |
Argues that adding kind-polymorphism to Scala lets type parameters accept constructors of any arity, implemented as a minimal prototype in the Typelevel Scala… | ||
| Property based tests for the masses | Romeu Moura | 45m |
Argues that property-based testing finds real bugs in mainstream and legacy code rather than being an academic novelty, demonstrating it on Java/C# style code… | ||
| Interactive GPU programming with ClojureCUDA & ClojureCL | Dragan Djuric | 41m |
Interactive REPL-driven GPU bindings for Clojure let users compile C kernels on the fly and target CUDA or OpenCL via ClojureCUDA/ClojureCL, integrate with the… | ||
| PureScript spirographs | Tom Harding | 31m |
PureScript code generates spirographs on an HTML canvas using a purescript-drawing DSL and the PureScript behaviors library: time comes from a continuous… | ||
| Coroutines explained | Dmitry Kandalov | 45m |
Explains coroutines by showing concrete code in Lua resume/yield, JavaScript generators and async/await -> state machine and call/cc continuations in Scheme… | ||
| Building a Blockchain in Erlang | Ulf Wiger | 45m |
Aeternity implements a blockchain in Erlang with an Ethereum-compatible bytecode VM, an ML-like contract language called Sophia contract language, and a… | ||
| Verifying a distributed system with combinatorial topology | Veronica Lopez | 50m |
Claims that combinatorial topology can enumerate every node perspective and all possible interconnections at once, turning a distributed system into countable… | ||
| Life of a distributed graph database query | Teon Banek | 31m |
Memgraph implements a distributed graph query pipeline: it parses openCypher with ANTLR into a C++ AST then rewrites to a cleaner AST, strips literals for… | ||
| Finite of sense & infinite of thought | Ron Pressler | 41m |
Tracks the lineage from Leibniz’s plan for a characteristica universalis through Boole’s algebraic law x^2 = x to Babbage’s mechanical designs (Difference… | ||
| CRDTs: From sequential to concurrent executions | Carlos Baquero | 48m |
Explains concrete CRDT implementations and tradeoffs: counters as per-site counters with pointwise max merge (G-counter/Pn-counters) so merges are idempotent… | ||
| Introduction to AI engineering | Garrett Smith | 46m |
Argues that practical AI work is engineering: three real constraints — data scarcity, available models/algorithms and GPU training — decide what actually… | ||
| Message passing for actors and humans with Raxx | Peter Saxton | 42m |
Raxx treats HTTP as messages and implements per-connection Elixir processes (Ace) so each request becomes an actor with a mailbox; streaming maps to… | ||
| The life, times & thinking of Dr. Claude Shannon | Jimmy Soni | 43m |
Chronicles Claude Shannon building concrete devices alongside landmark theory: Theseus the maze‑solving mouse (1953) that learns and remembers paths, an early… | ||
| Scaling Erlang cluster to 10,000 nodes | Maxim Fedorov | 35m |
WhatsApp moves from FreeBSD/R16 to Linux/R21, packs servers into Open Compute blades, and scales a single Erlang distribution to about 1500-node cluster while… | ||
| Understanding gossip protocols | Felix Lopez | 41m |
This video was recorded at Code Mesh LDN 18 http://bit.ly/2P7SPII
Get involved in Code Sync's next conference http://bit.ly/2Mcm4aS
---
UNDERSTANDING GOSSIP… | ||
| Eta: The rise of pure FP on the JVM | Jyothsna Patnam | 29m |
Eta is a GHC-based Haskell implementation that runs on the JVM, compiling the majority of packages unchanged and porting Backpack support while aligning with… | ||
| Breaking changes | James Coglan | 46m |
Shows concrete breakages: replacing a numeric status code with a string breaks callers using === and turns arithmetic into string concatenation, the array… | ||
| Implementing Raft in RabbitMQ | Daniil Fedotov | 37m |
Implements Raft-based replication inside RabbitMQ by adding quorum queues that persist each message to a majority (typically 2 of 3) on disk so commits are… | ||
| Secure isolation in Rust | Allison Randal | 44m |
A lightweight hypervisor library called LibKVM rust library is implemented in Rust atop the Linux KVM kernel module, using ioctl calls, #[repr(C)] structs, and… | ||
| Do calculating machines like drawing? And if so, why? | Frieder Nake | 50m |
Claim: calculating machines do not inherently “like” drawing because they only evaluate computable functions, so every visual must be translated into numbers… | ||
| Infosec, AI and ethics – new models for a secure future | Kate Carruthers | 42m |
Argues that data and software cause real-world harms and gives concrete cases: an IoT light with accelerometer revealing room-level data built without… | ||
| Co-operative robots sharing the load | Natalia Chechina | 40m |
Proposes Autonomous Mobile Programs that migrate whole tasks, make decentralized, selfish move decisions using a simple cost model, and spawn a tiny… | ||
| Ethics & AI: Identifying & preventing bias in predictive models | Federica Pelzel | 47m |
Explains concrete failures and fixes: Google Photos tags people as gorillas, Amazon Rekognition yields 28 false positives when matching Congress with a… | ||
| One Log | Arnaud Bailly, Yann Schwartz | 42m |
Argues for treating every application output—logs, metrics, traces, domain events—as a single, append-only one log stream (JSON-structured events are used in… | ||
| Applying principles of chaos engineering to serverless | Yan Cui | 44m |
Claims that chaos for serverless focuses on testing behavior not killing servers, and demonstrates concrete techniques: inject latency into HTTP client (config… | ||
| nothing matches | ||