So, what I'm going to talk about is kind of some thoughts that I've been mulling over for the past year or so, and there's nothing that, you know, is earth-shattering or final or anything, but I thought it was interesting enough to present a talk about. And I've been looking at this Nix thing, which is a Linux distribution, basically, but also a package manager that you can throw onto a SX or whatever or Debian. And there were some interesting ideas in there, and I'm going to go through some of them, but I thought I'd start here with this Haskell DAV, which is a library that Clint wrote. So, I knew Clint would be here. He had the talk right before mine. If you look at the source code of it, here's the source code, 444 lines of Haskell, the Atlanta Web Day interface that's quite convenient to use. And here's the control file, which is, you know, more than a quarter the size of the entire source. Down here is all the metadata that gets distributed as part of the Haskell package. And I wanted to just make you sit through this, because when you're maintaining something like this and everything is repeated three times and has bounds on it that have to be updated when Clint changes things, of course, Clint is normally doing all this work, but I was stuck working with it earlier too, and I was like, gosh, it just keeps on going forever. And then, of course, there's more, because let's repeat everything a few more times, just because, you know, why not? Oh, and then there's this. So let's just repeat this part, as is completely unchanged three times with different package names, because, you know, why not? And we've got this fantastic new technology that lets us not duplicate the entire description three times and cut and paste it every time you edit it.  I mean, it really does. And there's a lot of them. I don't know if these numbers are really accurate, but I got somewhere around 844 for the Haskell group. Of course, the plural group has like the entire universe. And then there's the Python group and the whatever, Java, blah, blah, blah. So it's like what, 50% of the archive or something is just fairly redundant stuff, I think.  So we're doing a lot of make work. And of course, Enrico has already talked all about this in his talk. So he kind of stole some of my thunder. But this is, I find this really annoying and it really reduces my motivation to work on something when I have to go edit everything three times and everything. So here is the equivalent from the new religion that I wanted to talk about. It's still not really great actually. It's repeating everything at least twice. But you'll notice the first odd thing about it is that it does look kind of like some piece of Java script or something. It's actually some little language. And it's got a hash in there, some other weirdness about jailbreaking, which I have no idea what that's about. But this is a package management system that runs on all kinds of OS. So it's twice the complications. But it's definitely shorter. I don't think it looks horrendous. It's obviously not suitable for Debian, but it's kind of an interesting point of, wow, they actually made this package shorter. So that's nice. And then, so I was thinking about this and I'm like, well, what is the actual entropy in that package that I showed you? And here is every line that couldn't be inferred pretty easily. And I think the standard surgeon could also be inferred pretty easily and probably some other things. And I just threw in a couple of little kind of, this is some kind of made-up template language where you could just say, oh, just go, shouldn't expand to all the other lines, please. If you remove the little template language bits, I think this is a Dena Colton Rico's DevDry. So I'm glad we both came up with that. So that's okay. I don't like little template languages. Maybe Enrico's thing is a very brilliant simplification. But here's another attempt at it. This is valid Haskell code. I haven't bothered to write the actual back end, which would be like a few functions. So in here, we have a source package and it just says it's in the web and it has the standards version. And then the packages section, well, I should first say that both of these are functions from some kind of representation of the source package to some kind of representation of the data that we actually want. So it may look like it's just saying, oh, the source is this, but it's actually saying, go pull the source out of this reader and add and then do whatever you want to get out the value that you'd like. That's what I'm assuming I haven't written the code yet, or ever. So then this next thing, the idea here is there's gonna be some kind of a Haskell libraries function that just goes and figures out all the metadata that makes Haskell library. And then there's this also back tick thing, which is a standard syntax that says, oh, there's also a package hdav, which is then gonna be defined by these following lines. This is all made up, but it would actually work just fine. It's probably, I don't think it's that scary looking. I'm using pretty similar syntax to this in my propeller project. I just kind of stole it. But I think what it shows you is that once you get a language and preferably something that's referentially transparent and functionally and functional, you can kind of start refactoring and end up with something that looks clear to read, clearish to read. And I think extensible and a lot better than what we have now. I'm not gonna claim that this is any better than Ricoh's Deborah at all. But it's an interesting alternative, I think. So, hello, okay. So I wanted to look at some types just because why not? We're talking about Haskell-y stuff. This is the current type and it's basically just a control file, duh. You can see my little bullet points. I wouldn't take these with a grain of salt because everybody can have an opinion about things, but it definitely has a nice simplicity to it. As far as it's really easy to learn this, you can just look at it and learn a few RFC 822 format things. You know all you need to know, really. Here's what people, if I believe, tried, haven't they? When there's some yotter or some such thing long ago that went in and said, we'll just have some executable program that you have to run before you can build your package and that was thoroughly laughed out at that being. And I think the FP Masters would now just reject it out of hand. But it has some benefits, too. You can make a control file or other files in the package and make them as simple as you want and have all the code off there doing its own thing, be refactored out and use whatever languages you liked. But it's probably completely insane and wouldn't fly because you really don't want unpacking a source package to grep for all your passwords and email them off someplace and whatever. So, let's see, pre-generated control files. I think this is basically how I would characterize Dev Dry. It basically goes off and runs some, it does some IO and makes a control file, a lot of control phi. And there we go, and of course Dev Dry also generates other things. And you could even say that it's not really pre-generating them. I don't know, Enrico, how would you characterize it? Do you think it's fair to say that every time you're doing IO and generating the file, when you're using Dev Dry, every time you build, you would run the program and it would go off and do whatever and make the file? Yeah. Okay, so yeah, you make a modification and you have to run it again. But otherwise you don't have to run it again. So this isn't completely accurate. And I think it's awesome, actually. I think people will probably be switching to it soon. Can you talk about it in depth? Yes. Please repeat the question. Yes. Or use the mic. Okay, well, I think I was clear there, but I forget exactly what I asked Enrico. But I believe it was something along the lines of, am I accurate in this? And make clarified that, yeah, you don't have to run it every time. But I also think that if people speak up a little bit, the people in the street might be able to hear you. And this is kind of what I'm worried about with this is the whole issue of, you have a thing that you're generating just like automake, auto-conf, all that stuff. You end up with an auto-generated file. What happens if somebody forgets it's auto-generated and then it goes and edits it? What happens if the tools break and then you have an auto-generated file that can't be reproduced from source and get a valid package or a package that you want to upload or whatever? So I think these are issues. They're obviously issues that can be dealt with. But they are downsides to this. And Enrico, if you want to say something or anybody else, please, you know, I think it's valid concerns, right? What's your name, Lost? Okay, I'm sorry. You were apparently doing something else when I was talking to you. I missed that you were talking to me. Yeah, so what I'm saying is that I think that having these auto-generated files can have the same problems as auto-make, auto-comp, and so on. You know, all the problems that we're familiar with, probably the worst of them would be if you had a package that had generated the dummy directory that worked and then some change broke it. And now you're, what are you going to do? I like to think that DevDry is a transition tool rather than a final tool. And so I would like DevDry to be an excuse to have auto-generated version tools end up being doing all the work based on minimal input that could be like configuration of the auto-definition tool. And at that point, there's no need of DevDry. You just run a script that generates Debian using upstream metadata and some extra local bits. Okay, right. But that still leaves you in the position of not really having a solution to that problem, right? I mean, if the script that you're running, whatever it is for the particular language or package is not part of the package and changes and things can break. So you have to have interfaces, you have to worry about, you know. Yeah, I would hope that that fits into the domain of sanity of the auto-definition tool for that language, which if it's well written, it will hopefully not just be a hack of thingies, but some have some clear interface that says this is a Python package that has the extra dependency that cannot be represented there. And by the way, the Debian maintainer is not the same as upstream. And that's it, yeah. So you have to have interfaces and, you know, yeah, that makes sense. Let me move on. So this is what I proposed up above, which is where you have some kind of an upstream source representation that generates not a control file, but some piece of control data, which then tools can use. And like I said before, obviously you can get rid of a lot of boilerplate that way. Pretty much all of it, maybe there's some wrinkles from your programming language that you've picked.  If you're using a purely functional programming language, you can limit what it does. And you can say, no, it can't read files outside the package. It can't actually, you know, do any IO at all, most as calls, whatever you really wanna do to lock it in can be done. But of course, speaking of lock-in, you're probably only gonna be limited to one language if you do this. And this can be a problem. Of course, we have the rules file that is already limited to one language. So, you know, I used to think that was a bad idea, but now it seems like it might have been okay. So anyway, this was just, you know, one thing that I wanted to talk about and I wanna move on away from just generating control files because I think personally, that DevDry is gonna shift the conversation. We'll see where we end up. But what I thought was interesting about this is this NixOS idea of taking, you know, just standard functional programming language concepts and applying them to a distribution kind of gives you an insight into the problem space and a different solution than all the ones that have come before and a solution is in some ways better. So I actually wanted to now do something kind of crazy and demo NixOS in front of Debbie and at DevConf, which is weird because I'm not a NixOS guy really. And I have to figure out how to use this slightly odd setup here. Okay, so let me make that a little bit bigger. Okay, so this is the NixOS boot screen using grub. I have some notes which I can't read anymore. It's a little bit smaller.  So, you know, it's just a Linux system.  It has bugs like everything else. Okay, so let me show you a few funky things about this normal Linux distribution. Okay, can you read that in the back? If you can, I can't fix it because it's obviously the console. But look here, we have bash is linking to slash Nix slash store slash nine Y, blah, blah, blah, blah, blah dash read line. So that's read line is in some wacky place and so is every other library. And you'll notice that libhistory is in the same place as libreadline because it comes from the same upstream source. Other things have a different crazy hash because they can run someplace else. So, in fact, if we look through the tree, well, let me show you where bash is because that's also, of course, in a crazy place. It's in run. Yes. Why not? Yeah, let's find the entire user directory because, yeah, there's gotta be lots of stuff in user, right? Yeah, there's user bin ENV because you can't move that, obviously.  Yeah. So let's look at this run current system. There's stuff in here. I don't really understand it but I believe it's the entire system somehow. Oh, let's see. I think it's SW. Yeah. There's the system.  Okay, what next? Oh, next does have to use this. Okay. Right. And just for clarity, those are all sim links, right?  You know, Docker uses funky Winix features and this just uses some links, nothing else. Yeah. Yeah, this is a very long man page with very many warnings. The interesting thing about this is there's one config file which is configuration.nix. And that is the config file. There is no other configuration. So this man page is rather long. Jesus. Yeah. I haven't quite finished reading it. Could somebody like, could somebody just put their finger here? Oh, God, whoa. And one guy. Yeah. Are you surprised with that? Six years. Yeah. Yeah. Yeah. Yeah. Yeah. Yeah. Six years. Yeah. Six years. That's a long trip for a day. So here's the config file and this is where you define the system. And you may notice that this looks a lot like that previous Nix file that I showed you which is some JavaScript-ish looking language. And yeah, it's the same language. Oh, and this is definitely not gonna work here. So it's doing things like saying, yeah, my boot litter is grub and it's installed here and also here's all the packages that I want to install. Let me install NetHack because that's something that every system should have. And then, huh? DI does. Well, Nix OS DI does. Oh, shoot. What did I do wrong? Oh, yeah. I don't have a cursor so it's kind of hard to, I don't know why it normally does. It's something about this presentation. Oh, it's, I do up here. Okay. That's just funky. So what I've just done is told it, oh, yeah, go look at the file and make the system look how I told you to make it look. And then I should have showed you, of course, NetHack wasn't installed, but trust me, it wasn't installed. And now it is. And all I've done is edit some crazy config file. Okay. So, right, I don't know if this is a good idea, but I'll try it. It says to install GitNX now. I have no idea if this will work. Oh, what does it work? Thank you. Okay, yeah. Yeah, I find there syntax to not what I would expect in every way, but it works. Why was this? Oh, oh no. Oh, it worked. Okay. Can you do it at night again? No. So what I wanted to show you here is I've installed GitNX. It's available. Now if I run nixm list generations, I get three generations. The current one is where I installed GitNX. The previous one is where I installed NetHack and the other one is where I installed the system. So I can roll back to these if I want to. So I'll roll back. GitNX is not installed and make sure you have a NetHack still is. And I can prove to you that it wasn't installed before. Oh, it was. I lied. Whoops. Anyway. Anyway, you saw that I rolled GitNX back. So this rollback thing works. It's just that I don't quite understand the packaging system. Yes. And yeah, it might have changed. I might have done it wrong. No, I'm back to one. Oh, you can. I just don't know how. Everything is still there because let me. Oh, here's where I should have showed you. This is Nick's store. This is where everything actually goes. So like if I go into this handy ZW37, yeah. And then I can run find and it's some crazy X library. Okay, that's handy. So everything goes in the store directory and it's actually a lot like Stowe or something like that in some ways I think. I haven't used Stowe. Madduck has a point. You can just yell. How does the security team feel about this? Yeah. How does the security team feel about this? The NixOS security team or the Debian security team? If you're looking at Debian through a functional lens and you're showing us these sort of things, I want to know what the security team thinks. Well, NixOS, I know, does some wackiness with SUID binaries, but otherwise I don't know what you're asking exactly. Just it seems like there's going to be a. 100 versions of send mail. Yeah, yeah. I actually think that when you set up the system, it actually probably, I know it does something about SUID and since you've mentioned it, I'm pretty sure now that what it is is it goes in terms of right-bid on or something because you obviously don't want them all floating around. But of course what this does mean is that Linus was ranting last night about how horrible it is that we can't provide us consistent environment for an app. Well, if you build a NixOS app, it's a consistent environment with hashes pointing to the version of the package that was built and they don't have fully reproducible builds, but they do have every input to that package also as part of the hash of that package and all the way up. So if you build something on NixOS, it's going to keep working until the Linux kernel breaks it. Kind of cool. And this can be installed as a normal user. So that's kind of neat. Can I get installed Nix right now? Can I get installed Nix right now? I don't know. I've never used the user mode version and you might be able to. Okay. So I think, I'll show people other stuff if there's anything that people are interested in that I can possibly figure out, but I think you get a basic idea. It's just, you know, hash-based packages. And I think a better way to explain this, let me get this out of the way again, is, okay. Well, it's really big now. So we basically have a functional runtime system, which is the NixOS distribution. And the runtime is these little script that I've showed you. So if you look at any, I think, I'm not a functional guru by any means, but I think these are the three big things you'll probably find in your functional language runtime. You're going to have immutable data.  That's why it's functional. If you do need to change it, well, you make a copy of it and then you modify one little bit of it. So it's copy-on-write. And it has garbage collection because these other things require that. And that's the only way we found to solve not blowing up.  NixM, delete generation, that's kind of complicated, but you can say, oh, I installed a new version to get Annex or a Denhack or some other useful program. I don't want the old one. So I'm going to go delete the old generations and then compact everything and free up disk space.  You can kind of look at Docker and Git and Nix and squint and see that you're kind of looking at the same thing. And you can look at the Haskell runtime system and squint and see the same thing. And I think this is fascinating. I think there's something going on here and maybe the Nix people have figured it out a lot better than the rest of us. But it's very, it's fascinating to me that these things are converging in this way. And that was the main thing I wanted to hit when this talk is, you know, I don't think any of these things except for maybe Git or other endpoint either. And so if we think about where these things are going, we might end up anticipating something interesting or maybe building it ourselves. Colin, does she yell or whatever? Sure, go ahead. Cheers. There's a thing that we've been doing for the Ubuntu phone project because for phones you want this kind of app management as well, so you want third-party apps that you don't need to necessarily upgrade along with the rest of your system and you don't want to have to fight with deep good going wrong on a phone and all that sort of thing. So we have a thing called Click which is basically Unpacked apps into a content directory. It's a little bit like Sto, like Nix in some ways, relies on rather than doing this clever hash-based thing it just requires some strict API management in the rest of the system and anything that breaks apps is forbidden, etc. So that's another example of this kind of thing. It's actually in some ways it's maybe not necessarily a terrible fit for integration with things like Docker as well in the future. So I don't know where that's going I don't know how it will help with being used on Debian with a different set of and in some ways a much more diverse set of underlying ABI's but it's another thing to throw into the pool. I've been going to do a talk at DebConf but it didn't fit into the schedule so let me know if you're interested. I'm sure there's more things like that out there too because it's where things seem to be going and there's more hashes in the world and more reason. We're certainly not the only people to have done that kind of app management. I mean, Linux MetaObjects are very much producing things like zero and still which are kind of in the same space. I think that what really struck me about this is while Docker and Git and all these things, they're using the same basic concepts in different ways Nix took it that step further and said well actually it's just a functional we're going to use a functional programming language as a configuration and is how we build it and so it's basically a functional program and then this is the runtime. They don't actually I think ever come out and say that. I was like what is it is kind of just the runtime system and that was just fascinating to me because it means that they're kind of leveraging all this in a way that everything else isn't. Docker for example it's got Docker files which I think, how did Paul put it like mildly declarative or something like that and so I wanted to kind of look at this too it's down here actually yeah you can kind of see a progression. We started out and just you know raw do whatever you want we call it IO and Haskell and we hate it and then you know things kind of started moving in a more declarative direction once we figured out that having lots of hairy hair balls of shell scripts and what not it's just as bad as you know a bunch of basically calls back to one ten and everything and so you know these configuration management systems and Docker have kind of been moving in a more declarative direction and my one of the things that I'm trying to figure out is is functional programming or some kind of programming language are we going to pull it back from this brink of you know really simple but maybe not really flexible stuff and back into some kind of a more principled realm where we have the benefits of you know it's simple you can introspect over it what not but it's not just pure random code machine code running and so here's a few other examples of this I need a little smaller yeah so you know we started out with Debian Rules just you know I'm calling it IO I'm just ad hoc code do whatever you like this made a depth helper made it just a little bit declarative not too much and then DH a little bit more declarative still not too much and well where could we go now often when people talk to me about a depth helper feature just this morning I was answering an email saying you know could you please put the multi-arrange triple in all the depth helper config files and of course send the question is what's the syntax and how do I avoid breaking everything and you know what else is going to go in there we started Feature Creep into some direction and a lot of depth helper features have you know been put off because of these kind of concerns or something has been thrown together and ad hoc and it's good enough but it'd be great if I didn't have to worry about that and I could just give you some reasonable config file syntax it was extensible maybe of course there's also the hack of the executable depth helper config file which the less said about that the better it might as well start using it everywhere because there's really nothing better it's like the alternatives are all worse go to line one the alternatives are all worse you end up with huge pods of crap over depth in reals to generate that's the thing when you have declarative stuff you end up repeating yourself you end up with inefficiencies and so that's why I think declarative isn't the end point and again I was talking at lunch with Russ the other day and we were talking about he's wanting to get rid of more maintainer scripts and we started off with simple do whatever you like in the script and depth helper kind of factored it out in a way and then triggers kind of made it a little declarative in a way so what would functional programming look like and I think that Russ you actually said something about well there should be in a DevCon config file it shouldn't bother it should just be some simple little domain specific language that maybe parses the config file that it's going to use on the system it can also write to it and of course this is you know very suited to functional programming in my opinion we have things in the functional programming world like parsers and generators that use the same code in a bi-directional way which is crazy stuff I want to wrap my head around that and then let's look at config files well they obviously started out declarative except for the odd ball one like whatever bind or something I have zero one minutes thank you yeah I have ten on it and so yeah I kind of reverted things in the wrong direction with DevCon because I obviously wasn't thinking about big picture stuff and that's one of the reasons I like this being a thought it's given me kind of a framework to think about things but then we kind of have moved back into some kind of well I said it was functional very much this is obviously a huge stretch to say that just the fact that we can take a set of files and get a file as a functional program but at least we're thinking about you know trying to move stuff and here's an even bigger stretch which yeah we used to have IOCode that ran in your head and then we went to nice declarative structural code but then if you actually look at the details it gets really complicated you're like wow this is complicated stuff you could do a lot of stuff with this language so this is probably just you can probably look at lots of things and get this kind of example I don't know how interesting how useful this digression at the end was my main mainly what I wanted to talk about was the functional run time but once you are thinking about things in terms of a functional run time you start thinking about other things like this so I think I'm pretty much done if someone would like to see something in NixOS I can show you or answer questions or whatever Remner so just to remark if you like parentheses then there's a guile version well simplifying things there's a guile version of Nix as well yes there is and it's kind of cool who's got a monad and stuff which Nix doesn't have yeah I had to walk it in somehow so the unique developer it doesn't seem to have a big community yet but is calling it the GNU distribution so hopefully that's not the case of death it is a GNU project well yeah so is BZR and it's actually it's actually fully compatible with Nix on the package level it's just they're running different code on top of the same functional run time so yeah I mean you said it's well just to respond directly to that it sounds like you're saying it's an independent implementation of the same functional run time and not different code on top of the functional run time well I'm saying the code that you run on top of the functional run time is the building of the packages and the configuration of the system which are written using scheme so the scheme code is running on top of the distribution which is the run time I don't know what the implementations of the actual I don't really care yeah but my question is really inside that Nix current generation directory I think it was called how far is that from other than the simulink stuff is it somewhat close? okay in here no not within each package but within the union of each package called the generation okay so I can actually show you where the generation is I think yeah another fun thing about Nix which I haven't mentioned is every user on a Nix system can install packages and they just get a directory in their home directory with everything simulinked all together you can even remove packages if you don't like something the admin has installed it's nuts it's awesome yeah and so yeah there's no difference I can go to my Nix profile and here's all the system and yeah I guess it isn't all the system because I don't understand I forgot to follow simulinks or something but yeah how policy compliant is it I think they kind of use the FHS as a point of departure and there's no user share talk or anything that's for sure there's got to be some better technology these days than simulinks for the stuff right I mean there's lots of interesting overlay FHS file systems and things that you think you would be able to use to accomplish something like this because in simulinks there's all sorts of really weird problems with simulinks and you kind of don't want to use them if you can avoid it yeah I mean I think they used it because it's lowest common denominator in use cases really to include running it on OSX and using it as the same alternative to other OSX things and what not yeah I mean I'm definitely not proposing that we implement this in Debian but I think we could think about how to do Docker containers and something like this and other things fit together and maybe come up with something interesting that would fit in the Debian yep here we go I'm kind of scared by the idea of having to write Haskell to devianize my things but I like the idea of making the common stuff declarative I liked a lot it seems like and it seems to be like a no brainer of a direction we kind of we would all like to go giving on the feedback that I got after the depth that I talked everyone's tired of writing everything twice and and there's lots of common things across packages that can really become like do what I mean or be refactored we really have a lot of potential for refactoring things that we don't really take advantage of I'm going to run this back to Colin and make the camera people unhappy sure one thing I'd like to think about kind of jumps of what Linus was saying last night about app packaging as well that we we haven't it's right and proper always tried to avoid repeating ourselves in terms of people using shared libraries and I think that's right for the distribution regardless of what Linus says but for app packaging for this sort of little third party apps that maybe don't have a very long lifetime maybe don't have a very long development cycle it sucks and I'd like some kind of way to express that much better than we can right now whether that's something like Nix where you you have garbage collected versions of something installed in your system or whether it's some kind of automatic way to bundle everything up into an app structure I haven't surveyed this very much I don't know if there's anything it does out today but it is something we need to look at and also it came to my mind that from a security perspective you also of course besides SUA day binary you can easily end up in some case where you build something yourself I believe and there's no upgrade path without throwing out a way and going back to the mainstream you know there's all kinds of complications with this system it's a play system that I think mostly Haskell developers use because it solves some of their problems and you know it has a few developers and it has a it's all hosted on github and stuff it's you know yeah a little trendy okay I have a minute question which is if I talk this loud is it okay to not use a microfilm no well that's my question to the video team is this loud enough for 4 minutes I thought about speeding things up for everyone else so great how feasible would it be to turn every deb into a next package automatically and let you nix install debian unfortunately I don't think that josh is in the room josh has basically done this I think before he did something with tracking all the inputs of packages that got built and then checking them in a git or something and he had a way it was basically the same basic idea where you have a hash that represents all the inputs of the package you know that would be really neat I suppose I don't know how you would get all the inputs in the debian context in the next packages well that's the main complication of packaging things this way is you have to make everything relocatable every you know possible or could a thing has to be fixed there's actually quite a bit of crossover between the problem of how do you generate a hash of every possible input into the package and the reproducible builds problem which also wants to do the same thing so I think we want to solve the problem of hashing the input into a debian package anyway nix is basically a few patches a gh or gcc I said ghc that too away from reproducible builds and one other at least a personal comment yes please make me learn you write haskell in order to do something really cool debian packaging because I've been trying to make my finds motivation to learn haskell for years and you'll give me a really good reason to finally do it maybe we have time for one more or so I have one question kind of along those lines and you may have touched on this briefly but you're mentioning embedded domain specific languages we're talking about specific languages like haskell is very good this is more of a language design question is very good middle ground between pure declarative and you have to understand haskell's specific quirks around how functions work how garbage collection works how like you have to learn an actual concrete functional language is it possible to design an edsl that works well in multiple functional languages so there can be multiple implementations of it I think I'm not a language designer either the feeling is yes you can probably transform x and z expressions yeah that's basically I mean or type plan the calculus whatever yeah I think that's a good point to end well then thanks


