Lobsters
- Safety and Liveness Properties https://www.hillelwayne.com/post/safety-and-liveness/ 3 comments formalmethods , programming
- Under Ben Carson, more families live in HUD housing that fails health and safety inspections: While HUD Secretary Ben Carson pledged to fix low-income housing, the number of properties cited for health and safety violations has been on the rise. https://www.nbcnews.com/politics/white-house/under-ben-carson-more-families-live-hud-housing-fails-health-n935421 105 comments politics