When you create a new class in CSAH as a teacher, you will see a sample student in the journal section of the class list. You can use the sample student to try out creative tools and the activity library as if you were a student all from your teacher account. When sample student is enabled, you will see the sample student at the top of your class list when you are sharing an activity, selecting a student to tag, or posting to student journals. To show you how to use sample student, I have shared an activity with my new class. To add a post as a sample student, I will locate the activity in the activities tab. Then tap the green add button and respond as sample student by tapping sample student. Here I can view the activity that I just shared exactly how a student would see it as they are responding. I can add a response using any of the creative tools and view the instructions as needed. Now that I have submitted my response as a sample student, I am back in my teacher view. I can view the test response I just created as the sample student. You can disable or enable sample student in any of your classes by clicking the wrench icon, scroll to the student section, and toggle on or off enable sample student. Thank you for using CSA.


This year I'm not presenting. Every year for Bosnia. Yes, I see. This year I'm not presenting. Every year for Bosnia. Yes, I see. Can I have one? I did that once. Let's mix up them. Thank you. I'm going to talk about the Spark language. Usually I do table presentations. I present scientific results which we achieve, or tool demos, or tutorials. But not today. Because all of this you can find on the Spark website. I'm going to talk about the Spark language. I'm going to talk about the Spark language. Usually I do table presentations. I present scientific results which we achieve, because all of this you can find on the Spark website. So that's easy. Today I'm going to use this opportunity to explain something that we don't show otherwise. A historical perspective of why we got there. And you can see that on this line, it goes back to 1997. We're going from team to team. So I'm holding the project leader for each of these books, I believe. And we end up with a small library of books in part. Maybe a tenth of a shelf. And it's not finished. So maybe one day we have a Spark for the list. Something else I want to touch on is something more recent that we see interesting, fast projects that use Spark. So we're going to work on this, of course. So I'll talk about those that are particularly noticeable. So going back to the history of Spark, it started long time ago, more than 30 years now, 1987. The company is a great name, program validation listed. So they have this goal of indeed doing, giving warranties for all the programs that you can run. So it's a little added with a failure that you have in force. So this company went through various renaming and acquisitions. It was practiced during a long time. Now it's Alpha. And in these long time, they had great projects. One of the first, really big, was this C-130J, which is a big military plane. And the mission computer application was done in part. They had also a security, so that's more of a safety realm, that security project that took an year, which was a project done by Altrand for the NSA in 2005. And we'll talk about it a bit later, because in 2008, this project was open-source. Because of this, because of these events, so Altrand partners with Aircore, and we convinced them that there was some value in pushing the technology forward open-source. So it's been a GPL system. So the past three I won't cover much today. If you are interested, there's this article by Roy Chapman and Florian Chanda that really covered this period. So a number of things evolved. And 2008, we started something new. So we started this project, Highlights. The small timeline is simplifying the use of all of this. And what we ended up doing in this project was rebuild the world. So we packed the previous technology, kept the good ideas, and we did it. And the result was this Spark 2014 language. In between, so while we were rebuilding the technology, projects were still being done. So two noticeable projects are the IFAQS project. So IFAQS is part of the air traffic control over the UK. So when you travel to the UK, usually waitlights are going to use the shovel. You're using this software, which helps air traffic controllers to foresee possible collisions, drive the decision-making and asking planes to do some actions to avoid collision. And in 2013, the first version was issued. And we'll talk a bit more about this because this one is open-force. An interesting fact is that these two were initially coded with the previous version of Spark of this week. And in the past years, they have both been related to Spark 2014. So you may say, well, migration. Isn't it a big word for going from the subset of it all to the subset of it all? Because it's precisely not as good as the subset of it all. Please. You're so sorry. So let's see an example. So this was previous version of Spark. So it's not a subset of it all. It was presented in those days as really a different language. So it was heretic to say that it was a subset of it all. It was using a subset of it all as the operational code on which it was imprinting logical adaptations, logical language. There were two languages in one. And so for example, here you can see an API about computations and price of something that looked like the post-conditions that Dirk Holbrock just mentioned that says that when ads returns and it must return something in the sum which has some properties, same for melt and then this one returns this exact value, et cetera. And you can see that already there were some rich expressions like these quantified expressions that you can see in mathematics to quantify your collection. But there was a purely logical language without relationship to what's executed in English. So only for consumption by the analysis. So we transformed it into that. So maybe at the first loop that doesn't look so different from what you had before. Maybe a bit of syntax line. In fact, so all these things now are part of the language that's executable that's really code, code that expresses properties. So we're really tied to what was just presented before. These are the post-conditions that were mentioned by the lack of before using richer properties like quantified expressions here. And these are additions that we felt were needed in Spark and so are not yet in Ada and we are pushing so that we are included in this version of it. So here for example, these contract cases why do you think we need richer contract? Because there are a lot to specify pre-posts by cases and it's very common to have services, functionalities that behave differently depending on the inputs or the sets of inputs that are given. So we have all here ads. It's a saturating addition so if the result is less than a differential the result will really be the addition. Otherwise, if the expected result would be greater than the threshold then it's such a waste. So these contract cases have these semantics that they divide the input and this can be checked either vertically or vertically. So I'm just showing it here with really the nicer display of symbols when you have a ligature in your monospace fonts. Some of my colleagues hate it but I take this occasion to advocate. I find it cool. It's really nice to display properties that makes it easier to understand. So what we built during this highlight project is this ecosystem of open source tools. We built our own ecosystem based on building blocks. So AltarGo, CVC4, Z3, Coq, all these are automatic poolers here. So the tech formulas say true, false and unknown. Interactive poolers here, so they ask you for inputs and help you work out the proof you saw. And all of these have communities. Some of these in Coq, for example, has a huge community. Dozens and dozens of research institutes. Those that are most interested to us are these, the automatic poolers. And Y3 is this autistrator of proving technology. So what we've done in this project is we've done it uprograms to this intermediate Y3 code. So Y3 is our intermediate language, so what we call it. Intermediate verification language. It's the assembly language for doing this kind of deep analysis of code that proves the victim verification. And from Y3, there's something called BC, verification condition generator. I'll use the same simple term formula. That is from some code here is going to generate mathematical formulas for this community. And we have a shared lab which is called 15 News between us and in Rial, which develops this part. We co-develop Spark and Y3, so that they have a really, really great integration to go further than what we can do. Yeah, so this, all this in fact is for the proof analysis that this part does. There are two analyses in fact that we do. There's proof and there's flow analysis. Flow analysis is something simpler that checks all the flows in the program. And this is done at this level, really, at the level of this net proof tool. So this is depicting the harder or really more complex task which is to go through. But in two slides, I'm going to present now what we do with flow analysis and proof. Because I'm going to say it's not a technical tool, but just so that you have an idea of what it does. So flow analysis does that. Here is the signature of a service in ADAL. And now you can add to it with the ADAL 2012 syntax some aspects to it. And this aspect global is an aspect introduced for Spark. So the tools that work for Spark understand it. And here we are completing the signature of Stabilize with the global variables that are accessed by this service. Here it has additional inputs that are not passed by parameter. And it has an actual variable rotors. It might be more than one variable. It might be a name that references variable with that. Which is partially real or real. And once you've done that specifying effects that you want the function to respect then the tool can do this flow analysis and check that the program implements this specification. So that's the explicit specification. You might have also implicit specifications namely in terms of flows that everything that you compute serves a purpose. Otherwise you will get a warning. While you're not doing much here you read that mistake or that everything that you read is in the slide. This is the typical reason. It takes both explicit and implicit specifications. So that's for flow analysis. And the second one is proof. So proof using the same signature for Stabilize. We can now specify functional behavior of what it expects in entries. This quick condition that the modes in entries shouldn't be off. And get specified post-conditions. Here is the if expressions latest addition to 2012. In the case of success then there should be a relationship between the old value of reverse and the new one. Of course the previous contract will be added together just focusing on one at a time. Once these specifications are added to the code the proof tool can check that the program implements this specification. So this is for the explicit functional specification but there are implicit ones. Namely that there are no runtime errors in the code. So all accesses are within bounds. All the arithmetic is also within bounds. This takes the ranked checks of AI. So to talk a bit about how we got to the current solutions, technical solutions I chose to present two in terms of objectives that we had for this revamp of the Spark technology. And so we had really high level goals. Not technical ones like let's use this technology, it's better than this. So we had some of these but the high level goals were these. First functional contracts can be executed tested developed because we want them to be considered as light code. So we don't want to wait for formal proof of these to be useful. We want them to be to replace less precise comments and specifications in natural language. We want them to be able to replace some of the testing articles that you would have otherwise in the separate artifacts and the code. So that was one of the main things which completely related to the changes that were going on the data at the time which was this addition of contracts of other forms in the data language. Data subset supported in Spark should be as large as possible. Indeed. The main reason not to use the technology because it doesn't apply in your base or definitely people who do see will be able to use anything that will do. We like people who use AI to be able to use this technology as much as possible. So that was a big change. The user needs no annotation to start proving code. So there are various levels in which you can say proving code. I'm using it here in a large sense. So giving warranties on the code whether it's by analysis or by proof. And in the booklet that you will find here that was on the far side on the right in my first slide. The booklet that we wrote with Thales we have defined five levels of different analysis of proof achievements that you can reach. And so at the lowest level you shouldn't have to work too much. You should be able to just have a program that feels fit into the subject and starts by nature. This one is that you might want to go further than that at some points. But you want few annotations to fully prove the code. We'll say what few means. What we want really here is that it's super hard to get beyond the initial steps. The last one, we'll also need a bit of background. It's manual proof is something really hard that people usually don't want to do unless you approve big. So we want manual proof to be in that required. So looking at each one of these in a few more details. We want contracts to be executed, tested and debugged. So of course that's using the electronic software conditions and post conditions. If you were here in the previous talk you'd know all about them. So that's this aspect three and post. So really, our view now is that contracts are code. We can do as well with contracts as we code in terms of usability, integration, as bad as codes for the functions with the crazy things. Spark helps you here with that respect. It's more restrictive. But that needed some additions to AIDA. So we were very pushy with the ARG so that they include in AIDA some of the features which we really needed for proof. Quantified expression, the ability to state properties of a collection. Expression functions. The ability to abstract properties. You don't have to inline everything each time or have to go to the body to state something that you would need in a spec. It would be crazy. It would be completely contrary to this spirit of separating the spec and the body in particular when we want to read to specify rich properties, not just bounds or things that you would inline. So for these two we I don't know if we write so we pushed in of the ARG and in particular our colleague that they were a member of the ARG so that these two features were part of the ARG. The fact that the AIDA subset is large, there was a departure from the previous technology. Previous technology adds this correct by construction motto that if you followed certain steps and restrictions it was far easier to verify formally your program. This is true. Unfortunately that's very rare that you can follow all these constraints from the start. You have to be in a rich, nice situation where you start over and do everything as you were told from the start. And you may need then to completely change your ways of doing things so that's really your big constraint. So we opted for something different. We say it's all these constraints they're going to be a new kind of standard so there are other tools we are developing some of them but there are other tools. We're going to opt for every feature that doesn't make formal verification impossible. So we include it almost everything. What we still excluded to this day are pointers and exceptions. All the rest is in. So in particular all types, discriminant types, types with dynamic bounds. Anything can take off. No restriction on confirm flow. So you can return from within the loop anywhere. You can have a complex hierarchy of packages. That's not our business so we know how to make sense of the code. This is a separate issue. Recursion again in many embedded situations, in some non-impeded or others you might and that's okay because we can make sense of it. Generics there was an attempt that supporting generics in the previous version of Ada which was quite limited because the attempt was to check generics once and for all. We wanted to allow any generics that the Ada language would allow so we opted for something much simpler which is to analyze each instance. We support generics but in a way that may be less principled than before but much more permissive and allow more code together. For all these pictures, all types, no restriction on confirm flow recursion in particular these impact or there are good reasons why they were not supported before. There are good reasons why they were not supported before. They can be quite difficult to treat the proof and when we implemented this we ended up with subtle bugs longer years in the treatments of types with dynamic bounds in particular complex confirm flow recursion really subtle bugs in how we generate the formula and which ended up in possible unsoundness in the tool. So we believe today that we have had good fixes for these bugs but that's one of the reasons why, ideally, you want to be possible as well. We made this choice to allow as much as we could do and to focus on some of course each one of these few bugs that I mentioned were treated very carefully to be sure that today we don't have them or anything that we can do. Still initial version of SPOT 24.2 did not support a number of things. So we felt we had done a big jump here. Some people were saying, well, you don't support O, you don't support transparency, tasks, you don't support data environments that were just added to that as well. So the exact thing as well is that's why we were doing a big jump forward and O and we can see because the previous version of SPOT was supporting slightly OO, so no dispatching calls but type pipes not really O but a bit of type pipes. We were supporting some key grantees and it was called Revensk Park so restrictions of Revensk car for 5.0. But we opted for let's get the tool set out and we'll have a roadmap for these as time goes by. Something else is that Spark code from the start after a few experiments where we were looking at solutions to mix data and Spark code, we opted for something quite fine grained and at the same time prescribed by the user. So the user can say exactly in their code where the Spark code lives. The tool can analyze this so that's quite possible to mix things that are supported with other exceptions on the user. So the data subset is still expanding so we are adding longer years of programming including dispatching calls and for this we use the best that academia as shown is possible to do which is to show that derived classes are providing subset of behaviors of the parent classes so let's call the long name is LISCOP substitution principle for example that's one of the means to comply with OO in AVI-LIX context now. So the DO-170-8 is AVI-LIX standard, allows for that and there is a special supplement to allow for OO that mentions that LISCOP substitution principle should be verified by testing but so essentially that's the same as impact on correlation proof but on the proof scene it means that when you derive a function your precondition will be possibly weaker so you will accept to be called in more context than the thing you derive from but your post addition will be always stronger so you will deliver more possibly to the color because you might be called through dispatching calls with the static type that is one of your practices so that makes the kind of analysis that we do in here function by function possible we had each support vocal currency one year later so again using what had been done in previous technology so we support Revenscar really almost all of Revenscar even the extended Revenscar profile that has been defined about two years ago and contrary to the previous technology we insisted on not having a host of annotations that you need to put in the code so it's mostly generative all the things that are accessed by whom, by which tasks how to detect data races much less annotation much less user work but it means also it's less modular so it really builds on the whole program to really detect all possible data races support for type predicates, type invariance so I won't go into much detail but there are two types of data invariance in Ada and we now support both for why we had to do it one by one because in fact Ada is defining what this means to be type predicate or type invariant dynamically which means that it checks at some points in the execution that some properties are verified this is not enough to prove type predicates these are the things that should always hold what they call strong invariance in Wikipedia and type invariance, there are things that should hold outside of the defining package what they call weak invariance which means that they are less good than the strong invariance which means that sometimes you allow to break them when you define operations over your objects and to be able to prove them you have to be much stricter you have to be able to load these to mention any global var mold that anyone can modify you have to be able to assume them for example when you enter a package that is responsible for an object and how to infer that really these guarantees are strong always hold when they should hold and so we had to define stronger roles in Spark performance that we could implement in proof and proof and finding an exciting one on which we are working now is the support for ownership access types in Ada and Spark so Ada has a really rich access type so pointers which prevent the normal problems one which is not prevented and it's explicit when you do uncheck the allocation unchecking that can worry you is automatic save the allocation management of memory and it's something that other languages like REST have solved for a number of programs by using this notion of ownership where a pointer really holds really owns everything that the tree of memory that is underneath with mechanisms to borrow this ownership when you're doing a temporary modification to a program and so we have experimented with that last year in the context of that we even have a prototype last week we sent submissions to the CAV scientific conference for the underlying scientific mechanisms for Ada Europe for the proposal for the future Ada standard you can also read the Ada issue 2014 if you want to be a good language lawyer so that's the thing that's cooking or I'll say the next two years because let's not be too ambitious the rules will take time to really redefine for Ada and it's probably in combination that's a great example where different parts are moving in the same directions although we will certainly have a slightly different answer for spark which is probably restricted okay so users are lazy we are users we want to have all results without doing any work and in particular when we start and we want to try out we'd rather just see what good is it for us before we invest any more that's why it was important that we can start doing these plans and these proof without further use so every program signature in fact it has a quick condition which is implicit in its signature that all inputs of the program are in their types and when you return all outputs are in their type there are some consequences in terms of what you initialize of course so spark is a bit scripted than Ada in that respect that when you're passing things around they have to be fully initialized in their types but that gives a really reasonable the default functional contract then you need to know inputs and outputs what are these they are partners so that's easy they are in their signature and global variables might be really global in terms of having the lifetime of the program or syntactically and output at an outer scope and so this is what we call these global variables that are read and written by any given program directly and directly to both they are directed by people so here again this analysis is not modular it goes through the call graph and collects all effects so that you don't have to do this work now when you want to go beyond so you're satisfied with the tool to achieve more you have to start with some work but what we claim now is that you need few or fewer annotations because few is quite relative to where you start from few for many would mean none no annotation that's not possible again it depends where you put the goal if you aim for something easy you will need less work for something harder more quality you will need to work more so yeah proof as I said is mostly modular so we will analyze using the very complex tools very rich SMT solvers sub-program by sub-program which means that to analyze calls we will need whatever information you give us preconditions, post-conditions in particular in some cases we can do without because we have inlining mechanisms so internal sub-programs that have no contracts the tool some loops so what we call the simple four loops we just enroll them so that you don't have to add the necessary annotations in simple cases and things that do not participate in the API the API is really the specification but things internal we would like to strip all of them if possible and try to go in this direction you can factorize annotations for example data invariance that is really important to add support for this type the biggest type invariance because not putting them in means that you should specify them for every pre-post everywhere where you manipulate some of these data so that's really important factorization here and now a lot also of these benefits has to do with how we now formula so that's the technology behind it we completely replace the technology using state of the art and all this direction of formulas you need much fewer loop invariance special kind of annotations you need for loops sometimes you don't need cut points so ways to simplify the proof work just to show it in practice an example where you really need fewer annotations spark scheme container for staff 3 and there was standard implementation of that algorithm and Rob Chapman who was at the time a leader of the spark team at Antron wrote the spark implementation of that thing so this spark implementation so there's a scientific article about it and this spark implementation requires a lot of work so you had many annotations for effects and dependencies so the global dimension there were many preconditions so I don't call it here just a precondition because a precondition could be tens of lines of code so I count conditions the things that you add together because there are new conditions that you want to check and there were a lot of conditions in loop invariance as well there were loops there were a number of annotations to just do with the limitations of the tool in terms of scalability and even with that you have to complete a number of proof manual so there was a huge effort for someone really a worldwide expert in the technology was led to this moment for some effort at least to prove absence of random errors on this code that's the situation today with the current technology it's really achievable by anyone and that's related to what I mentioned before so to end up with this part manual proof so you don't want to read that that's why it's so small on the left you have a formula that was generated by the previous tool that it could improve there's an encoding of trace in your program of a static path in your code and this h1, h2 correspond to assignments, calls first thing that occur on this path with an encoding of all the data types and you want to prove this conclusion that might correspond to a post condition or an error well when the automatic proofers of the time didn't do you had to go through manual proof possibly so this is a manual script where you had a number of instructions do this, improve that by this rule and wrap this instantiate that et cetera manipulating this formula so this we won't do at least not in this shape because these formulas are really far from the code here this is a different language, this is yet another language obviously that's a lot of languages so we quite too much effort for the typical projects even those having a really critical and static map so what we do now is that we target automatic proofers so we have support for with the state of New York's SMT solvers, alt-target, cvc4d3 and the whole platform really targets all of this with adaptations to the formulas and these really handle well arithmetic and quantified properties that arise from the encode the encoding the encoding that we do apart from this specialization the natural encoding that we do is also tenoring these SMT solvers so we really focus on automatic proof and not so much manual proof like before and the user has some control over the strategy of proof and timeouts I won't go into that but that's an editorial level when we use the tools ok so I've roughly 10 minutes to go over four projects good thing is that there aren't that many so so Joaquin from there who was here before ah so if you have questions at the end that's for him and he has this quite rich library of things that are useful in physical applications that is mostly included in Spark but it's trains for our containers UTF-8 parsers that were just added yesterday officially and a few wrappers on Aida code but wrappers so that they can be called from Spark typical also thing that we do implement them in Aida but make them available from Spark certify is software for this drone for this smaller crazy fly drone that you can buy open source platform and certify is the software that runs on top of it to do the stabilization was coded by my colleague Anthony and he replaced Friartos on this by Ravenscore Profile of Aida in the meantime and the stabilization communication code by Spark and did absence of a runtime error proof so there is a cool demo feature where you can let it fall and it lands slowly at least we can do it in the small rooms like that I use in prototyping teaching research so we have a company Sojilis often we have representatives here who are using crazy fly for prototyping and Jérôme from EZA-8 we use it in teaching research Poly of I talking about Jérôme is developing this high-tech middleware for ADL so ADL is architecture of the stupid language there is a tool to generate Aida code called Ocarina but of course all the all these things that are generated they need to talk through this middleware so this middleware was produced in Aida and now it's been moved to Spark and it tells a bit of this story in the paper that you will find here that it presented last year at the pharmacy and property and the cool thing so it did proof of absence of a time errors proof of some contracts over this middleware and the coolest thing is that he had a colleague Christophe de Arnaud and they went through this process of developing this tool or adapting this middleware from Aida to Z to use on one side Spark and on the other side from C equivalent to D for C to prove absence of a time errors and possibly more but he did it much faster and his colleague at some point had to stop because he was too hard not to say that it's impossible but Aida and Spark made it much much easier to achieve Pulsar so still from Sojibis still the same people here it's drawn to pilots so there's not yet the public code repository but there will be by the end of the year it's still ongoing so what they achieve is in the autopilot is manual and stabilized flights and soon they will have loaded flights and then really full autopilot as part of a project to achieve really high level of safety for the drone industry so the highest level level A of the Aida standard D178 so Spark is one part of the process that put together around agile methods and formulated to achieve that at reasonable cost and so Spark is used for some pulling some of the functionalities and also absence of a time error Splato X glider by Martin Baker a researcher from Technical University at Munchen it's a firmware to control this and mine fixed wing glider model to collect weather data it's launched from a balloon and did glides but how do you get it? well we need a kind of autopilot and they did that over a very small period of time a few months they achieved the target proof absence of a time error and functional contracts so you can also see the results in the slides at this location and what I show here is that these are all the units of codes in the software for the glider although the green here has been proof of absence of a time error and functional properties the gray ones are the spec size part and the black ones are the part here and so yeah it's ongoing projects but they already achieved a lot in a very short time I took in here I mentioned it at the beginning I was led by Glendale Barnes at Atron a few months maybe one year project for the NSA to demonstrate that it was possible to develop very high security software so EAL5 level with formal methods at the reasonable cost so the cool thing is that all the private artifacts statistics on the original code are available from this webpage and you have a version that we have completed the translation to Spark 2014 not long ago which is part of Spark Pro or Spark Discovery and which is part of the example that we distribute with the release now Mouen Mouen is the largest Spark open source project is this separation channel by Adrian Ken Rexiger and Reto Berke so these two are researchers at the University of Rathausville and they work with Securitz which is a security company in Germany so you look at the website we need to know all the details of the multiple features that have been added since 2013 it runs on X8664 and the goal was to have this very very small code base of 3,000 lines of code in Spark 300 lines of code in S&B S&B grown a bit since then but it's very very secure software on which they prove atron software timers one thing is that the latest version their websites they put it on MirageOS on top of it so it's really functional on their laptop they use Mouen it's really a functional separation channel and to what they say which is true is that Mouen is really a milestone in getting this first open source separation channel that is proved for absence of timers and the small one it's Mouen that can be modified by others because of its small size and its simplicity so if you're interested in security look at this one as I said before the code was originally in the previous Spark and they managed to migrate it to Spark 2014 and so now it's moving on with the newer technology something interesting is that security is never ended the battle you have to defend against the tomorrow and how best to illustrate the strength that they had with their approach then to see how well they did with the mail down and the spec code which were completely accepted by the mobile community and if you look at these mails that were sent on the MirageOS on the menu list so you learn that mail down is not necessarily by Spark but by the way that they selected very very low set of optimizations options to do this virtualization and a spec is really mitigated and although it could be vulnerable it's much less than if they add multiple possible other jumps that they did not have to defend anything so both security is not a software thing security is a system thing and in software there is the issue of choosing that but certainly the choice of simplicity and doing for strong guarantees like they did comes from a lot of the results that they did here so very fast Spark community resources so there's a community release every year next year it will be bundled with that so we have only one of the nodes and if you want to get the most from Spark there's a small difference between Spark and Spark 1 the number of printers that are shipped so we're only a shipped one right now with what we call Spark Discovery so Spark Discovery is both our pro and community version for everyone Spark Pro is the one for people who pay us but on the community version in fact you can install CPC4 and G3 easily it's documented so please look at this to get the most of proof and in particular some of the features like on the example will only be available now if you want to learn Spark now there's plenty of online resources Edakore University there's another 500 class which is not checked on the website which is you can access it from GitHub and all of these will move to a new Eda and Spark learning website from Edakore Edition there's a blog that will move to Edakore Blog this year so you can try to cover but you will find them from the Spark website the great thing is that some people in the community are also producing learning materials so for example 0MUG and a list of gyros they're putting this part by example for teaching nothing better I produce a really nice tutorial which is going to Spark so if you produce anything like that let us know we're very happy to have located there are community events we try to gather both open source and other professional communities around Spark so with plans and researches Spark and Pharmacy Days Spark and Pharmacy Days but I think I was biased here which occurred for the first time in 2017 will occur against this year at National Institutes of Science and Technologies in the US on June 27, 28 great program, great speakers if by any chance you happen to be there drop we have presentations upcoming presentation at conferences so Alexander Senier who happened to have presented his work at the Embedded Mobile Automotive just before me so if you want to have a look at what he's doing for security you can probably watch the video later we'll be at Bob's conference in Berlin and there will be presentations at Edakore obviously finally if you want to play with Spark and you're too lazy to download the tool you can play with it this address right now it will be also part of the website for example click around so prove by clicking yeah so what's your first project with Spark that's my question to you maybe you have time for one or two questions is there an impact at runtime between AI and Pharmacy Days


