nachivpn

↗ HN profile [ 146 ms ] full profile
Karma
18
Created
May 8, 2014 (12y ago)
Submissions
0
Teach savvy who loves programming languages! find out more about me: nachivpn.me
  1. Agda gets the do notation (agda.readthedocs.io)
  2. Proof of proof by induction (blog.nachivpn.me)
  3. Trial and error is not ugly (blog.nachivpn.me)
  4. Demystifying the meaning of 'static' (nachivpn.blogspot.com)
  5. An awesome LEX tutorial (silcnitc.github.io)
  6. Disclaimer: I work for an anti-scraping service company. I am not trying to advertise it, but simply understand problems that people are actually facing because of web scraping and how it is affecting them.

  7. How LEX works (nachivpn.blogspot.com)
  8. Show HN: Thread safe Jedis client (nachivpn.blogspot.com)
  9. I know that is an immature question. So I am going to throw in a few details: We are looking for an open sourced NoSQL database which can handle at least 5000-6000TPS with approximately equal number of reads and writes.…

  10. Redis pipelining explained (nachivpn.blogspot.com)