Tweetovi

Blokirali ste korisnika/cu @avsm

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

  1. prije 6 sati

    PLDI reviews all done! Good luck to everyone who sent a paper in — the quality of the ideas is impressive in every submission I read

    Poništi
  2. 30. sij

    Extraordinarily sad news that has passed away. Always had a huge smile and tireless energy to champion open source freedoms. I’ll greatly miss working with him. Raise a glass for me, FOSDEM friends!

    Poništi
  3. proslijedio/la je Tweet
    17. pro 2019.

    unikernels are reproducible \o/, you can read more about that in my blog -- tooling to reproduce packages is available -- thx again to all participants of the reproducible builds summit, and everyone involved :D

    Poništi
  4. 15. pro 2019.

    This wonderful quarterly newspaper couldn’t have arrived at a better time!

    Poništi
  5. 5. pro 2019.

    OH: "in Coq [where we may face builds that take more than a week]". theorem proving is here!

    Poništi
  6. proslijedio/la je Tweet
    1. pro 2019.

    Letter writers: please don't ask your students to draft their own rec letters. I've heard lots of justifications, like making them realize what their strengths are, building confidence, etc. To students, it conveys apathy and lack of investment on your part. (1/4)

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    2. pro 2019.
    Poništi
  8. 29. stu 2019.

    Lazyweb: is there a trick/standard to serve TLS with valid global certificates to local mDNS services? Something like a CNAME to a .local or similar that works with real world resolvers

    Poništi
  9. proslijedio/la je Tweet
    27. stu 2019.

    Sad news about Clive James. The conversation we had (at which he was f***ing brilliant) is repeated tonight at 7.30 BBC2. Watch in awe (of him not me)

    Poništi
  10. proslijedio/la je Tweet
    27. stu 2019.

    Introduction to the new GraphQL API for Irmin 2.0 by here:

    Poništi
  11. proslijedio/la je Tweet
    26. stu 2019.

    An exciting addition to OCaml's new RFC repo: a proposal for unboxed types!

    Poništi
  12. 21. stu 2019.

    Irmin is becoming a really amazing baseline for our MirageOS distributed storage layer. Stay tuned for even more end-to-end applications in 2020 based on this release :-)

    Poništi
  13. proslijedio/la je Tweet
    20. stu 2019.

    Thank you so much to everyone who has made a Pembroke Giving Day donation! We have raised an amazing £45,134, to help an academic at risk from persecution come to Pembroke to continue their research.

    Poništi
  14. 21. stu 2019.
    Poništi
  15. proslijedio/la je Tweet
    18. stu 2019.

    Calling all Moby hackers, maintainers and alumni attending join and myself discussing "Future of the Moby ecosystem" on Wednesday, November 20 from 1:30 - 3:00 p.m. in Room 22

    Poništi
  16. proslijedio/la je Tweet
    18. stu 2019.

    BAP 2.0 is finally out! We have a Knowledge Base that now drives all our analyses as well as a new extensible representation of program semantics, with full support for IEEE754 and not only. Visit or for more information! -

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

    Ok Pembroke, it’s November 19th somewhere in the world already. Make a gift in now and double your money as every £1 donated will be matched by a generous donor, doubling the impact of your donation:

    Poništi
  18. proslijedio/la je Tweet
    17. stu 2019.

    Everyone: Jacques' certified (subset of) OCaml interpreter, now pulled out of the drawer and building under Coq 8.10!

    Poništi
  19. proslijedio/la je Tweet
    14. stu 2019.

    To all of you having your last day - you are all amazing - you changed the tech world forever & deserved a much better deal. Before you accept that offer from MSFT, tho, plz give me a chance to convince you to join me hacking

    Poništi
  20. proslijedio/la je Tweet
    14. stu 2019.

    I tweeted I might be looking for job 2+ years ago and ended up working for in a fantastic team. Alas, my last day at Docker is tomorrow, so... I might be looking for a job again. C, Go, Linux, containers. Resume:

    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:

    ·