Enabling cooperation of sovereign actors with #hyperApps that read/write #hyperData on the Web
Cat-herding 
Phishing 
Scala 
Reality Distortion Field
Voit lisätä twiitteihisi sijainnin, esimerkiksi kaupungin tai tarkemman paikan, verkosta ja kolmannen osapuolen sovellusten kautta. Halutessasi voit poistaa twiittisi sijaintihistorian myöhemmin. Lue lisää
"The Trouble with Types" was at talk given by @odersky at Strange Loop late 2013.
https://www.infoq.com/presentations/data-types-issues/ …
It is referenced in "Type Soundness For DOT", the Dependent Object Type calculus that is the foundation for #Scala3, with a page on `null`.
https://www.repository.cam.ac.uk/bitstream/handle/1810/280107/paper.pdf …pic.twitter.com/VW74vWwnmB
The last slide in the talk entitled "The essence of Scala" has this line "Harness the power of Naming" as the motto for the dimensional complexity collapse that dotty proposes. Interesting, since naming is also the most important aspect of the web: URLs. https://dotty.epfl.ch/
There is a 2016 version of the paper "The Essence of Dependent Object Types" by Odersky and friends which comes after the paper cited above. https://infoscience.epfl.ch/record/215280/files/paper_1.pdf …
Presentation of the paper "The Essence of Dependent Object Types" by @Odersky .
(see thread above for links to paper)
https://www.youtube.com/watch?v=bZEWNKzhBoU …
The screen is difficult to see, so better to open the slides too http://events.inf.ed.ac.uk/wf2016/slides/odersky.pdf …
Twitter saattaa olla ruuhkautunut tai ongelma on muuten hetkellinen. Yritä uudelleen tai käy Twitterin tilasivulla saadaksesi lisätietoja.
