Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Process as a Proxy for Motivation
Lors d'exemples personnels, l'auteur décrit comment il a choisi systématiquement l'itinéraire nord à Glasgow et comment il utilise ses trajets en train pour travailler plutôt que de faire du scroll. Ces deux cas illustrent la mise en place de processus ou de règles décidés à l'avance qui orientent automatiquement le comportement vers un objectif donné. L'auteur note que l'objectif seul (étudier davantage, mieux décider) est difficile à atteindre, mais un processus simplifie l'exécution en supprimant le besoin de motivation ou de réflexion constante. Ces routines n'ont pas besoin d'être parfaitement optimales ou justifiées, car leur valeur principale est d'économiser l'effort mental et d'éviter des débats inutiles. Il recommande d'appliquer cette idée dans la vie et au travail, par exemple via des horaires fixes, des débits automatiques ou des pratiques Agile, pour rendre les changements de comportement plus simples à maintenir.
Breaking the WAL
L'auteur décrit l'utilisation de Claude et de l'outil Antithesis pour enquêter sur un bogue ancien du sous-système WAL de SQLite corrigé dans la version 3.51.3. Le bogue dit « WAL-Reset », présent depuis 2010, correspond à une course aux données aux contraintes de synchronisation serrées et était difficile à reproduire de façon organique. En instrumentant SQLite 3.51.2 avec des assertions génériques et un workload exécutant écritures et checkpoints concurrents, Antithesis a mis en évidence le problème en quinze minutes. La même instrumentation appliquée à la version 3.51.3 n'a montré aucun problème, et l'auteur rapproche cette efficacité des longs mois que Tailscale et l'équipe SQLite ont passés à traquer l'incident en production. Il est souligné que les capacités d'analyse causale et de débogage déterministe d'Antithesis permettent d'identifier rapidement la cause et de vérifier les correctifs, avec une invitation à contacter l'auteur pour des problèmes de bases de données complexes.
AI is removing the middle class of software engineering?
L'article décrit comment l'usage massif d'outils d'IA a rendu possible la production très rapide de changements de code importants qui échappent aux contrôles habituels. Dans de nombreuses équipes, des PR gigantesques sont fusionnées sans compréhension, des tables et services sont ajoutés sans justification et des décisions d'architecture sont enterrées dans des conversations avec des modèles. Cette dynamique rend les systèmes opaques et fragiles, accroît la dette technique et transforme des corrections apparemment simples en migrations longues et risquées. L'IA augmente la productivité des bons ingénieurs en les rendant encore plus précieux, tout en rendant le travail des ingénieurs moins expérimentés beaucoup plus coûteux et dangereux pour la codebase. L'article conclut que les organisations doivent conserver et valoriser le jugement humain au-delà des recommandations des modèles pour éviter l'accumulation rapide de complexité et la perte de maîtrise des systèmes.
Shade Map
Résumé indisponible pour cet article.
Lovable raises $400M Series C
Lovable a levé 400 millions de dollars en série C à une valorisation de 13,3 milliards de dollars, co‑dirigée par Menlo Ventures et le Scaleup Europe Fund (EQT) et rassemblant un large groupe d'investisseurs internationaux. La société propose une plateforme de création de logiciels qui permet aux personnes proches d'un problème de le résoudre, et depuis son lancement en novembre 2024 plus de 60 millions de projets ont été créés et les applications Lovable reçoivent environ 900 millions de visites par mois, avec près des deux tiers du Fortune 500 désormais utilisateurs. Depuis la série B, Lovable a introduit des fonctionnalités de monétisation et de découverte (paiements, SEO et recherche IA), des intégrations profondes (Google Workspace, Microsoft 365, Salesforce, Stripe, ElevenLabs), des scans de sécurité automatiques, la certification AIUC‑1 et des outils de gouvernance et de confiance pour les applications publiées. Plusieurs clients transforment leurs créations en entreprises ou gains d'efficacité mesurables, comme WNTD, Viver de IA et Nursa, et des entreprises établies (Zendesk, Handshake, Checkr) rapportent des améliorations opérationnelles et une réduction de la dépendance aux SaaS externes. Les priorités annoncées sont de rendre la plateforme plus proactive et intégrée, d'entraîner le système sur des indicateurs de succès pour améliorer les résultats, de continuer à combiner plusieurs modèles IA, et d'augmenter les effectifs à environ 450 personnes tout en étendant les implantations internationales.
Show HN: Ballet – Workflow automation that writes integrations against any API
Ballet est une plate-forme d'automatisation qui transforme en code révisable des workflows multi-systèmes décrits en langage naturel pour accélérer les idées sans passer par la file d'attente ingénierie. Elle connecte directement aux API propriétaires et aux outils existants pour capturer des leads, enrichir et router les données, détecter des incidents produit et propager des modifications de commande sans ticket d'ingénierie. Les workflows générés sont déterministes pour les étapes critiques, utilisent un raisonnement agentique quand la flexibilité est utile, et sont versionnés, audités et rejouables avec des gates d'approbation. Comparée aux agents IA et aux outils traditionnels, Ballet revendique une mise en œuvre plus rapide, une meilleure intégration aux systèmes internes, une sortie cohérente et un coût prévisible. Ballet fait partie de Brainfish, est couverte par la conformité SOC2 Type II, et propose une séance de 30 minutes pour modéliser et déployer un workflow client sans SOW ni dépassement de périmètre.
Pixel Watch 5
La Pixel Watch 5 est conçue pour Gemini Intelligence et Google Health afin de fournir une assistance proactive et des fonctions de santé avancées directement au poignet. Elle propose des aides contextuelles At a Glance, des interactions améliorées comme Raise to Talk et des gestes à une main pour exécuter rapidement des actions, soutenues par un processeur Qualcomm Snapdragon W5 Gen 2 avec 50 % de RAM en plus et des performances CPU accrues. Côté sport et bien-être, la montre offre un suivi GPS deux fois plus précis grâce à la modélisation 3D et des corrections atmosphériques, un coach Google Health avec entraînements de force à venir, et un suivi du sommeil plus précis incluant Smart Wake. Les fonctionnalités Health Guardian intègrent désormais la détection d'urgence respiratoire multimodale capable d'appeler les services d'urgence et de transmettre la position, ainsi que des résumés mensuels de tendances pour la pression artérielle, la qualité respiratoire du sommeil et la résistance à l'insuline basés sur des modèles de santé. La montre combine un écran Actua 360 lumineux, une architecture réparable, jusqu'à 30 heures d'autonomie (41 mm) ou 40 heures (45 mm), de nouvelles options de coloris et faces, et sera disponible en précommande le 12 août à partir de 399 $ (41 mm).
Locating an unknown source of radiation in a heterogeneous environment (2019)
Résumé indisponible pour cet article.
Why tiny JPEGs look different in Chrome
En comparant un logo rendu à petite taille sur deux machines, l'auteur a constaté que Chrome l'affichait plus épais que Firefox. Le JPEG divise les images en blocs 8×8 et les transforme par DCT en coefficients représentant des composantes de fréquence allant du constant aux hauts détails. Pour afficher un JPEG très réduit, Chrome (via Skia et libjpeg-turbo) utilise une optimisation dite de partial IDCT scaling qui décode seulement les coefficients basses fréquences, par exemple en échelle 1/8, puis rééchantillonne. Cette approche économise mémoire et temps de décodage mais supprime les hautes fréquences, ce qui peut modifier l'apparence des icônes et créer un rendu visuellement plus épais, l'effet dépendant aussi de l'algorithme de rééchantillonnage. La leçon pratique est d'éviter le JPEG pour des icônes et graphiques fins, car le format et ses optimisations sont conçus pour des photographies.