Pawel Szulc
where else to find them
devto:rabbitonweb
what they talk about
all 15 in the filters
where they keep going back
- LambdaConf5 editions2015–2024
- Scalar2 editions2016–2018
- Lambda World Cádiz2 editions2018–2019
all 12 in the filters
on a stage with
- Eric torreborre2×
- Adam Warskionce
- Amira Lakhalonce
all 38 in the filters
who talks about the same things
- Alejandro Serrano Mena14 talks
- Tony Morris16 talks
- Zainab Ali10 talks
- Eric torreborre11 talks
- Noel Welsh16 talks
- Adam McCullough6 talks
| title | conference | date |
|---|---|---|
| From Micrograd to coppergrad | Rustikon 2026 | 2026-03-19 |
Recreates Karpathy’s micrograd micrograd in Rust by implementing a scalar automatic differentiation engine and simple optimizer: defines Value nodes with… | ||
| Effectful | LambdaConf 2024 | 2024-05-04 |
Effectful presents a concrete claim: a Haskell effects library that combines Polysemy-like ergonomics with a ReaderT under the hood implementation. Code demos… | ||
| Painless software development with Haskell | Lambda World Cádiz 2019 | 2019-10-17 |
Argues Haskell scales to general app development by demoing real code: using aeson and generics for JSON, optparse-generic for CLI records, and servant client… | ||
| Eyjafjallajökull Lecture 2019 | Scala World 2019 | 2019-09-11 |
Explains the secretary problem with a live audience game plus a simple random candidate generator and vote napkins, demonstrates the look-then-leap strategy… | ||
| Specifying Distributed Systems with TLA+ Workshop | LambdaConf 2019 | 2019-06-05 |
Workshop teaches TLA+ from the ground up, uses TLA+ Toolbox and the TLC model checker to write formal specs of distributed algorithms (examples: Paxos and Two… | ||
| A roadtrip with monads: from MTL, through tagless to BIO | Lambda World Cádiz 2018 | 2018-10-25 |
A small Scala program composes console, third‑party weather client and a cache into an ask–fetch–judge loop that compiles and runs. It uses Monix Task with… | ||
| Opening Ceremony | Scalapeño 2018 | 2018-07-02 |
Conference opens with logistics and local stats then pivots to concrete engineering wins: a local startup rewrites a monolithic Java Spring/Hibernate system… | ||
| A roadtrip with monads: from MTL, through tagless, to BIO | Scalapeño 2018 | 2018-07-02 |
A simple Scala weather client is implemented (console I/O, config, cache, third‑party HTTP client) using typeclass abstractions so every effect is abstracted… | ||
| Understanding Distributed Calculi in Haskell | LambdaConf 2018 | 2018-06-03 |
Clear claim: pi calculus and rho calculus are mapped to Haskell examples using distributed-process (Cloud Haskell); live ping‑pong code runs but exposes… | ||
| ILLOGICAL ENGINEERS | Scalar 2018 | 2018-04-06 |
Argues that much of modern practice — TDD, agile iterations, microservices patterns — is already documented back to the 1950s–1968 NATO discussions, then makes… | ||
| Understanding Distributed Calculi in Haskell | Lambda Days 2018 | 2018-02-22 |
Live Haskell code uses distributed-process (Cloud Haskell) to implement a master/ping/pong example that actually runs, exposing where send/receive semantics… | ||
| Going bananas with recursion schemes for fixed point data types | Scala.IO 2017 | 2017-11-02 |
Claims a workable generalization of catamorphism to fixed‑point data types, implemented in Scala with Matryoshka and demonstrated on expression ASTs. Shows… | ||
| Intro to FP in Scala: Exploring a Toolbox for Solving Problems - Part 1 of 6 | LambdaConf 2017 | 2017-05-25 |
Promises a practical FP bootstrap in Scala: concrete claim is teaching how to solve real problems by wiring up immutable code into runnable apps, using SBT and… | ||
| Intro to FP in Scala: Exploring a Toolbox for Solving Problems - Part 2 of 6 | LambdaConf 2017 | 2017-05-25 |
Workshop claims to turn Scala features into a concrete toolbox: live builds of a lazy future style Task, a type class for Show and Equals, and companion-object… | ||
| Intro to FP in Scala: Exploring a Toolbox for Solving Problems - Part 6 of 6 | LambdaConf 2017 | 2017-05-25 |
Shows building concrete Scala DSLs with Free monads, composing algebras via coproducts and injecting them so higher-level verbs stay pure, then writing… | ||
| Intro to FP in Scala: Exploring a Toolbox for Solving Problems - Part 4 of 6 | LambdaConf 2017 | 2017-05-25 |
Shows live Scala code proving how generic type classes solve concrete problems: implements folding with Foldable/foldMap and monoids to avoid ad hoc zeros… | ||
| Intro to FP in Scala: Exploring a Toolbox for Solving Problems - Part 3 of 6 | LambdaConf 2017 | 2017-05-25 |
Series workshop dives into Scala type classes and shows concrete code that compiles: generic Functor → map lets a length function work over Option Task or… | ||
| Software Enginnering: The Genesis | LambdaConf 2017 | 2017-05-25 |
The term originates at the 1968 NATO conference and the original transcript shows concrete claims: design with testing interlaced — essentially test-driven… | ||
| Intro to FP in Scala: Exploring a Toolbox for Solving Problems - Part 5 of 6 | LambdaConf 2017 | 2017-05-25 |
Part of a hands‑on Scala FP workshop that implements a concrete solution: state monad implemented from scratch and then used to replace hand‑rolled s -> (s, A)… | ||
| GETTING MORE MILEAGE FROM YOUR MONADS WITH MTL | Scalar Conference 2017 | 2017-04-07 |
Shows how MTL lets one write incomeTax once and run it as Task, Either, Option or lifted transformers like EitherT/OptionT by coding to typeclasses such as… | ||
| Going bananas with recursion schemes for fixed point data types | Lambda Days 2017 | 2017-02-09 |
Claims a working Scala library and patterns not just theory: a Matryoshka Scala port implements generalized catamorphisms over Fix types, with code that builds… | ||
| Going bananas with recursion schemes for fixed point data types | Build Stuff 2016 | 2016-11-16 |
From #Vilnius to #Mallorca! BUILD STUFF is going to celebrate summer! An amazing weekend on APRIL 29-30, 2017 – MALLORCA, SPAIN will take you out of the office… | ||
| Writing your own RDD for fun and profit | JDD 2016 | 2016-10-10 |
Explains how to implement custom RDDs by coding the three required pieces: getPartitions, compute and parent dependency links, plus optional data locality and… | ||
| ScalarConf 2016 Summary | Scalar 2016 | 2016-04-16 |
Largest Scala conference in Central Europe returns as the third edition organized by SoftwareMill, drawing over 450 Scala developers from around Europe. The… | ||
| Having a cake and eating it too Introduction to Typeclasses | Scalar 2016 | 2016-04-16 |
Someone builds a small auction domain in Scala, then replaces per-class methods with concrete type class instances for Number, JsonWriter and Evaluator so… | ||
| Monads Asking the Right Question | LambdaConf 2015 | 2015-05-22 |
Explains monads as a concrete abstraction with two operations—unit and bind (flatMap)—and laws (left/right identity, associativity), not metaphors; shows a… | ||
| Scalar Conference 2015 Summary | Scalar Conference 2015 | 2015-04-11 |
Founded to fill a gap of Eastern Europe lacking a quality Scala conference, the event runs its second edition as free-to-attend with 30-minute talks that pack… | ||
| Architecture Is Not Nonsense | Confitura 2013 | 2013-07-02 |
An experienced small-IT-company architect describes a practical, evolving architecture pattern that proved effective for medium-size projects and scales with… | ||
| nothing matches | ||