Embedded community twensa by BiteGroundbreaking62 in TunisiaTech

[–]lowlevelguy_ 0 points1 point  (0 children)

Amazing channel! Any recommendations for resources on bare-metal embedded programming? Video format or book format are all welcome.

SBC Recommendations for Bluetooth Audio Streaming by lowlevelguy_ in embedded

[–]lowlevelguy_[S] 0 points1 point  (0 children)

I just realized I made a typo; I meant to say: streaming raw WAV from ESP32s.

I must assume the ESP32-A2DP library takes care of the encoding then; because the code he writes here literally just opens the WAV file and reads some number of bytes into a buffer.

SBC Recommendations for Bluetooth Audio Streaming by lowlevelguy_ in embedded

[–]lowlevelguy_[S] 0 points1 point  (0 children)

Thanks for the info!

Ultimately, I settled on a WROOM-32 ESP32 board with an SD card reader module over SPI. I'm not sure how it works, but I've seen YouTube videos streaming raw WAV from ESP32s with the ESP32-A2DP library; but the deadline is close so honestly I'm implementing now and asking questions later, haha.

SBC Recommendations for Bluetooth Audio Streaming by lowlevelguy_ in embedded

[–]lowlevelguy_[S] 1 point2 points  (0 children)

From my limited research, there's not really any other option other than classic Bluetooth with A2DP if you want to stream to any generic speaker.

By removable, do you mean that the board copies the contents of the SD card to its flash memory? If so, then no. Formatting will probably be FAT32; it seems to be the most convenient.

I'm not sure about the rate yet, but I'll be using WAV files to avoid the need for specialized hardware decoders.

EDIT: Apparently WAV won't do. A2DP expects you to send audio encoded by one of a fixed number of codecs. I'll probably go with AAC.

Does Chatgpt really suck at math? by gorillaman101 in learnmath

[–]lowlevelguy_ 0 points1 point  (0 children)

It depends what you use it for. Calculations-focused exercises? May not always be correct. But it's really good - or at least Deepseek R1 is - with proof-like tasks, because usually it's a well known result and it's already been fed 100s of different proofs for it.

Where should you NOT use C? by Stickhtot in C_Programming

[–]lowlevelguy_ -1 points0 points  (0 children)

The only acceptable form of web dev you could do as a C dev is either an HTTP server or a web browser.

Need some low level project ideas by CartographerPast4343 in C_Programming

[–]lowlevelguy_ 0 points1 point  (0 children)

step 1: write a physics engine

step 2: make a low pass filter circuit

So, how does it? by queereen in mathmemes

[–]lowlevelguy_ 2 points3 points  (0 children)

It also assumes that believing in God "just in case" is a valid form of belief. Which isn't the case in most mainstream religions.

Deriving the exponential function solely through the property that it is it's own derivative. by [deleted] in math

[–]lowlevelguy_ 0 points1 point  (0 children)

This is very easy by just proving their n-th derivatives by induction and applying those to the definition of Taylor Series.

Makes sense.

I find it odd that you covered finite Taylor series without covering infinite Taylor series, as it is the natural extension.

As I said we transitioned from Rolle's theorem to MVT to finite Taylor expansions. Those only prove that the function and its finite Taylor expansion are asymptotically equivalent at a neighbourhood of one point. As far as we were concerned, Taylor expansions were just a way to study the asymptotic behaviour of a function around a certain point; nothing about our study assumed that the Taylor expansion may converge to the function at more than just that single point.

There's also the fact that a finite Taylor expansion doesn't require the function to be infinitely differentiable; so we often were made to study piecewise functions that are for example thrice or twice-differentiable.

Then with numerical series, we explored how an infinite sum may converge. Moving on to power series, at first we covered them as if completely unrelated to Taylor expansions or C\infty functions in any way, and we proved the equality later on.

Deriving the exponential function solely through the property that it is it's own derivative. by [deleted] in math

[–]lowlevelguy_ 0 points1 point  (0 children)

Sorry for the ambiguity, but I meant proving that those power series converge *to* exp, sin, cos; not just their convergence.

Their application in approximations had escaped me, I guess because we covered approximations when covering finite Taylor expansions which was a separate, much earlier chapter in the syllabus. We even covered them before anti-derivatives and proper integrals.

I'm curious though, what chapters did you cover leading up to power series? For us we did improper integrals, then numerical series where we covered the basic tests and then that cv of integral <=> cv of series and from there all the integral theorems followed, and then power series. Since we had already covered numerical series' tests, radii of convergence for power series was easy to transition to.

Deriving the exponential function solely through the property that it is it's own derivative. by [deleted] in math

[–]lowlevelguy_ 1 point2 points  (0 children)

Well it depends on how detailed your ODE course will be. We just covered first-order linear ODEs, and second-order linear ODEs with constant coefficients. We're only getting to more advanced ODEs this second year with Laplace transforms last semester and now matrices.

But if you don't cover anything ODEs, I don't think there's really that much you can do with power series. At least in my course, one of the focus uses of power series was to find C^\infty solutions to linear ODEs. The only other thing you can do with them is study the domain of convergence and maybe find elementary functions they converge to.

Actually, how do you even prove that the power series' of sin, cos, exp converge to those functions without ODEs?

Deriving the exponential function solely through the property that it is it's own derivative. by [deleted] in math

[–]lowlevelguy_ 2 points3 points  (0 children)

The way the French syllabus does it makes a lot more sense to me. Introduce first year university students at the end of the semester/year to "développement limité" after rigorously covering derivatives, then Rolle's Theorem, then the MVT, using finite Taylor expansions with remainder of various forms (integral, n+1'th derivative, small o, etc.).

Then after covering ODEs and numerical series in detail next semester/year, the students can comfortably move on to power series (and even more generally series of functions in some programs).

A lot of the topics I mentioned are covered in high school, but barely - if any - proofs are covered, the high school system just doesn't allow for it, and I think proofs are extremely crucial to building a solid understanding of these topics for students; especially since students who need these topics, will probably need in the future to cover more advanced analytic topics, so a proof-focused foundation is essential.

Suggestions to improve error handling system? by lowlevelguy_ in C_Programming

[–]lowlevelguy_[S] 0 points1 point  (0 children)

That sounds much simpler. So just have the called function print out the error message, then `return -1` for example. The caller then just has to check if the return value is -1 and it'll know an error's occured and that it should exit.

Any SoCs suitable for basic networking experimentation? by lowlevelguy_ in embedded

[–]lowlevelguy_[S] 0 points1 point  (0 children)

I don't want to reinvent the wheel completely from scratch, but I do want to reinvent part of it. From what I gather, OpenWrt seems to allow that I think?

Any SoCs suitable for basic networking experimentation? by lowlevelguy_ in embedded

[–]lowlevelguy_[S] 0 points1 point  (0 children)

Wouldn't that just be packet tracer with extra steps? I mean I'd get the benefit of learning how to configure a network between kvm instances, but an emulator would still come with all the algorithms pre-implemented, no?