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 703 0

Where Next?

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

Popular Science Tech topics Top

First poster: bot
Science/Tech>Science

This synthetic-fuel startup just got $75 million from Porsche
After spending $22 million on the pilot plant, Porsche buys a 12.5% stake.
arstechnica.com
#startup
0 671 0
New
CommunityNews
Science/Tech>Science

Which Computational Universe Do We Live In?
Cryptographers want to know which of five possible worlds we inhabit, which will reveal whether truly secure cryptography is even possibl...
quantamagazine.org
6 678 1
New
First poster: bot
Science/Tech>Science

The quest to explore Colombia’s untouched jungle
The quest to explore Colombia’s untouched jungle. Colombia is on a mission to make sense of its rich biodiversity, isolated thanks to ye...
bbc.com
0 544 0
New
First poster: bot
Science/Tech>Science

This plasma ignition system can increase engine efficiency by 20%
The TPS ignition system has been designed to work with existing engines.
arstechnica.com
0 465 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 495 0
New
First poster: bot
Science/Tech>Science

The Importance of Elders
The Importance of Elders. Researchers argue that the long human lifespan is due in part to the contributions of older adults
news.ucsb.edu
0 611 0
New
First poster: bot
Science/Tech>Science

It’s raining PFAS: rainwater is unsafe to drink even in Antarctica and Tibet
It’s raining PFAS: even in Antarctica and on the Tibetan plateau rainwater is unsafe to drink - Stockholm University. Per- and polyfluor...
su.se
1 635 0
New
First poster: bot
Science/Tech>Science

The World Has Passed ‘Peak Agricultural Land’
After Millennia of Agricultural Expansion, the World Has Passed ‘Peak Agricultural Land’. The future of food production does not need to...
singularityhub.com
0 574 0
New
First poster: bot
Science/Tech>Science

Egg whites can be transformed into a material capable of filtering microplastics
Egg whites can be transformed into a material capable of filtering microplastics from seawater. Researchers at Princeton Engineering hav...
phys.org
0 531 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 399 0
New

Other popular topics Top

malloryerik
Frontend>Chat

Svelte - what do you think about it?
Any thoughts on Svelte? Svelte is a radical new approach to building user interfaces. Whereas traditional frameworks like React and Vue...
#opinions/svelte
54 3555 17
New
Exadra37
General Dev>Hardware

What monitor(s) do you have for programming?
Please tell us what is your preferred monitor setup for programming(not gaming) and why you have chosen it. Does your monitor have eye p...
#monitors#coding#programming#development
227 8684 88
New
siddhant3030
General Dev>Dev Chat

Which vertical monitor do you use?
I’m thinking of buying a monitor that I can rotate to use as a vertical monitor? Also, I want to know if someone is using it for program...
#monitors#programming
51 4319 20
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 5616 8
New
Exadra37
Linux>Chat

RancherOS is in end of life
Oh just spent so much time on this to discover now that RancherOS is in end of life but Rancher is refusing to mark the Github repo as su...
#linux#rancheros
10 5256 6
New
AstonJ
General Dev>Dev Chat

Languages Without Garbage Collection
Continuing the discussion from Thinking about learning Crystal, let’s discuss - I was wondering which languages don’t GC - maybe we can c...
#garbage-collection
21 4800 7
New
AstonJ
General Dev>Hardware

CharaChorder - type at the speed of thought?
Saw this on TikTok of all places! :lol: Anyone heard of them before? Lite:
/keyboards#charachorder
13 3957 4
New
husaindevelop
Android>Questions

Clipboard readtext not working in android webview
Inside our android webview app, we are trying to paste the copied content from another app eg (notes) using navigator.clipboard.readtext ...
#android#clipboard
1 3243 0
New
AnfaengerAlex
Android>Questions

Unresolved Reference to android in build.gradle.kts – Beginner Issue
Hello, I’m a beginner in Android development and I’m facing an issue with my project setup. In my build.gradle.kts file, I have the foll...
#binding
0 2183 2
New
AstonJ
AI>Chat

Post your DeepSeek results
Curious what kind of results others are getting, I think actually prefer the 7B model to the 32B model, not only is it faster but the qua...
/deepseek
15 1138 15
New
Back to top

Sponsor Spotlight

Manning

Develop your skills with books, videos, and courses.

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'll 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'll 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