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

Tilck : Un noyau minimaliste et éducatif compatible avec Linux

2025-07-16
Tilck : Un noyau minimaliste et éducatif compatible avec Linux

Tilck est un noyau monolithique éducatif conçu pour être compatible au niveau binaire avec Linux, fonctionnant actuellement sur les architectures i686 et RISCV64. Sa conception simple et compacte en fait un outil idéal pour apprendre la programmation de noyaux, permettant de comparer l'exécution du même code en mode utilisateur sous Linux et sous Tilck. Tilck ne nécessite pas d'applications personnalisées ; il exécute des programmes Linux classiques comme la suite BusyBox. À l'avenir, Tilck pourrait être largement utilisé dans les systèmes embarqués nécessitant un système déterministe et une latence ultra-faible, comblant le fossé entre Embedded Linux et les systèmes d'exploitation temps réel comme FreeRTOS ou Zephyr.

Lire plus
(github.com)
Développement

Cogency : des agents d'IA en 3 lignes de code qui fonctionnent simplement

2025-07-15
Cogency : des agents d'IA en 3 lignes de code qui fonctionnent simplement

Cogency est un framework de raisonnement en plusieurs étapes qui simplifie la création d'agents d'IA. Il détecte automatiquement les fournisseurs tels qu'OpenAI, Anthropic et Google, achemine intelligemment les outils et diffuse un raisonnement transparent. Avec seulement trois lignes de code, vous pouvez construire un agent fonctionnel. Cogency possède des outils intégrés, tels qu'une calculatrice, un vérificateur météo, un outil de fuseau horaire et une recherche web, ainsi que des traces d'exécution détaillées pour le débogage. Extensible avec des outils et des LLM personnalisés.

Lire plus
(github.com)
IA raisonnement multi-étapes

Tests de performance de caches distribués : Memcache, Redis, Valkey, Dragonfly et Garnet

2025-07-15
Tests de performance de caches distribués : Memcache, Redis, Valkey, Dragonfly et Garnet

Cette étude réalise un benchmark complet de cinq caches distribuées : Memcache, Redis, Valkey, Dragonfly et Garnet. Les mesures incluent le débit, la latence et les cycles CPU. L’environnement de test utilise une instance AWS c8g.8xlarge et l’outil memtier_benchmark, en faisant varier les tailles de pipeline (1, 10, 25, 50). Les résultats révèlent des différences de performances selon les différentes mesures, aidant ainsi les développeurs à choisir le cache optimal pour leurs besoins applicatifs.

Lire plus
(github.com)
Développement cache distribué

aiosqlitepool : Boostez les performances d'Asyncio SQLite de 72%

2025-07-15
aiosqlitepool : Boostez les performances d'Asyncio SQLite de 72%

aiosqlitepool est un pool de connexions hautes performances pour les applications asyncio SQLite. En réutilisant les connexions à la base de données, il élimine la surcharge des connexions et améliore significativement la vitesse des requêtes. Il fonctionne avec des pilotes asyncio comme aiosqlite, et non comme un remplacement. Des tests montrent une amélioration des performances de 72% et une réduction de 41% de la latence moyenne sous forte charge. Idéal pour les applications à fort débit ou celles nécessitant une faible latence, aiosqlitepool atténue efficacement les erreurs SQLITE_BUSY causées par la contention d'écriture.

Lire plus
(github.com)
Développement

Voil : modifiez votre système de fichiers comme un buffer de texte

2025-07-15
Voil : modifiez votre système de fichiers comme un buffer de texte

Voil est une extension VS Code qui vous permet de gérer votre système de fichiers comme un buffer de texte. Dites adieu aux clics et à la mémorisation des raccourcis clavier ; créez, renommez et déplacez des fichiers et des répertoires directement dans l'éditeur avec l'efficacité de l'édition de texte. Voil utilise des ID cachés pour suivre les fichiers et offre un ensemble riche de commandes et d'options de personnalisation, notamment la liste récursive, le tri, le filtrage et l'exécution de commandes shell personnalisées. Il est compatible avec l'extension Vim et fournit des instructions de configuration détaillées et des exemples. Regardez la vidéo de démonstration pour le voir en action !

Lire plus
(github.com)
Développement gestion de système de fichiers

CallFS : Un système de fichiers REST API distribué et haute performance

