This is the best option. I recommend Nand2Tetris to everyone! It's an incredibly well designed and executed course
Ooh, I hadn't heard of Quarto before, but it looks really good! Thanks for mentioning it!
I wanna go to one so bad! But they never happen in my city..
Have you seen all the people just stuffing their profile README full of random graphics and stats and badges
Ohhhh, this site is a great find. Exploring all the articles right now. Thanks!
eBPF is something that I've been exploring recently for work. I was quite blown away when I realized the true potential. I did find it difficult to get started, and while this article is a good introduction, some example code or hands on would be nice to have
I'll be sure to read it when you do :)
OTOH, the more pythonic one will probably perform worse, but I'm not familiar enough with Python internals to make that claim without benchmarks.
I'll try it out and add the data in the article
You are right that it does feel a little roundabout. My understanding is that webfinger converts from the username to the user profile url and image. This is useful during federation, and for generic fedi/activitypub clients because different Fedi software maps usernames and profiles differently.
For example, user@lemmy.instance will reside at lemmy.instance/u/user, while user @mastodon.instance will reside at mastodon.instance/user.
Fom some poking around, it seems that Lemmy does not properly support sending the profile image on Webfinger because I wasn't able to do it using the rel
parameters that are mentioned in the spec.
This is strange. I tried your snippet with your file and it works for me: