show episodes
 
Artwork

1
Libraries Lead!

Beth Patin, Dave Lankes, & Mike Eisenberg

Unsubscribe
Unsubscribe
Monthly
 
Libraries Lead! is a provocative podcast about all things information & library hosted by Beth Patin (Assistant Professor, School of Information Studies, Syracuse U), Dave Lankes (Professor, iSchool, U of Texas), and Mike Eisenberg (Dean/Professor Emeritus, iSchool, U of Washington). Information age opportunities and challenges affect every aspect of human existence. We wrestle with such topics as social justice, political unrest, mis- and dis-information, kids, family and adult living; educ ...
  continue reading
 
Artwork

1
Hired.

Cameron Moll

Unsubscribe
Unsubscribe
Monthly
 
Highlights from our 2013-2016 interviews with CEOs, leaders, and practitioners on the topic of hiring, work life, leadership, and much more. Hosted by Cameron Moll.
  continue reading
 
Loading …
show series
 
Avi Press is interviewed by Joachim Breitner and Andres Löh. Avi is the founder of Scarf, which uses Haskell to analyze how open source software is used. We’ll hear about the kind of shitstorm telemetry can cause, when correctness matters less than fearless refactoring and how that can lead to statically typed Stockholm syndrome.…
  continue reading
 
What could be less controversial than school libraries? School libraries - dedicated to children and American values. School libraries- keeping school information collections & technology up-to-date and secure. School librarians - seeking to promoting literacy and ensuring that students gain essential information & technology skills. Mom, apple pie…
  continue reading
 
In this episode, András Kovács is being interviewed by Andres Löh and Matthias Pall Gissurarson. We learn how to go from economics to functional programming, how GHC's runtime system is superior to Rust's, the importance of looking at GHC's Core for spotting stray closures, and why staging might be the answer to all your optimisation problems.…
  continue reading
 
Information and technology are a ubiquitous part of our lives. We cannot escape. Many of us walk around with multiple devices, receiving hundreds of notifications, emails, alerts, texts each day. Much like the 2022 film Everything Everywhere All at Once we are all navigating a multiverse of devices and information sources. We used to talk about and…
  continue reading
 
In this episode, Wouter and Andres interview Ivan Perez, a senior research scientist at NASA. Ivan tells us about how NASA uses Haskell to develop the Copilot embedded domain specific language for runtime verification, together with some of the obstacles he encounters getting to end users to learn Haskell and adopt such an EDSL.…
  continue reading
 
ContentWarning: This episode includes discussions about mental health, addiction, and suicide. Listener discretion is advised. If you or someone you know is struggling with these issues, please seek professional help. It is important to prioritize your well-being and the well-being of those around you. In this episode, we get serious about a seriou…
  continue reading
 
Today, Matthías and Joachim are interviewing Moritz Angermann. Moritz knew he wanted to use Haskell before he knew Haskell, fixed cross-compilation as his first GHC contribution. We’ll talk more about cross-compilation to Windows and mobile platforms, why Template Haskell is the cause of most headaches, why you should be careful if your sister call…
  continue reading
 
In recent weeks, Dave's gone down the AI rabbit hole and, in this episode, we’re following him. Besides using AI for creating graphics, Dave’s is using an AI app called Poe to create “answer bots” – AI chats based on one's own content. This differs from ChatGPT and others which are based on large language models of massive amounts of general conten…
  continue reading
 
In this episode, we are joined by Rebecca Skinner. She talks about her new book, Effective Haskell, which takes you from list manipulation to thunks to type-level programming. She also tells us about large scale industrial applications in Haskell, and how the architecture is shaped by the organization of the engineering teams. Disclaimer: Mercury i…
  continue reading
 
Joachim Breitner and David Thrane Christiansen interview John MacFarlane, a professor of philosophy at UC Berkeley, but also the author of the popular pandoc document conversion tool, which has been around half as long as Haskell itself. He also explains the principle of uniformity as a design goal for lightweight markup languages, the relationship…
  continue reading
 
We - Beth, Mike, & Dave - are educators, so naturally we all believe deeply in the value of learning at all stages of life. We advocate for “education” as an answer to many if not most questions, problems, concerns, and issues that people face individually and collectively. But, let’s get more specific about what this really means today and tomorro…
  continue reading
 
In this episode, Matti and Wouter are joined by John Hughes. John is one of the authors of the original Haskell Report and talks about why functional programming matters, the origins of QuickCheck testing, and how higher order functions and lazy evaluation is the key that makes functional programming so productive, and so much fun!…
  continue reading
 
We’re back and where do we begin? Beth, Dave and Mike return to the podcast microphones after a summer break from recording, but certainly not a break from incredible developments in the library, information, and technology worlds. Headlines include: Not just censor, but actually close libraries! Invasion of the AIs, aka large language models (LLM)…
  continue reading
 
In this farewell interview with David Thrane Christiansen, the outgoing Executive Director of the Haskell Foundation, hosts Wouter Swierstra and Matthías Páll Gissurarson use the opportunity to reflect on his tenure as ED, the recent history of the Haskell Foundation, where the HF is going and what consider if you want to apply for the role of Exec…
  continue reading
 
In this episode, Bartosz Milewski is interviewed by Wouter Swierstra and Andres Löh. Bartosz shares his thoughts on the "fringe topics" in programming, from C++ templates to category theory in Haskell. How he considers monads to be like fingers sticking out of the water. And he'll talk a little bit about his upcoming book and his thoughts on linear…
  continue reading
 
In this episode Niki Vazou and Mattias Pall chat with Richard Eisenberg. Richard is currently a language designer at Jane Street, he is the chair of the board at the Haskell Foundation and known for his work on the GHC compiler. Today we talk about dependent types in Haskell, how to get involved with GHC and Haskell foundation and how Haskell and O…
  continue reading
 
Enough of the downer, doom, the sky is falling mentality that seems to pervade our lives and media. Let’s celebrate! Join us as we highlight libraries and librarians and their role in our lives. Libraries are great. Libraries are thriving. Libraries are cool. Beth, Mike, & Dave talk about why we love them and give specific examples of unique and in…
  continue reading
 
In this episode Christiaan Baaij is interviewed by Wouter Swierstra and Mattias Páll. Christiaan talks about his work on the Clash compiler, what it is like to found your own company, his desire for ergonomic dependent types, and the foundations to all his success, namely capitalising on luck. Errata: Around the 21m19s mark Christiaan talks about “…
  continue reading
 
In this episode Simon Marlow talks with Andres Löh and Matthias Pall. Simon is a long time GHC contributor, currently working at Meta. He talks about compiling functional languages via C and the Evil Mangler, the importance of using parallelism and its impact on garbage collection, and about using Haskell in the real world via Sigma, Haxl, and Glea…
  continue reading
 
In this episode Joachim Breitner and Wouter Swierstra talk to Andrew Lelechenko, also known as Bodigrim. Bodigrim went from a being a mathematician to a failed PHP developer the chair of the Core Libraries Committee. In this episode, we discuss whether he prefers number theory or Haskell, whether he prefers working with compilers or PHP frameworks,…
  continue reading
 
In this podcast episode, Beth, Mike, and Dave dive into the latest advancements in AI, including ChatGPT, Bing, Dall-E, and others. They acknowledge that the new AI technologies are complex and not simply good or bad, black or white. Instead, they explore the nuanced capabilities of these tools and their potential impact on society. The hosts discu…
  continue reading
 
In this episode Andres Löh and Niki Vazou chat with Jeremy Gibbons. Jeremy Gibbons is professor at Oxford and talks about his journey from Orwell to Haskell, how to teach Haskell and specification languages to undergraduates as well as professional programmers, how programming languages should keep simple things simple, and how paper writing can or…
  continue reading
 
It’s March Madness, and we both readily admit it – we are sports junkies. We are VERY dedicated fans taking our teams’ successes (or lack thereof) way too seriously. But we also enjoy looking at sports through our “information-colored” glasses. Sport has always been an information as well as physical contest, and it’s even more so today. We have Mo…
  continue reading
 
In this episode Wouter Swierstra and Joachim Breitner chat with Ben Gamari. Ben is a consultant at well-typed known for his work at GHC. Ben tells us a little bit about his switch from Python to Haskell but not because he was missing the static typing, how programming his thermostat lead him to a career in the compiler development, and what it's li…
  continue reading
 
