#19: Steve Weis — Security Shouldn't Be The Last Check Box Building Better Systems podcast

Artwork

Tech Podcasting Education Government Galois Inc Joey Dodds Shpat Morina

Player FM - Internet Radio Done Right

הוסף לפני five שנים

תוכן מסופק על ידי Galois Inc., Joey Dodds, and Shpat Morina. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Galois Inc., Joey Dodds, and Shpat Morina או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

<

<div class="span index">1</div> <span><a class="" data-remote="true" data-type="html" href="/series/most-innovative-companies">Most Innovative Companies</a></span>

<div class="span index">1</div> <span><a class="" data-remote="true" data-type="html" href="/series/most-innovative-companies">Most Innovative Companies</a></span> podcast artwork

<div class="span index">1</div> <span><a class="" data-remote="true" data-type="html" href="/series/most-innovative-companies">Most Innovative Companies</a></span> podcast artwork

1
Most Innovative Companies

בטל רישום

לפני 16 hoursלפני 16h ago

בטל רישום

שבועי+

Which companies are on the cutting edge of artificial intelligence? What’s the next major breakthrough in healthcare? How do iconic brands reinvent themselves to appeal to the next generation? Most Innovative Companies is where tech, business, and innovation convene. Join hosts Yasmin Gagne and Josh Christensen as they bring you the latest innovations transforming business and society—and highlights the companies that are reshaping industries and culture.

Building Better Systems « »
#19: Steve Weis — Security Shouldn't Be the Last Check Box

לפני 3 שנים 41:36

שתפו

MP3•בית הפרקים

תוכן מסופק על ידי Galois Inc., Joey Dodds, and Shpat Morina. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Galois Inc., Joey Dodds, and Shpat Morina או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

In this episode, we talk with Steve Weis, a Senior Staff Security Engineer at Databricks with extensive knowledge of security, cryptography, and software engineering. Steve shares his experience working for large companies like Google and Facebook and how their security needs differ from start-ups and companies trying to scale. He talks about why he thinks companies should share more about how they design their infrastructure and how they can develop a “security mindset” so even non-security-related roles can contribute to building secure systems.

Watch all our episodes on the Building Better Systems youtube channel.

Steve Weis: https://www.linkedin.com/in/stephenweis/

Joey Dodds: https://galois.com/team/joey-dodds/

Shpat Morina: https://galois.com/team/shpat-morina/

Galois, Inc.: https://galois.com/

Contact us: podcast@galois.com

… continue reading

22 פרקים

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina

Artwork

#19: Steve Weis — Security Shouldn't Be the Last Check Box

Building Better Systems

published לפני 3 שנים

שתפו

MP3•בית הפרקים

תוכן מסופק על ידי Galois Inc., Joey Dodds, and Shpat Morina. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Galois Inc., Joey Dodds, and Shpat Morina או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

In this episode, we talk with Steve Weis, a Senior Staff Security Engineer at Databricks with extensive knowledge of security, cryptography, and software engineering. Steve shares his experience working for large companies like Google and Facebook and how their security needs differ from start-ups and companies trying to scale. He talks about why he thinks companies should share more about how they design their infrastructure and how they can develop a “security mindset” so even non-security-related roles can contribute to building secure systems.

Watch all our episodes on the Building Better Systems youtube channel.

Steve Weis: https://www.linkedin.com/in/stephenweis/

Joey Dodds: https://galois.com/team/joey-dodds/

Shpat Morina: https://galois.com/team/shpat-morina/

Galois, Inc.: https://galois.com/

Contact us: podcast@galois.com

… continue reading

22 פרקים

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina

All episodes

×

B

Building Better Systems

Building Better Systems podcast artwork

1
Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory 37:50

לפני 3 years37:50

הפעל מאוחר יותר

הפעל מאוחר יותר

37:50

