All about sex, love and intimacy
…
continue reading
Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware.
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory
37:50
37:50
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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 variou…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types
48:45
48:45
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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 …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Episode #20: Ankush Desai — P: The Modeling Language That Could
46:12
46:12
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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: ht…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#19: Steve Weis — Security Shouldn't Be the Last Check Box
41:36
41:36
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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 h…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#18: Jordan Kyriakidis — Helping People Write More Useful Requirements
47:19
47:19
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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 yo…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2)
28:38
28:38
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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 migh…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1)
56:25
56:25
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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 migh…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA
55:52
55:52
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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 …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean
45:35
45:35
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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 chann…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#13: Rod Chapman – It's Either Automated or It's Wrong
44:03
44:03
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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 chann…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa
30:58
30:58
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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://…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#11: Alastair Reid – Meeting Developers Where They Are
36:18
36:18
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#10: Gregory Malecha – Formal Methods and Systems Programmers Working Together
43:41
43:41
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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.co…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#9: Tycho Andersen – Commit Log Spelunking
42:34
42:34
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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 Dodd…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#8: Eric Davis – Building Better Data Models
34:28
34:28
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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. W…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#7: Aditya Thakur – “If it goes too slow, they'll turn it off”: Analysis Tools That Work
1:13:38
1:13:38
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#6: Dan Guido – What the hell are the blockchain people doing, and why isn't it a dumpster fire?
1:01:05
1:01:05
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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/BuildingBetterSystem…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#5: Talia Ringer – Proof Engineering for the People
30:17
30:17
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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://depe…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#4: Alex Malozemoff – New attack on homomorphic encryption libraries: what does it mean?
17:04
17:04
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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 Num…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis
1:00:50
1:00:50
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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/te…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#2: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 2
35:28
35:28
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
#1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1
29:39
29:39
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
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…
…
continue reading
The royal road to female ecstasy...or is it? The G-spot is a contriversal place for many rather than a physical one. Tonight, with the help of Professor Adam Ostrzenski, M.D., Ph.D., director of the Institute of Gynecology in Florida, U.S.A,. and explore this "hot spot!"De către Going to bed with Dr Eric
…
continue reading
Sex is not just for those in their 20's, 30's and 40's. It's time to step out of a different closet and talk about sex and aging! My guest tonight is Joan Price. According to Joan, "Society's view of seniors as sexless is wrong, wrong, wrong!" Joan Price is the advocate for ageless sexuality and author of Naked at Our Age: Talking Out Loud about Se…
…
continue reading
So much has happend over the past year and I want to share it with you. ALSO: what does it take to have great sex for long term couples????? (listen in and find out) Call in with your birthday wishes, your questions and your comments about how I can make this show more relevant for YOU!De către Going to bed with Dr Eric
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Too young to get married and other questions...
32:00
32:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
32:00
Lessons learned from a divorce make for interesting and better choices the next time around. Marriage delay is quite common among women and yet, even when some decide to get married in their early twenties, eyebrows raise. Today my guest, Huffington Post blogger Kristin Vanderhey Shaw, and I discuss the issue.…
…
continue reading
In the process of finding a mate, a partner or a spouse, dating is usually involved. Dating has it's own challenges least of which is getting daitng and wors, getting stuck with a jerk. knowing the signs can save you a great deal of heart ache and limit your exposure! Today my guest is Carol Harper author of the book, "You might be dating a jerk if…
…
continue reading
Getting dumped sucks and getting over it is sometimes easier than others. So much depends on the length of the relationship, the intensity of the relationship, how invested you have been in that relationship and how the break up was handled. Our biggest challange when it comes to a breakup is often our self-esteem. Today we will be exploring some o…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Cyber dating...making technology work for you.
40:00
40:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
40:00
Cyberdating seems pretty straight forward on first glance but many people run into a lot of stumbling blocks a long the way. Making use of the internet for relationships is a reality that is here to stay and my guest Julie Spira Online Dating Expert and Bestselling Autho rCyber-Dating Expert ® Dating in a Web 2.0 World™CyberDatingExpert.com is join…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ethical Monogamy? Ethical Polyamory?
38:00
38:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
38:00
An essential ingrediant in any successful relationship are ethics. This is especially true in polyamourous relationships. Polyamory adds a dimension of complexity to the dynamics of relating that require honesty, disclosure and mutual agreements are essential. Some of the questions my guest, Moushumi Ghose, MFT and I will be discussing are; What is…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Cougars, Daddies and the men and women who love them
39:00
39:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
39:00
Out of one closet and into another! Younger men and older women, younger men and older men. While many seek out these kinds of relationships for sex many are in the closet about their secret desires. Tonight, Dr. Loren A. Olsen, M.D. author of the book, "Finally Out", and I will explore this trend and how those that would prefer these relationships…
…
continue reading
Heath and fitness go hand in hand when thinking about sex! Join the founder of Whole Life Medicine, and author of the book, "The Master Key" Dr. David Gurley, M.D., Fitness and nutrition expert, Sean Joo and myself for a step by step approach to make simple changes that will have a lasting impact on your health and your longevity!…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Sex and love resolutions for 2013
33:00
33:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
33:00
Everyone is making New Years Resolutions. Loose wieght, quit smoking, manage money better. The mondain meets the podestrian! What about Sex? Love and Intamcy? Let's focus on what REALLY matters in 2013! Want more dates? less dates? more sex? less sex? try something new? get a relationship? What ever your disapointments sexually and romatically in 2…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Sex toys: Stocking stuffers for you last minute shoppers
36:00
36:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
36:00
Sex toys have a substantial history. Join me while we explore whats available and what you may want to avial yourself of!De către Going to bed with Dr Eric
…
continue reading
![Artwork](/static/images/128pixel.png)
1
New relationships and the holidays
32:00
32:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
32:00
What should I buy as a present? Should I spend a lot or a little? Should I buy those show tickets for 6 months in advance?Should I bring him/her home for the holidays? New relationships have their own trials and tribulations but add the holidays in can really add some very interesting terrain to travel. Join…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
What to do if you are in a sexless relationship!
44:00
44:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
44:00
It starts out hot and heavy but often winds up cold. Tonight we are going to find out what you can actually do about warming things up! My guest on the show this week is Melissa Jones, Ph.D.,Personal Sexuality Education Consultant. You can find out more about Melissa at www.mjsexologist.com See you SUNDAY NIGHT at 10 Eastern…
…
continue reading
Gay or st8, you won't want to miss tonights show! Anal sex is on the rise according to sex researchers. It is estimated that 1/4 of straight couples are engaging in anal sex. Tonights show is all about anal sex. The inns and outs, if you will! My guests tonight are not one, but two sexperts, Dr. Charlie Glickman, Ph.D. and Aislinn Emizian. Auhors o…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Your "relationship" to diet and exercise over the holidays!
41:00
41:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
41:00
Personal Trainer Sean Joo is joining me this week to get a handle on our "relationship" with diet and exercise over the holiday. This time of year presents unique challenges and stresses that make it really hard to stay on course (no pun intended). The good news is that Sean is going to make is so much easier to stay on course during the holidays!…
…
continue reading
Dating is hard enough, but perhaps dating your EX is even harder. Find out the do's and don't this week! Join me and my guest, Silvia M. Dutchevici, MA, LMSW, as we explore the ins and outs of dating and ex. Sivia is the president and founder of the Critical Therapy Center in NYC. You can find out more about me at www.ericgschneider.com and you can…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Do you trust your running mate?
31:00
31:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
31:00
Lets talk about TRUST.. What is trust? What does it mean to be trust worthy? How can you become a more trust worthy person? What happens when you are living in miss trust? Find out and listen to tonights episode!!!De către Going to bed with Dr Eric
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Dumped? Picking up the pieces...
30:00
30:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
30:00
Being dumped sucks. There is just no other way to put it and the aftermath that follows is filled with pain, anguish and frustration...So what can you do? Nina East, author of the book, Rapid Relationship Recovery, joins me today to take a look at what really can be done to decrese the pain and move through this process!…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
How adult media impacts your sex life
31:00
31:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
31:00
Adult media is a billion dollar industry thas been around for a long time and it is has have definitely influenced how we think about sex. The research is very split about the impact adult media has on relationships. Today, my guest, Sex educator,author and speaker, Dr. Charlie Glickman, Ph.D. and I will discuss what the impact can be and how you c…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
TABOO; Non-traditional Relationship Structures
31:00
31:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
31:00
Marriage and monogomy may seem like the norm for most, but a quiet revolution is occuring. Today my guest is psychotherapist Kate L. Stewart, (www.katelstewart.com). Kate's work is focused on kink and non-traditional relationships and we are going to talk about what is this new trend that is emerging and what does it say about all the fuss around m…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
A kiss is just a kiss (or is it?)
30:00
30:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
30:00
STOP taking kissing for granted! Today show is all about kissing! Tune in and find out why kissing is so important, how to be a better kisser and how to talk to your partner about becoming a better kisser! Joining me is Dr. Yvonne Fulbright of Sensualfusion.com. Dr. Fullbright is one of the most saught after experts in human sexuality. Remember a k…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Online dating; the do's and do NOTS!
31:00
31:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
31:00
When it comes to online dating, there are Do's and do not's. Join Dr. Eric and his guest Bela Gandhi, the founder and president of the Smart Dating Academy, and find out what they are! Whether you are gay or straight knowing what to do and what not to do on line can make your online dating experience one you enjoy rather than one you would rather a…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
What do women really want...in bed!
30:00
30:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
30:00
What do women really want...in bed and how can you get your man/women to give it to you. Unfortunately international sexologist, Dr. Yvonne Kristín Fulbright was NOT able to make it today but the show went on with out her and had a really great question in the second half of the show. We will re book Dr. Fullbright in the near future!…
…
continue reading