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

How We Can Make Sense of Chaos
Dynamical systems can be chaotic and impossible to predict, but mathematicians have discovered tools to help understand them. ...
quantamagazine.org
0 983 0
New
First poster: bot
Science/Tech>Science

The quest to explore Colombia’s untouched jungle
The quest to explore Colombia’s untouched jungle. Colombia is on a mission to make sense of its rich biodiversity, isolated thanks to ye...
bbc.com
0 751 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 767 0
New
First poster: bot
Science/Tech>Science

Found: The 'holy grail of catalysis'– turning methane into methanol
Found: The ‘holy grail of catalysis’—turning methane into methanol under ambient conditions using light. An international team of resear...
phys.org
0 855 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

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: bot
Science/Tech>Science

Could getting rid of old cells turn back the clock on aging?
Researchers are investigating medicines that selectively kill decrepit cells.
arstechnica.com
0 864 0
New
CommunityNews
Science/Tech>Science

Scientists unfroze rat organs and transplanted them
Scientists successfully unfroze rat organs and transplanted them — a ‘historic’ step that could someday transform transplant medicine. I...
statnews.com
0 716 0
New
CommunityNews
Science/Tech>Science

The end of the dark universe?
The End of the Dark Universe?. A new “post-quantum” theory of gravity says we can wave dark matter and dark energy goodbye.
nautil.us
0 633 0
New
CommunityNews
Science/Tech>Science

Forces deep underground seem to be deforming Earth's inner core
Seismic waves suggest the planet’s solid inner core is being pulled out of shape – and it has undergone these changes over just a few dec...
newscientist.com
0 564 0
New

Other popular topics Top

PragmaticBookshelf
Backend>Learning Resources

Web Development with Clojure, Third Edition
Stop developing web apps with yesterday’s tools. Today, developers are increasingly adopting Clojure as a web-development platform. See f...
pragprog.com
#pragprog#web-development/clojure#published-book/book-web-development-with-clojure-third-edition
5 4584 1
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 7995 10
New
brentjanderson
General Dev>Hardware

Moonlander Keyboard (Mechanical) (Ergonomic) (Split) (Ortholinear)
Bought the Moonlander mechanical keyboard. Cherry Brown MX switches. Arms and wrists have been hurting enough that it’s time I did someth...
#hardware/keyboards#moonlander#mechanical-keyboards#ortholinear#ergonomic
212 17779 90
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 6048 11
New
PragmaticBookshelf
Frontend>Learning Resources

Modern CSS with Tailwind
Tailwind CSS is an exciting new CSS framework that allows you to design your site by composing simple utility classes to create complex e...
pragprog.com
#pragprog/tailwind#published-book/book-modern-css-with-tailwind
12 5813 4
New
AstonJ
General Dev>Dev Chat

Languages Without Garbage Collection
Continuing the discussion from Thinking about learning Crystal, let’s discuss - I was wondering which languages don’t GC - maybe we can c...
#garbage-collection
21 5575 7
New
PragmaticBookshelf
Backend>Learning Resources

Programming WebRTC
Use WebRTC to build web applications that stream media and data in real time directly from one user to another, all in the browser. ...
pragprog.com
#pragprog#published-book/js#webrtc/book-programming-webrtc
27 6969 6
New
foxtrottwist
General Dev>Dev Chat

Warp—The blazingly fast, Rust-based terminal
A few weeks ago I started using Warp a terminal written in rust. Though in it’s current state of development there are a few caveats (tab...
/rust#terminal
52 6785 22
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 11869 31
New
AstonJ
AI>In The News

DeepSeek (671B) running on a cluster of 8 Mac Mini Pros with 64GB RAM each
This is cool! DEEPSEEK-V3 ON M4 MAC: BLAZING FAST INFERENCE ON APPLE SILICON We just witnessed something incredible: the largest open-s...
#ai#macs/deepseek
0 6695 1
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.

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