Skip to main content
user833970's user avatar
user833970's user avatar
user833970's user avatar
user833970
  • Member for 13 years
  • Last seen this week
Profile Activity
Stats
2,749
reputation
205k
reached
7
answers
57
questions
Communities
View all
Badges
View all badges
3
gold badges
27
silver badges
41
bronze badges
Top tags
View all tags
2
Score
15
Posts
23
Posts %
1
Score
4
Posts
6
Posts %
1
Score
4
Posts
6
Posts %
1
Score
3
Posts
5
Posts %
0
Score
13
Posts
20
Posts %
0
Score
9
Posts
14
Posts %
Top posts
View all questions, answers, and articles
92
AudioRecord object not initializing
May 11, 2012
14
In Jenkins plugin developement, what is the Stapler (org.kohsuke.stapler.Stapler)?
Jul 7, 2011
14
"dynamically" creating case classes with macros
Apr 3, 2014
13
How do you view the JavaScript embedded in a PDF?
Mar 29, 2013
9
ClassNotFoundException: javax.servlet.AsyncContext in Jetty hello world
Jan 27, 2012
9
Is there a standard name (and library implementation) for a Monad that hides computation behind a constructor?
Aug 12, 2020
8
Scala filter on a list by index
Sep 15, 2013
7
Attaching the source of a Gradle plugin in IntelliJ IDEA
May 5, 2017
6
Running parallel junit tests on multiple remote machines
May 21, 2012
5
monad stack with multiple of the same transformer
Jan 11, 2019
Top network posts
View all network posts
31
Has anyone ever accidentally "proven" a false theorem with type-in-type?
16
Can blogging about research results first affect your ability to publish them later?
15
In the Hott book, are the most of the type formers redundant? And if so, why?
14
Re-reviewing a previously rejected article but some authors have changed from the previous submission. Should I mention that to the editor?
11
Typo in the calculus of constructions paper?