
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

China used facial recognition quite extensively:
And now Russia is too: https://www.bbc.co.uk/news/av/world-europe-52157131/coronaviru...
New

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

Just listening now… details revealed in Thinking Elixir’s podcast:
José Valim visits and finally publicly reveals what Project Nx is! H...
New

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

Monsanto’s Ghostwriting to Influence Science and Media.
While most ghostwriting scandals in science involve physicians, the agrichemical...
New

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

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

Using inserted genetic circuitry, synthetic biologists controlled the growth of plant roots for the first time. The post Biol...
New

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

Seismic waves suggest the planet’s solid inner core is being pulled out of shape – and it has undergone these changes over just a few dec...
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

A PragProg Hero’s Journey with Brian P. Hogan @bphogan
Have you ever worried that your only legacy will be in the form of legacy...
New

SpaceVim seems to be gaining in features and popularity and I just wondered how it compares with SpaceMacs in 2020 - anyone have any thou...
New

I am a Linux user since 2012, more or less, and I always use Ubuntu on my computers, and my last 2 laptops have been used Thinkpads, wher...
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

API 4
Path:
/user/following/
Method:
GET
Description:
Returns the list of all names of people whom the user follows
Response
[
{ ...
New

Intensively researching Erlang books and additional resources on it, I have found that the topic of using Regular Expressions is either c...
New

Author Spotlight
Rebecca Skinner
@RebeccaSkinner
Welcome to our latest author spotlight, where we sit down with Rebecca Skinner, auth...
New

Author Spotlight:
VM Brasseur
@vmbrasseur
We have a treat for you today! We turn the spotlight onto Open Source as we sit down with V...
New

Large Language Models like ChatGPT say The Darnedest Things.
The Errors They MakeWhy We Need to Document Them, and What We Have Decided ...
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
- /swift
- /js
- /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
- /emacs
- /nim
- /elm
- /nerves