In this episode, we're joined by Eric Daimler, CEO & co-founder of Conexus AI, Inc, an MIT spin out. We discuss the Conexus software platform, which is built on top of breakthroughs in the mathematics of Category Theory, and how it guarantees the integrity of universal data models. Eric shares real-world examples of applying this approach to various complex industries, such as transportation and logistics, avionics, and energy. Listen to this episode wherever you listen to podcasts. Eric Daimler: https://www.linkedin.com/in/ericdaimler/ Joey Dodds: https://www.linkedin.com/in/joey-dodds-4b462a41/ Rob Dockins: https://galois.com/team/robert-dockins/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types 48:45

לפני 3 years48:45

הפעל מאוחר יותר

הפעל מאוחר יותר

48:45

Today we're joined by Nikhil Swamy, Senior Principal Researcher in the RiSE group at Microsoft Research. We are very excited to hear about what he's been working on. In particular, we're going discuss a language that he's co-created and continually develops called F* (pronounced F star). F* is a dependently typed language that you can both program and prove things about the programs that you write. We'll talk about what makes that language special and unique from other similar languages, as well as some of the applications of F*. Watch all our episodes on the Building Better Systems YouTube channel Nikhil Swamy: https://www.microsoft.com/en-us/resea rch/people/nswamy/ F*: https://www.fstar-lang.org/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
Episode #20: Ankush Desai — P: The Modeling Language That Could 46:12

לפני 3 years46:12

הפעל מאוחר יותר

הפעל מאוחר יותר

46:12

Joey and Shpat talk with Ankush Desai, a Senior Applied Scientist at AWS and one of the primary developers behind the P language. They dig into uses for P, bug finding, and what it takes for formal methods researchers to build useful tools for applied engineers. Watch all our episodes on the Building Better Systems youtube channel . Ankush Desai: https://www.linkedin.com/in/ankush-desai/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#19: Steve Weis — Security Shouldn't Be the Last Check Box 41:36

לפני 3 years41:36

הפעל מאוחר יותר

הפעל מאוחר יותר

41:36

In this episode, we talk with Steve Weis, a Senior Staff Security Engineer at Databricks with extensive knowledge of security, cryptography, and software engineering. Steve shares his experience working for large companies like Google and Facebook and how their security needs differ from start-ups and companies trying to scale. He talks about why he thinks companies should share more about how they design their infrastructure and how they can develop a “security mindset” so even non-security-related roles can contribute to building secure systems. Watch all our episodes on the Building Better Systems youtube channel . Steve Weis: https://www.linkedin.com/in/stephenweis/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#18: Jordan Kyriakidis — Helping People Write More Useful Requirements 47:19

לפני 3 years47:19

הפעל מאוחר יותר

הפעל מאוחר יותר

47:19

In episode #18, we chat with Jordan Kyriakidis, co-founder and CEO of QRA Corp. QRA is developing QVScribe, a product that helps engineers write requirements and analyze those requirements to gauge whether they are framed well and capture the writer's intent. We discuss the impact of writing good, early-stage design requirements, how they impact your system, how to write better requirements, the state of natural language processing, and machine learning for this use case. We also talk about applying those in situations where you need explainability and where ambiguity is unacceptable. Watch all our episodes on the Building Better Systems youtube channel . Jordan Kyriakidis: https://www.linkedin.com/in/jordankyriakidis/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2) 28:38

לפני 3 years28:38

הפעל מאוחר יותר

הפעל מאוחר יותר

28:38

In this two-part episode, we speak with Iain Whiteside about the challenges and some of the more novel solutions to make autonomous vehicles safer and easier to program. In part 1, we discuss how Ian and his team formalize and check the different actions and situations that a car finds itself in while on the road. In part 2, we discuss how you might validate the accuracy of neural networks that sense the world, and how to mitigate issues that might arise. Watch all our episodes on the Building Better Systems youtube channel . Iain Whiteside: https://www.linkedin.com/in/iainjw Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1) 56:25

