Jordy Moos

1 Follower

jordy moos elmlang web components ing baker inspiration scala ing bank java software orchestration 0.19 elm formal verification algorithms pluscal tla+ elm frontend meetup amsterdam elasticsearch dpc16 frank koornstra pb web media

Präsentationen
Dokumente
Infografiken

Aktuellste Beliebteste SlideShares

NL - Voeg een beetje 'static type checking' toe aan een wereld van web components

Vor 5 Jahren • 102 Aufrufe

How to Develop Orchestration Logic in APIs with Baker

Vor 5 Jahren • 253 Aufrufe

Adding a bit of static type checking to a world of web components

Vor 5 Jahren • 74 Aufrufe

Code splitting? How unnecessary in Elm 0.19!

Vor 5 Jahren • 223 Aufrufe

Formal verification of algorithms

Vor 5 Jahren • 49 Aufrufe

Elm, the runtime error killer

Vor 6 Jahren • 286 Aufrufe

Elasticsearch, the story so far

Vor 7 Jahren • 498 Aufrufe