Hello people of the internet, my name is Johnny and welcome back to another video where today we have some FNAF into Madness news. I think my cam was a bit wonky Yeah Sure good enough FNAF into Madness is the next game Scott wants to walk on and it looks like it's going to include voice acting because over on voices comm Where and that's where Scott goes to get voice actors for the games like Syslocation and custom night all that stuff. He actually has actually posted a Voice acting job for people and two people have applied or actually we don't know how many people applied But we know that we know for sure that two people are getting One job. So it's kind of like Nightmarion from custom night in a way where it's one Dogs, can you shut up where it's one job? But there's multiple voice actors for it. If you don't understand, we're gonna get into it now So let's just look at the the description for the job Hope they don't continue Grounding because I need to make a video today. So like I said previously voices comm is a website you can go to It's mostly used by voice actors But people looking for voice actors post jobs there and then voice actors on the site can apply for those jobs And get it. It's really simple. It's really easy to use. I'm not even signed up because I'm not a voice actor but this is where Scott goes to get voices for the games and That's all he's used it for so unless he's doing something brand brand new This is FNAF into madness and we know that because the AAA game is gonna be You know made by a big company. So it's not gonna be Scott looking for the voice actors It's gonna be the big company looking for the voice actors with Scott's approval and the VR game is I believe also be made by another company. Yeah, it is. So that's not gonna be Scott looking for voice actors as well And also the VR game is based on FNAF one. It might still have some differences But besides that it looks to just be a FNAF one remake. Maybe I don't know. We haven't really seen much or really anything about it besides the Description and the name of it. So we don't know if it's gonna contain anything else But since it's also being made by another company Scott won't be looking for the voice actors the company will the only Choice unless Scott kept something secret from us the only option left For games that he's making is The next game the next FNAF game FNAF into madness Which is FNAF? I'm which is cool So here's the job he posted. It's called a journalist reading blog job number 327082 And both the people that will be looking at after this have the same Job for this blog So the posting details post a date February 26 2019 at that time Respond by the same date word count of 1,000 exactly and the Finnish minutes are six minutes and 40 seconds. So that's how long the The script is language English North American gender both Endrange young adult, excuse me, and then category Video games, excuse me. I'm drinking a coke Hashtag non-spot Okay job oops job description. This is actually a bit more than what it sounds like, but we'll stick with But we'll stick with this title. So journalists what it means by what it sounds like is Journalist reading blog job Scott wants to make it clear that you're gonna be more than just a journalist You are having a bigger role than that So in this role, you'll be reading the development log of a failed project in hopes that whoever hears your recording Will be able to succeed where you failed it should be read without too much emotion But with hints of anxiety Frustration as well as as well as grave seriousness. It's in I It's yeah that the person who hears you listens imperative Again, if you're new to this channel, then only thing I have to say Well, I got two things to say to one. Why don't you subscribe?  So notes from voices comm this job boasting has been reviewed and approved by boys I don't think this is anything. No, it's not what is with you dogs and barking whenever I'm recording so the journalist really reminds me of Henry in FNAF 6 where He was kind of like he was the FNAF 6 versions of the phone guy. He was actually cassette man his name and the files and pretty sure it was and then Later on it was revealed that Shot up from it was revealed that he was a Much bigger character than just you know the man on the cassette tapes. So that this is what she's Christ. This is what Reminds me of this is what that reminds.  We don't know when it takes place where it goes on the timeline and a failed project that could be a lot of things and There's so much. It's kind of hard to narrow it down but now we're going to look at the two people that have actually got the job with The journalist reading blog Job so the first person is Sarah Miller cruise Who is the first person that auditioned and first person that got the job for the role and Scott left her review a really Why stop? Scott left her a review and something to note is that both the people that got the job are females It did however say That it can go for any gender both It also didn't say it kind of like the Cassidy and custom night. It didn't say you know Choose one over the other or try to mix it into both. Yeah, just any gender will work with us Which is interesting Because that means Scott doesn't really have a Even though it says it's a bit more than what it sounds like You would think that depending on the gender it would play a different role But who knows? So Sarah Miller cruise Scott's review was Sarah worked very fast and did a great job And if we have to go to Scott's page we can see that Sarah left her review for Scott Saying it was great walking with you. I hope we we can collaborate again on another project soon That's always what people say and of course, she's not gonna write something revealing what the job was But yeah, so I'm a la Cruz is the first is the first voice actress Announced for the next game. The second one is Brianna Kennedy we actually have a picture of her and Yeah, another female Los Angeles, US. I didn't actually check to see it doesn't really matter, but Scott Scott left a review saying Brianna was terrific and worked very fast I hope to work with her again, and then if we go back to Scott's page I just realized I can just go to here She said Scott was wonderful clear in his direction and easy to communicate with I look forward to working together again Whether that means maybe there's something else coming I highly doubts. I highly doubt that's what Happened, but who knows maybe the fact that they're looking forward to work again Maybe Scott has something in mind, but I have a feeling he was just trying to wrap his head around everything that's happening now So those are the two people Sarah Miller Cruz and Brianna Kennedy was not really much to go off of highlights doesn't really dogs still barking in the background and Feel like that's it. So this is most likely for into madness because of the reasons I mentioned earlier all the other games are being made by different companies So they would be looking for the voice actors and not Scott But it looks like We have two people doing the voices for one character Which is always interesting Because maybe that means we're gonna see a change in their personality or see a change in who they are Maybe that's what it means by a bit more than what it sounds like maybe One was like the default Voice and then later on we learn That it's actually someone much different than what we were first introduced to I don't know I'm just throwing it out there kind of the same thing with Henry and six Where we just thought he was a cassette man and then as we dug deeper we found out he was in fact Henry played by Someone steel Steve steel. I want to say I don't think that's it. Whatever so Nothing to madness. It looks like it's coming along good. Scott still has yet to update the FNAF 2019 Discussion page. It's now been over 100 days Yep, updated November 12th of 2018 and just to verify down here last edit by Scott November 12th at 11 25 a.m So That's it for this video. Hopefully you guys are excited for into madness Coming sometime 2019 don't know when but when we do get a release date I will make a video on that. So thank you everyone so much for watching and I will see you all on the flip side Goodbye


