Tour
About Us
Meta
Loading…
Log in
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
All Sites
Top Users
Digests
Rodrigo
A good introduction to recursive types.
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
29
votes
What is a batch compiler?
compilers
asked May 30 '17 at 20:49
cs.stackexchange.com
19
votes
How to demo Skype-decryption using FOSS tools?
tls
wireshark
skype
asked Nov 23 '15 at 23:47
security.stackexchange.com
14
votes
Algebraic topology for termination proofs
reference-request
soft-question
formal-methods
algebraic-topology
asked Aug 1 '18 at 0:06
cstheory.stackexchange.com
12
votes
Ruby protected visibility calling from superclass
ruby
protected
nomethoderror
asked Jul 30 '15 at 15:54
stackoverflow.com
11
votes
Why are elliptic curves over a field of characteristic 2 or 3 insecure?
elliptic-curves
discrete-logarithm
finite-field
asked Jun 10 '17 at 11:41
crypto.stackexchange.com
11
votes
What is known about ideal and divisibility lattices of GCD domains and their generalizations?
reference-request
ac.commutative-algebra
universal-algebra
posets
lattice-theory
asked Oct 30 '17 at 18:19
mathoverflow.net
8
votes
What was the major breakthrough between Hoare-Floyd logic and Scott–Strachey semantics?
hoare-logic
automated-theorem-proving
denotational-semantics
asked May 2 '17 at 21:15
cs.stackexchange.com
7
votes
Lee's algorithm for synthesis of ranking functions in size-change termination proofs
program-verification
formal-methods
asked Aug 3 '18 at 16:12
cstheory.stackexchange.com
7
votes
Why is it claimed that ElGamal is worse than RSA?
rsa
elgamal-encryption
asked Oct 26 '16 at 14:54
crypto.stackexchange.com
7
votes
Difficult condition to understand on Java Specification
java
specifications
asked Sep 3 '15 at 18:41
stackoverflow.com
1
2
3
4
next
Top Answers
15
Multiplication of a random variable with constant
math.stackexchange.com
10
Events in the tail $\sigma$-algebra
math.stackexchange.com
7
How does a nondeterministic Turing machine work?
cs.stackexchange.com
Stack Exchange works best with JavaScript enabled