Profile cover photo
Profile photo
Conal Elliott
Conal's posts

Post has attachment
My daughter Friday is running a Kickstarter campaign, closing May 3, to help her build her tea business (organic and fair trade) and focus on what she loves. It’s a very big deal to her and her daughter Audrey, and to me. Friday works tremendously hard, and has a wonderful heart. She particularly caters to techy/mathy/gamer folks, with playful sci-fi and fantasy themed tea blends, and I really do love her teas. We dearly appreciate your support!

Post has shared content
Great argument for small teams of well trained programmers, with high end tools.

"My company uses Haskell, because we do not have much manpower. We do not get paid enough, so we take many contracts. We cannot afford QA teams, so we use a sadistic compiler. We cannot dedicate too much time to any particular project, so we prefer to learn dense idioms (which takes time upfront, and saves time later), rather than learn sparse idioms that take more time to implement every time and debug individually. We do not keep a project in live mode after we have handed it over, due to little manpower, so any bugs that we have to cure at our own cost must be caught in development. Now, if you have few programmers, then they should be very efficient, and the best place to optimise is the tools."


Post has shared content
Great phrase from Conor McBride -- I like to think of types as warping our gravity, so that the direction we need to travel [to write correct programs] becomes "downhill".

I rely on the use of rich types to infer much of the software I write -- to just "derive" fragments of the software from its type specification, and get on with the interesting work. No room for hacks or misadventure to creep in, since there's only a few possible programs with the correct type.

And after years of richly typed programming, it is easy to forget how unusual - and luxurious - this engineering methodology is.

Post has shared content
On the plus side, You + I = We

Main Quest: Find at least one common goal between you and each person who means a lot to you.

Difficult Option: Find a common goal with your current boss.

Nightmare Option: Find a common goal with a person you don't like.
Wait while more posts are being loaded