MathOverflow
SamB's user avatar
SamB's user avatar
SamB's user avatar
SamB
  • Member for 13 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About
I'm a Haskell enthusiast, and I also enjoy attempting to prove things in Coq and/or Agda.
Badges
1
gold badge
1
silver badge
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
246
Canvas is stretched when using CSS but normal with `width` & `height` attributes
145
How to pass multiple parameters to cron job with curl?
27
How can I list all lightweight tags?
25
Can a lightweight tag be converted to an annotated tag?
23
Make PDF open in "Fill Window" mode with hyperref

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.