Today we are opening this massive box What's up guys today? We're opening a massive box of cards that I'm gonna be selling for someone So I'm not exactly sure what's in here But I know there's a lot of fire cards like there's grady cards There's ungraded card keep an eye out if you guys are interested in anything this stuff is gonna be for sale before we open The box we do have a quick giveaway. I'll be giving away these three cards all you have to do is like this video be subscribed Let me know your favorite card you seen here. There's an absolute ton I don't know how long this is gonna take but let's get into it It looks like you guys are in luck because there's a giveaway of an entire sealed Legendary decks here legendary hero decks you guys can win this do the same thing I said before like the video be Subscribing me on your favorite thing in here It looks like he has a doula saga in here I might just buy this myself and open this up for a video because this would be super fun This set is incredible. This is fun. It's like a mystery box. Here we go I know there are grady cards in here I specifically remember that we've been talking about this for a while and he just sent it Whoa, is this retro pack? This is the legendary Retro pack to I forgot how much sealed stuff he had. All right retro pack to okay the sealed stuff You can ask about it. We'll see if I bought it or not What we'll figure it out, but wow retro pack to this thing is in minty condition I've never seen one this nice like normally they're all curled up or whatever, but this one is very very nice This one is quite heavy. So let's see what this is. Maybe this is just a bunch of cards It's probably why it's so heavy. This is extremely well packaged overall, which makes sense. It's it is pretty expensive Oh, okay, it's more sealed stuff it all the jade and yuki. Oh, I've never actually had these before these are cool a jade and yuki the chas Jesse Anderson we've got jade and yuki again. That's jade and yuki too. Okay, cool. So those are two different ones So that's pretty cool. These definitely seem like cards, right? Yeah, okay cards cards cards cards here We go. All right, let's check this out. I'm jesse dragon gateway the six neither a lotus All right, a lot of stardust overdrive unlimited. Let's see. We're gonna go through these a little bit quick This card's actually pretty expensive now. It's preparation of rights Kind of hard to get these at the right angle. There we go white chimera. There's some oldies At the psychic nightmare pull that guy a few times. Okay, we get some secrets in here a feck veiler That's an ultra from D rev that's actually really expensive now because the feck veiler has gotten really popular in the current format Solid warnings more veilers. Is there an ulti veiler in here, please? That would be awesome. Okay, we got some more commons and supers Okay, oh those are supers. Oh dark soul first dead. Oh, wow. Okay. That's that's a good card for an youtube dragon blackwing dragon ulti. Oh Oh, okay guacumero saber vault Uh sniffus into the void is a lot of nice cards. We've got the uh the sniff man We've got intercept wave. We've got a lot of those infernity doom is a pretty cool card Oh infernity mirage is a good one for sure You got a repair, but it's still pretty valuable in the super rare Barghert another infernity doom Wow, there's a lot of good cards super poly secret rare nice elements or avian altar to love that So the legendary collection gx stuff And heated heart we got the hero that looks really good first edition super poly first edition. These are raw Yale mega pack cards These are all really cool malicious secret rares. Those are nice. Oh, look the heated heart is uh a little bit jacked up there instant fusions lumina Thatator beast and crystal beacon cool. We've got some more good stuff here Yeah, so uh, yeah, I don't even know what we're gonna do about these these rockards But we'll figure it out force of the breaker cool slow on fire haven't opened a lot of that volcanic doom fire We do have the ulti that it's a little bit, but uh So cool riser. Ooh, does he have an ulti riser? That would be cool volcanic shell, that's a cool one captain gold ulti's. Wow. Look at all these ulti's Oh, this is sick. This is awesome. We've got the uh light of destruction cool phantom dragon solar recharge Oh, that's nice for the uh You know the lights one stuff. Ooh secret rares. We've got the angel We've got any honest in here. We'll see I guess divine dragon Magical exemplar union attack dual links. Let's go Ryko's cool genzo lord More ryko. Oh, whoa Whoa, whoa, whoa, whoa, whoa, whoa, whoa. This is a card. I don't know. And so this might be a cool one Oh, wow Yeah, it's got that rise of destiny scuffing, but this is a sick card. Yeah Yeah, we might be uh might be picking this one up myself That is a really iconic card just everyone used to think it was so good You know when you're a kid, it's not actually good, but it looks awesome divine wrath He's got a creator in here. This card was cheap for so long I think it's pretty expensive now, but it was cheap for a long time. Wow the perfect machine king That's awesome. All right. We got a long way to go here a lot of good stuff left Like we are not even close to done like we've got all these rock carts and there's a lot more in this box So this might be a longer video sit back and enjoy it. I love these epic collections This man. Oh the legendary clock tower prison. I have three ps8 ends of that Oh, we used to have a ps8 10 of that a long time ago. Oh, does he have a dreadmaster ulti? Does he have the legendary? Elemental hero, you know Oh master of Oz cool arm dragons. Oh horus. Oh, this is so awesome Some of these ulti's I do not have in my collection. So I might be swiping these up vanities fiend very nice Man, some of these cards are awesome. Cyber dart dragon. We do have that. Unfortunately. We have that guy cyber stuff Cyber dart dark cities cool d chain neo space alien mother Destiny hero dogma and aqua dolphins some nice potd stuff. We have more potd We have the neo space in flair scare. We get the dark neos ultra rare. Very good aqua dolphins Wow, check these out. These are so cool We open it. We remember when we opened a whole case of pot. It wasn't a case technically But it basically was the equivalent of a case live stream. That was so cool I need this phoenix wing wind blast. Oh my gosh, that card is so epic for go format and it looks so good. Oh, yeah Big tusk, man. We pulled this in the every pack opening silent swordsmen. Oh, if that's an ulti We've got to get that galling drag. This card's expensive. You know, ultra rare the commons like $15. It's insane Blast magician. Oh blast magician is a good one lightning vortex is man flaming eternity has some of the best looking cards They're absolutely amazing All right, kazaki self-destruct. Oh, not as many ulti's from from the flaming attorneys. I was hoping to see the wing karebo Do we got a wing karebo? I'll see that be cool master monk. Oh ghost rare blue I've getting the new one in ghosts from the past super exciting. This is still really cool elder entity intis very good one Alistair the invoker Yeah, kitchen dragon made a lot of decent gold cards there We've got some japanese ocg. Oh, there's the ulti. We pulled this one. That this is out of the egyptian god box the shooting star dragon Tour guide. We got the dragon maids. Maybe check out the next week of auction series If you're a big dragon maid fan dark magician girl, cool. Wait, this is the yeah. Oh, that's okay. That's where we got the art cool kai ku Oh some old like actual old school like before it's been like gx era and stuff like that 5d's Very nice judgment vampire lords. These are all from his rise of destiny. That's where those are from. All right vamp lord Yeah, more rising. Okay, reprint packs. Here we go blue eyes white dragon red eyes. We got the trinhorn dragon left arm Okay, these are just rares so nothing too crazy there. Oh do koi cheese. Oh, these are good All right, the rest of the box is like common So we're gonna pass on those and go to the rest of it There is another thousand card box. Is this more singles or about oh my gosh If they're as good as the last one, this is gonna be crazy. Okay, let's see. We have uh looks like gold series Okay, there's some good stuff in here gold series dark arm dragon kaius.  They could be they're probably actually decent, but um still man mirror force mst the lone fire jenzo galaxy eyes Which is almost every card in gold series is good. We got breaker Got ancient fairy dragon alt art. I kind of forgot that existed vision arrow vine. I'm wearing dusa now Okay, yeah, it looks like you opened a lot of dusa because you know, he has the sealed one and all this stuff I remember I opened two boxes of dusa because they were super cheap back then this card is pretty expensive But it just got the reprinting gold But I opened a ton of dusa. It was really fun back in like 2018 Maybe effect dealers are probably worth a lot Even though the dusa rarity is kind of up for debate if people like it or not I still like it. Oh gale.  It's one of the only I mean, it doesn't have a lot of prints Maybe like four or something. All right. Let's see what else we got We're gonna go kind of quickly until we see something crazy because there is a lot to go through in this video I don't want it to be like, you know an hour long because I have to edit this If someone else is editing it sure we'd go all day, but I have to edit this thing So I'm not trying to die. All right. This looks like it. Yeah, we're in sasty strike a savage strike I should say So we'll see if there's anything too crazy. These are all super so they're not gonna be worth much Um hero lives cool. We're back to do so. It looks like Harvey's feather. Oh, yeah, I love graffa. Very cool The bryonic we're back to gold series four. Okay Okay, sourcerer. This is where it's like the the brown rarity that people don't like and honestly I don't blame them for not liking this one the original gold series though looks great So you can't hit on that thing that thing looks good. I think I saw some more like Epic epic stuff or db2. Okay db2 supers Gemini imps we got all this. Oh, we got some more out We got uh, the we got two of these magician of black chaos, which is cool from premium pack Not a huge premium pack guy, but I do like the magician of black chaos. It's a very cool card see career Okay, there's a lot of this. We've got um drl3. Okay, cool The dark magician girl the dragon knight is like a super in here. Yeah, I know an ultra. Okay an ultra there it is We've got oh dpo6. I thought that was glass. I was like, whoa. Okay perna solutions. Good Oh, all teas. Yeah, these are from the tin right? No, glad to go overlord. All right x. Oh x a stag All right. There's some cool cards. See 101 utopia roots.  Oh wait. Do we have stardust in here? Zombie master. I'm probably not it seems like like the best best cards were pulled out There's still like a lot of good ones in here speaking of good ones frost and flame drying from tactical I've got two of those phenomenaga Cyber dark impact cool. I've never been able to pull this rainbow dragon crystal seer awesome necro garden Zombie master aquarium to less type d boys. Everybody loves that card shard agreed. Oh, that's it That's a dueling's classic ultra rare or super rare in the first set ever. Okay Uh friller emergency telephone This is probably 20 bucks now because the $10 out of uh goes for the past reprint. So I definitely it's definitely a lot vision hero adoration We've got the imperial tomb c 101 sector stack. What's this neo? Okay photon Photon strike bouncer. That's a pretty good card. Cool. Oh Rescue cat. It looks like it's a little warped, but I bet this is like an $80 card. That's a very expensive card Invocation just got the reprint though. It's still cool to get the secret of the uh papal operative Slush slushy All right, very cool. Very cool. Let's gonna go through the man. Oh, yeah the infantry one of my favorite dueling stacks Is that water exceeds deck? It's really really good. So uh, that's a good card and so i'm dragging infinity Tuning we're gonna go even faster because it looks like these are somewhat new twin twisters or good cards. So good to see I'm gonna go very void vanishment. This card. I think got a reprint finally, but it was like a $10 super out of there Also, by the way, if you are interested in something do me a favor and don't be like Can I get that one one dollar card? You know that's in the middle of the whole thing Like maybe if you want to get like a cheap card get a few cards Just so it's like I don't have to go searching for like a 50 cent card or something like that That would I would really appreciate that because that is always a pain when that happens, but oh The chikolates Look how cute they are look at them down there with the food cake gotta love it best card ever besides, of course the pecanium moth We got the oh Rainbow what is on him do you get written on rainbow from stawn cool? Oh gotta love the dark worlds. I like playing those in dual links. They're not very good But they're fun omatarasu forbidden scripture omatarasu again. Oh, there's two cards in there all right vampire vamp Ah the pudding sess the number 91 Okay, a lot of these cards are pretty good. I mean, this is like a $10 super victory is Um, Dyson sphere is pretty good Bob. I'm gonna sharks a big money card That's in the dual links exceeds deck as well abyss dweller, of course Yeah, that's that's a pretty expensive card here too. Ah the old sword the one you never wanted to pull from tune chaos There it is quick booster. Ah the abyss tea is cool a lot of a lot of water stuff We got the heart earth dragon. These are not there we go. I was about to say scrolling I don't know if that's the right word for actual physical cards, but that's funny Oh black wing armor master cool for those black wings like force harmonizer doom kaiser always looked really cool I don't think he's worth too much tap this we got the plague spreader is awesome That's a good card for sure psychokinesis. Oh, he's in another place better. That's ultra. Okay Uh battle mania red ochre and over mind archfiend All right tg blade blaster. Wow. There's just so many so many nice cards in here Like everything's pretty nice elf in the raven trident dragon power tool dragon Lighting dragon harden armor for in chalice is a pretty big card in the meta right now So but that's pretty expensive. Uh, if there's an ulti in here, that's that's big money power tool dragons Is that a secret rare or an ultra ultra? Okay?  We got the oh the six samurai shian very good card We got these guys. Oh ulti shian. That's cool. I like that one. We got the scrap breaker. We got the anishi That's a nice one as well. So pretty good. Uh store stuff the last of this box We got a couple more stacks here for bin lances pretty good dark volitanus Black wing armor master bone crusher totem dragon scanner alien kid black salvo ancient fairy dragon cool godams godams gaia card blocker ancient sacred wyvern very good. Then we've got Those we've got the gaia play ancient fairy dragons Saber slash. Oh jester cough. It's actually expensive as a super. So that's a good one Saber slash again another jester. Very good ultimate rare good Silver wind is very cool looking. I always like that one ice queen clear of ice Shadow no g. Oh the arch store christia. Cool. Um the guardian iatos Close to magician a lot of good stuff in here. We have another huge box They're still graded cards to come so keep keep your eyes open for that or just stay with us We have some are these mcdonald's packs mcdonald's packs. Oh, that's pretty big actually. I might want to open those That's cool. We have the super starter space times showdown. Okay? We have the dragons of legend unleashed. This is dragon's legend three I believe we have dragons of legend two which can have the tune kingdom, which is a big card Another unleashed booster box. Oh, here's a big one of first edition lab worth of nightmare Okay, that's a pretty big one. Maybe we do a box break with this because jim and ialf would be awesome Oh tune chaos first edition. You love to see this. This is a nice box And then we have oh dimension of chaos one of my favorite boxes I kind of want these for one of these for my collection. Okay, this is a nice box And not only do we have one we have two these are actually really hard boxes to find if you guys remember when we opened all Those packs wow dimension of chaos. I kind of forgot that was in there We are on to the main event the graded card So if you go a little peek little sneak peek in there We can't really see them, but this is a barrel dragon First edition PSA 10. So this is the kind of stuff we're looking at we're looking at some really nice cards So you guys especially these PSA cards because they're the easiest to sell We don't have to dig through a bunch of stuff. We only have a certain amount of these So if you guys are interested in these hit me up instagram twitter email all that stuff There's like a lot. There's like 30 cards. So let's just uh, let's slowly get into it They are all in these wrappings. I mean he packaged this thing like the best packaging I've ever seen probably they're wrapped up. They're in boxes. They're in other boxes. You know, they're multiple boxes. Here we go Forceful sentry PSA 10 for magic ruler quality stuff. We have oh an old cert tune summon skull. Okay MRL PSA 10. We're looking at PSA 10 stuff right now, which is pretty awesome Graded tens. All right. What is going to be next the four certs. So we're all over the map We have blue eyes tune dragon. We are looking at some really really nice cards right now That is four PSA 10s of old magic ruler and metal raider sets next pack Pack whatever you call this. It's like a mystery box. Oh imperial order PSV first edition. Okay, very nice. This is just like a massive mystery box of random like graded Ungraded. It's awesome. This is so much fun to open. We have Sanga of the thunder PSA 10 Super rare and we have Tribute to the doomed Metal raiders first edition. Very nice. Wow. We're talking like old school stuff here and these are pretty nice Limiter removal fair of service. That's our newest card yet. We've got a two that we haven't left 2002 yet though But this is pretty cool. All right. We have next. Oh, this is a little bunched up That's just the case the backup soldier PSV PSA 10 Then we have the seven tools of the bandit. This is a cool one. I like this card It's always the one you never want to pull but it's still a cool card and the next card We have Defensive tactics PSA 10 ultimate rare. That's funny. We've got end of anubis the ancient sanctuary secret rare. Very nice All right, guys. I went ahead and removed all these from their packaging because it was taken forever So we're going to do these one at a time. We have exo plasma or ultimate rare PSA 10 There's a ton of them left and then there's also more cards. I realized they have judgment of an recursive anubis Sorry a different card Kazi Jin a PSA 10 cool. We've got the x head cannon. Very nice super rare from magician's force These are all tins. We've got the yzy tank. Yeah, I don't know if he even owns anything. That's not a 10 This is crazy. Well in terms of great because obviously the ungraded stuff. It's not a 10. All right Oogarnicella fontis one of the worst one of the worst foils in general for metal rays, but still cool This is a big one Haunted mine ghost rare the pop on this thing is tiny. Let's see if the foil actually looks good You guys see anything wrong with it? Okay, those scratches. I think are on the case right there But wow a gem meant 10 from Haunted mine. These are very very hard to find very valuable cards That is nice. So but they aren't printing the new ghost right now. We've got the serpent knight dragon first edition. That's cool Uh, chathonian dragon love to see that chathonia emperor dragon should say buster blader PSA 10 Whoa, there are some big cards in here some absolutely huge cards All right berserk dragon. That was one of the first cards I grade not that specific one But arch oh soul archfiend of lightning one of my favorite cards The ultimate tyrant. Oh, that's very cool ultimate ultimate tyrant Time wizard PSA 10. That's so cool. The time wizard. Love to see that one harpy ladies sisters very good Sanctuary in the sky We've got mask of dispel got the oh ancient sanctuary cover card the arch lord zirado That's a cool one then the fiber jar. That's also a good one Horus the black flim dragging if that was ulti that would be insane even though it's level six mystical space typhoon PSA 10 We've got the exodia nekros PSA 10. That's so cool. That is one that I've never gotten somehow from dark rite So I used to have a 9.5, but I never got the 10 and then a tune mermaid PSA 10 And that's not even it for the video. Then we have the stack of toplers. These are the last cards We have let's see. They're probably nice cards Uh extra have the tape on it. So we'll get it out We're gonna do that later. Then we have a bark in was on the other side So we will get those out of the tape later, but we have to check these other ones are herald of perfection curse of dragon first edition L.O.B. All right. Not bad barrel dragon first edition. We have a PSA 10 We have a raw copy. Oh ghost rare red dragon arch fiend. So we are not kidding around We have the gold rare dark magician girl. Let's go like this kelton guardian first edition L.O.B Flames sportsman first edition L.O.B. Yadda grasson first edition Legacy of darkness jenzo first edition psv first edition summons skull first edition relinquished glonios ulty Wild wingman ulty doriado ulty wing. There was another one in there. That's not top-loaded interesting And then the ulty galaxy eyes prime photon dragon. Wow. This is like it just doesn't stop wing dragon of raw awesome B skull first edition dark piercing line. I don't know what conditions. These are but man. These are nice Wow, not just kelton.  Oh my goodness. This is insane toon table toon table obelisk wing dragon raw blackluster soldier Cosmo queen millennium shield. Let's go The dark magician girl. Oh majestic. That's big drakonite acquist Solemn and another majestic star dragon and finally we have the oh the collector rare gamma We got the toon kingdom. I was talking about that earlier sdj. Maybe cat. We've got the dmg There's another ghost rare or gold gold ghost rare blue eyes psyche wheeler and the toon bookmark. Wow What an insane box If you guys enjoyed that epic opening be sure to subscribe and like the video because we're going to be doing more epic stuff Like this in the future if you guys are interested, especially in the big cards Hit me up. Shout out to tcg trusted cards, tomfosho, tomato juice, noa j, hawaii and yugioh, stanley, mike, nance, maybe gecko and duals kingdom cards Thank you guys for supporting the channel and I will see you guys next time peace


