Africa-focused technology, digital and innovation ecosystem insight and commentary.
…
continue reading
Player FM - Internet Radio Done Right
11 subscribers
Checked 11d ago
הוסף לפני two שנים
תוכן מסופק על ידי DeGatchi. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי DeGatchi או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
דומה לScraping Bits
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
Download This Show is your weekly guide to the world of media, culture, and technology. From social media to gadgets, streaming services to privacy issues. Each week Rae Johnston and guests take a fun, deep dive into how technology is reshaping our lives.
…
continue reading
The power of Data is undeniable. And unharnessed - it’s nothing but chaos. Making data your ally. Using it to lead with confidence and clarity. Host Jess Carter is solving problems in real-time to reveal what’s possible. Helping communities and people thrive. This is Data Driven Leadership, a show brought to you by Resultant.
…
continue reading
Flash Forward is a show about possible (and not so possible) future scenarios. What would the warranty on a sex robot look like? How would diplomacy work if we couldn’t lie? Could there ever be a fecal transplant black market? (Complicated, it wouldn’t, and yes, respectively, in case you’re curious.) Hosted and produced by award winning science journalist Rose Eveleth, each episode combines audio drama and journalism to go deep on potential tomorrows, and uncovers what those futures might re ...
…
continue reading
Android Backstage, a podcast by and for Android developers. Hosted by developers from the Android engineering team, this show covers topics of interest to Android programmers, with in-depth discussions and interviews with engineers on the Android team at Google. Subscribe to Android Developers YouTube → https://goo.gle/AndroidDevs
…
continue reading
This is the audio podcast version of Troy Hunt's weekly update video published here: https://www.troyhunt.com/tag/weekly-update/
…
continue reading
The director’s commentary track for Daring Fireball. Long digressions on Apple, technology, design, movies, and more.
…
continue reading
Three nerds discussing tech, Apple, programming, and loosely related matters.
…
continue reading
We help founders make something people want.
…
continue reading
Player FM - אפליקציית פודקאסט
התחל במצב לא מקוון עם האפליקציה Player FM !
התחל במצב לא מקוון עם האפליקציה Player FM !
))
Daily Deals
פודקאסטים ששווה להאזין
בחסות
H
How to Be a Better Human
1 Throwing good parties and building community (w/ Priya Parker) 38:16
38:16 
הפעל מאוחר יותר 
הפעל מאוחר יותר 
רשימות 
לייק 
אהבתי38:16
הפעל מאוחר יותר
הפעל מאוחר יותר
רשימות
לייק
אהבתיMany of us are entering the new year with a similar goal — to build community and connect more with others. To kick off season five, Priya Parker shares ideas on how to be the host with the most. An expert on building connection, Priya is the author of “The Art of Gathering: How We Meet and Why It Matters.” Whether it's a book club, wedding, birthday or niche-and-obscurely themed party, Priya and Chris talk about how to create meaningful and fun experiences for all of your guests — including yourself. For the full text transcript, visit go.ted.com/BHTranscripts . For the full text transcript, visit go.ted.com/BHTranscripts Want to help shape TED’s shows going forward? Fill out our survey here ! Learn more about TED Next at ted.com/futureyou Hosted on Acast. See acast.com/privacy for more information.…
#64 - Palina Tolmach: Smart Contract SMT Formal Verification, Symbolic Execution & Fuzzing
Manage episode 406407657 series 3509704
תוכן מסופק על ידי DeGatchi. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי DeGatchi או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
Dive into the intricate world of smart contract security and formal verification techniques in episode 61 of the Scraping Bits Podcast with your host DeGatchi. Joining him is the esteemed expert Palina, as they unravel the complexities of smart contract symbolic execution, SMT formal verification, and fuzzing techniques.
In this enlightening episode, Palina shares her deep insights into the cutting-edge methods employed to ensure the robustness and security of smart contracts deployed on blockchain networks. From symbolic execution strategies that uncover hidden vulnerabilities to SMT formal verification techniques that rigorously validate contract logic, listeners will gain invaluable knowledge about the forefront of smart contract security research.
Whether you're a seasoned blockchain developer, a cybersecurity enthusiast, or simply curious about the inner workings of decentralized applications, this episode offers a fascinating exploration of the tools and methodologies shaping the future of smart contract development and security.
Tune in to Scraping Bits Podcast #61 to stay ahead of the curve and discover the latest advancements in smart contract symbolic execution, SMT formal verification, and fuzzing techniques with Palina and DeGatchi.
Follow Scraping Bits on Twitter: https://twitter.com/scrapingbits
Your Host, DeGatchi: https://twitter.com/DeGatchi
Guest Speaker: https://x.com/palinatolmach
Keywords: solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.
149 פרקים
שתפוManage episode 406407657 series 3509704
תוכן מסופק על ידי DeGatchi. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי DeGatchi או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
Dive into the intricate world of smart contract security and formal verification techniques in episode 61 of the Scraping Bits Podcast with your host DeGatchi. Joining him is the esteemed expert Palina, as they unravel the complexities of smart contract symbolic execution, SMT formal verification, and fuzzing techniques.
In this enlightening episode, Palina shares her deep insights into the cutting-edge methods employed to ensure the robustness and security of smart contracts deployed on blockchain networks. From symbolic execution strategies that uncover hidden vulnerabilities to SMT formal verification techniques that rigorously validate contract logic, listeners will gain invaluable knowledge about the forefront of smart contract security research.
Whether you're a seasoned blockchain developer, a cybersecurity enthusiast, or simply curious about the inner workings of decentralized applications, this episode offers a fascinating exploration of the tools and methodologies shaping the future of smart contract development and security.
Tune in to Scraping Bits Podcast #61 to stay ahead of the curve and discover the latest advancements in smart contract symbolic execution, SMT formal verification, and fuzzing techniques with Palina and DeGatchi.
Follow Scraping Bits on Twitter: https://twitter.com/scrapingbits
Your Host, DeGatchi: https://twitter.com/DeGatchi
Guest Speaker: https://x.com/palinatolmach
Keywords: solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.
149 פרקים
כל הפרקים
×
S
Scraping Bits
1 #149 - Robert Ghrist: Applied Algebraic Topology, Cohomology For Homotopy, Sheaf Neural Networks, Lattice Theory 52:57
52:57 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי52:57
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: https://x.com/DeGatchi DeGatchi's Website: https://degatchi.com Follow Scraping Bits on Twitter: https://x.com/scrapingbits Guest Speaker: https://x.com/robertghrist Keywords: mathematics, math, topology, geometry, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #148 - Zach Adams: The Hidden Power Of Algebraic Combinatorics 59:46
59:46 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי59:46
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: https://x.com/DeGatchi DeGatchi's Website: https://degatchi.com Follow Scraping Bits on Twitter: https://x.com/scrapingbits Guest Speaker: https://x.com/_OuterProduct Keywords: mathematics, math, topology, geometry, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #147 - Aryeh Kontorovich: Rigorous Probability And Statistics, Game Theory, Lean Prover 38:29
38:29 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי38:29
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: https://x.com/DeGatchi DeGatchi's Website: https://degatchi.com Follow Scraping Bits on Twitter: https://x.com/scrapingbits Guest Speaker: https://x.com/aryehazan Keywords: mathematics, math, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #146 - Thomas Britz: How Combinatorics Unlocks New Perspectives To Problem Solving 1:18:34
1:18:34 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי1:18:34
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: https://x.com/DeGatchi DeGatchi's Website: https://degatchi.com Follow Scraping Bits on Twitter: https://x.com/scrapingbits Guest Speaker: https://www.unsw.edu.au/staff/thomas-britz Keywords: mathematics, math, topology, geometry, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #145 - Jack Mayo: Machine Learning Theory, Multi-Armed Bandit RL, Adaptive Learning 1:09:17
1:09:17 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי1:09:17
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: https://x.com/DeGatchi DeGatchi's Website: https://degatchi.com Follow Scraping Bits on Twitter: https://x.com/scrapingbits Guest Speaker: https://x.com/JackJMayo1 of https://x.com/kurtos_ai Keywords: mathematics, math, topology, geometry, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #144 - Donato Quiccione: Algebraic Topology, Topological Data Analysis For MRIs, Category Theory 1:02:10
1:02:10 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי1:02:10
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: https://x.com/DeGatchi DeGatchi's Website: https://degatchi.com Follow Scraping Bits on Twitter: https://x.com/scrapingbits Guest Speaker: https://x.com/Piovego_ Keywords: mathematics, math, topology, geometry, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #143 - Colin Roberts: Differential Algebraic Topology, Sheaf Theory, Combinatorics, Cohomology 2:59:41
2:59:41 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי2:59:41
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: https://x.com/DeGatchi DeGatchi's Website: https://degatchi.com Follow Scraping Bits on Twitter: https://x.com/scrapingbits Guest Speaker: https://x.comAutoparallel Keywords: mathematics, math, topology, geometry, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #142 - Grant Stenger: Hyperbolic Graph Embeddings For A* Shortest Path, Game Theory, Discrete Math 1:14:07
1:14:07 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי1:14:07
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: https://x.com/DeGatchi DeGatchi's Website: https://degatchi.com Follow Scraping Bits on Twitter: https://x.com/scrapingbits Guest Speaker: https://x.com/GrantStenger Keywords: mathematics, math, topology, geometry, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #141 - Kristaps Balodis: Sheaf Theory, Algebraic Topology, Geometry 55:55
55:55 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי55:55
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: https://x.com/DeGatchi DeGatchi's Website: https://degatchi.com Follow Scraping Bits on Twitter: https://x.com/scrapingbits Guest Speaker: https://www.youtube.com/@k-theory8604 Keywords: mathematics, math, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #140 - Chris Rock: DEFCON Mercenary Hacker For Govs And CEOs, Digital Forensics, Zero Day Marketplace 1:00:11
1:00:11 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי1:00:11
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי- https://x.com/degatchi - https://x.com/scrapingbits - https://x.com/chrisrockhacker Keywords: mathematics, math, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #139 - Mark Worrall: Self Studying Math, Quant Finance Statistics, ML/AI, Edtech Startups 1:16:33
1:16:33 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי1:16:33
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: https://x.com/DeGatchi DeGatchi's Website: https://degatchi.com Follow Scraping Bits on Twitter: https://x.com/scrapingbits Guest Speaker: : https://x.com/sutherlandphys Keywords: mathematics, math, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #138 - Chris Sutherland: Learn Quantum Physics Without School, Creating Infntysci, Automating Math Education 53:30
53:30 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי53:30
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: https://x.com/DeGatchi DeGatchi's Website: https://degatchi.com Follow Scraping Bits on Twitter: https://x.com/scrapingbits Guest Speaker: : https://x.com/sutherlandphys Keywords: mathematics, math, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #137 - Justin Skycak: Learning Math Is Hard, Proof Writing, Which Order To Learn Math 2:45:41
2:45:41 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי2:45:41
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: https://x.com/DeGatchi DeGatchi's Website: https://degatchi.com Follow Scraping Bits on Twitter: https://x.com/scrapingbits Guest Speaker: https://x.com/justinskycak Keywords: mathematics, math, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #136 - Lida Kanari: Algebraic Topology To Map Out Neocortex Neurons, Leading Blue Brain Computational Neuroscience 1:08:06
1:08:06 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי1:08:06
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: x.com/DeGatchi DeGatchi's Website: degatchi.com Follow Scraping Bits on X: x.com/scrapingbits Guest Speaker: https://x.com/LidaKanari Keywords: mathematics, math, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
S
Scraping Bits
1 #135 - Abhimanyu Nag: Markov Chains, Complex Dynamical Systems, Chaos Theory 1:13:00
1:13:00 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי1:13:00
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיYour Host, DeGatchi: x.com/DeGatchi DeGatchi's Website: degatchi.com Follow Scraping Bits on X: x.com/scrapingbits Guest Speaker: https://x.com/AbhiMan1601 Keywords: mathematics, math, game theory, calculus, linear algebra, category theory, signal processing, statistics, probability, solo auditor, public auditing platforms, private audits, scalability, freedom, Scraping Bits podcast, blockchain technology, audit industry, flashbots, reverse engineering, cybersecurity, infosec, mev, mev bot, quant.…
ברוכים הבאים אל Player FM!
Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.
Daily Deals
דומה לScraping Bits
Africa-focused technology, digital and innovation ecosystem insight and commentary.
…
continue reading
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
Download This Show is your weekly guide to the world of media, culture, and technology. From social media to gadgets, streaming services to privacy issues. Each week Rae Johnston and guests take a fun, deep dive into how technology is reshaping our lives.
…
continue reading
The power of Data is undeniable. And unharnessed - it’s nothing but chaos. Making data your ally. Using it to lead with confidence and clarity. Host Jess Carter is solving problems in real-time to reveal what’s possible. Helping communities and people thrive. This is Data Driven Leadership, a show brought to you by Resultant.
…
continue reading
Flash Forward is a show about possible (and not so possible) future scenarios. What would the warranty on a sex robot look like? How would diplomacy work if we couldn’t lie? Could there ever be a fecal transplant black market? (Complicated, it wouldn’t, and yes, respectively, in case you’re curious.) Hosted and produced by award winning science journalist Rose Eveleth, each episode combines audio drama and journalism to go deep on potential tomorrows, and uncovers what those futures might re ...
…
continue reading
Android Backstage, a podcast by and for Android developers. Hosted by developers from the Android engineering team, this show covers topics of interest to Android programmers, with in-depth discussions and interviews with engineers on the Android team at Google. Subscribe to Android Developers YouTube → https://goo.gle/AndroidDevs
…
continue reading
This is the audio podcast version of Troy Hunt's weekly update video published here: https://www.troyhunt.com/tag/weekly-update/
…
continue reading
The director’s commentary track for Daring Fireball. Long digressions on Apple, technology, design, movies, and more.
…
continue reading
Three nerds discussing tech, Apple, programming, and loosely related matters.
…
continue reading
We help founders make something people want.
…
continue reading
Player FM - אפליקציית פודקאסט
התחל במצב לא מקוון עם האפליקציה Player FM !
התחל במצב לא מקוון עם האפליקציה Player FM !
))
