Forum Programmation.autre Quel librairie JVM pour de la 2D vectorielle ?

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes : aucune
3
27
déc.
2020

Bonjour,

Pour des besoins pro, j'aimerai développer un clone de Neo4J Browser. Il sera opensource.
Neo4J est une base de données graphe.

Le problème :
En quelques mots, le Neo4j browser est un outil avec en haut, une barre où on tape une requête en Cypher, et sur le reste de l'écran le graphe résultant de la requête que l'on viens de lancer.
Cet outil est super, mais ses performances ne sont pas adaptés lorsqu'on a besoin comme moi d'afficher (…)

Forum Programmation.autre git + meld = GLib-GIO-CRITICAL

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
3
17
mar.
2021

Salut,
J'utilise git sur Windows (pas le choix) : pour obtenir un outil de comparaison un peu plus "user friendly" que git diff, j'ai configuré l'usage de git difftool sur meld.
Cependant quand je lance la commande :

git difftool mon_fichier
La console (git bash) se remplit de lignes :

2021-03-17 17:04:19,377 CRITICAL Gtk:
(org.gnome.meld:10084): GLib-GIO-CRITICAL **: 17:04:19.377: g_content_type_is_a: assertion 'type != NULL' failed

J'ai cherché sur internet et j'ai trouvé un bug mingw, cependant même après (…)

Forum Programmation.autre Erreur de segmentation passe inaperçu dans une recette GNU Make

Posté par  . Licence CC By‑SA.
Étiquettes :
3
4
déc.
2021

Bonjour.

Je suis sous Manjaro. J'ai écrit un Makefile pour tester à la chaîne une série de programmes en C, dont la construction (mais ce n'est pas le sujet, c'est juste le contexte) et un de ces programmes se termine avec une erreur de segmentation. Le seul souci c'est que je ne la vois pas en exécutant le Makefile mais uniquement lorsque j'exécute le programme à la main.

La cible est constituée comme suit:

test: main
    # Tester avec
(…)

Forum Programmation.autre Compter nombre de fois qu'un bruit se répète ...

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
3
5
avr.
2022

Hello,
j'ai une idée saugrenue aujourd'hui : je souhaite compter le nombre de fois qu'un bruit se produit dans la journée par exemple … je n'y connaît rien en analyse de son en "temps réel" d'où ce message.

Ça pourrait être le nombre de fois que le chien aboie, nombre de fois qu'une porte claque, que le voisin klaxonne … bref vous voyez l'idée ?

Avez-vous quelques pistes à me suggérer ?

Forum Programmation.autre Est-il possible de modifier les options d'une commande, une fois la commande passée ?

Posté par  . Licence CC By‑SA.
Étiquettes :
3
28
août
2022

Prenons l'exemple suivant :

En utilisant bash (debian étable),

:~$ jobs
[1]+ Stopped rsync -a /media/a/0152-ABF0/DCIM/Camera/20220* /media/a/srv_atilde/photo/dcim/Camera/2022/

peut-on ajouter l'option --verbose à la commande lancée, sans terminer la commande ?

afin d'obtenir ceci dans le résultat de #jobs
:~$ bg
[1]+ rsync -av /media/a/0152-ABF0/DCIM/Camera/20220* /media/a/srv_atilde/photo/dcim/Camera/2022/ &

rsync -v devient rsync -av

Est-il possible ensuite de rediriger &1 et &2 vers des logs ?

Forum Programmation.autre Emacs, SBCL et Slime (LISP)

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
3
18
oct.
2022

Bonjour à tous,

j'espère que vous allez bien.

Je me tourne vers vous car j'aurais besoin d'un petit renseignement. Je souhaiterai apprendre le LISP. Pour cela, j'utilise Emacs. J'ai procédé aux installations de SBCL et Slime en suivant un petit tuto sur github. Rien de bien compliqué. Tout se passe bien, aucun message d'erreur, rien.

Par contre, quand je fais M-x slime sur Emacs, j'ai pour seul retour un "no match". De ce que j'ai compris, ça devrait me lancer (…)

Forum Programmation.autre Avent du Code, jour 11