לפני 3 years56:25

הפעל מאוחר יותר

הפעל מאוחר יותר

56:25

In this two-part episode, we speak with Iain Whiteside about the challenges and some of the more novel solutions to make autonomous vehicles safer and easier to program. In part 1, we discuss how Ian and his team formalize and check the different actions and situations that a car finds itself in while on the road. In part 2, we discuss how you might validate the accuracy of neural networks that sense the world, and how to mitigate issues that might arise. Watch all our episodes on the Building Better Systems youtube channel . Iain Whiteside: https://www.linkedin.com/in/iainjw Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA 55:52

לפני 3 years55:52

הפעל מאוחר יותר

הפעל מאוחר יותר

55:52

In this episode, we chat with Dr. Kathleen Fisher, who was chair of the Computer Science department at Tufts University at the time of the interview. We talk about Kathleen’s experience in applying formal methods and PL theory to solve significant practical problems throughout her career. Equally important, we discuss how it came to be that she is practically a pro at golf! Watch all our episodes on the Building Better Systems youtube channel . Dr. Kathleen Fisher: https://www.darpa.mil/staff/dr-kathleen-fisher HACMS: https://www.darpa.mil/program/high-assurance-cyber-military-systems PADS: https://pads.cs.tufts.edu/about.html From Dirt to Shovels paper: https://www.cs.princeton.edu/~dpw/papers/learningpopl08-final.pdf Hancock: https://dl.acm.org/doi/abs/10.1145/331960.331981 PLMW: http://sigplan.org/Conferences/PLMW/ CRAW: https://cra.org/cra-wp/ NSF Broadening Participation in Computing: https://beta.nsf.gov/funding/opportunities/broadening-participation-computing-bpc-0 Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean 45:35

לפני 4 years45:35

הפעל מאוחר יותר

הפעל מאוחר יותר

45:35

In this episode, we talk with Leo de Moura, a principal researcher at Microsoft Research. We’ll dive into his work on Lean, how goals for Lean have evolved, and who can use it. We also discuss how Leo was able to implement such a system without being a programming languages expert. Watch all our episodes on the Building Better Systems youtube channel . Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Leo de Moura: https://www.microsoft.com/en-us/research/people/leonardo/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#13: Rod Chapman – It's Either Automated or It's Wrong 44:03

לפני 4 years44:03

הפעל מאוחר יותר

הפעל מאוחר יותר

44:03

Rod Chapman explains his recent verification of TweetNACL using SPARK/ADA. We discuss how every aspect of his proofs are automated, how the correctness proofs actually enabled better performance after compilation, and higher confidence in some otherwise risky-seeming optimizations. Watch all our episodes on the Building Better Systems youtube channel . Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Rod Chapman: linkedin.com/in/rod-chapman-7b60266 https://github.com/rod-chapman/SPARKNaCl Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa 30:58

לפני 4 years30:58

הפעל מאוחר יותר

הפעל מאוחר יותר

30:58

We chat with Alex Malozemoff and Marc Rosen about a recently published paper on a novel system for censorship circumvention, and it's corresponding implementation. The paper authors also include James Parker. Watch all our episodes on the Building Better Systems youtube channel . Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Alex Malozemoff: https://galois.com/team/alex-malozemoff/ Marc Rosen: https://galois.com/team/marc-rosen/ Paper referenced: Balboa: Bobbing and Weaving Around Network Censorship: https://arxiv.org/abs/2104.05871…

B

Building Better Systems

Building Better Systems podcast artwork

1
#11: Alastair Reid – Meeting Developers Where They Are 36:18

לפני 4 years36:18

הפעל מאוחר יותר

הפעל מאוחר יותר

36:18