Everything you see today is an attack on the three primary institutions that God ordained within nine chapters of the first book of the Bible. You know, there is an attack on the church, there is an attack on marriage, there's an attack on government. You know, I see these Home Depot commercials, and I haven't been to Home Depot in a while, but in the commercials you see all the women doing the shopping for refrigerators for all this. And letting the husband know which one's the best one. Because every one of them are refrigerated repair women. And so, yeah, so you see this domino effect of this subtle attack on the marriage through that where the men have been dumbed down, the women have been elevated, which is against what the institution that God has called us to be, the priest of the home, and the woman to come and be a helper of the home. And I've seen recently, you guys, that even in that domino effect where the male seems to be dumbed down a little bit, that carries over into the marriage where they don't feel like they're good enough. And then especially in a time right now when maybe they're laid off and they're not bringing home the income, that even hits them harder. So now you see this domino effect of the esteem of a male or the man in the marriage being brought down. And you can see it's an attack from the enemy.  And how have you, even as a couple, how have you safeguarded against that? I know who I am. And I read the Bible. You know, when you read the Bible and you see how God's word speaks to men, I just try to apply it to myself and we together try to do that. It's really, it's not that complicated. I think that every marriage has their own way of putting into practice the commands of the Lord. What it looks like in my marriage may not look identical to how it looks in yours. Because you are married to, live, I'm married to Marie, and we adjust to each other's differences. And I know how to exercise authority with her in a way that perhaps another husband with his wife has a different technique or a different way. There's nothing, I don't know any way that's the right way for everybody. But if you know your role, if you know what you are, who you are, and you seek the Lord about how I might be able to fulfill this, how do I do this in such a way that Christ is honored and our marriage is blessed. If you look at it that way and you take into consideration your wife is from a man's respect, my wife's personality, what shows the most respect for her, the most love for her while at the same time helping us together to decide what is best for us. And that's where it comes in. Because I think some men, I've met them, think that leading is basically telling the wife this is what you're going to do and it doesn't work that way. That wouldn't work here? No, it would not work. No, of course it wouldn't, because I'm not respecting a woman who is created in the image of God and I'm not regarding her gifts and I'm not regarding her as a person and I'm not valuing her as God's daughter. I'm denying all of those things and I'm becoming a bully. I don't want to be that bully. I want to be the one that she regards. I want to be the one that she respects as a man who loves her and puts her first. Because in the putting of her first, it doesn't mean I'm putting in any sinful desire she might have. Oh, I'm going to go spend money and buy this when we can afford it or I'm going to do that. I'm going out with the girls on Friday and you're going to babysit. None of that's going to work with me. And she knows that. But how did she learn that? How did she learn those things will not work? Because there are plenty of women who just do just what I said. They just go out. I'm gone for the weekend. We're going to go to a spa and I put money aside and let you know because I knew you'd get mad. But we have it and there's nothing really you could say because I'm going because I'm tired. There are plenty of marriages like that and you could reverse that. I hear ladies right now complaining in their own heart. Well, you men do that too and see that's part of the problem. We're always trying to say they did it. They did it too. You know, the point I'm making is real simple is that if you love one another, regard one another, if you respect one another, if you want to build one another up, if you see each other as a one another and you treat one another the way you would be treated like Jesus taught us in what is called the golden rule. If you do those things, then you're going to be able to work together. So I don't have to tell Marie you're going to do this and you're not that it's not that she won't by the way. I mean she will. She will because she submits us unto God and she will do it. But if I try that, I'll lose her love and respect. I would rather just say honey, this is what I see and I really feel we need to do this. And what do you think about that? Because we will talk and she can tell you this. So honey, I'm thinking we need to do this. But you know what? I don't want to decide this on my own. We need to decide this together. We just recently, I'll give you an example, we just recently as you know took a long road trip. We drove from here all the way to the state of Washington and all the way back. It was over 2000 miles of driving over 11 days of being gone. I didn't just walk in one day and say well you know I don't feel like standing in line at airports and all the garbage we're going to have to go through. I didn't do that. You know I said honey, I'm considering something but without your awareness and your input, I won't do it. And that's how I did it. So I said so I am considering driving and we can spend time together. We haven't had any time together for a while now. Randy and Jeanette Walls perhaps they can go with us and I think I'd like to consider that. What do you think? That's what I do with Marie. Why? Because she's going to invest 11 days of her life in a car. You know it's not just me driving. It's her in a car for 11 days. And I'm not going to do that without her saying I think that'd be great. Now I was planning on doing that. I thought it was the best thing but I'm not going to do that without her or willing heart. And I think that that doesn't show me to be a weak man. It shows a bit of just understanding of my wife dwelling with her according to knowledge knowing the things that matter to her. And that's where I think husbands need to learn some things. Some husbands and how to present their ideas and that's where some women need to begin to learn how to listen to ideas like that and be willing to sacrifice for the good of both of us. Because there are quite a number of men who will not sacrifice for the good of us. And there are quite a number of women who refuse to sacrifice for the good of us and the selfishness that sometimes is so there.  So when I tell Maria, honey I'm tired and I don't want to go through that. That immediately makes you think how can I minister to my husband? You know what can I do to make him more comfortable? And yet at the same time when I say but I don't want to do anything without you saying this would be a good thing for us that frees her up because if Maria said honey you know to be honest with you I was thinking I have to do this this this then I just said we're gonna we'll fly for her sake because she needs to do something for the sake of you both for us it's always us it's always us it's never me it's always us. That's where people I think really fall short because it's not the two has become one now it's the one has become two they've have it backwards and and it's not for the greater good of us it's for the greater good of me that's it that's such an important principle and an application that is so practical and that really would fight off the attacks of the enemy because isolating one another is his tactic. If I can isolate my the husband from the wife the battle's half wine right? Absolutely you're right. If a house is divided it cannot right right it's doomed to fall so Maria and I we do really practice this John it's it's what we do it's all it's always us it's never you or me it's always and us this is how it affects the Rosales this is how it affects David and Marie and Marie and David. It's not Pastor David only Marie only it's Pastor David and Marie yeah it's always us yeah it's always us. We enjoy being together and we aren't always together when he leaves here you know he'll come home to me and we'll have dinner and enjoy ourselves and it's it is us it's us all the time we'll go to the store together go get coffee together. Drive to Washington together. Drive to Washington together. Well you know there are people who can't do that John you know that they can't stay in the car together like that it's just to no they can't they have nothing to talk about yeah they have nothing to talk about because Marie and I have a running conversation is what it is and when we've been talking together since our first date that's a that's a truth I mean that's how it started we talked for 11 hours our first date yeah yeah we've we've we've we just like each other you know I like talking to her and she apparently likes listening to me that's how it works it's always been that way we haven't we've never been any different we didn't have to learn I wasn't this guy who said what is interesting to you it's interesting to me now I'm not that guy it was like this is what's interesting to me and if you like it good if you don't I'll find somebody who does you know and what Marie it was like for some reason she goes oh that's interesting so that's right it's just us you know so we've got all these years of building on the us so we can be stuck in a car together for all those days hours upon hours and and we we enjoy it it's it's not like gosh I gotta drive another year don't worry it's not like that well you know when we're on our way to Israel was it sitting next to you guys but on our way back yes it's a constant ongoing dialogue that you guys have when we go yeah yeah and it's it's good to see that because yeah you're right there's people I know even that I know well that they couldn't be in a car two hours together you know and we can also sit next to each other for two hours and still be good yeah that's that word yeah yeah we do that too and it's good right I mean it's like we feel closer than saying all these words I mean it just there's that that connection ongoing that is beneath the conversation it's the connection well when we fly there's sometimes the seats aren't as close to each other as we like it to be and it bugs us because she'll tell me she'll say she go I can't really I can't really talk to you because they kind of twist they turn them that way yeah yeah I don't like that we like to be shoulder to shoulder we do other people get congested I don't I actually the way I'm sitting with her right now I'm very comfortable like that you know we're always pretty much like this it's just who we are and that's part of again the us yeah that's all about us


