NathanCollins's submissions

1.		Formal verification of Amazon's s2n SSL/TLS library (galois.com)
		25 points by NathanCollins on Sept 22, 2016 \| past \| 6 comments
2.		Intro CS: "Six Degrees of Kevin Bacon" assignment with porn titles (wisc.edu)
		1 point by NathanCollins on May 10, 2010 \| past \| 1 comment
3.		Pittsburgh's Alphalab Incubator: Application Deadline is Thursday, April 8th (alphalab.org)
		8 points by NathanCollins on April 6, 2010 \| past \| 3 comments
4.		Pittsburgh's AlphaLab to host SuperHappyDevHouse clone on Oct. 2nd (72.14.205.104)
		6 points by NathanCollins on Sept 26, 2008 \| past \| 2 comments
5.		Pittsburgh's AlphaLab incubator applications open (alphalab.org)
		10 points by NathanCollins on Sept 18, 2008 \| past \| 8 comments
6.		Python at ITA (eweek.com)
		1 point by NathanCollins on May 2, 2008 \| past \| 1 comment

HN For You