Submissions from github.com/dicroce

		Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine (github.com/dicroce)
		81 points by dicroce 26 days ago \| past \| 24 comments
		Show HN: NanoTS – Fast, embeddable, tiny time series database (github.com/dicroce)
		12 points by dicroce on June 7, 2025 \| past
		Show HN: HNSW index for vector embeddings in approx 500 LOC (github.com/dicroce)
		73 points by dicroce on April 8, 2025 \| past \| 12 comments
		A tool for creating deep learning datasets (github.com/dicroce)
		3 points by dicroce on Jan 16, 2021 \| past \| 1 comment