Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @avsm
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @avsm
-
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Extraordinarily sad news that
@lars_kurth 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!https://lwn.net/Articles/811042/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
#MirageOS unikernels are reproducible \o/, you can read more about that in my blog https://hannes.nqsb.io/Posts/ReproducibleOPAM … -- tooling to reproduce#opam packages is available --#OCaml#reproduciblebuilds thx again to all participants of the reproducible builds summit, and everyone involved :DHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This wonderful quarterly newspaper couldn’t have arrived at a better time! http://www.thehappynewspaper.com pic.twitter.com/KHWty9bPHr
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
OH: "in Coq [where we may face builds that take more than a week]". theorem proving is here!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
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)
#AcademicTwitterPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
We started
@oxidecomputer! On the soul of a new computer company: http://dtrace.org/blogs/bmc/2019/12/02/the-soul-of-a-new-computer-company/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
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)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
Introduction to the new GraphQL API for Irmin 2.0 by
@cuvius here: https://tarides.com/blog/2019-11-27-introducing-irmin-graphql …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
An exciting addition to OCaml's new RFC repo: a proposal for unboxed types! https://github.com/ocaml/RFCs/blob/881b220adc1f358ab15f7743d5cd764222ab7d30/rfcs/unboxed-types.md …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 :-)https://twitter.com/eriangazag/status/1197530379416158208 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
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.
#AcademicsatRisk#PembrokeGives@CARA1933pic.twitter.com/cEH1nZSb70
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Published an OCaml
@github action;https://discuss.ocaml.org/t/github-actions-for-ocaml-opam-now-available/4745 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
Calling all Moby hackers, maintainers and alumni attending
#kubecon2019 join@justincormack@avideitcher@garethr and myself discussing "Future of the Moby ecosystem" on Wednesday, November 20 from 1:30 - 3:00 p.m. in Room 22https://kccncna19.sched.com/event/XtNFHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
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 http://bap.ece.cmu.edu or https://discuss.ocaml.org/t/ann-bap-2-0-release/4719 … for more information! -
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
Ok Pembroke, it’s November 19th somewhere in the world already. Make a
#AcademicsatRisk gift in now and double your money as every £1 donated will be matched by a generous donor, doubling the impact of your donation: https://www.justgiving.com/campaign/PembrokeGives2019 …#PembrokeGivespic.twitter.com/Fia4w7vqhR
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
Everyone: Jacques' certified (subset of) OCaml interpreter, now pulled out of the drawer and building under Coq 8.10!https://github.com/garrigue/certint …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
To all of you having your last day
@docker - 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@ZededaEdge hacking@eve_edge https://github.com/lf-edge/eve/blob/master/docs/README.md …https://twitter.com/kolyshkin/status/1195162830074335232 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anil Madhavapeddy proslijedio/la je Tweet
I tweeted I might be looking for job 2+ years ago and ended up working for
@Docker 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: http://kir.sacred.ru/resume/resume-2017-04.pdf …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.