Arnaud Bos
where else to find them
website:http://www.arnaudbos.com/
github:arnaudbos
bluesky:arnaudbos.bsky.social
linkedin:arnaudbos
speakerdeck:arnaudbos
devto:arnaud_bos
what they talk about
all 4 in the filters
where they keep going back
- DevFest Toulouse2 editions2018–2023
on a stage with
never shared a talk
who talks about the same things
- Andrew Harmel-Law13 talks
- Mushtaq Ahmed5 talks
- Jearvon Dharrie4 talks
- Aysylu Greenberg13 talks
- Vladas Diržys4 talks
- Jonathan Martin8 talks
| title | conference | date |
|---|---|---|
| Welcome to TLA-La-Land (or An Introduction to Software Verification) | DevFest Toulouse 2023 | 2023-11-16 |
Introduces the TLA+ formal specification language and model-checking to design and verify distributed systems, addressing hard problems like message ordering… | ||
| Untangled: Sneak peek at Project Loom | Voxxed Days Cluj-Napoca 2019 | 2019-10-30 |
Project Loom brings continuations and lightweight threads (fibers) into the JVM so synchronous-looking code runs without tying up kernel threads. Experiments… | ||
| Untangled: Sneak peek at Project Loom | Voxxed Days Ticino 2019 | 2019-10-09 |
Project Loom brings user‑space fibers (built on continuations) to the JVM and shows a working OpenJDK prototype that runs synchronous-style code on a tiny… | ||
| Architecture Decision Records: Make Peace with Your Docs | DevFest Toulouse 2018 | 2018-11-08 |
Introduce using lightweight Architecture Decision Records (ADRs) as Markdown files in the code repository, using a six-part template (title, number, date… | ||
| nothing matches | ||