Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
quic5
on July 27, 2023
|
parent
|
context
|
favorite
| on:
Super sorry to the guy with the username reset on ...
Happens a lot with Zig's builtin functions: See
https://github.com/ziglang/zig/issues?q=is%3Aissue+mentions%...
for example
ctz
on July 27, 2023
[–]
I am @ctz and I'm forever being pinged by zig people lol
AndyKelley
on July 27, 2023
|
parent
[–]
I do apologize. The core contributors are all in the habit of using backticks (`@ctz`) but an endless stream of new contributors come in and understandably aren't aware of GitHub-flavored markdown.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: