Search found 119 matches

by Vincent
Sun May 04, 2014 4:23 pm
Forum: Miscellaneous
Topic: Global recursive search-replace templates
Replies: 0
Views: 6290

Global recursive search-replace templates

Code: Select all

grep -rl "semi-decide" . | xargs sed -i 's/semi-decide/positively approximate/g'

find ./ -type f | xargs sed -i 's/string1/string2/g'
by Vincent
Sat Oct 26, 2013 9:36 am
Forum: Programs
Topic: Installation script
Replies: 0
Views: 9341

Installation script

EXPERIMENTAL


https://raw.github.com/vincent-hugot/me ... ownload.sh

CDA4127D1E64D165DEE14FAAAA
by Vincent
Fri Aug 16, 2013 6:54 pm
Forum: Programs
Topic: Getting sources for a project
Replies: 2
Views: 16879

Re: Getting sources for a project

After having trouble with Google Code, I have migrated to GitHub:

https://github.com/vincent-hugot/medley



perso install:

Code: Select all

wget https://raw.githubusercontent.com/vincent-hugot/medley/master/merlin/download.sh && chmod +x download.sh && sudo ./download.sh 
by Vincent
Mon Jul 30, 2012 2:49 am
Forum: Programs
Topic: ZapoTeX: Source Code to LaTeX translation
Replies: 3
Views: 16732

Re: ZapoTeX: Source Code to LaTeX translation

Added Scheme support in source code version.
zapotex-manual.pdf
manual for the source code version
(227.45 KiB) Downloaded 1784 times
(commit 618a)
by Vincent
Fri Mar 09, 2012 12:39 pm
Forum: Programs
Topic: Getting sources for a project
Replies: 2
Views: 16879

Re: Getting sources for a project

Note: I have migrated to GIT, so the above is out-of-date.

Direct URLs to files in the repository generally remain the same, except the superfluous "trunk" has to be removed.
by Vincent
Mon Dec 19, 2011 6:24 pm
Forum: Miscellaneous
Topic: LaTeX on these boards
Replies: 3
Views: 15413

Re: LaTeX on these boards

There are now two Math\TeX services running: (see http://www.forkosh.com/mathtex.html for use instructions) FAT service: tex.vhugot.com/cgi-bin/fat.cgi? THIN service: tex.vhugot.com/cgi-bin/thin.cgi? The fat service loads my sk2 package, and thus will render, say, \Sum k1n properly: tex.vhugot.com/$...
by Vincent
Thu Nov 03, 2011 3:32 am
Forum: Programs
Topic: ZapoTeX: Source Code to LaTeX translation
Replies: 3
Views: 16732

Re: ZapoTeX: Source Code to LaTeX translation

r818:

BEWARE: interface change for --tex, --ml, etc.... see --help

NOTE: the manual's examples are not up-to-date yet and do not reflect those changes.
by Vincent
Mon Oct 31, 2011 10:12 am
Forum: Miscellaneous
Topic: Functionam programming awesomeness :)
Replies: 1
Views: 8914

Re: Functionam programming awesomeness :)

Vincent might be the only crazy enough person here ... to enjoy functional programming. FTFY. I am pretty much the only person here, full stop. :) I found this video http://www.youtube.com/watch?v=faJ8N0giqzw that you might like. I do. Thank you for the pointer. This seems a bit related to function...
by Vincent
Sat Oct 29, 2011 12:49 pm
Forum: Programs
Topic: ZapoTeX: Source Code to LaTeX translation
Replies: 3
Views: 16732

Re: ZapoTeX: Source Code to LaTeX translation

r812:

Now with added support for both Prolog and B. Among other things.

For now, Prolog aliases are very tentative, as I don't know what is commonly used in the literature.
by Vincent
Thu Apr 14, 2011 4:36 pm
Forum: Miscellaneous
Topic: Finding a good functional programming Tutorial
Replies: 11
Views: 36370

Re: Finding a good functional programming Tutorial

Ok, I know.

Those are simply unboxed tuples. Semantically, you can replace them by ordinary tuples; they will act the same. Of course, unboxed is more efficient, but restricted in how you can use it.
by Vincent
Thu Apr 14, 2011 2:01 pm
Forum: Miscellaneous
Topic: Finding a good functional programming Tutorial
Replies: 11
Views: 36370

Re: Finding a good functional programming Tutorial

Hi,

It's not a stupid question (at least I don't think it is). I have no idea what this is.

