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

A new database reveals how much humans are messing with evolution
Some animals and plants are rapidly adapting to our warming, polluted world.
arstechnica.com
#database
0 982 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

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 1319 0
New
CommunityNews
Science/Tech>Science

Is Finland's Wood City the future of building?
New public buildings in Finland have to incorporate more wood, which is leading builders to innovate.
bbc.co.uk
1 881 1
New
First poster: bot
Science/Tech>Science

Social isolation and the brain in the pandemic era
Social isolation and the brain in the pandemic era - Nature Human Behaviour. Danilo Bzdok and Robin I. M. Dunbar review the neurobiology...
nature.com
#social
0 883 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

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 962 0
New
CommunityNews
Science/Tech>Science

Neurobiological substrates of altered states of consciousness induced by high ventilation breathwork accompanied by music
The popularity of breathwork as a therapeutic tool for psychological distress is rapidly expanding. Breathwork practices that increase ve...
journals.plos.org
#music
0 327 0
New
First poster: brennan
Science/Tech>Science

A lifetime of social ties adds up to healthy aging
Research shows the biological aging process can be slowed by strong social connections and support.
news.cornell.edu
#social
1 495 2
New
CommunityNews
Science/Tech>Science

Tiny electric motor is as powerful as four Tesla motors put together and outperforms record holder by 40%
UK-based YASA has just built a tiny electric motor that makes Tesla motors look like slackers, and this invention could potentially resha...
supercarblondie.com
#tesla
0 169 0
New

Other popular topics Top

PragmaticBookshelf
General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms, Second Edition
Algorithms and data structures are much more than abstract concepts. Mastering them enables you to write code that runs faster and more e...
pragprog.com
#pragprog/python/ruby#published-book/book-a-common-sense-guide-to-data-structures-and-algorithms-second-edition#math#algorithms/js
19 6022 5
New
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 4892 20
New
AstonJ
General Dev>Dev Chat

Which language or framework do you want to learn next?
Curious to know which languages and frameworks you’re all thinking about learning next :upside_down_face: Perhaps if there’s enough peop...
#community#learning
243 6639 97
New
dimitarvp
macOS>Chat

My thoughts on macOS vs Linux
Small essay with thoughts on macOS vs. Linux: I know @Exadra37 is just waiting around the corner to scream at me “I TOLD YOU SO!!!” but I...
#macos#linux
166 9730 69
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
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 6358 6
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Dmitry Zinoviev (Author) Interview and AMA!
Author Spotlight Dmitry Zinoviev @aqsaqal Today we’re putting our spotlight on Dmitry Zinoviev, author of Data Science Essentials in ...
#author-spotlight/python/book-complex-network-analysis-in-python/book-data-science-essentials-in-python/book-resourceful-code-reuse/book-pythonic-programming
33 5211 14
New
AnfaengerAlex
Android>Questions

Unresolved Reference to android in build.gradle.kts – Beginner Issue
Hello, I’m a beginner in Android development and I’m facing an issue with my project setup. In my build.gradle.kts file, I have the foll...
#binding
0 7460 2
New
NewsBot
Backend>Official News

Node.js v22.14.0 released!
Node.js v22.14.0 has been released. Link: Release 2025-02-11, Version 22.14.0 'Jod' (LTS), @aduh95 · nodejs/node · GitHub
github.com
/nodejs#official-news
0 4251 0
New
RobertRichards
Game Dev>Chat

Hair Salon Games for Girls Fun
Hair Salon Games for Girls Fun Girls Hair Saloon game is mainly developed for kids. This game allows users to select virtual avatars to ...
#ios#android#unity#fun
2 3556 1
New
Back to top

Sponsor Spotlight

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

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

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

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap