Clément

Clément has asked 55 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

Is there a C++14 alternative to explicit(expr) introduced in C++20?
Is there a problem with IO.Compression?
Using a non-static class member inside a comparison function
Force pdflatex to create one box per word
Can I safely use `IO.File.GetAttributes` on a folder?
What could affect Python string comparison performance for strings over 64 characters?
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?

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