Forum Programmation.autre Algèbre de Bool, cherche cours/doc/mooc/tuto whatever

Posté par  . Licence CC By‑SA.
Étiquettes :
0
7
juin
2021

Coucou !

Je suis nul en algèbre Bool, les 3 cours que j'ai pu avoir sur son introduction sont bien loin aujourd'hui, et j'ai besoin d'en connaitre plus.

Donc si quelqu'un à des conseils à me donner pour passer de gros noob à guru méditant dans des délais raisonnables, je lui construit une table de vérité en bois d'arbre pour sa salle à manger, aves ses rallonges =D

Par avance tous mes remerciements distingués.

Forum Programmation.autre Git, submodule et bisect

Posté par  . Licence CC By‑SA.
Étiquettes :
4
18
mai
2021

J'aurais pu appeler ce post "Arnaque, crime et botanique" (parce que j'aime bien me prendre pour Jason Statham).

J'ai un repo git avec cette tête:

repo :
- doc
- version
- submodule git avec de la salade qml
- submodule git avec du beau code c++ et un peu de salade Qt

Nous ne mettons à jour les reférences vers les submodules qu'à chaque changement de version (je sais pas si une bonne manière de faire, les gens qui (…)

Forum Programmation.autre tendance no-code

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes : aucune
7
17
mai
2021

Bonjour à tous,

Ce week-end j'ai découvert la tendance no-code. L'idée est de programmer sans saisir une ligne de code… Pourquoi pas. Je précise que ne suis pas dev (j'en fais un peu mais c'est pas mon métier).

L'idée du no-code est de fournir des briques pouvant communiquer entre elles et entre services accessible aux communs des mortels ou alors pour maquetter un projet.

J'aime bien l'idée de pouvoir fournir à des utilisateurs++ la possibilité de créer leurs applications (…)

Forum Programmation.autre Un petit mystère (2/2)

Posté par  . Licence CC By‑SA.
Étiquettes :
1
27
mar.
2021

Et donc, re-bonjour à tous,

Second petit mystère que pareillement, je ne m’explique pas.

(Je poste dans programmation.autre, puisque cela concerne LaTex, mais peut-être n’est-ce pas le bon emplacement…)

Voilà : j’utilise TeXstudio (2.12) avec texlive (parfaitement à jour) sur la distribution Ubuntudde (20.10). Histoire d’accélérer un peu la saisie, j’ai créé quelques macros avec raccourcis pour la mise en forme :

ctrl+shift+g > \frquote{%|}
ctrl+shift+e > \emph{%|}
Etc.

Le fait est que le raccourci \frquote fonctionne (et quelques autres (…)

Forum Programmation.autre git et merge graphique

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

Salut,
suite à une réflexion que je me faisais dans un autre post, je me demandais quel outil vous utilisez, sur Windows, pour effectuer vos merge (ou diff) en mode graphique (pas avec le git diff ou git merge), en dehors des IDE (dont je sais que certains font bien le job comme Eclipse, ou VSCode) ?

J'utilise Meld qui fonctionne bien (en particulier pour les diff), mais pour les conflits de merge (…)

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 [Résolu] Problème avec une API http (en python)

Posté par  . Licence CC By‑SA.
Étiquettes :
2
4
mar.
2021

Bonjour,
Je voulais créer un bot pour la plateforme de streaming twitch qui par exemple répond automatiquement à certains messages.

J'ai, pour cela, cherché des tutoriels sur youtube.
J'ai ensuite essayé de créer le bot grâce à ce tutoriel qui n'est pas très clair sur la création de la base du bot etc. mais en le mélangeant avec d'autres recherches j'ai trouvé ce qu'il me manquait.

Quand j'ai fini de suivre se tuto j'ai eu des erreurs, j'ai donc (…)

Forum Programmation.autre Un dépot git libre-friendly ?

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
3
1
mar.
2021

Edit : Merci pour vos réponses à tous.

Salutations,

J'ai fait une petite application que je compte publier en GPL. Rien d'important, un petit interpeteur Chip-8 en Python. Je l'ai juste fait pour l'exercice à la base, mais je trouve suffisement bien fini et performant pour avoir envie de le partager avec les 3 personnes que ça pourrait interesser.
J'ai pensé à Github par réflexe, mais si vous connaissez d'autres plateformes intéréssantes pour ce genre de publication, n'hésitez pas à (…)

Forum Programmation.autre Création d'une collection de tickets de carburants ...

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
8
26
jan.
2021

Hello world !

Pour jouer un peu avec tensor flow et le deep learning je cherche à créer une base de travail, pour celà je lance https://carbu.org : mon dévolu s'est porté sur les tickets de carburant pour les raisons suivantes:
- tout le monde en a (je pensais naïvement au départ que mon stock serait suffisant)
- c'est petit et facile à prendre en photo
- il n'y a aucune donnée nominative à "anonymiser" au passage (NDR: après une (…)

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 Problèmes lors de la conception / abstraction de programmes

Posté par  . Licence CC By‑SA.
2
11
sept.
2020

Bonjour à tous,

je vous écris aujourd'hui car je rencontre des difficultés dans mon travail (c'était déjà le cas lors de mes études) lors de la conception d'un programme.

