Waqas Younas
Person on 4 sites
Waqas Younas is a software engineer based in Lahore, Pakistan.
-
4 facts on wiqqi (opens wiqqi.app)
- Based in: Lahore, Pakistan (opens wiqqi.app)
- Worked at: HubSpot and Customer.io, as an engineer; also a founder (opens wiqqi.app)
- Interests: Distributed systems, formal verification, model checking, software quality (opens wiqqi.app)
-
1 channel on ppll (opens ppll.app)
-
11 beliefs on korrents (opens korrents.com)
-
The word 'good' cannot always be detached from the kind of thing being judged with the same standards applying to other objects. (opens korrents.com)
“We cannot always detach the word "good" from the kind of thing being judged and expect the same standards to apply to other objects.”
-
Performing tasks associated with a role well is not the same as being good at the role itself. (opens korrents.com)
“At most, we can infer that it performs some tasks associated with those roles well, but only in specific situations, possibly not in all. That is not the same as being good at the role itself.”
-
Inverting established keyboard shortcuts for zooming creates user errors and slips due to muscle memory. (opens korrents.com)
“Established shortcuts turn into procedural memory, or muscle memory. When you invert them, you create slips: the user performs a well-learned action and gets the opposite result. In practice, this means more errors,…”
-
The word 'good' cannot always be detached from the kind of thing being judged with the same standards applying to other objects. (opens korrents.com)
-
10 recommendations on rcmnd (opens rcmnd.app)
-
Philosophy as a Way of Life (opens rcmnd.app)
“I came across this book accidentally, but I'm so glad I did. Pierre Hadot was a French philosopher who could not only philosophize but also write simply—an ability not common among top-tier philosophers, if I may say…”
-
Oresteia (opens rcmnd.app)
“His thoughts on human psychology and the way he crafted his stories are why I liked this book. I have to admit, there is a lot in it that I need to absorb. I'll surely be re-reading this one sometime soon. It's one of…”
-
Principles of the SPIN Model Checker (opens rcmnd.app)
“This book gave me both insight and a deeper curiosity about the subject. This book introduces the SPIN model checker and exposes the reader to the nuances of verifying programs using SPIN. A nice feature of the book is…”
-
Philosophy as a Way of Life (opens rcmnd.app)