Tim Humphries

@thumphriees

systems, pl, infosec, fp, properties, haskell

যোগদান করেছেন জুলাই ২০১৬

টুইট

আপনি @thumphriees-কে ব্লক করেছেন

আপনি কি এই টুইটগুলি দেখতে চাওয়ার বিষয়ে নিশ্চিত? টুইটগুলি দেখা হলে @thumphriees অবরোধ মুক্ত হবে না।

  1. পিন করা টুইট
    ১৮ নভেম্বর, ২০১৭

    Haskell pro tip: don't reach for fancy types unless it would be foolish not to. your competitive advantage lies in the basics

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  2. পুনঃ টুইট করেছেন
    ১৭ জুলাই

    wrote some docs for Spacchetti. even if you don't plan to use my package set, this should tell you what you need to know about using psc-package

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  3. পুনঃ টুইট করেছেন
    ১৭ জুলাই

    Never type `git pull`! You want `git fetch origin`, then `git merge --ff-only origin/mybranch` (to fast forward) or `git merge --no-ff origin/mybranch` (to create a merge bubble) or `git rebase origin/mybranch` (to rebase). Or use my ff/noff aliases:

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  4. পুনঃ টুইট করেছেন
    ১৬ জুলাই

    hey -- remember this outage from a few months ago? well we loaded the production data into a sandbox, and now you can play with honeycomb your very own self. see if you can find the cause of the outage faster than we did!! 🐝

    পূর্বাবস্থায়
  5. পুনঃ টুইট করেছেন
    ১৬ জুলাই
    -কে উত্তর দিচ্ছেন

    You may be referring to, "it tends to be true that the most common security vulnerabilities are ruled out when we manage to prove any theorem at all about a program!" from But, given the explanation, I believe it only applies to unsafe languages like C.

    পূর্বাবস্থায়
  6. পুনঃ টুইট করেছেন
    ১৫ জুলাই

    Code review is about knowledge sharing, not defect detection. As soon as you accept this and embrace static analysis your quality will go up dramatically and code reviews will become more useful.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  7. পুনঃ টুইট করেছেন
    ১৫ জুলাই

    Haskell is very simple. Everything is composed of Functads which are themselves a Tormund of Gurmoids, usually defined over the Devons. All you have to do is stick one Devon inside a Tormund and it yields Reverse Functads (Actually Functoids) you use to generate Unbound Gurmoids.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  8. পুনঃ টুইট করেছেন
    ১৬ জুলাই

    The second alpha of the 8.6 release of the Glorious Glasgow Haskell Compiler is now out. Happy testing!

    পূর্বাবস্থায়
  9. ১৫ জুলাই

    Trying to find the source of the anecdote "proving any property about a system reveals 90% of the bugs" (my rephrase) - anyone?

    পূর্বাবস্থায়
  10. পুনঃ টুইট করেছেন
    ১৩ জুলাই

    For as much as I hate jira, I have to say, when my team was complaining about it just now a man who sits nearby came into our room to join in on the bashing, demonstrating the power of hatred for jira to break down social boundaries and help total strangers bond with each other

    পূর্বাবস্থায়
  11. পুনঃ টুইট করেছেন
    ১৫ জুলাই

    Nuance: applies to code made "reusable" by adding stuff; night & day difference with code that is reusable by knowing less. Code should pretty much always strive to know less

    পূর্বাবস্থায়
  12. পুনঃ টুইট করেছেন
    ১৪ জুলাই

    It's surprisingly often that I find a junior engineer that was boxed in and growth-restricted by co-workers in a previous position. Some small amount of guidance and a lot of encouragement later they turn out to be fantastic engineers.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  13. পুনঃ টুইট করেছেন
    ১৪ জুলাই

    Heyyy, GitHub is starting an apprentice program! These positions are 6-month learning experiences for people with non-traditional technical backgrounds from underrepresented groups in tech. Check it out!!

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  14. পুনঃ টুইট করেছেন
    ১৪ জুলাই

    Absolutely! 's blog is a treasure trove of programming wisdom and pragmatism. Other favorite posts include 1. How to cut a monolith in half (required reading for anyone contemplating "microservices")

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  15. পুনঃ টুইট করেছেন
    ১২ জুলাই

    Looking to hire someone at the intersection of compilers, Haskell, and working with custom ML models. Portland or Bay Area. DMs open.

    পূর্বাবস্থায়
  16. পুনঃ টুইট করেছেন
    ১৪ জুলাই

    Something we get asked over and over by VCs: "what if AWS decides to build a honeycomb-like product?" From now on my reply will be a link to this thread.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  17. পুনঃ টুইট করেছেন
    ১১ জুলাই

    My programming strategy: if something can be fixed or made better in less than 15 minutes, don’t file a task for later or for someone else: just do it!

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  18. পুনঃ টুইট করেছেন
    ১২ জুলাই

    Really lovely article by on what makes for good code - and it's not always writing the cleanest or most performant code, but the one optimized for a good debugging experience.

    পূর্বাবস্থায়
  19. পুনঃ টুইট করেছেন
    ১১ জুলাই

    Continuing to bang on about the Life Too Short school of issue tracking I argue that tracking 3rd tier issues (eg subtask if yours goes Epic > Issue > Subtask) is a waste of time. 1. Your devs have better personal systems 2. It obscures the real questions Just use free text

    পূর্বাবস্থায়
  20. ১১ জুলাই

    Strange Loop and Haskell Symposium booked! See you there

    পূর্বাবস্থায়
  21. পুনঃ টুইট করেছেন
    ১১ জুলাই

    it amazes me how much of my code is just combinations of fmap/foldMap/traverse/sequence/join/<|>/<*>

    পূর্বাবস্থায়

লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।

টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।

    আপনিও পছন্দ করতে পারেন

    ·