themk's submissions | Hacker News

1.		Open Data Description Language (openddl.org)
		66 points by themk on March 10, 2024 \| past \| 8 comments
2.		Planned Deprecation of Dispatch.sr.ht (sourcehut.org)
		9 points by themk on Aug 1, 2022 \| past \| 1 comment
3.		SeedRNG – Simple utility for seeding the Linux kernel RNG with seed files (zx2c4.com)
		2 points by themk on March 30, 2022 \| past
4.		Neptune OS: a WinNT personality of the seL4 microkernel (github.com/cl91)
		142 points by themk on Feb 23, 2022 \| past \| 22 comments
5.		Seprintf (causal.agency)
		2 points by themk on June 13, 2021 \| past \| 1 comment
6.		Unpasswords – Password Anti-Management (causal.agency)
		3 points by themk on April 25, 2021 \| past