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
After spending $22 million on the pilot plant, Porsche buys a 12.5% stake.
New
CommunityNews
Cryptographers want to know which of five possible worlds we inhabit, which will reveal whether truly secure cryptography is even possibl...
New
First poster: bot
The quest to explore Colombia’s untouched jungle. Colombia is on a mission to make sense of its rich biodiversity, isolated thanks to ye...
New
First poster: bot
The TPS ignition system has been designed to work with existing engines.
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
The Importance of Elders. Researchers argue that the long human lifespan is due in part to the contributions of older adults
New
First poster: bot
It’s raining PFAS: even in Antarctica and on the Tibetan plateau rainwater is unsafe to drink - Stockholm University. Per- and polyfluor...
New
First poster: bot
After Millennia of Agricultural Expansion, the World Has Passed ‘Peak Agricultural Land’. The future of food production does not need to...
New
First poster: bot
Egg whites can be transformed into a material capable of filtering microplastics from seawater. Researchers at Princeton Engineering hav...
New
CommunityNews
Research shows heat domes, wildfires, and vanishing polar ice are the symptoms.
New

Other popular topics Top

malloryerik
Any thoughts on Svelte? Svelte is a radical new approach to building user interfaces. Whereas traditional frameworks like React and Vue...
New
Exadra37
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...
New
siddhant3030
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...
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
Exadra37
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...
New
AstonJ
Continuing the discussion from Thinking about learning Crystal, let’s discuss - I was wondering which languages don’t GC - maybe we can c...
New
AstonJ
Saw this on TikTok of all places! :lol: Anyone heard of them before? Lite:
New
husaindevelop
Inside our android webview app, we are trying to paste the copied content from another app eg (notes) using navigator.clipboard.readtext ...
New
AnfaengerAlex
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...
New
AstonJ
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...
New