Area 51 » Guy Coder

info activity reputation

reputation

210 views

discussion user

network profile

Registered User

name	Guy Coder
member for	10 years
seen	13 hours ago
website	none
location	USA

stats accounts

0

Proposals

0

Current Commitments

1

Fulfilled Commitment

184

days

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.

define

commit

public beta

0

Followed

10

Example Questions

votes newest recent

Relationships and Dating: I'm thinking about joining a dating service, what questions should I ask about the service?

Robotics: What companies are known for selling robot parts for DIY (do it yourself)? [closed]

Robotics: What is a good robot to use for teaching middle school students?

Space Exploration: For a space elevator, are there any designs that use two cars with one going up when one comes down to save energy?

Space Exploration: How has the debris from satellite crashes affected space operations?

Space Exploration: The Russians recently tested a new launch trajectory that goes to the space station in about six hours, what allowed for the difference?

Pets: Our child wants to be a temporary foster parent for a dog. Where do we look?

Mathematics Educators: Are there any studies indicating that using more than one textbook for a subject is better/worse than using one textbook at the same time?

Relationships and Dating: What are the rules of gift giving that work for you? e.g Give something that means something to them but not to you.

Robotics: What are good robot competitions for middle school students?

277

Votes Cast

277 up

0 down

34

Badges

● Fanatic
● Upholder
● Promoter

● Lobbyist
● Nice Question × 21
● Commentator

● Enthusiast
● Centrist
● Caucus

● Editor
● Autobiographer
● Filibuster

● Advocate
● Pioneer

user feed