Skip to main content
Tour
About Us
Meta
Loading…
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
Log in
Stack Exchange
All Sites
Top 400 Users
Digests
Atsby
top
accounts
reputation
activity
subscriptions
Top Questions
6
votes
Is there a way to disable a specific notation in Coq?
coq
notation
asked May 14, 2015 at 21:58
stackoverflow.com
Top Answers
47
What's the proper way to model this real-world activity that seems to need circular references in OOP?
softwareengineering.stackexchange.com
41
Why is plain dm-crypt only recommended for experts?
security.stackexchange.com
35
Does path coverage guarantee finding all bugs?
softwareengineering.stackexchange.com
29
Should I tell my 10-year old son, how screwed-up Cinderella is?
parenting.stackexchange.com
26
(Troll Math Question) Divided by sweets
puzzling.stackexchange.com
22
Is the execution time of this unique string function reduced from the naive O(n^2) approach?
stackoverflow.com
20
How to give a polite ultimatum?
workplace.stackexchange.com
20
Ensure that a file can only be decrypted after a specific date
security.stackexchange.com
17
If you block all incoming connections, how can you still use the internet?
superuser.com
17
Can I insist my daughter to be non beliver in religions?
parenting.stackexchange.com
12
What is the difference between final, const and static variables in java
stackoverflow.com
12
How to avoid unchecked cast warning when cloning a HashSet?
stackoverflow.com
10
Why are NVL functions called "NVL"?
stackoverflow.com
10
Does a lightsaber have a cauterizing effect when cutting off appendages, or not?
scifi.stackexchange.com
10
How honest to be in a resignation
workplace.stackexchange.com
9
Meaning of int (*) (int *) = 5 (or any integer value)
stackoverflow.com
9
If you block all incoming connections, how can you still use the internet?
security.stackexchange.com
9
Is it more convenient to login to SSH using a password because SSH Keys need to be stored on each computer
unix.stackexchange.com
9
My 15-year-old daughter is having sex with her boyfriend who is a drug dealer
parenting.stackexchange.com
9
Can you legally drive away when Wisconsin police officer knocks on your car window?
skeptics.stackexchange.com
8
Equalize - What does it really mean?
chess.stackexchange.com
7
Benefits of RTOS vs Bare Metal for MCU Programming?
softwareengineering.stackexchange.com
7
Fork vs Clone on 2.6 Kernel Linux
unix.stackexchange.com
6
How to destruct pair equivalence in Coq?
stackoverflow.com
6
Is this bullying? Are we overreacting/under-reacting?
parenting.stackexchange.com
5
Coq induction on modulo
stackoverflow.com
5
Method type-parameterized doesn't work in for loop
stackoverflow.com
5
Pair of points with distance divisible by integer
stackoverflow.com
5
How does JVM differentiates between method overloading and method overriding internally?
stackoverflow.com
5
Am I morally obligated to use my own time to fix bugs in software projects?
workplace.stackexchange.com
1
2
next
Stack Exchange works best with JavaScript enabled