"Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023)

Поделиться
HTML-код
  • Опубликовано: 27 окт 2024

Комментарии • 4

Следующие
Автовоспроизведение
"Program Synthesis: A Dream Realized?" by Roopsha Samanta38:05"Program Synthesis: A Dream Realized?" by Roopsha Samanta
"Program Synthesis: A Dream Realized?" by Roopsha SamantaStrange Loop Conference
Просмотров 5 тыс.
"Concatenative programming and stack-based languages" by Douglas Creager40:30"Concatenative programming and stack-based languages" by Douglas Creager
"Concatenative programming and stack-based languages" by Douglas CreagerStrange Loop Conference
Просмотров 14 тыс.
"Babashka: a meta-circular Clojure interpreter for the command line" by Michiel Borkent39:51"Babashka: a meta-circular Clojure interpreter for the command line" by Michiel Borkent
"Babashka: a meta-circular Clojure interpreter for the command line" by Michiel BorkentStrange Loop Conference
Просмотров 6 тыс.
Confronting Him In The Car (ft. Gavin Magnus)10:04Confronting Him In The Car (ft. Gavin Magnus)
Confronting Him In The Car (ft. Gavin Magnus)Jiji Wonder
Просмотров 152 тыс.
I Spent $2000 on 5 ABANDONED Storage Units and Found Some INSANE Stuff43:36I Spent $2000 on 5 ABANDONED Storage Units and Found Some INSANE Stuff
I Spent $2000 on 5 ABANDONED Storage Units and Found Some INSANE StuffHeavyDSparks
Просмотров 828 тыс.
The True Scale Of Modern Nuclear Weapons18:01The True Scale Of Modern Nuclear Weapons
The True Scale Of Modern Nuclear WeaponsScience Time
Просмотров 1,6 млн
Yankees vs. Dodgers World Series Game 1 Highlights (10/25/24) | MLB Highlights17:29Yankees vs. Dodgers World Series Game 1 Highlights (10/25/24) | MLB Highlights
Yankees vs. Dodgers World Series Game 1 Highlights (10/25/24) | MLB HighlightsMLB
Просмотров 2,7 млн
"Supporting Data Journalism through Compilers for Visual Inputs" by Parker Ziegler36:35"Supporting Data Journalism through Compilers for Visual Inputs" by Parker Ziegler
"Supporting Data Journalism through Compilers for Visual Inputs" by Parker ZieglerStrange Loop Conference
Просмотров 3,5 тыс.
"Oatmeal is Cheap: A Fundamental Theorem for Procedural Generators" by Younès Rabii41:59"Oatmeal is Cheap: A Fundamental Theorem for Procedural Generators" by Younès Rabii
"Oatmeal is Cheap: A Fundamental Theorem for Procedural Generators" by Younès RabiiStrange Loop Conference
Просмотров 6 тыс.
Being Competent With Coding Is More Fun11:13Being Competent With Coding Is More Fun
Being Competent With Coding Is More FunTheVimeagen
Просмотров 102 тыс.
"War Time Proofs and Futuristic Programs" by Valeria de Paiva40:38"War Time Proofs and Futuristic Programs" by Valeria de Paiva
"War Time Proofs and Futuristic Programs" by Valeria de PaivaStrange Loop Conference
Просмотров 2,6 тыс.
"Designing Dope Distributed Systems for Outer Space with High-Fidelity Simulation" by Toby Bell44:44"Designing Dope Distributed Systems for Outer Space with High-Fidelity Simulation" by Toby Bell
"Designing Dope Distributed Systems for Outer Space with High-Fidelity Simulation" by Toby BellStrange Loop Conference
Просмотров 4,7 тыс.
"Software & The Game of Go" by David Nolen (Strange Loop 2023)34:08"Software & The Game of Go" by David Nolen (Strange Loop 2023)
"Software & The Game of Go" by David Nolen (Strange Loop 2023)Strange Loop Conference
Просмотров 6 тыс.
Erlang Programming Language - Computerphile16:05Erlang Programming Language - Computerphile
Erlang Programming Language - ComputerphileComputerphile
Просмотров 254 тыс.
"The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)43:58"The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)
"The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)Strange Loop Conference
Просмотров 125 тыс.
"Cursorless: A spoken language for editing code" by Pokey Rule (Strange Loop 2023)39:26"Cursorless: A spoken language for editing code" by Pokey Rule (Strange Loop 2023)
"Cursorless: A spoken language for editing code" by Pokey Rule (Strange Loop 2023)Strange Loop Conference
Просмотров 54 тыс.
Новый УАЗ БУХАНКА! Вся ЖЕСТЬ! Вся ПРАВДА!!! Двигатель В ХЛАМ. ВСЁ В РЖАВЧИНЕ! СВАРКА, ШВЫ. ЭТО УЖАС.24:38Новый УАЗ БУХАНКА! Вся ЖЕСТЬ! Вся ПРАВДА!!! Двигатель В ХЛАМ. ВСЁ В РЖАВЧИНЕ! СВАРКА, ШВЫ. ЭТО УЖАС.
Новый УАЗ БУХАНКА! Вся ЖЕСТЬ! Вся ПРАВДА!!! Двигатель В ХЛАМ. ВСЁ В РЖАВЧИНЕ! СВАРКА, ШВЫ. ЭТО УЖАС.Всё из за Метало Копа
Просмотров 317 тыс.
Каха и лужа #непосредственнокаха00:15Каха и лужа #непосредственнокаха
Каха и лужа #непосредственнокахаК-Media
Просмотров 797 тыс.
How to Cut Glass Bottles: DIY Techniques for Creative Projects!00:20How to Cut Glass Bottles: DIY Techniques for Creative Projects!
How to Cut Glass Bottles: DIY Techniques for Creative Projects!For Crafts Sake Shorts
Просмотров 9 млн
Я ПЕРЕЖИЛ 10 СТАДИЙ ЯДЕРНЫХ КРИПЕРОВ В МАЙНКРАФТ!41:35Я ПЕРЕЖИЛ 10 СТАДИЙ ЯДЕРНЫХ КРИПЕРОВ В МАЙНКРАФТ!
Я ПЕРЕЖИЛ 10 СТАДИЙ ЯДЕРНЫХ КРИПЕРОВ В МАЙНКРАФТ!ZeeMan
Просмотров 600 тыс.
Невероятный НОКАУТ В ИСПОЛНЕНИИ ПИРАТА #мма00:29Невероятный НОКАУТ В ИСПОЛНЕНИИ ПИРАТА #мма
Невероятный НОКАУТ В ИСПОЛНЕНИИ ПИРАТА #ммаТайна ММА
Просмотров 785 тыс.
Купил КЛОУНА на DEEP WEB !35:51Купил КЛОУНА на DEEP WEB !
Купил КЛОУНА на DEEP WEB !A4
Просмотров 2,9 млн
Plants vs Zombies 2: Please help Eggman pass the IQ test image Shin Sonic family! 👍 #shorts00:23Plants vs Zombies 2: Please help Eggman pass the IQ test image Shin Sonic family! 👍 #shorts
Plants vs Zombies 2: Please help Eggman pass the IQ test image Shin Sonic family! 👍 #shortsPvzFun Gameplay T1
Просмотров 2,8 млн
ПОСЛЕ БОЯ ХАМЗАТ ЧИМАЕВ - РОБЕРТ УИТТАКЕР СЛУЧИЛОСЬ СТРАШНОЕ/НОВОЕ ПОКОЛЕНИЕ БОЙЦОВ/Звуки ММА05:44ПОСЛЕ БОЯ ХАМЗАТ ЧИМАЕВ - РОБЕРТ УИТТАКЕР СЛУЧИЛОСЬ СТРАШНОЕ/НОВОЕ ПОКОЛЕНИЕ БОЙЦОВ/Звуки ММА
ПОСЛЕ БОЯ ХАМЗАТ ЧИМАЕВ - РОБЕРТ УИТТАКЕР СЛУЧИЛОСЬ СТРАШНОЕ/НОВОЕ ПОКОЛЕНИЕ БОЙЦОВ/Звуки ММАЗВУКИ ММА
Просмотров 231 тыс.