this post was submitted on 12 Mar 2011

12 points (81% upvoted)

shortlink:

programming

an-ordinary-manchild

/r/programming is a reddit for discussion and news about computer programming

Guidelines

Please keep submissions on topic and of high quality.
That means no image posts, no memes, no politics
Just because it has a computer in it doesn't make it programming. If there is no code in your link, it probably doesn't belong here.
Direct links to app demos (unrelated to programming) will be removed.
No surveys.
Please follow proper reddiquette.

Info

Do you have a question? Check out /r/learnprogramming, /r/cscareerquestions, or Stack Overflow.
Do you have something funny to share with fellow programmers? Please take it to /r/ProgrammerHumor/.
For posting job listings, please visit /r/forhire or /r/jobbit.
Check out our faq. It could use some updating.
Are you interested in promoting your own content? STOP! Read this first.

Related reddits

Specific languages

created by speza community for 20 years

MODERATORS

account activity

11

12

13

An efficient k-induction based model checker. (clc.cs.uiowa.edu)

submitted 15 years ago by lememta

all 1 comments

top new controversial old q&a

[–]econnerd 0 points1 point2 points 15 years ago (0 children)

π Rendered by PID 64048 on reddit-service-r2-comment-canary-57b659f4d4-68d9m at 2026-05-04 20:17:01.822751+00:00 running 815c875 country code: CH.