[blabla@olympe] Le topic du modo, dieu de la fibre et du monde

Recherche :

Sujet(s) à lire :
- Who's who@Programmation

Mot : Pseudo : Filtrer Aller à la page :
Page : 1 2 3 4 5 .. 26163 26164 26165 .. 27259 27260 27261 27262 27263 27264 Page Suivante Page Précédente Bas de page
Auteur	Sujet : [blabla@olympe] Le topic du modo, dieu de la fibre et du monde

Kenshineuh

Reprise du message précédent :
Acheter neuf une 911, tu peux sans soucis. Pas besoin d'historique.

C'est pour certains modèles plus rare, ou éditions spéciales qu'il faut. :jap:

Message cité 2 fois

Publicité

Flaie

Kenshineuh a écrit :

Acheter neuf une 911, tu peux sans soucis. Pas besoin d'historique.

C'est pour certains modèles plus rare, ou éditions spéciales qu'il faut. :jap:

Y'a aussi le malus co2 qui me l'interdit... financièrement

Jubijub

Parce que je le VD bien

@kenshi : t'as des invit deadlock ?

Flaie a écrit :

Voila 2k prêts a partir pour un iphone 16 et une watch ultra 3

iPhone 15 Pro et Ultra 2, je vais allègrement sauter cette génération (le sensor de température c'est sympa mais ça justifie pas un changement, d'autant que la ultra a une batterie de malade qui tient hyper bien)

Message cité 4 fois

---------------
Jubi Photos : Flickr - 500px

Kenshineuh

Jubijub a écrit :

@kenshi : t'as des invit deadlock ?

Nop. Le jeu ne me tente pas du tout en plus.

Tu peux en avoir en ajoutant des mecs sur Steam. Check l'onglet communauté.

Message édité par Kenshineuh le 24-08-2024 à 21:28:29

Flaie

Jubijub a écrit :

@kenshi : t'as des invit deadlock ?

Jubijub a écrit :

J'attends de voir le 16 pro quand meme, pour la watch effectivement d'après les rumeurs y'a rien de nouveau, la 2 étant déjà très larges, donc s'il l'agrandissent encore .. c'est pas portable.

Message cité 1 fois

rokhlan

C'est dommage que l'abonnement Youtube ne soit pas compris dans Google One.

Sinon le Pixel Pro 9 semble pas mal, il pourrait me faire lâcher mon iPhone 12 Pro.

SekYo

Jubijub a écrit :

@kenshi : t'as des invit deadlock ?

Envoie moi ton profil Steam en MP que je t'ajoute pour t'envoyer ça.Note que j'ai pas joué au jeu encore

el muchacho

Comfortably Numb

Kenshineuh a écrit :

Acheter neuf une 911, tu peux sans soucis. Pas besoin d'historique.

C'est pour certains modèles plus rare, ou éditions spéciales qu'il faut. :jap:

c'est juste un minimum de 150k€. Et la version en question, j'imagine qu'on doit être plutôt vers les 250k€.
~~A ce prix, on peut regarder du coté de la Yangwang U9 à 1200+ chevaux et suspension active.~~

Message cité 2 fois
Message édité par el muchacho le 25-08-2024 à 08:39:03

---------------
Les aéroports où il fait bon attendre, voila un topic qu'il est bien

ratibus

Dion a écrit :

Même pas un pro ? :sweat:

Ils font plus les mini :cry:

Flaie

el muchacho a écrit :

c'est juste un minimum de 150k€. Et la version en question, j'imagine qu'on doit être plutôt vers les 250k€.
A ce prix, on peut regarder du coté de la Yangwang U9 à 1200+ chevaux et suspension active.

De quel modèle tu parles ?

Message cité 1 fois

Publicité

el muchacho

Comfortably Numb

Flaie a écrit :

De quel modèle tu parles ?

911 GTS avec un moteur hybride. https://www.youtube.com/watch?v=o3Q_tm5BTrY

Message cité 1 fois

---------------
Les aéroports où il fait bon attendre, voila un topic qu'il est bien

Flaie

el muchacho a écrit :

911 GTS avec un moteur hybride. https://www.youtube.com/watch?v=o3Q_tm5BTrY

