Stack Exchange

Gregory Nisbet

San Francisco, CA, United States

top accounts reputation activity bookmarks subscriptions
Top Questions
32 votes

What is predicativity?

type-theory foundations predicativity asked Feb 11 at 3:08
proofassistants.stackexchange.com

19 votes

What is the difference between judgmental equality, definitional equality, and equality types?

type-theory type-rule asked Feb 10 at 16:32
proofassistants.stackexchange.com

16 votes

Why does `find . -type f` take longer than `find .`?

find performance gnu asked May 1, 2016 at 19:12
unix.stackexchange.com

14 votes

Paste visual block selection on its own lines

cut-copy-paste visual-block asked Jul 20, 2016 at 17:25
vi.stackexchange.com

14 votes

Golang check if string is valid path

go asked Feb 5, 2016 at 19:20
stackoverflow.com

14 votes

Are there any well-known Internal DSL Proof Assistants?

history software-request asked Feb 8 at 18:19
proofassistants.stackexchange.com

14 votes

Are there any proof assistants or theorem provers based on the method of analytic tableaux?

software-request tableau asked Feb 8 at 19:32
proofassistants.stackexchange.com

13 votes

Are there automated theorem provers for constructive logics? What strategy do they use?

software-request automated-theorem-proving constructive asked Feb 11 at 17:07
proofassistants.stackexchange.com

13 votes

Tools for checking the consistency of a type theory

type-theory beginner software-request foundations type-rule asked Feb 20 at 22:14
proofassistants.stackexchange.com

13 votes

for loop doesn't modify `my` variable but does modify `our` variable

perl asked May 3, 2016 at 0:39
stackoverflow.com

1 2 3 4 5 … 10

Top Answers
37
How to install Python 3.6?
unix.stackexchange.com

37
How is the argument "I love all logic, but I don’t love deductive reasoning. Therefore, the moon is made of green cheese." valid?
philosophy.stackexchange.com

17
What are some interesting features that are common cross-linguistically but don't exist in English?
linguistics.stackexchange.com

14
Why does Python start at index -1 (as opposed to 0) when indexing a list from the end?
stackoverflow.com

14
How to write 1 tuple as sets?
math.stackexchange.com

13
What is the point of model theory?
math.stackexchange.com

12
Can the IPA represent all languages' tones?
linguistics.stackexchange.com

11
Python decorating class
stackoverflow.com

11
How do I debug my vimrc file?
vi.stackexchange.com

11
Is there a way to make Nano support auto-complete and auto-bracket closing?
superuser.com

10
How to have a percentage chance of a command to run
stackoverflow.com

10
What games are there?
proofassistants.stackexchange.com

9
Multiple commands in gdb separated by some sort of delimiter ';'?
stackoverflow.com

9
Could proof assistants be used to prove that some piece of code is free of bugs?
proofassistants.stackexchange.com

9
Are there any natural languages in which /ʂ/ and /ʃ/ are distinct phonemes?
linguistics.stackexchange.com

8
IO Redirection - Swapping stdout and stderr
stackoverflow.com

8
Can I tell find to to not restore initial working directory?
unix.stackexchange.com

8
How to effectively learn by self learning.
math.stackexchange.com

7
How do I run the louvain community detection algorithm in igraph?
stackoverflow.com

7
Dynamically growing a python array when assigning to it
stackoverflow.com

7
Any function copying from clipboard to a variable in Bash?
unix.stackexchange.com

7
Integration of proof assistants and Wikipedia-like websites?
proofassistants.stackexchange.com

7
What are the disadvantages to 2-round elections where the top candidates from the first round compete head-to-head in the second round?
politics.stackexchange.com

6
How can I use Perl's 'prove' with TAP producers in other languages?
stackoverflow.com

6
Integers in the form $\pm 2^a \pm 3^b \pm 5^c$
math.stackexchange.com

6
What is the word “li” in Toki pona, grammatically?
conlang.stackexchange.com

6
How do you plausibly explain that the geometric and the coordinate expressions for the scalar product are equivalent?
matheducators.stackexchange.com

6
How can I talk about weather without expletives?
conlang.stackexchange.com

5
Table Maker's Dilemma
math.stackexchange.com

5
Perl Hash Value
stackoverflow.com

1 2