vu3rdd

Video lectures

Lectures by Meredith Patterson is here

Sugested papers in #1

1. A painless Introduction to state machines
2. Regel state charts

suggested papers in #6

vu3rdd

1 2

vu3rdd

1. rsync report
2. Tridgell's Ph.D thesis
3. rsync implementation in OCaml
4. rsync OLS talk transcript
5. set reconciliation
6. How rsync works

vu3rdd

done reading

• "Racket Manifesto", Mattias Feliesen, et al.
• "Using deBruijn sequences to index a 1 in a computer word", Charles Leiserson, Keith Randall, et al.
• "Some thoughts on security after ten years of qmail 1.0", djb
• "How to read a paper", S. Keshav
• "The bugs we have to kill"

currently reading

• "A new implementation technique for applicative Languages", David A. Turner

vu3rdd

[~/src/inferno/vitanuova/inferno]$ hg diff mkfiles/mkfile-MacOSX-386 
diff -r 7ab390b860ca mkfiles/mkfile-MacOSX-386
--- a/mkfiles/mkfile-MacOSX-386	Mon Jun 30 14:13:22 2014 +0100
+++ b/mkfiles/mkfile-MacOSX-386	Thu Feb 26 11:19:09 2015 +0530
@@ -9,12 +9,12 @@
 ARFLAGS=	ruvs
 A=		a
 
-AS=		gcc -c -arch i386 -m32
+AS=		llvm-gcc -c -arch i386 -m32

vu3rdd

1. Pi2 - ✓
2. case - ✓
3. usb to serial/gpio - ✓
4. 5V/2A microusb Power supply.
5. microSD Card (2GB) - ✓
6. SD Adaptor - ✓
7. Touch screen
8. Battery pack
9. GSM Module
10. micro usb cable

vu3rdd

module Majority where

zeroCrossing :: Eq a => [a] -> [(a, Int)]
zeroCrossing [] = []
zeroCrossing (x:xs) =
  scanl f i xs
    where f (u, count) v | u /= v && count /= 0 = (u, count - 1)
                         | u /= v && count == 0 = (v, count + 1)
                         | otherwise = (u, count + 1)
          i = (x, 1)

vu3rdd

1. Brent Yorgey's course - BFPG video lectures
2. NICTA course.
3. Scheme in 48 hours
4. Stanford
5. Typeclassopedia.
6. Benjamin Pierce's Advanced Haskell course.
7. Afp Course.

vu3rdd

REM directory to store the build dependencies
mkdir dependencies

REM Download and install Python (2.7.8) x86-64 MSI.
set PATH=%PATH%;c:\Program files (x86)\GnuWin32\bin
wget https://www.python.org/ftp/python/2.7.8/python-2.7.8.msi -O dependencies/python-2.7.8.msi

start /wait dependencies/python-2.7.8.msi /passive

REM Download and install PyOpenSSL

vu3rdd

Why aren't abstraction, modularity, hierarchy, and layers enough?

• First, you must understand what you are doing.
• It is easy to create abstractions; it is hard to discover the right abstraction.
• It is hard to change the abstractions later.

(ditto for modularity, hierarchy, and layers)