Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport

Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport

The right to gather doesn’t fail only when it is removed.
It also fails when the conditions that make gathering possible - shared awareness, visibility, overlap - are no longer reliably there.
A right can exist in law and still lose its force in practice.
https://associationredefine.substack.com/p/right-to-gather-algorithm-age?r=6l8ed8
#HumanRights #DigitalDemocracy #FreedomOfAssembly #Algorithms #MediaLiteracy #CivicEngagement #EUCharter #Democracy #TechAndSociety
Herbie: Automatically improve imprecise floating point formulas
https://herbie.uwplse.org/doc/latest/tutorial.html
#HackerNews #Herbie #FloatingPoint #Improvement #Precision #Algorithms #Tutorial
Compute alone is not enough; bandwidth, data, and algorithms matter.
C++Now 2026 SESSION ANNOUNCEMENT: Making C++ Standard Parallelism Multidimensional by Mark Hoemmen
https://schedule.cppnow.org/session/2026/making-cpp-standard-parallelism-multidimensional/
Register now at https://cppnow.org/registration/
The Guardian | Polymarket and other prediction platforms driving oil market, traders say by Jillian Ambrose Energy correspondent
Datafeeds from platforms being used to create algorithms that determine multimillion-dollar trades on global market
Energy traders say online betting platforms are directly driving the global oil market as they increasingly rely on anonymous prediction markets to determine multimillion-dollar trades.
Market experts have said that datafeeds from prediction platforms such as Polymarket are being used to create the algorithms that influence trading in the global Brent crude futures market.
Continue reading...
#polymarket #predictionplatforms #oilmarket #algorithms #futuresmarket
My data have not been verified but my work is highly reproducible.
- Downloads (csv, img, dump) ➡️ https://decompwlj.com/
- Algorithms ➡️ https://oeis.org/wiki/Decomposition_into_weight_*_level_%2B_jump#Algorithms
#decompwlj #math #mathematics #maths #sequence #OEIS #Downloads #Algorithms #numbers #primes #PrimeNumbers #FundamentalTheoremOfArithmetic #sequences #NumberTheory #classification #integer #decomposition #number #theory #equation #graphs #sieve #fundamental #theorem #arithmetic #research #PARIGP