J'ai tendance à penser et faire tout compliqué dès le début, le tout rendant le programme peu réutilisable et facile à comprendre. Même si nous faisons régulièrement des "Code Review" qui m'aident, je souhaite de mon côté changer et évoluer dans la bonne direction.

Je suis donc à la recherche d'un (…)

Forum Programmation.autre compiler-compiler: des suggestions?

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
3
15
juil.
2020

J'ai fait quelques temps quelques recherches pour un projet perso, j'avais besoin d'un DSL pour générer du C ou du C++ a partir d'une syntaxe.

J'ai fini par utiliser coco/r, je sais que bison et yacc existent, mais ça avait l'air plus sympa.
J'en ai "un peu" chié a trouer un quick-start (en fait, j'ai trouvé celui que j'ai écrit au fur et a mesure), et je voulais savoir s'il y a des quick-start pour les autres outils?
Que ce (…)

Forum Programmation.autre creer un reseau de consultation photo avec mot clé

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
1
10
mar.
2020

Bonjour,
Je suis photographe événementiel, en déplacement, je travaille avec un mac et Ligthroom, pour renommer et trier les photos, ensuite elles sont stocker sur un NAS Buffallo, relier à plusieurs mini PC ou les clients regardent et choisissent leur photo.
Je voudrais créer ce réseau avec Linux (test effectuer) donc:
j'aimerais une suite du style:le client tape un mot clé et ses photos s'affichent, selon le cas le dossier complet ou les photos avec le numéro de dossard en (…)

Forum Programmation.autre git : comment appliquer une même sous-branche à deux branches ?

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
1
17
fév.
2020

Bonjour à toutes et à tous,

Je développe, généralement seul, une librairie gtk-fortran que je "push" sur GitHub. Il y a deux branches principales et bientôt trois : gtk2, gtk3 et gtk4. La branche gtk2 n'est plus maintenue, la branche gtk3 continuera à être maintenue quelques années après la création de la branche gtk4, qui au départ sera expérimentale :

0----------------------------------------------gtk2----|
                      \
                       \-----------------------gtk3-------------------...
                                \
                                 \-----gtk4-------------------------------------...

Ces trois branches principales correspondant à trois versions de la librairie GTK sont destinées à (…)

Forum Programmation.autre [BASH/PHP] Monitoring - Plein de questions

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
0
15
fév.
2020
  1. Comment "sécuriser" dans son code une commande qui peut freeze ?

Cette commande permet de récupérer la température "du CPU" (ou plus tôt de la carte mère au niveau du CPU). Mais quand je joue à un jeu et que le CPU squat au delà des 95° durant quelques temps, après elle freeze. Même quand elle est lancée dans un shell puis que je tente de l’arrêter via CTRL+C, ça ne l'arrête pas.
Comment intégrer une sécurité dans mon script (…)

Forum Programmation.autre Quel hub de développeur choisir ?

Posté par  . Licence CC By‑SA.
8
10
fév.
2020

Hello le forum,
je n'ai pas envie de pousser mes projets sur github pour des raisons évidentes (vie privé, pas d'interdiction d'accès pour des raisons arbitraires etc.) … mais d'un autre côté héberger son projet ailleurs implique une fragmentation de la communauté des développeurs, gitlab ? framagit ? (ils vont le garder ou pas ce service dans leur phase de décroissance ?) …

Pour des questions historiques je me suis toujours auto-hébergé mes forges mais je me demande si ça (…)

Forum Programmation.autre Task Ansible jamais exécutée

Posté par  . Licence CC By‑SA.
Étiquettes :
0
4
nov.
2019

Bonjour,