Alastair Reid describes Google's efforts to bring formal methods to developers so that they can be useful today. We cover a recent publication describing their approach, Alastair's project to document all of the papers he read for a year, and a prototype tool that they've been building to demonstrate formal verification tools in rust. Watch all our episodes on the Building Better Systems youtube channel . Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Alastair Reid's paper project: https://alastairreid.github.io/RelatedWork/papers/ Rust verification tools: https://github.com/project-oak/rust-verification-tools Meeting Developers Where They Are paper: https://arxiv.org/abs/2010.16345 Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#10: Gregory Malecha – Formal Methods and Systems Programmers Working Together 43:41

לפני 4 years43:41

הפעל מאוחר יותר

הפעל מאוחר יותר

43:41

Gregory Malecha talks with Joey and Shpat about Bedrock, a startup bringing systems engineers together with formal methods engineers to build some of the most secure and correct systems in the world. Watch all our episodes on the Building Better Systems youtube channel . Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Gregory Malecha: https://www.linkedin.com/in/gregory-malecha-91a71469/ https://gmalecha.github.io/ Formal Methods for the Informal Engineer: https://fmie2021.github.io/agenda.html Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#9: Tycho Andersen – Commit Log Spelunking 42:34

לפני 4 years42:34

הפעל מאוחר יותר

הפעל מאוחר יותר

42:34

Tycho Andersen shares lessons that Linux kernel developers have learned from decades of open-source interactions. We discuss how the open-source community works together to make the Linux kernel better for everyone, and also what it's like to work debugging the kernel. Watch all our episodes on the Building Better Systems Youtube channel. Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Tycho Andersen: https://tycho.pizza/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#8: Eric Davis – Building Better Data Models 34:28

לפני 4 years34:28

הפעל מאוחר יותר

הפעל מאוחר יותר

34:28

Dr. Eric Davis walks us through what it means for a data model to be trustworthy, what common pitfalls predictive models run into, reproducibility issues, and what can be done. We chat about how subject area experts are expected to be many things: statisticians, computer scientists, and mathematicians, and how that can sometimes lead to mistakes. We also look at the COVID-19 pandemic and how data models affect decision-making. https://www.imagwiki.nibib.nih.gov/ https://www.imagwiki.nibib.nih.gov/content/committee-credible-practice-modeling-simulation-healthcare-description https://www.biorxiv.org/content/10.1101/2020.08.07.239855v1 https://www.imagwiki.nibib.nih.gov/content/10-simple-rules-conformance-rubric You can watch this episode on our Youtube Channel: https://youtube.com/c/BuildingBetterSystemsPodcast Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Eric Davis: https://galois.com/team/eric-davis/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#7: Aditya Thakur – “If it goes too slow, they'll turn it off”: Analysis Tools That Work 1:13:38

לפני 4 years1:13:38

הפעל מאוחר יותר

הפעל מאוחר יותר

1:13:38

Dr. Aditya Thakur, a computer science professor at U.C. Davis, walks us through his work on developing analysis tools that he wished he had while working in industry at places like Google. Aside from program analysis, we talk about making a research group successful by exposing them to industry. Towards the end, he shares his work on techniques and tools for repairing a trained deep neural network once a mistake has been discovered. Along the way, we learn about things like abstract interpretation, non-determinism, the trickiness of parallelism, and other concepts pertinent to analysis in an approachable way. You can watch this episode on our Youtube Channel: https://youtube.com/c/BuildingBetterSystemsPodcast Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Aditya Thakur: http://thakur.cs.ucdavis.edu/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#6: Dan Guido – What the hell are the blockchain people doing, and why isn't it a dumpster fire? 1:01:05

לפני 4 years1:01:05

הפעל מאוחר יותר

הפעל מאוחר יותר

1:01:05

Dan Guido, CEO of Trail of Bits, walks us through how they work with customers to make long-term improvements in security and software quality. He also describes what blockchain has done right, and how the rest of the software world should learn from them. You can watch this episode on our Youtube Channel. https://youtube.com/c/BuildingBetterSystemsPodcast Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Dan Guido: https://www.linkedin.com/in/danguido/ Trail of Bits blog: https://blog.trailofbits.com/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#5: Talia Ringer – Proof Engineering for the People 30:17

