Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
There are people trying to make it more readable.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
- It took Russell and that other guy 360 pages to prove that 1+1=2. That's how rigorous math is.
- Ask HN: Would prog. language look like if that was designed by no-programmer
- Whitehead and Russell’s Principia rewritten in Coq
- Whitehead and Russell’s Principia rewritten in Coq
- Hacker News top posts: Dec 6, 2021