Hey cool friends, my name is Jan. It's just a mommy. You're watching Bianca Renee today. A special guest, Jalyn. Do this video, so Jalyn's with me to motivate me and make me, are you kissing your tongue? Nasty. I thought he'd make a little more exciting because today I have to take out my, Jalyn, we need to take out all mommy's braids. Are you gonna help me? So I'm gonna show you how I take out my braids, how I bring my curls back, and we're gonna talk about Bali. Here we go, braid number one. Poke it in here. This is called a rat tail comb. A rat tail? It looks like the tail of a rat. And then I poke it in my hair and pull it out like this until I gotta find mommy's hair. I miss my curls. I gotta be curly like you. What's the best hair in the world? Mama. Oh, thank you. Curly hair. Curly hair. I found it. That's mommy's hair. Okay. There you go. How'd you keep your toddler busy for two hours? It poked. It poked it? So I just came back from Bali. It was a whole trip with my curl friends, AKA you guys, my viewers, my subscribers. I invited all y'all to come and we had a total of 19 of us that traveled to Bali together.  But like y'all are like family. You know, you watch me all the time.  You know about my kids. So I'm not like technically a stranger to you. So I always have a lot of people that come by themselves because they don't feel like they're going by themselves. And even if you arrive alone, you leave with friends. So we had a really epic time. We did all the things that Bali had to offer. And if you don't follow me on Instagram, make sure you follow me at Ms. Bianca Renee on Instagram and TikTok to see our full days. Like I'm posting my blogs on TikTok and I'm posting little highlights on Instagram. Here you go. Oh look at that. You look beautiful. Y'all look at this. What is this? This is why it was time to go. This is my part that I left out. It's definitely growing, but it was too short for actually going back home. Going back home to my curls. One down. How many to go? Five. I think there's more than five. 20. Maybe 20 at least. So anyways, I did feel kind of weird going with braids to my curl friends. Yeah, yeah. But. See, yeah, look. It's kind of like dark brown. Almost looks black though. Just like mommy's hair. I'm bald. Is your hair curly or straight? Uh, my hair is curly. Ooh, do you like your curly hair? My bald hair. I love your curly hair. It's actually time to wash it. Didn't really want to wear my braids to the trip, but I also know Bali is super, super humid and I'm so glad I did because anybody got time to wash your hair on vacation. Like when I'm on vacation, so are my curls. But all my other girls on the trip also got braids. Like we had maybe like three, four people with curly hair that kept it curly, of course. And then everyone else got protective styles and it was cool. You could just wake up and go.  Go to the beach. You don't have to style it, deep condition. Like I am totally team protective style for a vacation and I'm only taking it out now because, two reasons. One, tomorrow I'm cutting my hair. Not my pretend hair, my real hair. Basically I'm like over my hair right now.  Like pixie cut. Like Halle Berry, Halle Berry. Y'all would kill me though. I know I shouldn't do things based off of what I think you guys think. It's my hair, it's my head, it's my choice. I'm not gonna do it. Girl, don't do it. I was just thinking about it. I can't do it. I wanted it to be long. It's now long. I just am really bored with my hair lately. Think I grew it out. I think I'm basically at my goals. It basically reaches my butt when it's wet. It's just been like flat because I have no more layers. Everything's grown out. I have no shape. I low key miss my bangs. I low key miss. I'm gonna high key miss the volume. Might get color again, honestly. I'm not doing color. But the crazy thing about this haircut is mommy is cutting her hair by herself. I'm gonna do a virtual haircut with a really cool stylus that has been doing virtual haircuts probably ever since the panning. It's probably just been super convenient because even for me, you guys know my favorite stylus that I go to here are curls one on one. They're always super booked. It's not the cheapest. Hello. But not all of you live in California. I'm a majority of you live in New York and Florida, honestly. So to be able to give you guys an option that you could just do yourself online, no matter where you live, no matter what country, it's gonna be a good option. So this is gonna be part of my comfort zone challenge. I've never cut my own hair. So this will be very new to me. And it can go great or it can go horribly wrong. We'll find out. Okay, time to pull. There's mommy's hair. I'm at a point where if I mess up, I kind of don't care. Like if I had to cut all my hair off, it's okay. There's so many curly YouTubers that have gotten to that point. Like I have so many friends that they've chopped. Their hair is perfectly fine.  Penny Tovar AKA Curly Penny chopped it off. Just like Jackie, Jackie cut it off. Andy Aloe cut it off. Like the list goes on. So I don't know if I'm gonna do bangs but I'm definitely gonna do, I gotta cut off my dead ends. It's definitely time and get some more shape going on. So come back next week, hopefully next week to see me cut my own hair by myself, well not by myself. Professional will be helping me but just over the computer. And we'll see how that goes. You have so many. Oh snaps, I only cut off this much and my curls are here. It's this long. Wow, good thing I went lower. This is the only extension. My hair is long. I didn't even want braids this long but I had no choice. Cause my hair is right down here. Oh I forgot. So after I take out a braid, I'm supposed to be brushing it. I gotta do that and get out. All the tangles. Do I have a new brush? Where's my new brush? Right here. Purple. Purple and? I can try it. Oh wait. Can't brush braids. You gotta brush my real hair. So now I'm gonna use the other side of the comb just to kinda brush out that like gunk and build up that happens. I've had these braids in for a little over two weeks. Ooh but it's not bad. I actually didn't go swimming at all. For the goodness. I know. I've never gone on vacation and didn't get in water before. I picked the hotels based off of the pools. Now the scary part of this is definitely gonna be the shedding. My postpartum shedding is real and I haven't showered in, I've showered. I haven't washed my hair in over two weeks so. It's always frightening in general when you take out your braids like the amount of hair because your hair naturally sheds but it's locked up so it doesn't fall. So it always looks like a lot. But in the meantime, let me continue to take out these braids and I'll come back to show you how I revive my curls. Almost one half done. But now it's. Bad time. Bad time. I'll see you all next time. Peace. And I'm back. Fresh out of the braids. It was big before it went in but it's even bigger now. And it is currently 1.41 in the morning. This took way longer than I thought it was. I don't know if I've taken out braids with like two full children before. So I have to keep stopping and starting over and over again and it just took 1,000 hours. So I might have to come back in the morning and wash it and show you how that goes because I have to go to sleep. The boys are gonna be up at 6.30 so. Yeah, here's how we are. Last time you'll see it this big and long cause like all these thin pieces that you see, gotta go. We gotta cut anything sparse. So it's like. See you in the morning. Good morning. Y'all, last night I didn't think it was gonna end. It was never ending. So, isn't it crazy how my hair could be like that big when it's wet? Flat, lifeless. So I did wash my hair. I did a double cleanse. I used my Oresos Curls Detox Scalp Scrub because my scalp needed it. This is a must. Then I got my Oresos Curls Apple Sider Vinegar Scalp in Hair Rinse and also just kinda more for the scalp. Then for some extra strength, I got my Bond Bar, number five, Bonding Conditioner and then I rinsed all that out. But now I'm going to give my hair a mask cause I haven't deep conditioned in a couple weeks cause of my braids and debating between doing a bonding mask and a moisture mask. Well, this has Vitamin C Hair Repair Mask. Let's go with Oresos Curls because it's just my favorite. This also has been giving my Not Your Mothers Matcha Green Tea Apple Blossom Mask a run for its money. It's definitely more pricey. This is like my second or third one but it's so good. Really getting it on those ends. But honestly, my entire head needs this right now.  Okay, that's good. It's not gonna be that drastic, I don't think. But I am excited for this cut. If you wanna see how I applied my shampoo and conditioner, I do have separate videos on applying those products in the showers so you can go back and watch those videos on Instagram, TikTok, or YouTube to see how I did it. If you aren't following me, make sure you follow me on Instagram and TikTok at Ms. Bianca Rene. All right, saturate that. Ah, my head does feel a lot lighter. This Vitamin C Repair Mask does smell like Vitamin C. It's definitely giving me like an orange blossom scent and it's thick but not too thick for my fine hair. Right get in. All right, now I'm gonna let this sit for at least 15 minutes. Put on a shower cap, maybe put on a thermal heat cap. Let it really heat up in there. Rinse it out and then I'll come back to style. I am back all deep conditioned. Now let's style. I'm gonna add the Bon Bar No. 6 Bonding Styling Cream. We're all about repair at this point, strengthening, giving some extra love to our hair. I don't really like to use this cream on its own but I kind of cheat it like as a leave-in but I will be adding a gel on top. If you've never seen Bon Bar before, it is a Sally Beauty exclusive. I have many videos talking about Bon Bar if you wanna learn more about it.   We'll see. All right, moisture cream check. Okay, I feel more like me. Now for the gel. Let's use the Curl Smith Hydro Style Flexi Jelly. Sometimes I'm just using all my face today. Do you wanna tell you, no, I use this a lot. Now I'll diffuse and be right back. And I'm back. Now my hair is fully washed and styled. It is trying to look really cute so that I don't cut it today but I'm not gonna fall for that. It's still just not as full and it's like, it's not giving me life the way I want it to. So I might cut this much. I might cut this much. I might have bangs. I might get highlights later. Who knows? But this is where we are now. I am happy that my curls are back. The braids are always found on vacation but taking them out is like, I never thought it was going to end. But they're back and they're gonna be even cuter next time you see me. So if you wanna see how my haircut looks after I attempt to do this on my own, well with the professional on my side, make sure you guys come back next week to see the full results or if you wanna sneak peek, follow me on Instagram and TikTok at MizBeyondGrenet. I'll see you guys next time. Thanks for watching BeyondGrenet today.


