FormAPI
Stripe for PDFs
Expert Survey on Formal Methods [pdf]
2020-12-17
Ask HN: Why are stories such a big trend?
2020-12-17
Statecharts: A Visual Formalism for Complex Systems (1987) [pdf]
2020-12-17
Ask HN: Best iPad App for Handwritten Notes?
2020-12-17
Markdown – A lightweight markup language with plain-text-formatting syntax
2020-12-17
Mars lander spots deep layers beneath surface, offering clues to its formation
2020-12-16
Formal methods to verify AWS Over The Air protocol
2020-12-15
Goodbye, JavaScript: Formality is now implemented in itself
2020-12-15
Bebop: An Extremely Simple, Fast, Efficient, Cross-Platform Serialization Format
2020-12-15
Is Multi Level Security the Answer to Our InfoSec Woes?
2020-12-15
