Simon Michael

https://fosstodon.org/@simonmic

Independent software developer & consultant, #plaintextaccounting wiz, #hledger creator, haskeller, technoyogi, from Wicklow 🌲, Los Angeles 🌳, Maui 🌴 counties.

web: https://joyful.com
github: https://github.com/simonmichael
chat: simonmic:matrix.org

Public Key

npub1uyctxvpe2upfgdw8u8txz950hgv79aywfgpx72edarvl7sa863wsfutvn7

NIP-05 Address

[email protected]

Profile Code

nprofile1qqswzv9nxqu4wq55xhr7r4npz68m5x0z7j8y5qn09vk73k0lgwnaghgprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmnt4r7z7c

Publishing to

relay.momostr.pink

Author Public Key

npub1uyctxvpe2upfgdw8u8txz950hgv79aywfgpx72edarvl7sa863wsfutvn7

Show more details

Last Notes

2026-03-02 07:29:46 GMT

- reply

I think if you look at #rustledger (just as an example) right now you'll see the oversight and quality is pretty high. Why shouldn't it stay that way ? Isn't this a counterexample to what you'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't have to be low quality.

2026-03-02 02:21:04 GMT

- reply

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+ formal verification of some functionality.

2024-09-21 03:12:52 GMT

- reply

This was a great #hledger intro, really good job!
It's so good I'm a little sad that you chose to use signs contrary to most PTA users!
It's a valid choice, but could be telegraphed it more loudly in advance, before the sample outputs and charts ?
I'm also having trouble seeing the consistency across listings.
I'll save a few notes like this at https://forum.plaintextaccounting.org/t/plain-numbers-linux-magazine-hledger-intro-2024/361
#plaintextaccounting