gcc VS ArduinoCore-avr

It's called a compiler, Arduino IDE uses gcc.

You can use the website, on mobile or desktop. It works fine. I don't get why people think that if they can't use some 3rd party app to access Reddit they'll ... I dunno, browse the archives at gcc.gnu.org or something. There is nothing else like Reddit.

It even uses a completely vanilla C++ compiler, with avr-libc and Arduino's own libraries and framework.

It uses gcc

In this tutorial I'm using the GNU assembler gas with intel syntax along the the GNU linker.

But basically get yourself an editor (like notepad++ or VSCode) and a compiler (https://gcc.gnu.org). Write some code and compile it to an executable. There, you made a program.

I believe the make command is something that is included in the CS50 codespace only. You would need to compile your code using something else like gcc or another C compiler

Gotta pick some project that matters to you and do it. Putting Python code into production with multi-person teams is outright maddening, but for the individual who wants to put their skills on wheels, Python is a great place to start.

Another fun thing to try is

https://www.arduino.cc/

I got started with that buying an Arduino and a breadboard and a handful of 74xx logic chips and I started writing Arduino programs that would generate inputs to the 74xx chips and verify the expected outputs and thus taught myself C coding for the Arduino and how to make circuits with discrete logic at the same time.

Check out existing implementations like Arduino: https://github.com/arduino/ArduinoCore-avr/blob/master/libraries/SPI/src/SPI.h

4. https://github.com/arduino/ArduinoCore-avr/blob/eabd762a1edcf076877b7bec28b7f99099141473/cores/arduino/main.cpp#L46

you can always just use an ide but i use this one on my old chrome book https://www.arduino.cc/

You'll also need the avr C library and the Arduino library, and possibly a Makefile or similar to corral the compilation process

Ya for $25 you either want 4-5 clones, or support the official Italian Arduino makers as thanks for making the entire ecosystem possible by buying one of their own boards from https://www.arduino.cc/

It depends what exactly is she into. For electronics you can check out arduino. They sell full kits with everything you need - some components like leds, breadboard so you can create circuits without soldering and a small 8bit computer to control everything with. AFAIK they also sell kits specifically for education starting with middle school.

They are in via Arduino. ;-)