natefoster

@natefoster

CS professor, functional programmer, cyclist, dad

Ithaca, NY
Vrijeme pridruživanja: lipanj 2008.

Tweetovi

Blokirali ste korisnika/cu @natefoster

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

  1. 1. velj

    Playing the world's worst "Snake" remake this weekend.

    Poništi
  2. proslijedio/la je Tweet
    1. velj

    Tfw you can prove that an encoding of JSON values is injective by writing an Augeas lens.

    Poništi
  3. 29. sij

    When a cyclist orders breakfast...

    Poništi
  4. 25. sij

    ps. Thank you for filling in so I could go to !

    Prikaži ovu nit
    Poništi
  5. 25. sij
    Prikaži ovu nit
    Poništi
  6. 25. sij

    I had to miss the first lecture of , so I got some friends to tell my students why they love functional programming. Enjoy!

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    24. sij

    POPL'20 is over, and it was full of pretty inspiring research. Lots of seriously impressive and interesting boundary pushing. I like my field.

    Poništi
  8. 24. sij
    Prikaži ovu nit
    Poništi
  9. 22. sij

    Wednesday afternoon hipster topic session at

    Poništi
  10. proslijedio/la je Tweet
    21. sij

    Cornell CS Authors and Alumni received a distinguished paper award at the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). POPL is the premier conference in theoretical programming languages.

    Poništi
  11. proslijedio/la je Tweet
    21. sij

    E.B. White was a national treasure. Fun trivia: I live in the house where E.B. "Andy" White once lived as an undergraduate at . Explains all the mice and spiders, but alas he took all the elements of style with him when he moved out.

    Poništi
  12. 19. sij

    🎶 We found love in a hopeless place...”

    Poništi
  13. 17. sij

    If this isn't the definition of a shitpost, I don't know what is...

    Prikaži ovu nit
    Poništi
  14. 17. sij

    Thinking of switching my portfolio over to 's financial advisor

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    16. sij

    in a lovely, unintentional turn of events I'm creating the demand I have long wanted to see: I'm hiring (contract) P4 developers. specifically with experience / understanding of eBPF & XDP as a target. remote only. students/academic/researchers preferred!

    Prikaži ovu nit
    Poništi
  16. 15. sij

    Sorry to see Cory Booker go... I truthfully say that all of the Democratic candidates get my heart rate up

    Poništi
  17. 12. sij

    Back on my bull$@#%

    Poništi
  18. 12. sij

    My brains still has the lyrics to a shockingly large number of early 90’s grunge songs in long-term storage

    Poništi
  19. 10. sij

    Ran on a non-trivial program and got pretty much the minimal valid program. Sweet!

    Poništi
  20. 10. sij

    Cool to see this slick marketing pitch for network verification at h/t who discovered some of the fundamental science that underpins this work during his PhD and also worked an early version of this tool during an internship

    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:

    ·