Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in theory

Regex (a?)* not exponential?

Theory of caching [closed]

caching theory

Subtracting a large unsigned binary number from a smaller one

math binary theory subtraction

A smart garbage collector for sharing subranges of arrays?

Practical application of "Bananas, Lenses, Envelopes, and Barbed Wire"?

Kolmogorov Complexity Approximation Algorithm

Proving correctness of multithread algorithms

Difference between B-Trees and 2-3-4 Trees

What is the difference between recursive and recursively enumerable languages

Is conditional branching a requirement of Turing-completeness?

What is the result of divide by zero?

theory divide-by-zero

Is Java orthogonal?

Theories of software engineering [closed]

theory

Learning garbage collection theory [closed]

Optimization! - What is it? How is it done?

Can a hypergraph represent a nondeterministic Turing machine?

Any examples of production applications that use signature trees?

Why does tail call optimization need an op code?

How can I prove that derivations in Chomsky Normal Form require 2n - 1 steps?

crossing edges in the travelling salesman problem