λ λ λ

@lambdagoat

Higher Order Rumination Schemes

Florianópolis, Brazil
Vrijeme pridruživanja: prosinac 2019.

Tweetovi

Blokirali ste korisnika/cu @lambdagoat

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

  1. 2. velj
    Poništi
  2. 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
  3. proslijedio/la je Tweet
    30. sij

    ...and people tell me Haskell is too abstract.

    Poništi
  4. 24. sij
    Poništi
  5. proslijedio/la je Tweet
    21. sij

    Technical debt is not fungible. Tech debt is hard to quantify and you can't always trade one kind off for another. You can't always pay it off in installments. "Two days a sprint for tech debt" is not a coherent policy! (For many reasons!)

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

    Here's the introductory lecture of Programming with Categories divided between Brandon, David, and me. More to come regularly.

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    30. pro 2019.
    Odgovor korisniku/ci

    The only valid measurement of code quality: WTFs/minute

    Poništi
  8. proslijedio/la je Tweet
    30. pro 2019.

    Happy New Year! A bunch of us are trying to develop "applied category theory" - and now we've started a new journal on this subject, called "Compositionality". It's free to publish in, and free to read. The first issue just came out! (1/n)

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

    Me earlier this year: everything we do is just defunctionalization. Me last month: everything I did 4 years ago was also just defunctionalization. Just released: my guest post for the blog (ed. ), giving a full 7 applications.

    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:

    ·