YoVDO

Strange Dreams of Stranger Loops

Offered By: Strange Loop Conference via YouTube

Tags

Strange Loop Conference Courses Logic Courses

Course Description

Overview

Explore the fascinating world of self-referential and introspective concepts in this 52-minute conference talk from Strange Loop 2021. Delve into the most reflective and mysterious aspects of strange loops, expressed through running code in a relational programming language. Learn from Will Byrd, a scientist at the University of Alabama at Birmingham and co-creator of miniKanren, as he revisits intriguing ideas and conundrums from past Strange Loop conferences. Gain insights into the intersection of computer science, logic, and philosophy while discovering the potential applications of relational programming in fields such as bio-medical reasoning.

Syllabus

"Strange Dreams of Stranger Loops" by Will Byrd


Taught by

Strange Loop Conference

Tags

Related Courses

Sniffing the Metaverse
Strange Loop Conference via YouTube KalDB - A Cloud Native Log Search Platform
Strange Loop Conference via YouTube The Evolution of a Planetary-scale Distributed Database
Strange Loop Conference via YouTube Machine Learning for Developer Productivity
Strange Loop Conference via YouTube Formally Verifying Everybody's Cryptography
Strange Loop Conference via YouTube