Search
 
   

29 results for "domain:drmaciver.com"

  1. 14
    A manifesto for error reporting practices drmaciver.com
    feoh avatar via feoh 2 months ago | cached | 2 comments
  2. 10
    (Some of) my problems with correctness research compsci formalmethods practices drmaciver.com
    mfeathers avatar via mfeathers 4 months ago | cached | no comments
  3. 22
    Can you write correct software in a statically typed language? programming drmaciver.com
    fcbsd avatar via fcbsd 6 months ago | cached | 14 comments
  4. 11
    Tell us why your language sucks (2008) ☶ haskell plt drmaciver.com
    hwayne avatar via hwayne 7 months ago | cached | 6 comments
  5. 11
    Python Coverage could be fast python testing drmaciver.com
    DRMacIver avatar authored by DRMacIver 11 months ago | cached | no comments
  6. 11
    How and why to learn about data structures compsci drmaciver.com
    calvin avatar via calvin 1 year ago | cached | 1 comment
  7. 2
    Avoiding conferences in the USA for now event law drmaciver.com
    JordiGH avatar via JordiGH 1 year ago | cached | no comments
  8. 35
    Programmer at Large: What is this? ☶ art law drmaciver.com
    ngoldbaum avatar via ngoldbaum 1 year ago | cached | 9 comments
  9. 28
    Why you should use a single repository for all your company’s projects practices vcs drmaciver.com
    DRMacIver avatar authored by DRMacIver 1 year ago | cached | 35 comments
  10. 16
    Some things that might help you write better software practices testing drmaciver.com
    DRMacIver avatar authored by DRMacIver 1 year ago | cached | 6 comments
  11. 52
    Static typing will not save us from broken software programming testing drmaciver.com
    DRMacIver avatar authored by DRMacIver 1 year ago | cached | 52 comments
  12. 28
    It might be worth learning an ML-family language haskell ml python drmaciver.com
    DRMacIver avatar authored by DRMacIver 2 years ago | cached | 20 comments
  13. 22
    Contributors do not save time culture programming drmaciver.com
    DRMacIver avatar authored by DRMacIver 2 years ago | cached | 2 comments
  14. 1
    Fuzzing through multi-objective shrinking security testing drmaciver.com
    DRMacIver avatar authored by DRMacIver 2 years ago | cached | no comments
  15. 1
    L* Search and Inference of Deterministic Finite Automata compsci drmaciver.com
    DRMacIver avatar authored by DRMacIver 2 years ago | cached | no comments
  16. 16
    How to read a mathematics textbook math drmaciver.com
    DRMacIver avatar authored by DRMacIver 2 years ago | cached | 4 comments
  17. 3
    The Myhill–Nerode theorem and the Minimal Deterministic Automaton compsci drmaciver.com
    DRMacIver avatar authored by DRMacIver 2 years ago | cached | 2 comments
  18. 17
    The easy way to get started with property based testing testing drmaciver.com
    DRMacIver avatar authored by DRMacIver 2 years ago | cached | 7 comments
  19. 25
    Hypothesis progress is alarming programming drmaciver.com
    pushcx avatar via pushcx 2 years ago | cached | 51 comments
  20. 10
    On criticizing programming languages (without criticizing their users) culture programming drmaciver.com
    DRMacIver avatar authored by DRMacIver 2 years ago | cached | 6 comments
Page: 1 2