Posté par  . Licence CC By‑SA.
Étiquettes :
3
11
déc.
2022

Suite de l'Avent du Code, jour 11.

Des singes ont volé le contenu de notre sac. Ils jouent à la passe à 10 avec. Pour récupérer le contenu, il faut identifier quel singes ont eu le plus d'items en main.

Un jour où la solution naïve permet de résoudre la partie 1 mais ne passe pas à l'échelle pour la partie 2.

Forum Programmation.autre Avent du Code jour 16

Posté par  (Mastodon) . Licence CC By‑SA.
Étiquettes :
3
16
déc.
2022

L'oxygène manque dans la caverne, et pour cause : c'est un volcan prêt à exploser !
Manque d'oxygène, hallucinations, on voit des éléphants qui joue avec un transmetteur, l'appel d'hier venait de là.

Et là on délire complètement, persuadés qu'on va réussir à faire sortir la vapeur du volcan en ouvrant des vannes !
Ça sent le sapin…
Mais surtout, le CPU qui crâme.
Dans l'exemple on a 6 valves fonctionnelles, et 4 pétées, ça fait 720 possibilités pour les (…)

Forum Programmation.autre Avent du Code, jour 24

Posté par  . Licence CC By‑SA.
Étiquettes :
3
24
déc.
2022

Aujourd'hui , on brave le blizzard. Il faut aider les elfes à traverser les blizzards qui parcours la plaine.

https://adventofcode.com/2022/day/24