2025-07-15
CallFS : Un système de fichiers REST API distribué et haute performance

CallFS est un système de fichiers REST API ultraléger et haute performance offrant une sémantique précise du système de fichiers Linux sur divers backends, notamment le stockage local, Amazon S3 et un réseau pair à pair distribué. Conçu pour la vitesse, la fiabilité et l'évolutivité horizontale, il possède une architecture modulaire avec des composants tels qu'un serveur API, un moteur central, des backends de stockage plugables, un stockage de métadonnées PostgreSQL, un gestionnaire de verrouillage distribué basé sur Redis et un gestionnaire de liens. CallFS fournit des opérations riches sur les fichiers et les répertoires, des liens de téléchargement à usage unique sécurisés, une sécurité complète et une observabilité robuste.

Lire plus
(github.com)
Développement

Limitations de l'application des suggestions de révision de code GitHub

2025-07-15
Limitations de l'application des suggestions de révision de code GitHub

Ce texte énumère les différentes limitations rencontrées lors de l'application des suggestions dans les révisions de code GitHub. Celles-ci incluent l'absence de modifications de code, les pull requests fermés, l'affichage d'un sous-ensemble de modifications, une seule suggestion par ligne, l'application à des lignes supprimées, les suggestions déjà appliquées ou marquées comme résolues, les suggestions provenant de révisions en attente, les commentaires multilignes et les pull requests en file d'attente pour la fusion. Ces limitations sont conçues pour maintenir l'intégrité et l'efficacité de la révision de code.

Lire plus
(github.com)
Développement Application de suggestions

Bannir les distractions : un script Bash pour bloquer les commandes qui font perdre du temps

2025-07-14
Bannir les distractions : un script Bash pour bloquer les commandes qui font perdre du temps

Fatigué de perdre votre temps avec des applications distrayantes ? Ce script Bash léger, `ban`, vous permet de vous bloquer l’utilisation de commandes spécifiques jusqu’à une date définie, avec des raisons facultatives et des rappels conviviaux. Installation facile, utilisation simple et une durée de blocage personnalisable (40 jours par défaut). Retrouvez votre concentration dès aujourd’hui !

Lire plus
(github.com)
Développement

Arch : Une passerelle modulaire pour les applications IA de périphérie

2025-07-14
Arch : Une passerelle modulaire pour les applications IA de périphérie

Arch est un serveur proxy de passerelle IA de périphérie modulaire conçu pour simplifier la création d'applications agentiques. Il gère le travail fastidieux de bas niveau, tel que l'application de garde-fous, la clarification des entrées utilisateur ambiguës, le routage des invites vers l'agent correct et l'unification de l'accès à n'importe quel LLM, permettant aux développeurs de créer et d'expédier des applications agentiques plus rapidement. Construit sur Envoy, Arch offre des fonctionnalités telles que le routage, les garde-fous et l'observabilité, et prend en charge plusieurs langages et frameworks. Une démonstration simple d'un agent de conversion de devises montre sa facilité d'utilisation, avec une interaction via des commandes curl. Arch prend en charge les stratégies de routage LLM basées sur le modèle et basées sur les préférences et fournit une journalisation et une observabilité détaillées.

Lire plus
(github.com)
Développement Applications agentiques Passerelle IA

Un lanceur inspiré de Raycast débarque sur Linux : Open Source et extensible

2025-07-14
Un lanceur inspiré de Raycast débarque sur Linux : Open Source et extensible

