Логика коэволюции компиляторов, инструментов разработки и языков программирования.
Выступление в институте iSpring 17 мая 2025 года. Огромная благодарность организаторам за приглашение и за разрешение выложить запись на моём канале.
В этой лекции мы поднимемся от самого нижнего уровня -- отдельных транзисторов до высокоуровневых языков программирования и проследим совместное развитие механизмов абстракции и инструментов разработки.
00:00 Начало: бинарные цифровые компьютеры 06:00 Мнемоническое представление и проблемы двоичного кода 14:10 Релокации и изобретение линкера 17:25 Язык ассемблера, секции и ассемблер как программа 24:30 Дизассемблер. 30:25 ABI и соглашения о вызове 35:35 Библиотеки 40:55 Проблемы ассемблера 48:10 Алгоритмические языки и компиляторы 54:45 Компилятор и его ограничения 01:03:40 Оптимизации в бэкенеде: inline и LTO 01:15:00 Гарантии по именам и механизмы абстракции 01:19:55 Завершение: абстракции не случайны
Логика коэволюции компиляторов, инструментов разработки и языков программирования.
Выступление в институте iSpring 17 мая 2025 года. Огромная благодарность организаторам за приглашение и за разрешение выложить запись на моём канале.
В этой лекции мы поднимемся от самого нижнего уровня -- отдельных транзисторов до высокоуровневых языков программирования и проследим совместное развитие механизмов абстракции и инструментов разработки.
00:00 Начало: бинарные цифровые компьютеры 06:00 Мнемоническое представление и проблемы двоичного кода 14:10 Релокации и изобретение линкера 17:25 Язык ассемблера, секции и ассемблер как программа 24:30 Дизассемблер. 30:25 ABI и соглашения о вызове 35:35 Библиотеки 40:55 Проблемы ассемблера 48:10 Алгоритмические языки и компиляторы 54:45 Компилятор и его ограничения 01:03:40 Оптимизации в бэкенеде: inline и LTO 01:15:00 Гарантии по именам и механизмы абстракции 01:19:55 Завершение: абстракции не случайны
Bitcoin is a decentralized digital currency that you can buy, sell and exchange directly, without an intermediary like a bank. Bitcoin’s creator, Satoshi Nakamoto, originally described the need for “an electronic payment system based on cryptographic proof instead of trust.” Each and every Bitcoin transaction that’s ever been made exists on a public ledger accessible to everyone, making transactions hard to reverse and difficult to fake. That’s by design: Core to their decentralized nature, Bitcoins aren’t backed by the government or any issuing institution, and there’s nothing to guarantee their value besides the proof baked in the heart of the system. “The reason why it’s worth money is simply because we, as people, decided it has value—same as gold,” says Anton Mozgovoy, co-founder & CEO of digital financial service company Holyheld.
The S&P 500 slumped 1.8% on Monday and Tuesday, thanks to China Evergrande, the Chinese property company that looks like it is ready to default on its more-than $300 billion in debt. Cries of the next Lehman Brothers—or maybe the next Silverado?—echoed through the canyons of Wall Street as investors prepared for the worst.
