NathanCollins

74 ms·

1.
by NathanCollins 3y ago
Great point! I have a "cheap" Samsung M32 that I bought for about $170. One reason I chose this Samsung phone over a similarly priced phone from a competitor was that I wrongly believed that Samsung provided several years more OS
2.
by NathanCollins 3y ago
It's not a toggle, but Google Pixel phones (or at least the one I owned a few years ago) come with very few if any bloatware type apps, since the default Android apps are the Google apps anyway. Contrast with Samsung that duplicates a
3.
by NathanCollins 8y ago
Are you aware of /The Implementation of Functional Programming Languages/ by Simon Peyton Jones, the main person behind the front end of the GHC Haskell Compiler? The full book is available free on his web site as PDF: https:&#x2
4.
by NathanCollins 10y ago
Thanks for clarifying "white-box testing". Some comments: * the operations in the mathematical spec are mostly well defined, but e.g. division by zero is not defined. However, the verification handles this by checking that all ope
5.
by NathanCollins 10y ago
I don't think I understand what you mean by "white-box testing" here, but perhaps it's helpful to clarify what I meant by "equivalence" above, and how it relates to testing: what we did here was verify input&#
6.
by NathanCollins 10y ago
Do you mean as opposed to e.g. verifying the absence of timing attacks? While I agree that verifying the absence timing attacks is probably much harder than what was done here, the difficult part of the s2n verification I linked to was that
7.
Formal verification of Amazon's s2n SSL/TLS library(galois.com)
25 points by NathanCollins 10y ago|6 comments
8.
by NathanCollins 13y ago
Janrain and Engine Yard have been known to host community events.
9.
by NathanCollins 13y ago
Yes, this is the only change I care about :( I used "It's All Text" with Emacs. Maybe it's time to start using a separate email client?
10.
by NathanCollins 14y ago
In the context of the article, I think the justification was: assuming you're more productive in quality and not quantity, because you're working towards ambitious goals, then on most days you will not complete a recognized goal. The sugge
11.
by NathanCollins 15y ago
how do i know you don't suck at making up coding questions? in other words, why require a sign-up instead of just posting the questions on your site?
12.
by NathanCollins 16y ago
E.g. search for "Buck Adams". Email from prof: "I need to apologize to everyone in CS 367 for providing data sets containing offensive material. I had not looked at the contents of the large and huge data sets until well after the assignme
13.
Intro CS: "Six Degrees of Kevin Bacon" assignment with porn titles(pages.cs.wisc.edu)
1 points by NathanCollins 16y ago|1 comments
14.
Pittsburgh's Alphalab Incubator: Application Deadline is Thursday, April 8th(alphalab.org)
8 points by NathanCollins 16y ago|3 comments
15.
by NathanCollins 18y ago
had not, thanks for the link
16.
by NathanCollins 18y ago
there are more important things happening on march 19th: http://stackin.hauntedshit.com/wp-content/uploads/2009/03/20... :)
17.
by NathanCollins 18y ago
The actual DevHouse Pittsburgh site http://devhousepgh.org is down ... If you aren't familiar with SuperHappyDevHouse see http://superhappydevhouse.org/ .
18.
Pittsburgh's AlphaLab to host SuperHappyDevHouse clone on Oct. 2nd(72.14.205.104)
6 points by NathanCollins 18y ago|2 comments
19.
by NathanCollins 18y ago
From http://www.alphalab.org/about.aspx : Funding Innovation Works will invest $25,000 in each AlphaLab company in return for 3% of the common stock of the company. This funding should support company operations during t
20.
by NathanCollins 18y ago
Yes, I forgot to list this, but it's significant. * each team gets a one-on-one meeting with the AlphaLab team every week, and when something urgent comes up they can usually make time for another meeting or discuss it on the spot. * betwee
21.
by NathanCollins 18y ago
I'm currently part of the first cycle of this program. AlphaLab has some benefits over YC: * includes office space * more money for less equity * longer program * cheaper city to live in
22.
Pittsburgh's AlphaLab incubator applications open(alphalab.org)
10 points by NathanCollins 18y ago|8 comments
23.
by NathanCollins 18y ago
From the article: "We have a wonderful ability here to choose the right tool for the job. We have components that are written in Java, in C++, in Python, and Ruby and Perl. [Python is] definitely viewed internally here by some of the best c
24.
Python at ITA(eweek.com)
1 points by NathanCollins 18y ago|1 comments