Un projet open source, Raycast Linux, porte le populaire lanceur macOS Raycast sur Linux. Il dispose d'une palette de commandes extensible, d'un support pour les extensions (avec des limitations de compatibilité dues aux différences entre les systèmes d'exploitation), d'une calculatrice puissante, d'un historique du presse-papiers, d'une gestion des extraits de code et d'une intégration de l'IA via OpenRouter. Bien qu'il vise une large compatibilité avec les extensions Raycast, certaines peuvent ne pas fonctionner en raison d'API ou de dépendances spécifiques à macOS. Développé avec Rust, Node.js, Tauri et Swift, il est disponible sous forme de package AppImage et permet la compilation à partir du code source.

Lire plus
(github.com)
Développement lanceur

APKLab : L'extension ultime pour la rétro-ingénierie Android dans VS Code

2025-07-14
APKLab : L'extension ultime pour la rétro-ingénierie Android dans VS Code

APKLab intègre de manière transparente de puissants outils open source tels que Quark-Engine, Apktool, Jadx, et plus encore, directement dans VS Code, offrant une expérience complète de rétro-ingénierie Android. Décodez les ressources, désassemblez en Smali, décompilez en Java, générez des rapports d'analyse de logiciels malveillants et effectuez une inspection HTTPS, le tout au sein de votre IDE préféré. Les fonctionnalités incluent la prise en charge de la signature de clés personnalisées, l'initialisation du référentiel Git et la compatibilité multiplateforme (Linux, Windows, macOS).

Lire plus
(github.com)
Développement rétro-ingénierie Android

OpenCut : Un éditeur vidéo open source axé sur la confidentialité

2025-07-14
OpenCut : Un éditeur vidéo open source axé sur la confidentialité

OpenCut est un éditeur vidéo gratuit et open source pour le web, le bureau et les appareils mobiles. Priorisant la confidentialité de l'utilisateur, toutes les vidéos restent sur votre appareil. Bien que ses fonctionnalités de base soient actuellement derrière un paywall, sa facilité d'utilisation a été prouvée. Il dispose d'une édition basée sur une timeline, d'un support multi-pistes, d'un aperçu en temps réel et est exempt de filigranes ou d'abonnements. Construit avec Next.js, le projet comprend des composants d'interface utilisateur, des hooks React personnalisés, une logique d'utilitaires et d'API, une gestion d'état et des types TypeScript. Des instructions de configuration et de contribution détaillées sont fournies ; les contributions sont les bienvenues.

Lire plus
(github.com)
Développement éditeur vidéo open source

TorchLeet : Un terrain de jeu d'apprentissage profond avec PyTorch

2025-07-13
TorchLeet : Un terrain de jeu d'apprentissage profond avec PyTorch

TorchLeet est une collection de problèmes pratiques PyTorch, divisés en deux ensembles : un ensemble fondamental couvrant les concepts PyTorch de base à avancés (régression linéaire, ensembles de données personnalisés, CNN, etc.), et un ensemble LLM stimulant axé sur la construction de LLM à partir de zéro (mécanismes d’attention, plongements, etc.). Chaque problème fournit du code incomplet avec des solutions, favorisant l’apprentissage pratique. Parfait pour les débutants et les experts.

Lire plus
(github.com)
Développement

GhidrAssistMCP : Ingénierie inverse assistée par IA pour Ghidra

2025-07-13
GhidrAssistMCP : Ingénierie inverse assistée par IA pour Ghidra

GhidrAssistMCP est une extension puissante de Ghidra qui fournit un serveur MCP (Model Context Protocol), permettant aux assistants IA et autres outils d'interagir avec les capacités d'ingénierie inverse de Ghidra via une API standardisée. Il dispose de 31 outils intégrés couvrant les fonctions, les données, les références croisées, et plus encore, ainsi qu'une interface utilisateur configurable, une journalisation en temps réel et une gestion dynamique des outils. Cette extension intègre de manière transparente les outils d'analyse basés sur l'IA et les scripts personnalisés, augmentant considérablement l'efficacité de l'ingénierie inverse.

Lire plus
(github.com)
Développement

pattrns : Un générateur de séquences musicales innovant en Rust et Lua

2025-07-13
pattrns : Un générateur de séquences musicales innovant en Rust et Lua

pattrns est un moteur expérimental de génération de séquences musicales de style impératif, écrit en Rust et offrant une interface de script Lua pour la création musicale dynamique, idéale pour le live coding. Il utilise une architecture à trois étapes (Rythme, Porte, Émetteur) séparant les aspects rythmiques et tonaux pour une composition et une recombinaison flexibles. Il prend également en charge la mini-notation Tidal Cycles. Notez que pattrns ne génère que des événements musicaux bruts ; une sortie audio nécessite une application compatible.

Lire plus
(github.com)
Développement

Aeron : Messagerie ultra-rapide pour systèmes hautes performances

2025-07-13
Aeron : Messagerie ultra-rapide pour systèmes hautes performances

Aeron est un système de messagerie haute performance et faible latence prenant en charge l'unicast UDP, le multicast UDP et l'IPC. Il propose des clients Java, C, C++ et .NET, permettant un échange de messages efficace entre machines ou via IPC. Aeron se caractérise par un débit exceptionnel et une faible latence prévisible, utilisant le Simple Binary Encoding (SBE) pour optimiser la gestion des messages. Ses fonctionnalités incluent Aeron Archive pour le stockage persistant des messages et Aeron Cluster pour les services tolérants aux pannes. Détenu et exploité par Adaptive Financial Consulting, Aeron propose également des services premium, notamment de la formation, du conseil et des améliorations de performances telles que le contournement du noyau et le chiffrement haute vitesse. Idéal pour la construction de systèmes de trading haute fréquence et d'autres applications exigeantes.

Lire plus
(github.com)
Développement

Ingénierie inverse du nouvel en-tête X-Browser-Validation de Chrome

2025-07-13
Ingénierie inverse du nouvel en-tête X-Browser-Validation de Chrome

Chrome a récemment ajouté plusieurs nouveaux en-têtes HTTP, dont `x-browser-validation` qui est particulièrement intéressant. Cet article détaille le processus d'ingénierie inverse qui révèle sa fonctionnalité : il concatène une clé API spécifique à la plateforme codée en dur avec la chaîne complète de l'agent utilisateur, puis la hache à l'aide de SHA-1 et encode le résultat en Base64. Cet en-tête sert de vérification d'intégrité, empêchant l'usurpation de l'agent utilisateur. L'analyse dissèque les fonctions pertinentes dans le code source de Chrome et fournit les clés API par défaut pour diverses plates-formes.

Lire plus
(github.com)
Technologie En-tête HTTP

Moonshot AI dévoile Kimi K2 : un modèle de langage MoE à 32 milliards de paramètres avec de puissantes capacités agentives

2025-07-13
Moonshot AI dévoile Kimi K2 : un modèle de langage MoE à 32 milliards de paramètres avec de puissantes capacités agentives

Moonshot AI a dévoilé Kimi K2, un modèle de langage de pointe à mélange d'experts (MoE) doté de 32 milliards de paramètres activés et d'un total d'un trillion de paramètres. Entraîné avec l'optimiseur Muon, Kimi K2 offre des performances exceptionnelles dans les tâches de connaissance de pointe, de raisonnement et de codage, et est méticuleusement optimisé pour les capacités agentives. Il est disponible en deux versions : Kimi-K2-Base, un modèle de base pour les chercheurs, et Kimi-K2-Instruct, un modèle d'instructions prêt à l'emploi avec des capacités robustes d'appel d'outils, décidant de manière autonome quand et comment utiliser les outils. Le modèle et ses poids sont open source, et une API est disponible.

Lire plus
(github.com)
IA Appel d'Outils

BinaryRPC : Un framework RPC C++ haute performance

2025-07-12
BinaryRPC : Un framework RPC C++ haute performance

Frustré par les problèmes de performance d'un serveur Java WebSocket, un jeune ingénieur fraîchement diplômé s'est tourné vers le C++ et la bibliothèque uWebSockets pour créer BinaryRPC, un framework RPC haute performance. Inspiré par Node.js et Express.js, BinaryRPC possède un système moderne de middleware et de gestion de sessions, prenant en charge plusieurs niveaux de QoS pour des messages fiables. Désormais open source, il est bien documenté et comprend des exemples pour une adoption facile.

Lire plus
(github.com)
Développement

Magie noire de Python : bibliothèque de déballage de dictionnaires

2025-07-12
Magie noire de Python : bibliothèque de déballage de dictionnaires

Une bibliothèque Python nommée `dict-unpacking-at-home` fournit le déballage de dictionnaires, vous permettant de déballer les dictionnaires directement comme ceci : `{greeting, thing} = dct`. Bien que cela soit cool, l’auteur affirme qu’il ne s’agit pas d’une bibliothèque critique et que la version actuelle casse les numéros de ligne dans les traces de pile. Une correction existe, mais à quel prix… Avec près d’un million de téléchargements par mois et plus de 30 millions de téléchargements au total, de nombreuses personnes utilisent cette bibliothèque apparemment peu fiable.

Lire plus
(github.com)
Développement déballage de dictionnaire magie noire

Contrôle Sonos simplifié pour enfant de 5 ans avec ESP32

2025-07-12
Contrôle Sonos simplifié pour enfant de 5 ans avec ESP32

Un père a créé un système de contrôle simple pour une enceinte Sonos Play:1 pour son enfant de 5 ans. Utilisant un M5Stack CardPuter v1.1 (ESP32S3) comme contrôleur et Go pour la logique back-end, l'enfant peut lire ou redémarrer sa playlist préférée en appuyant sur un bouton. Un voyant vert indique l'état de fonctionnement. Ce projet amusant et facile à utiliser met en avant la simplicité et l'interaction ludique.

Lire plus
(github.com)
Développement Projet enfant

Cactus : Framework multiplateforme pour le déploiement local de LLM

2025-07-11
Cactus : Framework multiplateforme pour le déploiement local de LLM

Cactus est un framework multiplateforme permettant le déploiement local de modèles linguistiques volumineux (LLM), de modèles linguistiques de vision (VLM) et de modèles texte-parole (TTS) dans votre application. Compatible avec Flutter et React Native, il fonctionne avec tous les modèles GGUF de Hugging Face (Qwen, Gemma, Llama, etc.), gérant les modèles de FP32 à la quantification 2 bits. Cactus fournit des appels d'outils MCP pour une fonctionnalité IA améliorée (rappels, recherche d'images, réponses aux messages), une solution de repli sur le cloud pour les tâches complexes, des modèles de chat utilisant Jinja2 et le streaming de jetons. Un code d'exemple, des benchmarks de performance sur différents appareils et un backend C++ sont fournis.

