Stories by cauterize

What is the current and accepted definition of formally proved software?

Dolphin Progress October and November 2020

Xfinity/Comcast to apply data caps nationally starting 2021

Analyzing the Effects of Covid-19 on MPulse Traffic

Thinking with Types: Type-Level Programming in Haskell

Types of Developers: Makers vs. Menders

Should Bots Have Gender?

How Meetup Ditched Its Boys' Club

Suburbs House More Poor Americans Than “Inner-Cities”

Congress Wants the TSA to “Secure” Amtrak and Buses

The Real Reason the Wells Fargo Scandal Should Scare You

Ask HN: Choosing a Side Project

Relationships Btwn Bike Lane Building, Cycling Rates, and Injury/Mortality Rates

Ask HN: TDD-Oriented Resources for Learning iOS/Swift Programming?

Gender bias in venture capital is ‘conscious’ and getting worse

Ask HN: How Much Effort to Invest in Scratching an Itch?

Doctors issue warning about effects of LED streetlights on health

Airbnb and the Battle of Suitcase Alley

The missing piece of the VC gender inclusion puzzle

Ask HN: Where/how to recruit survey respondents for preliminary market research?