Tim Humphries

@thumphriees

systems, fp, sre

San Francisco, CA
teh.id.au
Joined July 2016
49 Photos and videos Photos and videos

Tweets

You blocked @thumphriees

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @thumphriees

  1. Retweeted
    9 hours ago

    Just submitted: How to Specify it! A Guide to Writing Properties of Pure Functions. Hope it will prove useful!

    2 replies 38 retweets 101 likes
    Undo
  2. 3 hours ago

    TIL Gnome Flashback, making those old DE + WM combos possible with all the new GNOME 3 background goodness

    1 like
    Undo
  3. 19 hours ago

    and will be runnable against the real thing, enabling safe refactoring + feature rollout long after I leave... as long as our validation work now succeeds, anyhow. good

    5 likes
    Show this thread
    Show this thread
    Undo
  4. 19 hours ago

    this is probably the earliest in the product cycle I've deployed state machine testing - I usually use it for lower-level subsystems. so far so good, uncovers all sorts of inconsistencies that we missed on paper

    1 reply 4 likes
    Show this thread
    Show this thread
    Undo
  5. 19 hours ago

    we are using it to detect dead transitions in a big state machine modelling a rapidly growing product spec. it does the job - gives us some high-level monitoring of generators + fails if a generator gets starved - but more importantly it feels like a video game

    4 replies 1 retweet 7 likes
    Show this thread
    Show this thread
    Undo
  6. 19 hours ago

    finally sat down to use hedgehog's new coverage / classify stuff and folks, it's good

    1 reply 4 retweets 22 likes
    Show this thread
    Show this thread
    Undo
  7. Retweeted
    Jul 3
    Replying to

    Not a coincidence. Outages commonly occur around quarterly boundaries as engineers rush to complete projects they committed to deliver by the end of the quarter.

    1 retweet 18 likes
    Undo
  8. Retweeted
    Jul 2

    Superhuman is an email surveillance app that encourages its users to spy on friends and co-workers without their consent. Why the ethics of this matter and what it says about Superhuman as a company. New post on Mike Industries:

    173 replies 1,480 retweets 3,138 likes
    Undo
  9. Jun 30

    the web needs more fuzzy finders

    4 likes
    Undo
  10. Retweeted
    Jun 29

    " …one manager saying at an all-hands meeting that Boeing didn’t need senior engineers because its products were mature." Good grief.

    36 replies 347 retweets 573 likes
    Undo
  11. Retweeted
    Jun 27

    In case you hadn't heard... I'm looking for a 🌟 new job 🌟 as a software engineer! Recently I've worked on: - LTE security research @ EFF - Apache Kafka/infra @ Stripe - certbot (previously the Let's Encrypt client) - lots of Python, Rails, Linux, nginx, etc ... experience :)

    44 replies 295 retweets 550 likes
    Show this thread
    Show this thread
    Undo
  12. Retweeted
    Jun 25

    On development cadence...

    8 replies 25 retweets 154 likes
    Undo
  13. Retweeted
    Jun 24

    I am seeking collaborators and discussion partners to continue rethinking machine learning from a perspective of typed functional programming, denotational design, and category theory. Please let me know if you're interested and what you could offer. Retweets appreciated.

    11 replies 174 retweets 223 likes
    Show this thread
    Show this thread
    Undo
  14. Jun 22

    there's also a new thing where recruiters will neg you over the course of 5 or 6 emails, call you unprofessional for ignoring them / not replying / etc. this is automated Salesforce-ass software. you lose if you reply

    5 likes
    Show this thread
    Show this thread
    Undo
  15. Jun 22

    - use adblock on the linkedin "notifications" element. it WILL trick you into opening the site regularly

    1 reply 3 likes
    Show this thread
    Show this thread
    Undo
  16. Jun 22

    - remove all email contacts from all personal websites - use a 'contact' form with captcha and disabled copy/paste if you must - use a unique email address on your CV for each job search so you can blackhole later - redirect any linkedin-sourced email to the trash

    1 reply 2 likes
    Show this thread
    Show this thread
    Undo
  17. Jun 22

    - job leads initiated by recruiters outside your network are probably not jobs you (or anyone) wants - they are still incredibly useful for testing your market and as leverage - none of this is relevant outside the bay area, where software jobs are sold like used cars

    1 reply 2 likes
    Show this thread
    Show this thread
    Undo
  18. Jun 22

    rules i don't follow well enough: - use unique email addresses for each professional website so you know who's sold you out (not +thing@ addresses, they KNOW) - funnel those addresses into folders and only open when you actually need a job - don't render html or images in email

    1 reply 4 likes
    Show this thread
    Show this thread
    Undo
  19. Jun 22

    can't help but be nice to recruiters who actually write their own emails; can't help but report all the others as spam to their domain registrar

    1 reply 12 likes
    Show this thread
    Show this thread
    Undo
  20. Retweeted
    Jun 22

    For those of you who imagine that it's expensive to test software:

    0:15
    Today they dropped a plane from the gantry at work!
    Show this thread
    11 replies 292 retweets 610 likes
    Undo

@thumphriees hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·