Lire plus
(github.com)
Développement

diffsitter : outil de comparaison de différences de code sémantiques

2025-07-11
diffsitter : outil de comparaison de différences de code sémantiques

diffsitter est un outil de comparaison de différences de code qui génère des différences sémantiquement significatives en comparant les arbres de syntaxe abstraits (AST) des fichiers, en ignorant les différences de formatage. Il prend en charge de nombreux langages de programmation et offre des fonctionnalités telles que le filtrage de nœuds configurable, la mise en forme conviviale pour le terminal et la journalisation détaillée. Les options d'installation incluent la compilation à partir du code source, l'utilisation de binaires précompilés et les gestionnaires de paquets.

Lire plus
(github.com)
Développement différence de code arbre de syntaxe abstrait

Pangolin : Proxy inverse tunnelé auto-hébergé Zero Trust

2025-07-11
Pangolin : Proxy inverse tunnelé auto-hébergé Zero Trust

Pangolin est un serveur proxy inverse tunnelé auto-hébergé avec contrôle d'identité et d'accès, conçu pour exposer en toute sécurité les ressources privées sur les réseaux distribués. Il agit comme un hub central, connectant les réseaux isolés - même ceux derrière des pare-feu restrictifs - via des tunnels chiffrés, permettant un accès facile aux services distants sans ouvrir de ports. Utilisant WireGuard, Pangolin offre des fonctionnalités robustes, notamment l'authentification centralisée (SSO, TOTP), le contrôle d'accès basé sur les rôles et des options de déploiement flexibles. Étendez ses fonctionnalités avec des plugins Traefik. Les cas d'utilisation incluent le contournement des restrictions de port, le déploiement d'applications d'entreprise et la gestion des réseaux IoT. Une alternative auto-hébergée à Cloudflare Tunnels.

