Africa-focused technology, digital and innovation ecosystem insight and commentary.
…
continue reading
Indhold leveret af Christopher Meiklejohn. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Christopher Meiklejohn eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.
Minder om Brewing Microservices
A podcast featuring panelists of engineers from Netflix, Twitch, & Atlassian talking over drinks about all things software engineering.
…
continue reading
What is the internet doing to us? The Times tech columnist Kevin Roose discovers what happens when our lives move online. Unlock full access to New York Times podcasts and explore everything from politics to pop culture. Subscribe today at nytimes.com/podcasts or on Apple Podcasts and Spotify.
…
continue reading
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
The director’s commentary track for Daring Fireball. Long digressions on Apple, technology, design, movies, and more.
…
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
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
This is the audio podcast version of Troy Hunt's weekly update video published here: https://www.troyhunt.com/tag/weekly-update/
…
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
Redefining AI is the 2024 New York Digital Award winning tech podcast! Discover a whole new take on Artificial Intelligence in joining host Lauren Hawker Zafer, a top voice in Artificial Intelligence on LinkedIn, for insightful chats that unravel the fascinating world of tech innovation, use case exploration and AI knowledge. Dive into candid discussions with accomplished industry experts and established academics. With each episode, you'll expand your grasp of cutting-edge technologies and ...
…
continue reading
Player FM - Podcast-app
Gå offline med appen Player FM !
Gå offline med appen Player FM !
))
Property-Based Testing
Manage episode 344831974 series 3405203
Indhold leveret af Christopher Meiklejohn. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Christopher Meiklejohn eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.
QuickCheck: a lightweight tool for random testing of Haskell programs
Soft Updates: A Technique for Eliminating Most Synchronous Writes in the Fast Filesystem
SAGE: whitebox fuzzing for security testing
Intelligent REST API data fuzzing
A hybrid analysis to detect Java serialisation vulnerabilities
Jsongen: a quickcheck based library for testing JSON web services
Property-Based Testing of JSON Based Web Services
Turning web services descriptions into quickcheck models for automatic testing
Software Testing with QuickCheck
John Hughes - Don't Write Tests
John Hughes - QuickCheck Evolution
John Hughes: Testing with QuickCheck
John Hughes - Testing the Hard Stuff and Staying Sane
John Hughes - How to specify it! A guide to writing properties of pure functions | Code Mesh LDN 19
Testing Eventual Consistency in Riak - YouTube
PARTISAN: Scaling the Distributed Actor Runtime
Dealing with a corrupt SSTable in Cassandra
MODELING EVENTUAL CONSISTENCY DATABASES WITH QUICKCHECK
Applied Monotonicity: A Brief History of CRDTs in Riak
Using temporal relations to specify and test an instant messaging server
Effective Concurrency Testing for Distributed Systems
Finding race conditions in Erlang with QuickCheck and PULSE
3 episoder
Del
Manage episode 344831974 series 3405203
Indhold leveret af Christopher Meiklejohn. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Christopher Meiklejohn eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.
QuickCheck: a lightweight tool for random testing of Haskell programs
Soft Updates: A Technique for Eliminating Most Synchronous Writes in the Fast Filesystem
SAGE: whitebox fuzzing for security testing
Intelligent REST API data fuzzing
A hybrid analysis to detect Java serialisation vulnerabilities
Jsongen: a quickcheck based library for testing JSON web services
Property-Based Testing of JSON Based Web Services
Turning web services descriptions into quickcheck models for automatic testing
Software Testing with QuickCheck
John Hughes - Don't Write Tests
John Hughes - QuickCheck Evolution
John Hughes: Testing with QuickCheck
John Hughes - Testing the Hard Stuff and Staying Sane
John Hughes - How to specify it! A guide to writing properties of pure functions | Code Mesh LDN 19
Testing Eventual Consistency in Riak - YouTube
PARTISAN: Scaling the Distributed Actor Runtime
Dealing with a corrupt SSTable in Cassandra
MODELING EVENTUAL CONSISTENCY DATABASES WITH QUICKCHECK
Applied Monotonicity: A Brief History of CRDTs in Riak
Using temporal relations to specify and test an instant messaging server
Effective Concurrency Testing for Distributed Systems
Finding race conditions in Erlang with QuickCheck and PULSE
3 episoder
Alle episoder
×
Velkommen til Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.
Minder om Brewing Microservices
Africa-focused technology, digital and innovation ecosystem insight and commentary.
…
continue reading
A podcast featuring panelists of engineers from Netflix, Twitch, & Atlassian talking over drinks about all things software engineering.
…
continue reading
What is the internet doing to us? The Times tech columnist Kevin Roose discovers what happens when our lives move online. Unlock full access to New York Times podcasts and explore everything from politics to pop culture. Subscribe today at nytimes.com/podcasts or on Apple Podcasts and Spotify.
…
continue reading
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
The director’s commentary track for Daring Fireball. Long digressions on Apple, technology, design, movies, and more.
…
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
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
This is the audio podcast version of Troy Hunt's weekly update video published here: https://www.troyhunt.com/tag/weekly-update/
…
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
Redefining AI is the 2024 New York Digital Award winning tech podcast! Discover a whole new take on Artificial Intelligence in joining host Lauren Hawker Zafer, a top voice in Artificial Intelligence on LinkedIn, for insightful chats that unravel the fascinating world of tech innovation, use case exploration and AI knowledge. Dive into candid discussions with accomplished industry experts and established academics. With each episode, you'll expand your grasp of cutting-edge technologies and ...
…
continue reading
Player FM - Podcast-app
Gå offline med appen Player FM !
Gå offline med appen Player FM !
