Blog posts

  1. 2024.06.25 - A better Youtube experience
  2. 2024.05.29 - Long time no see
  3. 2018.03.21 - Bandwidth throttling on FreeBSD
  4. 2017.11.21 - [Teaching programming] Lesson six
  5. 2017.11.14 - [Teaching programming] Lesson five
  6. 2017.11.08 - [Teaching programming] Lesson four
  7. 2017.10.25 - [Teaching programming] Lesson three
  8. 2017.10.16 - [Teaching programming] Lesson two
  9. 2017.10.09 - [Teaching programming] Lesson one
  10. 2017.09.19 - 161
  11. 2017.07.26 - Learning Vue.js
  12. 2017.07.12 - Implementing racket/trace in JavaScript
  13. 2017.06.13 - On tests, take home problems, and a HackerRank bookmarklet
  14. 2017.05.16 - On whiteboard interviews
  15. 2017.05.04 - [RC Diary] Last day, you don't expect me to write a blog entry, do you? (-26)
  16. 2017.05.03 - [RC Diary] Interviews back to back (-27)
  17. 2017.05.02 - [RC Diary] You guessed it (-28)
  18. 2017.05.01 - [RC Diary] Idris (-29)
  19. 2017.04.30 - [RC Diary] Idris (-30)
  20. 2017.04.29 - [RC Diary] A bit of rest (-31)
  21. 2017.04.28 - [RC Diary] Scheme interpreter, lambda calculus, and wtf is this (-32)
  22. 2017.04.27 - [RC Diary] Mock interviews and the little schemer (-33)
  23. 2017.04.26 - [RC Diary] Interviews and exercises (-34)
  24. 2017.04.25 - [RC Diary] Implementing a trie in Racket (-35)
  25. 2017.04.25 - Looking at the most beautiful program ever written - part 1
  26. 2017.04.24 - [RC Diary] Interpreter and interviews(-36)
  27. 2017.04.23 - [RC Diary] Interpreter (-37)
  28. 2017.04.22 - [RC Diary] A bit of rest (-38)
  29. 2017.04.21 - [RC Diary] Interviews, mock interviews, more mock interviews, and Dota (-39)
  30. 2017.04.20 - [RC Diary] The most beautiful program ever written, and speed reading app (-40)
  31. 2017.04.19 - [RC Diary] A bit of rest (-41)
  32. 2017.04.18 - [RC Diary] Interview exercise (-42)
  33. 2017.04.17 - [RC Diary] Jobs hunt, climbing the Scala, and speed reading app (-43)
  34. 2017.04.16 - [RC Diary] Scala (-44)
  35. 2017.04.15 - [RC Diary] Scala (-45)
  36. 2017.04.14 - [RC Diary] Interviews (-46)
  37. 2017.04.13 - [RC Diary] Progressing (-47)
  38. 2017.04.12 - [RC Diary] Scheming today is the most appropriate thing to do (-48)
  39. 2017.04.11 - [RC Diary] Speed reading app, and then mind blank(-49)
  40. 2017.04.10 - [RC Diary] Refucktoring, winston-cloudwatch, and jobs (-50)
  41. 2017.04.09 - [RC Diary] A bit of rest (-51)
  42. 2017.04.08 - [RC Diary] A bit of rest (-52)
  43. 2017.04.07 - [RC Diary] Interviews (-52)
  44. 2017.04.06 - [RC Diary] Speed reading app (-53)
  45. 2017.04.05 - [RC Diary] winston-cloudwatch, Elm, the little schemer, and jobs (-55)
  46. 2017.04.04 - [RC Diary] Raging over SICP 1.2 and winston-cloudwatch (-56)
  47. 2017.04.03 - [RC Diary] Hammock speed reading development (-57)
  48. 2017.04.02 - [RC Diary] SICP and speed reading (-58)
  49. 2017.04.01 - [RC Diary] Speed reading (-59)
  50. 2017.03.31 - [RC Diary] Mock interviews (-60)
  51. 2017.03.30 - [RC Diary] Mutating one thing at a time (-61)
  52. 2017.03.29 - [RC Diary] Low energy (-62)
  53. 2017.03.28 - [RC Diary] Getting data to have Cerebro in good shape (-63)
  54. 2017.03.27 - [RC Diary] New batch and Cerebro thoughts (-64)
  55. 2017.03.26 - [RC Diary] Online test and the memory castle (-65)
  56. 2017.03.25 - [RC Diary] A bit of rest (-66)
  57. 2017.03.24 - [RC Diary] Interviewing (-67)
  58. 2017.03.23 - [RC Diary] Lisping (-68)
  59. 2017.03.22 - [RC Diary] winston-cloudwatch bug, jobs, and the little schemer (-69)
  60. 2017.03.21 - [RC Diary] winston-cloudwatch and cerebro (-70)
  61. 2017.03.20 - [RC Diary] Stratovarius paced day, and oh, yes, CVs (-71)
  62. 2017.03.19 - [RC Diary] Working from home, little scheming, Noam Chomsky (-72)
  63. 2017.03.18 - [RC Diary] A bit of rest (-73)
  64. 2017.03.17 - [RC Diary] Interview mock, helping a recurser figuring out how to code her ideas (-74)
  65. 2017.03.16 - [RC Diary] I'm so fed up with this cold (-75)
  66. 2017.03.15 - [RC Diary] Still so cold in NY (-76)
  67. 2017.03.14 - [RC Diary] Lazy evaluation first steps (-77)
  68. 2017.03.13 - [RC Diary] Project lamp, helping with tests, and the old lady from the mart (-78)
  69. 2017.03.12 - [RC Diary] A bit of rest (-79)
  70. 2017.03.11 - [RC Diary] It's all about mutations (-80)
  71. 2017.03.10 - [RC Diary] Explaining tests and mock interviews (-81)
  72. 2017.03.09 - [RC Diary] Good progress and activism (-82)
  73. 2017.03.08 - [RC Diary] Still a bit under the rejection thing (-83)
  74. 2017.03.07 - [RC Diary] Rejection (-84)
  75. 2017.03.06 - [RC Diary] Good progress and activism (-85)
  76. 2017.03.05 - [RC Diary] Out of the tar pit (-86)
  77. 2017.03.04 - [RC Diary] Whitepapers love (-87)
  78. 2017.03.03 - [RC Diary] Interview preps, emptying the backlog (-88)
  79. 2017.03.02 - [RC Diary] Presentations and stuff working (-89)
  80. 2017.03.01 - [RC Diary] For every step there's another hole to jump (-90)
  81. 2017.02.28 - [RC Diary] You never forget your first alive mutant (-91)
  82. 2017.02.27 - [RC Diary] Cerebro great progress and preparing talks, more thoughts (-92)
  83. 2017.02.26 - [RC Diary] Two weeks of RC ten to go (-93)
  84. 2017.02.25 - [RC Diary] Mock interviews (-94)
  85. 2017.02.24 - [RC Diary] Videos and not getting ill (-95)
  86. 2017.02.23 - [RC Diary] Presenting and slowly, slowly progressing on Cerebro (-96)
  87. 2017.02.22 - [RC Diary] Web dev 101, finished first version of project-lamp first chapter (-97)
  88. 2017.02.21 - [RC Diary] ? (-98)
  89. 2017.02.20 - [RC Diary] Bottle of beer (-99)
  90. 2017.02.19 - [RC Diary] Wheel of fortune (-100)
  91. 2017.02.18 - [RC Diary] Pongo and Perdita (-101)
  92. 2017.02.17 - [RC Diary] Algorithms data structures, Cerebro, thoughts, and 42 (-102)
  93. 2017.02.16 - [RC Diary] Recursion, folding, and slow learning (-103)
  94. 2017.02.15 - [RC Diary] Hello RC! (-104)
  95. 2017.02.14 - [RC Diary] Second day at RC (-105)
  96. 2017.02.13 - [RC Diary] First day at RC, plans (-106)
  97. 2017.01.22 - [COMP300E] problems and tinder (-128)
  98. 2017.01.15 - [COMP300E] lecture (-135)
  99. 2017.01.10 - [COMP300E] and struggle on dynamic programming (-140)
  100. 2016.12.28 - [CSE373] lectures, dynamic programming (-153)
  101. 2016.12.26 - [CSE373] lecture, following on dynamic programming (-155)
  102. 2016.12.22 - [CSE373] lectures, dynamic programming, ubuntu 16.10 daily crash (-158)
  103. 2016.12.21 - [CSE373] lectures, Ubuntu 16.10 daily crash, winston-cloudwatch process inspection (-159)
  104. 2016.12.13 - [CSE373] lecture, winston-cloudwatch process inspection, Ubuntu 16.10 daily crash (-168)
  105. 2016.12.07 - [CSE373] lecture, Ubuntu weirdness, winston-cloudwatch behaviour (-174)
  106. 2016.12.06 - [CSE373] lecture, work on winston-cloudwatch, Emacs xwidgets (-175)
  107. 2016.12.05 - Attending the Recurse Center
  108. 2016.07.06 - Contract testing and free documentation
  109. 2016.06.01 - Angularjs and unknown provider
  110. 2016.05.09 - Moving between tmux panes à la Spacemacs
  111. 2016.02.24 - Studying Elm
  112. 2015.12.15 - Loo technique
  113. 2015.11.06 - Thoughts on interviews
  114. 2015.10.22 - Logging request body in HAProxy
  115. 2015.10.02 - Reference an existing IAM role from a CloudFormation template in AWS
  116. 2015.08.05 - Building the Atreus keyboard
  117. 2015.07.07 - Create a private github repo in an organisation using the CLI
  118. 2015.06.12 - Breadth first and depth first, same algorithm different data structure
  119. 2015.06.02 - Download ajax calls responses for a set of pages

My projects

Ombra

Ombra verifies using FsCheck that a closure based interpreter and a substitution based interpreter yield the same results

Ombra console
|