Deric Down to Crawley yw'r wych yn eich gynnais i ddim yn yw'n ddiwrnod o'r chancell fath o'r gweithgwr. Mae'n ddim yn mynd i'n amlwg o'r cyd, mae'n cyhoedd yn ei ddod o'r trofnod ym mhaen, mae'n ddod o'r cyd-o'r llunio'r cyfrifiadau a'n gwaith gyda'r ysgrifennol. Mae'n ddim yn ymlaen i'r cyfrifiadau, mae'n ddod o'r cyfrifiadau a'n ddod o'r cyfrifiadau, ac we want to go to Crawley and win the match, ac mae'n hollwch ar gweithio. Is it a case of, or is it a case if you continue to sell yourselves that it's just a matter of time if we keep on creating the chances that we are, then we will win? It's important that the players obviously are more clinical in front of goal. At times there has been good goalkeeping, there has been block shots, but at times we haven't taken that chances when they've come along, we've either missed a target or not finished well enough. We have just been practising on that and trying to become better at it. And how has training gone this week in that regard? Do you see more encouraging signs these days? Yeah, we are. I think that it's been a difficult week because we had the midweek game and we obviously rested players in midweek. We've had a good session today, they trained really well and they're all looking forward to going to Crawley and Sattery. A lot's been made, I guess, of the injury problems we've had over the past few weeks. Do you take that for what it is at first value? I guess you can't afford yourself the time to look at it and feel sorry for ourselves. Yeah, I mean it just happens now and again, there's nothing you can do about it. The body sometimes causes you an issue and that's what we've had for a few of our players. We've got six out for this weekend, but we've got other ones in the background that have got a good opportunity to play. And Crawley Town, again, quite a strong home record so far this season, what do you make of them as opponents? Yeah, I mean, it's always a good venue to go to, I enjoy going there. And I think that, you know, it's a tight ground, but the surface is very good. It lends itself to a good atmosphere and I think that, you know, when our away supporters go there in Saturday, they'll create, you know, a tremendous atmosphere. They've done that at home, it's been great, you know, to go to Validprade this season and the players have been speaking about that and the way it's fallen has been tremendous as well. The being near 500 of them there on Saturday, as we mentioned, a long old trip. How important can that be for us on Saturday, that 12th man backing if they're behind us? Yeah, I mean, they're always important, I think that, you know, just to have the vocal backing of your supporters and have so many travel a long distance to Crawley is hugely beneficial for us as staff and as football players.


