Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
Blokirali ste korisnika/cu @welltyped
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @welltyped
-
Well-Typed proslijedio/la je Tweet
Do you want to level up your Haskell? Join the two free training sessions provided by our sponsor
@welltyped at ZuriHac 2020! https://zfoh.ch/zurihac2020/#tracks …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Well-Typed proslijedio/la je Tweet
Coming soon to a GHC release near you: Native stack traces (e.g. in gdb). See for yourself:https://asciinema.org/a/mzQFrJefYQyIYA5MyappydgzP …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
New blog post: "Unrolling data with Backpack" https://www.well-typed.com/blog/2019/11/unrolling-data-with-backpack/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
If you want to learn Haskell from scratch, you can do so next week (4-7 November 2019) in our remote interactive online "Compact Introduction to Haskell" course:https://www.eventbrite.co.uk/e/remote-interactive-course-a-compact-introduction-to-haskell-tickets-67477983465 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Well-Typed proslijedio/la je Tweet
There's a 3 year postdoc position available, to work with me on Interactive Type Driven Development in Idris. Closing date 26th November, please spread the word! https://www.vacancies.st-andrews.ac.uk/Vacancies/W/6438/0/250507/889/research-fellow-ar2286sb …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
New blog post on the merge of the new low-latency garbage collector for GHC 8.10: https://well-typed.com/blog/2019/10/nonmoving-gc-merge/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Well-Typed proslijedio/la je Tweet
I'm organising a casual Haskell hackathon in Bristol, UK at the start of next year (25-26th Jan 2020) If you live in the UK it would be great to see you here! https://mpickering.github.io/bristol2020.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
New blog post by
@AndreasK_Tweets about various improvements to GHC runtime performance: https://well-typed.com/blog/2019/10/summer-of-runtime-performance/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
A free spot just opened up on our "Type-level Programming with GHC" online remote course starting on Monday (2019-10-14)! There are also still a few spots available on the "Performance" and "Intro" courses in the upcoming weeks.https://well-typed.com/remote-courses
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
New blog post by @alpmestan on "Eventful GHC" (debugging / profiling Haskell via the GHC eventlog): http://www.well-typed.com/blog/2019/09/eventful-ghc/ … (cross-posted also on the GHC development blog https://www.haskell.org/ghc/blog.html ).
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tickets are now available for three more Remote Interactive Haskell Courses: https://well-typed.eventbrite.co.uk/ More info: http://www.well-typed.com/blog/2019/09/remote-interactive-courses/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
We are delighted to announce the first Hackage release of optics, a Haskell library for defining and using lenses, traversals, prisms and other optic kinds. https://well-typed.com/blog/2019/09/announcing-the-optics-library/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Well-Typed proslijedio/la je Tweet
This will be fun. Anyone want to come and hack on Idris with me? https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/T007265/1 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
New blog post on "Exploring Cloud Builds in Hadrian": https://well-typed.com/blog/2019/08/exploring-cloud-builds-in-hadrian/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Well-Typed proslijedio/la je Tweet
We've just released a number of MuniHac tickets to people on the waiting list, so check your inboxes and spam folders. We're still hoping to be able to release more. If you're registered and know that you can't come, please cancel so that we can give your slot to someone else.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Well-Typed proslijedio/la je Tweet
The keynote speakers for MuniHac 2019 (https://munihac.de ) are confirmed: Joachim Breitner (
@nomeata), Oliver Charles (@acid2), Neil Mitchell (@ndm_haskell). Thank you! We are looking forward to a great event.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Well-Typed proslijedio/la je Tweet
Adam Gundry of
@welltyped teaching "Advanced Types"#ZuriHac#Haskellpic.twitter.com/POzdK1RzKu
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
We are looking forward to
@ZuriHac and for the first time providing free training sessions for attendees https://www.well-typed.com/blog/2019/06/free-training-sessions-at-zurihac/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Blog post on "Integrated versus Manual Shrinking" (QuickCheck versus Hedgehog): https://well-typed.com/blog/2019/05/integrated-shrinking/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Well-Typed proslijedio/la je Tweet
MuniHac 2019 registration is now open at https://munihac2019.eventbrite.com/ Sign up for three days of Haskell hacking, talks and workshops September 6-8. Looking forward to seeing you at MuniHac!
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.