Show HN: Jacquard, a programming language for AI-written, human-reviewed code