Ah oui tu tappes direct dans les GTS toi

Message cité 1 fois

el muchacho

Comfortably Numb

Flaie a écrit :

Ah oui tu tappes direct dans les GTS toi

j'économise sur l'iphone et la Rolex. Dans la vie faut faire des choix. [:spamafoote]

Message cité 1 fois

---------------
Les aéroports où il fait bon attendre, voila un topic qu'il est bien

Flaie

el muchacho a écrit :

j'économise sur l'iphone et la Rolex. Dans la vie faut faire des choix. [:spamafoote]

Ça ne suffira pas je crois

el muchacho

Comfortably Numb

C'est amusant comment les LLM sont vraiment très bons pour diagnostiquer des bugs de programmation, mais la génération de code est approximative.

En zig, le petit exercice suivant contient 2 bugs:

Code :

const print = @import("std";).debug.print;
pub fn main() void {
// Here is a string containing a series of arithmetic
// operations and single-digit decimal values. Let's call
// each operation and digit pair an "instruction".
const instructions = "+3 *5 -2 *2";
var value: u32 = 0;
// This "index" variable will only be used at compile time in
// our loop.
comptime var i = 0;
// Here we wish to loop over each "instruction" in the string
// at compile time.
//
// Please fix this to loop once per "instruction":
inline while (i < instructions.len) : (i += 1) {
// This gets the digit from the "instruction". Can you
// figure out why we subtract '0' from it?
const digit = instructions[i + 1] - '0';
// This 'switch' statement contains the actual work done
// at runtime. At first, this doesn't seem exciting...
switch (instructions[i]) {
'+' => value += digit,
'-' => value -= digit,
'*' => value *= digit,
else => unreachable,
}
}
print("{}n", .{value});
}

chatGPT identifie correctement les bugs sans même que j'aie à lui dire que le code est buggé, ce qui est déjà remarquable en soi:

Citation :

The Zig program you provided attempts to loop over a series of instructions in a string, where each instruction consists of an operator (+, -, *) followed by a single-digit number. However, the loop is currently set up to iterate over each character in the string, rather than over each instruction. This causes issues when accessing instructions[i + 1], potentially reading beyond the bounds of the string.

Malheureusement il se plante en "corrigeant" l'incrémentation en faisant i += 2 au lieu de i += 3.
De façon moins surprenante, il ne sait pas que le compilateur balance :

Citation :

error: overflow of integer type 'u32' with value '-16'
const digit = instructions[i + 1] - '0';

Donc je le signale, ce sur quoi, il répond:

Citation :

The error you're encountering, error: overflow of integer type 'u8' with value '-16', indicates that there's an issue when calculating const digit = instructions[i + 1] - '0';. This overflow happens because Zig performs arithmetic operations on integer types, and if the result isn't representable in the given integer type (in this case, u8), it leads to an overflow.
[h3]Understanding the Error[/h3]

Subtraction with Characters: In Zig, characters are represented by their ASCII values. When you subtract '0' from instructions[i + 1], Zig interprets both characters as their integer ASCII values. The expression instructions[i + 1] - '0' should convert a character digit (like '3') to its integer value (3).

Overflow Issue: If instructions[i + 1] happens to be a character whose ASCII code is less than that of '0', the subtraction could result in a negative value. For example, if instructions[i + 1] was a space ' ' (ASCII value 32), then 32 - 48 (where 48 is the ASCII code for '0') equals -16, which causes an overflow when interpreted as an unsigned integer (u8).

Ce qui est tout à fait correct.Malheureusement, il propose de corriger avec:

Code :

const print = @import("std";).debug.print;
pub fn main() void {
const instructions = "+3 *5 -2 *2";
var value: u32 = 0;
var i: usize = 0;
while (i < instructions.len) : (i += 2) {
// Ensure that there is an operator and a following digit character
if (i + 1 >= instructions.len) break;
const op = instructions[i];
const char_digit = instructions[i + 1];
// Ensure that char_digit is a valid decimal digit character
if (char_digit < '0' or char_digit > '9') {
print("Invalid digit '{}'n", .{char_digit});
continue; // Skip this instruction if it's invalid
}
// Convert character digit to its integer value
const digit = @intFromChar(u32, char_digit) - @intFromChar(u32, '0');
// Perform the arithmetic operation
switch (op) {
'+' => value += digit,
'-' => value -= digit,
'*' => value *= digit,
else => unreachable,
}
}
print("{}n", .{value});
}