truth about being an influencer the truth is welcome back to another video if you're new here my name is Cara do not forget to like comment and subscribe to this video so we are gonna be getting into a finance Q&A behind YouTube I know y'all are curious on what goes down when it comes to like taxes how do I budget and just stuff overall in general so I'm just gonna be answering y'all's questions and if you want to be a part of the next Q&A make sure you follow me on Instagram cuz that's where I post for y'all to ask me questions so yeah we're just gonna hop right into it cuz it's a lot so let's get into it so obviously I don't have on any makeup right now I want this video to be like real chill relax we just talking girl so I really want to do a face mask cuz I just got back from Canada and I'm breaking out a little bit on my chin so we're gonna be doing the Timmy detox mask if you watch my channel before you already know I use this all the time this is my literally my go-to clay mask it's a detox mask it has match in here a lemon grass so it basically just takes out all the impurities get all that gunk out of your pores and just making your skin look flawless and every time I use this mask I just get a flawless finish every single time my face feels so soft and smooth and my skin always looks bomb because of this mask I want to use this before we get started and tell me is sponsoring this video but I genuinely do use this mask like on a weekly basis like to do a face mask one or two times a week and like I said y'all you only need literally a thin layer then so I'm just gonna apply to my cheeks chin traveling will really have your skin going through it's crazy I feel like when people use clay mask they overdo it cuz they want more products on their face thinking the mask is gonna do more but it's really not like that less is more y'all less is more seriously and I get the best results when I do a thin layer so and also I'm going out tonight so I need a little well I'm not going out I'm going to dinner but I need I need a little you know when it's done you're gonna know because it's gonna change colors and also the blackheads are gonna come out of the mask so I'm just gonna wait a few minutes and then I'm just gonna wash this off and I just want you to see how beautiful my skin is and it doesn't take long it takes like 10 so girl I just took off the mask and my skin is so glowy and so soft and like I said y'all y'all really need this detox mask in your skincare routine so you can use it throughout the week and now I'm just gonna be applying the bite see from Timmy as well this has her biscuits and vitamin C in it so it's going to help brighten and even out my skin tone because I have dark areas around my mouth so I just like to use vitamin C on my skin to help with that and this also has hyaluronic acid so it's gonna give you that moisture your skin needs so you can look nice and glowy and hydrate it and when it comes to serums I really like to press in the products into my pores because I really want you know it to penetrate deep into my skin so it can really work this smells so good it's the skin for me like just off the mask and the vitamin C alone my skin looks so good and healthy and hydrated and just I just love it and it feels so good so you'll be able to get your own Timmy products the bite see and also the detox mask all you need to do is click the link down below and you'll be able to use my code Kyra 20 to save a 20% off on your order so y'all make sure y'all include these in your skincare routine like I said your skin is going to love you and if you're a girl who wants to really brighten up your skin and have an even out skin tone I definitely highly recommend the bike see I've been using it for a couple weeks now it's making my skin look so good so you check the description box below and do not forget to use my code Kyra 20 and thank you so much to me for sponsoring this video now that my skin is looking good we're just gonna hop right into the question and this is just a disclaimer this financial process of being a youtuber entrepreneur and everything like that when it comes to like taxes and stuff this is still a learning experience that we are going through and I mean we me and my mama we my mama helps me so much she does my taxes she why does this number keep calling me but yeah this has been a learning process and what I'm telling you that I do you necessarily do not have to do it whatsoever for your business I'm just telling y'all what I had to do like I said I'm not telling you you need to do this so I'm just letting you know now I know people have different opinions on things whatever but this is just mine so my experience so just throwing that out there okay so the first question is showing proof of income so obviously when you're trying to get an apartment or in a car you have to show proof of income to show that you can pay it so basically fine filing your taxes is basically showing your proof of income basically you show your form of the income you paid on taxes freeware is different so you know some people are starting to realize that being a youtuber is normal sometimes they may ask for additional paperwork filing your taxes is your proof of income in the form you fill it out with so a lot of people ask me how much do you set aside for taxes and it's roughly 30% y'all probably think I'm out here spending every single dollar I make no I actually set it aside for my taxes and it's normally 30% ever I make I take a 30% of that so each sponsorship every time I get paid from ads and from the links or anything like that when I get deposited that money I take a 30% of that and I put it to my savings account because your uncle Sam the IRS does not play and I'm not trying to get in trouble I'm not trying to you know get handcuffed or nothing like that so yeah I do not play when it comes to setting aside money or anything like that everything that I make they don't take taxes out I get exactly what it's agreed on say if you made like $3,000 from a sponsorship or whatever you would set aside $900 so yeah that's just how that works so 30% is what I do personally you don't have to do that but that's what I do in what my financial advisor does aka my mother am I building a retirement plan first of all of course my mom said that up being building my retirement plan since I was 20 years old you don't need to be an influencer or make all this crazy money to start a retirement plan you should definitely start a retirement plan early because you know that money can accumulate and you can retire early like good I'm good we're definitely get on that part so I do have a I have a traditional IRA also a Roth IRA somebody asked do I budget no I do not budget I'm trying though I really am not in no rush to start swiping LS I really need something my mom has helped me budget a lot y'all cuz she is in control of my all of my bank account my mom helps me keep track of like all my bills every single month LLC all that she sees all the numbers way before me I just know how much I'm making as far as like from like sponsorships and stuff but normally I don't look in my LLC because it's like out of sight out of mind so basically she'll put it like some money into my account my checking account which is like plenty of money but I normally don't spend all that money in a month but still she helps me like save cuz I'm really bad at that but I'm getting better I'm getting better so but yes she'll take my money and put it all in my LLC or in the savings account and it's basically out of sight out of mind so I don't be like oh yeah I have that amount of money I'm good I could spend whatever also it doesn't take money to make money I want to go buy something I just have to make sure it's beneficial for me and my business you know I'm saying so now that I'm older and I'm not swiping as much I like to make sure whatever I'm buying makes sense with my business and I was first making money y'all like I was like I got money I'm gonna get whatever I want but now it's just like no I want to make sure my money makes sense and also I do want to start you know investing and stuff like that how do you file your taxes I file my taxes with an accountant who e-files and my mom preps the taxes for the accountant you want to find an accountant who is very educated and knowledgeable when it comes to filing taxes for our entrepreneur or a social media content creator because there's so many different colds and like weird things you got to enter to make it make sense to the IRS on their end and somebody who can explain well too because taxes is so complicated y'all how that be my mom know what we are kind of getting ourselves into we try to prepare better than what we did in the past like the whole receipt thing and stuff like that my mama always is looking at these interviews but like Fat Joe and Steve Harvey like they had to pay so much money in taxes and they're like no it's sometimes it's the accountant because they're not explaining to you what you need to do during the tax process because they messing it up make sure you have a good account I know some people do their taxes on their own just we just don't do that if it's good for you kudos to you but we just use an account so do you pay your taxes yearly or quarterly pay estimated taxes quarterly so when I file my taxes my tax bill is either paid itself or it'll roll over if I have extra when should you start reporting income from YouTube on taxes when Google so Google pays me so Google AdSense so when they send me a 1099 sec that just means they reported to the IRS saying that they're starting to pay me so I need to go file the taxes on it and if you don't grow you're gonna be effed up so make sure you are up on the other forms Google is sending you make sure you're checking your email at what point should an influencer become a LLC um establish a LLC when you are making profit from your LLC because basically it separates the personal from business and that's just a whole situation you have to set up a whole business account from personal and it just sets you up for liabilities so it makes sense so how do you keep track of taxes I use QuickBooks and an Excel spreadsheet yeah it's getting serious we gotta break off the Excel QuickBooks will just tell you where you are where you're at with your taxes it's easier to pull up that and see what is what to make the business discussions more easier so yeah QuickBooks and an Excel spreadsheet when you do taxes from any purchase do you have to save the receipt the answer is yes I used to be so bad at this and y'all know my mom is a Virgo be like Cara you need to get it together you need to be on top of this this is just basically gonna help you write off your expenses on what you do and show for your business all my receipts are saved and I'm really good at it now cuz literally I just take my receipt I directly uploaded to my business account and it just links the transaction to the receipt it's so easy so much easier because I would use to like save my receipts and then the whole year later it'll be tax time and the receipt is fading you can barely see what is on a receipt or what is it from when saving the receipts it just helps me so I'm able to write it off from what I make so I just deduct so I don't have to pay that much back in taxes if that makes sense the receipts are so important how did you start managing your money when YouTube started paying you I really wasn't managing my money at all and like I said when that form came in that 1099 Nick my mama noticed that and she was like what is this because I told her I was like oh my god my day letting me monetize my videos I could start getting paid I think I wasn't really managing my money but what I did do I would save my sponsorship money and use that as spending money and I would use my Google AdSense for my savings like I wasn't even thinking I could do this full-time so it wasn't coming across my mind but until I see that form she was like oh no we got to get this situated because you gonna be owning the IRS you're gonna be paying all this money what is considered a tax write-off as a creator I write off anything that I use in my business to generate money I don't equal a deduction which is a expense of your business anything that y'all see me doing I may be writing that off as a deduction from my income now all the deductions are a hundred percent like everything isn't deducted you have to really sit down when I'm counting and he has to explain to you what you can and can write off so you understand so you separate the business from personal say if I make ten dollars I had an expense for five dollars so basically I would deduct five dollars from that ten and I would profit five that's just a easy that's the easiest way to put it how you write off your taxes so you don't owe so much so that's why those receipts are so important that's pretty much sums up like the taxes on what I do is I'm still learning but that's everything that we do so far I did get some like influencer questions as well the truth about being an influencer the truth is that it's not easy being an influencer it's not easy to have to find a balance between a personal life and work life because you do work from home and it could just be overwhelming because there's not anybody telling you like listen you need to get this done you got to get in the right state of mind see on all this stuff buying Mercedes going on all these trips and buying all these luxury items it's it's way more than that honestly it's way more than that it's hard work and dedication like dedication is basically what you do when you don't feel like doing it because sometimes I don't feel like filming but I have to get it done and that comes from my next question how do you stay motivated I stay motivated because y'all be like where the videos like what's going on like and after that day I love creating content I love getting the detail I love getting a good shot I don't know I just love like creating content is basically like making a movie and then at the end of day showing your personality being vulnerable with your subscribers and just showing them how you can relate to them being relatable is basically the number one like you have to be relatable you cannot feel like you just so top-notch and bougie and better than anybody know everybody goes to things and like we all go through battles in life and when you're ready to talk about I'm pretty sure somebody that's watching can relate to you and be like wow she really overcame that and I can too you know what I'm saying how I say motivated is really cuz y'all and I really genuinely like making content like I said I love looking at what I created I don't know it's just cool and this leads to my next question even though I just talked about how I like to be vulnerable how do you get past being vulnerable to people I am who I am I love to show my feelings because obviously I'm a Pisces it's just I don't care about what people think about me because I know whatever I'm expressing to y'all somebody can relate to being vulnerable doesn't bother me like at all I know who I am I love myself and if you have a problem with me being vulnerable that's on you like you should really question yourself on why you get so upset on how other people express their feelings or how other people just express themselves I love what I do I love my community of girls I love that I can talk to y'all and we can relate and we can chat it up y'all be DMing me and I love talking back to y'all I love replying to y'all in the comments nothing will stop me how do you plan a content sometimes I don't even plan content I go off what's in my head honestly or if I have like a sponsorship coming up I'll revolve around the sponsorship or also if a video just comes into mind I'll just hurry up and write it down and then go back to it just like this finance video one of my supporters left a comment and she was like hey can you talk about 401k plans and stuff like that being an influencer I was like yes bet I can do that I had like what can I make what haven't I made yet what did I make last year that I need to update y'all on and stuff like that so I really don't plan content it just comes with you know what's in front of me and then jot it down on my calendar and every girl needs a calendar to stay organized so yeah and basically I'm getting better I'm trying to get better with time management as well so yeah really don't plan content I just go with the vibes go with the flow go with the vibes so manager versus no manager I like not having a manager sometimes but I do not have a manager obviously you have benefits when you do have a manager because they can pitch different things and talk and negotiate and stuff like that basically my mom helps me she'll negotiate and send like the invoices and stuff and then I'll just overlook it cuz we're both looking in the email but for right now I don't have a manager I had different discussions with different managers but it wasn't just it wasn't my vibe and we go our vibes I'm developing relationships with brands as well so I really like that in general because they really like my content and that's why when I make content I just really want to make sure it's good cuz I don't have a manager and I want these brands to keep coming back and wanted to work with me so yeah I just make sure that when I do shoot their content I'm making it make sense when I do sponsorships and stuff I make sure it makes sense to what I'm doing in real time I don't like to do like the whole commercial break thing I don't like that it's not authentic or organic to me I don't like that at all I'm doing good on my own my mom like I said my mom helps me she doesn't get any income but she can get whatever she's access to all my accounts she can take whatever so we're we're good over here but if I do happen to go get an agency or management or whatever I wouldn't if it's my vibe I would definitely be like yes let's do this I don't know if I'm gonna be used to like somebody else telling me what to do like you need to do this you need to do this cuz my mama already be like okay this is do this is do this is do so we need we need to get a step in it okay and I was like oh my god please Lord please I'm grateful to have a mom to be able to help me you know like a good manager or agency I would definitely hop on it and you know get into it because it's not easy juggling all these sponsorships or talking to them negotiating and stuff like that so yeah what is your ultimate goal as an influencer obviously I want something up my own and that's just gonna come I don't really want to man I manifested of course and I manifested to God I really can't say any specific goals because I don't want to express that to y'all on camera just know whatever it is I'm going to to put my all into it to make sure it's the best thing the world has ever seen I just want to be the best influencer that I can be and taking it as far as the universe allows me to I just want to present to y'all something so good that y'all appreciate as well and this influencer journey is very unique it's not for everybody but if you put that work in if you really want to do this you will do you will be able to do this you'll make be able to make it a full income turn it into something more and it's just gonna blossom into something so beautiful so I just cannot wait to that moment of when I feel like it paid off I hope that answered all of your questions thank you so much for tuning in like always I love y'all so much and don't forget to shop at your Timmy products y'all all the links will be linked down below and don't forget you can use my code Cara 20 to save 20% off and yeah that's the end of this video I love y'all so much and I'll see y'all next one


