Formal Methods for Software Engineering: A Semester in Review

As another semester comes to a close, it’s time to reflect on the journey through the Formal Methods for Software Engineering course. This semester, we embraced change, introducing new teaching methods and tools to enhance the learning experience. One notable addition was the integration of GitHub Classroom for assignments, a decision that brought about unexpected insights and learning experiences. GitHub Classroom and Automated Feedback One notable shift this semester was the adoption of GitHub Classroom for assignments....

February 1, 2024 · 3 min · Soaib

Private GitHub Repo with Public Updates: A Fork-Like Solution

GitHub is a powerful platform for collaborative coding and version control, but there’s a quirk that often puzzles users – the inability to create a private repository directly from a forked repository. In this article, we’ll explore a clever workaround that allows you to have the best of both worlds – a private repository that can seamlessly incorporate updates from a public repository, mimicking the behavior of a forked repository....

December 14, 2023 · 2 min · Soaib

Summaery 2023

Every year, Bauhaus University Weimar hosts Summaery, a week-long annual exhibition, showcasing ingenious projects and ideas developed by its students throughout the academic year. As a newcomer to the university, Summaery 2023 was my first experience of this remarkable event, and it certainly didn’t disappoint me. Here in the faculty of Media, we started it with an open lab night. The theme of the open lab night was “Bytes, Beer, and Sausages - Open Labs at the Faculty of Media” a playful nod to the intersection of technology, socializing, and culinary delights....

July 20, 2023 · 2 min · Soaib

Navigating the German Labour Market: Insights from Bauhaus University Weimar

Recently, I had the privilege of attending a program at Bauhaus University Weimar titled “How to Find a Job in the German Labour Market”. Organized by the Faculty of Media in collaboration with the Career Service of Bauhaus-Universität Weimar, the event provided invaluable insights into the intricacies of the job search and application process in Germany. The program comprised a comprehensive lecture followed by an informative panel discussion, during which I had the honor of being a speaker....

June 3, 2023 · 2 min · Soaib

Atomic Habits

⭐ Rating: 4.5/5.0✍🏻Notes THE FUNDAMENTALS Why Tiny Changes Make a Big Difference Habits are a double-edged sword. Bad habits can cut you down just as easily as good habits can build you up, which is why understanding the details is crucial. You need to know how habits work and how to design them to your liking, so you can avoid the dangerous half of the blade. Negative thoughts compound. The more you think of yourself as worthless, stupid, or ugly, the more you condition yourself to interpret life that way....

October 27, 2021 · 15 min · Soaib

Deep Work: Rules for Focused Success in a Distracted World

⭐ Rating: 4.5/5.0✍🏻Notes Introduction Deep Work: Professional activities performed in a state of distraction-free concentration that push your cognitive capabilities to their limit. These efforts create new value, improve your skill, and are hard to replicate. A 2012 McKinsey study found that the average knowledge worker now spends more than 60 percent of the workweek engaged in electronic communication and Internet searching, with close to 30 percent of a worker’s time dedicated to reading and answering e-mail alone....

May 25, 2021 · 11 min · Soaib

Digital Minimalism: Choosing a Focused Life in a Noisy World

⭐ Rating: 4.5/5.0✍🏻Notes Introduction In an open marketplace for attention, darker emotions attract more eyeballs than positive and constructive thoughts. For heavy internet users, repeated interaction with this darkness can become a source of draining negativity—a steep price that many don’t even realize they’re paying to support their compulsive connectivity. Andrew Sullivan meant when he lamented: “I used to be a human being.” What you need instead is a full-fledged philosophy of technology use, rooted in your deep values, that provides clear answers to the questions of what tools you should use and how you should use them and, equally important, enables you to confidently ignore everything else....

May 11, 2021 · 11 min · Soaib

Ikigai: The Japanese Secret to a Long and Happy Life

⭐ Rating: 3.5/5.0✍🏻Notes Prologue How does it inspire people to stay active until the very end? What is the secret to a long and happy life? What is the meaning of my life? This Japanese concept, which translates roughly as “the happiness of always being busy,” is like logotherapy, but it goes a step beyond. Okinawans live by the principle of ichariba chode, a local expression that means “treat everyone like a brother, even if you’ve never met them before....

April 26, 2021 · 11 min · Soaib

Notes On Cinematography

⭐ Rating: 4.0/5.0✍🏻Notes An actor in cinematography might as well be in a foreign country. He does not speak its language Two types of film: 1) those that employ the resources of the theater (actors, direction, etc. ) and use the camera in order to reproduce; 2) those that employ the resources of cinematography and use the camera to create Rid myself of the accumulated errors and untruths. Get to know my resources, make sure of them....

January 6, 2021 · 6 min · Soaib

The 5 Elements of Effective Thinking

⭐ Rating: 4.0/5.0🌱 Top-Level Thought How can one make his thinking more insightful? The ways are rather simple, but they are fundamental and can change one’s life remarkably. Make every effort for rock-solid understanding, make mistakes and learn from the failure, build and ask challenging and meaningful questions, follow the flow of ideas and consider the learning as a lifelong journey - these are the fundamental concepts of effective thinking....

October 29, 2020 · 8 min · Soaib