
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

Probably only a delay of the inevitable - with facial-recognition systems already part of daily lives in countries such as China, how lon...
New

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

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

Summary
In this project, we
Added an OpenGL backend for MXNet/TVM - a general-purpose tensor computation framework, so that it automat...
New

Some animals and plants are rapidly adapting to our warming, polluted world.
New

Dynamical systems can be chaotic and impossible to predict, but mathematicians have discovered tools to help understand them. ...
New

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

Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines. Th...
New

Abstract
The use of low sub-perceptual doses of psychedelics (“microdosing”) has gained popularity in recent years. Although anecdotal re...
New

Better urinals, older pants, and a helicopter on Mars, oh my!
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

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

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

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

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

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
Mike Riley
@mriley
This month, we turn the spotlight on Mike Riley, author of Portable Python Projects. Mike’s book ...
New

zig/http.zig at 7cf2cbb33ef34c1d211135f56d30fe23b6cacd42 · ziglang/zig.
General-purpose programming language and toolchain for maintaini...
New

This is cool!
DEEPSEEK-V3 ON M4 MAC: BLAZING FAST INFERENCE ON APPLE SILICON
We just witnessed something incredible: the largest open-s...
New
Latest in Science
Latest (all)
Categories:
Popular Portals
- /elixir
- /opensuse
- /rust
- /kotlin
- /ruby
- /erlang
- /python
- /clojure
- /react
- /quarkus
- /go
- /vapor
- /v
- /react-native
- /wasm
- /security
- /django
- /nodejs
- /centos
- /haskell
- /rails
- /fable
- /gleam
- /js
- /swift
- /deno
- /assemblyscript
- /tailwind
- /laravel
- /symfony
- /phoenix
- /crystal
- /typescript
- /debian
- /adonisjs
- /julia
- /arch-linux
- /svelte
- /spring
- /flutter
- /preact
- /c-plus-plus
- /actix
- /java
- /angular
- /ocaml
- /zig
- /kubuntu
- /scala
- /zotonic
- /vim
- /rocky
- /lisp
- /html
- /keyboards
- /vuejs
- /nim
- /emacs
- /nerves
- /elm