Submissions from github.com/no-gravity

		I'm compiling a list of JavaScript implementations of the Mandelbrot set. Contr (github.com/no-gravity)
		3 points by todsacerdoti on Jan 7, 2025 \| past
		Show HN: TwitterToNitter. A bookmarklet that makes reading on Twitter easier (github.com/no-gravity)
		90 points by mg on Sept 23, 2022 \| past \| 46 comments
		Git-GC-all-repos: Script to trigger Git garbage collection in all repos (github.com/no-gravity)
		1 point by todsacerdoti on July 20, 2022 \| past
		Show HN: I use this distraction free writing tool for all my writing (github.com/no-gravity)
		2 points by mg on Feb 14, 2022 \| past \| 1 comment
		Git-retroamend: Amend changes to an old Git commit (github.com/no-gravity)
		2 points by todsacerdoti on July 14, 2021 \| past
		Show HN: Run a temporary DNS server that resolves a hostname to the current IP (github.com/no-gravity)
		8 points by mg on Nov 25, 2020 \| past \| 2 comments