Stack Exchange Network

Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
  1. 0
  2. +0
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about hiring developers or posting ads with us
  3. Log in Sign up
  4. current community

    • Computer Science
      help chat
    • Computer Science Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
Computer Science
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
    5. Jobs
Profile Activity
Meta user
Network profile
k.stm

Reputation

383
  • 383
  • 348
  • 313
  • 2018
  • 2019
  • 2020
  • 2021

Top tag

computability

Next privilege

500 Rep.
Access review queues

Badges

1
3
11

Newest

 Notable Question

Next badge

0/1
Critic

Impact

~19k
people reached
0 posts edited
0 helpful flags
33 votes cast
Summary Answers Questions Tags Badges Bookmarks Bounties Reputation All actions

25 Bookmarks

Votes Activity Newest Views Added
208
votes
29
answers
49k
views

Why is writing down mathematical proofs more fault-proof than writing computer code?

correctness-proof mathematical-foundations philosophy
Jan 20 '18 at 20:11 Community♦ 1
175
votes
3
answers
20k
views

Is there a system behind the magic of algorithm analysis?

algorithms algorithm-analysis runtime-analysis proof-techniques reference-question
Apr 10 '15 at 21:10 Community♦ 1
126
votes
7
answers
33k
views

Is Category Theory useful for learning functional programming?

programming-languages functional-programming category-theory
Dec 7 '19 at 1:24 winitzki 133
117
votes
14
answers
14k
views

How to fool the “try some test cases” heuristic: Algorithms that appear correct, but are actually incorrect

algorithms algorithm-analysis education correctness-proof didactics
Oct 31 '19 at 8:47 Laakeri 1,249
92
votes
5
answers
76k
views

How to prove that a language is not context-free?

formal-languages context-free proof-techniques reference-question
May 15 '17 at 21:59 Community♦ 1
81
votes
6
answers
14k
views

Is there any concrete relation between Gödel's incompleteness theorem, the halting problem and universal Turing machines?

computability logic halting-problem incompleteness
Mar 27 at 21:06 Julius Kunze 131
80
votes
8
answers
57k
views

Graph searching: Breadth-first vs. depth-first

algorithms graphs search-algorithms graph-traversal
Aug 2 '16 at 18:41 Community♦ 1
69
votes
4
answers
16k
views

What is the novelty in MapReduce?

algorithms distributed-systems parallel-computing algorithm-design
Sep 8 '15 at 15:41 Alejandro Montenegro 1
69
votes
1
answer
12k
views

Language theoretic comparison of LL and LR grammars

formal-languages formal-grammars parsers reference-question
Apr 23 '17 at 21:46 Community♦ 1
69
votes
6
answers
22k
views

Formal program verification in practice

programming-languages program-correctness software-verification
Oct 12 '19 at 19:19 ticktock 111
54
votes
7
answers
29k
views

Why does a processor have 32 registers?

computer-architecture
Feb 29 at 23:01 vonbrand 12.5k
51
votes
5
answers
8k
views

Why are so many internet protocols text-based?

computer-networks communication-protocols protocols
Jul 11 '18 at 17:07 Peter - Reinstate Monica 230
40
votes
7
answers
3k
views

Explaining the relevance of asymptotic complexity of algorithms to practice of designing algorithms

algorithms complexity-theory education
Jan 5 '16 at 11:44 Kaveh 20.9k
38
votes
6
answers
6k
views

What use are groups, monoids, and rings in database computations?

reference-request discrete-mathematics database-theory applied-theory group-theory
Feb 28 '16 at 16:32 Community♦ 1
38
votes
5
answers
6k
views

Is there a known maximum for how much a string of 0's and 1's can be compressed?

data-compression
Nov 30 '15 at 14:49 Community♦ 1
31
votes
8
answers
8k
views

Is it a problem to be a programmer with no knowledge about computational complexity?

algorithms algorithm-analysis education applied-theory
May 20 '15 at 14:29 Community♦ 1
23
votes
1
answer
7k
views

How to show that L = L(G)?

formal-languages formal-grammars proof-techniques reference-question
Jun 13 '15 at 8:34 Community♦ 1
21
votes
2
answers
5k
views

How to describe algorithms, prove and analyse them?

algorithms proof-techniques runtime-analysis
May 2 '16 at 18:43 Community♦ 1
14
votes
2
answers
637
views

Reference request: Category theory as it applies to type systems

reference-request programming-languages type-theory category-theory
Sep 28 '16 at 12:48 Martin Berger 7,881
13
votes
2
answers
1k
views

Lambda calculus: difference between contexts and evaluation contexts

programming-languages lambda-calculus
Mar 20 '14 at 14:41
12
votes
3
answers
13k
views

The importance of normal forms like Chomsky normal form for CFGs

formal-languages context-free formal-grammars normal-forms
Nov 20 '17 at 19:24 alhelal 105
7
votes
1
answer
788
views

It is possible to implement a *greater than* function using only addition, substractions and multiplications?

algorithms linear-algebra
Mar 19 '16 at 13:48 user2991856 427
5
votes
5
answers
563
views

Can we use domains other than the naturals in computability theory?

computability computation-models
May 29 '14 at 15:39 Thomas Klimpel 5,183
1
vote
3
answers
1k
views

Why every finite set is computable?

computability turing-machines
Jul 12 '13 at 5:55 Community♦ 1
1
vote
1
answer
226
views

Pros and cons of representing strings as lists of characters

programming-languages compilers functional-programming
Oct 17 '13 at 11:58 Community♦ 1
Computer Science
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
  • Mobile
Company
  • Stack Overflow
  • For Teams
  • Advertise With Us
  • Hire a Developer
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (28)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (10)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (10)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

site design / logo © 2021 Stack Exchange Inc; user contributions licensed under cc by-sa. rev 2021.1.18.38333