Ce qui est incorrect, car il incrémente mal, et la fonction @intFromChar n'existe pas.

Claude Sonnet, en revanche, s'en sort un peu mieux, même si ce n'est pas parfait.

Citation :

This Zig program looks interesting! It's designed to perform a series of arithmetic operations on a value based on instructions given in a string. However, there are a few issues in the code that need to be addressed. Let me point them out and suggest fixes: 1) The inline while loop condition should be i < instructions.len - 1 to avoid going out of bounds. 2) The char_digit variable is not defined. We need to get the character at index i + 1. 3)The @intFromChar function doesn't exist in Zig. We can directly cast the character to u8.

Sauf erreur, le point 1 n'est pas nécessaire.

Il me propose alors

Code :

const print = @import("std";).debug.print;
pub fn main() void {
const instructions = "+3 *5 -2 *2";
var value: u32 = 0;
comptime var i = 0;
inline while (i < instructions.len - 1) : (i += 3) {
const char_digit = instructions[i + 1];
const digit = @as(u32, char_digit - '0');
switch (instructions[i]) {
'+' => value += digit,
'-' => value -= digit,
'*' => value *= digit,
else => unreachable,
}
}
print("{}n", .{value});
}

Malheureusement, il y a aussi un integer overflow (je crois que c'est un récent changement du compilateur d'être plus strict).Je lui donne la bonne ligne de code:
const digit = @as(u32, instructions[i + 1]) - @as(u32, '0');
Ce sur quoi il répond:

Citation :

You're absolutely right, and I apologize for the oversight. Thank you for the correction. Your solution is indeed the correct way to handle this to avoid integer overflow. Let's break down why this is the case:

Code :

const char_digit = instructions[i + 1];
const digit = @as(u32, char_digit - '0');

Citation :

This would cause issues because:char_digit is implicitly of type u8 (single byte character).The subtraction char_digit - '0' is performed using u8 arithmetic.This subtraction could potentially underflow if char_digit is less than '0'.Only after this potentially problematic operation is the result cast to u32.Your correction ensures that all operations are performed in the u32 domain, avoiding any potential under/overflow issues with u8 arithmetic.Thank you for pointing this out. It's an important detail that highlights the need for careful type handling in low-level languages like Zig.

Les LLM sont vraiment utiles pour aider à débugger. Par contre il faut continuer à savoir coder.

Message édité par el muchacho le 25-08-2024 à 10:02:23

---------------
Les aéroports où il fait bon attendre, voila un topic qu'il est bien

Flaie

Il pourrait te faire gagner du temps et t'indiquer que le résultat est 26!

On est très loin d'une IAG

XaTriX

Précise la version du llm, tout peut changer en fonction.
Essaie d'autres llm comme Claude 3.5 sonnet

Edit, ah tu as testé Claude, c'était bien le 3.5 ?
Sinon essaie le 3 opus

Message cité 1 fois
Message édité par XaTriX le 25-08-2024 à 10:20:40

---------------
[:dawa]

Kenshineuh

el muchacho a écrit :

Je vois pas bien le rapport avec mon message mais d’accord.

XaTriX

mistral large2 propose

Code :

const print = @import("std" ).debug.print;
pub fn main() void {
// Here is a string containing a series of arithmetic
// operations and single-digit decimal values. Let's call
// each operation and digit pair an "instruction".
const instructions = "+3 *5 -2 *2";
var value: u32 = 0;
// This "index" variable will only be used at compile time in
// our loop.
comptime var i = 0;
// Here we wish to loop over each "instruction" in the string
// at compile time.
//
// Please fix this to loop once per "instruction":
inline while (i < instructions.len) : (i += 2) {
// This gets the digit from the "instruction". Can you
// figure out why we subtract '0' from it?
const digit = instructions[i + 1] - '0';
// This 'switch' statement contains the actual work done
// at runtime. At first, this doesn't seem exciting...
switch (instructions[i]) {
'+' => value = @intCast(u32, @addWithOverflow(value, digit)),
'-' => value = @intCast(u32, @subWithOverflow(value, digit)),
'*' => value = @intCast(u32, @mulWithOverflow(value, digit)),
else => unreachable,
}
}
print("{}n", .{value});
}

