Lars Hupel
where else to find them
website:https://lars.hupel.info
github:larsrh
mastodon:@lars@mastodon.hupel.info
linkedin:lars-hupel
speakerdeck:larsrh
instagram:larsr_h
what they talk about
all 8 in the filters
where they keep going back
no series more than once — all 8 in the filters
on a stage with
- Eugene Burmakoonce
- John Daviesonce
- Jon Prettyonce
all 6 in the filters
who talks about the same things
- Nicolas Rinaudo13 talks
- Bill Venners21 talks
- Pawel Szulc28 talks
- Adam Rosien6 talks
- Eric torreborre11 talks
- Jon Pretty24 talks
| title | conference | date |
|---|---|---|
| Digital Cash: What It Is & How It Works | GOTO Amsterdam 2023 | 2023-06-13 |
Survey of 3,000 people finds top demands are no fees, usable offline, and 100% secure and European stats show Denmark 392 card transactions per person per year… | ||
| Future Currency | GOTO Amsterdam 2023 | 2023-06-13 |
Panel compares CBDC designs, claims central banks prefer centralized money and the ECB vows to keep cash while exploring a digital euro. Concrete pilots… | ||
| Typelevel's Road to Scala 3 | Scala Love in the City 2021 | 2021-02-13 |
Typelevel documents the concrete work to reach Scala 3: over 60 projects including cats, cats-effect, fs2 cross-build to milestones; simulacrum via scalafix… | ||
| Programmation en Logique | Code Mesh LDN 2018 | 2018-11-08 |
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… | ||
| Numeric Programming With Spire | Scala Italy 2018 | 2018-09-14 |
Spire is a Scala numeric library that combines cats-kernel and algebra to give a large typeclass tower (semigroup, monoid, group, ring, field) plus custom… | ||
| OptimusPrimeT | Lambda World 2015 | 2015-10-24 |
Scala demos use Cats (Validated, OptionT) and plain for‑comprehensions to show where monads fail and what fixes look like: parsing strings to Ints via… | ||
| When Types are Not Enough | Scala World 2015 | 2015-09-20 |
Compares three guarantees—tests (examples), types (signatures) and proofs (for all inputs)—and shows concrete tooling: uses Isabelle proof assistant to… | ||
| OptimusPrimeT | Scala.IO 2014 | 2014-10-23 |
Claims that matter: general monad composition is impossible but specific monad transformers are practical. Demonstrates using Scala types to write an Option… | ||
| Typelevel Scala: What does it mean ? | Scala.IO 2014 | 2014-10-23 |
A forked experimental Scala compiler aims to try concrete changes rather than promises: nightly builds and Jenkins CI already run, an SBT plugin and bridging… | ||
| Macros vs Types | Northeast Scala Symposium 2014 | 2014-03-01 |
Argues that neither wins alone: combine strong compile‑time types with compile‑time code emission via Scala macros to get readable APIs and fast generated… | ||
| nothing matches | ||