CommunityNews

CommunityNews

How to Write Software With Mathematical Perfection

Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.

The post How to Write Software With Mathematical Perfection first appeared on Quanta Magazine

Read in full here:

This thread was posted by one of our members via one of our news source trackers.

Where Next?

Popular Science Tech topics Top

First poster: bot
Dynamical systems can be chaotic and impossible to predict, but mathematicians have discovered tools to help understand them. ...
New
First poster: bot
A new proof identifies precisely how large a mathematical graph must be before it contains a regular substructure. The post M...
New
First poster: bot
Wild turtles age slowly. Some basically don’t age at all - Futurity. New research finds that turtles in the wild age slowly and have lon...
New
First poster: bot
Whatever hit the Moon in March, it left a double crater. NASA probe reveals strange hole created by suspected Chinese junk
New
First poster: bot
To prevent future pandemics, it is important that we understand whether SARS-CoV-2 spilled over directly from animals to people, or indir...
New
First poster: bot
Ocean-surface temperatures are breaking records. Here’s what that means
New
CommunityNews
Research shows heat domes, wildfires, and vanishing polar ice are the symptoms.
New
CommunityNews
The light of someone’s life might not be just another person, but light in the literal sense. According to a recent study by researchers ...
New
k.lee
Hello, my name is Kelly Lee, and I’m a developmental editor at The Pragmatic Bookshelf. I’m currently looking for technical reviewers for...
New
New

Other popular topics Top

Exadra37
I am thinking in building or buy a desktop computer for programing, both professionally and on my free time, and my choice of OS is Linux...
New
DevotionGeo
I know that -t flag is used along with -i flag for getting an interactive shell. But I cannot digest what the man page for docker run com...
New
New
AstonJ
There’s a whole world of custom keycaps out there that I didn’t know existed! Check out all of our Keycaps threads here: https://forum....
New
AstonJ
Just done a fresh install of macOS Big Sur and on installing Erlang I am getting: asdf install erlang 23.1.2 Configure failed. checking ...
New
AstonJ
If you are experiencing Rails console using 100% CPU on your dev machine, then updating your development and test gems might fix the issu...
New
PragmaticBookshelf
Author Spotlight Jamis Buck @jamis This month, we have the pleasure of spotlighting author Jamis Buck, who has written Mazes for Prog...
New
Help
I am trying to crate a game for the Nintendo switch, I wanted to use Java as I am comfortable with that programming language. Can you use...
New
sir.laksmana_wenk
I’m able to do the “artistic” part of game-development; character designing/modeling, music, environment modeling, etc. However, I don’t...
New
AstonJ
If you’re getting errors like this: psql: error: connection to server on socket “/tmp/.s.PGSQL.5432” failed: No such file or directory ...
New