Buddhism
hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 9 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Enjoys programming in Prolog.

Richard O'Keefe: "Prolog is an efficient programming language because it is a very stupid theorem prover."

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
432
Add an "I don't understand" option for review audits
213
The program can't start because libgcc_s_dw2-1.dll is missing
49
Can two topological spaces surject onto each other but not be homeomorphic?
46
What is the difference between == and = in Prolog?
30
How does a non-technical manager add value to team of self-motivated software developers?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.