MathOverflow
user avatar
user avatar
user avatar
Flash Sheridan
  • Member for 11 years, 3 months
  • Last seen more than 8 years ago
Profile Activity
Stats
643
reputation
0
reached
0
answers
0
questions
Communities
View all
About

No longer looking for work in static analysis, compiler testing, or software quality assurance. I’m a published authority on static analysis, compiler testing, artificial intelligence, and mathematical logic.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
19
Trying to convert pdf to text for free
15
Reading order for the Lensman books
11
What does -fheinous-gnu-extensions option do?
10
Are C++ static code analyis tools worth it?
9
How can I convert from Microsoft Word to a LaTeX document

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.