Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @rjmh
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @rjmh
-
The Trends in Functional Programming programme is now available (on the Lambda Days website). See you there! https://www.lambdadays.org/lambdadays2020/#programme …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The list of accepted papers for Trends in Functional Programming is now online! http://tfp2020.org
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Did you miss the deadline to submit a paper to Trends in Functional Programming http://www.cse.chalmers.se/~rjmh/tfp/ ? No worries--it's not too late! Submission is open until January 10th, for a presentation slot at the event and post-symposium reviewing.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Postdoc positions in our FP group to work with Carl Seger, applying FP to "creating correct, robust and secure HW/SW systems for autonomous systems." Check it out! https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=8025 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Just one month left to write a paper for http://tfp2020.org ! Send us your best work...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Last chance today to submit an abstract for presentation at Lambda Days, a great FP conference in Krakow that this year is co-located with TFP.https://eventil.com/events/lambda-days-2020/cfp …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Here's the link to the paper I mention.
#CBLBudapesthttps://twitter.com/rjmh/status/1146789597235613697 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Two months to go to the submission deadline for Trends in Functional Programming. Time to start work on an article... http://tfp2020.org
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I'll be speaking at Code BEAM Lite Budapest, on taking a research idea into industry.
@CodeBEAMio and#CBLBudapestHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The call-for-papers for Trends in Functional Programming 2020 is out. New winter dates midway between ICFPs; supportive review process with two chances to convince referees; colocated with exciting Lambda Days in beautiful Krakow. Don't miss it! http://tfp2020.org .
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Just submitted: How to Specify it! A Guide to Writing Properties of Pure Functions. Hope it will prove useful!https://www.dropbox.com/s/tx2b84kae4bw1p4/paper.pdf?dl=0 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
John Hughes proslijedio/la je Tweet
One week until
#ErlangWorkshop submission deadline -- 10 May 2019. https://icfp19.sigplan.org/home/erlang-2019 … Technical, practice, and application papers. Long (12 pages) and short (6 pages).#Erlang#BEAM,#Elixir,#Akka,#Scala,#CloudHaskell,#OCaml,#FunctionalProgrammingHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I just watched IOHK's interview with me: https://www.youtube.com/watch?v=dIVAinPWypE … (15 minutes). Pleased to see I made quite a lot of sense!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My Lambda Days talk is online now: Building on developers' intuitions to create effective property-based tests.https://www.youtube.com/watch?v=NcJOiQlzlXQ&list=PLvL2NEhYV4ZvCRCVlXTfB6-d09K3r0Sxa&index=5 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Very nice popular science video about a colleague's work on proving compilers correct. In English, despite the title!https://www.youtube.com/watch?v=Cl2ajs2XChI …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Interested in testing and verifying machine learning systems? Postdoc position available in the functional programming group at Chalmers. http://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=7203 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Postdoc position at Chalmers, in verification of machine learning algorithms: https://docs.google.com/document/d/1saI2nLsjyBgf7910G1_ShaDylEu7LURifSu_bbaoPs0/mobilebasic …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
John Hughes proslijedio/la je Tweet
At IOHK, we are committed to deliver high quality software and providing the training that is necessary for this. We collaborated with QuviQ to provide functional correctness training for our developers. In this video
@rjmh from@quviq shares his insights:https://buff.ly/2xV06jkHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
The cfp for the Erlang workshop is out: http://erlang.org/workshop/2018/ Combine the trip with Strange Loop!
Hvala. 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.