In this episode Andres Löh and Niki Vazou talk with Alejandro Russo. Alejandro is a professor at Chalmers University in Gothenburg Sweden, he is an enthusiastic functional programmer as well as a researcher in the fields of security and privacy. He talks about the unique strengths Haskell has in these areas and how to move research ideas into indus…
  continue reading
 
In our last episode, #21 – January 2023, we articulated our concerns about what’s going on in higher education. We lamented the striving for status and money instead of access and affordability for students. We also felt that there’s an over-emphasis among students and families on jobs and financial benefits rather than learning and gaining a well-…
  continue reading
 
The three of us are proud academics. While we come from very different backgrounds, we are all examples of the power of higher education to change lives. Furthermore, each of us has dedicated our lives to “paying it forward” through teaching, mentoring, research, and professional practice. However, things seem different now on campuses. The promise…
  continue reading
 
Meltdown at Twitter? Advertisers leaving, Apple may delist the Twitter app, many have canceled their Twitter accounts. What does this mean? Is there something more meaningful, valuable, and humane to replace it -perhaps a trustworthy, digital platform for the exchange of information and ideas moderated for credibility and trust? Should librarians s…
  continue reading
 
Ningning Xie is interviewed by Niki Vazou and Andres Loh. Ningning first contributed to GHC at her Google summer of code project with a very ambitious goal of implementing the whole dependent Haskell. Also later she fixed several ghc bugs and worked on Koka’s Algebraic effects. Her future hope and advice is to use programming language concepts on r…
  continue reading
 
At the time of this recording Mike had recently left his role as VP Design at Twitter, which he wrote about on his site. In this episode Mike shares his retrospective on leading design at Twitter, the overlap of product management and product design, scaling diversity, sports metaphors and shipping product, and more. Hosted by Cameron Moll and reco…
  continue reading
 
At the time of this recording Bob Baxley was Head of Design at Pinterest, formerly at Apple and Yahoo. In this episode Bob shares what it was like to present to Steve Jobs at Apple, joining Pinterest to scale the design team, portfolio reviews in interviews, and more. Hosted by Cameron Moll and recorded in 2014. Support the show — Hired is a podcas…
  continue reading
 
Liz Danzico is the Founding Chair of MFA IxD at School of Visual Arts and Former SVP Digital at NPR. In this episode Liz shares her perspective of remote work as an executive (well before the 2020 pandemic), insights on NPR's ongoing digital revolution, how her desk is right next the Tiny Desk concert series, and more. Hosted by Cameron Moll and re…
  continue reading
 
Episode 19: WHAT????? February 21st. 2022 Beth Patin, Dave Lankes, & Mike Eisenberg What is going on in this world? Librarians in the crosshairs! Book censorship and actual book burnings! Heavy-handed government control of schools, curriculum, higher education, libraries! Handmaid’s Tale-like nightmare in terms of women’s rights! Climate catastroph…
  continue reading
 
Tina Roth Eisenberg is the Founder of Creative Mornings, Tattly, Teuxdeux, Friends Work Here, and she has been writing prolifically as "swissmiss" since 2005. In this episode Tina shares how she balances everything (or rather doesn't), enthusiasm as her professional superpower, asking applicants to send jokes, and more. Hosted by Cameron Moll and r…
  continue reading
 
Michael Bierut is Partner at Pentagram, President Emeritus of AIGA National, best-selling author, recipient of countless awards, and so much more. Michael worked for ten years at Vignelli Associates before joining Pentagram as a partner in 1990. In this episode Michael shares a behind-the-scenes Pentagram perspective, cultivating great talent, insp…
  continue reading
 
Excerpt from Cameron's 2013 recording with Jeff Veen, Founder & CEO of Typekit (acquired by Adobe) and Founding Partner of Adaptive Path. Here's how Jeff described the two most important skills he's used professionally: communication and collaboration. Support the show — Hired is a podcast hosted by Cameron Moll that ran for several seasons in 2013…
  continue reading
 
Loading …

Quick Reference Guide