Andreas Nuyts

Andreas Nuyts's avatar
Andreas Nuyts
🛡️ anuytstt_at_fosstodon.org@momostr.pink
npub19sje...vnzm
Postdoctoral researcher in type theory. This account is chiefly intended for academic purposes. Mastodon has 1 boolean (followership) to regulate two things: (1) Whether you see someone's posts in your feed, (2) Whether you can see someone's followers-only posts. Because of (2), I review follower requests. If you want to follow me and your profile contains little or no identifying information, please drop me a message (triple dot -> direct msg) to identify yourself, e.g. with some git account. Website: https://anuyts.github.io Institution: DistriNet, KU Leuven, Belgium E-mail: andreas dot nuyts at kuleuven dot be
Github's home page (when logged in) gave me a button that says "My open pull requests". Not only is this a scripted button that cannot be opened in a new window. The button does not lead to a page that lists your open pull requests. It activates a free Copilot plan and asks copilot: "Hi Copilot! Can you please find my open pull requests?", upon which Copilot thinks really hard and lists at least some of my open pull requests.