Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @bblfish
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @bblfish
-
Prikvačeni tweet
Together with
@ConexusAI,@joshsh and others we are consider starting@W3C Web Category Theory (web-cats) Community Group https://web-cats.gitlab.io to start 2020. Please feel free to join the conversation on gitter.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
One idea that was not recorded was that the client could send proofs along in the credentials to make the work of the Guard easier.
@codenamedmitri pointed last year to a 2003 thesis on this, though it did not use RDF ftp://ftp.cs.princeton.edu/techreports/2003/677.pdfPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Today's Solid Access Control panel started with
@jaxoncreed reporting on a discussion with@timberners_lee on rules for wACLs. Should one use a turing complete language or logic? Turns out there are Turing machines for logic!@RubenVerborgh@ThePatHayeshttps://github.com/solid/authentication-panel/blob/master/meetings/2020-02-03.md …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The BabelFish proslijedio/la je Tweet
This talk by
@BartoszMilewski covers the practical programming side of the last lecture of the@MIT "Programming with Categories" course which covered profunctor ends and coends. Watch this for the#Haskell view of these constructions. Follow the shadowhttps://www.youtube.com/watch?v=hrNfkP8iKAs …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Today's date is 02/02/2020
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The BabelFish proslijedio/la je Tweet
$300 billion. That’s the amount of money needed to stop the rise in greenhouse gases and buy up to 20 years of time to fix global warming, according to UN climate scientistshttps://bloom.bg/2ZEq2gM
-
Experimentations on physical/computation interfaces to learn about group theory. cc
@emaxhttps://twitter.com/qualmist/status/1166592079654510592 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The BabelFish proslijedio/la je Tweet
We have reached the terminal object in the category of lectures in the series "Programming with Categories." Here, I'm talking about my favorite topic--profunctors, ends, and coends.https://www.youtube.com/watch?v=UpLKmy5j6-U …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I had been wondering what had happened to the Mini Nuclear Reactor idea...https://newatlas.com/energy/rolls-royce-plans-mini-nuclear-reactors-in-britain/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"What can a technologist do about climate change? A personal view." Blog Post from 2015 by
@worrydream who researches data visualisation. How to enable intelligent fact based debate, when there is so much data? http://worrydream.com/ClimateChange/ pic.twitter.com/uxwrWhsIAw
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Presentation by
@worrydream from 2013@medialab on ideas of how to bring symbolical, visual and dynamic thinking together. It looks like an application of thinking coming from Topos theory in Category Theory.https://vimeo.com/67076984Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Send me your points of views on these topics. Re: Sequential vs Concurrent, since the talk was given around 2013, Actor frameworks such as
#akka https://akka.io/ have been very successful eliminating locks, and are a very good way to highly parallel web servers.pic.twitter.com/YHMfYNiZNy
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"References for the Future of Programming" is a clever talk given as if in the early 1970ies, with some ideas of how the future (our present) could look like. It has predictions in 4 areas which I will discuss next... http://worrydream.com/dbx/ https://vimeo.com/71278954
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This with the previous lecture are very helpful for understanding Categorically the relation between Functors, Monads and Applicatives in
#Haskell as well as in#Scala@typelevelhttps://twitter.com/BartoszMilewski/status/1223078740210724869 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
That's the computer I learnt to program on, a DEC2020. Actually one rarely saw the computer, rather one uses a very bulky terminal with a matrix of 80x24 characters.pic.twitter.com/bq7w9pIts5
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The BabelFish proslijedio/la je Tweet
Latvia is even farther ahead: they have a whole national security curriculum for their schools. Find out more soon at
@RUSI_org#ModernDeterrence!@BaibaBrazehttps://twitter.com/IevaIlves/status/1222730750170021888 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The BabelFish proslijedio/la je Tweet
David talking about monoidal categories and lax monoidal functors:https://www.youtube.com/watch?v=thFbXw5YAAI …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The BabelFish proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
On the other hand, horizontal composition in Cat (left) eg X;⍺ ends up selecting a function in D (right), and vertical composition in Cat (eg (X;⍺) followed by f;g) is function composition in D... So it also makes sense to have ○ for vertical composition.pic.twitter.com/Lc4fqIh5bW
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Since any functor is identical to the identity natural transformation it seems more appropriate to use the ○ or ; symbol for horizontal composition, and a different one • for vertical composition. H○β β;H for horizontal β•δ for vertical composition.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I think I have now worked out how to translate between traditional diagrams of an adjunction, the string diagram notation, a diagram viewing it from Cats, and the algebraically equations point of view. It's all about translations.pic.twitter.com/OVFEZtzURW
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.
Cat-herding
Phishing
Scala
Reality Distortion Field