Olivier
oliviersb.bsky.social
Olivier
@oliviersb.bsky.social
Reposted by Olivier
For formal methods folks looking for a new position: @VeridiseInc is hiring a formal methods researcher to work on verification/analysis tools targeting zero-knowledge applications. More details are here: veridise.com/careers/zk-r...
March 4, 2025 at 5:00 PM
Reposted by Olivier
"In D.C., no driver has been charged in any of the 15 fatal hit-and-run crashes of 2024."

💔

www.washingtonpost.com/dc-md-va/202...
The D.C. region is twice as deadly for pedestrians as a decade ago
Pedestrians are far more likely to be killed in D.C., Maryland and Virginia than a decade ago.
www.washingtonpost.com
February 23, 2025 at 6:56 PM
Reposted by Olivier
A tale as old as time:

1. DC Council passes a good law.

2. It doesn’t fund the law.

3. The law is meaningless because it doesn’t get enforced.

www.washingtonpost.com/dc-md-va/202...
The D.C. Council banned turning right on red citywide. It won’t be enforced.
The D.C. Council voted to make right turns at red lights illegal starting in 2025. But the mayor’s administration is resisting a wholesale ban.
www.washingtonpost.com
November 25, 2024 at 1:54 PM