Science/Tech>Science

How to Write Software With Mathematical Perfection

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.

View thread on forum
0 845 0

Where Next?

View thread on forum
Home Science/Tech>Science
0 845 0
Last post

Popular Science Tech topics Top

First poster: bot
Science/Tech>Science

How We Can Make Sense of Chaos
Dynamical systems can be chaotic and impossible to predict, but mathematicians have discovered tools to help understand them. ...
quantamagazine.org
0 854 0
New
First poster: bot
Science/Tech>Science

Mathematical Connect-the-Dots Reveals How Structure Emerges
A new proof identifies precisely how large a mathematical graph must be before it contains a regular substructure. The post M...
quantamagazine.org
0 809 0
New
First poster: bot
Science/Tech>Science

Wild turtles age slowly. Some basically don’t age at all
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...
futurity.org
0 604 0
New
First poster: bot
Science/Tech>Science

Whatever hit the Moon in March, it left a double crater
Whatever hit the Moon in March, it left a double crater. NASA probe reveals strange hole created by suspected Chinese junk
theregister.com
0 622 0
New
First poster: bot
Science/Tech>Science

Endonuclease fingerprint indicates a synthetic origin of SARS-CoV-2?
To prevent future pandemics, it is important that we understand whether SARS-CoV-2 spilled over directly from animals to people, or indir...
biorxiv.org
0 812 0
New
First poster: bot
Science/Tech>Science

Ocean-surface temperatures are breaking records
Ocean-surface temperatures are breaking records. Here’s what that means
economist.com
0 606 0
New
CommunityNews
Science/Tech>Science

June extremes suggest parts of climate system are reaching tipping points
Research shows heat domes, wildfires, and vanishing polar ice are the symptoms.
arstechnica.com
0 524 0
New
CommunityNews
Science/Tech>Science

Living beings emit a faint light that extinguishes upon death, according to a new study
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 ...
phys.org
0 350 0
New
k.lee
Science/Tech>Science

Like Radio or OpenWebRX? We're Looking for Reviewers!
Hello, my name is Kelly Lee, and I’m a developmental editor at The Pragmatic Bookshelf. I’m currently looking for technical reviewers for...
#openwebrx#radio#hobby#softwaredefinedradio
1 284 0
New
CommunityNews
Science/Tech>Science

Seeing Microbes from the Sky
Biotechnology needs more and better transducers.
asimov.press
#microbes
0 1 0
New

Other popular topics Top

Exadra37
Linux>Questions

AMD or Intel for Programming with Linux as the OS?
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...
#desktop-computer
36 5740 10
New
DevotionGeo
Backend>Questions

Can someone explain the -t option/flag in docker run command?
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...
#docker
7 9055 2
New
DevotionGeo
Backend>Chat

Would you use Erlang now when there is Elixir?
Why, if your answer is yes?
/elixir/erlang
167 4700 52
New
AstonJ
General Dev>Hardware

Custom keyboard keycaps
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....
#hardware/keyboards#keycaps#mechanical-keyboards
15 9736 19
New
AstonJ
Backend>Questions

Erlang's not installing on macOS Big Sur "You are natively building Erlang/OTP for a later version of MacOSX than current version"
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 ...
#macos/erlang#big-sur#asdf
10 5914 8
New
AstonJ
Backend>Chat

Rails console using 100% CPU in dev (fix)
If you are experiencing Rails console using 100% CPU on your dev machine, then updating your development and test gems might fix the issu...
/ruby/rails
3 3971 3
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Jamis Buck (Author) Interview and AMA!
Author Spotlight Jamis Buck @jamis This month, we have the pleasure of spotlighting author Jamis Buck, who has written Mazes for Prog...
#author-spotlight/ruby/book-the-ray-tracer-challenge/book-mazes-for-programmers
21 5823 9
New
Help
Game Dev>Questions

Can I use Java to program a game for Nintendo switch?
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...
/java#nintendo
8 3968 3
New
sir.laksmana_wenk
Game Dev>Questions

I want to learn how make a game, but where should I start?
I’m able to do the “artistic” part of game-development; character designing/modeling, music, environment modeling, etc. However, I don’t...
#game-dev
14 4122 9
New
AstonJ
Backend>Questions

Psql: error: connection to server on socket "/tmp/.s.PGSQL.5432" failed: No such file or directory
If you’re getting errors like this: psql: error: connection to server on socket “/tmp/.s.PGSQL.5432” failed: No such file or directory ...
#macos/rails/postgresql
1 4231 1
New
Back to top

Sponsor Spotlight

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Science/Tech>Science

Science/Tech Science ❯

Latest on Devtalk

Devtalk ❯

We ❤️ helpful members!

We reward our most helpful members via our MOTM scheme - by giving away a whopping 25 books per year!

Member of the Month

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap