Waqas Younas
Software engineer and essayist who writes about programming, formal methods, philosophy and literature at thoughts.wyounas.com.
Waqas Younas did not write this page. What is this?
It collects the places they publish and what they have said there, each linked to the source. They have no account here. Is this you? Claim it, correct it, or ask us to remove it from ppll.
Where they publish
Recommends rcmnd
What they recommendrcmnd 10 things — each backed by an exact quote.
Compiled by rcmnd.app, not by them: the quotes are theirs, and each links to the post it was copied from.
Recent
Human, All Too Human Loved
I have never read a philosopher who had more penetrating thoughts in a book. Some of his ideas hit you like a thunderbolt.
thoughts.wyounas.com 2024-12-30
The argumentative Indian Liked
It's stimulating work as well as easy to read. Although parts of South Asia are not commonly known to have an argumentative gene, Amartya Sen convincingly shows that Indian history is deeply rooted in an argumentative tradition. He masterfully weaves evidence and tales to make his point.
thoughts.wyounas.com 2024-12-30
The Strangest Man Loved
I found this an engaging biography and thoroughly enjoyed reading it.
thoughts.wyounas.com 2024-12-30
Show 7 more
The Best of Tagore Liked
Some of his essays are thought-provoking. His reflections on education, nationalism, and other topics are not only stirring but also showcase literary brilliance. The man could write.
thoughts.wyounas.com 2024-12-30
A Wizard of Earthsea Liked
I picked this book up, and I liked it. On the surface, it's about wizards and magic, but there's more to it. Every now and then, Ursula Le Guin sprinkles in some wisdom.
thoughts.wyounas.com 2024-12-30
Less Than One Liked
This book is a collection of essays, and some of them are quite profound. One of his essays on Dostoevsky is particularly insightful; it left such an impression on me that I reflected on it and wrote an essay of my own.
thoughts.wyounas.com 2024-12-30
Born Standing Up Liked
It's a nice, short, and moving memoir by the comedian and actor Steve Martin. The book details his early working days at shops and clubs, his relationships, and eventually his rise to fame. He shared his struggles, his failures, long hours of practice, his reflections to refine his craft, and his efforts to find his own unique voice as a comedian. Any memoir that only talks about successes and never discusses struggles, rejections, or weaknesses is suspect. This one is not. What I like about his writing is that it feels candid and, at times, funny.
thoughts.wyounas.com 2024-12-30
Principles of the SPIN Model Checker Liked
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 how it explains concepts using thoughtfully developed, freely available tools (such as jSpin) that the author created for pedagogical purposes. It's a demanding book, but the content was interesting. The book presents details about concurrency, temporal logic, non-determinism, advanced SPIN topics, and even case studies. I've already written a few blog posts about the topics I explored while reading this book, and I plan to write more. Overall, it's a good book. I'm sure I'll revisit the latter half again.
thoughts.wyounas.com 2024-12-30
What others say about Principles of the SPIN Model Checker →
Oresteia Loved
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 those books that one ought to read multiple times in life because I'm certain that every time we read it, it will offer something new.
thoughts.wyounas.com 2024-12-30
Philosophy as a Way of Life Loved
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 so with respect.
thoughts.wyounas.com 2024-12-30