Computer Science
MaiaVictor's user avatar
MaiaVictor's user avatar
MaiaVictor's user avatar
MaiaVictor
  • Member for 8 years, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
4,117
reputation
48k
reached
1
answer
50
questions
Communities
View all
Badges
View all badges
1
gold badge
17
silver badges
33
bronze badges
Top tags
View all tags
3
Score
5
Posts
10
Posts %
3
Score
3
Posts
6
Posts %
3
Score
3
Posts
6
Posts %
0
Score
13
Posts
25
Posts %
0
Score
13
Posts
25
Posts %
0
Score
12
Posts
24
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
49
Why can humans solve certain "undecidable" problems?
Sep 29, 2015
question
35
What are the simplest examples of programs that we do not know whether they terminate?
Jul 30, 2015
question
35
What are very short programs with unknown halting status?
Jun 7, 2016
question
31
What is a brief but complete explanation of a pure/dependent type system?
Nov 10, 2015
question
23
Can a calculus have incremental copying and closed scopes?
Aug 28, 2018
question
23
What is the most efficient constant-space sorting algorithm?
Mar 28, 2016
question
20
if (λ x . x x) has a type, then is the type system inconsistent?
Oct 23, 2016
question
11
Is there any proof that quantum computers are more efficient than classical computers?
Dec 5, 2015
question
10
What is the difference between the Mogensen-Scott and the Boehm-Berarducci encoding for ADTs on the Lambda Calculus?
Apr 7, 2015
question
9
What is the Curry-Howard analogue for linear logics?
Oct 24, 2015
Top Meta posts
1
0
5
I posted a not very good question. After learning more, I managed to make a better question. What should I do with the former?
Top network posts
View all network posts
965
How to change node.js's console font color?
241
Why use a database instead of just saving your data to disk?
202
What is an appropriate type for smart contracts?
149
What are the differences between Clojure, Scheme/Racket and Common Lisp?
139
Why are λ-calculus optimal evaluators able to compute big modular exponentiations without formulas?

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.