<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
	<channel>
		<title>Introspections on Notes, often about Machining</title>
		<link>https://ginabythebay.studio/tags/introspections/</link>
		<description>Recent content in Introspections on Notes, often about Machining</description>
		<generator>Hugo</generator>
		<language>en-us</language>
		
		
		
		
			<lastBuildDate>Thu, 23 Jul 2026 18:49:23 +0200</lastBuildDate>
		
			<atom:link href="https://ginabythebay.studio/tags/introspections/index.xml" rel="self" type="application/rss+xml" />
			<item>
				<title>Some Introspection with Python</title>
				<link>https://ginabythebay.studio/posts/py_newtype_and_annotated/</link>
				<pubDate>Thu, 23 Jul 2026 18:49:23 +0200</pubDate>
				<guid>https://ginabythebay.studio/posts/py_newtype_and_annotated/</guid>
				<description>&lt;p&gt;The discord bot I am working on has a number of feature that can be&#xA;configured separately and I wanted a way to display the configuration&#xA;within discord.  I ended up exploring some new-to-me areas of python&#xA;to do this.  I&amp;rsquo;m pretty pleased with how it turned out and want to&#xA;share it with you!&lt;/p&gt;&#xA;&lt;p&gt;I have made a &lt;a href=&#34;https://codeberg.org/ginabythebay/examples&#34;&gt;runnable&#xA;example&lt;/a&gt; of the code from&#xA;this article available on, if you want to try it out.&lt;/p&gt;</description>
			</item>
	</channel>
</rss>
