Graydon Hoare

@graydon_pub

ಜುಲೈ 2010 ಸಮಯದಲ್ಲಿ ಸೇರಿದ್ದಾರೆ
28 ಫೋಟೋಗಳು ಅಥವಾ ವೀಡಿಯೋಗಳು ಫೋಟೋಗಳು ಮತ್ತು ವೀಡಿಯೋಗಳು

ಟ್ವೀಟ್‌ಗಳು

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

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

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

    a merkled append-only stream of blocks as basis for a versioned, rabin-chunked P2P file system

    1 reply 11 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 10ಇಷ್ಟಗಳು
  2. 6 ಗಂಟೆಗಳ ಹಿಂದೆ

    Cao, Cuellar & Appel: Putting order to the separation logic jungle.

    1 ಇಷ್ಟ
  3. ಫೆಬ್ರ 20

    Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML PDF:

    11 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 25ಇಷ್ಟಗಳು
  4. ಫೆಬ್ರ 20

    From Encapsulation to Ownership: A Partial History (slides):

    5 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 12ಇಷ್ಟಗಳು
  5. ಫೆಬ್ರ 18

    🔥👍 "Conversational Context and Concurrency"

    12 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 27ಇಷ್ಟಗಳು
  6. ಫೆಬ್ರ 19

    Fear of Macros is still a great resource for learning macros in -

    1 reply 11 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 25ಇಷ್ಟಗಳು
  7. ಫೆಬ್ರ 19

    Meanwhile dependent products are actually functions and regular sum types are garbage I guess.

    1 reply 1 ಮರುಟ್ವೀಟಿಸುವಿಕೆ 4ಇಷ್ಟಗಳು
  8. ಫೆಬ್ರ 19

    everyone: this name is confusing and bad functional programmers: well actually, you're wrong, because it's a reference to topology

    7 replies 44 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 106ಇಷ್ಟಗಳು
  9. ಫೆಬ್ರ 15

    Whoa. Matthew Flatt drops the bomb: Racket will (eventually) run on Chez.

    39 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 50ಇಷ್ಟಗಳು
  10. ಫೆಬ್ರ 17

    Ownership is shaping up into a real design for Swift:

    2 replies 14 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 29ಇಷ್ಟಗಳು
  11. ಫೆಬ್ರ 17

    Ironfleet - Proving Practical, Distributed Systems Correc...

    2 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 6ಇಷ್ಟಗಳು
  12. ಫೆಬ್ರ 17

    Got compiler expertise? The mobile GPU backend team at Apple is hiring - send me your CV

    6 replies 157 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 131ಇಷ್ಟಗಳು
  13. ಫೆಬ್ರ 16

    Oregon Programming Languages Summer School 2017 looks awesome!

    27 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 31ಇಷ್ಟಗಳು
  14. ಫೆಬ್ರ 6

    Congratulations on 5 years ! My reflections on how this chapter started: .

    1 reply 13 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 31ಇಷ್ಟಗಳು
  15. ಫೆಬ್ರ 17

    Swift 4 release process announced:

    3 replies 153 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 137ಇಷ್ಟಗಳು
  16. ಫೆಬ್ರ 15

    Some of my colleagues are organizing MAPL, a new workshop at PLDI on machine learning + programming languages:

    4 ಮರುಟ್ವೀಟಿಸುವಿಕೆಗಳು 7ಇಷ್ಟಗಳು
  17. ಫೆಬ್ರ 15

    Bhargavan et al. (including Protz!): Verified Low-Level Programming Embedded in F*

    2 replies 1 ಮರುಟ್ವೀಟಿಸುವಿಕೆ 13ಇಷ್ಟಗಳು
  18. ಫೆಬ್ರ 15

    Patterson, Perconti, Dimoulas & Ahmed: FunTAL: Reasonably Mixing a Functional Language with Assembly

    1 ಮರುಟ್ವೀಟಿಸುವಿಕೆ 8ಇಷ್ಟಗಳು
  19. ಫೆಬ್ರ 15

    Greitschus, Dietsch & Podelski: Refining Trace Abstraction using Abstract Interpretation

    8ಇಷ್ಟಗಳು

@graydon_pub ಅವರು ಇನ್ನೂ ಟ್ವೀಟ್ ಮಾಡಿಲ್ಲ.

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

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

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

    ·