Wasif Hasan Baig

@wbayg

Haskell, Type theory, Category theory enthusiast. Tweets and re-tweets represent no one's opinion but mine. Lived in Islamabad 🇵🇰, Halifax 🇨🇦, and Victoria 🇨🇦

Vrijeme pridruživanja: kolovoz 2009.

Tweetovi

Blokirali ste korisnika/cu @wbayg

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

  1. Prikvačeni tweet
    26. lip 2017.

    En voyage from mainland (Vancouver) to the island (Victoria)

    Poništi
  2. 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
  3. 21. sij
    Poništi
  4. proslijedio/la je Tweet
    15. sij

    If you work as a developer and don't have a college degree, I'd love to hear the story of how you got your first job! What convinced employers to take a chance on you? (RT for reach? ♥️)

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    12. sij

    Berkeley is a strange and sometimes wondrous place. I just had the 𝙥𝙞𝙯𝙯𝙖 𝙙𝙚𝙡𝙞𝙫𝙚𝙧𝙮 𝙜𝙪𝙮 recognize me and ask a bunch of Haskell questions as we sat on the deck and ate said pizza. 😆🍕🤭 10/10 will order again

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

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

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

    Here are lecture notes for the first lecture in Programming with Categories:

    Poništi
  8. proslijedio/la je Tweet

    A plea to Haskellers everywhere: Write Junior Code

    Poništi
  9. proslijedio/la je Tweet
    19. pro 2019.

    Procedural art in your browser, in Haskell: . It's a milestone! We can now compile Diagrams and all 115 dependencies compile to WebAssembly.

    Poništi
  10. proslijedio/la je Tweet
    5. pro 2019.

    I do suppose a 'safe systems language' was the unique engineering requirement thats now finally met by Rust.

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

    Grant me the serenity to omit tests for things that aren’t worth testing, courage to write tests for things that deserve test coverage, and wisdom to know the difference.

    Poništi
  12. proslijedio/la je Tweet
    14. stu 2019.

    Your personality is affected by the company you keep. Surround yourself with better company.

    Poništi
  13. proslijedio/la je Tweet
    12. stu 2019.

    The biggest bombshell from our applied category theory meeting this weekend: David Spivak and Brendan Fong at MIT are planning to set up an institute of applied category theory in the San Francisco Bay Area: the TOPOS INSTITUTE. I'm going to be involved in this!

    Poništi
  14. proslijedio/la je Tweet
    11. stu 2019.

    Today I was working with David Spivak and Brendan Fong on our new course, Programming with Categories. It will take place in January at MIT as part of IAP. We'll introduce categorical concepts and teach elements of Haskell to illustrate them. Yes, all 18 lectures will be recorded

    Poništi
  15. proslijedio/la je Tweet

    "I don't know about you, I am very happy to see you guy here to Visit , as like we go for . expressed ,Sadam Hassan ,who was given task to drive a shuttle services from Indo Pak Border to through on Saturday.

    Poništi
  16. proslijedio/la je Tweet
    7. stu 2019.

    Proof editor now shows you the proof tree you're building as you type proof commands

    Poništi
  17. proslijedio/la je Tweet
    5. stu 2019.

    Hi everyone! I’m Simon Peyton Jones. I’m a research computer scientist at Microsoft Research, but I have the joy and privilege of serving as chair of CAS… and now of the NCCE as well.

    Poništi
  18. proslijedio/la je Tweet
    3. stu 2019.

    If you put some soap or ink on a leaf, you obtain a ink propelled boat, using the Marangoni effect. The ink or the detergent has a lower surface tension than water and its flow provides thrust to push the boat forward [gif: ]

    Poništi
  19. proslijedio/la je Tweet

    HAVE YOUR SAY: has started the second phase of public consultations for the future Surrey-Langley SkyTrain! Take the SURVEY by Nov 17 or attend one of the community open houses. MORE INFO AT: .

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

    The videos from are out! Here is a complete playlist. Big thank you to the speakers for all the effort they put into their talks. 💙

    Poništi
  21. proslijedio/la je Tweet

    For Sikhs coming for pilgrimage to Kartarpur from India, I have waived off 2 requirements: i) they wont need a passport - just a valid ID; ii) they no longer have to register 10 days in advance. Also, no fee will be charged on day of inauguration & on Guruji's 550th birthday

    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:

    ·