Philippe

Questions Linux Laravel Mysql Ubuntu Git Menu

HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin

Philippe has asked 17 questions and find answers to 40 problems.

Stats

About

Philippe questions

Binding a single value within a for comprehension
Design of immutable, typeable, trees
BASH: Is there a simple way to check whether a string is a valid SHA-1 (or MD5) hash?
How to load a library that depends on another library, all from a jar file
Prefill a line with jline
Finding all pairs of sequences that differ at exactly one position
Changes introduced in gcc 4.5 with respect to linking?
Sort JSON/JavaScript tuples using command-line tools
Automatically Hash Consed Case Classes
Simply forking and redirecting the output of a command to /dev/null

Philippe answers

In Scala is it possible to retrieve the `val` referenced by a singleton type?
Inferring mutually-dependent default method implementations in Scala
Can Z3 check the satisfiability of recursive functions on bounded data structures?
C API for Quantifiers
Are all NP problems also NP-complete?
How to interact with the compiler in Scala code itself?
How to use members with default (package) or private access level in REPL?
Writing XML literal as a parameter in Scala
Graph traversal in Scala
Rationale for behaviour overriding a val