1. Tour
  2. About Us
  3. Meta
Loading…
  1. 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
  2. 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
  • About
  • Contact
  • Feedback
Company
  • Stack Overflow
  • Teams
  • Advertising
  • Collectives
  • Talent
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
  • Cookie Settings
  • Cookie Policy
Stack Exchange Network
  • Technology
  • Culture & recreation
  • Life & arts
  • Science
  • Professional
  • Business
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

Site design / logo © 2022 Stack Exchange Inc; user contributions licensed under cc by-sa. rev 2022.6.24.42450