'''
With everything replanted for next year (and with elephants and monkeys to tend the grove), you and the Elves leave for the extraction point.

Partway up the mountain that shields the grove is a flat, open area that serves as the extraction point. It's a bit of a climb, but nothing the expedition can't handle.

At least, that would (…)

Forum Programmation.autre Avent du code jour 25

Posté par  (Mastodon) . Licence CC By‑SA.
Étiquettes :
3
25
déc.
2022

Le jour de la marmotte.
Ben oui, on remballe tout !
Tout ?
Non, un dernier problème résiste encore et toujours au développeur !

Selon la logique imperturbable des lutinelfes du nord, pourquoi faire simple quand on peut faire n'importe quoi, il nous reste à décoder les paramètres de chauffe des ballons pour repartir du verger aux fruits magique.
Additionner tout ça.
Et le recoder pour le donner à BoB, la machine qui chauffe.

Après on décolle avec nos…. 49 (…)

Forum Programmation.autre Opérations et règles mathématiques avec l'opérateur XOR

Posté par  . Licence CC By‑SA.
Étiquettes :
3
26
fév.
2023

Bonjour,

Je recherche des informations sur les règles et les possibilités opératoires avec l'opérateur XOR, notamment en ce qui concerne la distributivité. Peut-on développer ( A * B ) ⊕ ( C * D ) ? Et ( A ⊕ B ) ⊕ ( C ⊕ D ) ? Et ( A ⊕ B ) * ( C ⊕ D ) ?
J'ai essayé de chercher sur Wikipédia et dans le Frido, mais les informations que je trouve sont plutôt (…)

Forum Programmation.autre Advent of Code 2023 : Day 3

Posté par  . Licence CC By‑SA.
Étiquettes :
3
3
déc.
2023

Le troisième d'une série de 25 forums qui proposeront de partager vos solutions pour l'édition 2023 de l'Advent of Code.

Vous pouvez vous inscrire à un leadboard privé que j'ai créé pour LinuxFR : 2423220-c94050af

Jour 3 (résumé) :

Partie 1

Vous empruntez une télécabine pour vous rendre à la source. Mais elle ne fonctionne pas. Un lutin vous explique qu'il manque des pièces, mais on ne sait pas lesquelles.

Il faudrait la somme de tous les numéros de pièce (…)

Forum Programmation.autre Advent of Code 2023 : Day 4

Posté par  (site web personnel) . Licence CC By‑SA.
3
4
déc.
2023

Jour 4 (résumé)

Partie 1

Le télécabine vous dépose sur une masse de terre flottant dans le ciel, l'île de l'île. Le liftier pense qu'il y a sûrement des sources sur cette île. En revanche, cela dépasse ses compétences, il faudrait aller voir le jardinier, qui habite sur une île entourée d'eau, elle-même sur l'île céleste où nous nous trouvons.

Bref, notre lutin veut bien vous prêter son bateau en échange d'un peu d'aide avec ses cartes à gratter.

Chaque (…)

Forum Programmation.autre Advent of Code 2023 : Day 5

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
3
5
déc.
2023

Partie 1

Le jardinier nous explique que cette île est bien la source d'eau destinée à l'île de la neige. Seulement il a dû couper l'eau parce qu'il ne recevait plus de sable pour la filtrer et qu'on ne peut pas faire de neige avec de l'eau sale. C'est une interruption temporaire, juste le temps de régler le problème d'approvisionnement en sable. L'ennui, c'est qu'il n'a pas du tout le temps de penser à ça, donc c'est du temporaire qui (…)

Forum Programmation.autre [OCaml] Quel stratégie pour transformer un arbre en grammaire ?

Posté par  (site web personnel) .
Étiquettes : aucune
2
22
août
2009
Bonjour, je réalise un utilitaire qui transforme du Java en Lisaac.
Je dispose d'un source java sous forme XML (grâce à un petit programme nommé Java2Xml), que j'importe en Ocaml avec Xml-Light.

Mon xml en caml est représenté avec le type :
type xmls = Elem of (string * (string * string) list * xmls list);;
(c'est celui de Xml Light, mais simplifié car je n'ai jamais de PCData avec l'xml que je traite)

J'ai donc créé une grammaire java (…)

Forum Programmation.autre Sed sur plusieurs lignes

Posté par  . Licence CC By‑SA.
Étiquettes :
2
26
août
2014

Bonjour,

Utilisateur de sed depuis des lustres… il y a un truc que je n'arrive pas à faire… et qui me chicane vraiment. J'ai toujours contourné le problème avec du Perl, mais, cette fois, c'est pour de l'embarqué (en fait une raspberry pi que je ne contrôle pas) et je n'ai pas de Perl à disposition.

Le problème

J'ai de nombreux fichiers qui ont un nombre variable de lignes de la forme:

%!PostProc(Xhtml): 'bidule' 'capsule'

Mais il peut y avoir (…)

Forum Programmation.autre rediriger un flux vidéo actif

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
2
14
fév.
2016

Bonjour

J'utilise un soft pour Windows (Zedtv, via wine) qui a l'avantage de visionner (mais pas d'enregistrer) la télé suisse (RTS1/RTS2)

J'arrive à voir la commande lancée (livestreamer…) en lancer une autre modifiée (livestreamer -o fichier.ts …) qui va enregistrer, mais je me demandais si je pouvais lancer Zedtv, puis rediriger l'affichage de la vidéo dans un fichier.

J'ai lu plein de discussions

http://stackoverflow.com/questions/10453799/python-interacting-with-stdin-out-of-a-running-process-in-nix?lq=1

http://stackoverflow.com/questions/593724/redirect-stderr-stdout-of-a-process-after-its-been-started-using-command-lin

http://stackoverflow.com/questions/34289972/redirect-running-process-stdout-stderr-to-ssh-stdout-using-gdb

vu des outils comme gdb, strace, reredirect

mais je n'ai pas réussi à lancer (…)

Forum Programmation.autre Question sur Coq et la tactique induction

Posté par  . Licence CC By‑SA.
Étiquettes :
2
24
oct.
2019

Bonjour à tous

Récemment, j'ai décidé de m'intéresser un peu à la théorie des types et de la démonstration. Quelques vieilles dépêches y sont pour un peu, et le sujet m'avait toujours un peu intrigué.
Après quelques recherches, j'ai trouvé et commencé l'excellent Logic Foundations.
J'en suis arrivé lentement mais sûrement au chapitre sur les propositions inductives (IndProp).
Et là j'ai un petit soucis…

Lemma le_trans : forall m n o, m <= n -> n <= o
(…)

Forum Programmation.autre calcul scientifique : choix OS, compilateur, debuggeur

Posté par  .
Étiquettes : aucune
2
27
nov.
2008
Dans le cadre d'un gros projet à venir je me pose plusieurs questions:

Est-ce que les compilateurs et les débuggeurs sont liés ?
Faut-il obligatoirement utiliser gdb avec du code compilé par gcc, l'intel debugger avec l'intel compiler,... ?

Qu'est-ce qui existe comme outil permettant de debugger du code parallélisé (openMP ou MPI) ?

Est-ce qu'il existe des benchmarks/articles montrant l'influence de l'OS sur la performance des programmes ? Il s'agirait d'un programme faisant du calcul scientifique sur une grosse (…)

Forum Programmation.autre [brook+] cherche sujet d'étude utile

Posté par  .
Étiquettes : aucune
2
2
jan.
2009
Bonjour,

Dans mon ordinateur y'a une carte graphique qui peut faire mille milliards d'opérations en virgule flottante par seconde (HD 4850) d'après la documentations du constructeur.

Depuis peu, AMD a publié un SDK et un driver pour pouvoir exploiter la puissance du processeur en dehors de l'affichage graphique. Le SDK et le driver sont complètement propriétaires, mais une extension à BrookGPU, brook+, est fournie en licence GPL (enfin le BRCC).

Que faire d'utile avec ce jouet ? Je recherche donc (…)

Forum Programmation.autre Question sed

Posté par  .
Étiquettes : aucune
2
28
jan.
2009
J'utilise sed depuis pas mal de temps mais des détails m'échappent.
Aujourd'hui je bloque sur un truc tout simple et les tutoriaux et pages de manuels ne m'aident pas.

J'ai du code html dont je veux extraire une adresse ip. Voici les 3 lignes qui m'interessent:

td width="40%" class = "br_tb">prints(m_IPaddr); :
td colspan=2 class = "bl_tb" > 
(TAB)(TAB)(TAB)117.18.244.113

Je ne mets pas les '
Je souhaite utiliser "prints(m_IPaddr)" pour détecter la zone à analyser (il y a dans ce (…)

Forum Programmation.autre besoin d'un tutoriel Ada pour newbie total de 15 ans

Posté par  .
Étiquettes :
2
2
mar.
2009
Je souhaite apprendre la programmation, avec l'Ada.
Mais je suis fatigué que tous les livres coutent 50 €. Et le support de cours de l'IUT d'Aix en Provence n'est pas un tutoriel ...
Personne ne connait de vrais tutoriel, adapté au débutant comme il y en a tant pour le C++ ?
ps:j'ai 15 ans, donc j'aimerais me passer de DS et autre notations BNF ...

Forum Programmation.autre Licences: utiliser du code MIT dans du code GPL v.3

Posté par  (site web personnel, Mastodon) .
Étiquettes : aucune
2
7
avr.
2009
Bonjour,

je bosse actuellement sur un projet que je compte diffuser en GPL V3, et j'aimerais réutiliser du code sous licence MIT (que je vais modifier).
J'aimerais savoir comme ça se passe: est-ce que je ne garde que l'en-tête MIT (en ajoutant éventuellement l'année et mon nom dans les copyrights), est-ce que j'ajoute l'en-tête GPL ?

Si je ne dois garder que l'en-tête MIT, est-ce que je peux ajouter la clause interdisant d'utiliser les noms des auteurs pour faire la (…)

Forum Programmation.autre [Gettext] Extraction des traductions, et optimisation de la source

Posté par  (site web personnel) .
Étiquettes : aucune
2
6
sept.
2009
Bonjour,

En regardant les sources de KDE et le paquet kde-l10n-fr, j'ai remarqué que beaucoup, beaucoup de place est perdue en chaînes (une vingtaine de Mios).

Par exemple, si j'installe KDE avec son pack Français, je vais avoir toutes les chaînes de caractère en double : en anglais dans l'éxécutable, et en français dans les fichiers LC_MESSAGE.

Vous avez peut-être vu mon journal qui présente la possibilité d'empaqueter les paquets en utilisant le bytecode LLVM, plus léger. En effet, je (…)