Tweetovi

Blokirali ste korisnika/cu @zeeshanlakhani

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

  1. proslijedio/la je Tweet
    prije 5 sati

    Normalisation, how to do it fast for the untyped lambda-calculus by means of evaluation, and why we care (together with some of the required type theory/PLT background): first of a series, hopefully. Feel free to yell at me in replies about mistakes etc!

    Prikaži ovu nit
    Poništi
  2. 1. velj
    Poništi
  3. proslijedio/la je Tweet
    1. velj

    Today’s breakfast reading: Alan Bawden. Quasiquotation in Lisp

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

    taking a break from writing the Book, by writing

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

    New binutils: objdump --visualize-jumps

    Poništi
  6. proslijedio/la je Tweet
    30. sij

    New Jepsen analysis! We talk about etcd's kv operations, watches, and locks. KV ops look strict serializable, and watches deliver all changes in order (with a minor undocumented edge case around revision zero). As usual, distributed locks aren't real:

    Poništi
  7. proslijedio/la je Tweet

    reaaaaally not ready for this show to end. this show has made us laugh and cry, especially at times when we needed it most 😔

    Poništi
  8. proslijedio/la je Tweet
    31. sij

    Interested in software engineering for AI/ML-enabled systems? After teaching a course on the topic last semester, I finally managed to compile a reading list in the form of an annotated bibliography: (PRs welcome)

    Poništi
  9. proslijedio/la je Tweet

    I remain, as I am every day, so grateful for the continued existence of .

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

    Lazyweb: best book on the early days of Sun Microsystems?

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

    In my team at GitHub, we'd like to study examples of "nefarious commits" in open source, which introduce a bug on purpose. Can you point me at such commits? Could it have been detected by analysing the committer's behaviour as well as the code change itself?

    Poništi
  12. proslijedio/la je Tweet
    31. sij
    Poništi
  13. proslijedio/la je Tweet
    31. sij

    It's official! Just got a award to work on type-driven program synthesis! Stay tuned for new ways to magically turn types into programs :) Thanks and the anonymous reviewers!

    Poništi
  14. proslijedio/la je Tweet
    30. sij

    Our team at is hiring engineers and researchers in PL, compilers, systems etc. Come work with us on challenging problems and help shape the next generation of AI infrastructure!

    Poništi
  15. proslijedio/la je Tweet
    31. sij

    Let folks run arbitrary Racket code on my server? Why not!

    Poništi
  16. proslijedio/la je Tweet

    Are you ready for this, Hollywoo??? The final episodes of BoJack Horseman are now streaming on .

    Poništi
  17. proslijedio/la je Tweet
    30. sij

    Build Automation and Programming Languages (BAPL 2020) ... to explore the interaction of build automation and programming languages in systems for incremental analysis, building, testing, packaging, and deployment of software. At PLDI 2020 Contribute!

    Poništi
  18. proslijedio/la je Tweet
    29. sij

    We still have open positions, let me know if you are looking for an internship in Program Synthesis this summer! Preferred: experience with deep learning, NLP, and search. Current (or accepted) PhD enrollment required.

    Poništi
  19. proslijedio/la je Tweet
    30. sij
    Poništi
  20. proslijedio/la je Tweet
    30. sij

    "how do i systematically go from a type theory to a bidirectional system suitable for implementation?" most anyone interested in type-systems design/implementation could learn a few things from Dunfield and Krishnaswami's "Bidirectional Typing" (2019):

    Prikaži ovu nit
    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:

    ·