HoldMyTypeRE: https://mathstodon.xyz/@xameer/116535306950759121
now that's what I was talking about
that ll be the 1st release
usable #jobpipe
right after cargo test
My blog post about it #jobpipe #machinelearning #informationretrieval #dsl #typetheory
https://xameer.gitlab.io/post/2026-04-22-A-DSL-for-RSS-Feeds.html