Skip to main content
Theoretical Computer Science
Gilles 'SO- stop being evil''s user avatar
Gilles 'SO- stop being evil''s user avatar
Gilles 'SO- stop being evil''s user avatar
Gilles 'SO- stop being evil'
  • Member for 14 years
  • Last seen more than a month ago
Profile Activity
Stats
2,687
reputation
72k
reached
19
answers
1
question
Communities
View all
About

Help defend Monica from defamation!

Stack Overflow, Inc. must repair the damage caused by their libel against Monica Cellio, cooperate with the community, be willing to talk, treat users with respect, learn about the world outside the United States, open the governance of the sites.

I am a developer, mainly on embedded systems, with a computer science background and security and cryptography leanings by trade. I also have interests in various other topics.

Avatar picture slightly adapted from a photo by Luridiformis (Zonda Grattus).

Badges
View all badges
1
gold badge
28
silver badges
35
bronze badges
Top tags
View all tags
90
Score
6
Posts
30
Posts %
60
Score
4
Posts
20
Posts %
59
Score
5
Posts
25
Posts %
54
Score
3
Posts
15
Posts %
47
Score
3
Posts
15
Posts %
29
Score
4
Posts
20
Posts %
Top posts
View all questions and answers
answer
31
Examples of the price of abstraction?
Aug 26, 2010
answer
31
Prove proof irrelevance in Coq?
Feb 26, 2011
question
30
Maximum computational power of a C implementation
Oct 29, 2010
answer
22
Why can Lambda Calculus not represent some combinators?
Aug 26, 2010
answer
16
What is the difference between non-determinism and randomness?
Aug 26, 2010
answer
16
Lambda-Calculus terms that reduce to themselves
Nov 20, 2011
answer
14
Why colon to denote that a value belongs to a type?
May 25, 2019
answer
13
How to define a function inductively on two arguments in Coq?
Sep 30, 2010
answer
11
Closed term and alpha-conversion
Nov 12, 2011
answer
11
Implementation of alpha equivalence
Nov 23, 2013
Top Meta posts
1
11
12
Battle of the sites - cancelled
12
Community Promotion Ads - 2015
11
Please don't migrate bad questions to CS.Stack Exchange
11
Should we participate in the Stack Exchange Winter Bash?
10
Where to Ask Too Basic Questions?
Top network posts
View all network posts
1558
How to correctly add a path to PATH?
1542
What is the exact difference between a 'terminal', a 'shell', a 'tty' and a 'console'?
1083
How do I grep for multiple patterns with pattern having a pipe character?
978
What is a bind mount?
854
How to test string and integer equality, and combine with logical && and || operators in bash?