So, this has actually been going on for a while now and I didn't really want to talk about it because it's kind of negative and doesn't really benefit me, however. I saw a TikTok a few days ago about someone else experiencing the same thing, another small business being harassed by these corporations. So, what these elite cronies did to this person was pre-order thousands and thousands of dollars of products like an insane amount and they all did charge backs or cancellations or asked for refunds in an attempt to bankrupt the guy's small business. So, you know, he spends money on the product, the shipping, has a small profit margin and then after they cancel or get refunds or call their bank for charge backs, guy goes broke, destroys his business. Similar things have happened to me over the past few years of running my business and I was pretty good at recognizing the BS initially but I mean, I don't know guys, I've probably lost dozens of thousands of dollars, at least 15 to 20,000 from these degenerates doing the same thing to me that they did to this guy's small business on that TikTok. So before I go into more detail, when you order from basically any other meat business in person online, whether it's butcher box, various farms, most of them are in the club and those are the same people harassing me, trying to steal money from my business so I can't grow and provide you guys with high quality, affordable products, make people healthy. That's why you have to understand how incredibly important it is to support people like me as opposed to all of these other shills and I can't speak for other people because I honestly don't know anyone else that's not in the club. I'm in a very unique scenario and kind of blessed and kind of not in a way. Now initially these people were placing very large orders and doing charge backs. There was this one guy in Miami that ordered like thousands of dollars of pecania over several different orders and for some reason the bank kept siding with him on the charge backs and there was another guy I remember in Washington DC that ordered like a thousand dollars worth of meat and he also got a charge back with his bank. Those were the major ones so that was what they were doing initially and after I put a stop to that like I would cancel their orders when I knew it was them they started ordering very small amounts of product and my shipping charges weren't exactly set up for that so a few of those orders were like sneaking through and I was sending them out either losing money or breaking even like someone would order one ribeye steak shipped to like North Dakota or something and you know it's just ridiculous like no one would ever actually pay that much for shipping on one steak it just didn't make any sense and it's pretty obvious when these people try to do this to my business because it's always a first-time customer they order something very obscure one or two items they have a very generic email and they pay the ridiculous shipping fee so now I just cancel those orders.  I mean to me it's kind of funny and pathetic that these people meet in secret and literally plot these little plans to harass me and these other poor businesses to try to make things harder you know I could literally tell you guys to start placing orders on a list of businesses I could hire some Bangladeshi dude some Indian Pakistani dudes that have nothing better to do on their computers than to use like VPNs and start placing orders on every single other meat business online to do the same thing these guys are doing to me I could literally do that on tenfold of a scale of what they're doing to me but you know I'm not that type of person it's completely ridiculous why would I even consider doing that because I have reasonable moral standing unlike these people maybe if they had half a brain and half of a moral standing they wouldn't have to you know try to take down other businesses they could be successful on their own I mean why shouldn't I do what these dirtbags are doing to me it's so stupid you know they want to keep all of the money in their elite own businesses if you're not in the club they will harass you in more ways than you can imagine and you guys can clearly see that I'm not joking when I say I want to disappear and move to Mexico you know it's things like this and all the other stuff combined the lawsuits it's like you know come on we're all the good people but I don't know I don't know it's just so crazy it's just crazy it hasn't really been as bad lately but I do feel bad for those small businesses where you know they think like they went viral and got like a really big batch of orders and it was really like an organized attack on them to just bankrupt them so it's unfortunate that's how it goes you know these these corporations with hundreds of millions if not billions of dollars can do this very easily to these small businesses and keep the competition down they've been doing this for thousands and thousands and thousands of years guys they're they're very well trained and they know what they're doing so is whatever but hey thank you guys for joining me you know sometimes I have people that experience stuff like this reach out to me but I guess you know what to keep an eye out for and hopefully we continue to grow and can continue to provide you guys with high quality and unique health products which you guys can see on frank dash to follow calm but as always guys please drop a like on the video leave a comment down below subscribe so that YouTube cannot subscribe you next week and be sure to check that notification bell so they don't notify you of my videos I'll see you guys soon