Area 51 » Guy Coder

info activity reputation

reputation

217 views

discussion user

network profile

Registered User

name	Guy Coder
member for	12 years
seen	Feb 10 '23 at 11:38
website	none
location	USA

stats accounts

0

Proposals

0

Current Commitments

1

Fulfilled Commitment

893

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