🇱🇧 expat living in 🇨🇭
PhD Student in Programming languages at the University of St.Gallen.
AUB and EPFL Alumni.
Programmer for more than 10 years.
Header picture is the green oval with the Fisk and Bliss buildings painted by Tarek Bohsali. It's in this corner where my best memories of AUB are.
| Site | https://grgz.me |
| Languages | EN / FR / عربي |
| Pronouns | He/Him |
| Bluesky | @grgzkhr.bsky.social |
Wie krass ist das bitte?
Merde alors! La page Wikipedia francaise est tellement meilleure que l'anglaise. J'aurais du la lire plus tot...
https://fr.wikipedia.org/wiki/Compl%C3%A9tion_de_Knuth-Bendix
That's a pretty damn good intro paper!
https://doi.org/10.1093/comjnl/34.1.2 (available on sci-hub)
I've had a lot of fun implementing KBC and playing with it thanks it :)
That being said, here are two things I wish the paper told me: (a) that the choice of term ordering is (1) important to convergence (when KBC does), and (2) important to get interesting theorems at the end, and (b) similarly, the choice of "precedence" of symbols is just as important and sometimes not evident.
It's 1998, you make a website in the copy of frontpage express that came with your computer, it's just like Word and it's very easy, you figure out how to upload it to the couple megs of web space that your ISP gives you (the instructions are on their website), you visit your site in your browser and everything's fine and the site's readable and everything looks the way it should
🦝 "Wow, if it's this easy in 1998, I bet it'll be even easier in 2026" you think to yourself for some reason
@gimmechocolate @gray17 I got you covered! I've got a "paper" showing that scribbles and loops can encode languages. my implementation targets GPX (which is just XML), but it could just as well support SVG path:
https://grgz.me/blog/posts/sigbovik24-getting-up-and-running-lambda-calculus.html
Discobiker 🚲💪🌈
Dan Fixes Coin-Ops
Eniko Fox
Gina