XhirpJul 28, 2023
Adrian Sampson
super sorry to the guy with the username @reset on GitHub, whom we keep accidentally sending email to when we talk about setting registers to zero https://github.com/cucapra/calyx/issues/1640#issuecomment-1652270808
Comb components not handled properly during clk and reset insertion passes · Issue #1640 · cucapra/calyx

I'm running into an issue where comb components are expected to have clk and reset ports during the clk and reset insertion passes. If I manually add @clk and @reset ports to the comb components ev...

GitHub
Jul 27, 2023 at 1:15amWeb
Show threadPierre BourdonJul 27, 2023
@adrian to be fair, that's kinda self-inflicted :-)
Show threadkusJul 27, 2023
@delroth @adrian is it also self-inflicted if I have @k and someone writes l@@k instead of look?
Show threadFrost, wolf of winter 🐺🎄Jul 27, 2023
@adrian This is like on here where people make "@_@" faces and ping whoever's named @_ on their instance, if any. :3
Show threadLars BrinkhoffJul 27, 2023
@IceWolf @adrian How about this one: https://github.com/posedge
Posedge - Overview

Invalidating caches, and naming things. Posedge has 13 repositories available. Follow their code on GitHub.

GitHub
Show threadbdnJul 27, 2023
@IceWolf @adrian Never gets old!
Show threadmerijnJul 27, 2023
@adrian that reminds me of the story where a sec researcher bought license plate NULL. And got all the traffic violation tickets which could not be assigned to a license plate.
Show threadLitoMoreJul 27, 2023
@adrian @mogita They should never write `@[any_text]` directly in GitHub's issues or PRs.
Show threadLinuxUserGD Jul 27, 2023
@LitoMore @adrian @mogita same for #[number]
Show threadMatija ŠukljeJul 27, 2023

@adrian haha, I know that pain 😅

Pick a famous pirate's name as your nickname in the 90's and have your IRC notifications regularly blink often on technical channels

Show threadtomekwJul 27, 2023
@adrian I guess backticks would help here 🙂
Show threadChris Lilley 🏴󠁧󠁢󠁳󠁣󠁴󠁿Jul 27, 2023
@adrian Yeah @csswg constantly annoys someone called @font whenever we discuss @font-face and related topics.
Show threadJohannes  Jul 27, 2023
@svgeesus kinda rude to constantly discuss their face, tbh
Show threadAlister BulmanJul 27, 2023
@adrian I got my first Github issue email from someone just a couple of days ago - though that does mean I've now found another 'Alister' (there's not many). I've gotten a lot more emails with 'a'+surname though - like a Canadian with a $2000+ cable bill, or an office-manager here in London.
Show threadpokesJul 27, 2023

@adrian Being pokes on IRC meant I would get private messages with a random username many times a day.

It's easy to brain-fart "/me pokes [name]" into /msg.

Show threadLinuxUserGD Jul 27, 2023
@adrian https://github.com/github/markup/issues/1168#issuecomment-494946168
@<!-- -->reset would work
@ character is not escapable · Issue #1168 · github/markup

User Story As a GitHub user I want to make @ characters escapable to avoid the automatic mentioning of users. Problem In GitHub issue comments it is not possible to escape the @ character with the ...

GitHub
Show threadelseJul 27, 2023
@adrian I used to own @else, but it got too annoying because I ended up getting lots of PR and comment notifications, so I eventually abandoned it
Show threadГригорий КлюшниковJul 27, 2023
But he's okay with it
@reset here. Always reply when I get @‘d because I love the laugh and also genui... | Hacker News

Show threadNate MJul 27, 2023
@grishka @adrian that's good to know
Show threadLeon BrocardJul 27, 2023
@adrian “(at)acme” is used as a placeholder in a bunch of frameworks, but is also my GitHub username. Cue many notifications… ☹️
Show threadsebastian ⚡Jul 27, 2023
@adrian
Back when I made my matrix account, I had just finished reading The State of the Art, so I decided to pick the shortest name of a culture spaceship mentioned in this book. Ever since I get notifications whenever somebody mentions "arbitrary string", "arbitrary code execution" or "arbitrary number"...
Show threadAhurac Jul 27, 2023
@adrian BRUH 💀💀
Show threadDuncan HorneJul 27, 2023
@adrian he obviously sees the funny side of it, though 😅
Show threadStephen H. GerstackerJul 27, 2023
@adrian I’ve got @stack on GitHub, so every language that uses an “@“ for a variable that uses some sort of stack automatically messages me.
Show threadlocksJul 27, 2023
@adrian my handle it (at)locks, so I understand this 🤣
Show threadAlex McKennaJul 27, 2023
@adrian
Show threadRealGene ☣️Jul 27, 2023

@adrian
"@ character is not escapable"

This PR proves it…

Show threadVicente ⁂Jul 27, 2023
@adrian idk, they seem happy about it
Show threadShawn "Fruan" PoulsenJul 27, 2023
@adrian I am reminded of the story of how the great Steve Wozniak was extremely pleased with himself after securing the phone number 888-8888 only to realise that toddlers would often grab phones and mash a button…
Show threadPatrick GrayJul 27, 2023
@adrian but @clk remains elusive
Show thread叽里咕噜Jul 27, 2023
@adrian 哈哈哈哈
Show threadAndrew HodgsonJul 27, 2023
@adrian That gave me a laugh.
Show threadPaul Gregoire 👾🖖Jul 27, 2023
@adrian self-inflicted and also about a short-sighted as the people with the license plate of "null"; expect lots of tickets.. lmao
Show threadyrJul 27, 2023
@adrian people @​_@ me all the time
Show threadThomas BroyerJul 27, 2023
@adrian @manusridharan Also @Inject, @SuppressWarnings, @deprecated, …
Show threadPhilip Mallegol-HansenJul 27, 2023
@adrian @siracusa He knew what he was doing when he picked the handle.
Show threadAnders HovmöllerJul 28, 2023
@philip @adrian @siracusa That's a big assumption. I'm @boxed here and github. A nick I started using before @ was used to mention someone like this. I get a lot of notifications from github because people write @boxed in *commit messages*. I find this to be an absolutely idiotic feature.
Show threadBen RosengartJul 30, 2023
@adrian @regehr I wonder if they know Grandmaster Flash.
Show threadJames WhiteJul 31, 2023
@adrian @shortridge https://github.com/rick/you-rang/issues/1
Hithere! · Issue #1 · rick/you-rang

What is this??? My username on GitHub is @rick. If you have a public GitHub repository and you mention @rick on it, I get notified. People often do this when they're doing things like "Hey @rick Jo...

GitHub