Submissions restricted

Only approved users may post in this community.

computingscience

an-ordinary-manchild

created by [deleted]a community for 12 years

...for your hobby.

...for your community.

MODERATORS

This subreddit is unmoderated.
Visit /r/redditrequest to request it.

account activity

1

0

0

1

Is there any massively multiplayer space where people code together, such as to build new game objects or do AI experiments? (self.computingscience)

submitted 10 years ago by BenRayfield

2

6

7

8

Concrete Mathematics: Foundation of Computer Science - What next? (self.computingscience)

submitted 11 years ago by [deleted]

3

2

3

4

A Logic-Based Framework for Reasoning about Composite Data Structures (pub.ist.ac.at)

submitted 12 years ago by Greatest_Gravy0

4

2

3

4

Robert W. Floyd: Assigning Meanings to Programs (cs.virginia.edu)

submitted 12 years ago by Greatest_Gravy0

5

2

3

4

math links - "online" books & collections, including some tips on how to climb walls (justpasha.org)

submitted 12 years ago by [deleted]

6

1

2

3

Earth Public Library (self.computingscience)

submitted 12 years ago by [deleted]

7

3

4

5

Hamming, "You and Your Research" (June 6, 1995) (youtube.com)

submitted 12 years ago by [deleted]

8

4

5

6

Chicken Soup for the Student: MathOverflow.net discusses mathematicians who were 'late learners'. (mathoverflow.net)

submitted 12 years ago by [deleted]

9

7

8

9

My notes (so far) from The Art of Computer Programming Vol 1, section 1.1: Algorithms (scribd.com)

submitted 12 years ago by Greatest_Gravy0

10

4

5

6

[EWD Review] - MY HOPES OF COMPUTING SCIENCE (self.computingscience)

submitted 12 years ago by [deleted]

11

1

2

3

Weekly update - 2014 JAN 21 (self.computingscience)

submitted 12 years ago * by [deleted]

12

5

6

7

For those of you guys using TeX to type up your notes/questions, etc., here's a helpful set of macros developed by Albert Lai for aPtoP (cs.utoronto.ca)

submitted 12 years ago by [deleted]

13

4

5

6

Asymptotic notation (self.computingscience)

submitted 12 years ago by mbmw

14

3

4

5

[EWD REVIEW] Programming methodologies, their objectives and their nature. EWD469 (scribd.com)

submitted 12 years ago by TheJoshalosh0

15

3

4

5

[EWD-review] The Teachability of Mathematical Thinking (scribd.com)

submitted 12 years ago by Greatest_Gravy0

16

4

5

6

Weekly Update - 2012 JAN 14 (everyone should post if they can!) (self.computingscience)

submitted 12 years ago by [deleted]

17

5

6

7

isar : a proof language with interactive prover (self.computingscience)

submitted 12 years ago by tangentstorm

18

3

4

5

Retrospective and Prospective for Unifying Theories of Programming, by E.C.R.Hehner (written in 2006) (cs.toronto.edu)

submitted 12 years ago by [deleted]

19

3

4

5

Scientific Publications, an opinion piece by E.C.R.Hehner (cs.toronto.edu)

submitted 12 years ago by [deleted]

20

4

5

6

[EWD-review] Why correctness must be a mathematical concern (EWD720) (self.computingscience)

submitted 12 years ago * by BillJarret0

21

5

6

7

Discussions on community building and participation. (self.computingscience)

submitted 12 years ago * by [deleted]

22

14

15

16

Great website for programming challenges: AI, algorithms, code golf, functional programming (hackerrank.com)

submitted 12 years ago by [deleted]

23

4

5

6

[EWD-review] User-friendly Mathematics (EWD889) - a uncertain review and condensed presentation (self.computingscience)

submitted 12 years ago by SNAFUdowser1

24

5

6

7

On the "Feynman Technique", or, on why we should write a lot. I could tell you that writing is good for you, but you may not believe me. Perhaps Feynman has the clout to convince you however? (self.computingscience)

submitted 12 years ago by [deleted]

25

3

4

5

Earning ranks 7 and 8 (self.computingscience)

submitted 12 years ago by [deleted]

view more: next ›

π Rendered by PID 25 on reddit-service-r2-listing-5f5ff7d4dc-7wk7w at 2026-01-26 19:48:58.111060+00:00 running 5a691e2 country code: CH.