Hacker News: corey

New comment by corey in "The day I started believing in unit tests"

corey — Tue, 19 Dec 2023 15:36:43 +0000

I agree that mocks are brittle and nearly useless.

If you follow SOLID principles to the extreme, you'll find that your code is separated into logic code that is pure and easy to unit test, and IO code that is very simple and can be tested by a relatively few number of integration tests.

New comment by corey in "Ask HN: What web framework do you use? Why did you choose it?"

corey — Sun, 25 Dec 2016 16:24:02 +0000

ASP.NET MVC, because:

- ASP.NET MVC makes it much easier to keep your domain logic decoupled from the framework. This is in contrast to frameworks like Django who expect you to use their ORM, and to derive your model classes from a framework provided base class.

- It's C#. I know it well, it is common in industry, and it is statically typed. For programs of any real complexity, I find statically typed languages to be much more efficient and pleasant to work with.

Eventually I want to move more in the direction of stronger type systems, but it doesn't seem like there are many jobs out there for Haskell programmers who aren't programming demi-gods.

Developing Web Applications with Haskell

corey — Sat, 04 Jul 2015 15:32:11 +0000

Article URL: https://docs.google.com/presentation/d/10m9zTl3Lir68VsT-yV_Ke-hvBBuq7Lj08WQ-yxElIKg

Comments URL: https://news.ycombinator.com/item?id=9830431

Points: 130

# Comments: 32

New comment by corey in "Ask HN: How can I learn math?"

corey — Sun, 14 Jun 2015 15:38:26 +0000

Have you mastered algebra and trig? If not, do it. Khan Academy is great for this. Watch the videos and do lots and lots of problems. In learning math, there is no substitute for working through lots of problems.

After this, I suggest learning some discrete math and proof techniques. The book How To Prove It is great. It will teach you logic, set theory, how to write proofs, and how to invent proofs. Learning this first will help you actually understand calculus when you study it next.

For calculus, MIT's OCW course is really good. Pick up a standard book like Stewart, do a lot of problems, and try to understand the proofs of all the theorems. Or if you'd really like a challenge and some more theory, pick up Spivak's book.

New comment by corey in "10%? 20%? Apps Are Changing How We Tip"

corey — Mon, 30 Mar 2015 15:16:00 +0000

Or just let the market handle it.

If people stop tipping, restaurants would be forced to increase wages, because nobody is going to work for $3/hour.

New comment by corey in "OkCupid’s Unblushing Analyst of Attraction"

corey — Sun, 07 Sep 2014 20:36:33 +0000

"because stereotyping necessarily subordinates individual identity to group identity"

No it doesn't. Many stereotypes are useful when you have very little information about a person. You're only subordinating individual identity to group identity if you refuse to update your beliefs about a person after receiving new evidence about him.

New comment by corey in "Show HN: Star Trek DS9 Episodes Worth Watching"

corey — Mon, 21 Jul 2014 15:07:42 +0000

Jammer's Reviews are pretty good for that.

http://www.jammersreviews.com/st-tng/

CIS 194: Introduction to Haskell

corey — Sun, 20 Jul 2014 15:47:34 +0000

Article URL: http://www.seas.upenn.edu/~cis194/

Comments URL: https://news.ycombinator.com/item?id=8060586

Points: 4

# Comments: 0

New comment by corey in "Google Trends: Hacker News vs. Slashdot"

corey — Mon, 30 Jun 2014 03:06:44 +0000

Imagine a Beowulf cluster of HNs?

New comment by corey in "Pierre Sprey on the F-35 [video]"

corey — Tue, 17 Jun 2014 22:16:28 +0000

Also a missile's range and effectiveness depend upon both aircrafts' altitudes and velocities. Even if the predator could fire an AMRAAM, I don't think it would stand much of a chance of winning an engagement against a fighter that can fly twice as high and ten times as fast.

New comment by corey in "What type of Machine is the C Preprocessor?"

corey — Mon, 27 Jan 2014 22:41:12 +0000

Even in math "infinity" often means "unbounded". For example, in real analysis if we have a sequence x_n, we write lim x_n = ∞ to mean "given any real number alpha, we can find a natural number K, such that x_n >= alpha for all n > K".

New comment by corey in "What languages fix"

corey — Fri, 27 Dec 2013 01:37:12 +0000

Haskell: Programmers aren't disciplined enough to to isolate side effects by themselves.

New comment by corey in "Advanced Data Structures in Python"

corey — Wed, 18 Dec 2013 19:58:22 +0000

Those aren't data structures.

New comment by corey in "Things You Can Do That Will Make You Happier"

corey — Thu, 10 Oct 2013 00:19:15 +0000

Lukeprog wrote a great and well researched blog post on being happy:

http://lesswrong.com/lw/4su/how_to_be_happy/

New comment by corey in "Shown HN: texit - Embed LaTeX anywhere on the web"

corey — Tue, 17 Sep 2013 02:05:40 +0000

This isn't pointless, as it allows you to easily post latex equations on any site that allows images.

New comment by corey in "Why there is no Hitchhiker’s Guide to Mathematics for Programmers"

corey — Sun, 08 Sep 2013 21:26:56 +0000

Velleman's "How to Prove It" is a great book to learn how to do mathematics.

http://www.amazon.com/How-Prove-It-Structured-Approach/dp/05...

New comment by corey in "How fast can we make interpreted Python?"

corey — Wed, 26 Jun 2013 02:45:59 +0000

Python has an array class too:

http://docs.python.org/2/library/array.html

New comment by corey in "Discrete Optimization course begins today"

corey — Tue, 18 Jun 2013 22:50:18 +0000

How do you like working in OR? Are there a lot of jobs in the field? I'm a math major and like programming, so it seems like it'd be an interesting career for me.

Discrete Optimization course begins today

corey — Tue, 18 Jun 2013 18:17:16 +0000

Article URL: https://www.coursera.org/course/optimization

Comments URL: https://news.ycombinator.com/item?id=5900998

Points: 51

# Comments: 25

New comment by corey in "72% Of Professors Who Teach Online Courses Don't Think Students Deserve Credit"

corey — Sat, 23 Mar 2013 19:13:06 +0000

It's not just cheating, it's also the fact that when you have to use automated grading, it's much more difficult to create good tests.

I hope in the future they offer you the option of taking a real test at a testing center, which is graded by a human being.