Posts

• Sudoku solver using a SAT Solver in Rust and WebAssembly

  2019-12-30
  #rust

  #wasm

  #web-assembly

  #sudoku

  #sat-solver
• Experience at UTokyo

  2018-10-05
  #utokyo

  #internship
• GNU Readline for Tab autocomplete and Bash like History

  2018-08-18
  #bash

  #cpp

  #gnu

  #readline
• Public Key Cryptography using Elliptic Curves

  2018-06-02
  #ecc

  #cryptography

  #security

  #encryption

  #decryption
• Hello, World!

  2018-01-01
  #hello