Prateek Kumar
Posts
Sudoku solver using a SAT Solver in Rust and WebAssembly
Dec 30, 2019
Experience at UTokyo
Oct 5, 2018
GNU Readline for Tab autocomplete and Bash like History
Aug 18, 2018