The sad state of property-based testing libraries

stevana.github.io
the-sad-state-of-property-based-testing-libraries

Property-based testing is a rare example of academic research that has made it to the mainstream in less than 30 years. Under the slogan “don’t write tests, generate them” property-based testing has gained support from a diverse group of programming … Read more

The state of carbon dioxide removal

stateofcdr.org
the-state-of-carbon-dioxide-removal

Indicators of innovation show that CDR activity is generally intensifying, although with some recent slowdowns. Indicators of research, invention and investment in startup companies show evidence of diversification across CDR methods. However, current deployment and national proposals for future implementation … Read more

State of the Terminal

gpanders.com
state-of-the-terminal

This is a companion article to my talk at Neovimconf 2023. I have been using Vim/Neovim as my full time text editor for close to 10 years. I’ve spent a lot of time in the terminal and have become very … Read more

The State of Async Rust

corrode.dev
the-state-of-async-rust

Recently, I found myself returning to a compelling series of blog posts titled Zero-cost futures in Rust by Aaron Turon about what would become the foundation of Rust’s async ecosystem and the Tokio runtime. This series stands as a cornerstone … Read more

State of HTML 2023 now open

lea.verou.me
state-of-html-2023-now-open

You are browsing the new, beta version of my website. Some things may not work properly. If you spot any problems, please file an issue! On this page tl;dr the brand new State of HTML survey is finally open! Take … Read more

State Farm: California New Business Update

newsroom.statefarm.com
state-farm:-california-new-business-update

‘ ].join(“n”); ‘; BLOOMINGTON, Ill., 26 May 2023 | 14:29 PM America/Chicago State Farm General Insurance Company®, State Farm’s provider of homeowners insurance in California, will cease accepting new applications including all business and personal lines property and casualty insurance, … Read more