
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.
Popular Science Tech topics

Algorithms that use the brain’s communication signal can now work on analog neuromorphic chips, which closely mimic our energy-efficient ...
New

Celia Escamilla-Rivera is combining large data sets with supercomputers to test general relativity against its little-known competitors. ...
New

Cryptographers want to know which of five possible worlds we inhabit, which will reveal whether truly secure cryptography is even possibl...
New

Split Brain Psychology.
The strange interactions of Selfhood and Multiplicity
New

Your annual reminder that science can be beautiful as well as informative.
New

“It is the beginning of the new beginning.”
New

Researchers are investigating medicines that selectively kill decrepit cells.
New

Better urinals, older pants, and a helicopter on Mars, oh my!
New

Scientists successfully unfroze rat organs and transplanted them — a ‘historic’ step that could someday transform transplant medicine.
I...
New

Hello, my name is Kelly Lee, and I’m a developmental editor at The Pragmatic Bookshelf. I’m currently looking for technical reviewers for...
New
Other popular topics

What chair do you have while working… and why?
Is there a ‘best’ type of chair or working position for developers?
New

New

We have a thread about the keyboards we have, but what about nice keyboards we come across that we want? If you have seen any that look n...
New

This looks like a stunning keycap set :orange_heart:
A LEGENDARY KEYBOARD LIVES ON
When you bought an Apple Macintosh computer in the e...
New

Crystal recently reached version 1. I had been following it for awhile but never got to really learn it. Most languages I picked up out o...
New

Here’s the story how one of the world’s first production deployments of LiveView came to be - and how trying to improve it almost caused ...
New

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

Author Spotlight
Jamis Buck
@jamis
This month, we have the pleasure of spotlighting author Jamis Buck, who has written Mazes for Prog...
New

Author Spotlight:
Karl Stolley
@karlstolley
Logic! Rhetoric! Prag! Wow, what a combination. In this spotlight, we sit down with Karl ...
New

Author Spotlight:
Tammy Coron
@Paradox927
Gaming, and writing games in particular, is about passion, vision, experience, and immersio...
New
Categories:
Sub Categories:
Popular Portals
- /elixir
- /rust
- /ruby
- /wasm
- /erlang
- /phoenix
- /keyboards
- /rails
- /js
- /python
- /security
- /go
- /swift
- /vim
- /clojure
- /emacs
- /haskell
- /java
- /onivim
- /svelte
- /typescript
- /crystal
- /c-plus-plus
- /kotlin
- /tailwind
- /gleam
- /ocaml
- /react
- /elm
- /flutter
- /vscode
- /ash
- /opensuse
- /centos
- /php
- /deepseek
- /html
- /scala
- /zig
- /sublime-text
- /textmate
- /debian
- /nixos
- /lisp
- /agda
- /react-native
- /kubuntu
- /arch-linux
- /revery
- /ubuntu
- /spring
- /django
- /manjaro
- /diversity
- /nodejs
- /lua
- /slackware
- /julia
- /c
- /neovim