Tim Kersey

@timkersey

If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich

Los Angeles
Vrijeme pridruživanja: srpanj 2006.

Tweetovi

Blokirali ste korisnika/cu @timkersey

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

  1. proslijedio/la je Tweet
    3. velj

    I love that this all ended with smart Andy Reid clock management

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

    New optics! An introduction to kaleidoscopes and what they bring to the table 🔍 Interested in optics? Check out my book! Based on recent work by , Derek Elkins &

    Poništi
  3. 1. velj

    Getting lots of Twitter Ads for Google Ads 🙄

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

    Strong type systems, memory safety, automatic memory management and so on have had zero effect on software quality, because all the extra slack was consumed by new features instead

    Poništi
  5. 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
  6. proslijedio/la je Tweet
    30. sij

    Inspired by 's tweet (RT'd) to point out this parallel via alignment. Surprised that it wasn't already called out explicitly by ( 👋). Top of each pair is easier to teach (IMHO); bottom is usually more convenient in practice.

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

    More results from last year's Applied Category Theory School in Oxford. Emily and Mario's post on n-Cat Cafe:

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

    well! yes, historically, we get an agglomeration of useless complexity (java) then a revolt (rails)! it was 2005 when DHH gave his famous "WS-Death Star" talk at the first-ever rails conference. who will be the next rails ? FAANG has a stranglehold

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    25. sij

    本日の「圏論とプログラミング」のスライドです! My slide for "Category Theory and Programming" is now up! (in Japanese)

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

    I always do year end retrospective about , but decided to do a forward looking piece instead. Haskell Problems For a New Decade

    Poništi
  11. proslijedio/la je Tweet
    22. sij
    Poništi
  12. proslijedio/la je Tweet
    22. sij

    Have you ever wondered what will be the ML frameworks of the '20s? In this essay, I examine the directions AI research might take and the requirements they impose, concluding with an overview of what I believe to be two strong candidates: JAX and S4TF.

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

    Here we go: a totally polished and not-at-all half-baked take on static vs dynamic typing

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

    I’m pleased to present the flame-bait sequel to my previous blog post: “No, dynamic type systems are not inherently more open.” (Please send me your hatemail at your earliest convenience.)

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

    [BLOG] "Adjunctions in the wild: foldl" Made a conceptual connection last week, thought it might be fun to write it out as a blog post :)

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

    Academic Torrents: "Distributed system for sharing enormous datasets - for researchers, by researchers."

    Poništi
  17. proslijedio/la je Tweet
    12. sij

    Swift is used on Apple devices, servers, in machine learning... now, let's make it a thing on bare metal! Excited to open source my latest project – Swift for Embedded Systems! ✨

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

    Number 2 Fugazi - Waiting Room (Washington, DC 1988) Artistic passion defined. You can dance to punk rock. The communal energy here gives me chills

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

    Video from lecture 3 in Programming with Categories is about lambda calculus and functors.

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

    Collections of papers and books about Haskell, type theory and category theory.

    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:

    ·