---------------
[:dawa]

gfive

Bordel, on a failli perdre cette pièce sur l'autoroute hier.

Ça pendouillait avec seulement les câbles des capteurs du radar de recul pour le tenir.

On a dû faire dans les 200 bornes comme ça avant que qqun nous alerte.

Reste a trouver la pièce dans une casse a vil prix.

Message cité 1 fois

---------------
Tous les sud africains sont ségrégationistes, à part Ted. (P. Desproges)

ratibus

gfive a écrit :

Bordel, on a failli perdre cette pièce sur l'autoroute hier.

Ça pendouillait avec seulement les câbles des capteurs du radar de recul pour le tenir.

On a dû faire dans les 200 bornes comme ça avant que qqun nous alerte.

Reste a trouver la pièce dans une casse a vil prix.

Une idée de pourquoi c'est parti ? C'est fixé comment ?

Message cité 1 fois

gfive

ratibus a écrit :

Une idée de pourquoi c'est parti ? C'est fixé comment ?

Il y a 5 pattes en plastique de merde avec un trou, et des trous correspondant sur la plaque de plastique sous la bagnole.

Ensuite il y a des espèces de clips avec une vis dans chaque qui écarte le clip une fois emboîté dans les 2 trous

Et a l'arrière il y a des crochets pris dans le pare choc.
Mais si ça tient pas a l'avant, ça pivote sur les crochets et avec le vent ça se défait.

J'ai 2 pattes qui ont cassé, j'imagine qu'avec le vent ça tire dessus et les 3 autres clips sont sortis du trou sur l'autre plaque.
On a peut être attrapé un truc en roulant, je sais pas.
La bagnole a 10 ans, les plastiques s'usent un peu.

---------------
Tous les sud africains sont ségrégationistes, à part Ted. (P. Desproges)

rokhlan

Plam qui post des photos de son réseau domestique

https://www.reddit.com/r/HomeNetworking/s/pG4TNaV8zx

Message cité 1 fois

Hephaestos

Sanctis Recorda, Sanctis deus.

Jubijub a écrit :

iPhone 15 Pro et Ultra 2, je vais allègrement sauter cette génération.

Ok, Che Guevara.

Message édité par Hephaestos le 25-08-2024 à 13:53:06

SekYo

XaTriX a écrit :

Précise la version du llm, tout peut changer en fonction.
Essaie d'autres llm comme Claude 3.5 sonnet

Edit, ah tu as testé Claude, c'était bien le 3.5 ?
Sinon essaie le 3 opus

Mais à ce compte là, si tu connais un peu le langage, ça va pas plus vite de foutre 2 breakpoints ou 3 print pour debug ?

Message cité 1 fois

Plam

Bear Metal

rokhlan a écrit :

Plam qui post des photos de son réseau domestique

https://www.reddit.com/r/HomeNetworking/s/pG4TNaV8zx

C'est malheureusement pire que ça chez moi (j'ai pas énorme en network mais en compute c'est abusé )

edit : et heureusement que j'ai pas trop de temps libre, j'ose pas imaginer sinon. Vivement les panneaux PV que je puisse lancer tout mon merdier en journée sans que ça me coûte

Message cité 2 fois
Message édité par Plam le 25-08-2024 à 14:27:27

---------------
Spécialiste du bear metal

XaTriX

SekYo a écrit :

Mais à ce compte là, si tu connais un peu le langage, ça va pas plus vite de foutre 2 breakpoints ou 3 print pour debug ?

Certainement mais là ça parle plutôt de tester les évolutions et les limites des LLMs

Il faut aussi qu'on puisse leur faire confiance si on demande de générer un module à la volée et continuer sur son taf plutôt que de faire une énième digression

---------------
[:dawa]

Plam

Bear Metal

En parlant de LLM, je viens d'ajouter https://github.com/deepseek-ai/DeepSeek-Coder-V2 sur notre plateforme interne de LLM Hésitez pas à tester pour les chanceux qui y ont accès (j'ai fait un mini tuto dans le Mattermost corporate)

