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

There’s no healthy economy (or planet) without healthy forests
Forests are fundamental for the economy, reaching climate targets, and more.
arstechnica.com
#planet#ethics
0 816 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 995 0
New
First poster: bot
Science/Tech>Science

How do dolphins choose their name?
How Do Dolphins Choose Their Name? . Dolphins identify themselves with a unique whistle that scientists have likened to a human name. He...
discovermagazine.com
0 820 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
First poster: bot
Science/Tech>Science

Ancient herpes simplex 1 genomes reveal recent viral structure in Eurasia
Abstract Human herpes simplex virus 1 (HSV-1), a life-long infection spread by oral contact, infects a majority of adults globally. Phylo...
science.org
0 948 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
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

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

June extremes suggest parts of climate system are reaching tipping points
Research shows heat domes, wildfires, and vanishing polar ice are the symptoms.
arstechnica.com
0 584 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

Other popular topics Top

DevotionGeo
Backend>Chat

Would you use Erlang now when there is Elixir?
Why, if your answer is yes?
/elixir/erlang
167 4955 52
New
PragmaticBookshelf
Data Science

Genetic Algorithms in Elixir
From finance to artificial intelligence, genetic algorithms are a powerful tool with a wide array of applications. But you don't need an ...
#pragprog#ai/elixir#published-book/book-genetic-algorithms-in-elixir
25 5243 6
New
AstonJ
General Dev>Code Editors

Onivim 2 Code Editor
Thanks to @foxtrottwist’s and @Tomas’s posts in this thread: Poll: Which code editor do you use? I bought Onivim! :nerd_face: https://on...
#code-editors/onivim/revery
88 6144 32
New
husaindevelop
Android>Questions

Clipboard readtext not working in android webview
Inside our android webview app, we are trying to paste the copied content from another app eg (notes) using navigator.clipboard.readtext ...
#android#clipboard
1 5651 0
New
First poster: AstonJ
General Dev>In The News

Jan: An open source alternative to ChatGPT that runs on the desktop
Jan | Rethink the Computer. Jan turns your computer into an AI machine by running LLMs locally on your computer. It’s a privacy-focus, l...
jan.ai
#desktop#chatgpt
4 5652 4
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 7404 7
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
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
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 8411 3
New
PragmaticBookshelf
Backend>Learning Resources

Advanced Functional Programming with Elixir
Use advanced functional programming principles, practical Domain-Driven Design techniques, and production-ready Elixir code to build scal...
joekoski.com
#pragprog/elixir#published-book#functional-programming/book-advanced-functional-programming-with-elixir
43 4989 22
New
Back to top

Sponsor Spotlight

Manning

Develop your skills with books, videos, and courses.

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