
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

After spending $22 million on the pilot plant, Porsche buys a 12.5% stake.
New

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

The quest to explore Colombia’s untouched jungle.
Colombia is on a mission to make sense of its rich biodiversity, isolated thanks to ye...
New

The TPS ignition system has been designed to work with existing engines.
New

Whatever hit the Moon in March, it left a double crater.
NASA probe reveals strange hole created by suspected Chinese junk
New

The Importance of Elders.
Researchers argue that the long human lifespan is due in part to the contributions of older adults
New

It’s raining PFAS: even in Antarctica and on the Tibetan plateau rainwater is unsafe to drink - Stockholm University.
Per- and polyfluor...
New

After Millennia of Agricultural Expansion, the World Has Passed ‘Peak Agricultural Land’.
The future of food production does not need to...
New

Egg whites can be transformed into a material capable of filtering microplastics from seawater.
Researchers at Princeton Engineering hav...
New

Research shows heat domes, wildfires, and vanishing polar ice are the symptoms.
New
Other popular topics

Any thoughts on Svelte?
Svelte is a radical new approach to building user interfaces. Whereas traditional frameworks like React and Vue...
New

Please tell us what is your preferred monitor setup for programming(not gaming) and why you have chosen it.
Does your monitor have eye p...
New

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

Just done a fresh install of macOS Big Sur and on installing Erlang I am getting:
asdf install erlang 23.1.2
Configure failed.
checking ...
New

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...
New

Continuing the discussion from Thinking about learning Crystal, let’s discuss - I was wondering which languages don’t GC - maybe we can c...
New

Saw this on TikTok of all places! :lol:
Anyone heard of them before?
Lite:
New

Inside our android webview app, we are trying to paste the copied content from another app eg (notes) using navigator.clipboard.readtext ...
New

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...
New

Curious what kind of results others are getting, I think actually prefer the 7B model to the 32B model, not only is it faster but the qua...
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
- /textmate
- /sublime-text
- /debian
- /nixos
- /lisp
- /react-native
- /agda
- /kubuntu
- /arch-linux
- /revery
- /ubuntu
- /spring
- /manjaro
- /django
- /nodejs
- /diversity
- /lua
- /julia
- /slackware
- /c
- /markdown