Skip to main content
Steven Shaw's user avatar
Steven Shaw's user avatar
Steven Shaw's user avatar
Steven Shaw
  • Member for 15 years, 5 months
  • Last seen more than a month ago
Profile Activity

Stats

6,349
reputation
1.1m
reached
57
answers
28
questions
Communities
View all

About

Loves programming languages

Badges

View all badges
3
gold badges
37
silver badges
44
bronze badges

Top tags

View all tags
86
Score
4
Posts
5
Posts %
78
Score
37
Posts
44
Posts %
78
Score
9
Posts
11
Posts %
64
Score
3
Posts
4
Posts %
17
Score
7
Posts
8
Posts %
4
Score
4
Posts
5
Posts %

Top posts

View all questions, answers, and articles
question
66
multiple side-by-side versions with Homebrew?
Oct 13, 2011
answer
64
How can colored terminal output be disabled for sbt/play?
Jul 1, 2015
question
49
What is Axiom K?
Aug 31, 2016
answer
43
Get the short Git version hash
Feb 17, 2015
answer
43
(Mac) -bash: __git_ps1: command not found
Aug 17, 2014
question
41
Should I avoid using Monad fail?
Nov 17, 2011
answer
40
Konsole keyboard shortcut for switching between active Split View?
Jan 20, 2020
question
16
Is Agda without K less powerful?
Sep 1, 2016
question
15
What's a "diverging implicit expansion" scalac message mean?
Oct 31, 2011
question
15
Prevent warning about Macports/Fink installation
Oct 13, 2011

Top network posts

View all network posts
39
What are some good introductory books on type theory?
35
Can I trick GitHub into displaying the PDF in the browser instead of downloading it?
7
Where is the quote "Informal proofs are algorithms, formal proofs are code" from?
6
Is there a relationship between "sound and complete" in logic and "type safety" in PLs?