<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <updated>2026-10-21T09:38:09Z</updated>
  <generator>https://njump.me</generator>

  <title>Nostr notes by Simon Michael</title>
  <author>
    <name>Simon Michael</name>
  </author>
  <link rel="self" type="application/atom+xml" href="https://njump.me/npub1uyctxvpe2upfgdw8u8txz950hgv79aywfgpx72edarvl7sa863wsfutvn7.rss" />
  <link href="https://njump.me/npub1uyctxvpe2upfgdw8u8txz950hgv79aywfgpx72edarvl7sa863wsfutvn7" />
  <id>https://njump.me/npub1uyctxvpe2upfgdw8u8txz950hgv79aywfgpx72edarvl7sa863wsfutvn7</id>
  <icon>https://cdn.fosstodon.org/accounts/avatars/106/304/084/994/827/771/original/37bbd0fd0dc31f57.jpeg</icon>
  <logo>https://cdn.fosstodon.org/accounts/avatars/106/304/084/994/827/771/original/37bbd0fd0dc31f57.jpeg</logo>




  <entry>
    <id>https://njump.me/nevent1qqswya7w3gjfvdfe7w2hpglehz73eh2rlql498zr2de860haw0q0kvqzyrsnpves89ts99p4clsavcgk37apnch53e9qymet9h5dnl6r5l296cca9pf</id>
    
      <title type="html">I think if you look at #rustledger (just as an example) right now ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqswya7w3gjfvdfe7w2hpglehz73eh2rlql498zr2de860haw0q0kvqzyrsnpves89ts99p4clsavcgk37apnch53e9qymet9h5dnl6r5l296cca9pf" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqswtqtzjv20lyusy8lhu7hn703a87d0366e2luehl6f4z55am4f8lqk265yw&#39;&gt;nevent1q…65yw&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;I think if you look at #rustledger (just as an example) right now you&amp;#39;ll see the oversight and quality is pretty high. Why shouldn&amp;#39;t it stay that way ? Isn&amp;#39;t this a counterexample to what you&amp;#39;re saying ? My 2c:  not all use of AI is the same; not all of it is vibe coding; and projects where AI is used in some way, don&amp;#39;t have to be low quality.
    </content>
    <updated>2026-03-02T07:29:46Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqsxy79xkudy5cka3actrar4hf5nrhkvza62fxn3mt60nu7ctnpgfnqzyrsnpves89ts99p4clsavcgk37apnch53e9qymet9h5dnl6r5l296h2rllf</id>
    
      <title type="html">PS no denying there is (will always be) slop. But if you look ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsxy79xkudy5cka3actrar4hf5nrhkvza62fxn3mt60nu7ctnpgfnqzyrsnpves89ts99p4clsavcgk37apnch53e9qymet9h5dnl6r5l296h2rllf" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs9srnx83q570a863yr55sx0nkg85cvjsas7dwnzxwx6uay6nxxmzqyumnhm&#39;&gt;nevent1q…mnhm&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;PS no denying there is (will always be) slop. But if you look again at rustledger, you might be impressed. Beyond the usual type checks and extensive test suites it also includes TLA&#43; formal verification of some functionality.
    </content>
    <updated>2026-03-02T02:21:04Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqsx2nsvz6vrmy38a7efdjw9rcev9sgdj2mujuf5nt2tzxvkcl2dmpczyrsnpves89ts99p4clsavcgk37apnch53e9qymet9h5dnl6r5l296huqyuk</id>
    
      <title type="html">This was a great #hledger intro, really good job! It&amp;#39;s so ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsx2nsvz6vrmy38a7efdjw9rcev9sgdj2mujuf5nt2tzxvkcl2dmpczyrsnpves89ts99p4clsavcgk37apnch53e9qymet9h5dnl6r5l296huqyuk" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs8rv84rgs2g0l08tru4aak253jzcm0c72ehua7tyaegckxfmdqqxc9n6ekz&#39;&gt;nevent1q…6ekz&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;This was a great #hledger intro, really good job!&lt;br/&gt;&lt;br/&gt;It&amp;#39;s so good I&amp;#39;m a little sad that you chose to use signs contrary to most PTA users!&lt;br/&gt;It&amp;#39;s a valid choice, but could be telegraphed it more loudly in advance, before the sample outputs and charts ?&lt;br/&gt;I&amp;#39;m also having trouble seeing the consistency across listings.&lt;br/&gt;&lt;br/&gt;I&amp;#39;ll save a few notes like this at &lt;a href=&#34;https://forum.plaintextaccounting.org/t/plain-numbers-linux-magazine-hledger-intro-2024/361&#34;&gt;https://forum.plaintextaccounting.org/t/plain-numbers-linux-magazine-hledger-intro-2024/361&lt;/a&gt;&lt;br/&gt;&lt;br/&gt;#plaintextaccounting
    </content>
    <updated>2024-09-21T03:12:52Z</updated>
  </entry>

</feed>