Computer Science
Charlie Parker's user avatar
Charlie Parker's user avatar
Charlie Parker's user avatar
Charlie Parker
  • Member for 9 years, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
2,970
reputation
70k
reached
12
answers
94
questions
Communities
View all
About

CS and Maths are awesome!

Badges
View all badges
This user doesn’t have any gold badges yet.
20
silver badges
33
bronze badges
Top tags
View all tags
10
Score
11
Posts
10
Posts %
4
Score
35
Posts
33
Posts %
3
Score
22
Posts
21
Posts %
3
Score
19
Posts
18
Posts %
3
Score
15
Posts
14
Posts %
3
Score
8
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
31
Meaning of: "'If factoring large integers is hard, then breaking RSA is hard,' is unproven"
Dec 13, 2015
question
19
Can proof by contradiction work without the law of excluded middle?
Feb 20, 2018
question
13
Why does soundness imply consistency?
Feb 19, 2018
question
9
What is the intuition on why the longest path problem does not have optimal substructure?
Apr 29, 2016
question
8
Is there any efficient algorithm for primality testing for numbers that are of the form $4k+3$ using the square root function?
Dec 10, 2015
question
7
What is a simple way of explaining what a linear boolean function means in boolean algebra and relating it to the standard definition of linearity?
Mar 15, 2017
question
6
What is the formal justification for the correctness of the second formulation of rod cutting DP solution
Apr 26, 2016
question
6
Why is the path compression (no rank) for disjoint sets $O(\log n)$ amortized for Find-Set?
Dec 4, 2015
question
6
Correctness of Freivald algorithm for checking matrix multiplication, why is the probability of checking $AB \neq C$ at least 1/2?
Nov 3, 2015
question
5
What does $ \forall \alpha_1, \dots , \alpha_n . \tau $ mean formally as a type?
Oct 25, 2019
Top network posts
View all network posts
530
When is the init() function run?
128
How do you get a Golang program to print the line number of the error it just called?
103
Is there no XOR operator for booleans in golang?
88
How to test a unexported (private) function in go (golang)?
87
Different ways to pass channels as arguments in function

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.