# Readwise Sync 2025-05-10 ## Metadata **Source**:: #from/readwise **Created**:: [[2025-05-10]] **Highlights**:: 72 **Files**: 17 ## Files - 1 in [[Delphi Consulting - Aptos Infrastructure for the Financial Internet (Highlights)]] - 1 in [[Uros Popovic - Bare Metal Printf - C Standard Library Without OS (Highlights)]] - 1 in [[Alex Wieckowski - Communication Tips from a Trial Lawyer, 21 Reading Tips, and more (Highlights)]] - 2 in [[Anthropic Authors - Claude Code Best Practices for Agentic Coding (Highlights)]] - 8 in [[Charles Antony Richard Hoare - The Emperor's Old Clothes (Highlights)]] - 9 in [[Alloy Authors - Practical Alloy - Commands in detail (Highlights)]] - 4 in [[Alloy Authors - Practical Alloy - Higher-arity relations (Highlights)]] - 1 in [[Alloy Authors - Practical Alloy - Arrow multiplicity constraints (Highlights)]] - 3 in [[Alloy Authors - Practical Alloy - Type system (Highlights)]] - 3 in [[Alloy Authors - Practical Alloy - Module system (Highlights)]] - 2 in [[Alloy Authors - Practical Alloy - The predefined ordering module (Highlights)]] - 11 in [[Alloy Authors - Practical Alloy - A relational logic primer (Highlights)]] - 5 in [[Alloy Authors - Practical Alloy - Model finding (Highlights)]] - 14 in [[DID PLC Authors - DID PLC Method Specification v0.1 (Highlights)]] - 2 in [[Jo Constantz - Built to Stay Small Inside the Org Charts of AI-Native Startups (Highlights)]] - 3 in [[Michael Taylor - AI Focus Groups—And Soon AI Copywriters—Will Make Ads Superhuman (Highlights)]] - 2 in [[Ruben Somsen - SwiftSync - Smarter Synchronization With Hints (Highlights)]]