Ask HN: What tools make using Windows more bearable (for Linux folk)?

2021-11-27

CodeGenX, a code generation system powered by GPT-J

2021-11-25

Orion 0.17 – X25519 with formally-verified field arithmetic and serde support

2021-11-25

GitHub Readme Support Image Dark Mode

2021-11-25

Ask HN: Is There an IMAP2Git?

2021-11-24

Why should you work for a DAO – or should you?

2021-11-22

Formalizing Dawn in Coq

2021-11-21

Type Theory and Formal Proof: An Introduction

2021-11-21

Ask HN: How do I hire an initial developer for an earnest undertaking?

2021-11-21

Using Lightweight Formal Methods to Validate Services in Amazon S3 [pdf]

2021-11-19