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

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 826 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 659 0
New
First poster: bot
Science/Tech>Science

Monsanto’s ghostwriting to influence science and media
Monsanto’s Ghostwriting to Influence Science and Media. While most ghostwriting scandals in science involve physicians, the agrichemical...
disinformationchronicle.substack.com
2 671 0
New
First poster: bot
Science/Tech>Science

Cheap, green hydrogen would be a breakthrough in clean energy
To cut emissions, use this Swiss Army Knife. Cheap, green hydrogen would be a massive breakthrough in clean energy.
gatesnotes.com
#green#energy
0 849 0
New
First poster: bot
Science/Tech>Science

Multiple sclerosis has a common viral culprit, opening doors to new approaches
Multiple sclerosis has a common viral culprit, opening doors to new approaches. Learning how the common Epstein-Barr virus may trigger m...
sciencenews.org
0 783 0
New
First poster: bot
Science/Tech>Science

Hydrogen production from the air
Hydrogen production from the air - Nature Communications. While obtaining H2 from water splitting offers a promising strategy for renewa...
nature.com
#production
0 731 0
New
First poster: bot
Science/Tech>Science

Nikon Small World microscopy contest 2022: Meet this year’s top 10 winners
Your annual reminder that science can be beautiful as well as informative.
arstechnica.com
0 732 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

Where 2022’s news was (mostly) good: The year’s top science stories
Better urinals, older pants, and a helicopter on Mars, oh my!
arstechnica.com
#news
0 633 0
New
CommunityNews
Science/Tech>Science

A New Geometry for Einstein’s Theory of Relativity | Quanta Magazine
A team of mathematicians based in Vienna is developing tools to extend the scope of general relativity.
quantamagazine.org
0 248 0
New

Other popular topics Top

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 4622 20
New
Rainer
Community>Journals

Programming Erlang Book Club
My first contact with Erlang was about 2 years ago when I used RabbitMQ, which is written in Erlang, for my job. This made me curious and...
/erlang/book-programming-erlang-2nd-edition#book-club
195 6634 95
New
AstonJ
General Dev>Hardware

Poll: Which keyboard layout do you use?
poll poll Be sure to check out @Dusty’s article posted here: An Introduction to Alternative Keyboard Layouts It’s one of the best write-...
colemakmods.github.io
#polls/keyboards
10 5701 11
New
AstonJ
General Dev>Dev Chat

What are the 'coolest' languages and tech right now?
Inspired by this post from @Carter, which languages, frameworks or other tech or tools do you think is killing it right now? :upside_down...
#community/elixir/erlang/rust/typescript/phoenix#otp/svelte/wasm#adoption#cool-tech/agda
160 4064 49
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 5767 6
New
AstonJ
Data Science

Can AI/ML predict a lottery win?
Biggest jackpot ever apparently! :upside_down_face: I don’t (usually) gamble/play the lottery, but working on a program to predict the...
#ai#machine-learning
19 3496 10
New
AstonJ
Frontend>Chat

Online Hand to eye coordination test
Was just curious to see if any were around, found this one: I got 51/100: Not sure if it was meant to buy I am sure at times the b...
#online-tools
4 4021 1
New
DevotionGeo
General Dev>Questions

Do you prefer regular mechanical keyboards or low profile mechanical keyboards and why?
I have always used antique keyboards like Cherry MX 1800 or Cherry MX 8100 and almost always have modified the switches in some way, like...
/keyboards#mechanical-keyboards
27 3339 9
New
PragmaticBookshelf
General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms in Python, Volume 1
Big O Notation can make your code faster by orders of magnitude. Get the hands-on info you need to master data structures and algorithms ...
pragprog.com
#pragprog/python#published-book/book-a-common-sense-guide-to-data-structures-and-algorithms-in-python-volume-1
24 3803 11
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 3136 8
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 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