user avatar
user avatar
user avatar
Hunan Rostomyan
  • Member for 8 years, 10 months
  • Last seen more than 3 years ago
120 votes
18 answers
9k views

Examples of the price of abstraction?

110 votes
7 answers
9k views

Solid applications of category theory in TCS?

77 votes
13 answers
22k views

Uses of algebraic structures in theoretical computer science

  • 873
58 votes
5 answers
31k views

What CS blogs should everyone read?

56 votes
3 answers
9k views

Realizability theory: difference in power between Lambda calculus and Turing Machines

  • 1,999
36 votes
7 answers
8k views

Books on programming language semantics

  • 962
13 votes
1 answer
412 views

Good reference about approximate methods for solving logic problems

  • 409
13 votes
1 answer
2k views

Homotopy type theory and Gödel's incompleteness theorems

  • 2,501
12 votes
8 answers
6k views

What math courses should I take to prepare for a CS masters or PhD?

  • 231
11 votes
6 answers
5k views

A small C-like language that turing machines can simulate

  • 301
6 votes
2 answers
3k views

What is the probability of a virus spreading through a network given a virus source node?

  • 161
3 votes
1 answer
122 views

Program transformation using partial functions which preserve partial correctness

  • 45
3 votes
1 answer
1k views

Monomorphic vs Polymorphic type theory

2 votes
2 answers
214 views

Number of SAT checks that are needed to find all combinations of subset of boolean variables of a propositional formula

  • 443
2 votes
1 answer
357 views

What is logic programming and does it really add anything new to the logic?

  • 409