Now we're gonna tell her about her new nickname joining us after growing up chasing chickens on the farm Made her fast and in fact so fast that now tell me how you feel about Carly blaze Talking about the chickens It's not me Well once I heard the story I thought it was I thought it was a joke It's like it's kind of a joke like I never Carly a four goal game today for you in a day in which you need it all of them In the second half how much you sort of put it on you and saying hey look I want to be the one when the clocks one down get the ball on my stick and I'm gonna turn on the jets and go Well, it's really important what we get this momentum going the first half and then sometimes we lose it in the second half And we all become complacent We all just work the ball and move it around and then we just get in this lull where no one wants to go to goal So sometimes you kind of just have to just take the drive and go to get everyone hyped up again Everyone wants to keep scoring We did that really really well today you are we're our player to watch in the game today So well done by you to have a floor that's that's a humble brag from MC that we caught it We caught it. That's what she's really doing Good job You don't even know But a great job by you today, thank you I love how you use your speed on the field So you have a quick first step. Is that something that you concentrate on think about work on I think it's something I try to utilize to the best of my ability because that is something I have Against some other players and I love when a girl like steps out because then I just Try to go That's like my sign That's why she's carly blaze That's the reason I'm gonna give you the same question. We just gave Jamie just getting a win After some of the heartbreak that you guys went through at the beginning of the season How important is this moment as you now head out on the road for a significant trip? How important is it to go out there with a win? It's very important There's such a just different atmosphere when you go into the locker room after the game everyone's so hyped up and not Down on themselves, but it's also important to show that like even in a close game We can battle it out and come up with the win Carly congratulations great game big win. Thank you so much. She is Carly Bows


