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
After spending $22 million on the pilot plant, Porsche buys a 12.5% stake.
New
A new proof identifies precisely how large a mathematical graph must be before it contains a regular substructure. The post M...
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
A review of 17α-ethynylestradiol (EE2) in surface water across 32 countries: Sources, concentrations, and potential estrogenic effects - ...
New
Abstract
The use of low sub-perceptual doses of psychedelics (“microdosing”) has gained popularity in recent years. Although anecdotal re...
New
Your annual reminder that science can be beautiful as well as informative.
New
It is the first time a meat product grown in a lab has been cleared for human consumption in the US.
New
Puerto Rico files $1 billion suit against fossil fuel companies.
Oil and gas giants face another lawsuit over their role in climate disa...
New
Other popular topics
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
Which, if any, games do you play? On what platform?
I just bought (and completed) Minecraft Dungeons for my Nintendo Switch. Other than ...
New
I know that these benchmarks might not be the exact picture of real-world scenario, but still I expect a Rust web framework performing a ...
New
I’ve been really enjoying obsidian.md:
It is very snappy (even though it is based on Electron). I love that it is all local by defaul...
New
You might be thinking we should just ask who’s not using VSCode :joy: however there are some new additions in the space that might give V...
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
“Finding the Boundaries” Hero’s Journey with Noel Rappin @noelrappin
Even when you’re ultimately right about what the future ho...
New
Author Spotlight
Mike Riley
@mriley
This month, we turn the spotlight on Mike Riley, author of Portable Python Projects. Mike’s book ...
New
Author Spotlight:
Bruce Tate
@redrapids
Programming languages always emerge out of need, and if that’s not always true, they’re defin...
New
If you’re getting errors like this:
psql: error: connection to server on socket “/tmp/.s.PGSQL.5432” failed: No such file or directory ...
New
Categories:
Sub Categories:
Popular Portals
- /elixir
- /rust
- /wasm
- /ruby
- /erlang
- /phoenix
- /keyboards
- /rails
- /js
- /python
- /security
- /go
- /swift
- /vim
- /clojure
- /java
- /haskell
- /emacs
- /svelte
- /onivim
- /typescript
- /crystal
- /c-plus-plus
- /tailwind
- /kotlin
- /gleam
- /react
- /flutter
- /elm
- /ocaml
- /ash
- /vscode
- /opensuse
- /centos
- /php
- /deepseek
- /html
- /zig
- /scala
- /debian
- /nixos
- /lisp
- /agda
- /sublime-text
- /react-native
- /textmate
- /kubuntu
- /arch-linux
- /revery
- /ubuntu
- /django
- /manjaro
- /spring
- /diversity
- /lua
- /nodejs
- /c
- /julia
- /slackware
- /neovim
Devtalk Sponsors
Practical resources that improve the lives of professional developers.
We build trusted fault-tolerant systems that scale to billions of users.
Real-time error tracking, performance insights, and observability for devs.
Develop your skills with books, videos, and courses.
Catch errors, track performance, monitor hosts and more.
Enabling companies to succeed by building software people love.
Courses that'll move you from confusion to "Aha, now I get it!"