Static Analysis Results Interchange Format (Sarif)

2021-10-18

Why do computers stop and what can be done about it? [pdf]

2021-09-01

Sketch2Code – Transform sketches into HTML using AI

2021-07-27

TLA+: a high-level language for modeling programs and systems

2021-07-01

TLA+ is a language for modeling concurrent and distributed programs and systems

2021-06-10

I made my own streaming website. AWS, Azure, Vimeo are all rip offs

2021-06-09

Ask HN: Should you implement your own authentication system?

2021-05-31

Securing an Azure App Service Website Under SSL in Minutes with Let's Encrypt

2021-05-28

Tag Hierarchies via Template Literal Types

2021-05-22

Ask HN: Why Is Everything in Chinese?

2021-05-06