FormAPI
Stripe for PDFs
Formal Reasoning About Programs (2017) [pdf]
2019-12-31
Nikola Tesla Predicted the Smartphone
2019-12-30
Show HN: Script to download Tweets into a format ideal for training an AI model
2019-12-30
Compiling Formality to the EVM. Cost: ~200 gas per beta-reduction
2019-12-29
Hasselblad X1D review: 50M astonishing pixels (2018)
2019-12-29
Formality Language
2019-12-29
Speeding up model with fusing batch normalization and convolution
2019-12-28
Ask HN: Is there an JavaScript and HTML rich text editor that uses templates?
2019-12-28
Overcoming classical limits on formation of metal-bonding self-healing hydrogels
2019-12-27
Peeding up model with fusing batch normalization and convolution
2019-12-25
