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
Probably only a delay of the inevitable - with facial-recognition systems already part of daily lives in countries such as China, how lon...
New
First poster: bot
Adversarial.io is an easy-to-use webapp for altering image material, in order to make it machine-unreadable. It works best with 299 x 29...
New
First poster: bot
One of the first things to note about this book is that it is not an academic textbook. The authors of this book are not academics but a ...
New
First poster: bot
Summary In this project, we Added an OpenGL backend for MXNet/TVM - a general-purpose tensor computation framework, so that it automat...
New
First poster: bot
Some animals and plants are rapidly adapting to our warming, polluted world.
New
First poster: bot
Dynamical systems can be chaotic and impossible to predict, but mathematicians have discovered tools to help understand them. ...
New
First poster: bot
After spending $22 million on the pilot plant, Porsche buys a 12.5% stake.
New
First poster: bot
Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines. Th...
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
New

Other popular topics Top

malloryerik
Any thoughts on Svelte? Svelte is a radical new approach to building user interfaces. Whereas traditional frameworks like React and Vue...
New
siddhant3030
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...
New
New
AstonJ
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-...
New
Exadra37
I am asking for any distro that only has the bare-bones to be able to get a shell in the server and then just install the packages as we ...
New
AstonJ
If you are experiencing Rails console using 100% CPU on your dev machine, then updating your development and test gems might fix the issu...
New
mafinar
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...
New
PragmaticBookshelf
Author Spotlight Mike Riley @mriley This month, we turn the spotlight on Mike Riley, author of Portable Python Projects. Mike’s book ...
New
First poster: bot
zig/http.zig at 7cf2cbb33ef34c1d211135f56d30fe23b6cacd42 · ziglang/zig. General-purpose programming language and toolchain for maintaini...
New
AstonJ
This is cool! DEEPSEEK-V3 ON M4 MAC: BLAZING FAST INFERENCE ON APPLE SILICON We just witnessed something incredible: the largest open-s...
New