Paolo G. Giarrusso

@Blaisorblade

PostDoc at TUDelft on DOT & Scala — λ calculus/Haskell/Coq/Agda— geek & rationalist

Vrijeme pridruživanja: kolovoz 2010.

Tweetovi

Blokirali ste korisnika/cu @Blaisorblade

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

  1. proslijedio/la je Tweet
    prije 7 sati

    Why programming language X was right for my project: a post-hoc justification of my social group’s aesthetic preferences framed as an engineering exercise.

    Poništi
  2. proslijedio/la je Tweet
    1. velj

    Interesting MO question: among hard mathematical results, which can we trust and how can we know? Question inspired by a talk by Kevin Buzzard (), with slides online:

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    28. sij

    Suppose I have a functor F : C -> C' such that for a given base category B, there is a lifting for any fibration C -> B to a fibration C' -> B such that "things commute", whatever the heck that means. Is there a name for this?

    Poništi
  4. proslijedio/la je Tweet
    27. lis 2019.

    Here is my first blog post about the locally nameless approach to substitution:

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

    fun 2 work out why they call PSh(N) the "topos of trees" (with N a thin category under its usual ordering)

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

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

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

    It's taken a while, as he decided to make it compatible with 64-bit systems before releasing it, but, as I hinted at Code Mesh, David Turner has now released the Miranda programming language under a BSD licence:

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    31. sij
    Poništi
  9. 30. sij
    Poništi
  10. proslijedio/la je Tweet
    31. pro 2019.
    Odgovor korisnicima

    We're on it! Now that Scala 3 is feature complete, we'll be putting in extra effort over the next few months. Additionally, a new developer will be joining our team to focus on the Scala 3 compiler integration specifically. More news later!

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

    It's really exciting how quickly Dotty development is moving. This PR and yesterday's follow-up will make my cross-building branches for Cats + related projects so much cleaner:

    Poništi
  12. 29. sij

    Tales from my commit messages: Fix Anomaly by adding Proper typeclass instance

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

    I've been seeing claims that ARM CPUs are more power efficient, or draw less power than Intel CPUs. Can someone point me to why this is the case?

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

    A photo is a mathematical representation of your face.

    Poništi
  15. 29. sij

    Interesting tip, tracing back to : default to StrictData .

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

    Type inference is the failed objective that has inhibited progress for the last four decades.

    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    28. sij
    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    28. sij

    has anyone out there written up a guided tour and/or set of "look how simple this shit is compared to the usual stuff" encouragements for level (0, 1) / truth-value-enriched category theory, or am i gonna have to do it

    Poništi
  19. proslijedio/la je Tweet
    28. sij
    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    27. sij

    “Give me your tired, your poor, Your huddled masses yearning to breathe free” Retweet if your immigrant ancestors wouldn’t be let in if this means tested immigration policy was in place then.

    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:

    ·