Via Ansible je souhaite afficher le résultat de 2 requêtes DNS avec le Playbook ci-dessous.
Or, seule la 2e "task" est exécutée… Jamais la première ! Je ne comprends pas du tout, Ansible m'indique qu'il trouve une task dupliquée mais c'est pas le cas pourtant… Si vous aviez une piste !

---
- hosts: linux
  tasks:
    - name: "abc"
      debug: "msg=\"{{ lookup('dig', 'pc1.mydomain.dom.') }}\""
      tags:
        - dns

  tasks:
    - name: "def"
      debug: "msg=\"{{ lookup('dig', 'pc2.mydomain.dom.') }}\""
      tags:
        - dns
(…)

Forum Programmation.autre Repérer des chaines doubles

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
1
25
oct.
2019

Bonjour,

Je cherche à supprimer des doublons dans une chaine de caractère, sachant que les doublons se suivent toujours.
Genre de chaine avec doublon :
- la lo li lulu (je veux que lulu devienne lu)
- 0.550.55 (je veux ne garder qu'un seul 0.55)
- 0.80.8 (je veux ne garder qu'un seul 0.8)

Je ne vois absolument pas comment faire ça, quelqu'un a une petit idée ?

Pour info, le langage que j'utilise est PHP mais peu importe le (…)

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 [Latex] Création de liste dans un template

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
0
7
oct.
2019

Bonjour,
petit problème de latex, j'essaie de faire un template de cv, il me faut une fonction pour générer une liste, le but est d'avoir:

fruit
- poire
- pomme
légume
- carotte
poison
- cyanure
- curare

Bon, ensuite je mettrait ça dans un tableau tout joli, mais pour l'instant je bloque sur la récupération des éléments.

Mon fichier tex contient:

\comp{
    {fruit, {{poire}, {pomme}}},
    {légume, {carotte}},
    {poison, {{cyanure}, {currare}}}
}

Et mon template.cls

% settings comp
\newcommand{\comp}[1]{
    \renewcommand{\givencomp}{
(…)

Forum Programmation.autre Rust, Haskell, composition, monad et arrow

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
0
30
sept.
2019

Salutation à vous,

Tout est dans le titre, en vrac…

Voilà, depuis des années je ne code sérieusement qu'en Haskell, et j'ai envie de voir du pays, pourquoi pas rust ? Je me suis lancé dans un petit projet à base de opencv, et j'ai la tête remplie d'idiomes Haskell. Typiquement, pour appliquer une série de traitement à une image de manière séquentielle, en Haskell on fait :

algorithme = preprocessing >>=
             traitement1 >>=
             traitement2 >>=
             \i -> traitement3
(…)

Forum Programmation.autre Conky et condition (if)

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

Affiche "plop" dans un shell :

if [[ "1" == "1" ]]; then echo "plop";else echo "not good"; fi

Affiche "not good" dans le conky :

${execp if [[ "1" == "1" ]]; then echo "plop";else echo "not good"; fi  }

Pourquoi ?
Comment effectuer une comparaison de deux strings avec bash dans le conky ?

Le but est de faire tourner cette comparaison de deux signatures TLS dans le conky :

${alignc}${font :size=7}${execp certSecure=$( openssl s_client -connect 88.191.250.176:443 -servername
(…)

Forum Programmation.autre question théorique sur l'assembleur

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
1
20
août
2019

bonjour à tous,

je vous donne l'instruction qui me pose probleme, ca sera plus simple pour expliquer :

add ax, PTR BYTE [bp - 0x02]

dans le cas ou j'utilise un processeur 8086 avec un bus d'adresse de 20 bits et un bus de donnés de 16 bits.

comment en une instruction qui ne peut pas dépasser 16 bits, je peux contenir à la fois l'oppcode (ADD), le registre(ax), et l'adresse de 20 bits contenu dans PTR BYTE [bp - (…)

Forum Programmation.autre question sur le processeur 8086 et les cycles d'horloge

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
2
29
juil.
2019

Bonjour,

dans les processeurs 8086, en assembleur quand je fais l'intruction sub a,b :
le compilateur va remplacer cette instruction par un not b + inc b + ADD a,b soit 3 cycles d'horloge pour réaliser la soustraction?

De nos jours avec les processeurs actuels, il y a j'imagine pour optimiser la place dans la RAM une seul instruction pour réaliser une soustraction, mais prend elle toujours 3 cycle d'horloge ?

Merci d'avance pour vos éclaircissements.