Lire plus
(github.com)
Développement zéro confiance

cmdk : Le nouveau meilleur ami de votre terminal (accès à tout avec ⌘-k)

2025-07-10
cmdk : Le nouveau meilleur ami de votre terminal (accès à tout avec ⌘-k)

Fatigué des commandes interminables `cd` et `ls` dans votre terminal ? cmdk révolutionne la navigation de fichiers ! Appuyez sur ⌘-k pour accéder instantanément à n’importe quel fichier ou répertoire de votre système de fichiers, avec des aperçus avant ouverture. Tirant parti de fzf pour la recherche floue, cmdk ouvre intelligemment les fichiers en fonction de leur type (texte dans vim, images dans Aperçu, etc.). Installation simple, fonctionnalité puissante : découvrez un accès similaire à Notion/Slack dans votre terminal.

Lire plus
(github.com)
Développement

Petrichor : Un lecteur de musique hors ligne pour macOS

2025-07-10
Petrichor : Un lecteur de musique hors ligne pour macOS

Petrichor est un lecteur de musique hors ligne puissant pour macOS offrant toutes les fonctionnalités que vous attendez : navigation organisée de la bibliothèque musicale, gestion interactive des playlists et de la file d’attente de lecture, navigation par vue de dossiers, accès rapide aux favoris dans la barre latérale, navigation facile, intégration native macOS (contrôles dans la barre de menus et le Dock, prise en charge du mode sombre), recherche puissante et playlists intelligentes. Créé par un développeur qui regrettait les fonctionnalités de Swinsian et souhaitait apprendre le développement d’applications Swift et macOS, il est entièrement construit avec Swift et SwiftUI et utilise une base de données SQLite pour gérer les informations des fichiers musicaux.

