Programming in Z3 by learning to think like a compiler

woman holding a giant lego, attempting to build a structure out of giant legos
Image created by stories

--

--

--

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

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

How to build a Video Conferencing App for Android with EnableX APIs

Marrying Terraform and Serverless Framework

API Driven Development in Kurio: Speeding Up the Development Process with Open API 3

What happens when you type gcc main.c

Don’t forget that the “FOOTEARN TESTNET” is still happening right now !

Structure your CSS with BEM & SASS

Create a directory on Windows-like systems — Ansible module win_file

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
Marianne Bellotti

Marianne Bellotti

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

More from Medium

The Challenges Of Migrating To An Electric Vehicle Fleet

The Game of Life vs. Convolutions

Dockerizing a Programming Language

The exponentially zero valuation of IPython — or, why valuing software is so hard.