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 Users
Digests
James Wood
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
22
votes
What is the correct pronunciation of "AJAX"?
pronunciation
acronyms
asked Feb 3, 2011 at 22:04
english.stackexchange.com
14
votes
How do Coq's bidirectionality hints (`&`) affect type checking?
coq
bidirectional-typing
asked Apr 28 at 8:46
proofassistants.stackexchange.com
13
votes
Changing a quotation so that the original is recognised, but has been given a new meaning
quotations
humor
asked Aug 27, 2011 at 22:49
english.stackexchange.com
11
votes
How do I turn off the aggressive auto-indent in Proof General/Coq
coq
emacs
asked Feb 17 at 0:04
proofassistants.stackexchange.com
10
votes
Why is there a "ph" in "cipher"?
etymology
pronunciation-vs-spelling
asked Oct 3, 2012 at 16:48
english.stackexchange.com
7
votes
Convert integer to balanced dozenal
code-golf
number
base-conversion
asked Dec 29, 2013 at 19:41
codegolf.stackexchange.com
7
votes
When should I use `no-eta-equality` in Agda records?
agda
eta-equality
asked Feb 21 at 23:17
proofassistants.stackexchange.com
6
votes
Tactic unification vs evarconv in Coq
coq
coq-ssreflect
unification
asked Apr 30 at 17:31
proofassistants.stackexchange.com
5
votes
Pronunciation of “master” and “plaster” in Northern England
british-english
dialects
phonology
historical-change
vowels
asked Feb 9, 2021 at 0:07
english.stackexchange.com
5
votes
First syllable of "gravity"
pronunciation
syllables
asked Nov 8, 2011 at 20:39
english.stackexchange.com
1
2
next
Top Answers
11
What is the difference between "me neither" and "me either"?
ell.stackexchange.com
9
Is it possible to kill people indirectly with the Death Note?
anime.stackexchange.com
7
What's the difference between a universe level and a natural number?
proofassistants.stackexchange.com
6
Add without addition (or any of the 4 basic arithmetic operators)
codegolf.stackexchange.com
6
Calculate the cube root of a number
codegolf.stackexchange.com
5
Idris proof by definition
stackoverflow.com
5
Alternatives to IPA?
linguistics.stackexchange.com
5
An improved version of GolfScript
codegolf.stackexchange.com
Stack Exchange works best with JavaScript enabled