Welcome to Microterrorz, scary stories for kids, where it's always the spooky season, full of chills, thrills, and spine-tingling spooks. Microterrorz are family-friendly frights for those ages eight and up, and while our stories are for younger years, we are still talking about things that go bump in the night, and some children may not be able to handle what others can. Parental consent is recommended. Now for tonight's Microterrorz. The Headless Huntsman The morning sunlight broke across the valley, burning up the lingering fog that had settled in overnight. As promised, Claude Alborn's daughter, Katrina, arrived on horseback at the cryly home to deliver a breakfast of eggs, bread and ham to Henry and Oscar. She didn't expect to be met by such frantic and shaken children. They described to her the horror they experienced, a horror that lasted the entire night until just before the sun broke over the horizon. Ernest Cryley, who was brought back from the plane of death and without his head, by a magical severed wolf's paw, had spent the night knocking on the front door, begging for entry to his home. Henry and Oscar refused to answer the door, even burning the paw to ashes in the fireplace with hopes that their undead father would burn away with it. But no such luck was had. The morning sun, however, seemed to be what made his spirit retreat.  When they told their story to Claude, he took it very seriously. He sent the boys several miles away to Territown for their own safety and sanity, and enlisted help to investigate the boys' claims of a headless spirit at their door. That very night, as the moon glowed brightly in the starless sky and a light fog rolled in, Claude was joined by Katrina and Constable Brahms, the young and strapping lawman of the village at the Cryley home. Claude wanted to see if the brother's story was true or if they had been so grief-stricken that their minds had played dream-like tricks on them. Constable Brahms looked over at Claude as they sat in the main room of the home next to the warm flames that flickered in the fireplace. He could tell there was a concern in his stare, but it was focused on the boys. Henry and Oscar will be fine, Brahms said. They're safe now from whatever blather they described. Claude lifted his head, looking Brahms directly in the eyes. Blather? You don't believe them? All I'm saying is that the severed paw of a wild animal could not bring someone back from the dead. It's just not possible. Claude stood up. Those boys had never once lied to me to anyone. Ernest raised them right. They're good kids. Why would they concoct such an abnormal event? Attention, Brahms said, adjusting the rifle in his hands. They lost their father to a vicious attack. Their mother succumbed to illness years ago. They are alone now, looking for a way to attract sympathy and adoration. I can't believe what I'm hearing! Claude said, standing to his feet. He grabbed his rifle from against the wall and walked to the front door. Where are you going? Katrina nervously asked, sitting up in her seat. To walk the property, Claude said. It's almost midnight. Stay here. Where are you safe? Claude left the home, closing the door behind him until it latched. Constable Brahms looked to Claude Alborn's beautiful daughter, who was just out of her teen years. He admired her, fond over her whenever their paths crossed in town. His attention on her, however, always made Katrina uncomfortable. He's right, Brahms said. You'll be safe here with me, just as your father will be safe out there. There's no ghost walking on these grounds. Or would it be floating? He said with a chuckle. Katrina scoffed, bothered by the Constable's smugness and careless attitude. Those boys were afraid, Katrina said. I can vouch for that. If you had heard the way they... Blah! I heard the whole story straight from their mouths. It's rubbish! Blather! Brahms angrily exploded. The last thing I need is to have a town panicked by rumors of headless ghosts. Katrina stood up and turned away from the Constable. Brahms went silent, aware that he had upset her. My apologies, he said, but Katrina could tell he didn't truly mean it. Don't apologize to me, Katrina said. When my father returns, you will apologize to him, and you'll mean it. Understood, Constable Brahms said, although not convincingly. Outside the night was cold. Fog had drifted in and spread its feathery form across the cryole's land. Claude Albarn slowly wandered the property. Every shadow that moved could have been a threat. His eyes were peeled and his attention was on high alert. The crickets who had been continuously chirping in the shadows suddenly went quiet. The rustling of the trees stopped. And then, so did Claude. He gripped his rifle, tension built within him. A howl in the distance, a feeling of someone or something nearby, Claude aimed his rifle into the darkness. Who is there? His commanding voice echoed across the otherwise silent land. The hairs on his neck stood on end. A chill down his spine told him to turn around. He did, and was greeted by the sight of the headless spirit Henry and Oscar spoke of. It stood only yards away next to a woodshed. Claude wanted to raise his weapon, but after recognizing the headless spirit's attire as the same that Ernest liked to hunt in, he hesitated. Ernest? Claude asked, shaking in fear.  The headless spirit remained still. His stance came off as intimidating yet protective. The boys are gone, Claude said. I'll set them away until we can get to the bottom of whatever this is. With mention of his children being gone, only then did the spirit move, adjusting his stance and becoming visibly bothered. Claude could feel a sense of dread in the air now. He felt as if his words had deeply upset the spirit. They're safe, Claude quickly added, trying to ease the unrest in the air. They're just not going to be here anymore. I promise you that I'll make the appropriate arrangements for… Claude stopped speaking when he saw the headless spirit pivot and face the woodshed. He walked towards it and then right through the wall. Claude's eyes widened. He couldn't believe what he just witnessed. A moment later, the headless spirit returned, coming through the open door on the side of the shed. In his grip was a woodcutter's axe, the same one Ernest used daily to chop firewood. Claude raised his rifle. What are you doing? He nervously called out to the ghost of his friend. Ernest's spirit, the headless huntsman, began to march toward Claude with unwavering resolve. Stop! Claude called out, now aiming his weapon. But the spirit didn't stop. He kept walking faster and faster, his boots crunching the ground beneath him. Stop! Claude shouted out again. He fired his weapon, a single blast echoed in the night, and then with one heavy swing of the axe, Claude's head was permanently removed. Constable Brahms and Katrina stood to their feet upon hearing the gunshot. Katrina's shocked expression turned to anger as she sneered at the Constable. My father's safe out there. She went for the front door, but before she could place her hand on the knob, Brahms grabbed her arm to stop her. You can't go out there! He insisted, nervousness now flushing through him. Why not? My father is out there and he would not fire his weapon without a reason. He's in trouble. I'll go, Brahms said. No matter what is going on out there, it is my sworn promise to protect this valley. Stay here and keep the door shut.  Brahms ventured out into the night after making sure the front door was closed tightly. With his rifle out, he searched the property. It didn't take long for him to find Claude Alborn's body. Headless and sprawled out in the grass by the woodshed. Brahms frantically looked around for the culprit. Spirit or not, someone was responsible. Show yourself! he called out. From the front window of the home, in the exact spot Henry Criely first witnessed the surreal terror of his father returning from the dead, Katrina watched that same terror hauntingly emerge from the fog, swing his axe and claim Constable Brahms' head. From that night on, a legend was born. The legend of a headless huntsman who was willed back from death. The legend grew and caught the attention of many. The huntsman took more heads in the years that followed, none of which were ever found with their corresponding corpses. Or at all. The most notable victim from the valley was little Charlie Crane's father, a local teacher and paranormal enthusiast who made a motion to burn the house down after claiming that as long as it continued to stand, it would assure their sleepy village in the valley would be forever known as a bedeviled and feared place. After his head was taken, the Criely property was condemned and blocked off by tall iron gates. Nature has since grown around the house and woodshed, completely blocking it from view. But sometimes, still late at night, or when a daunting fog rolls in, echoes of knocking disrupt the atmosphere. The headless huntsman remains restless, desperate to see his children again. And if anyone gets in his way of that, he never once hesitates to take their heads as well. The end. Terrors.com, where we will also have spooky games you can print out and play, like wicked word searches, mysterious mazes, and more. Microterrors.com is also where you can find us on your favorite social media, and even send in your own scary story for us to tell. Plus, you'll learn more about our author, Scott Donnelly, who has other horrors for both young and old. I hope you'll join me again soon, from Microterrors, scary stories for kids. If you want to listen to the podcast, you can find it at WeirdDarkness.com.


