Open in app
Marianne Bellotti
2.4K Followers
About

Sign in

2.4K Followers
About
Open in app

It runs command line tools for you in VSCode. Syntax highlighting, code snippets, TLC process and results visualization are also included.

You might like this VSCode extension for TLA+: https://marketplace.visualstudio.com/items?itemName=a
1
1

Andrew Lygin

Marianne Bellotti

Marianne Bellotti

Aug 22, 2019·1 min read

Ohhhh! People keep telling me about how great VSCode is but I’ve never had a reason to try it out before. Thanks!

Written by

Marianne Bellotti

Author of Kill It with Fire Manage Aging Computer Systems (and Future Proof Modern Ones)

More from Marianne Bellotti

Author of Kill It with Fire Manage Aging Computer Systems (and Future Proof Modern Ones)

More From Medium

The Yang Gang and its Bots

Marianne Bellotti

What Would AI Look Like If We Built It Using System Safety?

Marianne Bellotti in Software Safety

The Three Levels of Software Safety

Marianne Bellotti in Software Safety

The Monolith That Breaks Up Itself

Marianne Bellotti in Rebellion Defense

The Subtle Power of Booleans

Marianne Bellotti in Software Safety

A Software Engineer’s Guide to Cybernetics

Marianne Bellotti in Software Safety

Toxic and Woke Engineering Orgs

Marianne Bellotti

Old Code Gets Younger Every Year

Marianne Bellotti in The Technical Archaeologist

About

Help

Legal

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store