Vladislav Zavialov

@int_index

Haskell programmer since 2012; GHC contributor since 2018.

Vrijeme pridruživanja: travanj 2012.

Tweetovi

Blokirali ste korisnika/cu @int_index

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

  1. Prikvačeni tweet
    5. lis 2019.

    It takes a lifetime to learn programming, so the earlier you start, the longer it takes.

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

    Goldilocks went to GitHub & cloned 3 codebases She inspected the 1st one: "This codebase is stringly typed!" Then the 2nd one: "This has singletons and inscrutable type sigs!" And the last one: "Shows a mature understanding of the benefits & limits of the type system"

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

    "For me, a programming language is an instrument of thought, and I’d like this instrument to be as versatile as possible." Read an interview with one of our GHC developers, :

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

    Strict data and lazy functions is the default you should be using for all production Haskell code.

    Poništi
  5. 23. sij

    Unicode is...

    Poništi
  6. 22. sij

    deepseq in the RTS sounds like a splendid idea

    Poništi
  7. 22. sij

    For years I failed to articulate what I disliked about WYSIWYG editors, and this is it. In, say, LibreOffice, I don't know if I'm dealing with <b>Hello</b> <b>World</b> or <b>Hello World</b>. The formatting data is opaque.

    Prikaži ovu nit
    Poništi
  8. 22. sij

    <interactive>:1:8: error: • Variable not in scope: рutStrLn :: [Char] -> t • Perhaps you meant ‘putStrLn’ (imported from Prelude)

    Prikaži ovu nit
    Poništi
  9. 22. sij

    If your text editor is not configured to highlight tabs, trailing whitespace, and homoglyphs, you can't even see your data fully. Try to compile this (copy & paste): mаin = рutStrLn "Hello"

    Prikaži ovu nit
    Poništi
  10. 22. sij

    The transparency test for a data format: distinct bytes on disk should map to distinct raster images on screen when rendered in an editor.

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

    Why is Haskell so hard to learn? (and how to deal with it) Talk by starts in 15 mins at Ball Room 2

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

    People who spend all day reading texts and Twitter will tell you “I don’t read. I don’t have time.” You are reading this. You have time. People read more than ever. They read plenty of marketing emails and angry YouTube comments. Read something worthwhile. Read a good book.

    Poništi
  13. proslijedio/la je Tweet
    10. sij
    Odgovor korisniku/ci

    It is worth tracking if you care about preserving the number of times something is logged and the order in which things are logged. Otherwise an aggressive compiler trying to inline, speculatively evaluate, or eliminate common sub-expressions could mess with log output

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

    StandaloneKindSignatures seem like a pretty nice feature. But beyond that this is some really great technical writing. Learned a lot in many ways.

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

    git commit -m "Changes" git commit -m "Changes" git commit -m "Changes" git commit -m "Changes" git commit -m "Changes" rm -rf .git git init git add . git commit -m "Initial commit"

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

    Fascinating talk on formalizing mathematics in Lean by Kevin Buzzard: . Worth a listen, if only for a sense of how uninterested many "real mathematicians" are in formal proof, and in particular machine proofs of fifty year old theorems.

    Poništi
  17. proslijedio/la je Tweet
    28. lis 2019.

    Such a cool way to explain logic gates.

    Poništi
  18. proslijedio/la je Tweet
    20. pro 2019.

    I think it's great. I think we could learn from this sales approach. Long live the modification of the number of elements while mapping over a list.

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

    Making a tool for "programming with plain words"! Here's me "programming" a line-drawing turtle:

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

    New blog post series on how I made an interpreter written in 700× faster

    Prikaži ovu nit
    Poništi
  21. 4. pro 2019.

    I repurposed my gaming PC into a build server. A huge productivity boost! Now I can run the GHC test suite (7302 tests) in 20 minutes.

    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:

    ·