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

In Search of Cracks in Albert Einstein’s Theory of Gravity
Celia Escamilla-Rivera is combining large data sets with supercomputers to test general relativity against its little-known competitors. ...
quantamagazine.org
0 703 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

Will Japan run on ammonia? Major chemical firms want to build the infrastructure
In Japan, Mitsui Chemicals and three other firms are about to demonstrate the feasibility of switching from methane to ammonia as the mai...
cen.acs.org
#infrastructure
0 695 0
New
First poster: bot
Science/Tech>Science

Endemic Pathogens Are Making You Crazy and Then Killing You
Endemic Pathogens Are Making You Crazy And Then Killing You: Toxoplasmosis Spotlight. In February 2022, Jim Keller organized a scientifi...
hardtowrite.com
0 535 0
New
First poster: bot
Science/Tech>Science

There’s no healthy economy (or planet) without healthy forests
Forests are fundamental for the economy, reaching climate targets, and more.
arstechnica.com
#planet#ethics
0 654 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

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 655 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

Biologists Use Genetic Circuits to Program Plant Roots
Using inserted genetic circuitry, synthetic biologists controlled the growth of plant roots for the first time. The post Biol...
quantamagazine.org
0 590 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

wolf4earth
Science/Tech>Health & Diet

How do you keep fit and healthy?
@AstonJ prompted me to open this topic after I mentioned in the lockdown thread how I started to do a lot more for my fitness. https://f...
#fitness#heath
193 4510 82
New
AstonJ
General Dev>Code Editors

Poll: Which code editor do you use?
You might be thinking we should just ask who’s not using VSCode :joy: however there are some new additions in the space that might give V...
#notepad
118 4871 60
New
PragmaticBookshelf
Game Dev>Learning Resources

Hands-on Rust: Effective Learning through 2D Game Development and Play
Rust is an exciting new programming language combining the power of C with memory safety, fearless concurrency, and productivity boosters...
pragprog.com
#pragprog/rust#published-book/book-hands-on-rust
116 8174 31
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
Science/Tech>Health & Diet

Did you manage to avoid covid19?
Seems like a lot of people caught it - just wondered whether any of you did? As far as I know I didn’t, but it wouldn’t surprise me if I...
#covid19
190 3839 79
New
rustkas
Backend>Chat

Using Regular Expressions in Erlang
Intensively researching Erlang books and additional resources on it, I have found that the topic of using Regular Expressions is either c...
/erlang#regular-expressions
91 5152 43
New
mafinar
Backend>Chat

Data Structures and Algorithms with Elixir
This is going to be a long an frequently posted thread. While talking to a friend of mine who has taken data structure and algorithm cou...
/elixir#algorithms#data-structures
108 9152 31
New
AstonJ
Science/Tech>Health & Diet

David Sinclair's new Lifespan podcast
We’ve talked about his book briefly here but it is quickly becoming obsolete - so he’s decided to create a series of 7 podcasts, the firs...
#health#podcasts#bio-hackers#david-sinclair
87 6021 49
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 3528 3
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
Back to top

Sponsor Spotlight

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

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