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

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

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. Th...
quantamagazine.org
0 845 0
New
First poster: bot
Science/Tech>Science

Microdosing with psilocybin mushrooms: a double-blind placebo-controlled study
Abstract The use of low sub-perceptual doses of psychedelics (“microdosing”) has gained popularity in recent years. Although anecdotal re...
nature.com
#microdosing
0 1168 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 770 0
New
First poster: bot
Science/Tech>Science

Lab-made Covid virus draws government scrutiny
Boston University researchers’ testing of lab-made version of Covid virus draws government scrutiny. Research at Boston University that ...
statnews.com
#covid
0 694 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

Study finds mushrooms magnify memory by boosting nerve growth
Study finds mushrooms magnify memory by boosting nerve growth. Researchers from The University of Queensland have discovered the active ...
medicalxpress.com
0 778 0
New
First poster: bot
Science/Tech>Science

Ocean-surface temperatures are breaking records
Ocean-surface temperatures are breaking records. Here’s what that means
economist.com
0 606 0
New
CommunityNews
Science/Tech>Science

Drone footage of baby penguins jumping off cliff
Baby Penguins Jump Off 50-Foot Cliff in First-of-Its-Kind Drone Footage. This is a world first.
petapixel.com
0 428 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 4728 82
New
PragmaticBookshelf
Game Dev>Learning Resources

Apple Game Frameworks and Technologies
Design and develop sophisticated 2D games that are as much fun to make as they are to play. From particle effects and pathfinding to soci...
pragprog.com
#pragprog#ios#game-dev#macos/swift#published-book#apple/book-apple-game-frameworks-and-technologies
30 6234 10
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 5914 8
New
AstonJ
Backend>Chat

Rails console using 100% CPU in dev (fix)
If you are experiencing Rails console using 100% CPU on your dev machine, then updating your development and test gems might fix the issu...
/ruby/rails
3 3971 3
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
78 8285 23
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 3968 3
New
PragmaticBookshelf
Backend>Learning Resources

Programming Ruby 3.2 (5th Edition)
Programming Ruby is the most complete book on Ruby, covering both the language itself and the standard library as well as commonly used t...
twitter.com
#pragprog/ruby/rails#published-book/book-programming-ruby-3-2-5th-edition
28 6382 13
New
PragmaticBookshelf
Backend>Learning Resources

Agile Web Development with Rails 8
Get the comprehensive, insider information you need for Rails 8 with the new edition of this award-winning classic. Sam Ruby @rubys ...
pragprog.com
#pragprog#web-development/ruby/rails#published-book/book-agile-web-development-with-rails-8
12 5049 7
New
PragmaticBookshelf
Backend>Learning Resources

MySQL 9 Essentials
A concise guide to MySQL 9 database administration, covering fundamental concepts, techniques, and best practices. Neil Smyth MySQL...
pragprog.com
#pragprog#published-book/mysql/book-mysql-9-essentials
2 2579 0
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 5092 3
New
Back to top

Sponsor Spotlight

WyewWorks

Enabling companies to succeed by building software people love.

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.

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.

EEF

Supporting innovation across the BEAM ecosystem.

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