Lire plus
(github.com)
Développement

Serveur MCP d'Anna's Archive : Recherche et Téléchargement de Documents

2025-07-10
Serveur MCP d'Anna's Archive : Recherche et Téléchargement de Documents

Il s'agit d'un serveur MCP permettant de rechercher et de télécharger des documents depuis Anna's Archive. Il permet de rechercher des documents correspondant à des termes spécifiés et de télécharger des documents spécifiques précédemment retournés par l'outil de recherche. Le logiciel décline explicitement toute approbation de l'acquisition non autorisée de contenu protégé par des droits d'auteur et doit être considéré uniquement comme un utilitaire. Les utilisateurs sont invités à respecter les droits de propriété intellectuelle. Nécessite deux variables d'environnement : ANNAS_SECRET_KEY (clé API) et ANNAS_DOWNLOAD_PATH (chemin de téléchargement).

Lire plus
(github.com)
Développement recherche de documents téléchargement de documents

Flopper Ziro : Un clone open-source et bon marché du Flipper Zero

2025-07-10
Flopper Ziro : Un clone open-source et bon marché du Flipper Zero

Flopper Ziro est un clone bon marché, facile à réaliser soi-même et entièrement open-source du Flipper Zero, construit à l'aide de l'Arduino IDE. Bien qu'il ne s'agisse pas d'un appareil professionnel, il vise à reproduire les fonctionnalités principales du Flipper Zero, telles que RubberDucky, RFID/NFC (en cours de développement), infrarouge et RF. Programmable via l'Arduino IDE, il permet de sauvegarder/charger des données depuis une carte SD. Le projet est en cours de développement, avec des plans pour améliorer la fonctionnalité de la carte SD, finaliser la numérisation et l'envoi RF, et ajouter plus de capacités RFID/NFC.

Lire plus
(github.com)
Matériel clone Flipper Zero

Biomni : Un agent d'IA biomédicale à usage général

2025-07-10
Biomni : Un agent d'IA biomédicale à usage général

Biomni est un agent d'IA biomédicale à usage général conçu pour exécuter de manière autonome un large éventail de tâches de recherche dans divers sous-domaines biomédicaux. En intégrant le raisonnement de pointe des grands modèles de langage (LLM), la planification augmentée par la récupération et l'exécution basée sur le code, Biomni aide les scientifiques à améliorer considérablement la productivité de la recherche et à générer des hypothèses testables. Le projet est open source et invite la communauté à contribuer à la création de Biomni-E2, un environnement de nouvelle génération. Les contributeurs importants seront reconnus comme coauteurs dans des publications de revues ou de conférences de premier plan.

Lire plus
(github.com)
IA IA biomédicale

RN Maps Clustering : Une bibliothèque de clustering de cartes React Native performante

2025-07-09
RN Maps Clustering : Une bibliothèque de clustering de cartes React Native performante

RN Maps Clustering est une bibliothèque de clustering de cartes moderne, performante et entièrement typée pour React Native. Construite sur supercluster, elle fournit une API déclarative simple pour ajouter un clustering de marqueurs efficace et esthétique à vos composants react-native-maps. Personnalisez le rendu des clusters, gérez les événements de pression et profitez de fonctionnalités telles que la dispersion automatique des marqueurs et des performances élevées. Elle améliore considérablement l'efficacité du développeur.

Lire plus
(github.com)
Développement Clustering de Cartes
1 2 … 6 7 8 10 12 13 14 … 50 51