HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11978 articles Page 332/1198 Sans filtre

Simplifying and Refactoring Introductory Calculus (2018)

Cet article, soumis par Jonathan Bartlett le 7 novembre 2018 sur arXiv, traite de l'enseignement du calcul en première année. L'auteur soutient que l'approche courante impose une charge importante aux étudiants. Les étudiants doivent mémoriser une diversité de procédures qui servent essentiellement à accomplir la même tâche. L'article propose que de nombreux procédés du calcul peuvent être simplifiés et rationalisés. En réduisant le nombre de concepts enseignés, on obtiendrait selon l'auteur plus de flexibilité et de capacité pour les étudiants de première année.

arxiv.org Resume pret HTTP 200 Commentaires

RustDesk now supports true unattended remote access on Wayland

RustDesk propose désormais un accès à distance non supervisé sur Wayland, avec prise en charge des configurations multi‑écrans. Un build de prévisualisation est disponible pour les systèmes x86_64 basés sur Debian/Ubuntu. Après la configuration initiale, il est possible de se connecter même en l'absence d'un utilisateur local, y compris depuis l'écran de connexion après un redémarrage. L'équipe précise que le support Wayland reste limité chez d'autres solutions, AnyDesk nécessitant Xorg et TeamViewer qualifiant son support d'expérimental. Ils sollicitent des tests réels avant de rendre la fonctionnalité par défaut et envisagent d'étendre le support à Fedora, Arch Linux et aux versions standard de RustDesk.

rustdesk.com Resume pret HTTP 200 Commentaires

Show HN: Deltix – AI Driven Testing

Deltix exécute sur votre Mac des tâches décrites en anglais courant en pilotant un simulateur iOS et indique si un véritable utilisateur pourrait les accomplir. L'agent Mac s'installe localement, n'accède pas à votre code ni à vos identifiants de signature, et vous pouvez examiner les captures d'écran et les enregistrements de run stockés dans votre compte. Le flux de démarrage comporte quatre étapes simples : inscription gratuite, installation de l'agent, connexion d'un simulateur iOS puis écriture et exécution d'une tâche en langage naturel. Vous pouvez effectuer des tests ad hoc, sauvegarder des exécutions réussies comme Playbooks pour les rejouer en CI ou comparer deux builds côte à côte pour détecter des régressions et préférences de conception. Le service est en bêta ouverte sans carte de crédit et prévoit prochainement le support des appareils physiques, des émulateurs Android, d'une CLI pour CI et des apps hybrides.

app.deltix.ai Resume pret HTTP 200 Commentaires

eigendrum

Un tambour tendu a des formes propres et des fréquences données par le problème aux valeurs propres −∇²u = λu avec u = 0 sur le bord, et Eigendrum résout numériquement ces modes en maillant la forme par triangles et en calculant les plus petites valeurs propres de Kφ = λMφ par éléments finis. Le solveur est vérifié sur cas fermés connus (les zéros des fonctions de Bessel pour le cercle et la formule π²(m²/a² + n²/b²) pour le rectangle), reproduit les fréquences à mieux que 0,1 % et, du fait de la méthode conforme, fournit des surestimations garanties plutôt que des sous-estimations. La position du coup détermine la projection du maillet sur les modes — un nœud n’est pas excité — et le modèle inclut la largeur du maillet, un court temps de contact et un amortissement de type Rayleigh qui atténue d’abord les harmoniques élevées. On peut tracer une frontière ou la définir par une formule paramétrique et la partager via l’URL, les formes trop fines sont refusées pour éviter des erreurs numériques, et l’application présente aussi les exemples isospectraux de Kac/Gordon–Webb–Wolpert qui ont des spectres identiques malgré des contours différents. L’ensemble tourne côté client sur eigendrum.com, le code source est publié sur GitHub, l’analytique est configurée pour ne pas enregistrer la forme, l’outil est gratuit sans compte et des contacts et options de soutien financier sont fournis.

eigendrum.com Resume pret HTTP 200 Commentaires

Google is making private AI practical with homomorphic encryption

Google présente un compilateur open source qui permet l'inférence d'IA sur des données chiffrées grâce au chiffrement homomorphe. Le chiffrement homomorphe autorise des calculs directement sur des données chiffrées, ce qui permet aux serveurs de traiter des requêtes sans accéder aux données en clair, en échange d'un surcoût de calcul qui diminue rapidement. Le compilateur convertit des modèles d'IA pré-entraînés pour qu'ils fonctionnent sur des entrées chiffrées et vise à simplifier l'intégration en production pour des développeurs non spécialistes. Le projet a suscité l'adhésion de la communauté, avec des partenariats industriels pour des accélérateurs matériels et des collaborations académiques aboutissant à plusieurs publications évaluées par des pairs. Des démonstrations incluent des recommandations privées, la détection de fraude par carte, la surveillance de trafic pour anomalies et la détection de mots-clés, et l'équipe vise à rendre cette technologie plus facile, rapide et répandue.

blog.google Resume pret HTTP 200 Commentaires

Coin-sized device can hack a Boeing 737

Des chercheurs universitaires ont montré qu'en moins de 60 secondes, on peut insérer un dispositif de la taille d'une pièce dans un port accessible via une trappe extérieure d'un Boeing 737 pour envoyer des signaux sur son réseau interne. Le dispositif, peu coûteux (moins de 100 $) et équipé d'un émetteur Wi‑Fi, peut falsifier des commandes vers l'autopilote et altérer les valeurs affichées aux pilotes, comme le plan de vol, le poids total ou la température extérieure. L'équipe a construit un banc d'essai avionique à partir de composants de 737 achetés sur le marché secondaire et a partagé ses découvertes avec Boeing, qui dit avoir évalué les protections existantes mais minimise le risque concret. Les chercheurs recommandent des mesures immédiates comme boucher ou supprimer le connecteur vulnérable et des corrections à plus long terme telles que l'isolation électrique, l'authentification cryptographique et la détection logicielle des attaques. Ils estiment que, bien que les pilotes puissent généralement reprendre le contrôle manuel, cette technique constitue une menace pratique nécessitant des changements dans la sécurité opérationnelle et la conception des systèmes aéronautiques.

www.wired.com Resume pret HTTP 200 Commentaires

I close SSH port 22 (and what I use instead)

Les guides d'hardening SSH habituels se contentent souvent d'authentification par clé et de fail2ban, mais la présence d'un port 22 public laisse le service détectable, génère du bruit dans les logs et expose les machines aux scanners et aux zero-days. Le port knocking classique masque le service par une séquence de connexions réutilisable, tandis que fwknop utilise la Single Packet Authorization : un unique paquet UDP chiffré et HMAC-SHA512 signé qui, une fois validé, n'autorise l'accès qu'aux détenteurs des clés. fwknopd vérifie le paquet, insère une règle iptables ouvrant le port SSH uniquement pour l'IP source pendant une durée configurable (par défaut 120 secondes), puis supprime la règle, ce qui rend le port 22 filtré aux scanners et évite tout banner exploitable. La mise en œuvre nécessite deux clés distinctes (chiffrement et HMAC) stockées en lieu sûr, un rôle Ansible pour déployer fwknop-server et ajuster UFW, ainsi qu'une configuration client ~/.fwknoprc et un ProxyCommand SSH pour rendre la "knock" transparente. Le résultat est une réduction significative de la surface d'attaque et du bruit des logs, avec la nouvelle surface concentrée sur le port SPA qui inclut protections anti-replay et timestamp, tandis qu'un accès parallèle via Tailscale peut servir de voie de secours.

www.michelebologna.net Resume pret HTTP 200 Commentaires