- 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
Bharathi Ramana Joshi iambrj
iambrj
/ Blog posts.md
Created
February 7, 2019 02:46
— forked from stereobooster/Blog posts.md
Great Works in Programming Languages
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -> 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.txt
Created
December 12, 2018 07:23
— forked from jboner/latency.txt
Latency Numbers Every Programmer Should Know
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |