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

Where Next?

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

Popular Science Tech topics Top

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

Finding the biological roots for pathological social withdrawal, Hikikomori
Finding the biological roots for pathological social withdrawal, Hikikomori | Research Results | KYUSHU UNIVERSITY. Researchers identify...
kyushu-u.ac.jp
#social
0 929 0
New
First poster: bot
Science/Tech>Science

Nuclear Fusion Breakthrough California Team Achieved Ignition
Three peer-reviewed papers highlight scientific results of National Ignition Facility record yield shot. After decades of inertial confi...
llnl.gov
0 853 0
New
First poster: bot
Science/Tech>Science

Bacteria fight off viruses with a protein like one of ours
Eukaryotes, archaea, and bacteria share a set of proteins that block many viruses.
arstechnica.com
0 812 0
New
First poster: AlexWaldron
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 1730 2
New
First poster: bot
Science/Tech>Science

Lab-grown chicken safe to eat, say US regulators
It is the first time a meat product grown in a lab has been cleared for human consumption in the US.
bbc.co.uk
0 862 0
New
First poster: mercyf
Science/Tech>Science

Scientists discover receptor that blocks Covid-19 infection
Scientists discover receptor that blocks COVID-19 infection. University of Sydney scientists have discovered a protein in the lung that ...
sydney.edu.au
#covid
3 805 2
New
CommunityNews
Science/Tech>Science

Universe expected to decay in 10⁷⁸ years, much sooner than previously thought
The universe is decaying much faster than thought. This is shown by calculations of three Dutch scientists on the so-called Hawking radia...
phys.org
0 537 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 503 0
New
CommunityNews
Science/Tech>Science

Overshoot: The World Is Hitting Point of No Return on Climate
With warming set to pass the critical 1.5-degree limit, scientists are warning that the world is on course to trigger tipping points that...
e360.yale.edu
0 2 0
New

Other popular topics Top

AstonJ
General Dev>Hardware

Which keyboard do you have?
If it’s a mechanical keyboard, which switches do you have? Would you recommend it? Why? What will your next keyboard be? Pics always w...
#hardware/keyboards#sticky#mechanical-keyboards
144 9115 50
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 11362 88
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...
#community#polls/vim/emacs#code-editors/vscode#notepad/sublime-text#atom/textmate#codespaces#brackets/onivim#geany
121 5796 61
New
PragmaticBookshelf
Backend>Learning Resources

Programming Phoenix LiveView
Build highly interactive applications without ever leaving Elixir, the way the experts do. Let LiveView take care of performance, scalabi...
pragprog.com
#pragprog/elixir/phoenix#published-book/book-programming-phoenix-liveview
84 14528 26
New
AstonJ
General Dev>Code Editors

Doom-Emacs: Can't find emacs in your PATH
If you get Can't find emacs in your PATH when trying to install Doom Emacs on your Mac you… just… need to install Emacs first! :lol: bre...
#macos/emacs#doom-emacs
4 5837 0
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Bruce Tate (Author) Interview and AMA!
Author Spotlight: Bruce Tate @redrapids Programming languages always emerge out of need, and if that’s not always true, they’re defin...
/elixir/ruby/phoenix/book-seven-more-languages-in-seven-weeks/book-seven-languages-in-seven-weeks#liveview/book-programming-phoenix-liveview
54 5678 23
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
15 4965 9
New
PragmaticBookshelf
Backend>Learning Resources

Ash Framework
Explore the power of Ash Framework by modeling and building the domain for a real-world web application. Rebecca Le @sevenseacat and ...
pragprog.com
#pragprog/elixir#published-book/ash/book-ash-framework
15 7555 9
New
PragmaticBookshelf
Backend>Learning Resources

Simplicity
Fight complexity and reclaim the original spirit of agility by learning to simplify how you develop software. The result: a more humane a...
pragprog.com
#pragprog#published-book/book-simplicity
10 6553 8
New
Fl4m3Ph03n1x
AI>Questions

What are the best text-to-speech ai generation tools that you can run locally?
Background Lately I am in a quest to find a good quality TTS ai generation tool to run locally in order to create audio for some videos I...
#ai#text-to-speech
6 12337 3
New
Back to top

Sponsor Spotlight

coders51

We build reliable cloud platforms for business-critical systems.

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.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

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!"

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

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.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

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!"

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap