# Readwise Sync 2025-05-18 ## Metadata **Source**:: #from/readwise **Created**:: [[2025-05-18]] **Highlights**:: 106 **Files**: 26 - 4 in [[Alloy Authors - Practical Alloy - Encoding test instances (Highlights)]] - 4 in [[Alloy Authors - Practical Alloy - Handling recursion (Highlights)]] - 5 in [[Alloy Authors - Practical Alloy - Working with integers (Highlights)]] - 1 in [[Alloy Authors - Practical Alloy - Signature facts (Highlights)]] - 1 in [[nanodano on Dev Dungeon - Windows EOF CTRL-D equivalent (Highlights)]] - 20 in [[Alloy Authors - Practical Alloy - Behavioral modeling (Highlights)]] - 7 in [[Alloy Authors - Practical Alloy - A temporal logic primer (Highlights)]] - 3 in [[Alloy Authors - Practical Alloy - Mutable top-level signatures (Highlights)]] - 6 in [[Alexis Challande - Making PyPI's Test Suite 81% Faster (Highlights)]] - 8 in [[Louis Gleeson - I Turned ChatGPT Into My Personal Assistant (Highlights)]] - 5 in [[Jeremy Utley - How Stanford Teaches AI-Powered Creativity in Just 13 Minutes (Highlights)]] - 2 in [[Clayton Ramsey - I'd Rather Read the Prompt (Highlights)]] - 4 in [[Chuck Frey - Sketch Your Mind Connect Your Ideas Using Visuals and Note-Taking (Highlights)]] - 3 in [[Elizabeth Weingarten - In Uncertain Times, Get Curious (Highlights)]] - 3 in [[Rajiv Prabhakar - Tech Debt Can’t Be Solved as a Roadmap Item. It Needs to Be Part of Your Daily Routine (Highlights)]] - 1 in [[Alex Duffy - Rise of the AI Wrappers (Highlights)]] - 1 in [[Alloy Authors - Practical Alloy - Meta-capabilities (Highlights)]] - 7 in [[Alloy Authors - Practical Alloy - An idiom for event depiction (Highlights)]] - 1 in [[Alloy Authors - Practical Alloy - Encoding trace scenarios (Highlights)]] - 1 in [[Alloy Authors - Practical Alloy - The trace evaluator (Highlights)]] - 1 in [[Alloy Authors - Practical Alloy - Inductive invariants (Highlights)]] - 1 in [[Alloy Authors - Practical Alloy - Sequences (Highlights)]] - 4 in [[Alloy Authors - Practical Alloy - Safety, liveness, and fairness (Highlights)]] - 6 in [[Alloy Authors - Practical Alloy - Protocol design (Highlights)]] - 6 in [[Nir Eyal - Why Seeking Approval Is Killing Your Potential (Highlights)]] - 1 in [[Alex Kladov - Scalar Select Anti-Pattern (Highlights)]]