11,624 reputation
2861
bio website andrej.com
location Slovenia
age 43
visits member for 4 years, 2 months
seen 10 hours ago

I am a professional mathematician and theoretical computer scientist (what is the difference?) . My area of work is a mix of logic, semantics, programming languages, category theory, constructive mathematics and computability.


Oct
19
comment Can we design our own `if` clause in Normal Order evaluation
That would be Haskell.
Oct
19
revised Can we design our own `if` clause in Normal Order evaluation
added 1035 characters in body
Oct
19
answered Can we design our own `if` clause in Normal Order evaluation
Oct
19
comment Can we design our own `if` clause in Normal Order evaluation
Not everyone on this planet knows what "SICP" refers to.
Oct
18
comment Safety property as closed set
This is not a research-level question because it asks for an explanation of basic concepts in topology. It should be asked on cs.stackexchange.com or math.stackexchange.com.
Oct
18
comment Safety property as closed set
When you cite a paper you should provide the author names, the journal, the issue and the volume in which it was published.
Oct
13
comment Representing boolean function by a polynomial
Related: cstheory.stackexchange.com/questions/25291/…
Oct
10
comment Scott's stochastic lambda calculi
As I said, as soon as you choose a countable base $(B_n)_n$ on a $T_0$-space that gives you an encoding of the space: a point $x$ is encoded as the set $\{n \in \mathbb{N} \mid x \in B_n\}$.
Oct
10
comment Scott's stochastic lambda calculi
Every countably based $T_0$-space embeds in the graph model. Via this embedding we can then happily marry $\lambda$-calculus with topology and compute with, say, real numbers. The embedding is quite natural: a point is represented by the filter of its basic neighborhoods.
Oct
8
comment How is IO a monad?
Monads in functional programming are not too advanced for cs.stackexchange. That's like saying objects are too advanced for anyone who has never seen an object-oriented langauge. And this question is not research-level.
Oct
7
comment Which formalism is best suited for automated theorem proving in set theory?
@dezakin: $S(x)$ means "$x$ is a set" (as opposed to its being a class). It can be defined as $\exists y . x \in y$, so it is largely a matter of choice how we set things up.
Sep
30
awarded  Explainer
Sep
29
comment Purely functional uniquely-represented deques
Doubly-linked lists are only uniquely represented if one cannot compare pointers.
Sep
24
revised Dependent Sums and Products
deleted 2 characters in body
Sep
24
answered Dependent Sums and Products
Sep
17
answered Explaining monad transformers in categorical terms
Sep
16
comment Do Genetic Algorithms Expect a Independent Search Space
You definitely do not mean "separable", see en.wikipedia.org/wiki/Separable_space
Sep
10
revised Computability of infinite-dimensional vector space
added 37 characters in body
Sep
9
revised Computability of infinite-dimensional vector space
added 281 characters in body
Sep
9
revised Computability of infinite-dimensional vector space
added 28 characters in body