https://lucasmarques.me/posts/bitshift-operations/ 2023-01-30T11:23:59-03:00 https://lucasmarques.me/posts/essential-metrics-for-observability/ 2024-01-10T18:30:00-03:00 https://lucasmarques.me/posts/kaizen-a-feedback-loop-for-agentic-coding/ 2026-05-12T09:00:00-03:00 https://lucasmarques.me/posts/a-style-harness-for-ai-coding-agents/ 2026-05-13T09:46:04-03:00 https://lucasmarques.me/posts/quint-connect-model-based-testing-for-elixir/ 2026-05-13T10:00:00-03:00 https://lucasmarques.me/categories/ 2026-05-13T18:02:13-03:00 https://lucasmarques.me/tags/ 2026-05-13T18:02:13-03:00 https://lucasmarques.me/archives/ 2026-05-13T18:02:13-03:00 https://lucasmarques.me/about/ 2026-05-13T18:02:13-03:00 https://lucasmarques.me/ https://lucasmarques.me/tags/binary/ https://lucasmarques.me/tags/bitshift/ https://lucasmarques.me/tags/math/ https://lucasmarques.me/tags/observability/ https://lucasmarques.me/tags/metrics/ https://lucasmarques.me/tags/ai-agents/ https://lucasmarques.me/tags/harness-engineering/ https://lucasmarques.me/tags/agentic-coding/ https://lucasmarques.me/tags/kaizen/ https://lucasmarques.me/tags/coding-style/ https://lucasmarques.me/tags/claude-code/ https://lucasmarques.me/tags/elixir/ https://lucasmarques.me/tags/quint/ https://lucasmarques.me/tags/model-based-testing/ https://lucasmarques.me/tags/formal-methods/ https://lucasmarques.me/categories/blogging/ https://lucasmarques.me/categories/tutorial/ https://lucasmarques.me/categories/observability/ https://lucasmarques.me/categories/essay/