Learning hub
Learn it properly, one lesson at a time.
Paths are short courses built from our best explainers, in the order that makes sense. Sign in to save your progress.
Sign in to track progressAll paths
— no signal —
No paths yet
Editors are putting the first ones together.
Free courses to watch here
All free courses →
Computer science · beginner
Algorithms and Data Structures: Full Course for Beginners
by freeCodeCamp.org
EnglishWatch here →
Python · beginner
CS50's Introduction to Programming with Python (CS50P)
by CS50 (Harvard)
EnglishWatch here →
Latest AI explainers
See all →Weight-Space Programming: MIT CSAIL says an LLM edited 0.016% of Qwen3.5-0.8B's weights, MATH-500 7.9% to 48.1%
audiotale.net team8 min read
GVS5H: five Qwen3.8-27B agents score 92.4% on LiveCodeBench Hard, but is it a fair match for Fable 5?
audiotale.net team7 min read
How to run an open-weight LLM locally: GGUF, quantization, Ollama and llama.cpp
audiotale.net team6 min read
What is a KV cache? How LLM servers store attention and why it can leak
audiotale.net team6 min read
What is formal verification? How it differs from testing and fuzzing, and what a proof does not promise
audiotale.net team7 min read
Anthropic and Theorem: Claude proves 239 open-source entry points crash-free in Rocq
audiotale.net team7 min read