Jason Hu

Jason Hu has asked 18 questions and find answers to 35 problems.

Stats

About

Programming world is not fair. http://hustmphrrr.github.io/

Jason Hu questions

How can I split a list in half in coq?
Teach coq to check termination
How does `get` work in the CPS version of the State monad?
is there any syntax for non-recursive binding in Haskell, just like the difference between `let` and `let rec` in similar languages?
How to apply wildcard in constraint in Haskell?
Creating temporary named fifo in *nix system
How to make `this` point to the outer class where the inner class has the same method name
How is Coq's parser implemented?
GHC 7.10 generates slower code than older versions
How to apply more constraints on an interface declaration in Java?

Jason Hu answers

Vim - insert a column of text/insert repeated characters to multiple rows
Create map of segregated values from two lists in stream
Why does fdopen have a "flags" argument?
is there any named regular expression capture for grep?
How to get script name inside function in shell script?
How to remove preceding spaces before non space text begins + regex + sed +
difficulty in understanding c pointers when it is on it's own
Maybe coalescing operator
How to find all files and separate results by comma on Unix?
Count the number of digits in a bash variable