Show HN: quint-audit - deterministic spec-quality auditor for Quint (OCaml)

Hacker News Show2026-11-13 20:420 views

Points: 2

# Comments: 0

ElevenAI is a new meeting notetaker and dictation app aimed at teams and enterprises.

Article URL: https://scottjg.com/posts/2026-11-11-reverse-engineering-my-coway-air-purifier-to-ditch-the-cloud/ Comments

This is today’s edition of The Download , our weekday newsletter that provides a daily dose of what’s going on in the wo

Three years ago, Meta apparently considered a plan to turn public opinion against one of its most influential opponents,

Distributed Responsibility Is Still Responsibility Distributed systems create a recurring moral and managerial mistake:

blueprintUE's small footprint hides a password-reset boundary blueprintUE Self-Hosted Edition is a collaboration service

Related posts