Sjoerd 슕 Visscher

@sjoerd_visscher

Writing user friendly software with user friendly code at home and at Statebox. he/him 👫

Den Haag
Vrijeme pridruživanja: prosinac 2006.
Rođen/a 01. srpnja

Tweetovi

Blokirali ste korisnika/cu @sjoerd_visscher

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

  1. Prikvačeni tweet

    Every once in a while I revisit 's thesis "A Categorical Programming Language". I'm pretty happy with the translation to this time:

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    31. sij

    I'd like to make the ACT community aware of this paper: "Scientific modelling with coalgebra-algebra homomorphisms" by Baltasar Trancón y Widemann and Michael Hauhs I read this in 2015, should read it again. Unfortunately Baltasar quit academia soon after

    Poništi
  3. 24. sij

    Oh, it’s just a bug, now it does show the note as written in black…

    Prikaži ovu nit
    Poništi
  4. 24. sij

    I made a note with pen on my iPad in dark mode, now I can’t read it in light mode, since it was drawn in white… 🤦‍♂️

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    23. sij

    Do you need to be a mathematician to learn ? No. But signing up to does help speed up the process.

    Poništi
  6. 16. sij

    Has anyone ever tried to use in an implementation of automatic differentiation?

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

    Abstraction is the new gold! A short introduction to why category theory might be relevant to you.

    Poništi
  8. proslijedio/la je Tweet
    13. sij

    In an effort to spread categorical thinking, Statebox is organising a course in March in . Interested? Sign up here ➡️

    Poništi
  9. 10. sij

    Weird. There are a thousand accounts on this list and he has 16 of these?

    Poništi
  10. proslijedio/la je Tweet
    9. sij

    Math is amazing, there’s no side effects or build tools

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet

    this is the most fun thing i have seen on the web in a while remember when the web seemed like it was full of fun things like this? and maybe it still is but we've just been too inundated by all the more hellish aspects to enjoy it sigh anyway...

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    27. pro 2019.

    I don't think "fancy Haskell" is what makes it hard for beginners to get up to speed, but rather a lack of focus on good domain modeling and design. Teaching advanced features is possible and good, but all the fancy types in the world won't save you from bad planning/design.

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    18. pro 2019.

    Algebraic Lenses: A brand new type of optic!

    Prikaži ovu nit
    Poništi
  14. So it’s not terribly exciting in this setting. Maybe more so in a depentently typed setting?

    Prikaži ovu nit
    Poništi
  15. Since all adjunction in Hask are isomorphic to the ((,) a) |- ((->) a) one, the extra flexibilty you get compared to Mu and Nu from recursion-schemes is an extra parameter for each constructor resp. deconstructor which you have access to in the fold resp unfold.

    Prikaži ovu nit
    Poništi
  16. It's my ! I have been on Twitter for 13 years, since 8 Dec 2006 (via ).

    Poništi
  17. proslijedio/la je Tweet
    6. pro 2019.

    Development update: The string diagrams editor now supports magical rainbow unicorns

    Prikaži ovu nit
    Poništi
  18. Born in: 🇳🇱 Live in: 🇳🇱 First country I travelled to: 🇱🇺 Last country I travelled to: 🇩🇪 Country I miss the most: 🇨🇭 Next country I will travel to: 🏳️T.b.d.

    Poništi
  19. proslijedio/la je Tweet
    30. stu 2019.

    Het normaliseren van extreem rechts begint bij het geven aan zuurstof aan steeds dezelfde complotdenkers, schedelmeters of abjecte racisten onder het mom van kritische journalistiek. Het probleem is dat men er vanuit gaan dat deze mensen handelen vanuit ethische betrokkenheid.

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet

    Does someone know if pre-bicategories are a thing? (bicategories without identities)?

    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:

    ·