RohanAdwankar's submissions

1.		Prolog Coding Horror (metalevel.at)
		202 points by RohanAdwankar 8 days ago \| past \| 83 comments
2.		Ascetic Computing (ratfactor.com)
		4 points by RohanAdwankar 9 days ago \| past \| discuss
3.		Programming Z3 (z3prover.github.io)
		8 points by RohanAdwankar 10 days ago \| past \| discuss
4.		Open source does not imply open community (feld.me)
		194 points by RohanAdwankar 23 days ago \| past \| 85 comments
5.		I don't care that it's X times faster (tinkering.xyz)
		6 points by RohanAdwankar 36 days ago \| past
6.		Installing every* Firefox extension (jack.cab)
		692 points by RohanAdwankar 45 days ago \| past \| 80 comments
7.		Can We Measure Software Slop? An Experiment (pscanf.com)
		2 points by RohanAdwankar 50 days ago \| past
8.		Nvim-treesitter (13K+ Stars) is Archived (github.com/nvim-treesitter)
		178 points by RohanAdwankar 51 days ago \| past \| 83 comments
9.		Show HN: Open-source AI Codemaps written in Rust (github.com/rohanadwankar)
		3 points by RohanAdwankar 5 months ago \| past \| 2 comments
10.		Show HN: Free GPUs in your terminal for learning CUDA (github.com/rohanadwankar)
		2 points by RohanAdwankar 6 months ago \| past
11.		Show HN: Diagram as code tool with draggable customizations (github.com/rohanadwankar)
		266 points by RohanAdwankar 7 months ago \| past \| 60 comments
12.		Show HN: An Entire Task Management CLI in 1 .SQL File (github.com/rohanadwankar)
		2 points by RohanAdwankar on Jan 2, 2025 \| past
13.		Show HN: Share/Edit Dataframes with Nontechnical Contributors (github.com/rohanadwankar)
		1 point by RohanAdwankar on Nov 30, 2024 \| past