Ilan Godik

@IlanGodik

Deep in Functional Programming and learning about Type Theory. Also interested in AI.

Vrijeme pridruživanja: rujan 2011.

Tweetovi

Blokirali ste korisnika/cu @IlanGodik

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

  1. proslijedio/la je Tweet
    prije 14 sati

    New blog post! In this post, I explore separable convolution image filters: how can we check if a 2D image filter is separable, and how to use SVD and linear algebra to compute separable approximations to any filter represented in a numerical form.

    Poništi
  2. proslijedio/la je Tweet
    27. stu 2019.

    Gradient descent is used in many ways at Tesla

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    1. velj

    Me: so I got these Jira tickets Him, a non-tech cutie: where/when they playing at? Are they any good?

    Poništi
  4. proslijedio/la je Tweet
    prije 18 sati

    The key to good proof reuse and proof repair is in automatic transport, and the key to efficient automatic transport is in adapting the data structures traditionally used in SMT solvers. Let's have a univalent e-graph hackathon!

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

    It's not every day that a read-after-write makes a server spend 4% of its CPU cycles in one instruction. Wrote that one up here:

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

    Really like how Nim has a built-in that breaks up a closure into a function and environment pointer. Makes it 100x easier to pass a Nim proc as a C callback compared to Haskell. Yes I know StaticPointer and StablePtr exist

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

    “Tell me again, what instrument do you play?”

    Poništi
  8. proslijedio/la je Tweet
    28. sij
    Poništi
  9. proslijedio/la je Tweet
    27. sij

    we have an update to DTrace on Windows. with the latest 20H1 insider build, no more KD required to use dtrace on windows. plus arm64 MSI.

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

    Come read about the latest compiler backend improvements in Visual Studio 2019: better code generation, faster builds, and exciting new tools!

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

    I just published my initial devcontainer setup for , allowing you to install a Haskell environment (via HIE) with zero effort! Please try it, and send PRs to make it better (I really have no idea what I'm doing 😅)

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

    I think this is approximately the optimal way to play the job search process as a candidate: Note in particular being organized, treating it as a sales pipeline, pursuing multiple offers in parallel, and practicing for interviews.

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    26. sij

    If you are after optimizing development, look at how developers read, not write, code. Code reading is the single largest expense in software development, and very few even talk about it.

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

    Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See for details. With , and many contributors from both sides.

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

    Blogged: Best of 2019 in tech talks Topics include: - Linux - concurrency - Lots of malloc and mesh - performance - large scale computing - serverless - Spectre This is also the first year I’ve included presentations from academic conferences.

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

    A very cool video explaining why functional programming matters!

    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:

    ·