Clément

Clément has asked 48 questions and find answers to 45 problems.

Stats

About

PhD Student at MIT CSAIL. Author of Create Synchronicity, YìXué Dictionary, and company-coq.

Clément questions

How do I substitute a string in CSS without breaking copy paste?
How can I get a complete, untrucated stack trace in OCaml after a stack overflow?
ByRef vs ByVal performance when passing strings
Dereferencing a char pointer gets slower as the string it points to lengthens. Why?
Setting up a scheduled task in .Net
Using GNU Octave FFT functions
Overloading + to support tuples
What's the best approach to logging? [closed]
A threading problem where mono hangs and MS.Net doesn't
Why can't I write IO.Directory.GetFiles?

Clément answers

How can I reference a section by number in org-mode export?
What is the difference of tex-mode and latex-mode and LaTeX-mode in emacs
Type hint for return value in subclass
Run shell command in pdb mode
Permission denied with pip install --user -e /home/me/package/
targeting li on hover but not parent li
What does colon equal (:=) in Python mean?
Increasing stack size in browsers
Locating definition of a tactic in Coq proofs
A threading problem where mono hangs and MS.Net doesn't