Software development: formal proof vs testing in the wild

Defining what a software is

Software & Mathematics

Formal proof vs simple evidence

The dilemma of unit tests vs formal proof

Software = Program + Context (world)

Some worlds don’t change (much!)

Some commercial user facing softwares don’t change much over time! Exceptions!

Decreasing value of any given proof against the time axis

Slack notification logic

More than 1 way to solve a problem

So, what does this mean?

The way forward

We should be able to use software to create software!




2x Founder -,

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

Recommended from Medium

Troubleshooting Velocity

Log all Prime Numbers until `n` using Javascript Generators

Make the most of WSL

How fast is JavaScript to C or C#?

Our inquiry should be about the integrity of the

Kotlin Coroutines in Android — Part 11

What is Saleor eCommerce Platform: Introduction

2021년 7월 WITH News Letter

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
Ramanathan RV

Ramanathan RV

2x Founder -,

More from Medium

Adding/Replacing Cassandra Nodes, You might wanna cleanup

Troubleshooting Flink on EMR

Realtime detection of Russian crypto-phone Era with Flink DataStream and Stateful Functions

The minimum infrastructure for running languages and models