00:00 The general content of 6.001
10:39 Scheme basics -- primitives and combinations
21:54 Scheme basics -- abstractions

From MIT's legendary introductory computer science course, 6.001 Structure and Interpretation of Computer Programs (SICP), as taught…

Memory latency and bandwidth are becoming increasingly constrained, and these trends are at odds with most of today's garbage collection algorithms, including Go's. In this talk, Michael will dive deep into Green Tea, a new parallel mark algorithm to accelerate…

At Johnny’s Software Lab we’ve spent a lot of time deep-diving into advanced performance topics — vectorization, cache hierarchies, memory bandwidth, you name it. But not everyone is ready to jump straight into assembly listings and microarchitectural details.…

I made a game in assembly that runs without an operating system. This is bare metal programming.
Use this code for 6% off the GEEKOM A9 Max: INKA9MAX
Amazon US: https://www.amazon.com/dp/B0FJ213R6G?maas=maas_adg_0FE41833A48421DFC866BA78A00785F4_afap_abs…

The CompCert formally-verified C compiler. Contribute to AbsInt/CompCert development by creating an account on GitHub.