Hacker News new | ask | show | jobs
by bweitzman 3482 days ago
Why call it systemf? That name is already taken: https://en.wikipedia.org/wiki/System_F
1 comments

Didn't you get the memo? We ran out of names about 10 years ago, so now everything is fair game