The Universe is computable. Information is its fundamental property, along with space and time. Computer science is a young field, but we didn't invent computing, we've discovered it. Codexpanse explores the computing nature of reality, ideas of programming and math, and our role in this exciting world.
David Kopec: Classic Computer Science Problems in Java
A conversation with David Kopec, Assistant Professor at Champlain College in Burlington, Vermont. David is a passionate computer science educator and writer. His latest book "Classic Computer Science Problems in Java" was just published recently. We're talking about teaching and learning programming, Swift, Dart, Python and Java, OOP and strong typing, as well as Dave's experience writing books with an established publisher as opposed to self-publishing.
David's blog observationalhazard.com
David's twitter @davekopec
Manning had generously provided our listeners with a permanent 35% discount code for all books and other products. Use code podcodexpanse20 at checkout.
There're also 5 free copies of "Classic Computer Science Problems in Java". Use one of the codes below:
(Music: Intro by Air Apparent)
Three Impossible Things in Computer Science
Impossibilities sometimes are as exciting to mathematicians and computer scientists as possibilities. Proving something is impossible defines the limits and tames the vastness of the universe.
Halting ProblemCAP TheoremTwo Generals' ProblemMusic: Intro by Air Apparent
What is HTTP and The Internet
HTTP is the foundation of modern web, and The Internet is... Well, it's simple and complicated at the same time.
Let's see the big picture and clear the fog of war, rise above the minutiae and understand what the hell is going on. We will understand the following concepts:
networkinternetwebweb servers and web clientsHTTP protocolHTTP requests and responsesCheck out our HTTP course at codexpanse.com. It includes videos, exercises, downloadable cheat sheets and quizzes + teacher's support and discussions. Use code hellopod at checkout to get 50% off!
Static and dynamic typing vs. strong and weak
There are a few misconceptions floating around when it comes to static typing vs. dynamic typing. Often, the difference is wrongly attributed to the way variables are allowed or disallowed to change their type on the fly. Sometimes, the difference is confused with type "strength".
In this episode we'll discuss the nature of types in programming languages, and learn why static/dynamic and strong/weak are different.
VIDEO: Typing: Static vs Dynamic, Weak vs. StrongStatic typing / C2 wikiType Theory / WikipediaMusic: Intro by Air Apparent
What Is Information
The more we learn about the nature of information, the more deep connections we discover. It seems like it is sometimes useful to see the universe as information rather than matter.
In this pilot episode of Codexpanse we will discuss the implications of Claude Shannon's seminal paper "A Mathematical Theory of Communication", talk about the connection between entropy in physics and in information, and fantasize about the future of AI-based communication.
A Mathematical Theory of Communication (original paper)The Misunderstood Nature of Entropy, video by PBS Space TimeWhy Information Grows: The Evolution of Order, from Atoms to Economies, book by Cesar HidalgoMusic: Intro by Air Apparent