# Readwise Sync 2025-04-26 ## Metadata **Source**:: #from/readwise **Created**:: [[2025-04-26]] **Highlights**:: 171 **Files**: 27 ## Files - 3 in [[Patrick McKenzie - Don't Call Yourself a Programmer, and Other Career Advice (Highlights)]] - 7 in [[Jeff Terrace et al. - Object Storage on CRAQ (Highlights)]] - 1 in [[NNG Authors - NNG - Nanomsg-Ng (Highlights)]] - 17 in [[Austin Kleon - Keep Going (Highlights)]] - 2 in [[Ana Hobden - Pretty State Machine Patterns in Rust (Highlights)]] - 27 in [[Mickaël Launay et al. - 数学的雨伞下：理解世界的乐趣 (Highlights)]] - 9 in [[Sam Altman - Productivity (Highlights)]] - 2 in [[Nathan Baugh - Why Great Stories Sometimes Start at the End (Highlights)]] - 7 in [[Massimo Bartoletti et al. - Scalable UTXO Smart Contracts via Fine-Grained Distributed State (Highlights)]] - 2 in [[Adam Zewe - Making AI-generated Code More Accurate in Any Language (Highlights)]] - 1 in [[Linux Manual Authors - Sendfile(2) (Highlights)]] - 8 in [[Jay Kreps - The Log What Every Software Engineer Should Know About Real-Time Data's Unifying Abstraction (Highlights)]] - 2 in [[Katie Parrott - AI Phobia Is Just Fear That ‘Easier’ Equals ‘Cheating’ (Highlights)]] - 19 in [[Larry McEnerney - The Craft of Writing Effectively (Highlights)]] - 3 in [[Lee Boonstra - Prompt Engineering (Highlights)]] - 1 in [[Tokio Authors - Select (Highlights)]] - 8 in [[Jash Dholani - How to Start (Selection) (Highlights)]] - 6 in [[Lee Boonstra - Prompt Engineering (Highlights)]] - 3 in [[Tobi Ojuolape - A Comprehensive Guide to Lightning’s Atomic Multipath Payments (Highlights)]] - 1 in [[Ross Andersen - Christopher Nolan on the Promise and Peril of Technology (Highlights)]] - 17 in [[Alloy Authors - Practical Alloy - Structural modeling (Highlights)]] - 1 in [[Alloy Authors - Alloy 6 Reference - Lexical Issues (Highlights)]] - 3 in [[Alloy Authors - Practical Alloy - Subset signatures (Highlights)]] - 26 in [[Michael Stonebraker et al. - What Goes Around Comes Around (Highlights)]] - 1 in [[Jakob L. Kreuze - What I've Learned About Formal Methods in Half a Year (Highlights)]]