The Daily Quote Podcast will highlight a quote every day. I'll discuss how it has moved me and how it can also be meaningful to listeners also. Find out More about us at www.DailyQuotePodcast.com This Podcast was created using www.talkshoe.com
…
continue reading
Dr. Art Markman and Dr. Bob Duke explain how our brain works.
…
continue reading
Listen to a famous quote, then a backstory giving clues to the identity of the speaker. Play along by trying to guess who said the quote before the name is revealed at the end of the segment! New episodes of this fun and informative podcast are added weekly.
…
continue reading
An accessible podcast about Type Theory, Programming Languages Research and related topics.
…
continue reading
Serious and frivolous ideas about politics, culture, social science and the world.
…
continue reading
Hosts Lol Tolhurst (The Cure) and Budgie (Siouxsie and the Banshees) explore post punk's enduring legacy and contemporary relevance. Lol and Budgie welcome luminaries from all walks of life for revealing, yet relaxed conversation. Audience questions are answered at the end of each episode.
…
continue reading
Hi..this podcast is exclusively for those who want to explore new things without much use of screen..guys you are at right place..this podcast is to satisfy your knowledge needs through audio stuff. Just go through it and let me know if i have succeeded in my efforts.
…
continue reading
Direct Cars stands as the preeminent car marketplace in Singapore, distinguished as a comprehensive one-stop driver's portal, catering to all discerning motoring requirements. At Direct Cars, we place paramount importance on fulfilling your needs, surpassing all other considerations. Our commitment to delivering unparalleled service is underscored by our adept team of dedicated and seasoned consultants, ready to address all your inquiries and tirelessly procure the most favorable deals on yo ...
…
continue reading
So,I started a podcast to help me reach out to other people and really ask questions that no one wants to ask. This is not only for my own sake, but for those who wish to go beyond themselves and see where other people’s head. Their own thought process. My mission in this podcast is to relate to you, your sister, your brother, your second cousin, everyone. So that we all can continue to strive for a world full of beautiful people that can all win and hype each other up to be successful .In o ...
…
continue reading
We often read engaging or witty quotes and consider their content or meaning, but as Dr. Art Markman and Dr. Bob Duke explore in this episode of Two Guys on Your Head, quotes serve many functions in how and what we communicate and remember. The post Quotations appeared first on KUT & KUTX Studios -- Podcasts.…
…
continue reading
For many, fall marks the beginning of a new school year, which can mean a time to reinvent yourself. In this episode of Two Guys on Your Head, Dr. Art Markman and Dr. Bob Duke discuss the importance of mindset, social groups, and expectations when starting fresh. The post New Beginnings appeared first on KUT & KUTX Studios -- Podcasts.…
…
continue reading
Emotions are sometimes good to listen to when you’re trying to make a decision, but sometimes they’re not so good. However, as Dr. Art Markman and Dr. Bob Duke explore in this episode of Two Guys on Your Head, the more you know about how your brain works and what certain feelings may indicate, the more tools you have to act. The post Embodied Emoti…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi
1:52:49
1:52:49
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:52:49
In this episode we talk with Fabrizio Montesi, a Full Professor at the University of South Denmark. He is one of the creators of the Jolie Programming Language, President of the Microservices Community and Author of the book 'Introduction to Choreographies'. In today’s episode we talk about the formal side of Distributed Sytems, session types, the …
…
continue reading
It’s August, which means it’s the anniversary of the first airing of Two Guys on Your Head on KUT Austin. And even though we don’t need an excuse to party, it seems strange to celebrate the 11-year mark. Why is that? In this episode of Two Guys on Your Head, Dr. Art Markman and Dr. Bob Duke explore the significance of psychological landmarks. The p…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#41 The Value of PL (and) Education - Satnam Singh
1:41:04
1:41:04
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:41:04
Satnam Singh has got incredible experience in both academia and industry. He has worked in Google, Facebook, Microsoft, Microsoft Research, Xilinx, etc. He has been a lecturer in Glasgow, Birmingham and University of California for a couple of years. He has worked with many interesting tools such Coq, Haskell, Verilog, Tensorflow. These days he wor…
…
continue reading
Oftentimes, we praise perfect execution over Samuel Beckett’s mantra, “Try again. Fail again. Fail better.” Even so, the idea of practicing a skill, learning a task, or iterating on an idea is easier for us to accept than allowing people who wrong us in some way a second chance. In this episode of Two Guys on Your Head, Dr. Art Markman and Dr. Bob…
…
continue reading
Becoming an expert in any area takes a lot of time, work, and navigation; teaching our expertise to someone else takes a different and unique set of skills. In this episode of Two Guys on Your Head, Dr. Art Markman and Dr. Bob Duke discuss how to teach expertise. The post Teaching Expertise appeared first on KUT & KUTX Studios -- Podcasts.…
…
continue reading
Every generation has a different starting point when it comes to knowledge, and it can be a challenge to decipher what we can take for granted regarding how we know what we know and what we need to learn for ourselves. In this episode of Two Guys on Your Head, Dr. Art Markman and Dr. Bob Duke discuss the relationship between culture and knowledge. …
…
continue reading
With so many opportunities for compromise, not only in our political sphere but also in our daily lives, we might wonder why teaching strategies for this aren’t more common. In this episode of Two Guys on Your Head, Dr. Art Markman and Dr. Bob Duke discuss why it’s so important to teach balanced pragmatism as a skill and as a value. Check out the p…
…
continue reading
Here is a new experiment – I’m trying a podcast This is an interview with two of my colleagues at The Unjournal, David Reinstein and David Jintcharadze. The Unjournal is a US non-profit exploring alternatives to traditional academic peer review and journal publication. In this podcast, we range over the problems with traditional peer review, ways t…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#40 Secure Voting - Joe Kiniry
1:08:54
1:08:54
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:08:54
In this episode we go into a deep dive into the formal methods side of Voting systems, and for this nobody better than our guest: Joe Kiniry, A Principal Scientist at Galois, Principled CEO and Chief Scientist of Free & Fair, a Galois spin-out focused on high-assurance elections technologies and services. For the past 20 years Joe has worked tirele…
…
continue reading
We live in an era of deep division, and it’s hard for people with opposing views to even talk to each other. So, how can we begin to move toward compromise and collaboration? In this episode of Two Guys on Your Head, Dr. Art Markman and Dr. Bob Duke discuss the idea of “balanced pragmatism” as a possible way forward. Check out the paper by Curtis P…
…
continue reading
Happiness is important when it comes to our working conditions, but it’s not the only factor to consider. As Dr. Art Markman and Dr. Bob Duke talk about in this episode of Two Guys on Your Head, a good balance of promoting happiness, creativity, and efficiency can be difficult but rewarding. The post Work and Happiness appeared first on KUT & KUTX …
…
continue reading
When you work in an open floor plan it’s hard to concentrate as you’re easily distracted, and you feel like a pest, but as Dr. Art Markman and Dr. Bob Duke talk about in this episode of Two Guys on Your Head, they do have an interesting upside. The post Benefits of The Open Floor Plan appeared first on KUT & KUTX Studios -- Podcasts.…
…
continue reading
Creating open floor plans for workspaces may be less expensive, but as Dr. Art Markman and Dr. Bob Duke talk about in this episode of Two Guys on Your Head, psychologically, we’re paying a high price. The post The Open Floor Plan appeared first on KUT & KUTX Studios -- Podcasts.De către KUT & KUTX Studios, Dr. Art Markman & Dr. Bob Duke
…
continue reading
Performing social norms has benefits, however, when you have to perform all the time just to fit in, it can be stressful and exhausting. In this episode of Two Guys on Your Head, Dr. Art Markman and Dr. Bob Duke talk about performance and privilege. The post Performance and Privilege appeared first on KUT & KUTX Studios -- Podcasts.…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen
1:49:42
1:49:42
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:49:42
In this episode we continue our conversation with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris. In today’s episode we talk about the story behind writing The Litt…
…
continue reading
Many of us go through life blissfully unaware of how and why we are performing, but as Dr. Art Markman and Dr. Bob Duke discuss in this episode of Two Guys on Your Head, those performances, specifically gesturing, help us communicate in ways we are only now beginning to understand. Check out the study Art refers to by Bob Krauss. The post Performan…
…
continue reading
Sometimes we get so wrapped up in a debate, even with ourselves, that it doesn’t occur to us to change the frame of the conversation. As Dr. Art Markman and Dr. Bob Duke talk about in this episode of Two Guys on Your Head, it’s important to find new ways to talk and think about things. The post Framing Discourse (Rebroadcast) appeared first on KUT …
…
continue reading
It’s sometimes difficult to justify doing an activity that isn’t related to work or achieving a specific goal, but as Dr. Art Markman and Dr. Bob Duke discuss in this episode of Two Guys on Your Head, letting your mind wander and thinking of things other than your immediate task can be beneficial for your brain and your pursuits. The post Wandering…
…
continue reading
The challenges Is it OK to smack, spank or physically punish your children? Billions of parents care deeply about this question. But answering it is very difficult, because it comes with horrible methodological problems. Obviously, there is a huge problem of reverse causality. Suppose children who are regularly spanked are naughtier. Did the punish…
…
continue reading
It can be difficult to understand how to navigate behavior when there is no direct cause and effect between what you’re doing and the impact you want to have. In this edition of Two Guys on Your Head, Dr. Art Markman, and Dr. Bob Duke, talk about why it’s important to take daily actions toward long-term goals. The post Cause and Effect appeared fir…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
1:55:58
1:55:58
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:55:58
In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris. David is a super upbeat person and I feel that we could spend hundreds of hours talking…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Time, Attention, and How To Get Things Done
7:51
7:51
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
7:51
Time is important, especially when it comes to the brain. In this edition of Two Guys on Your Head, Dr. Art Markman, and Dr. Bob Duke, talk about how our brains process and understand time and how we can reorient our goals within tasks to stay motivated and get more done. The post Time, Attention, and How To Get Things Done appeared first on KUT & …
…
continue reading
There’s a lot going on below the surface when it comes to what we reveal and conceal. In this episode of Two Guys on Your Head, Dr. Art Markman, and Dr. Bob Duke, talk about a few perplexing dimensions of the psychology of transparency. The post Transparency appeared first on KUT & KUTX Studios -- Podcasts.…
…
continue reading
Some of our behaviors tend to get in the way of goals we would like to achieve or even the lives we want to live, but changing our behavior can be more complicated than we think. In this episode of Two Guys on Your Head, Dr. Art Markman, and Dr. Bob Duke, talk about the psychology of abstinence vs. moderation. The post Abstinence vs. Moderation app…
…
continue reading
In April, we celebrate National Poetry Month, and in honor of this beautiful commemoration, we wanted to revisit our show on writer’s block! That phrase might induce panic and a recollection of a familiar experience. It’s a widespread phenomenon. So what is it? In this edition of Two Guys on Your Head, Dr. Art Markman and Dr. Bob Duke explain the i…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Peter Ulrich Pt. 2: But - We are Not The Kitchen Fairies!
37:23
37:23
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
37:23
Intense but Brief! Lisa Gerrard followed by Liz Fraser Peter in Heaven with the Cocteau Twins Artwork for Goth and 4AD - Football is The Key Surely not - Australian rules football of course! Wheeltappers and Shunters Clubs! 3 gigs a night and it all paid off Budgie’s clubland experience leads the way The Essence of Punk was to throw away the rule b…
…
continue reading