Could you provide a link to the exact source file where you found that?
by Vincent
Tue Feb 15, 2011 3:13 pm
Forum: Miscellaneous
Topic: Finding a good functional programming Tutorial
Replies: 11
Views: 36370

Re: Finding a good functional programming Tutorial

If you had told me in second year, when I was programming a bit with OCaml and A. Giorge..., that I might seek for an OCaml job someday, I would have laugh at your face. It's never a good idea to laugh at my face :P Anyway thank for the help and if you have some abstraction leaks in Haskell to shar...
by Vincent
Mon Feb 14, 2011 6:53 pm
Forum: Miscellaneous
Topic: Finding a good functional programming Tutorial
Replies: 11
Views: 36370

Re: Finding a good functional programming Tutorial

I don't know if you have already read the article http://www.joelonsoftware.com/articles/ThePerilsofJavaSchools.html, Yes, I have. This is one instance where I mostly agree with what Joel says. Other articles by him which I find interesting are http://www.joelonsoftware.com/articles/fog0000000319.h...
by Vincent
Thu Feb 10, 2011 2:05 pm
Forum: Miscellaneous
Topic: Algorithme en francais avec LaTex
Replies: 2
Views: 9227

Re: Algorithme en francais avec LaTex

Bonjour,

Il s'agit du package algorithm2e.

http://www.ctan.org/tex-archive/macros/ ... ithm2e.pdf
by Vincent
Tue Jan 04, 2011 4:32 pm
Forum: Miscellaneous
Topic: Finding a good functional programming Tutorial
Replies: 11
Views: 36370

Re: Finding a good functional programming Tutorial

I have only seen that Haskell type system curry functions to express the type of a function with multiple parameters. (tell me I am not mistaking here) Correct. Every language I know of in the ML family does that -- Standard ML, OCaml, Miranda, Haskell etc... It comes straight from \gl -calculus, w...
by Vincent
Sun Dec 26, 2010 8:20 pm
Forum: Miscellaneous
Topic: Finding a good functional programming Tutorial
Replies: 11
Views: 36370

Re: Finding a good functional programming Tutorial

Hi there! I've got a question for Vincent : where can I find good tutorials on functional programming ? I am currently trying to learn Erlang programming and it appears to be hard to find good courses (at least good free courses). So I was wondering if there may be some good stuff on the internet ab...
by Vincent
Mon Nov 01, 2010 5:25 pm
Forum: Programs
Topic: ZapoTeX: Source Code to LaTeX translation
Replies: 3
Views: 16732

ZapoTeX: Source Code to LaTeX translation

ONLINE VERSION A BIT OUT OF DATE -- contact me if you're interested in using it and I'll update things, time permitting ZapoTeX is a pretty printer, used to integrate nice, syntax-highlighted Caml, Prolog and B source code in LaTeX documents. It supports advanced features such as aliases (and gener...
by Vincent
Wed Sep 01, 2010 6:24 am
Forum: Miscellaneous
Topic: Hello ...
Replies: 7
Views: 15668

Re: Hello ...

Heu... perso j'étais là hier matin et je serai là ce matin, donc t'es pas tout seul :langue

Et puis je te fais confiance pour occuper de l'espace pour nous tous :love
by Vincent
Tue Aug 31, 2010 9:45 pm
Forum: Miscellaneous
Topic: Hello ...
Replies: 7
Views: 15668

Re: Hello ...

Mathias COQBLIN wrote:Au fait vous commencez quand ? Demain ou en octobre ?
1er octobre officiellement.

Modulo les enseignements qui commencent plus tôt quoi qu'il arrive (sous réserve d'avenant).
by Vincent
Tue Aug 24, 2010 7:26 pm
Forum: Miscellaneous
Topic: Hello ...
Replies: 7
Views: 15668

Re: Hello ...

La reponse est non, j'avais rien fait ! ................................................. Perso j'ai un SVN pour tous mes programmes/rapports etc. Ca m'apporte un certain degré de tranquillité au cas où mon ordi explose... J'espère que tu n'as rien perdu de précieux dans l'accident. il y a plein de...
by Vincent
Tue Aug 24, 2010 1:15 pm
Forum: Miscellaneous
Topic: Hello ...
Replies: 7
Views: 15668

Re: Hello ...

