An essay comparing optimization culture to elimination diets and GLP-1 drugs, critiquing the technical language of maxxing.
Testing Claude's ability to generate Lean 4 code to formalize a ring theorem about partial fraction decomposition in a PID.
iPadOS Shortcuts now allows automating window placement with presets, and MultiSwitcher shortcut resizes foreground windows.
Article argues that event-driven architecture issues stem from poor design, not the pattern itself, offering insights on debugging and retries.
Clarifies Microsoft Entra's 'One Person, One License' philosophy with new FAQs, explaining that employees with multiple identities need only one license.
Thomas Maurer speaks at Microsoft Digital Sovereignty Day in Zurich, covering sovereign private cloud with Azure Local for data compliance.
Analysis of VibeThinker-3B, a small AI model achieving strong coding and reasoning performance through advanced post-training techniques.
How to improve AI agent feedback loops using custom linters to enforce coding standards automatically.
Analysis of VibeThinker-3B, a small AI model achieving strong coding and reasoning results through post-training on Qwen2.5-Coder-3B.
Deep dive into Claude Code hooks: 27 events analyzed, practical usage tips for PreToolUse, PostToolUse, and more.
Technique for generating provably solvable instances to test SAT solvers and similar solvers using property-based testing.
Explores how coding agents change software library documentation, focusing on making libraries agent-friendly rather than human-friendly.
Recap of presenting at AWS New York Summit 2026 on agentic AI and spec-driven development for modernizing SDLC.
![20 Years of Blogging [blog]](https://crawljobs-blogs-media.s3.us-east-1.amazonaws.com/alldevblogs/thumbs/article-50465de35219-full-cb6ec454.webp)
A personal reflection on 20 years of blogging, covering tech evolution, personal loss, and community.
AWS Transform custom uses agentic AI for large-scale software modernization, offering five new managed definitions to reduce tech debt.
A talk exploring PostgreSQL generated columns by example, covering virtual vs stored behavior, performance trade-offs, and Django integration.
Building a Slack bot that answers Confluence questions using Amazon Bedrock Knowledge Base and RAG pipeline.
A programmer reflects on prioritizing family over coding, sharing hard-earned life lessons from a decade of misplaced focus.
A developer discusses building a music theory library that challenges Western-centric assumptions by supporting diverse tuning systems and global musical traditions.
PyTheory's biggest release shipped from a phone on vacation, adding ragas, harmony theory, and audio engine upgrades.
