Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @raulraja
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @raulraja
-
Prikvačeni tweet
Today I got type proofs working in Kotlin in the IDE with Union types and synthetic subtypes using the standard
@kotlin compiler resolution. We are getting close
! Type proofs unlock ad-hoc Polymorphism, refinements and more you can draw with extension functions from A -> B.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
NE Scala's CFP is open now, reminder to also send in your proposals for the Typelevel Summit, which closes tomorrow! https://www.papercall.io/typelevel-summit-nyc-2020 …https://twitter.com/nescalas/status/1221895694853775360 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
So it has finally seen the light!
@bow_swift OpenAPI lets you:
Generate your network layer
as a Swift package
from a spec file,
suspending side-effects
and letting you test them easily,
playing nicely with Xcode.
We are looking forward to your feedback!https://twitter.com/47deg/status/1224393182839918594 …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
Remember selective functors? Here they show up in the context of probabilistic programming where select :: f (Either a b) -> f (a -> b) -> f b turns into Dist (Either a b) -> Matrix Prob a b -> Dist b Here Dist is a vector i.e. 1-dimensional matrix: Dist a ~ Matrix Prob () ahttps://twitter.com/_bolt12/status/1223595721888292874 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
New optics! An introduction to kaleidoscopes and what they bring to the table
Interested in optics? Check out my book!
https://leanpub.com/optics-by-example/ …
Based on recent work by @mroman42@pitopos@8ryceClarke@BartoszMilewski@ququ7, Derek Elkins &@jer_gibhttps://chrispenner.ca/posts/kaleidoscopes …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
Introducing
@bow_swift OpenAPI! Bow OpenAPI is a command-line tool that will generate a network client from an OpenAPI or Swagger specification file. Read more from@tomasruizlopez here: https://www.47deg.com/blog/bow-openapi-0-1-0-release/ …@dotSwift#SwiftLangHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
I want to see you (yes you!) roll up at this conference! We’re putting together a great program - I can’t wait to share it with you!https://twitter.com/scaladays/status/1224281743320125440 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
Building a
#Kotlin compiler plugin using#ArrowMeta from@arrow_kt The future is bright!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
Experimental Scala Live pilot with
@d6 https://scala.love/scala-live-pilot-with-erik-osheim/ … Scala journey, SIP-35, Dotty features Short and dynamic interview made at@nescalas last year
#scalaloveHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
#ScalaDays Super Early Bird ticket sale has started for Seattle and Berlin
Buy the tickets at the lowest possible price before the program goes live soon.
http://www.scaladays.org pic.twitter.com/kET1IeDclx
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
The third speaker is now on stage: Tomás Ruiz-López
@tomasruizlopez, iOS/Swift Technical Lead at@47deg and creator of@bow_swift.pic.twitter.com/d4DmVp8oh4
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
Great talk and great announce from
@tomasruizlopez on@bow_swift .
https://twitter.com/dotSwift/status/1224277908480499712 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
wrote a blog post 'liberty, equality, and boxed primitive types'
#scala http://eed3si9n.com/liberty-equality-and-boxed-primitive-types …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
Make sure to sleep well tonight before
@dotSwift! I will be around, so feel free to talk to me and ask for one of this nice@bow_swift stickers!pic.twitter.com/LAwYrizZiQ
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
You don't have to wait much longer! Ticket sale will start
Scala Days Seattle: Sunday, February 2nd, 10.30 pm PST
Scala Days Berlin: Sunday, February 2nd, 7.30 am CET
https://scaladays.org/ pic.twitter.com/EMWkW9YM3o
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
Announcing MUnit, a new Scala testing library with actionable errors and extensible APIshttps://scalameta.org/munit/blog/2020/02/01/hello-world.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
This looks really nice! It also made me aware of https://higherkindness.io/mu-scala/ which seems super cool. Can't wait to try it out.https://twitter.com/47deg/status/1222946212518584320 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
Introducing Mu for
#Haskell! This release comes w/ full support for building gRPC microservices, shifts a lot of checks to compile-time schemas & readily integrates with well-known Haskell libraries for many tasks. More here: https://www.47deg.com/blog/introducing-mu-haskell-0-1/ … Thx@FlavioCorpa &@trupill!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
#ScalaThankYou with@DanielaSfregola https://scala.love/scalathankyou-with-daniela-sfregola/ … Category theory introduction & the Bad, The Good and the Ugly +@ManningBooks permanent discount code: podscalalove19 + 5 free ebooks: gpcll-DAD8, gpcll-DDDB, gpcll-5DA6, gpcll-52B9, gpcll-F32D
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Raúλ Rajⓐ proslijedio/la je Tweet
We're extremely excited to reveal the date and location for KotlinConf 2020. We'll be opening up registration very soon. Stay tuned!pic.twitter.com/68Is3dIiL3
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.