Implicit Computational Complexity
A field characterizing complexity classes via logical and programming-language restrictions rather than machine models.
OtherLearning & bookscomplexity-theorylogictype-systems
Recommended in 1 thread
Efficient algorithms, the Exponential Time Hypothesis, and losing the plotargmin.net ·
Suggested as a deserving, lesser-known framework for reasoning about complexity.
Similar tools
- The Nature of Computation ↗Learning & books1 thread
A book by Moore and Mertens on computational complexity and the theory of computation.
- Understanding Formal Methods ↗Learning & books1 thread
Jean-Francois Monin's concise survey of formal specification and verification concepts and tools.
- Scaling Laws for Neural Language Models ↗Learning & books1 thread
A 2020 OpenAI paper relating language model performance to compute, data and parameter count.
- Software Abstractions ↗Learning & books1 thread
Daniel Jackson's book teaching structural modeling with the Alloy language.
- Deep Learning: Foundations and Concepts ↗Learning & books1 thread
A deep learning textbook by Christopher Bishop and Hugh Bishop.
- Basic Concepts of Quantum Mechanics ↗Learning & books1 thread
An introductory book by L. V. Tarasov using dialogues between the author and personas.
- How Complex Systems Fail ↗Learning & books2 threads
A short essay by Richard Cook on the nature of failure in complex systems.
- 0 threads
Also in Learning & books
- Careless People ↗3 threads
A memoir by former Facebook executive Sarah Wynn-Williams about the company's leadership.
- 3 threads
- 3 threads
- Wikipedia3 threads
A free collaborative online encyclopedia.
- 2 threads
- 2 threads
- Diátaxis ↗2 threads
A framework for organising technical documentation into tutorials, how-tos, reference and explanation.
- 2 threads
- 2 threads
- How Complex Systems Fail ↗2 threads
A short essay by Richard Cook on the nature of failure in complex systems.
- 2 threads
- 2 threads
