Sarah Allen's reflections on internet software and other topics

A personal blog focused on software, Machine Learning and other passing fads.

Ted Kaminski's blog - a software design book writing project.

The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.

My name is Sean McArthur, and here I blabber on about Rust, networking, open source, and a better web.

News at the intersection of Silicon Valley and democracy. On Monday, Tuesday, and Thursday at 5PM Pacific.

{{ posts|limit:1|order:desc|description:False|content:True }} ...

Helping engineers and founders flex their product muscles