iambrj

• http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from/
• http://tomasp.net/academic/papers/against-types/
• Against a universal definition of ‘type’
• The Triumph of Types: Principia Mathematica’s Impact on Computer Science
• Function and Concept
• https://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html

iambrj

-> Smart body posture recognition & Guiding system
-> Effectively writing YARA rules to detect malwares
-> Drone Doctors
-> Real Time Mapping of Epidemic Spread
-> Hospital Finder - v
-> Proactive Disaster Detection
-> Crowd sourcing of diseases and pests information 
-> drone based medical facility - v/
-> Driver Alertness Detection - x
-> Parking spot indicator in vicinity - /

iambrj

Latency Comparison Numbers (~2012)
----------------------------------
L1 cache reference                           0.5 ns
Branch mispredict                            5   ns
L2 cache reference                           7   ns                      14x L1 cache
Mutex lock/unlock                           25   ns
Main memory reference                      100   ns                      20x L2 cache, 200x L1 cache
Compress 1K bytes with Zippy             3,000   ns        3 us
Send 1K bytes over 1 Gbps network       10,000   ns       10 us
Read 4K randomly from SSD*             150,000   ns      150 us          ~1GB/sec SSD