לפני 4 years30:17

הפעל מאוחר יותר

הפעל מאוחר יותר

30:17

Talia Ringer, a Ph.D. candidate at University of Washington, explains how they do deep people-centric PL research. We discuss proof repair, UX for software correctness, and how to ask users of tools for feedback to react to. You can watch this episode on our Youtube Channel. Joey Dodds: https://galois.com/team/joey-dodds/ Talia Ringer: https://dependenttyp.es / Contact us: podcast@galois.com Galois, Inc.: https://galois.com/…

B

Building Better Systems

Building Better Systems podcast artwork

1
#4: Alex Malozemoff – New attack on homomorphic encryption libraries: what does it mean? 17:04

לפני 5 years17:04

הפעל מאוחר יותר

הפעל מאוחר יותר

17:04

Principal Researcher, Alex Malozemoff, walks us through what homomorphic encryption is, what CKKS is, and how a recent new attack on CKKS will impact progress on homomorphic encryption. You can watch this episode on our Youtube channel . Galois, Inc. Joey Dodds Shpat Morina Alex Malozemoff On the Security of Homomorphic Encryption on Approximate Numbers by Baiyu Li and Daniele Micciancio Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis 1:00:50

לפני 5 years1:00:50

הפעל מאוחר יותר

הפעל מאוחר יותר

1:00:50

The founders of MuseDev discuss making modern static analysis usable and leveraging the latest promising research for automatic bug finding. MuseDev is a spin-off of Galois. Video of this podcast can be found on our Youtube channel: Galois, Inc.: https://galois.com/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Muse.dev Tom Dubuisson: https://www.linkedin.com/in/thomas-dubuisson-62910453/ Stephen Magill, https://www.linkedin.com/in/stephen-magill-2070a096/ Continuous Reasoning: Scaling the impact of formal methods by Peter W. O’Hearn https://bit.ly/2I0TJEs Contact us: podcast@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#2: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 2 35:28

לפני 5 years35:28

הפעל מאוחר יותר

הפעל מאוחר יותר

35:28

Video of this podcast can be found on our Youtube channel Jean Yang: https://www.linkedin.com/in/jean-yang-96575030/ Akita Software: https://www.akitasoftware.com/ Galois, Inc.: https://galois.com/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Contact us: marketing@galois.com…

B

Building Better Systems

Building Better Systems podcast artwork

1
#1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1 29:39

לפני 5 years29:39

הפעל מאוחר יותר

הפעל מאוחר יותר

29:39

Video of this podcast can be found on our Youtube channel . Jean Yang: https://www.linkedin.com/in/jean-yang-96575030/ Akita Software: https://www.akitasoftware.com/ Galois, Inc.: https://galois.com/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Contact us: marketing@galois.com…

ברוכים הבאים אל Player FM!

Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.

תקשיבו ל-500+ נושאים

מדריך עזר מהיר

פודקאסטים מובילים

מכביבול ברדיו תל אביב

הזווית - פודקאסט

בכל יום נתון - אוריאל דסקל וראם שרמן

עושים חשבון Osim Heshbon

טייכר וזרחוביץ' ברדיו תל אביב

טייכר וזרחוביץ' - מערכונים

גיבור תרבות Culture Hero

סרטים זה אנחנו - מגזין קולנוע

עושים תוכנה Osim Tochna

השבוע - פודקאסט הארץ

המשחק הגדול

חושבים טוב

המעבדה The Lab

מדע בגובה האוזניים

סליחה על השאלה - ההסכת You Can't Ask That Podcast

סיפור ישראלי

עבר פלילי

Lets Talk Murder | בואי נדבר רצח

Lets Talk Murder | בואי נדבר רצח

האזן לתוכנית הזו בזמן שאתה חוקר