YoVDO

Keynote - Six Impossible Things

Offered By: Devoxx via YouTube

Tags

Voxxed Days Courses Software Development Courses Distributed Systems Courses Algorithm Design Courses Computability Courses Formal Verification Courses Technical Debt Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore six impossible things that shape software development limits in this thought-provoking keynote. Delve into integer representation, task estimation, distributed systems uncertainty, and computability boundaries. Gain insights on working within constraints to create effective solutions. Learn about algorithmic comfort zones, the halting problem, and technical debt. Discover how understanding these limitations can improve prioritization, engagement, and future-proofing in software development.

Syllabus

Introduction
representations can be infinite
how many numbers exist
integers
formal verification
every question has an answer
Algorithm comfort zone
What is an algorithm
The holding problem
Engagement
Knowledge
Futureproof
Prioritization
Distributed Systems
Technical Debt
Questions


Taught by

Devoxx

Related Courses

SPARK 2014
AdaCore via Independent
Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera
Software Testing and Verification
University System of Maryland via edX
Haskell for Imperative Programmers
YouTube
Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube