Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @Odomontois
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @Odomontois
-
Oleg Nizhnik proslijedio/la je Tweet
Ok, this is the freakiest optical illusion I've ever seen (wait till the end)https://youtu.be/0KrpZMNEDOY
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Это видео Михаила Соколова. У Михаила Соколова также есть другие видео.https://www.youtube.com/watch?v=qJromuBGbd8 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Oleg Nizhnik proslijedio/la je Tweet
Fantastic (but advanced!) talk by
@Odomontois on improving the usability of arrows in symmetric monoidal categories, which hold promise as a way to define solutions to multi-faceted problems in modern app development.https://twitter.com/FunScala2019/status/1220310525587992576 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Today's experiment: higher kinded Monad via Day convolution, day closure and friendshttps://github.com/manatki/manatki/blob/master/src/main/scala/manatki/data/tagless/HFunctor.scala …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Oleg Nizhnik proslijedio/la je Tweet
Video of my talk from
@ScalaConfRu is availbale now: https://www.youtube.com/watch?v=CxitC7fNTRU … I tried to show typelevel ecosystem + some other libraries and how well they play together. And do so by creating semi-real app. Http4s, circe, fs2, doobie, quill, ciris, decline and more covered!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Oleg Nizhnik proslijedio/la je Tweet
I'm surprised there are so few programming languages with a built-in database that you can query for facts about definitions. For example, list all the functions that take three arguments. We have self-hosting compilers, why not self-host code exploration APIs?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Это пост - благодарность Антону Трунову
@falsenov. На протяжении 4 месяцев он приезжал каждую пятницу из Питера в Москву, чтобы читать лучший и современнейший курс по Coq, завтипам и доказательствам. Умопомрачающий ценности плейлист здесь https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY … Спасибо!!!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My slides from the
#funscala2019 conferencehttps://slides.com/olegnizhnik/assymondark …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Oleg Nizhnik proslijedio/la je Tweet
Nice thing from
@Odomontois for working with arrows with nice syntax - need to give it a try in practice but it looks super cool (see the talk from@FunScala2019 when it's online!): https://github.com/manatki/volga Also love the name... https://en.wikipedia.org/wiki/Black_Volga …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Which reminds us that most sustainable ecosystems are based not on widespread or similarity but on synergy and cooperation. Let people dream what they dream, and the creativity will produce miracles. {2/2}
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
#FunScala2019 was great for so many reasons.@jdegoes and@Oleksandra_A gave us two fantastic days devoted to scala programming. There was so many amazing talks, ideas and solutions. Most amazing is that many ideas was somehow correlated, interoperable... {1/2}Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Scala hack of the yearhttps://twitter.com/kai_nyasha/status/1196968550717632512 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Making pulls at home +++ Strengten top of back = homotopy pullbackhttps://twitter.com/JadeMasterMath/status/1194114455988137984 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Oleg Nizhnik proslijedio/la je Tweet
Tomorrow I'm going to showcase Izumi Framework & Tagless-Final-Bifunctor-IO combo in Warsaw – you'll learn that despite the name, it's a highly pragmatic, ergonomic and newbie-friendly approach to develop day-to-day software in Scala
https://twitter.com/ScalaWAW/status/1173591299276058624 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Meanwhile you can meet John personally watch another amazing talk and attend in his workshop September 28th in Moscow https://scala-russia.timepad.ru/event/1021921/
#supportjohndegoeshttps://twitter.com/jdegoes/status/1169573474412761088 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Worth mentioning it made real thanks to collaboration with
@shirshovp and@kai_nyasha . I've used their manual method while waiting for this release to come. You can thank them here https://buymeacoffee.com/7mind https://twitter.com/taroleo/status/1169865681916985345 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Oleg Nizhnik proslijedio/la je Tweet
A general principle I keep in mind (which Viktor Winschel repeats a lot) is that whenever something has a "local to global" feel - which happens all over economics for example - you should look for a sheaf structure where they become local and global sectionshttps://twitter.com/johncarlosbaez/status/1165073978290925569 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Oleg Nizhnik proslijedio/la je Tweet
Hello better-monadic-for users, Dotty will only allow pre-typer plugins in nightly builds, so if we want to continue using its fancy features in production, we should aim for directly changing the language. I started a thread here: https://contributors.scala-lang.org/t/pre-sip-improve-for-comprehensions-functionality/3509?u=oleg-py … RTs appreciated.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Oleg Nizhnik proslijedio/la je Tweet
Господи, только не это
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I just published Final Free Structures with Subtyping (Scala)https://link.medium.com/csA6r5ESdX
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.

Let's meet for another