3D necroprinting: Leveraging biotic material as the nozzle for 3D printing
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Show HN: Free alternative to graphics design giants
Résumé indisponible pour cet article.
Reducing undefined behavior in the C language
Martin Uecker, professeur en ingénierie biomédicale et développeur de logiciels libres pour l'IRM, a présenté les problèmes du langage C liés au comportement indéfini et à la sécurité mémoire. Il a souligné que le C reste pertinent en 2026 pour sa portabilité, sa stabilité et ses performances, et que son histoire a conduit à la définition d'une machine abstraite avec un comportement « observable » contraignant. Le standard laisse de larges zones de comportement indéfini ou dépendant de l'implémentation, ce qui permet des optimisations agressives mais peut conduire à des transformations incorrectes et imprévisibles du code. Des groupes d'étude du comité C et un ensemble d'outils — avertissements du compilateur, analyse statique, sanitizers et méthodes formelles — réduisent progressivement les cas problématiques, comme le montrent C23 et le projet C2y. La sécurité mémoire peut être améliorée en traitant séparément la sécurité de type, la sécurité spatiale et la sécurité temporelle, les deux premières étant partiellement résolues tandis que la sécurité temporelle reste difficile et peut nécessiter des vérifications d'exécution, des architectures comme CHERI ou la vérification formelle.
Parley: Federated, decentralised chat that speaks plain IRC
Parley est un réseau de discussion sans serveur central où chaque domaine exécute une instance locale qui fédère avec les autres via DNS et documents well-known. Les instances échangent des événements JSON signés avec ed25519 par POST vers /inbox, se découvrent automatiquement par enregistrements SRV et documents WKID, et propagent les pairs pour former un maillage. Les utilisateurs utilisent des clients IRC standards (support IRCv3, PASS/SASL ou tokens) et bénéficient d'un historique serveur consultable, de recherche et de reprise après panne avec synchronisation des marque-pages de lecture. La modération se fait par listes de blocage par masque et contrôle du peering plutôt que par opérateurs de canal, et il existe des canaux globaux répliqués et des canaux locaux invisibles aux pairs. Le projet est un proof of concept fonctionnel avec des limites connues — pas de clés utilisateur ni de chiffrement de bout en bout, pas de modes/ops de canal et cohérence éventuelle des canaux globaux — et il est distribué sous licence MIT.
Show HN: PaperMono, e-ink fridge magnet shopping list with mobile web page
Le projet fournit un firmware complet pour un appareil ESP32‑S3 équipé d'un écran tactile e‑paper 3,97 pouces 480×800, implémenté en environ 2 400 lignes de C++ et utilisable comme liste de courses ou base pour d'autres firmwares. L'interface gère correctement les rafraîchissements e‑paper avec des mises à jour partielles rapides et un rafraîchissement complet toutes les dix mises à jour partielles, et propose une interface tactile avec clavier à l'écran et suggestions d'articles. La synchronisation réseau est optimisée pour la faible consommation : le Wi‑Fi n'est activé qu'à la synchronisation (horaire, au toucher si nécessaire ou après une modification), les modifications sont mises en file sur la mémoire flash et la plupart des fonctions restent opérationnelles hors ligne. Un serveur intermédiaire (FastAPI + SQLite) stocke la liste et l'ordre des rayons configurés depuis le navigateur du téléphone, avec une option d'auto‑classement des nouveaux noms via Claude et une interface web pour gérer les allées. Le dépôt contient le firmware, le serveur et la documentation matérielle et logicielle, mais le projet est personnel et limité (pas de configuration Wi‑Fi à l'appareil, pas d'authentification serveur par défaut, testé sur un seul modèle) et est distribué sous licence GPLv3.
Who wrote Elizabeth I's most scathing letters?
Une analyse de plus de 500 lettres d'Elizabeth I montre que ses secrétaires ont souvent participé à la rédaction des missives. L'étude, fondée sur l'examen de brouillons et d'annotations paléographiques, révèle que la plupart des quelque 3 000 lettres conservées sont des documents scribaux produits par des greffiers. Francis Walsingham a modifié et parfois intensifié l'expression des émotions dans des lettres adressées à des destinataires comme Mary, reine d'Écosse et James VI, en employant des formulations concordantes avec sa propre écriture. Des exemples précis indiquent qu'une lettre à George Talbot fut durcie pour dissuader Mary, tandis qu'une autre à Ralph Sadler fut adoucie pour suggérer la possibilité d'une réconciliation. La chercheuse conclut que la "voix" d'Elizabeth dans ces correspondances est une performance rhétorique soigneusement et collaborativement construite, utilisée pour atteindre des objectifs politiques.
GDB 18.1 Released
La version 18.1 de GDB est disponible en téléchargement depuis les serveurs GNU et la page du projet fournit documentation, accès au dépôt et archives des listes de diffusion. Cette version apporte d'importantes améliorations pour la cible native Windows, notamment le mode non-stop (Windows 10 ou ultérieur), le verrouillage du planificateur, le support du TLS natif, la gestion des couleurs 24 bits et de l'UTF-8/emoji dans le terminal, ainsi qu'un affichage des chemins de fichiers uniformisé avec des barres obliques. Parmi les autres évolutions on trouve l'ajout de tous les symboles de type dans .gdb_index (nécessitant la régénération des index), une gestion améliorée des arguments de l'inférieur (nouveau --no-escape-args et prise en charge du paquet qExecAndArgs), le réglage automatique de remote exec-file, des avertissements lors de la création d'inferiors non partageables et des annotations indiquant les variables ombrées dans info locals. De nouvelles commandes et options ont été ajoutées (gestion d'un environnement local pour les sous-processus, sauvegarde de l'historique/skips/utilisateur, info proc environ sur Linux, désactivation des barres de progression, alias pour skip, et options de debug), de nouvelles cibles sont prises en charge (gdbserver MicroBlaze et AArch64 MinGW), et l'API Python reçoit de nombreuses améliorations (objets Corefile, styles, événements, méthodes symtab.source_lines, styling du désassemblage, etc.), tandis que DAP et le protocole distant gagnent de nouvelles fonctionnalités. Plusieurs incompatibilités et suppressions sont introduites, notamment la suppression des formats stabs/mdebug et dbx, la fin du support de CTF, le retrait des anciennes versions d'.gdb_index et de DWP v1, le changement de format pour "record save", l'élévation de la version minimale de Guile à 2.2, la suppression de certaines commandes de maintenance, la fin du support de AIX 7.1 et la dépréciation de la cible s390 32 bits.
Footguns with Postgres “at time zone 'UTC'”
Résumé indisponible pour cet article.
What would a serious AI product look like?
De nombreux produits basés sur des LLM se présentent comme des outils sérieux d'aide à la recherche et au développement, mais ils ne traitent pas sérieusement leur propension connue à commettre des erreurs et encouragent la confiance aveugle de l'utilisateur. Parmi les améliorations proposées figurent la mise en avant d'un contrôle systématique des erreurs (par exemple une validation en deux colonnes avec cases à cocher), des citations plus nombreuses et visibles accompagnées de métadonnées et de citations littérales, et des indicateurs clairs de provenance des données. Les interfaces devraient éviter le langage à la première personne et les excuses automatiques, fournir des interfaces non linguistiques orientées tâches, et offrir des contrôles de reproductibilité et de visibilité du contexte (relecture, gel des éléments non déterministes, réglages de stochasticité et outils de replay). Pour les outils de programmation agentique, il est nécessaire de fournir des sandbox robustes et indépendants du modèle (limitations strictes des suppressions, snapshot automatique du dépôt, suppression des modes «auto» dangereux, exécution contre services simulés et vérification programmatique des actions) afin d'éviter la perte de données et les opérations irréversibles. Les organisations doivent aussi adapter leurs processus en instituant rotations et repos pour prévenir la baisse de vigilance, entraînement délibéré pour éviter la perte de compétences et ressources de santé mentale, et l'auteur considère que l'absence généralisée de ces fonctionnalités chez les fournisseurs suggère qu'elles pourraient révéler une valeur productive limitée tout en restant ouvert à être infirmé.
Launch HN: Vespper (YC F24) – SOTA Docx MCP
Les documents Word (.docx) restent omniprésents dans des secteurs comme le juridique, la finance et la santé, mais ils sont difficiles à modifier de façon fiable par des agents d'IA. Un .docx est un fichier ZIP contenant de l'XML OOXML verbeux où le texte visible est fragmenté et enrichi par des styles, ce qui pousse les agents à dépenser leur fenêtre de contexte sur la mécanique du fichier plutôt que sur la tâche métier. Les approches existantes (bibliothèques bas niveau, serveurs MCP et round‑tripping Markdown/HTML) offrent soit expressivité mais coût et lenteur, soit rapidité mais DSL propriétaires, soit simplicité mais pertes irréversibles de styles. La solution présentée consiste à exposer un HTML fidèle à l'OOXML et à entraîner un modèle reconciler (LoRA sur un modèle 3–8B) qui, à partir de (html_old, html_new, xml_old), génère xml_new pour appliquer rapidement et précisément les modifications. Sur un benchmark de 2046 tâches, le MCP de Vespper affiche de meilleures performances en précision, latence et coût que les alternatives testées, tout en restant limité sur les commentaires, l'insertion d'images et les styles latents.