Cool stuff! I used Idris in college and was obsessed with dependent types, (we taught a CS1 course using Idris as a more-friendly Haskell). The students did, uh, not like it and we switched to doing PyGame stuff midway through. It's neat to see how practical linear types can be for modeling resources.
@dspx_plcr10 күн бұрын
Idris as a *more friendly* haskell! What a concept! I'm not surprised CS1 students didn't like it, but it's cool that dependent types were introduced to students that early. I'm sure at least one person was shown something that changed the course of their career :) Linear types for resources is a really nice idea, but sadly my experience with Idris didn't impress upon me the practicality. I still think it can be made practical, but there is some work to go on that front, in my opinion.
@uwusnyslodziak12 күн бұрын
i like this series
@ItsNateY3KАй бұрын
is this project on a git repo somewhere? looks really cool!
@dspx_plcr29 күн бұрын
Thanks for your kind words! It isn't public anywhere, since I haven't decided what I want to do with it yet
@ethan-810Ай бұрын
why does youtube recommend your latest videos everytime we watch a video
@dspx_plcrАй бұрын
I don't know why youtube works the way it does, I wish it offered me a better system, but sadly it does not.
@shutАй бұрын
good job bro
@mariomaliqi184Ай бұрын
Nice bruh
@FizzifyАй бұрын
Are you using Linux? What distro
@dspx_plcrАй бұрын
Nope, I'm using OpenBSD
@neipodamАй бұрын
Delicous
@neipodamАй бұрын
Welcome no sorry good i dones't have time bye
@eduardogomesheleno98122 ай бұрын
Theme?
@dspx_plcr2 ай бұрын
Default alacritty theme and default kakoune theme
@UltimatePerfection2 ай бұрын
Why are you trying to give streamers an IBS? That's nasty, man.
@dspx_plcr2 ай бұрын
They can take it :)
@SbF6H2 ай бұрын
I think you would have had greater success if you used GStreamer, instead of FFmpeg which is largely undocumented. Trust me, I have had experiences with FFmpeg C API, and it's pretty awful to work with, as most of your time just goes on browsing the source code to understand what "exactly" a certain function does because the documentation is either incomplete or non-existent.
@dspx_plcr2 ай бұрын
That does indeed match my experience, but I'm not too phased. I don't think I've exhausted my options with ffmpeg and am happy to continue with it for a while longer. I'll keep the gstreamer suggestion in mind if I chance course though, thanks :)
@SbF6H2 ай бұрын
@@dspx_plcr Fair then. I personally have spent more time debugging the Rust binding for FFmpeg API, because that too is undocumented. And needless to say, I have been met with failure in Rust even with immense maneuver and stringent scrutiny, but had quick success with the direct C API. So, it's basically me trying to match the C code with Rust, and reading the C source and Rust source code simultaneously to find out what exactly is wrong. Great, isn't it?
@dspx_plcr2 ай бұрын
@@SbF6H The life of a developer! One day devs will figure out how to document things
@SuperMegaToto2 ай бұрын
What is the WM?
@dspx_plcr2 ай бұрын
CWM, distributed by default with OpenBSD. To be honest, I'm not a fan, but I haven't gotten around to setting up a WM properly
@nukemup072 ай бұрын
Hey bud glad to be here. im learning low level programming myself. done a few I/O things in C along with some Encryption.
@dspx_plcr2 ай бұрын
Glad to have you here :)
@Amon-who-loves-monicals2 ай бұрын
Nice just now getting into c this will be a fun playlist to watch
@khasanshadiyarov2 ай бұрын
What is the mono font?
@dspx_plcr2 ай бұрын
It's a Courier clone called FreeMono from the GNU FreeFont family
@stankymane2 ай бұрын
BRO IS BASED
@matzy_media2 ай бұрын
IBS... Nice
@rizanfs2 ай бұрын
What is this black magic I'm seeing. It's cool tho
@cbg45672 ай бұрын
good stuff man
@justkeno59282 ай бұрын
W vid man keep it going ;)
@mewingmonkey-q4g2 ай бұрын
i liked
@Jeanpierrec193 ай бұрын
If you have found it yet... PCM to dBFS is what you want... Which at full volume (INT_MAX/-INT_MAX) the value is 0 dB and you reduce 6 dB for each half. so INT_MAX/2 is -6dBFS... Meter ballistics determines how you would actually show that on a meter, which is a fancy way of saying how is it averaged over time. That's what root mean square would give you for any specific sample.
@dspx_plcr3 ай бұрын
I did indeed get the sampling and display working, but thank you for your comment :)
@Paintballman2513 ай бұрын
This is awesome!
@za0za_03 ай бұрын
why would you name it IBS bro
@dspx_plcr3 ай бұрын
If you love the software, then the name rightly describes it as the Improved version, and if you hate the software, well, the name still describes the feeling of using it :)
@Meaticus223 ай бұрын
My eyes
@lordpicor55683 ай бұрын
I like the project! It is the kind of things I want to work on, so I will follow your progress. It also helps me when I am working or when I am working on my own projects, somehow it motivates me. Thanks for that! Btw, what multiplexer do you use? Tmux? Screen? I am looking for something like what your console looks, what would you recommend?
@dspx_plcr3 ай бұрын
Hey, thanks for you comment! I'm glad to be helping you with motivation, that's sometimes the trickiest part :) Yes, I'm using tmux. Most of my software isn't configured very much, and the colourscheme for the terminal is the default from alacritty, I believe.
@liambelh95563 ай бұрын
I love me some IBS
@dspx_plcr3 ай бұрын
Don't we all 😄
@davilima9753 ай бұрын
Brasil!!!
@bhz89474 ай бұрын
Great to see someone writing C code in 2024 and laughingly coding a possible resource leak.
@dspx_plcr4 ай бұрын
Don't worry, there'll be plenty more resource leaks to come :)
@soupnoodles4 ай бұрын
Love to see the effort. Honest, good code content. Build actual skill then work on editing as you're doing now, we dont need more funky entertainers! Keep it up
@dspx_plcr4 ай бұрын
Thank you for the support, I appreciate the comment!
@bizzar21544 ай бұрын
I really like your coloscheme, how it called?
@dspx_plcr4 ай бұрын
I'm not actually sure! I'm using the default colourscheme for alacritty and kakoune. Hope that helps
@gokhangokcenn4 ай бұрын
Bro I just discovered your youtube channel and you are doing great things. I don't understand how you can have just 18 subscribers
@dspx_plcr4 ай бұрын
Thank you for the kind words! This sort of content isn't for everyone, but I'm glad you're enjoying it :)
@Athena-20034 ай бұрын
what font is that ?
@dspx_plcr4 ай бұрын
It's a courier inspired font called FreeMono from gnu free fonts
@xVezzo4 ай бұрын
i just started coding vary recently and this was the single most impressive thing ive seen and i understand none of it
@dspx_plcr4 ай бұрын
Thank you for the kind words! Keep up the programming and maybe one day I'll be watching your programming sessions ;)
@tu70_nguyeninh834 ай бұрын
Hi i want to explore this knowledge . my job is related to what you are doing so can you share to me how to lean about audio and video? thanks you so much
@dspx_plcr4 ай бұрын
I saw you commented on my other video, but in-case someone stumbles across this and has the same question, I'll copy-paste my other comment. Hi! My videos show pretty much the entire sum of knowledge I have about AV. I learned by reading the ffmpeg man page[0], and just trying a bunch of stuff out. Unfortunately I agree with you that the learning materials are not great. I hope to make some after I get my current project working[1], but until then I don't have anything to share, sorry! [0]: ffmpeg.org//documentation.html [1]: kzbin.info/aero/PL5CIEWYHtEXrH0jPXaHkOJ8INqW93T8et
@tu70_nguyeninh834 ай бұрын
Hi . I am fresher , currently i'm working with audio and video . i found that there is few material to learn. If you have , Can you share to me? i am so stress about that. Thanks you so much!
@dspx_plcr4 ай бұрын
Hi! My videos show pretty much the entire sum of knowledge I have about AV. I learned by reading the ffmpeg man page[0], and just trying a bunch of stuff out. Unfortunately I agree with you that the learning materials are not great. I hope to make some after I get my current project working[1], but until then I don't have anything to share, sorry! [0]: ffmpeg.org//documentation.html [1]: kzbin.info/aero/PL5CIEWYHtEXrH0jPXaHkOJ8INqW93T8et
@tu70_nguyeninh834 ай бұрын
@@dspx_plcr thanks for your answer. I will watch and learn all yours video. You are great men! 🙂
@bonniesimon146 ай бұрын
Love such content. Please keep em coming.
@dspx_plcr6 ай бұрын
Don't worry, I have more coming out next week!
@bonniesimon146 ай бұрын
@@dspx_plcr lessssgooo!
@TENNOM6 ай бұрын
i dont really know what the fuck im watching, but neat
@stonechen48206 ай бұрын
Heya I’m also doing some ffmpeg stuff and was thinking about recording! Are you on the irc?
@dspx_plcr6 ай бұрын
Hi there! I'm not on the ffmpeg IRC, but if you have any questions or just wanted to reach out, feel free to shoot me an email (you can see it pop up in part 5 at around 4:20). As for recording, I'd encourage you to go for it! There's a lot you'll stumble over (as you can see by this series) but it's fun and you get better as you go.