ocharles

12 ms·

91.
by ocharles 11y ago
Do you have any information that cold showers are really beneficial? I spent a month doing it, saw very little benefit - other than a mental pat on the back because obviously enduring something I didn't enjoy must be good for me. I can
92.
by ocharles 11y ago
Are you using --pure? I'd imagine these problems are from lost environment variables, but only --pure should clobber those.
93.
by ocharles 11y ago
Indeed, it works as nicely as you'd expect! I have a blog post in the pipeline describing how we do deployments... I need to get that pushed out.
94.
by ocharles 11y ago
It's worth noting the landscape has changed since I wrote this blog post. My updated workflow is here: http://wiki.ocharles.org.uk/Nix The official documentation also describes how to work with Cabal/Haskell: htt
95.
by ocharles 11y ago
It seems you'd get more mileage out of a trie if you also compared it with a sort of zipper approach. The idea being that if I type "a", I should just focus the trie around "A". If I next type "l", then I
96.
by ocharles 12y ago
I work for http://fynder.io - our entire backend stack is Haskell (libraries, PostgreSQL interface, email sending daemons, API server)
97.
by ocharles 12y ago
There's no reason a proof has to take any time - propositions as types is a tool to guide us to correct information flow, it doesn't mean we literally run the proof at every step. If we trust the core, we can erase the proof che
98.
by ocharles 12y ago
Is it though? At least Java has reasonably sensible semantics and something resembling a type system. Dynamically typed languages have their place, but for me - that place is not absolutely everywhere.
99.
by ocharles 12y ago
I don't have any advice, but you seem to suggest that the whole "scene" is problematic. Ignoring that is a massive sweeping statement, perhaps consider if you are causing yourself to be the problem - you've already dec
100.
24 Days of GHC Extensions: Record Wildcards(ocharles.org.uk)
2 points by ocharles 12y ago|0 comments
101.
by ocharles 12y ago
Wow, you are just radiating ignorance; I don't even know why I'm wasting my breath. Nonetheless, > Oh dear. This is a new use of the word elegant I have not encountered before. The Peano numbers are elegant because they corresp
102.
24 Days of GHC Extensions: View Patterns(ocharles.org.uk)
2 points by ocharles 12y ago|0 comments
103.
24 Days of GHC Extensions: Welcome(ocharles.org.uk)
12 points by ocharles 12y ago|1 comments
104.
GHC 7.8.1 released(haskell.org)
249 points by ocharles 13y ago|101 comments
105.
by ocharles 13y ago
Care to back that up?
106.
by ocharles 13y ago
Have you heard of Ur? It takes this idea even further - http://www.impredicative.com/ur/
107.
by ocharles 13y ago
If you only have `2 * n cores` connections, doesn't that mean that you can at most have `2 * n cores` transactions running at once? I suppose on larger servers that is fairly reasonable (as you want these transactions to be very short
108.
by ocharles 13y ago
I agree. It was my first FOSDEM, but I was a little frustrated that I caught maybe 20% of the talks I actually wanted to see. I didn't even get into the PostgreSQL room, despite turning up 15 minutes early for one of the talks. That sa
109.
by ocharles 13y ago
I spent some time writing Asteroids in netwire - a functional reactive programming library in Haskell - in my free time over a few evenings. I blogged about this at http://ocharles.org.uk/blog/posts/2013-08-18-aste
110.
by ocharles 13y ago
I have been using NixOS as my primary OS for the best part of half a year now (maybe more). I haven't looked back since :) I do warn people though - it's not as featureful as other distributions, so you have to be willing to help
111.
by ocharles 13y ago
> In its most extreme realizations has been shown to cause severe emotional harm to exploited workers. Care to share these findings?
112.
by ocharles 13y ago
Not just is that function pure, but free theorems indicate that the only way you can get an a is by using the Vector that goes in. Sure, it could ignore the Int - we don't have linear types, afterall - but it really does narrow down
113.
by ocharles 13y ago
> [..] and the person hypothetically has a heart condition. That alone is a massive problem - how do you know? Most people only discover things like this when things start going wrong. And if you make things go wrong, then you risk doi
114.
by ocharles 13y ago
Then take that to its logical conclusion and read the source code for all the stuff you are installing, and the description of all the packages you are installing. Your argument was the strawman.
115.
by ocharles 13y ago
I use NixOS, how far have you got/what are your goals?
116.
by ocharles 13y ago
For Rails/Play, we have three web frameworks: * Snap * Yesod * Happstack I think all of these have techniques to build web sites in a modular fashion, but I have only used Snap myself. For querying, I personally just use postgresql-sim
117.
by ocharles 13y ago
I found this true for a while, but I tend to alternate quite a lot. I work directly on my laptop from home, with a normal layout - I occasionally shift in the wrong place, but that's about it. I have bigger problems sharing keyboards a
118.
by ocharles 13y ago
Actually, I find the shift keys are in a superb place. While I was used to having control there, now that I work primarily in Vim, I have more of a need to modify with shift rather than control. The new location of shift is actually one of
119.
by ocharles 13y ago
I don't miss where the windows key is because I rarely have a need to press it. Linux is my primary OS. I also have the extended Truly Ergonomic, and I think I could remap the extra key to windows if I so desired. I'm not sure exa
120.
by ocharles 13y ago
This layout still feels inferior next to my http://trulyergonomic.com/ keyboard. I was really skeptical at first, especially with the price tag - but I'd never go back now.

More ›