Courses from 1000+ universities
$7.2 billion in combined revenue since 2020. $8 billion in lost market value. This merger marks the end of an era in online education.
600 Free Google Certifications
Computer Science
Artificial Intelligence
OpenAI
Divide and Conquer, Sorting and Searching, and Randomized Algorithms
Introduction to Graphic Illustration
The Science of Gastronomy
Organize and share your learning with Class Central Lists.
View our Lists Showcase
Explore unification algorithms for languages with binding operators and equational axioms. Learn about solving equations between terms in logic programming and theorem proving.
Explore spatial programming with CellPond, a novel approach that eliminates escape hatches and maximizes visual, interactive benefits.
Explore a prototype bridging digital audio workstations and live coding, combining visual interfaces with programmable music creation for enhanced flexibility and creativity.
Explore a pred-LL(*) parsable typed higher-order macro system for Architecture Description Languages, reducing specification redundancy and improving maintainability.
Explore semi-formal programming using language model agents to capture semantic information and execute informal program elements, enhancing malleable programming environments.
Explore virtual Domain Specific Languages through embedded projectional editing, bridging internal and external DSLs for enhanced flexibility and seamless GPL integration.
Explore the future of programming languages focused on reasoning, integrating human developers, symbolic systems, and AI agents. Learn about the Bosque platform's radical simplification approach.
Explore a novel programming environment focusing on document-centric approach and edit history, enabling local-first collaboration and adaptive code structure.
Explore a novel approach to translating natural language specifications into formal claims within proof assistants, enhancing software verification and bridging the gap between informal and formal specifications.
Design Datalog templates for synthesizing bidirectional programs from tabular examples, exploring innovative approaches in program synthesis and transformation.
Explore end-user programming in TypeCell, a block-based rich text editor. Learn about liveness, composability, and extensibility features that simplify programming for non-experts.
Explore Xsmith, a Racket library for efficient fuzz testing of programming languages. Learn to create conforming programs for differential testing with minimal code, finding bugs in various language implementations.
Explore a novel technique for improving AST interpreter performance through automatically generated supernodes, enhancing execution speed and reducing JIT compiler pressure in programming language implementations.
Explore WebAssembly's new garbage collection feature, its design rationale, and implications for compilers targeting object-oriented and functional languages.
Explore an innovative approach to on-demand analysis for higher-order languages, focusing on precise call graph construction and scalable bug detection in complex code bases.
Get personalized course recommendations, track subjects and courses with reminders, and more.