https://typeglish.dev/blog Tidelines is the TypeGlish blog: prompting best practices, teardowns of real prompts, deep dives, guides, and release notes - field notes for prompt engineers. en-us Tue, 14 Jul 2026 09:00:00 GMT https://typeglish.dev/blog/typeglish-0-1-0https://typeglish.dev/blog/typeglish-0-1-0Tue, 14 Jul 2026 09:00:00 GMTReleasesWhat shipped in the first release: the Z3-backed checker, $TEST evals, typed $CONFIG objects, $IMPORT modules, the $IF/$SWITCH conditional layer, the TG score, the CLI, and the MCP server. https://typeglish.dev/blog/say-what-you-meanhttps://typeglish.dev/blog/say-what-you-meanWed, 08 Jul 2026 09:00:00 GMTBest practicesEight prompting rules that hold up under real traffic: measurable constraints, no hedged modals, one instruction per rule, and testing what actually matters. https://typeglish.dev/blog/teardown-support-agenthttps://typeglish.dev/blog/teardown-support-agentWed, 24 Jun 2026 09:00:00 GMTTeardownsA line-by-line teardown of a real production support-agent system prompt: where it drifts, the contradictions it hides, and how $TEST pins the fixes in place. https://typeglish.dev/blog/few-shot-type-systemhttps://typeglish.dev/blog/few-shot-type-systemWed, 10 Jun 2026 09:00:00 GMTDeep divesEvery example in a prompt makes a claim about the shape of a correct answer. $EXAMPLE blocks make that implicit type explicit and checkable. https://typeglish.dev/blog/instruction-placementhttps://typeglish.dev/blog/instruction-placementWed, 27 May 2026 09:00:00 GMTGuidesTwo prompts with identical rules can behave differently because the rules sit in different places. How placement affects attention, and how named sections make structure the compiler’s job. https://typeglish.dev/blog/prompt-contradictionshttps://typeglish.dev/blog/prompt-contradictionsWed, 13 May 2026 09:00:00 GMTDeep divesThe three species of prompt contradiction, how a model silently picks a winner at runtime, and how the checker proves conflicts with logic/contradiction instead of guessing.