Salut; je suis prêt. Rouillé, mais prêt.
shouyanbo wrote:mon Acer a explose
:heuu: J'espère que tu avais fait des sauvegardes...
by Vincent
Tue Aug 24, 2010 1:11 pm
Forum: Master Informatique
Topic: Algorithms For Tree Automata with Constraints (Ms thesis)
Replies: 0
Views: 8251

Algorithms For Tree Automata with Constraints (Ms thesis)

Report (master thesis)
master-thesis-r438.pdf.bz2
(1.14 MiB) Downloaded 1256 times

edit/note to self: mistake in Th 97.

Sildes
pres-master-internship-r442.pdf.bz2
(1.84 MiB) Downloaded 1276 times
by Vincent
Wed Jul 28, 2010 10:54 am
Forum: Miscellaneous
Topic: Question sur le service prévisionnel
Replies: 4
Views: 11351

Re: Question sur le service prévisionnel

Tu sais comment gérer tout ça ? Pas vraiment; en plus j'ai une bourse d'un type différent de la tienne, avec des formulaires en plus ou en moins ou différents -- on a certainement plein de formulaires en commun mais je suis moi-même un peu perdu dans les miens; donc je ne me sens pas du tout à l'ai...
by Vincent
Sat Jul 03, 2010 12:16 pm
Forum: Miscellaneous
Topic: Un petit problème avec XML
Replies: 2
Views: 8754

Re: Un petit problème avec XML

Grâce à ma super expertise (sisi) en XML, j'ai réussi (mais c'était dur, hein, ça a pris au moins 15 longues secondes) à googler sur les mots-clef "XML character codes" et miracle, je suis tombé là-dessus, ce qui je crois répond à ta question: http://en.wikipedia.org/wiki/List_of_XML_and_HTML_charac...
by Vincent
Fri Jun 18, 2010 9:08 am
Forum: Miscellaneous
Topic: Compilation d'images avec latex
Replies: 4
Views: 11208

Re: Compilation d'images avec latex

update: je confirme ce que je disais hier, c'est facile, et il faut passer par le dvi (en tous cas il suffit de passer par le dvi). Exemple de document vide: x.tex \documentclass[10pt]{article} \usepackage[latin1]{inputenc} \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} \pagestyle{e...
by Vincent
Thu Jun 17, 2010 6:29 pm
Forum: Miscellaneous
Topic: Compilation d'images avec latex
Replies: 4
Views: 11208

Re: Compilation d'images avec latex

le dessin est toujours incorporé dans une feuille a4. Tu as pensé à supprimer le A4 du documentclass ? Si ça ne marche ET tu utilises pdflatex directement, essaye de passer par DVI->EPS->PDF pour récupérer la bonne bounding box. Si ça ne marche toujours pas, copie ici tout ton document (vide), que ...
by Vincent
Wed Jun 16, 2010 3:56 pm
Forum: Miscellaneous
Topic: To position a picture
Replies: 1
Views: 7467

Re: To position a picture

I need help (again...). Oh God. \begin{wrapfigure} [2] {R} {3cm} 1] Drop the [2]. What is the use of wrapping just two lines anyway ? 2] I am not sure whether the parameter is case-sensitive, but try with a lower-case "r" instead of an upper-case "R"; odds are the package does not recognize R and f...
by Vincent
Wed Jun 16, 2010 3:48 pm
Forum: Miscellaneous
Topic: Compilation d'images avec latex
Replies: 4
Views: 11208

Re: Compilation d'images avec latex

Code: Select all

\pagestyle{empty}
:ouioui
by Vincent
Thu Jun 03, 2010 8:55 pm
Forum: Miscellaneous
Topic: Specific numbering and colored section
Replies: 3
Views: 10024

Re: Specific numbering and colored section

It's about coloring titles. Reference : http://theoval.cmp.uea.ac.uk/~nlct/latex/thesis/node9.html Assuming that you are using the "report" class, modus operandi : vincent@seth:~$ locate report.cls ... /usr/share/texmf-texlive/tex/latex/base/report.cls ... vincent@seth:~$ nano /usr/share/texmf-texl...
by Vincent
Wed Jun 02, 2010 7:31 pm
Forum: Miscellaneous
Topic: Specific numbering and colored section
Replies: 3
Views: 10024

Re: Specific numbering and colored section

Hi all... again ! You know, generally there is just me here; I know that "just me" is a hell of a lot, but still, it is not quite "all". ;) What's wrong ? As always with you, I have a lot of guesswork to do just to determine what your problem is, exactly... If your problem is that subsubsections ar...