An accessible podcast about Type Theory, Programming Languages Research and related topics.
…
continue reading
Relive and recontextualize the alternative Christian music we grew up listening to in the 1990s
…
continue reading
Positive Space is a podcast providing opportunities for those passionate about art foundations to discuss and promote excellence in the development and teaching of college level foundations in art studio and art history classes.
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences and learn from one another.
…
continue reading
Bertrand Russell wrote 'Introduction to Mathematical Philosophy' while imprisoned for protesting Britain's involvement in World War I. Russell summarizes the significance of the momentous work of mathematicians in the late nineteenth-century. He further describes his own philosophy of mathematics, Logicism (the view that all mathematical truths are logical truths), and his earlier, influential work solving the paradoxes that plagued mathematical foundations, which crystallized after ten year ...
…
continue reading
Ready to delve deeper into the “great conversation” of Western Civilisation? Join us as we hear from prominent international and local speakers from all walks of life, including the arts, politics, academia, and business.
…
continue reading
1
UCD Scholarcast - Series 2: Archaeologies of Art: Papers from the Sixth World Archaeological Congress
PJ Mathews
This series features highlights from the many presentations in the Archaeologies of Art theme of the Sixth World Archaeological Congress. Douglass Bailey from San Francisco State University reflects on the current relationships between contemporary art and contemporary archaeology and suggests some radical new directions that this disciplinary collaboration can take. Blaze O'Connor discusses the unique synergy that was the archaeological excavation and reconstruction of the studio of modern ...
…
continue reading
Blog Order (Podcast 1 in Blog 40) 40. J. Miller, K. Vine, and D. Larkin, ‘The Relationship of Product and Process Performance of the Two-Handed Sidearm Strike’, Physical Education and Sports Pedagogy, 2007, 12, 61–75. 41. K. L. Oliver and R. Lalik, ‘The Body as Curriculum: Learning with Adolescent Girls’, Journal of Curriculum Studies, 2001, 33, 303–33. 42. C. C. Pope and M. O’Sullivan, ‘Darwinism in the Gym’, Journal of Teaching in Physical Education, 2003, 22, 311–27. 43. J. Quay, ‘Experie ...
…
continue reading
1
097 Carman - Satan, Bite the Dust
1:15:34
1:15:34
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:15:34
Jay and Clifton are joined by Donavon (Jesus Stole Our Movies) to finally torture ourselves with Carman's cult classic, "Satan, Bite the Dust"بقلم Clifton Stuckey
…
continue reading
Jay and Clifton wish profit problems amendments the their foreign committees Missile Toe by Hawaii's own, Pspazz! http://www.last.fm/music/Atlas+Takes+Aim https://www.instagram.com/kylemaligro/ https://www.instagram.com/masonianbund/ https://masonbundschuh.blogspot.com/ https://www.instagram.com/robin.a.ryder/ https://www.instagram.com/p/CzsK1fzLaR…
…
continue reading
https://en.wikipedia.org/wiki/Plankeye https://www.jesusfreakhideout.com/cdreviews/Commonwealth.asp https://www.amazon.com/Commonwealth-Plankeye/dp/B000001AUE http://classic.toothandnail.com/releases/304/Commonwealth/ https://thenicsperiment.blogspot.com/2017/01/plankeye-commonwealth.html https://www.angelfire.com/ok2/pigboyroom/lyrics/pelyrics.htm…
…
continue reading
1
#43 PL in the Industry and Summer Schools - Patrick and Eric
1:01:30
1:01:30
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:01:30
In this episode Eric Bond and Patrick Lafontaine joins us to talk about the life in industry vs the life in academia. Eric is a PhD student at Michigan University under Max New, he works with some pretty cool esoteric cubical agda stuff. Before starting his PhD he has spent some time at the consultancy companies Two Six Technologies and 47 Degrees …
…
continue reading
1
The Ramsay Centre Podcast: Well-Tempered Power: The Rule of Law in Theory & Practice – Professor Martin Krygier
1:41:41
1:41:41
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:41:41
What is the key to ‘well-tempered power’? Can the rule of law be sustained by the law alone, or does it need to be blended with distinct cultural, political, social and economic forces? The Western concept of the ‘rule of law’ has not been applied with equal success in countries globally, many of whom have all the dressings of a legal system includ…
…
continue reading
1
094 Danielson Famile - Tell Another Joke at the Ol' Choppin' Block
1:50:16
1:50:16
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:50:16
Jay and Clifton ain't do deviled eggs! But Danielson Famile's "Tell Another Joke at the Ol' Choppin' Block" is one in a million!بقلم Clifton Stuckey
…
continue reading
1
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi
1:52:49
1:52:49
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
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
Chrissy (The Excommunication Station Podcast) tells Jay and Clifton about shoplifting MxPx's Life In General from a Christian bookstore. And also talk about the album, of course. https://www.facebook.com/excompod/بقلم Clifton Stuckey
…
continue reading
1
#41 The Value of PL (and) Education - Satnam Singh
1:41:04
1:41:04
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
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
https://leftoutofficial.bandcamp.com/album/pride-kills https://www.discogs.com/release/17082432-Left-Out-Pride-Kills https://www.amazon.com/Pride-Kills-Left-Out/dp/B0002RPNLC https://en.wikipedia.org/wiki/Left_Out https://www.indievisionmusic.com/news/the-blamed-side-project-left-out-releases-original-recordings-in-digital-format/ https://en.wikipe…
…
continue reading
1
The Ramsay Centre Podcast: Getting Russia Right – Kyle Wilson
1:10:24
1:10:24
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:10:24
What is Russian exceptionalism? How can we best understand the mindset of Russians and Russian President Vladimir Putin to ensure the most effective response to the war on Ukraine? Is there a path forward to ‘getting Russia right’? For our fourth Ramsay Lecture for 2024, the Centre is pleased to present an exploration of this topic – a recorded con…
…
continue reading
1
091 Ray Boltz - I Pledge Allegiance to the Lamb
1:02:48
1:02:48
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:02:48
We are back with this short VIDEO episode watching the persecution porn video for "I Pledge Allegiance to the Lamb" by Ray Boltz. The video version is available for anyone on Patreon. This is just the audio version for your podcast app. https://youtu.be/zslyvZeU-IE?si=GP1Q5wJIpXC8kttoبقلم Clifton Stuckey
…
continue reading
1
#40 Secure Voting - Joe Kiniry
1:08:54
1:08:54
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
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 host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
1
Kayli Temple Bedtime Stories: The Art of Worldly Wisdom
1:07:38
1:07:38
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:07:38
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
1
The Ramsay Centre Podcast: Liberal Education in the 21st Century – Andrew Kern
1:37:17
1:37:17
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:37:17
What is ‘liberal education’? What distinguishes it from vocational education, and even programs of study adopted in many modern liberal arts programs? Can an education focused on ‘knowledge for its own sake’ rather than for professional pursuits and industry careers, hold appeal among current and future generations of scholars? And why is there a r…
…
continue reading
Jay and Clifton get strange on a drive to get this thing to go while waiting for Godot. We're doing Driver Eight's only album, Watermelon! Finally!!! https://youtu.be/aZCuOYF9IX8?si=U4yiJG9AbBuVzlo0 https://youtu.be/4sIzgINw9iA?si=z2OPRwiL0odciKhQبقلم Clifton Stuckey
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
1
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen
1:49:42
1:49:42
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
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
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
1
089 Switchfoot - The Legend of Chin
1:14:08
1:14:08
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:14:08
Jay and Clifton explore the origins of Switchfoot: Not just another wrong way to say footswitch. Legend of Chin, to be specific. The first album. Sources: https://tvtropes.org/pmwiki/pmwiki.php/Music/Switchfoot https://charliepeacock.substack.com/p/music-and-meaning-podcast-debuts?utm_campaign=posts-open-in-app&publication_id=232840&post_id=1394625…
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
1
Rebekah Campbell Photographer & Director
1:03:35
1:03:35
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:03:35
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
1
088 Starflyer 59 - Le Vainqueur EP
1:21:29
1:21:29
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:21:29
https://www.jesusfreakhideout.com/lyrics/new/title.asp?title_id=619 https://iactaaleaest.wordpress.com/wp-content/uploads/2010/01/invictissimus.jpg https://iactaaleaest.wordpress.com/tag/sailing-and-fighting-instructions/ https://en.wikipedia.org/wiki/Siege_of_Toulon_(1793) https://en.wikipedia.org/wiki/Battle_of_Toulon_(1744) https://mapandmaps.co…
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
1
Artist Talk: Lourdes Sánchez and Rafael Sánchez in conversation
1:01:08
1:01:08
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:01:08
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
1
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
1:55:58
1:55:58
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
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
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
1
087 The Insyderz - Fight of My Life
1:36:01
1:36:01
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:36:01
https://en.wikipedia.org/wiki/Fight_of_My_Life https://www.amazon.com/Fight-My-Life-Insyderz/dp/B01G473IWE https://www.discogs.com/release/1063630-The-Insyderz-Fight-Of-My-Life https://www.resoundmusic.com/products/fight-of-my-life https://www.inmusicwetrust.com/articles/16s05.html https://en.wikipedia.org/wiki/Paradise_(The_Insyderz_EP) https://fr…
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
1
STP x Comic Club feat. Athen Kardashian
52:08
52:08
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
52:08
Serving the People is a 501(c)(3) non-profit organization. We host weekly in-person discussions, providing a space for creative dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members ca…
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
1
086 L.S. Underground - The Grape Prophet
2:00:24
2:00:24
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
2:00:24
Jay and Clifton follow Mike Knott's tragic tale of The Grape Prophet as told by his project LS Underground. https://www.podbean.com/media/share/dir-dyz5d-1e40bd00 https://www.podbean.com/media/share/dir-adjc6-1e5cb927 https://www.youtube.com/watch?v=QRNZP1BmmxY https://lsunderground.bandcamp.com/music https://lostinohio.com/the-grape-prophet-liner-…
…
continue reading
1
Emerging Careers: Traci Johnson, Obi Agwam, Danielle Paterson, and Lucien Smith Discuss Emerging Careers
1:04:58
1:04:58
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:04:58
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
https://www.youtube.com/watch?v=nFsQscVs0zs https://www.angelfire.com/fl2/christrock/valuepac.html https://www.last.fm/music/Value+Pac/+wiki https://www.christianmusicarchive.com/artist/value-pac https://hmmagazine.com/bands-deserving-biopic/ https://indievisionmusic.bandcamp.com/album/incognito https://www.orangecountypoolsandspas.com/team/ryan-sh…
…
continue reading
1
Open Discussion feat. Lucien Smith via Zoom
59:17
59:17
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
59:17
Serving the People is a 501(c)(3) non-profit organization. We host weekly in-person discussions, providing a space for creative dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members ca…
…
continue reading
Serving the People is a 501(c)(3) non-profit organization. We host weekly in-person discussions, providing a space for creative dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members ca…
…
continue reading
1
The Ramsay Centre Podcast: Living with Leviathans: Australia in a Multipolar Age – Professor Michael Wesley
1:11:25
1:11:25
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:11:25
What does it mean for Australia that it is part of the West, but geographically remote from it? Must we choose between our geography and our traditional alliances in this multipolar age? For our second Ramsay Lecture for 2024, the Ramsay Centre is delighted to present an in-person lecture by leading strategic analyst and University of Melbourne Dep…
…
continue reading
1
084 My Little Dog China - The Velvis Carnival
1:34:22
1:34:22
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:34:22
Jay and Clifton rock out to the grungy post-punk Velvis Carnival by My Little Dog China.بقلم Clifton Stuckey
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects.بقلم Serving the People Foundation
…
continue reading
1
083 Geoff Moore & The Distance - Evolution
1:30:14
1:30:14
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:30:14
Do Jay and Clifton make it through their first Geoff Moore & The Distance episode without losing their minds. We report, you decide!بقلم Clifton Stuckey
…
continue reading
We host weekly in-person discussions led by artists, providing a space for creative collaboration and dialogue. These meetings offer members the opportunity to connect and engage in meaningful dialogue about their work, ideas, and projects. They are designed to foster a supportive and inclusive environment where members can share their experiences …
…
continue reading
1
#37 Compilers, Staging, Futamura Projections - Guannan Wei
1:53:20
1:53:20
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب
1:53:20
In this episode we talk with Guannan Wei, from Purdue University. Guannanfinished his PhD last year under Tiark Rompf, and is currently doing hisPost-Doc with Tiark. Guannan has worked on a plethora of differentcompilers topics, and in this conversation we will talk about Staging,Futamura Projections, Symbolic Execution, Compiler Applications in Sm…
…
continue reading