|
Wasif Hasan Baig
@
wbayg
Vancouver, British Columbia
|
|
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
@ndm_haskell
|
27. sij |
|
Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See neilmitchell.blogspot.com/2020/01/one-ha… for details. With @cocreature, @alan_zimm and many contributors from both sides.
|
||
|
|
||
|
Wasif Hasan Baig
@wbayg
|
21. sij |
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
🌈 Josh
@JoshWComeau
|
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? ♥️)
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
Edward Kmett
@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
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
|
Bartosz Milewski
@BartoszMilewski
|
10. sij |
|
Video from lecture 3 in Programming with Categories is about lambda calculus and functors. youtube.com/watch?v=1ar_eC…
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
|
Bartosz Milewski
@BartoszMilewski
|
9. sij |
|
Here are lecture notes for the first lecture in Programming with Categories: brendanfong.com/programmingcat…
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
Matt Parsons 🏳️🌈
@mattoflambda
|
26. pro |
|
A plea to Haskellers everywhere:
Write Junior Code
parsonsmatt.org/2019/12/26/wri…
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
Tweag I/O
@tweagio
|
19. pro |
|
Procedural art in your browser, in Haskell: tweag.io/posts/2019-12-…. It's a milestone! We can now compile Diagrams and all 115 dependencies compile to WebAssembly.
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
Rik Arends
@rikarends
|
5. pro |
|
I do suppose a 'safe systems language' was the unique engineering requirement thats now finally met by Rust.
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
Dan Abramov
@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.
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
Kelly Vaughn 🐞
@kvlly
|
14. stu |
|
Your personality is affected by the company you keep.
Surround yourself with better company.
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
John Carlos Baez
@johncarlosbaez
|
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! pic.twitter.com/6WFbR45Hf1
|
||
|
|
||
|
Wasif Hasan Baig
@wbayg
|
12. stu |
|
Thank you for doing this.
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
|
Bartosz Milewski
@BartoszMilewski
|
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
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
Ravinder Singh Robin ਰਵਿੰਦਰ ਸਿੰਘ راویندرسنگھ روبن
@rsrobin1
|
10. stu |
|
"I don't know about you, I am very happy to see you guy here to Visit #GurdwaraDarbarSahib, as like we go for #Hajj. expressed ,Sadam Hassan ,who was given task to drive a shuttle services from Indo Pak Border to #GurdwaraDarbarSahib through #KartarpurCorridor on Saturday. pic.twitter.com/VwW4lNRJ3w
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
|
Bob Atkey
@bentnib
|
7. stu |
|
Proof editor now shows you the proof tree you're building as you type proof commands personal.cis.strath.ac.uk/robert.atkey/c… pic.twitter.com/WCwj8ohPSN
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
Simon Peyton Jones
@simonpj0
|
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. #caschat
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
Massimo
@Rainmaker1973
|
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 buff.ly/2tnyzW6 [gif: buff.ly/2X23epo] pic.twitter.com/rbRTU7BxtF
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
SkyTrain for Surrey
@SkyTrain4Surrey
|
1. stu |
|
HAVE YOUR SAY: @TransLink 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: surreylangleyskytrain.ca/community. #SLSkyTrain #SurreyBC #Langley pic.twitter.com/yiOwPUNjrK
|
||
|
|
||
| Wasif Hasan Baig proslijedio/la je tweet | ||
|
React
@reactjs
|
31. lis |
|
The videos from #ReactConf2019 are out! Here is a complete playlist. Big thank you to the speakers for all the effort they put into their talks. 💙 youtube.com/playlist?list=…
|
||
|
|
||