DRMacIver

10 ms·

61.
by DRMacIver 11y ago
They're mostly the hobbyists. They're also the people you encounter in other languages (e.g. Scala) telling you how much better this all would be if you just understood Haskell. Unfortunately, due to the relative lack of success o
62.
by DRMacIver 11y ago
> I think you're equally missing the point– for serious Haskell programmers, using a monad to structure computation for a CRUD app is nothing to write home about. Having personally written quite a lot of CRUD code with Haskell, I ha
63.
by DRMacIver 11y ago
> You could just as well argue that laying out object class hierarchies and using inheritance is "[solving problems] that have nothing to do with what you’re actually trying to achieve." Could, indeed semi-regularly do. I activ
64.
by DRMacIver 11y ago
The difference is, I know when I'm not being funny.
65.
by DRMacIver 11y ago
Personally I'd like to embrace the power of 'and'. :-) As someone who is going to be trying to make a living from his open source work in the near future, it sure would be nice to be given money by companies. But there's
66.
by DRMacIver 12y ago
> Once you've tried property based testing, I think you never really trust things quite the same :) Oh god, tell me about it. So far I've hit 4 pypy bugs, 3 cpython bugs, two pytz bugs (one caused by a cpython bug), and I'
67.
by DRMacIver 12y ago
Cool! I've added a comment to your commit as I think you've made a mistake in the strategy setup, but it looks good as a test. Sorry about the lack of 2.6 support. I looked into it and I could probably do it but I just don't
68.
by DRMacIver 12y ago
Have you seen http://hypothesis.readthedocs.org/en/latest/examples.html#fu... ? It doesn't test very much - mostly just that the API doesn't produce a 500 error - but it's a decent example of how yo
69.
by DRMacIver 12y ago
> Building a quickcheck style tester in AS3 drove me nuts at one point before finding out that the conversions between strings and floating point numbers has a bunch of weird issues. There are some obvious ones, but then also things like
70.
by DRMacIver 12y ago
This is also on the "at some point" list. :-) Concolic testing is quite hard in Python because of its extremely flexible semantics. I will probably look into doing something with z3 at some point when I need an interesting probl
71.
by DRMacIver 12y ago
Thanks so much for the kind words! The best part of this message is that if you were someone I knew and thus could trust to only say nice things about me you would offer to buy me gin instead of beer. ;-)
72.
by DRMacIver 12y ago
No, it's much closer to classic fuzz testing, where the test is held constant and the data fed to it is varied. I've been meaning to see if I can figure out a way to use mutation testing to feed into Hypothesis, but it's on t
73.
by DRMacIver 12y ago
This looks super interesting and I'll check it out when I'm not doing release management stuff, thanks! If you haven't seen it, http://hypothesis.readthedocs.org/en/latest/internals.html#p... descri
74.
Using Hypothesis to demonstrate a classic voting paradox(hypothesis.readthedocs.org)
2 points by DRMacIver 12y ago|0 comments
75.
Why you should always write good error messages(drmaciver.com)
1 points by DRMacIver 12y ago|0 comments
76.
by DRMacIver 12y ago
Yeah, the google ranking of Hypothesis when you search for python quickcheck is a thing that's been bugging me. There's a blog post from 2013 about it on the front page but none of the various places the project exists appear. I&#
77.
by DRMacIver 12y ago
No, the infinite precision integer type in Haskell is called Integer. Int is a platform dependent fixed size int.
78.
by DRMacIver 12y ago
Realised I should have linked to http://hypothesis.readthedocs.org/en/master/internals.html to back up that "a whole bunch of things even quickcheck doesn't" claim. :-)
79.
by DRMacIver 12y ago
Yep. This is why I wrote Hypothesis: http://hypothesis.readthedocs.org/ / https://pypi.python.org/pypi/hypothesis It's a lot more fully featured than the alternatives. It still lacks a few fe
80.
by DRMacIver 13y ago
Um. Encapsulating data and operations is exactly what libraries do. It's kinda what they're for.
81.
by DRMacIver 13y ago
It is unclear to me what the intended mechanism of services helping different teams work together is that is not also provided by just writing libraries. Could you elaborate?
82.
by DRMacIver 13y ago
For context, my normal desktop environment is wmii running on Linux. I also find Windows physically painful. The problem is that the reason this works for me is that I'm able and willing to put up with an awful lot of bullshit and have
83.
by DRMacIver 13y ago
Yes, I know. I had it but my config was badly broken so it wasn't doing anything. Whoops.
84.
by DRMacIver 13y ago
TBF, I've had a self-hosted blog for about 6 years. I just chose a platform that I didn't understand in order to prevent me from wasting time yak shaving on the means of hosting and just write content so have never actually perfor
85.
by DRMacIver 13y ago
I think "best solutions come from new people" is an over-simplification of what actually happens. New people force you to re-examine your assumptions and blind spots. Sometimes this is useful, sometimes it isn't. This doesn&#
86.
by DRMacIver 13y ago
If your sole measure of advantage is promotion then yeah, feel free to kick back your heels and do whatever you want. Personally, I quite like to be doing useful work, and normal ramp-up times for people seem to be about 3-6 months, which i
87.
by DRMacIver 13y ago
Ah. That's a good idea which I totally failed to follow. Instead I flailed around blindly in the usual manner of trying to get PHP applications to work and seem to have fixed the problem. :-) I should really move my blog to an environm
88.
by DRMacIver 13y ago
Thanks. I'm currently paying the price for my foolish decision to self-host wordpress. In the process of trying to fix.
89.
by DRMacIver 13y ago
Yeah, I'm not wild about those labels either. I confess they were thought up on the spur of the moment to try to explain the idea. The reasoning for the naming is essentially that an explicit mental model is one where you can write dow
90.
How to quickly become effective when joining a new company(drmaciver.com)
94 points by DRMacIver 13y ago|31 comments

More ›