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
As a student, when I was starting to seriously consider Data Science (DS) as a career option, the first thing that came to mind was where...
New
Just listening now… details revealed in Thinking Elixir’s podcast:
José Valim visits and finally publicly reveals what Project Nx is! H...
New
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
Dynamical systems can be chaotic and impossible to predict, but mathematicians have discovered tools to help understand them. ...
New
A review of 17α-ethynylestradiol (EE2) in surface water across 32 countries: Sources, concentrations, and potential estrogenic effects - ...
New
Finding the biological roots for pathological social withdrawal, Hikikomori | Research Results | KYUSHU UNIVERSITY.
Researchers identify...
New
Split Brain Psychology.
The strange interactions of Selfhood and Multiplicity
New
Multiple sclerosis has a common viral culprit, opening doors to new approaches.
Learning how the common Epstein-Barr virus may trigger m...
New
Better urinals, older pants, and a helicopter on Mars, oh my!
New
Other popular topics
Reading something? Working on something? Planning something? Changing jobs even!?
If you’re up for sharing, please let us know what you’...
New
Let’s get real. As in really knowing—clearly and practically—what’s up with Phoenix LiveView.
What is it?
How does it work?
What can I ...
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
Why, if your answer is yes?
New
Rust is an exciting new programming language combining the power of C with memory safety, fearless concurrency, and productivity boosters...
New
In case anyone else is wondering why Ruby 3 doesn’t show when you do asdf list-all ruby :man_facepalming: do this first:
asdf plugin-upd...
New
The V Programming Language
Simple language for building maintainable programs
V is already mentioned couple of times in the forum, but I...
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:
David Bryant Copeland
@davetron5000
We’re so happy to bring you another Author Spotlight, a series where we sit dow...
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
- /c-plus-plus
- /preact
- /actix
- /java
- /angular
- /ocaml
- /zig
- /kubuntu
- /scala
- /zotonic
- /vim
- /rocky
- /lisp
- /keyboards
- /html
- /emacs
- /vuejs
- /nim
- /nerves
- /elm
Devtalk Sponsors
Practical resources that improve the lives of professional developers.
We build trusted fault-tolerant systems that scale to billions of users.
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!"