CommunityNews

CommunityNews

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.

Popular Science topics Top

AstonJ
China used facial recognition quite extensively: And now Russia is too: https://www.bbc.co.uk/news/av/world-europe-52157131/coronaviru...
New
AstonJ
Probably only a delay of the inevitable - with facial-recognition systems already part of daily lives in countries such as China, how lon...
New
AstonJ
Just listening now… details revealed in Thinking Elixir’s podcast: José Valim visits and finally publicly reveals what Project Nx is! H...
New
First poster: bot
Celia Escamilla-Rivera is combining large data sets with supercomputers to test general relativity against its little-known competitors. ...
New
First poster: bot
Monsanto’s Ghostwriting to Influence Science and Media. While most ghostwriting scandals in science involve physicians, the agrichemical...
New
First poster: bot
Abstract The use of low sub-perceptual doses of psychedelics (“microdosing”) has gained popularity in recent years. Although anecdotal re...
New
First poster: bot
After Millennia of Agricultural Expansion, the World Has Passed ‘Peak Agricultural Land’. The future of food production does not need to...
New
First poster: bot
Using inserted genetic circuitry, synthetic biologists controlled the growth of plant roots for the first time. The post Biol...
New
CommunityNews
Research shows heat domes, wildfires, and vanishing polar ice are the symptoms.
New
CommunityNews
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...
New

Other popular topics Top

AstonJ
A thread that every forum needs! Simply post a link to a track on YouTube (or SoundCloud or Vimeo amongst others!) on a separate line an...
New
PragmaticBookshelf
A PragProg Hero’s Journey with Brian P. Hogan @bphogan Have you ever worried that your only legacy will be in the form of legacy...
New
AstonJ
SpaceVim seems to be gaining in features and popularity and I just wondered how it compares with SpaceMacs in 2020 - anyone have any thou...
New
Exadra37
I am a Linux user since 2012, more or less, and I always use Ubuntu on my computers, and my last 2 laptops have been used Thinkpads, wher...
New
AstonJ
In case anyone else is wondering why Ruby 3 doesn’t show when you do asdf list-all ruby :man_facepalming: do this first: asdf plugin-upd...
New
gagan7995
API 4 Path: /user/following/ Method: GET Description: Returns the list of all names of people whom the user follows Response [ { ...
New
rustkas
Intensively researching Erlang books and additional resources on it, I have found that the topic of using Regular Expressions is either c...
New
PragmaticBookshelf
Author Spotlight Rebecca Skinner @RebeccaSkinner Welcome to our latest author spotlight, where we sit down with Rebecca Skinner, auth...
New
PragmaticBookshelf
Author Spotlight: VM Brasseur @vmbrasseur We have a treat for you today! We turn the spotlight onto Open Source as we sit down with V...
New
First poster: bot
Large Language Models like ChatGPT say The Darnedest Things. The Errors They MakeWhy We Need to Document Them, and What We Have Decided ...
New