Formata
정적 사이트를 위한 굴복적인 캡쳐로부터 안심할수있는 웹 폼
7.3% of Stockholmers had Covid-19 antibodies in the last week of April
2020-05-20
What about Formal Proofs?
2020-05-20
Ask HN: Possible solution to AGI alignment and safety?
2020-05-20
XcodeClangFormat: Format code directly in Xcode with clang-format
2020-05-20
Numdiff: Compare files ignoring small numeric differences and numeric formats
2020-05-20
HTTP/1.1 pipelining example: DNS-Over-HTTPS
2020-05-20
Optical Insights into Renaissance Art
2020-05-19
Launch HN: Satchel (YC S18) – Guides to the Best SaaS Tools
2020-05-19
A strategy battle game with intelligent army formations
2020-05-19
DRT – A Formal Logic Approach to Natural Language
2020-05-18
