Systems programming

This track is for code that sits near the machine: allocators, firmware loops, driver-shaped modules, anything that cannot afford a garbage collector.

Buraaq's bet:

• No GC on the default path: drop is deterministic
• GFA proves moves and borrows without lifetime syntax
• unsafe + extern c for registers, DMA, and OS ABIs
• LLVM so a tight loop is a tight loop (Gate B: integer_sum 0.00× at n=1e8; worst fib_iter 1.02×)

You still bring linker scripts, board packs, and kernel headers. The language does not pretend to be an RTOS. It stays out of the way so the C you used to write can look like Buraaq until the last millimeter.

Map

1. Ownership
2. Allocation
3. Memory safety
4. Unsafe and C
5. Concurrency
6. Performance
7. Electronics
8. Firmware example
9. Driver sketch
10. Optional native window: last, only if you need a Windows UI