TinyEngine - Efficient Training and Inference on Microcontrollers - Lecture 17
Explore TinyEngine library for efficient neural network training and inference on microcontrollers. Learn techniques to optimize deep learning for resource-constrained devices.
The Evolution of Effects in Haskell - From Monads to Higher-Order Effects
Explore the evolution of effectful programming in Haskell, from monads to higher-order effects. Gain insights into harmonizing pure functional programming with real-world computational effects.
Programming for the Planet - Functional Programming for Climate Analysis
Explore functional programming's role in building resilient systems for climate analysis, emphasizing data handling, access control, and interdisciplinary collaboration for conservation impact.
As Low-Level as Possible, But No Lower - WebAssembly's Evolution and Future
Explore WebAssembly's evolution, adoption across ecosystems, and its foundation in programming language research. Gain insights into its formal specification and upcoming features.
TypeScript: Static Types for JavaScript - Keynote
Explore TypeScript's origins, unique type system, and benefits, even for dynamic language enthusiasts, with Anders Hejlsberg, the project's lead architect.
Programming Language as Language
Explore programming languages as human languages, examining their structural elements, cognitive impacts, and role in shaping developer communities and mental models.
Scaling Up Machine Learning Without Tears - Programming Languages' Role
Explore techniques for scaling machine learning workloads across accelerators, focusing on partitioning, parallelism, and programming language concepts to optimize performance and hardware utilization.
Hydroflow: A Compiler Target for Fast, Correct Distributed Programs
Explore Hydroflow, a Rust-based dataflow runtime enabling correct program transformations for distributed systems. Learn about refactoring, replication, and partitioning techniques for optimizing distributed programs.
Foundations of Type-Driven Probabilistic Modelling
Explore type-driven abstractions for probabilistic modelling, covering discrete probability and quasi-Borel spaces. Gain hands-on experience through accompanying exercises for self-study.
Feeling the Local-First Elephant: A Roadmap, Hidden Gems, and New Puzzles from the Field
Explore local-first software development: roadmap, hidden gems, and new challenges in the field. Gain insights from Brooklyn Zelenka's keynote on this emerging paradigm.
Capture Tracking in Scala
Explore capture tracking in Scala with Martin Odersky, delving into advanced concepts and techniques for efficient memory management and resource handling.
Verifying a Concurrent File System with Sequential Reasoning
Explore a verified, concurrent file system using GoTxn and Dafny. Learn about crash safety, concurrency, and combining interactive and automated proofs for robust systems software.
Can We Reason About the Security of Concurrent Systems Code?
Explore challenges and possibilities in reasoning about security in concurrent systems code with expert Peter Sewell.
Bridging Informal and Formal Mathematical Reasoning with Neural Language Models
Explore neural language models for mathematical reasoning, bridging informal and formal approaches through NaturalProver and Draft, Sketch, and Prove techniques.
Probabilistic Programming Tutorial - Part 2
Explore advanced concepts in probabilistic programming, focusing on practical applications and techniques for scientific computing and data analysis.
臨床研究者のための生物統計学 - データマネジメントとは
Master データマネジメントの基礎から実践まで、臨床研究における品質管理、データ収集、クリーニング、固定までの包括的なプロセスを学び、効果的な研究データの取り扱いを習得。
情報学と戯れる - 京都大学最終講義 2018
情報学の進化と応用について、京都大学の美濃導彦教授による最終講義で深い洞察と経験を共有する90分の旅へ出発。
Designing Energy Efficient Storage Architectures for Environmental Sustainability
Discover how to design environmentally conscious storage architectures, optimize cloud storage efficiency, and measure code's carbon footprint through practical tools and implementation strategies.
Building Robust Data-Centric Security with Advanced Block Storage Systems
Explore comprehensive data security strategies for enterprise block storage systems, covering authentication protocols, confidentiality measures, and protection against modern threats like ransomware.
Hey Crypto Bro - Understanding Cryptocurrency Security and Risks
Dive into the world of cryptocurrency and cybersecurity through an engaging DEF CON 31 presentation exploring critical insights and emerging threats in the crypto landscape.
Hi-Intensity Deconstruction: Chronicles of a Cryptographic Heist
Delve into groundbreaking research revealing security vulnerabilities in HID's iCLASS SE platform, exploring reverse engineering techniques and critical mitigation strategies for electronic access control systems.