Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in theory

Would it be possible for a JIT compiler to utilize GPU for certain operations behind the scenes?

compilation theory jit gpu

How to convert a DFA to a Turing machine?

theory dfa turing-machines

Can std::function be serialized?

Finding prime factors to large numbers using specially-crafted CPUs

What's the term to describe this combination?

Binary to ternary representation conversion

How to design an NUnit Theory?

Difference between two ranges

vba excel set theory range

Why is multiplying cheaper than dividing?

How to merge user data after login?

Are NSStrings stored on the heap or on the stack and what is a good way to initialize one

Soundness and completeness of systems

logic theory type-systems

What is a full powered closure?

Church Numerals: how to encode zero in lambda calculus?

What is the shortest way to write parser for my language?

parsing theory interpreter

Longest Simple Path

What is the best way to adapt this security system to deal with multiple inheritance?

security tree symfony theory

Algorithm for partially filling a polygonal mesh

Boosting my GA with Neural Networks and/or Reinforcement Learning

What are all known languages that Turing machines cannot accept?