Tags populaires：
Virtualisation sécurité DNS vérification formelle analyse d'atteignabilité erreurs du compilateur conflit de macro extension web framework de développement Graphiques bitmap incohérences d'API Tous les tags

Vaincre le TDAH : stratégies et tactiques

2025-08-31
Vaincre le TDAH : stratégies et tactiques

Cet article explore la gestion du TDAH, divisée en deux sections : « Stratégies » décrit le système de contrôle de haut niveau, et « Tactiques » présente une liste d'améliorations de niveau micro (il faudrait plutôt l'appeler « stratagèmes », car la plupart consistent essentiellement à se tromper soi-même). L'auteur souligne l'importance des médicaments comme traitement de première intention du TDAH et partage des conseils pratiques basés sur son expérience personnelle pour aider les lecteurs à établir un système de croissance personnelle efficace afin de vaincre le TDAH.

Lire plus
(borretti.me)
Développement

La logique émotionnelle des choix technologiques

2025-05-26
La logique émotionnelle des choix technologiques

Hacker News regorge d'articles de blog justifiant des choix technologiques obscurs avec des arguments apparemment rationnels. Mais souvent, il s'agit de masques pour des motivations émotionnelles plus profondes. Les gens choisissent des technologies en fonction de leurs sentiments : confort, familiarité ou lien nostalgique avec une époque particulière. L'utilisation de technologies obscures devient une forme de magie symbolique, liant la technologie à l'identité personnelle. L'auteur soutient que reconnaître et embrasser ces motivations émotionnelles est acceptable, mais met en garde contre l'auto-tromperie. Une évaluation rationnelle des coûts et des avantages est cruciale pour éviter de perdre du temps dans des entreprises sans intérêt.

Lire plus
(borretti.me)
Développement culture des développeurs

Rust : Un double tranchant d'efficacité et de défis

2025-04-15
Rust : Un double tranchant d'efficacité et de défis

L'auteur partage son expérience de deux ans passés à utiliser Rust pour écrire le backend d'un produit SaaS B2B. Rust offre des performances exceptionnelles, des outils excellents, la sécurité des types et des mécanismes robustes de gestion des erreurs. Cependant, le système de modules et les performances de compilation présentent des défis. Bien que le vérificateur d'emprunt soit puissant, il a une courbe d'apprentissage abrupte. La programmation asynchrone, bien que complexe, offre des performances élevées. Globalement, l'expérience Rust est positive, mais nécessite une attention particulière aux compromis.

Lire plus
(borretti.me)
Développement

Austral : Un langage de programmation système axé sur la simplicité et la rigueur

2025-03-20
Austral : Un langage de programmation système axé sur la simplicité et la rigueur

Austral est un nouveau langage de programmation système conçu pour la simplicité et la rigueur. Imaginez-le comme les fonctionnalités essentielles de Rust ou un Ada modernisé et simplifié. Ses principales caractéristiques incluent un système de types statiques robuste, des types linéaires, une sécurité basée sur les capacités et une forte modularité. Les types linéaires garantissent une gestion correcte du cycle de vie des ressources, évitant les fuites de mémoire et autres erreurs, tandis que la sécurité basée sur les capacités atténue les attaques de la chaîne d'approvisionnement. Austral évite les fonctionnalités telles que les NULL, le garbage collection et les exceptions pour maximiser la sécurité et la prévisibilité.

Lire plus
(borretti.me)
Développement types linéaires sécurité basée sur les capacités

Les Incitations Brisées de la Non-Fiction Grand Public

2025-02-11

La plupart des livres de non-fiction grand public privilégient le statut de l'auteur et la légitimité intellectuelle plutôt que la diffusion réelle du savoir. Les auteurs se concentrent sur les tournées de presse, les interviews et les critiques plutôt que sur le contenu réel du livre. Ce désalignement des incitations conduit à un flot de livres verbeux et de faible valeur qui polluent l'environnement informationnel. Les lecteurs aspirent à des essais concis et utiles, pas à des développements de 200 pages d'une seule idée.

Lire plus
(borretti.me)
Divers écriture de non-fiction pollution de l'information

SQL Composable : Une approche fonctionnelle pour résoudre les problèmes de test et de logique métier dans SQL

2025-01-29

Cet article explore les lacunes de SQL en matière de tests et de réutilisation de la logique métier, en proposant une solution appelée « foncteurs » — des fragments de SQL composables. En paramétrant les requêtes et en s’appuyant sur des interfaces au lieu de tables concrètes, les foncteurs résolvent les problèmes de test de SQL et permettent la réutilisation de la logique métier dans plusieurs requêtes, améliorant ainsi la lisibilité, la testabilité et la réutilisabilité du code. L’auteur aborde également des extensions telles que les génériques, la généralisation de la logique métier et l’évitement des variables globales, aboutissant finalement à des requêtes SQL efficaces, testables et faciles à comprendre.

Lire plus
(borretti.me)
Développement

Mon expérience avec Claude 3.6 : un bond quantique dans l'assistance IA

2025-01-02

Depuis la sortie de Claude 3.6 par Anthropic, mon utilisation a explosé. Il s'agit d'une amélioration significative sur tous les plans, notamment en termes de précision et de fiabilité. J'ai analysé mes données d'utilisation, montrant une augmentation de plusieurs centaines de pourcents du nombre de conversations, de messages et de mots saisis. Claude m'aide à résoudre des problèmes, de la surmontation de l'anxiété et de la paralysie décisionnelle à la stimulation de la créativité dans l'exploration d'idées, le codage et l'écriture. C'est même amusant d'interagir avec lui, comme de discuter avec un érudit brillant. Claude 3.6 est plus qu'un outil ; c'est un partenaire hautement capable qui augmente la productivité et élargit les horizons.

Lire plus
(borretti.me)
IA Grand Modèle de Langage Outil de Productivité

Implémentation de l'algorithme SM-2 en Rust : Un système de répétition espacée amélioré

2024-12-27

L'auteur a implémenté l'algorithme SuperMemo SM-2, une version modifiée utilisée dans le logiciel de répétition espacée Mochi, en Rust. Cet algorithme ajuste dynamiquement les intervalles de révision en fonction des notes de performance de l'utilisateur pour optimiser l'efficacité de l'apprentissage. L'article détaille la mécanique de l'algorithme, y compris le calcul du facteur de facilité (EF), la détermination des intervalles de révision et la manière dont les notes de l'utilisateur affectent les paramètres de l'algorithme. Le code Rust est fourni avec des explications des principaux choix de conception.

Lire plus
(borretti.me)
Développement algorithme SM-2