Message cité 1 fois
Message édité par Plam le 25-08-2024 à 19:22:36

---------------
Spécialiste du bear metal

Kenshineuh

Plam a écrit :

Je débarque mais ça apporte quoi ? Par rapport à chatGPT j'entends. Plus pertinent ?

Message cité 1 fois

rufo

Pas me confondre avec Lycos!

Je recherche un outil gratuit permettant de prendre la main sur le PC de mon père (Windows 10, on PC aussi) pour l'aider à résoudre un pb. Je pensais que TeamViewer ferait l'affaire mais maintenant, les sessions gratuites durent 5 min
Dans GPL, j'ai trouvé UltraVNC mais ça m'a pas l'air très facile d'emploi. Vous utilisez quoi pour aider vos parents avec l'informatique ? :whistle:

Message cité 5 fois

---------------
Astres, outil de help-desk GPL : http://sourceforge.net/projects/astres, ICARE, gestion de conf : http://sourceforge.net/projects/icare, Outil Planeta Calandreta : https://framalibre.org/content/planeta-calandreta

el_barbone

too old for this shit ...

Plam a écrit :

C'est malheureusement pire que ça chez moi (j'ai pas énorme en network mais en compute c'est abusé )

edit : et heureusement que j'ai pas trop de temps libre, j'ose pas imaginer sinon. Vivement les panneaux PV que je puisse lancer tout mon merdier en journée sans que ça me coûte

Quand j'étais plus jeune j'avais un SAN FC dans la chambre d'amis

Spoiler :

bon au bout d'un moment ça a dégagé a cause du WAF et du bruit ...

Spoiler :

et le matos que j'avais a la cave qu'en j'ai déménagé en 2015

Message cité 1 fois

---------------
En théorie, la théorie et la pratique sont identiques, en pratique, non.

Kenshineuh

rufo a écrit :

RustDesk.

Plam

Bear Metal

Kenshineuh a écrit :

Je débarque mais ça apporte quoi ? Par rapport à chatGPT j'entends. Plus pertinent ?

