Nimma.codes: 40ᵉ editie - Monthly meetup @ Deftpower

De veertigste monthly meetup van Nimma.codes alweer!

We zijn een cross-language user group voor software developers in de regio Arnhem-Nijmegen en komen elke laatste dinsdag van de maand samen om te praten over alles wat met software development te maken heeft. Wees welkom! (ook als je niet programmeert)

Ditmaal zijn we wederom te gast bij Deftpower Clean Tech Park Arnhem.

Programma

• 17:30 – 18:00 Inloop + food & drinks

• 18:00 – 18:45 Talk 1: Tim Steenvoorden - De lambda calculus in moderne programmeertalen

• 18:45– 19:00 Pauze

• 19:00 – 19:45 Talk 2: Deftpower - William van der Vegt - Van thuislaadpaal naar actor: kennismaken met schaalbaar sessiebeheer in .NET Orleans

• 20:00 - 21:00 Netwerken

Talk 1: Tim Steenvoorden (Open Universiteit en Radboud Universiteit) - De lambda calculus in moderne programmeertalen

Eén herschrijfregel, geen types, geen geheugen, geen loops.

In 1936 definieerde Alonzo Church een rekenmodel van bijna irritante eenvoud die toch even krachtig is als een Turingmachine: de lambda calculus. Deze sessie is een reis van die wiskundige kern naar de code die je dagelijks schrijft.

We beginnen met pen en papier: lambda termen lezen, schrijven en reduceren. We gebruiken niets anders dan functies voor het bouwen van datastructuren. Vervolgens maken we de vertaalslag naar closures, higher-order functions, immutability en pipelines in talen als Java(Script), Python, Kotlin, Haskell en Rust.

Het doel is niet om morgen anders te programmeren. Het doel is om te begrijpen waarom moderne talen de afgelopen decennia steeds meer functionele concepten hebben overgenomen en wat de gemeenschappelijke wortel daarvan is.

Talk 2: Deftpower - William van der Vegt - Van thuislaadpaal naar actor: kennismaken met schaalbaar sessiebeheer in .NET Orleans

Ik ben van kleins af aan een echte techfanaat; thuis hobby ik met gadgets, servers en frameworks. Sinds een klein half jaar werk ik bij Deftpower, waar bedrijf, sector én techstack perfect bij me passen. Daarvoor vijf jaar bij Info Support, vooral voor de klanten Air Miles en Moba.

Vanuit die liefde voor tech vertel ik wat over .NET Orleans: het framework waarmee we bij Deftpower duizenden thuislaadpalen tegelijk beheren. Duizenden live, stateful verbindingen, elk met hun eigen sessie en toestand.

In klassiek .NET loop je dan al snel tegen locks en race conditions aan. In deze talk laat ik zien hoe we elke laadpaal als een actor modelleren met .NET Orleans, en zo schaalbaar bouwen zonder grote concurrency issues.

Inclusief een praktische kennismaking met het actor-model, voorkennis van Orleans is niet nodig.

Locatie
Clean Tech Park Arnhem - Connector gebouw KB - 1ste verdieping.