mushroom's user avatar
mushroom's user avatar
mushroom's user avatar
mushroom
  • Member for 12 years, 10 months
  • Last seen this week
175 votes
14 answers
308k views

Add new column with foreign key constraint in one command

32 votes
3 answers
34k views

Configure Jackson to throw an exception when a field is missing

18 votes
1 answer
2k views

Generate library instead of executable in Idris?

18 votes
2 answers
4k views

Why don't junit tests get executed with "sbt test"?

17 votes
3 answers
4k views

Alternatives to using "var" for state with actors?

17 votes
2 answers
7k views

What message does pipeTo send on a timeout or other failure?

15 votes
1 answer
14k views

Get all classes of an element in capybara?

15 votes
1 answer
2k views

False errors when using cats library in IntelliJ

14 votes
2 answers
5k views

Convert local master into a branch in git

11 votes
3 answers
5k views

Can I use arbitrary node modules from clojurescript?

10 votes
1 answer
2k views

How can I use a library dependency in the definition of an sbt task?

9 votes
7 answers
5k views

Strongly typed access to csv in scala?

9 votes
1 answer
2k views

Why is this specs2 test using Mockito passing?

9 votes
2 answers
6k views

Multiple scope uniqueness validation

8 votes
1 answer
2k views

What is the proxy for in recaptcha configuration?

7 votes
1 answer
2k views

How do I use form_tag from within a helper?

7 votes
1 answer
2k views

Limitations of Fixpoint in Coq?

7 votes
1 answer
420 views

What is the ? type?

7 votes
1 answer
1k views

Automatically convert a case class to an extensible record in shapeless?

7 votes
4 answers
2k views

Adding class to input in Play 2 custom FieldConstructor

6 votes
1 answer
104 views

Maintaining a Nat within a fixed range

6 votes
1 answer
992 views

Euclidean division on naturals in coq

5 votes
1 answer
717 views

Conjunction vs. Implication in Coq

5 votes
2 answers
3k views

Code reuse in different rspec contexts

5 votes
1 answer
7k views

Verify that a method was called using Mockito without specifying arguments

5 votes
1 answer
299 views

Force one argument to be greater than another in Idris

5 votes
1 answer
109 views

natToFin when there is evidence that the conversion will work

5 votes
3 answers
265 views

Return an error if input doesn't have exactly 1 line, otherwise pipe input to next step

4 votes
1 answer
181 views

Equality of shapeless extensible records depends on field order

4 votes
1 answer
585 views

How do I provide an implicit argument explicitly?

1
2 3 4 5