Merge pull request #6 from rust-formal-methods/nadrieril

Nadrieril abstract

Author: JoJoDeveloping

content/meetings/match-ergonomics.md

@@ -1,12 +1,18 @@
 +++
-title = "TBA (Match Ergonomics)"
+title = "Match Ergonomics"
 date = 2025-01-27T19:00:00+01:00 # (Paris/Zurich)
 +++
 
-Nadrieril will talk about his recent Match Ergonomics work.
-More details will be announced soon.
+Match ergonomics is the feature that allows patterns to seamlessly "see through" `&`/`&mut` references.
+It has been put back on the drawing board in recent months as we attempted to use the 2024 edition to fix some long-standing papercuts with it.
 
-**Presenter**: [Nadrieril](https://github.com/Nadrieril/).
+The design space turned out to have more depth than anticipated, prompting several competing proposals, the creation of three different formalisms, and the development of two tools to assist with answering design questions.
+
+In this talk I will give an overview of the feature along with its history, outline the decisions we're facing now, and present the tools and formalisms we developed along the way, particularly [my webapp](https://nadrieril.github.io/typing-rust-patterns).
+
+**Presenter**: [Nadrieril](https://github.com/Nadrieril/) has been contributing to Rust since 2019, focusing on the implementation and design of pattern-matching-related features.
+He has become the de-facto referent on the topic and aims to make pattern-matching even more fun than it already is.
+By day he is a research engineer at Inria (France), working on [Aeneas](/meetings/aeneas/) and Charon which have been presented at RFMIG before.
 
 **Meeting Link**: [Zoom Link](https://ethz.zoom.us/j/63658285876)