The  ‍‍ BabelFish

@bblfish

Enabling cooperation of sovereign actors with hyper-Apps that read/write hyper-Data on the Web 👍 Cat-herding ❌ Phishing 🎣 👷 Scala 🚀 Reality Distortion Field

Germany, France, UK
Vrijeme pridruživanja: kolovoz 2007.

Tweetovi

Blokirali ste korisnika/cu @bblfish

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @bblfish

  1. Prikvačeni tweet

    Together with , and others we are consider starting Web Category Theory (web-cats) Community Group to start 2020. Please feel free to join the conversation on gitter.

    Prikaži ovu nit
    Poništi
  2. 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. pointed last year to a 2003 thesis on this, though it did not use RDF ftp://ftp.cs.princeton.edu/techreports/2003/677.pdf

    Prikaži ovu nit
    Poništi
  3. Today's Solid Access Control panel started with reporting on a discussion with on rules for wACLs. Should one use a turing complete language or logic? Turns out there are Turing machines for logic!

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    Odgovor korisniku/ci

    This talk by covers the practical programming side of the last lecture of the "Programming with Categories" course which covered profunctor ends and coends. Watch this for the view of these constructions. Follow the shadow

    Poništi
  5. 2. velj

    Today's date is 02/02/2020

    Poništi
  6. 2. velj

    Experimentations on physical/computation interfaces to learn about group theory. cc

    Poništi
  7. proslijedio/la je Tweet
    31. sij

    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.

    Poništi
  8. 31. sij

    I had been wondering what had happened to the Mini Nuclear Reactor idea...

    Poništi
  9. 31. sij

    "What can a technologist do about climate change? A personal view." Blog Post from 2015 by who researches data visualisation. How to enable intelligent fact based debate, when there is so much data?

    Poništi
  10. 31. sij

    Presentation by from 2013 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.

    Poništi
  11. 31. sij

    Send me your points of views on these topics. Re: Sequential vs Concurrent, since the talk was given around 2013, Actor frameworks such as have been very successful eliminating locks, and are a very good way to highly parallel web servers.

    Prikaži ovu nit
    Poništi
  12. 31. sij

    "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...

    Prikaži ovu nit
    Poništi
  13. 31. sij

    This with the previous lecture are very helpful for understanding Categorically the relation between Functors, Monads and Applicatives in as well as in

    Poništi
  14. 30. sij

    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.

    Poništi
  15. proslijedio/la je Tweet
    30. sij

    Latvia is even farther ahead: they have a whole national security curriculum for their schools. Find out more soon at !

    Poništi
  16. proslijedio/la je Tweet
    29. sij

    David talking about monoidal categories and lax monoidal functors:

    Poništi
  17. proslijedio/la je Tweet
    28. sij
    Poništi
  18. 28. sij

    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.

    Prikaži ovu nit
    Poništi
  19. 28. sij

    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 nit
    Poništi
  20. 28. sij

    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.

    Prikaži ovu nit
    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·