20 Episode results for "l. a."
Voice in Canada - Amazon Launches Ring Alarm 2nd Gen
"Hey there are here and today I wanNa tell you about a new product. It's actually updated product. That's coming out that. Of course that of course is compatible with Amazon Lexi and that is the new ring alarm so as you may know Amazon has already had a ring alarm home alarm system but they have just come out with their new second generation ring alarm and there are lots of different pieces that you can get with meaning. It comes in different kits. You can get a fourteen piece kit with a whole bunch of sensors for windows and doors. You get a five piece kit. You can get an eight piece kit. And there's even an offer to get it with a free eco. Dot Or Free Eco. Show the bottom line is. This is a new great-looking looks very sleek modern home alarm system and it is compatible with. Lexi of course Amazon also offers some monitoring and they offer some recording of video footage. If you have the camera set up with it and then when you want to of course you can speak to your arm Lexi arm ring etcetera. Get the status of it by voice. So if you want to check that out you can just go to a L. A. In Canada DOT CA slash ring alarm. And that is my link. You choose to use it. Thank you very very very much. There's no extra cost you whatsoever. I hope you're doing well hope you have a great day? I'll talk to you tomorrow. So brief CAST DOT FM.
L.A. County beaches reopen with restrictions
"In southern California beaches are once again open in Los Angeles County with restrictions. Here's L. A. Mayor Eric Our city. If you go to the beach you must wear face. Covering and maintain proper physical distancing from others activities such as swimming and jogging or allowed group sports including volleyball remain banned because of the pandemic.
Benjy Bronk Asks the Wack Pack if Theyre Down for a Wild Bit The Howard Stern Show
"Stern show he decided in L. A. to continue what he called up various wack packers to ask if he could blow them at the Sirius. XM's radio's in L. A. Really Yeah he sold it to them as like hey wouldn't it be a fun thing or a fun way to Christen the new facilities in La if I blew you I see these guys have let me down stern show so how would you like me to blow your teeth tongue use a lot of hand yeah some dirty talk yes say no for Pete bread no let's find out Hey Pitas Benji Hey Eric it's Benji how're you doing oh that's cool so you know we're going to La Right couldn't be careful driving eric at least he knows he shouldn't talk and dry next up medicated Pete we've always suspected it sounds cool you're GonNa Call Me Daddy when I'm blown yeah yeah you can get hard for daddy say I'm GonNa get hard for you daddy let's let's thing cool thanks Pete and I just WanNa make sure at of and you say yes I was just about to say what he led Benji suck his dick celebrate the new L. A. Studios you say yes yes let's see that'd be that'd be really funny looking probably work I mean you know cool yeah yeah so you can definitely get hard Hey mark this is benjy from the Howard Stern show yeah adventure how you doing doing good and I have an idea for a bit for the two of us uh-huh mark the baggers I'm going to say no I'm going to say yes such find out who's right now we've got a game yeah well I have a great bit for us in La you come into the studio and I suck your Cock live on the air US okay so the show is going to La yeah and to inaugurate the new studios. I'd like to give you a nice blow job on the Air I'm not blowing anyone absolutely not I don't shop calm you know I've lost a lot of weight and I'm very handsome now not from what I heard close it's where I'm blowing you and you're blowing me at the same time how about that you want to be that hey let's do a radio call and you can even come in my mouth to inaugurate the new studio Oh my God I but you would need to be hard I I wouldn't I doubt it I'm not drink guy for that well no worries I it's still funny if I sucked was a little bit gay when he let Benji give him a blowjob would he go for Benji Brilliant Idea Robin What do you say I'm going yeah why not so you'll definitely be able to get hard Oh God
Voice in Canada - Fire TV Cube Available in Canada
"Skills Hey there. We had a great Halloween hope. You had a safe Halloween. Hope you had a great night today. I want to tell you about about one of the Amazon products that was previously on preorder in Canada. But it is now officially available. It is live right now. You can order one and get it while it's quick as your prime. We'll get your products. Roddick's this is the Amazon Fire TV Cube. It's similar to the fire TV sticks but the difference is this one literally is a small cube and it has a speaker built into it so as you may know the fire TV stake plugs into your TV and then you use. Use The voice remote to talk to it with the fire. TV Cube literally acts like another echo device. But it's also got the fire TV capabilities so when you when you look on the Amazon website. They're basically three things at the Coubertin has the fire. TV doesn't on its own. The Queue has the building speaker it it has far field voice control of the fire TV rights. You can talk to it from across the room and it's got far field voice control of other devices. That's a mouthful for you can control other devices from across the room. It is on sale now for one forty nine ninety nine It is is of course Available right now and if you choose to use my link you can simply go to L. A. in Canada dossier slash fire TV cube. It'll take you director that page. Do get a small commission. I thank you very much if you choose to use that but regardless it's a nice option now if you want to have the fire TV and the Lexi Echo device essentially built into one enjoy. Have a great day. Talk to you again tomorrow. Brief cast dot F._M..
Voice in Canada - Podcast: A Year in Review 2019
"She Skills Happy New Year to you. I wish you all the very best for twenty twenty and this new decade today is Tuesday and it happens to coincide with the podcast release day and today I have released a podcast. PODCAST that basically talks about what has been going on in our community L. A. in Canada over the past year twenty nineteen it it has been such a tremendous year and I do want to take the opportunity here as I do on the podcast to thank you for being such a valued member of our community without having you you being part of this this community would not exist and Quite frankly I mean all these resources and things that have happened over the past year they would have all been for nothing. If it weren't for people like you being a member of our community on the podcast. I do speak about different. Things have gone with the podcast with the flash briefing with different resources with the course that I created flash briefing formula. I go through a lot of different things with our committee and I talk about some of the things. I'm the really exciting. The things that are coming up in twenty twenty and I am so excited to share those with you so to hear that podcast. I encourage you to go over to the link A. L. E. X. A in Canada dot ca slash one zero seven one zero seven alien saying candidate dot ca slash. One zero seven and. You will hear the podcast episode two thousand nine hundred thousand a year in review. Now just before I sign off. I do want to give a shout out to a person Who Left a review for the foster even? Unfortunately it's it's an anonymous says it's from an Amazon customer but I still want to recognize this. This person gave it five stars and wrote love it and and wrote so heavy. I found this. I have learned so much. Thanks to Terry's tips this is the first one of my flash briefings. I listened to it every night while I'm getting ready for bed so I don't your real name but whoever you are no that I appreciate this very very much and for any of you. That would like to leave a review for the flash briefing if you haven't done so Please I encourage you to do that. It is absolutely wonderful to get this feedback and you can do that at voice in Canada dot ca all right. I will be speaking with you again tomorrow tomorrow. Happy New Year and all the very best for a very healthy and all good things in two thousand twenty brief cast dot F._M..
Voice in Canada - Change the Wake Word by Voice
"She got skills. Hey there so I have a little tip for you today as you may know the word word that we say to get Lexi to respond to us is known as the wake word I e her name but there are also other different words that you can set it to no. You can't choose anywhere that you you want but you can choose well A. L. E. X.. You could use echo. You can choose computer and previously. You had to do this through the APP but you can actually select this by voice you simply have to say Lexi change your wake word and she will ask you a series of just a few questions to help you change your wayward. So when would you do this. Well I'll give you a great example. Say You have somebody in your home that is named Al.. And you don't want it to go off every time somebody says that person's name whether you go or if you prefer to have a device named echo or device name computer if you want to be able to control different devices with different names than your said so if you were wondering if you can call a L. A. or Alexia different name you can and just ask her to change the word. Okay have a great day talk to you Mar.. We've got a really cool podcast out tomorrow. So listen in for all the details talk to you then. Brief cast dot F._M..
"Is this thing on. Maybe we could get or guys. It's a bit more podcast. I'm saying and I'm heath and this is uphill to tell them why. It's called unfiltered yeah because coffee talk was talking about like fifty other podcasts and this is raw uncut unscripted an unfiltered content as we're reading. This is the podcast where he talks it and you get hit with the back and I put that on God bless doc fern under his eye and I pray for this friend group because we're going to be exposed. Some sinful acts may make are group's truly worthy just displaying guys. We're not that mean. We just want to have a platform that we can be ourselves and open up and talk about really whatever you want without feeling restricted so for those of you who know us hey. Dan and for those who don't know who we are to Florida boys who hated each other became best friends and moved to L. A. to be famous on a youtube sound on appealing well. You know what y'all better buckle up because we ain't going nowhere that's right because we're posting every single Monday bright and early so grab your coffee make sure to tune into zanny heath filter because trust I mean you do not want to miss a single episode so make sure to subscribe to our podcast or if you'd like to watch podcasts we'll be posting a day later every Tuesday on our Youtube Channel YouTube dot com Tesla's ENA subscribe and we'll see you next Monday I ah.
Voice in Canada - Podcast with Julie Daniel Davis
"Skills Hey there it's Tuesday and that means it is podcast day the first podcast of twenty twenty and for this one. We kick it off with a bang. We have a remarkable guest on the podcast. It is Julie Daniel Davis and if you have have been following the voice based you may know her name and that is because she is one of the leaders when it comes to use the ECHO devices Amazon Lexi for education education. She's an educator herself and she has gone through a number of projects and has been involved in implementing this technology into the classrooms in her school so she shares with us some of her experience she she shares some of some actually really really fantastic resources for teachers if they want to implement lament Some of this technology into the classroom so encourage you to check this out as always the link is am L. A. in Canada dot ca slash. One eight eight for this particular. PODCAST episode Julie like I say she's a leader. She's going to be a project voice next week. She's been nominated for an award. I think you are really going to enjoy this podcast. It's a lot agreed value in it. So check it out in Canada Dot C._A.. Slash one eight. Enjoy Talk to you tomorrow. Brief cast dot F._M..
Saturday, December 14th, 2019
"Good Morning Libra. Today is Saturday December. Fourteenth Two Thousand Nineteen Jupiter two degrees. Capricorn try nearness at two degrees Taurus. You may need time to yourself. Under this alignment consider consider finding ways of making it. Creative exploratory retreat. This is libra today. PODCAST original horoscope today is supported by better help. Online counseling a lot of times. People portrayed trey their happiest self to others whether it's at work or on social media we often make it appear that we have everything figured out but a lot of times we don't. It's not always easy to ask for help and find counseling. So if you're feeling down but don't know where or how to ask for help better help. Is there for you. Better help offers. Licensed counselors who specialize in a variety of issues including depression and anxiety as well as grief stress complicated complicated relationships and so many others. If you've been putting off counseling because you don't have the time better help make convenient by allowing you to connect privately with with your counselor through text chat phone and video calls get help at your own pace on your own time. And at an affordable rate horoscope today listeners will get ten percent off their first month with Discount Code horoscope today. That's better help dot com slash rush horoscope today. Why not get help better help dot com slash horoscope today? Uh Let's speak in your day. You may feel overly sensitive and somewhat anxious as your NATO Lieber planets are squared on all sides. It behooves you not to push through and risk and outburst know when to step away from the action an and collect yourself meet your own needs today saying now take a moment to reflect electon your relationships with your ruling planet Venus Conjuncture Pluto and Capricorn. You may feel a deep need for love and affection. Luckily this transit gives you a magnetic quality that pulls people into your orbit so avoid the temptation to demand even more from others Forced defection is never as fulfilling as love of its own volition. Enjoy the attention. That comes your way but avoid the temptation to control the way it finds you contemplate your path to personal growth mercury and the sun highlight communication and learning in your chart. Now maybe the time to consider delving into a new hobby or workshop. If you've been thinking about getting away for a fun weekend these transits encouraged that adventurous spirit. Let your heart lead the way everything else will follow Lieber today we'll be back tomorrow to learn more about your horoscope visit. California L. A. -Fornia psychics and connect today horoscope. Today is a podcast original.
Voice in Canada - Blink XT2 Camera Ships to Canada
"Skills Hey there. It's Friday and it's terrier again with your flash briefing today. WanNa tell you about yet. Another product that is available for us here in Canada by you can actually ordered online right now on Amazon and this has to do with security so if you are in the market for a security camera that's going to work seamlessly with Lexi then you may be interested to check out Amazon's new blink x t to smart security camera camera which is now shipping to Canada. The initial camera cost one twenty nine ninety nine and there's some pretty cool features you get for that price. It's got a two year battery life. It's got high definition recording and it's completely wireless and it's got audio capabilities so you can actually talk back to a person who is in your field of you. When you're looking at the video from the camera? It's also got free cloud storage so you don't have to pay a monthly storage fee so a lot of great things about this camera and of course it's completely compatible with the different smart devices that we have with displays the echo show the echo show five the echo spot so if you want to check it out you can just go to a L. A. in Canada.
Cave Bytes Shemar Moore And Michelle Monaghan
"Hi Welcome to cave bite. This is Tony Tiller Shomar and Michelle Monaghan who voice Cyborg and wonder woman respectively in J. L. A. war give us their thoughts I just did one of the coolest things I've done in my career a few things but this was like all the way left field and brand new but I got to place Heiberg cyborg whose half human half machine. And just the world I mean it's acting, but it's just such a different forum talking into a mic it's like doing voice over but. You've really gotta bring the noise. You gotta bring the life of this guy. To the screen or to to the Mike when you really can't see you know the physicality of what's going to be going on but still give it emotional life and to understand the relationships between the other characters and so. This was the first and this was just really cool to do and so yeah she more more AKA CY Board Michelle, Monaghan voices wonder woman. When wonder woman turns up on the scene. So to speak you know she's a warrior she's a princess in in she expects all the other superheroes I think to kind of go along with her and they don't they kind of they kind of buck her system so to speak so. She kind of has to sit down look for J. L. A. WAR ON HBO Bax. For Cave Bites this is Tony Tomato. Thanks for this.
Drew Cosgrove on the Podcast
"Hey there it's Terry Fisher here with your flash briefing for Tuesday Tuesday as you know podcast day. And today I'm interviewing someone all the way from Scotland who has created at least two of the top ten games skills in Canada. Speaking withdrew cost growth and he has been working on creating skills now for a number of years and he has created a believe. The number was twenty six skills that are able in Canada. I and there are more in other countries as well so we chat on the podcast. I of course about the skills that are available in Canada Canada. Some of the more successful ones and we also talk a little about his experience being a developer. Some of the challenges. Some of the benefits and Boy It's nice to speak to a developer that is really not forgetting about Canadians and really putting those skills out there. So if you want to take that interview you can access that at A. L. A. in Canada dot ca slash. One Twenty six and by the way just before I sign off. Remember that tomorrow Wednesday morning. We have a live chat with US northern voice. That's all get together and chat you just go to A. L. E. eight in candidate dot ca slash chat. It will take you there. You can actually register right now for it and we will just answer questions and have some fun and talk about Lexi in Canada. So that's happening Wednesday morning eight. Am Pacific or eleven am eastern. I will see you there. Take care brief CAST DOT FM.
Los Angeles - Entire Hollywood Bowl 2020 Concert Season Canceled
"The the Hollywood bowl they cancelled the entire season. Yeah they're looking around they know L. A. is shutdown it is a beautiful amphitheater. But not a place where you WANNA be. You have the doubts about your safety. So they know they can't protect the artist and the audiences and the staff from the spread of Kovic nineteen. So they're saying why not call it the seating capacity there seventeen thousand and they hold a lot of concerts so one hundred ten concerts every summer. One hundred ten Salat. It's one of the largest outdoor amphitheaters in the world closed for twelve days in nineteen fifty one twelve days. Never have they shut down for entire season. And it's ninety eight year history. Welcome to the club. People are having those horrible. I all over the place. They're looking ahead though and taking some positive spin on it. Twenty twenty one. It's a centennial celebration. They say for the venue they're excited about it and that's where the focus is shifting to because they have to say adios to this season into all the concerts. They had hoped that they were going to bring to people.
Is It Time To Repot By Calethea?
"This plant talk. Podcast is brought to you by stoke seeds for the best selection of vegetable flower and herb seeds available go to stoke seeds dot COM cultivating successful growers for generation and Ronnie says I have a KULEFA. Ca L. A. T. H. I say that right. You did Okay it's a miracle CALEPI. I'm wondering if it needs repotting. The soil in roots are rising above the line of the pot. The soil is very compact. What do you think it's currently in a five inch pot right now? Well how long? It's been that five inch. I think from what she has described. We're definitely going to recommend that she puts it up in a in a higher pot size and I don't think she should hurry unless she doesn't get it done this weekend. Now that having been said because where plants do need to be reported and this one definitely sounds like it does it also is a plant and the time of year when the plant will be starting to grow longer daylights warmer temperatures etcetera etcetera indoor plant but at the same time. He's still a grocery for so I would say move it up to a two inch pot no more than that. Excuse me and then when she is repotting it It's GonNa require probably if you probably will be so pot bound as to be shiny around the edges. She needs to massage those roots with their fingers. Pull them apart. Spread out in the new soil. And for Heaven's sakes something in there this morning It's it's one of those things where you don't want to disturb all of the routes necessarily but certainly goes on the perimeter even to the point of cutting a few of them so they can start branching out and by all means used just good potting soil purchased as such. And it's it's a misnomer anymore because it's probably no soil in the bag. It's all Peat Moss and for Light Pearl Well on and on. And even to the point you could add more per light Bigger containers certainly still weathering and and get it done now within the next little while As the plant starts to grow it will recover from the POD. Repotting a lot quicker now as to death Between wider plot probably will be another inch or more D- Don't know that the whole plant has to be down in the pot although when you are putting a plant in a pot always good to have at least a half inch lip between the soil top of the pot so you can read well retain the water when water The effect can't be done. Then maybe break up. A few of the roots on the bottom of the root mass and Well those are the ones that don't grow as well as the rest of them through the container so even few of those could be disposed of so that the plant could be set down in just a little lower but only a little Otherwise I'd say go for it and enjoy his plan. Talk podcast is brought to you. By stokes seeds for the best selection of vegetable flower and herb seeds available go to stoke seeds dot com call waiting successful growers for generations.
Etihad Asks Cabin Crew to Take Up to Six Months Unpaid Leave
"The affiliate podcast shares, the stories of multifaceted Africans. One episode at a time, the podcast aims to uncover the untold stories of modern and millennial applicants as in various parts of the world. Each episode gives listeners an opportunity to learn and experience conversations that showcase who they are and global perspectives in our ever changing world fish also listen and subscribe to the Athlete podcast on spotify or wherever you listen to your favorite podcast. You can also follow at athletes podcast an all social media platforms Killa, listening to the news at this hour on Africa business radio every hall L. A.'s is asking cabin crew to take up to six months. On paid leave from. September. As tries to manage the impact of the coronavirus pandemic is according to an internal memo and two sources familiar with the matter. The Bobby States Cario, which lost seven, hundred, Fifty, eight, million dollars. The first half of the year has been granted resuming passenger services since June after grounded flights in March in an internal memo staff were told that the airline has more cabin crew than required that many not being arrested on flights, which is not sustainable for the business airline which had been restructuring before the pandemic at last five point six, two, billion dollars on the four years to twenty has thousands of jobs. Education has been one of the worst industries through the pandemic and airlines around the world. Expect it to take years before travel turned to pandemic levels and that was the news at this time. When Africa Business Radio you can't continue to listen life online at www dot, Africa business radio, DOT com, or via honorable APP. I am Rachel she gender. Thank you for listening.
Voice in Canada - Flash Briefing Coaching with Lucien Lu Part 2
"Hello there Dr Terry Fisher here. Welcome to the flash briefing for Tuesday as you know on Tuesdays. I like to talk about the podcast. That is coming out. And if you listen to last week's podcast you'll know that I spoke with Lucien Lou. Who is the filmmaker on our team with northern voice and he is in the process of creating his own flash briefing? He's a piano teacher and he when we chatted last week I was coaching him. Live on the podcast about creating his flash briefing called easy piano hacks and he got to work he did some of the you know the background work. And he has launched it and today it's a follow up conversation to that. And we get his thoughts on what it was like to create the flash briefing and give them some other tips and what to do going forward how to market it to the best of his ability and those sorts of things. So it's really funny because it's actually a live coaching podcasts. That you're hearing of me talking with Lucien so if you haven't listened to last week's definitely go back and listen to that one. That one was episode Number One. Twenty-one so you can go to. L. A. and candidate dot se slash one twenty-one and today's episode one twenty two aliens in Canada dot ca slash. One twenty two okay and just before we sign off. I want to just tell you very briefly about a new experience that I'm launching with all of us being cooped up more and more events are going online and I've been giving a lot of thought as to what are the benefits of online events. And what are the parts? People don't like about it and it gives me great pleasure to announce the launch of the voice den at the voice then dot com. I'll speak more about this tomorrow. Taylor doesn't speak about on the PODCASTS. If you tune into the podcast but briefly what I'm doing is I'm taking the benefits of in person events where we get to. Mingo you get to meet with mentors and friends and colleagues and bringing that online unlike any webinar experience that you've been on before so okay. I'll talk a little more about tomorrow. I'm really excited to tell you about it. And you can hear about it on the podcast as well so see over in the podcast alien candidate Dot ca slash one twenty two brief cast dot FM.
Voicefleuncer Cards Game Announced
"Hey. It's Terry Fisher here with your flash briefing four Tuesday, and if you were part of the voice den last week, then you know that I announced a really fun gamified feature to it and I wanted to let you know, and it's all about collectible cards virtual collectible cards now. This doesn't interest you then. That's totally cool. And maybe WANNA. Skip this flash briefing for today, but I just want to give you a brief intro to what's going on and tell you a little bit about what is going to be happening. Over the next little while with regards to these, so here's the deal. With the voice and I've had some voice. Linzers come on so expert authorities in the voice industry and one of the things I've been doing to help with. The promotion of this event is create small digital cards, almost like hockey cards and so they're called voiceless cards and partnered with utility of attention live and what we've done is we've created NFC versions of them. They're basically digital versions that live on the block chain, but they're all identified and each one is a unique card. They're all. There's something about each card that makes it unique from all the other so truly. There's only like a one of one in the world. Now there are multiple versions of these cards, each of the people, each of the voice phones, but here's the deal for each of the voice is come on the voice Dan they get a card created, and we are giving these cards away as again a game as a promotional event and already. The response has been really really really amazing to be perfectly frank with you. So if you want to learn more about these voice, Louis or cards, and they include people from Amazon, they include people from other leading companies Then you simply go to L. A. IN CANADA DOT CA slash cards, and that will take you to the website where you can learn about how you can win these cards and we're going to be giving them away at session, three of the voice in. In which is happening in about four weeks time, so feel free to check out a L. A. in Canada dot ca slash cards. We'll be talking about this a little bit more periodically. Coming up especially as we lead up to the event, but for now you can have a look if you're interested in those and I hope you're having a great day I will talk to you again tomorrow. BRIEF CAST DOT FM.
TLA+ with Leslie Lamport
"T L A, plus is a formal specification language T L A plus used to design model and verify concurrent systems T L A, plus allows a user to describe a system formerly with simple precise, mathematics, T L A. Plus was designed by Leslie Lamport, a computer scientist and turing award winner, Leslie joins the show to talk about the purpose of T L A, plus since its creation in nineteen ninety nine T L A plus has been used to discover bugs in systems such as Amazon S three dynamo, DB XBox and Azure. Cosmo's DB T L A stands for temporal logic of actions, a logical system that can be used to describe the behaviours of concurrent systems this podcast is meant as a brief introduction of T L A. Plus to go deeper, check out the T L A, plus website, and the T L A. Plus, video course, both of which are linked to in the show notes of this episode as a side note, the videos in the T L A, plus. Course are highly entertaining because of Leslie's dry unpredictable sense of humor. I recommend them. And I hope you enjoyed today's episode. Leslie, Lamport, you are the creator of T L A, plus welcomed software, engineering daily view. What is T L A plus Taylor? Plus is a language for writing higher level models of digital systems. A real digital system is something that is operates with transistors and sending signals over the wires doing all sorts of things and is described by partial differential, equations, etc. Etc. But that's not the way we want to think of our digital systems. A digital system is one that we can think of or is designed so he can think of as operating in a sequence of distinct steps and a model of that system is one that models. It's real execution as a sequence of distinct steps, why would we want to model these real? Well, world systems before we actually start to create them. What is creating them in you'd probably want to figure out what a computer is supposed to do before you start wiring up transistors and similarly you'd probably like to figure out what million line program is supposed to do before you start writing code. What's an example of a system that we would want to model before we start working on it? Maybe you could give a a a real world application that somebody has modeled in t- LA plus and made good use of it. Well, first of all it depends. What you mean by model, everyone who writes a program has some kind of model in his head some idea of what it's supposed to do. It doesn't start with a blank screen and say, I'm I'm just going to write a bunch of code. And let's see what happens. So it's question is not whether you should be modeling systems. It's the question of how much effort you should expand in making the model for you start building the system and TI plus is designed for systems for which you really wanna make sure that you're getting them. Right. And so you want to be able to check your high level models before you go any further you've given a motivation for why we would want to model a system at TI. Plus spec is a model for a program. It's not a program itself. What is the difference between this spec this model and an actual program perhaps a factor of hundred and the size, and well reason you need to expand your model, I factor of thousand or so is that if you build a model at the level at which you really? Wanna think about these things without getting unnecessary? Details to complicate things you're not going to be able to generate code from. It what useful about T L A. Plus spec is that it can be evaluated and by evaluating this spec. We can find logical gaps in our model. And if we find these logical gaps before bringing the model into further implementation, we might be able to avert a lot of wasted time or perhaps some critical error. Can you explain what it means to evaluate a spec? Well, the ideal tool to do that the ideal way to do that would be to write a machine checked mathematical proof, which would mean that you're actually proving that every possible execution of of the system or precisely every possible behavior allowed by the model. Title is correct. Unfortunately, writing machine checked proofs is very hard and expensive. And you would only really want to do it when it's really really of life critical systems. The main tool that's mainly used by engineers is will the model checker. Now, a model checker in principle evaluates or finds all possible behaviors of the model and checks them. But now there's little language problem because two meetings of the word model that I'm about to use the model checker the bat model is actually a model of the T L A plus model, so let me start calling the set of calling the T L A. Plus what you right until a plus model. Let me call it a spec. Specification? So what you do with the model checker is you make a model of the specification? For example. You're. Specification might be of a system with any number of processes, and the model of it that the model checker looks at might say to look at check it with three processes and many even with a fixed number of processes, many models will allow an infinite number of possible behaviors. And so you'll use some kind of method to restrict the size of the model of the number of behaviors. So that it's finite, and the model checker can generate all those behaviors for example, you might say just consider behaviors in with which the lengths of cues is less than than some number and model checking turns out to be amazingly effective at finding subtle errors that people very easily easily miss very people. It's very hard from people. To to find and even on very small models. So engineers find that pretty satisfactory to the extent that engineers are willing to accept -til. I plus spec as correct with bottles that, you know, would naively seem to be much much too small, for example, Microsoft and Amazon build systems containing hundreds or thousands of computers, and they might be able to check their algorithm with three or four computers. But that gives the engineers the confidence that they need in order to go ahead and build a system, which has to be very reliable will ease into a discussion of the practical applications of T LA. Plus if you imagine a system like a distributed database or a heart rate, monitor or an airplane. These are systems that contain lots of different moving parts and in order to model them with something like t- LA. Plus, we might choose to scope our model to the critical parts of a digital system. How can we find the critical parts of our system? So that we can focus on modeling those before we start the implementation process. Well, that's what engineering is all about bath. Petitions would have a real easy time learning plus much easier for them than for an engineer, but having learned T L A, plus of mathematician, this could appeal to design a a distributed database that we would want to use. You know, there's a lot of engineering experience that needs to go into that. So it's I can't give you a general prescription of of how you do that. But an engineer good engineer will know, what are the parts that? Hard to get right. And what are the parts that just a bunch of details where they have other tools in order to check those mistakes, for example of you're looking at it distributed database people who've been building databases for years or decades. But in what's new with the cloud is that those databases are being distributed over thousands of computers. So the engineers are worried about how they actually execute those database commands, you know, how do you do this over row piece of data or something? Well, what the problem is? Will you know, they might be two major problems one is making sure that if you bought multiple copies of the database. They're consistent at another problem might be well, if you've got the want to try to make sure that data is in the place where you want to it's going to be used. And do you manage to move the data while it's being used, and those are very subtle concurrently problems and t- allay, plus is great at helping you get the concurrently aspect of things. Right. It's not particularly good. And making sure that, you know, you're executing this particular operation on this particular kinds of data correctly. A specific example of an application is that t- LA plus is used by AWS S three the Amazon S three storage system. And I know they sent you an Email at some point about how useful the LA plus language was to them in your conversations with the industrial appliances of T LA, plus two, for example, cloud services like S three or something in. Azur how have those usages of T L A plus translated to material gains in the software development process. I'm not sure how to answer that. I can't give you something. That says, oh, they've saved X thousand dollars x million dollars by using t- LA. Plus, I can say that on several of their systems. They have found bugs that could have caused the loss of users data those bugs, they would not have found without using T L A, plus and Amazon does not want their services to lose customer data. But you know, I don't know how you would put a dollar figure on how much not losing customer data was worth to them. But they certainly believe it's worth enough that they make a TI plus a standard part of their development process when. You know, they have that kind of critical problem. Yes. They've said in to summarize they've said that it forces the authors of systems to think more clearly in the tools can be used to check their heirs which you can assume as leads to save time and save dollars before we get to talking about these specifics of building models in t- LA, plus building specs has -til a plus been useful for you for solving your own problems and modeling algorithms that you're working on listeners are probably most interested in if if they're going to be writing programs. This is going to help them. I don't right. I don't know too much programming these his programming days pretty much ended about forty years ago, or so but for the past ten or so fifteen years, I I've been writing an occasional piece of code mostly as the were implementing small things. Inside of Taylor less tools, and in that those ten or fifteen years, I've probably used t- LA plus itself. Maybe a half dozen times that is I will have something that is I feel as complicated enough and difficult enough to get right that I want to, you know, have this tool to check it. Now, I can't say that TI. Plus is the best possible tool for that? Because turns out that I actually haven't been doing Eddie concurrent programming those past fifteen years, you know, since it's a tool that I know it's better to use that tool that might be better for this specific application, but threaded have to learn but more than that, I would say my experience, and it's hard for me to say do I do things the way I do because I've been using plus or did I build t- LA plus to support the way I I've. Want to do things, but the basic idea of thinking in terms of a model and of writing down, but that model is supposed to do is useful in everything I all the programming that I do. So if you look at any piece of code, I've written if it's not really trivial you'll find that. There are comments explaining what the code is supposed to do that are much longer than the code itself. Because I believe that it's really really important to think before you code coding, should be trivial. If you find that you're having trouble figuring out how to code something. It's probably because you don't understand exactly what it should do or exactly how it should do it. And to think about those things you want to be thinking above the code level to give you a trivial example. You'll problem is finding a greatest common divisor of two numbers. I guess everybody. Computer science snows, you do that with something like Euclidean algorithm. But magin if you didn't know Euclidean algorithm, and we're trying to write a greatest common divisor program, and you were thinking in terms of code in terms of you know, a loops and stuff like that. How would you possibly you? Discover you blizzak algorithm or discover a good algorithm for finding a greatest common divisor if you were thinking in those low level terms Euclid algorithm is a math Matt and finding the greatest common divisor is a mathematical problem. And so you should be thinking, mathematically, not in terms of of code, and Tony Hoare said something years ago, he said the inside every big program is a little program trying to get out. I interpret that as meaning that inside every big program. There's a small algorithm. Trying to get out. Probably not an algorithm that you would have learned in an algorithm is class that the difference is not that. It's something inherently different. It's just that. It's only an algorithm good for the thing particular thing. This program is doing and other people aren't going to be interested in it. So you're not gonna find it in an algorithm textbook. So you need to be thinking at the algorithm level rather than at the code level. What was going to say when I took some of my computer science theory classes, there was a widespread use of state machines and T L A. Plus is you describe it or I think somewhere on the delay plus website. It is described as a state machine language and state machines are simple and powerful abstraction for modeling systems in a clean way is t- LA. Plus, would you describe it as a state machine language, if you call in a state machine language, that's going to confuse people who? I've studied computer science because the state machines that they've seen have probably been finite state machines, the one St. machine that they've seen that isn't finite state is a touring machine. And that's why turing machines can do most anything and finite state machines can't do much at least they're just not very good for modeling complex systems. So the kind of state machine that I'm talking about is if you start thinking about a turing machine, then you'd heading in the right direction, well turing machine as a particular kind is a particular state machine or the kind of state machine that's made for certain purpose. What I mean by state machine is something that will you can describe what it does. But as generating a set of behaviors, we're behavior is a sequence of states and all state machine consists of is a rule for telling you what the possible. Initial states are and a rule for telling you how to get from one state to possible next states, and that's all the state machine is I think pretty much all the models that people have in their heads about how digital systems work like how programs work are state machines. Although they're not scribe precisely you think of a program as taking a series of steps and each step. It changes the state it changes the values of the variables. It moves control to the next statement and the program or something like that. But what TI plus does is allows you to write state machines, and they precise mathematical language, and it's being mathematical means that you can basically express anything meth, you can express mathematically A, plus which makes the language more expressive, which makes it better at writing high level models. And it's also makes it. Correspondingly harder to generate code from it if we're using t- LA plus to define the states of our program. What would be an example of defining the initial state of a program and defining the formula for how the program advances from one state to a different state. It's very hard to do that on the radio. Understood. But so let me give you the most trivial example, I can think of this program that has a single variable x and it starts with x equals zero. And that's keeps incremental expose one. So the first state sequels zero this that can say ex-eagles one the third state X sequels to and so on forever. And roughly speaking, you you would specify that by saying the initial state is described by saying execrable zero and the next state relation the thing that tells you how to go from Wednesday to the next is I write it as ex-prime equals X, plus one where ex prime means the value of x in the next state and X means it's value in the current state. So it just says ex prime the value in the next state equals x the value in the current state plus one, and that's all there is well, very, trivial example. But as you can see it also has a very trivial description as a state machine, absolutely. And just to. Ease any anxieties about describing this over the radio definitely are thousands of people out there listening who are vividly entertained by hearing about a simple state machine over the radio. It's just that. It's a fairly new format, you know, computer, science talk radio, but it is widely appreciated by people on their commute. So you you are not falling on deaf ear just to provide you some solace. There is a concept in computer science theory, or maybe you would say mathematical theory called the in variant there's some in in in defining a T L A plus spec. You you need to be aware of this idea of inductive in various what is inductive inference? Okay. I let's start with what variant is and in various of an algorithm. Or of a specification is a statement about states that's a predicate on states. That's true for every possible state that the algorithm specification can reach now in variance are crucially important because the reason what a program what a specification does next doesn't depend on what it did in the past. It just depends on what's in its current state. That's true for specifications is true for computers stroke, for bundles of transistors, everything, you know, the next thing that it does depends only on what's in this current state. So if you understand the algorithm that is understanding what makes it behave correctly. Means they're understanding the in various that at each stage at each step guarantees that the next step is going to do the right thing. So that's what an variant is. Now, an inductive in variant is a strict as a special case of an environment that is used to. If you want to write a proof that something isn't in variant. I don't think it's worth telling you exactly what it means. But think of it as the a proof of in variance is an induction proof. You're basically wanna to show that if it's true in any particular, you know, if it's true after for any if strew initially in the faith I date, and if it's true in the end step of the algorithm, then it's going to be true in the first state. And then I in Duchesne that's true for all n we know it's true for oh. Which states, well, if you've ever done proofs by induction will sometimes you know? I know that you sometimes in order to write an induction proof. You have to strengthen the thing you're trying to prove so the induction works. So instead of proving the thing that you wanna prove you have to prove something stronger just to make the induction work. And that's what an inductive variant. It's something that's stronger than the variance you're interested in. But that you need in order to make the induction step work win proving things about a distributed system. We are often trying to prove the maintenance of live nece, which is that the system will continue to execute productively. And we also want to emphasize that safety is being held true. Meaning well, maybe you wanted to define these things. But my understanding of of safety is that you're not going to have something maybe an in a practical applied since you're not going to lose data, for example in TI. L A, plus how our safety and live nece conditions represented. What is safety in live nece in your definition? Well, I I gave an informal and definition and since then it's been there's been a formal definition given. So these are precise terms, and let's not just my definition, but informally safety property is something that says what the system or what the specification is allowed to do and aliveness property is a property that says something that the system must do. So for example, in a few studied program correctness of sequential programs. You know, that's always split into two parts. There's partial correctness which says that if the program stops, and it's going to stop with the right answer or another way of saying that is it's only allowed to stop if it has the right output, and there's termination which says eventually the program. Must stop. We'll partial correctness is a safety property and terminations live nece property. And if you win you reasoning about systems, you really want to keep those two things separated. And what I told you about a state machine is is actually half the story. What I when I said that it's initial predicate at next state relation. That's describing safety you need. Some you need to add something to describe liveliness and best way of doing. That is in terms of what's called fairness, I think it specified don't try to to go into explaining. You know, exactly what fairness means. But an example of a fairness condition would want to add for that little program that just keeps an incremental X by one is to say that it never stops. And you would do that by saying that but saying there's a fairness condition on the next state relation. But once you get into currency their LA. Types of lifeless properties that want to express. But generally, they're all types of fairness now, the T L until a plus stands for temporal logic. I don't usually tell people at because I don't want to scare them. Temporarily GIC was introduced into computer science in nineteen seventy seven by Amir Puello. And but I saw it and tried playing with a bit it became clear to me that that was exactly the right thing you want to us to talk about live liveliness. So that's why I started using it. But turns out that the kinds of that kind of use of Tempera logic. It's not useful for safety, except when you're doing the reasoning it's it's safety when you're using T LA, plus the safety part, which is basically the initial predicate in the next state relation. It's sort of wrapped into a temporal logic formula. But you don't even have to know that you don't tool stone care how whether you give it that formula or just say here seeing this you'll predicates the next state relation. But to specify live liveliness, you have to write a temper allergic formula. It's pretty simple formula. But it's something else that, you know, something that you need, but it's with safety that temporarily GIC and the t- LA, plus the temporal logic part of it, the LA part of it is is is really great the way I look at this interview is to give people a bit of a teaser for what T L A plus is. And if it sounds like it might be useful to encourage them to go to the website. And check it out and watch by the way, you're amazing videos. You have some really entertaining videos on this. So I really do look at this conversation as as fairly introductory. And I I understand if we can't cover all of the aspects of T L LA. Plus, I do believe some people out there. We'll find out. About it. So I think this will be a useful interview. Why should the listeners checkout Teela, plus, well, let me give you one anecdote. Remember, this is just one anecdote there's a European Space Agency spacecraft that landed on a comet years ago and inside of that space. There was a real time operating system that was controlling some of the those instruments is called virtuoso people who built virtuoso sided to build the next version, but they decided they want to base do it using formal methods and they decided on William T L A. Plus, I sent an Email. I found out about it just because they wrote a book about it. And so I sent an Email to the head of the team and Astor sort of what their experience was with CLA. Plus, and what he told me is that. As a result of using t- LA, plus the new system used one tenth of the code that the original system had used and reason was that by being able to think about what they were doing at above the code level and think mathematically they were able to come to a much cleaner design than they have been able to do before. So I'm not going to no guarantee that, you know, anybody who scream if they use T L A, plus they're going to have ten times less code in their next project. But that should make them start thinking that maybe they should be doing something differently from what they're doing because there's so much emphasis on coding. But you know, no better coding is not going to reduce your program side book sized by factor of ten. That's only going to happen through better thinking that comes by. Thinking above the code level. So what I will tell your listeners is that. I don't know if LA plus is going to help them in what they're doing is going to help them right there. Next probe is going to help them with their next program in the sense that they'll be able to write a ta plus model, and then checking it is going to help avoid errors and all the things that reasons that people at Amazon and Microsoft were building complex tributed systems use it. But what I can tell them is that if they learn to allay, plus and get some experience trying it it's going to improve their thinking, and that is going to improve their coding, what are some key ways in which mathematicians and programmers differ in their typical thought processes mathematicians think mathematically and programmers don't they tend to. I think in terms of code, and would you say that L A, plus encourages programmers to think more like mathematicians, I would say at some extent that forces them to because we're going to have to come to terms with the fact that what they're writing is a mathematical formula now, I should correct that it encourages them to succumb to Crips with it engineers, they've they still talk of T L A plus spec as code and there's plus cow, which is a an entry way to T A. Plus that looks like a little toy programming language, except it's infinitely more expressive because the expressions in that looks like a toy language, except the expressions can be any formula of mathematics so enormously expressive, but it looks enough like a programming language that you know, they'll find easy entry. But that as the entry is at the same time going to. Be the drawback in trying to get the benefit of learning to think, mathematically. So they're looking for a nice tool to try. There were actually a couple of websites that give examples and one has a little video course about using plus Cal and they're great. And I encourage people to look at them. But I also encourage them afterwards to try to find out about using TI plus in the raw, but a plus Kyle algorithm gets translated into a spec. So as you using plus Cal, and especially as you're trying to debugged your algorithm, you wind up looking at the T L A plus translation, and which by the way, is is it's not like translating, you know, a program into machine language. It expands. The size by it'd be a factor of two or three. But the translation is quite readable. A you may wind up looking at it when you're debugging your. Your plus cows spec. So it is a nice gentle introduction for people who are frightened by mathematics, and many if not most programmers seemed to be, but I really encourage them at some point to bite the bullet and start using feel a plus in the raw your sequence of videos on YouTube are also really useful resources, and they have a great deal of subtle humor. They're pretty funny to be honest. You're changing outfits throughout these YouTube videos. So it's it's kind of surreal in some ways, especially because it this dry humor contrasts with the the seriousness and the the cleanness of your reasoning. Do you see humor as serving a utility in presenting computer science? Concepts. I dunno keeps me interested in in. What I'm doing if I can put some humor into it. I don't know if I should give this away. But there's actually a reason for those custom changes, they break the continuity, which means that if I need to fix some part of the video I can just change that part of the video, and I don't have to worry about you know, being the same costume. You know, you know, as my hair the same length and all of that. Now is there some sacrifice there because then you have to be deliberately changing outfits in the first iterating of the video, but leave me changing outfits as a very minor part of work that goes into producing a video. Especially because some of those are like putting on a clown nose or a hat. Okay. Well, let's Lamport. It's been really great having a chance to chat with you about T L A. Plus, and I think we'll have motivated some people to check out the language more. Thank you for creating it. Thank you for your contributions to computer science and thanks for coming on software. Engineering daily. It will. Thank you. It's been a pleasure.
"Merriam Webster's word of the day for September seventh. Today's word is plotted spelled P.. L. A. U. D. I T. plotted is a noun that means an act or round of applause. It. Can also mean when used in plural enthusiastic approval. Here's the word used in a sentence from the Patriot ledger of Quincy. By J N. Miller. For All the accolades and two grammys, she's one. This might be the song and album that finally earns McKenna the plot it's. Also. Richly deserve. You earn plaudits for your etymological knowledge if you can connect the word plot at two words besides the familiar applaud and applause. A word coined by shortening the Latin Term Plow da meaning applaud plotted had gained approval status in English, by the first years of the seventeenth century the Latin Cloudy Day is a form of the verb plowed array meaning to applaud plowed array intern is ancestor towards like explode plausible and the archaic term displayed, which is a synonym of the word explode with your word of the day I'm Peter Sokolski. Visit Merriam Webster Dot com today for definitions wordplay and trending word look ups.
"The Merriam Webster's word of the day for July thirtieth. This episode of Word of the day is brought to you by progressive by definition. A discount is a reduction made from the gross amount. Or value of something with progressive drivers shopping for car insurance can earn an average of six discounts when they sign up visit Progressive Dot com today to start your quote discounts not available in all states and situations today's. As word is Phalanx also pronounced Phalanx and spelled P. H.. A. L. A. N. X.. Phalanxes announ that means a body of heavily armed infantry in ancient Greece formed in close deep ranks and files broadly a body of troops in close array it can also mean one of the digital bones of the hand or foot of vertebrate or a mass arrangement of persons animals or things or an organized body of persons. Here's the word used in a sentence from billboard DOT COM by Carl Lamar despite beyond say missing in action Schuyler gray filled her shoes admirably as she sang the hook and played the piano in addition to gray a failings. Phalanx of violinists helped anchor the heartfelt performance. The original sense of the word Phalanx refers to a military formation that was used in ancient warfare and consisted of tight block of soldiers standing shoulder to shoulder. Several rows deep often with shields joined the word Phalanx comes from the Greeks though they were not the only ones who used this formation the Greek term literally means log and was used for both this line of battle and for a bone in a finger or toe the word ended senses passed into Latin and then were adopted into English in the sixteenth century. These days of Phalanx can be any arranged mass whether of persons animals are things or a body of people organized.