1. Le gros plus c'est que c'est self-hosté, et ça passe par le SSO de Vates. Donc on est certain de pouvoir l'utiliser sans crainte, de l'entraîner sur des données de la boîte sans rien donner à OpenAI, Google etc.
2. C'est Open Source donc plus dans nos valeurs
3. On peut avoir des modèles particuliers au choix (ouverts ou pas d'ailleurs, car tu peux ajouter des APIs de modèles payants). Les modèles ouverts s'améliorent à grand vitesse, et comme point 2, bah je trouve que c'est une bonne chose Tu peux utiliser des modèles plutôt « code » ou plutôt « relation client » et même custom les modèles existants ou encore entraîner toi-même sur ton set de data.

Message cité 1 fois
Message édité par Plam le 25-08-2024 à 20:01:57

---------------
Spécialiste du bear metal

Plam

Bear Metal

el_barbone a écrit :

Quand j'étais plus jeune j'avais un SAN FC dans la chambre d'amis

Spoiler :

bon au bout d'un moment ça a dégagé a cause du WAF et du bruit ...

Spoiler :

et le matos que j'avais a la cave qu'en j'ai déménagé en 2015

Ici j'ai un garage de 50m² donc no prob pour le WAF J'avais déjà averti dès l'achat de la maison que le fond du garage ça allait être mon lab

---------------
Spécialiste du bear metal

Kenshineuh

Plam a écrit :

Du coup tu lui a filé la base de code d'xo etc. ?

Car en fait, j'vois pas la diff entre chatGPT, Claude, Mixtral ou autre. Quand je demande un truc, ils me répondent quasi tous la même chose. Idem pour le code quand je demande un truc ou d'améliorer un bout de code que je donne.
Pour info j'utilise https://duckduckgo.com/?q=DuckDuckG [...] =1&ia=chat

Message cité 1 fois

gfive

Je reviens d'aller voir Emilia Perez, je vous le conseille.

---------------
Tous les sud africains sont ségrégationistes, à part Ted. (P. Desproges)

rokhlan

Plam a écrit :

J'ai trop envie de me faire un Homelab avec l'installation réseau qui va bien et tout mais entre le coût énergétique, le bruit et la chauffe, c'est mort

rokhlan

Sinon j'ai eu cette semaine des nouvelles pas joyeuse de France pour mon chien

Mardi soir il avait son train arrière qui ne fonctionnait plus, il ne pouvait plus marcher ni se tenir sur ses pattes. Direction les urgences vétérinaires. Ils l'ont gardé toute la nuit et fait des examens, il semblerait que ce soit son arthrose qu'il se traine depuis 10 ans qui commence à atteindre un stade avancé. Ils lui ont fait une injection et le lendemain il réussissait à se lever et à marcher (mais difficilement).

Entre ça et sa tumeur de stade 3 (le plus haut) à l'abdomen détectée il y a quelques semaines, on se prépare à ce que la fin soit proche

Message cité 5 fois
Message édité par rokhlan le 25-08-2024 à 21:08:24

el_barbone

too old for this shit ...

rokhlan a écrit :

Sinon j'ai eu cette semaine des nouvelles pas joyeuse de France pour mon chien

Mardi soir il avait son train arrière qui ne fonctionnait plus, il ne pouvais plus marcher si se tenir sur ses pattes. Direction les urgences vétérinaires. Ils l'ont gardé toute la nuit et fait des examens, il semblerait que ce soit son arthrose qu'il se traine depuis 10 ans qui commence à atteindre un stade avancé. Ils lui ont fait une injection et le lendemain il réussissait à se lever et à marcher (mais difficilement).

Entre ça et sa tumeur de stade 3 (le plus haut) à l'abdomen détectée il y a quelques semaines, on se prépare à ce que la fin soit proche

[:zedlefou:3]

---------------
En théorie, la théorie et la pratique sont identiques, en pratique, non.

Jubijub

Parce que je le VD bien

Flaie a écrit :

J'attends de voir le 16 pro quand meme, pour la watch effectivement d'après les rumeurs y'a rien de nouveau, la 2 étant déjà très larges, donc s'il l'agrandissent encore .. c'est pas portable.

le 16 a pas des avancées qui justifieraient un upgrade (le teleobjectif à prisme est sympa, mais voila), et pour la Ultra 3 j'ai vu aucune rumeur donc je sais pas, le gros plus de la dernière generation normale c'est la temperature (ce qui est un peu une farce, l'ultra 2 mesure la temperature de l'eau, donc c'est pas comme si ils n'avaient pas deja la technologie)

rufo a écrit :

j'avais mis tout le monde sur iPad
La dernière fois que j'avais fait du support windows à distance je pense que j'avais du faire un VNC (par contre faut penser à l'avoir installé avant, diriger qqn pour le faire ça doit pas etre simple)

rokhlan a écrit :

[:zedlefou:3]

---------------
Jubi Photos : Flickr - 500px

Plam

Bear Metal

Kenshineuh a écrit :

Du coup tu lui a filé la base de code d'xo etc. ?

Car en fait, j'vois pas la diff entre chatGPT, Claude, Mixtral ou autre. Quand je demande un truc, ils me répondent quasi tous la même chose. Idem pour le code quand je demande un truc ou d'améliorer un bout de code que je donne.
Pour info j'utilise https://duckduckgo.com/?q=DuckDuckG [...] =1&ia=chat

Non j'ai pas trop le temps de m'occuper a entraîner des modèles moi même mais c'est une possibilité qu'on le fasse pour différentes choses (dont le support). Il existe de grosses différences entre les modèles, certains sont meilleurs que d'autres dans certaines situations, il y a aussi le nombre de paramètres, de token etc.

Message cité 1 fois

---------------
Spécialiste du bear metal

Publicité

Page : 1 2 3 4 5 .. 26163 26164 26165 .. 27259 27260 27261 27262 27263 27264

Page Suivante

Page Précédente

Haut de page

FORUM HardWare.fr

Programmation

[blabla@olympe] Le topic du modo, dieu de la fibre et du monde

Sujets relatifs
Plus de sujets relatifs à : [blabla@olympe] Le topic du modo, dieu de la fibre et du monde

Page générée en 0.093 secondes