Tour
About Us
Meta
Loading…
Log in
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
Stack Exchange
All Sites
Top Users
Digests
Jake
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
23
votes
How do garbage collectors avoid stack overflow?
programming-languages
memory-management
garbage-collection
asked Apr 20 '15 at 20:52
cs.stackexchange.com
23
votes
What do HDLs compile/synthesize to?
fpga
simulation
intel-fpga
compiler
asked May 4 '20 at 22:59
electronics.stackexchange.com
18
votes
A total language that only a Turing complete language can interpret
computability
turing-machines
asked Jun 23 '14 at 19:02
cstheory.stackexchange.com
16
votes
Why do constructivists not seem to care too much about call/cc
lo.logic
type-theory
lambda-calculus
proof-theory
constructive-mathematics
asked Apr 6 '15 at 6:27
cstheory.stackexchange.com
15
votes
Late 1970s and 6502 chip facilities for operating systems
apple-ii
6502
operating-system
software-development
apple-dos
asked Sep 19 '19 at 1:36
retrocomputing.stackexchange.com
14
votes
A way of achieving lazy evaluation in C++
c++
c++11
lazy-evaluation
asked May 22 '13 at 20:33
stackoverflow.com
11
votes
Reducing products in HoTT to church/scott encodings
type-theory
type-checking
dependent-types
homotopy-type-theory
asked Oct 21 '17 at 20:49
cs.stackexchange.com
10
votes
Are combinatory logic terms always larger?
lambda-calculus
functional-programming
combinatory-logic
asked Jul 6 '15 at 22:21
cs.stackexchange.com
10
votes
Can affine lambda calculus solve every problem in P?
cc.complexity-theory
type-theory
lambda-calculus
asked Aug 3 '14 at 3:58
cstheory.stackexchange.com
10
votes
How much ozone is produced by ionization of air and how turn ozone into oxygen
electrochemistry
redox
photochemistry
toxicity
ozone
asked Apr 10 '15 at 5:18
chemistry.stackexchange.com
1
2
3
4
next
Top Answers
22
Is 0* decidable?
cs.stackexchange.com
20
Halting problem theory vs. practice
cs.stackexchange.com
12
Why is automated theorem proving impossible?
cs.stackexchange.com
10
Does immutability in functional programming really exist?
cs.stackexchange.com
7
Law of excluded middle in MLTT
cstheory.stackexchange.com
6
How exactly does lambda calculus capture the intuitive notion of computability?
cstheory.stackexchange.com
6
Automatic translation between formal languages
cs.stackexchange.com
6
Why is a deterministic Turing machine a special case of a probabilistic Turing machine?
cs.stackexchange.com
5
override map::compare with lambda function directly
stackoverflow.com
5
C++11 on Windows
stackoverflow.com
5
Does the normal form theorem imply that every partially computabe function is primitive recursive?
cs.stackexchange.com
5
How to fool the “try some test cases” heuristic: Algorithms that appear correct, but are actually incorrect
cs.stackexchange.com
5
Why do we distinguish between term abstraction and type abstraction in System F?
cs.stackexchange.com
5
Is there a limit to data compression without mentioning Kolmogorov complexity?
cs.stackexchange.com
Stack Exchange works best with JavaScript enabled