Everyone shave every 1,000 here today. We're going to be putting some blue paint down on here now I'm not going to spray it.  I may have to get some more blue paint, but You know it is what it is. So I'll fast forward fast forward you through some of this and I had to do some more sanding down here because I didn't like the way it looked so You know I still got some white paint left to do some touch-up and stuff But what we're going to focus on right now is the sides.  I'll fast forward you through some of this and That way you guys can kind of come along with us on the repainting of this thing Like I said This is not a professional job. You know, it's not a 1957 Chris Crafter, you know, it's not a 78 Avenger It's an old John Boo. I know a lot of people say well John Boo's got a flat bottom. Look, it's just a fishing boat You know, it's a 14-foot fishing boat We just wanted to make sure the bottom was sealed and you know getting it ready for summer We're gonna have it out a lot Just kind of make sure the bottom sealed and just giving it a fresh look because After we've had this out two or three times. You'll never know it was painted anyway So we just you know wanted to freshen it up a little bit. Yeah, the right way to do it Take it clear down to aluminum by blah blah blah. I know that I know it's a fishing boat It's a little 14-foot aluminum fishing boat Okay guys that all the way Let's get some paint mixed. Well, we don't have to mix it. We're just gonna stir it up and There's some paint on first coat. It's not gonna take long. I'll give it about 30 minutes 15 to 30 minutes I'll give it a second coat Then we'll see how it looks from there.  I still got some stuff to do I still got to tape off the the numbers on the other side and stuff like that, but I'm not worried about brush marks if it gets brush marks. It's got character. I don't care But it looks like the brush marks are disappearing, so that's pretty good so I'm gonna let this dry give it a second coat and I'll be back with you when the second coat is done now on the other side Or on the inside. I've got a lot of blue paint running down like on to the white That's on the inside. That's okay because the inside's getting painted to the white And then we're gonna put after after we paint the white. We're gonna put blue carpet down So I'm not worried about that. I got some blue on the on the white up here on the bottom I don't know if you can see it or not, but That's okay because I got some white paint That I'll touch that up with no problem, then I got I got another quart 32 ounces of clear Once this is done. If it's not windy I'll clear I'll just clear the whole thing once it's all done. I'll just go ahead and give the whole thing a Coat of clear and then I think it'll be all right So there you go. I'll be back with you guys in a minute. Stay tuned. Okay guys So I got the second coat on the whole boat Excuse me As you can tell it's very windy The light changed on me. So as I walk around I'm finding more. I noticed that When I that's real light When I was giving it the second coat looks a little light up there but I May give it a third coat. I have got plenty. I still got About three three three fours of Quart, sorry about the wind. I don't have my mic on I got about three fours of a quart left So I may give it a third coat of the blue great The joys of painting outside, right? Okay, I Got some white touch up do like I said I'm not worried about that inside there because we're scraping all that off.  So Like I said, I'm not worried about that I I'll have to touch this up. I started to and as you can see We kind of wanted to smear with the blue. So I'll let that dry overnight Touch it up tomorrow. I never did like the way they put these letters Or the numbers Like this one's okay, but I think what I'll do See it followed that line there and then this they kind of May peel that off and re-stick it. I think what I'm going to do though hang on a second Assholes It's 25 through here.  We'll go get some new New letters and numbers and I'm not going to go with this style. I'll just get like the kind of vinyl that That's white That's just there's no outline. It's just the letter and the number. You know what I mean? I think it'll look better than that Which it's legal to do it that way as long as you got your numbers on there and they're they're visible But I think I'll run it Or maybe try to get them straight or run with that top line This just You know, I may do this the same way move it up And then I'll clear coat over Everything I'll just take this tarp here and I'll cover the seats up and then I'll just You know just clear coat Everything up there. I mean that's that's pretty dry right now So I don't know if the camera's picking up how shiny it is, but I mean Yeah, that's dry. Oh, yeah, it's dry. You can see how shiny it is. I think So Don't stand back here Take a good look at it Yeah, I think that's what I'll do with them letters and numbers I ain't you know, I just don't like them block letters and block numbers like that Like I said, I know it's not a It's not a 57 Chevy or anything like that, but You know every little bit helps on an old boat like this, right? So yeah, I think that's what I'll do These letters and these numbers will be white and they'll peel off and it'll just be the number There'll be no box that it won't be outlined So I think that'll be cool But yeah, it's starting to look pretty good Man that thing is shiny So like I said, I've got plenty of blue to To touch up that's gonna need a second coat. I never did put a second coat on that. I'm getting tired but I Think she wants these painted blue again these handles doesn't matter to me what she wants That's fine. I'll paint them blue for But You know now just touch up stuff and get the interior done She's talking about she may get these seats redone with a darker blue So we'll see what that costs You see this one came off It's over there, but The plywood they used on these seats is just regular plywood. It's not treated. I Don't think this is treated, but this is okay so Yeah, I'll find a poultry shop around here see what they'll charge If it's not too much, we'll just take a man and get him done for I wouldn't want to paint That you know these this section But I think I will I gotta pull the damn lights off though But that's okay. I'll go ahead and repaint them to when we do the inside start on the inside I'll repaint them. Of course that's going to be repainted ordered more lights We've got let's see two four six We've got eight lights in there order ten more So I'm gonna put one on each side here in the center here and then here just right above that black line like that one there is and Then that'll leave me Four more I think I'm going to put up under the fender one on each above each wheel under the fender of the truck so Should be cool, and then the fun start the fun stuff. I got new that new bow lights. I think I told you I got them in the house Which is navigation lights red and green So yeah, I got a couple white ones I think I'll put back here on Their own switch. Yeah, see that's gonna be painted on their own switch So that way I can have some lighting back here If you know that dark if I need need to do something or whatever, so but You know for an old just an old fishing boat that thing's gonna look pretty good for about a week But Yeah, it's cool You know I didn't straighten any of this out I left that on purpose because I just think it's really neat and things been beat up and It's character in my book and on old boat like that just an old fishing boat So there you go guys. It's getting really windy so I'm gonna say what the hell Not that but let's say hope you all have a great weekend and And a better week to come next week and I stay tuned for more videos on this thing and Then we'll get it out on the water hopefully next weekend we'll see I'm not sure We'll get it out make sure You know, there's not There's no water coming in or anything what there shouldn't be like I said there was only two rivets That was seeping some water in But most of the water we were getting in was either splashed in or You know something something like that like the good jumping them waves and stuff in the water will blow back in But I think it's gonna be all right now So I Never did have to worry about it. I got a pump like I said, but I've never had to pump the water out It's never been. I mean it's never been that much so Maybe a quarter inch in the back If that you know on the very back by the motor not enough to even get the pump to prime to pump it so All right guys again. Shea bear the myth man legend. I'm gonna go for now Monkey's got one more patient and then she'll be on her way home And See what she thinks of it. So We'll see you guys soon. Have a good one. Thanks for watching these videos guys. I appreciate it Just bring it along with these, you know on these These little projects, you know just for fun just so you guys can stay updated on what's going on and Those of you that don't care. I don't care Don't matter, but those of you that do thank you very much I do appreciate it appreciate all your support love all your guys's comments keep the comments coming and I'll get back to them just as soon as I can Love reading all your comments. So all right guys. We'll see you soon. Have a great weekend. Bye. Bye guys and take care