Tuit catalog

Synthesis notes of video analyses, assessed and condensed, in French and English.

40,707 tuit · 879 channels · 42 domains · Last update: Sep 1, 2026
Granular Thema (1,798)
40707 tuit · page 991/1018
Formal & Physical Sciences Astronomy & Cosmology
EN

Double Planets & Rocheworlds

Isaac Arthur
12 min
4/5
Double PlanetsRocheworldsTidal Locking
Formal & Physical Sciences Philosophy & Ethics
EN

The Muddy Children Puzzle

Artificial Intelligence
24 min
4/5
Epistemic LogicMuddy Children PuzzleCommon Knowledge
Life & Natural Systems Biology
EN

Fatty Acid Synthesis

Andrey K
16 min
4/5
Fatty Acid SynthesisBiochemistryMetabolism
Formal & Physical Sciences Philosophy & Ethics
EN

Epistemic Logic

Artificial Intelligence
33 min
4/5
Epistemic LogicKnowledge RepresentationKripke Semantics
Formal & Physical Sciences Engineering & Technology
EN

Megastructures: Hoopworlds

Isaac Arthur
10 min
4/5
MegastructuresHoopworldArtificial Planet
Life & Natural Systems Biology
EN

Ketogenesis

Andrey K
15 min
4/5
KetogenesisKetone BodiesBiochemistry
Formal & Physical Sciences AI — Models & Research
EN

Default Logic

Artificial Intelligence (channel)
35 min
4/5
Default LogicNon-Monotonic ReasoningKnowledge Representation
Formal & Physical Sciences AI — News & Applications
EN

Circumscription in EC

Artificial Intelligence
32 min
4/5
Event CalculusCircumscriptionNon-Monotonic Reasoning
Formal & Physical Sciences AI — Models & Research
EN

Autoepistemc Logic

Artificial Intelligence
42 min
4/5
Autoepistemic LogicNonmonotonic ReasoningBelief Logic
Formal & Physical Sciences AI — News & Applications
EN

Minimal Models

Artificial Intelligence
33 min
4/5
CircumscriptionDefault ReasoningNon-Monotonic Logic
Formal & Physical Sciences AI — News & Applications
EN

Introduction.

Artificial Intelligence
31 min
4/5
Default ReasoningNon-Monotonic LogicClosed World Assumption
Formal & Physical Sciences AI — News & Applications
EN

Event Calculus Revisited

Artificial Intelligence (channel)
30 min
4/5
Event CalculusCircumscriptionFrame Problem
Formal & Physical Sciences AI — News & Applications
EN

Circumscription (contd)

Artificial Intelligence
29 min
4/5
CircumscriptionNon-Monotonic LogicMinimal Entailment
Formal & Physical Sciences AI — News & Applications
EN

Circumscription

Artificial Intelligence
30 min
4/5
CircumscriptionDefault ReasoningNon-Monotonic Logic
Formal & Physical Sciences Computing & Cybersecurity
EN

Inheritance Hierarchies:

Artificial Intelligence
33 min
4/5
Inheritance HierarchiesNon-Monotonic ReasoningKnowledge Representation
Formal & Physical Sciences AI — News & Applications
EN

Beliefs

Artificial Intelligence
25 min
4/5
Inheritance HierarchiesAdmissibilityKnowledge Representation
Formal & Physical Sciences AI — Models & Research
EN

Taxonomies and Inheritance

Artificial Intelligence
31 min
4/5
Inheritance NetworksKnowledge RepresentationDefeasible Reasoning
Formal & Physical Sciences Mathematics
EN

Correlation (english)

Thierry Ancelle
27 min
4/5
CorrelationStatisticsPearson
Formal & Physical Sciences Engineering & Technology
EN

Black Hole Starships

Isaac Arthur
19 min
4/5
Black HolesStarshipHawking Radiation
Formal & Physical Sciences AI — News & Applications
EN

The Resolution Method for FOL

Artificial Intelligence (channel)
31 min
4/5
ResolutionFirst-Order LogicClause Form
Humanities, Social Sciences & Thought Arts & Architecture
EN

Spider: what's Varys up to?

Alt Shift X
19 min
5/5
Game of ThronesASOIAFVarys