From 0e8c92cd13e73ae22291e9a472aa8b76958c6af5 Mon Sep 17 00:00:00 2001 From: Alexander Nutz Date: Sat, 5 Jul 2025 11:21:59 +0200 Subject: [PATCH] c --- common.typ | 17 +++++++++++++++-- pages/compiler-pattern-matching.typ | 6 +++--- 2 files changed, 18 insertions(+), 5 deletions(-) diff --git a/common.typ b/common.typ index 3cf96d1..b4a54ad 100644 --- a/common.typ +++ b/common.typ @@ -1,5 +1,3 @@ -#let alex_contact_url = "https://alex.vxcc.dev" - #let to-bool(str) = { if str == "true" { return true @@ -271,3 +269,18 @@ document.addEventListener('scroll', (event) => { } ]) } + +#let people = ( + alex: ( + nick: "alex_s168", + url: "https://alex.vxcc.dev" + ), + ote: ( + nick: "otesunki", + url: "https://512b.dev/ote/" + ), +) + +#let person(p) = { + flink(p.url, p.nick) +} diff --git a/pages/compiler-pattern-matching.typ b/pages/compiler-pattern-matching.typ index 5db9075..9b2dd9c 100644 --- a/pages/compiler-pattern-matching.typ +++ b/pages/compiler-pattern-matching.typ @@ -180,7 +180,7 @@ #section[ == egg Some people might say: "bUt Im JuSt GoInG tO uSe EgG, i DoNt NeEd A pAtTeRn MaTcHiNg DiAlEcT" - (specifically #spoiler[otesunki] said something like that) + (specifically #person(people.ote) said something like that) #flink("https://egraphs-good.github.io/")[egg] is a IR pattern matching and transformation library that uses #inline-block(flink("https://en.wikipedia.org/wiki/E-graph")[E-Graphs]) to @@ -207,7 +207,7 @@ Instead of brute-forcing all peephole optimizations (of which there can be a LOT in advanced compilers), the compiler can organize all the patterns to provide more efficient matching. - I didn't yet investigate how to do this. If you have any ideas regarding this, please #flink(alex_contact_url)[contact me.] + I didn't yet investigate how to do this. If you have any ideas regarding this, please #flink(people.alex.url)[contact me.] There are other ways to speed up the pattern matching and rewrite process using this too. ] @@ -215,7 +215,7 @@ #section[ == Reversible Transformations I don't think that there currently is any compiler that does this. - If you do know one, again, please contact me. + If you do know one, again, please #slink(people.alex.url)[contact me.] ] #section[