HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

Les meilleurs longs formats de Hacker News, relus plus calmement.

11521 articles Page 993/1153 Sans filtre

Gitana 18: the new flying Ultim trimaran

Le trimaran de course vient d’être dévoilé à Lorient et se présente comme une plateforme 100% en vol de 32 mètres. Plus qu'une amélioration, il incarne une réinvention des standards offshore avec une architecture conçue pour le plein vol et la haute performance. Des foils en forme de Y, réglables sur trois axes et placés sous les flotteurs, apportent une portance supplémentaire et s’adaptent au cap et à l’état de la mer. Trois gouvernes en U et la quille centrale avec sa grande surface sont conçues pour limiter la cavitation et assurer la stabilité en mer agitée. Ce projet est une plateforme de démonstration technologique développée en 36 mois par plus de 200 experts, avec plus de 200 000 heures de travail et des systèmes mécatroniques inspirés de l’aéronautique.

www.boatnews.com Resume pret HTTP 200 Commentaires

Claude Tips for 3D Work

L’auteur considère Claude Code comme un outil précieux pour ses projets, tout en continuant à écrire une partie du code manuellement dans NeoVim et à laisser le reste au système. Pour les tâches visuelles complexes en 3D, Claude échoue souvent, malgré une bonne compréhension du CSS et des notions de design et de théorie des couleurs. Le texte suggère d’utiliser des boucles de contexte réelles où Claude peut lire l’état de l’application, déplacer la caméra et ajouter des marqueurs visuels pour tester et valider son travail. La méthode consiste à générer des boucles itératives de validation, par exemple pour Counter Slayer, qui incluent la modification du code, la régénération des STL, la vérification par des rendus et la lecture des données de position. En définitive, l’auteur a commencé à changer sa façon de travailler avec Claude en construisant des outils qui créent un langage commun et en utilisant des boucles de capture d’écran pour guider le développement.

www.davesnider.com Resume pret HTTP 200 Commentaires

Meta’s renewed commitment to jemalloc

Meta reconnaît les bénéfices à long terme de jemalloc et renouvelle son focus pour réduire la maintenance, moderniser le code et adapter l’allocateur au matériel et aux charges de travail. Meta souhaite continuer le développement de jemalloc avec la communauté open source et accueillir les contributions et collaborations. Le texte compare la construction d’un système logiciel à celle d’un gratte-ciel, rappelant que la fondation et les éléments invisibles assurent la stabilité. Après des années de dette technique et d’écarts par rapport à des principes d’ingénierie, Meta a écouté la communauté et entrepris de rembourser cette dette tout en redéfinissant une feuille de route durable pour jemalloc. Le plan met l’accent sur la réduction de la dette technique, l’amélioration de l’allocateur de grandes pages, l’efficacité mémoire et les optimisations pour AArch64, tout en appelant la communauté à contribuer et à partager ses retours.

engineering.fb.com Resume pret HTTP 200 Commentaires

Leanstral: Open-source agent for trustworthy coding and formal proof engineering

Leanstral est le premier agent open-source de génération et de vérification de code conçu pour Lean 4, optimisé pour les tâches d’ingénierie de preuve avec 6 milliards de paramètres actifs. Contrairement aux systèmes de vérification existants, il est conçu pour opérer dans des dépôts formels réalistes et vise à accélérer l’ingénierie logicielle en vérifiant les implémentations contre des spécifications strictes. Les poids sont publiés sous licence Apache 2.0, accessibles via Mistral Vibe et une API gratuite, accompagnés d’un rapport technique et d’une suite d’évaluation FLTEval. Leanstral se distingue par une architecture fortement creuse et l’inférence parallèle avec Lean comme vérificateur, offrant performance et coût réduit par rapport aux modèles propriétaires. Des cas d’étude montrent son utilisation pour des migrations Lean, des traductions Rocq vers Lean et des échanges sur Stack Exchange, avec zéro-setup via Mistral Vibe et l’accès via l’endpoint labs-leanstral-2603.

mistral.ai Resume pret HTTP 200 Commentaires

Every layer of review makes you 10x slower

Chaque couche d'approbation rend le processus dix fois plus lent, principalement en raison des retards et de la coordination. Par exemple, corriger un bug peut prendre 30 minutes, mais une relecture par le collègue à côté peut monter à 300 minutes, soit cinq heures. Obtenir un document de conception approuvé par l'équipe d'architectes peut durer environ 50 heures, soit une semaine. Programmer le travail sur le calendrier d'une autre équipe peut atteindre 500 heures, soit environ douze semaines. Pour accélérer durablement, il faut réduire les niveaux de revue et remplacer les contrôles par des systèmes de qualité fondés sur la confiance et des équipes petites et autonomes.

apenwarr.ca Resume pret HTTP 200 Commentaires

Monkey Island for Commodore 64 Ground Up

Le projet en cours consiste à porter un jeu d'aventure emblématique sur le Commodore 64. Ma tâche consiste à rendre l'ensemble des graphismes visibles à l'écran sur cette plateforme. Il s'agit d'un travail méticuleux consistant à dessiner à la main les arrière-plans ainsi que les animations et les personnages. En attendant, je continuerai à publier de nouvelles œuvres d'art ici. Le jeu est codé par Andreas Larsson, et des extraits de gameplay issus de scènes célèbres existent, même si le jeu n'est pas encore terminé et fera l'objet d'améliorations futures.

pixeldust.se Resume pret HTTP 200 Commentaires

Kangina

Résumé indisponible pour cet article.

en.wikipedia.org Echec HTTP HTTP 403 Commentaires

Generating All 32-Bit Primes (Part I)

Cet article décrit la création d’un programme C sous Linux qui génère tous les nombres premiers adaptés à un uint32_t et les écrit dans un fichier binaire nommé PRIMES, en little-endian. Il passe en revue trois approches d’analyse de primalité: la division par essais, la factorisation par roue et le crible d’Ératosthène, en les comparant sur le temps d’exécution et l’usage mémoire. Des extraits de code illustrent l’implémentation et le stockage des premiers dans un tableau, puis leur écriture binaire dans PRIMES. Pour le crible, une implémentation utilise un bit array pour réduire la mémoire à environ 537 Mo, et un tableau de primes d’environ 815 Mo, soit un total proche de 1,3 Go. En conclusion, l’article compare les performances avec des outils externes comme primesieve et indique que les implémentations et les checksums se trouvent dans les ressources associées.

hnlyman.github.io Resume pret HTTP 200 Commentaires