Twitter | Pretraživanje | |
Wasif Hasan Baig
Haskell, Type theory, Category theory enthusiast. Tweets and re-tweets represent no one's opinion but mine. Lived in Islamabad 🇵🇰, Halifax 🇨🇦, and Victoria 🇨🇦
529
Tweetovi
308
Pratim
122
Osobe koje vas prate
Tweetovi
Wasif Hasan Baig proslijedio/la je tweet
Neil Mitchell 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.
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig 21. sij
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
🌈 Josh 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? ♥️)
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Edward Kmett 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
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Bartosz Milewski 10. sij
Video from lecture 3 in Programming with Categories is about lambda calculus and functors.
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Bartosz Milewski 9. sij
Here are lecture notes for the first lecture in Programming with Categories:
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Matt Parsons 🏳️‍🌈 26. pro
A plea to Haskellers everywhere: Write Junior Code
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Tweag I/O 19. pro
Procedural art in your browser, in Haskell: . It's a milestone! We can now compile Diagrams and all 115 dependencies compile to WebAssembly.
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Rik Arends 5. pro
Odgovor korisniku/ci @rikarends
I do suppose a 'safe systems language' was the unique engineering requirement thats now finally met by Rust.
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Dan Abramov 22. stu
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.
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Kelly Vaughn 🐞 14. stu
Your personality is affected by the company you keep. Surround yourself with better company.
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
John Carlos Baez 12. stu
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!
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig 12. stu
Odgovor korisniku/ci @BartoszMilewski
Thank you for doing this.
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Bartosz Milewski 11. stu
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
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Ravinder Singh Robin ਰਵਿੰਦਰ ਸਿੰਘ راویندرسنگھ روبن 10. stu
"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.
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Bob Atkey 7. stu
Proof editor now shows you the proof tree you're building as you type proof commands
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Simon Peyton Jones 5. stu
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.
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
Massimo 3. stu
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: ]
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
SkyTrain for Surrey 1. stu
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: .
Reply Retweet Označi sa "sviđa mi se"
Wasif Hasan Baig proslijedio/la je tweet
React 31. lis
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. 💙
Reply Retweet Označi sa "sviđa mi se"