Evan Rutledge Borden

@evanborden

Bassist, Haskeller, Fermentation Enthusiast, Flip Flop Cyclist. Works , he/him

Austin, TX
Vrijeme pridruživanja: rujan 2010.

Tweetovi

Blokirali ste korisnika/cu @evanborden

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @evanborden

  1. proslijedio/la je Tweet
    26. sij

    caught my son running a google search for " writign physics engine in Coq ". i am beyond distraught. we are strictly an Agda family

    Poništi
  2. proslijedio/la je Tweet
    25. sij

    Your yearly reminder that most things worth doing are worth doing poorly. Fuck perfection. Art? Do it poorly. School work? Do half rather than not doing it at all. Calling a friend? Text them if you're afraid to call rather than not talking to them at all.

    Prikaži ovu nit
    Poništi
  3. 22. sij

    The idea of "canaries + observability" reducing the footprint of QA is interesting. It certainly underscores a "clean" error log as a pre-requisite. I wonder if it also requires a uniform traffic pattern. Otherwise delivery in trough may go unnoticed.

    Poništi
  4. proslijedio/la je Tweet

    the people who talk about 80hr weeks and 10x engineers are just trying to rebrand unpaid overtime as masculinity

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet

    Elizabeth Warren is a professor emerita at Harvard Law and one of the all-time most cited legal experts in bankruptcy and commercial law. The rate she charged over 30 years isn't even competitive with her male "peers" w/ far less expertise. FUCK. THIS. NOISE. PAY. WOMEN.

    Poništi
  6. 9. pro 2019.

    You: Laziness is bad because indexing into this list is slow. Me:

    Poništi
  7. 5. stu 2019.

    Dev-ops hates him, try this one shocking trick to destroy your cold cache build performance.

    Poništi
  8. proslijedio/la je Tweet
    4. stu 2019.

    🎨 Reminder (/Announcement)! I have a whole bunch of generative artwork for sale on my NEW website: You can also find my portfolio and information about each piece there.

    Poništi
  9. 31. lis 2019.

    Serving you traumatized May Queen realness this Halloween.

    Poništi
  10. proslijedio/la je Tweet
    23. lis 2019.

    Maybe the real hard problem in computer science was the pile of ethical dilemmas we made along the way.

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    24. lis 2019.

    I'm happy to (belatedly) announce that the non-moving garbage collector that and I have been working on for the last two years has been merged to GHC's master branch!

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet

    To once more fill your life with the anticipation and excitement of shotgun parsing, simply structure your internal computations around prisms over Value and buckle the hell up.

    Poništi
  13. proslijedio/la je Tweet
    10. lis 2019.

    Automatically generating a JSON parser from types is such a killer feature I don’t even think that much about until I have to interact with a third-party HTTP API and suddenly have to write reams and reams of code to very carefully ensure the data is the right shape.

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    10. lis 2019.
    Odgovor korisniku/ci

    Full recognition before processing!

    Poništi
  15. 9. lis 2019.

    Ack, I finally have a good use case for unsaturated type families.

    Poništi
  16. 6. lis 2019.

    Learning many languages is about learning different ways to solve the same problems. Learn semantics. Learn how those semantics are different and relate to larger problems. Compare solutions in one language to another. Syntax is a red herring.

    Poništi
  17. proslijedio/la je Tweet
    30. ruj 2019.

    These thoughts brought to you by reading the dora report. To recap, you can basically tell how high performing a team is by asking four questions: time to delivery, time to recovery, failed deploys and frequency of deploys.

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    30. ruj 2019.

    Open thread: after you merge to master, how does your code get validated and rolled out to users? How many human- initiated steps, if any; what is the human override, if none; and is there any automated attempt to remediate a failure?

    Prikaži ovu nit
    Poništi
  19. 25. ruj 2019.

    Creators of semantic recommending a device to read papers on is a pretty choice endorsement.

    Poništi
  20. 25. ruj 2019.

    Got nerd sniped yesterday and had to write a library.

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·