Adrian Colyer

@adriancolyer

Author: , Venture Partner with Accel Partners, London after many years as CTO for SpringSource and then apps at VMware, Pivotal

Romsey, England
ಮಾರ್ಚ್ 2009 ಸಮಯದಲ್ಲಿ ಸೇರಿದ್ದಾರೆ

@adriancolyer ತಡೆಹಿಡಿಯಲಾಗಿದೆ

ನೀವು ಖಚಿತವಾಗಿಯೂ ಈ ಟ್ವೀಟ್‌ಗಳನ್ನು ನೋಡಲು ಬಯಸುವಿರಾ? ಟ್ವೀಟ್‌ಗಳನ್ನು ನೋಡುವುದು @adriancolyer ಅವರನ್ನು ತಡೆತೆರವುಗೊಳಿಸುವುದಿಲ್ಲ.

  1. 4 ಗಂಟೆಗಳ ಹಿಂದೆ

    Analysing the liveness and safety of Go programs... behavioural types to the rescue!

  2. 13 ಗಂಟೆಗಳ ಹಿಂದೆ

    more research papers using Go (some only as implementation language)

  3. 12 ಗಂಟೆಗಳ ಹಿಂದೆ
  4. 12 ಗಂಟೆಗಳ ಹಿಂದೆ

    🗞 "Fencing off Go: Liveness and safety for channel-based programming" - Lange et al. 2017

  5. ಫೆಬ್ರ 1

    This is interesting: I'm not a "both sides are awful" person, but the sources on both sides there are!

  6. ಫೆಬ್ರ 1

    The Spring team is hiring! If you love Spring and love to write, contact us:

  7. ಫೆಬ್ರ 1

    Is there a service whereby any article you read online, it shows you another article w. same named entities but opposite sentiment? I want!

  8. Adrian Colyer ಹಿಂಬಾಲಿಸಿದ್ದಾರೆ , , and 2 others
    • @BoredElonMusk

      Thoughts and inventions from Elon in his downtime. This is a futuristic hyper-parody account. Email = boredelon(at)gmail

    • @brendangregg

      Cloud performance, kernel engineer, speaker, author. Solves hard problems. Works . Australian, cricket fan. Partner of . Opinions my own.

  9. ಫೆಬ್ರ 1

    *Everything* I've seen about Trump in the last 2 wks is negative (not complaining, quite proud!). But how bad is my filter bubble?

  10. ಫೆಬ್ರ 1

    It's not just ML outputs that can be hard to explain - dataflows aren't easy either...

  11. ಫೆಬ್ರ 1
  12. ಫೆಬ್ರ 1

    Explaining the results of a dataflow is harder than you might think: a neat solution using reverse flows:

  13. ಫೆಬ್ರ 1

    🗞 "Explaining outputs in modern data analytics" - Chothia et al. 2016

  14. ಜನ 31

    Yet for ppl data right to be forgotten makes append-only, monotonic systems illegal!? Bet they didn't understand that consequence!

  15. ಜನ 31

    For data concerning ppl, right to explanation favours event sourced append-only architectures, but...

  16. ಜನ 31
  17. ಜನ 31

    The consequences of GDPR privacy regs for machine learning: non-discrimination and the right to explanation ⚖️.

  18. ಜನ 31

    "EU regulations on algorithmic decision making a 'right to explanation' " Goodman & Flaxman 2016

  19. ಜನ 30

    What goes on inside the query optimizer of your DBMS? Developing DBMS sympathy...

  20. ಜನ 30

    🛠 A look at the major components of the query optimiser in your DBMS, and the factors that dominate.

ಲೋಡಿಂಗ್ ಸಮಯ ಸ್ವಲ್ಪ ತೆಗೆದುಕೊಳ್ಳುತ್ತಿರುವಂತೆನಿಸುತ್ತದೆ.

Twitter ಸಾಮರ್ಥ್ಯ ಮೀರಿರಬಹುದು ಅಥವಾ ಕ್ಷಣಿಕವಾದ ತೊಂದರೆಯನ್ನು ಅನುಭವಿಸುತ್ತಿರಬಹುದು. ಮತ್ತೆ ಪ್ರಯತ್ನಿಸಿ ಅಥವಾ ಹೆಚ್ಚಿನ ಮಾಹಿತಿಗೆ Twitter ಸ್ಥಿತಿಗೆ ಭೇಟಿ ನೀಡಿ.

    ಇದನ್ನೂ ಸಹ ನೀವು ಇಷ್ಟಪಡಬಹುದು

    ·