samedi 14 novembre 2026sam. 14 nov.24 h : 933 faits · 155 rédactions · 22 pays
FFactae.The Factual NewsDes signaux, du bruit, des faits…
DirectFocusExplorerPropagationFrance
Informatiqueil y a 30 min1 rédaction

Formalisation du code fiscal américain à l'aide du langage Lean

  • Un projet utilise le langage Lean pour formaliser et vérifier le code fiscal des États-Unis.
* Résumé rédigé par IA : vérifiez les sources

1 rédaction rapporte ce fait

Factae établit le fait ; chaque récit est à un clic, chez sa rédaction.

Hacker News (YC)lexifina.com↗

*Résumé rédigé avec l’aide d’une IA, qui peut se tromper. Vérifiez toujours les sources et lisez le ou les articles pour vous faire votre propre avis.

LieuxÉtats-Unis
≈ 10s
Read in English
Butiner autour

Le fil de l’événement

13 faits · 14 avr. → 14 nov.
  1. 14 avr.Législateurs américains relancent les réformes de fiscalité des cryptomonnaies
  2. 23 avr.Les modèles de langage de 699 milliards paramètres : formalisation partielle en Lean 4
  3. 20 maiLes États-Unis envisagent une réforme fiscale majeure sur les cryptomonnaies
  4. 8 juinÉtats-Unis : sept projets de loi bouleverseraient la fiscalité crypto
  5. 30 juil.Le débat sur l'avenir du langage Lean dans la recherche mathématique
  6. 8 sept.C* unifie la programmation et la vérification en C
  7. 15 sept.Le Congrès américain examine une réforme fiscale pour les cryptomonnaies
  8. 6 oct.Les États-Unis taxent moins les investisseurs qui perdent de l'argent
  9. 9 oct.Mathématiciens : un article détaille Lean, outil de preuve et IA
  10. 27 oct.Classification des groupes simples finis formalisée en Lean
  11. 10 nov.Un développeur formalise le comportement du langage Python dans CPython
  12. 14 nov.États-Unis : le fisc publie un dépôt open source pour la déclaration fiscale en ligne
  13. 14 nov.Formalisation du code fiscal américain à l'aide du langage LeanVOUS ÊTES ICI
États-Unis · © OpenStreetMap, OpenMapTiles, OpenFreeMapCarte mondiale →

Ailleurs en Informatique

Informatique

Test : dix smartphones outdoor classés comme les meilleurs

Ces appareils sont présentés comme résistants, étanches et adaptés à des usages en extérieur, selon un co…

Cliquez sur un logo pour lire l’article
1 rédactionil y a 30 minLire
Informatique

Une faille dans la norme VHDL affecte le calcul de la racine carrée de 2

Un audit révèle que le package float de la norme VHDL retourne une valeur incorrecte pour la racine carré…

Cliquez sur un logo pour lire l’article
1 rédactionil y a 30 minLire
Informatique

Allemagne : un homme condamné à de la prison ferme pour des vidéos TikTok humiliantes

Les vidéos, tournées à l’insu des victimes, ont servi à les ridiculiser sur la plateforme.

Cliquez sur un logo pour lire l’article
1 rédactionil y a 30 minLire
Informatique

Canada : LinkedIn et Monster retirent plus de 1 000 fausses offres d'emploi

Les deux plateformes ont supprimé ces annonces après une enquête menée par la CBC.

Cliquez sur un logo pour lire l’article
1 rédactionil y a 33 minLire
Plus d’articles à lire dans informatique ›

À lire aussi

Cybersécurité

Maileva : une cyberattaque expose les données de 22 millions de personnes

La filiale de La Poste, Maileva, a déposé plainte après une cyberattaque ayant entraîné la fuite de donné…

Cliquez sur un logo pour lire l’article
5 rédactionsil y a 37 minLire
France

France : Teddy Riner annonce sa candidature à la présidentielle

Le judoka, détenteur de cinq titres olympiques et onze mondiaux, a confirmé sa candidature pour briguer l…

Cliquez sur un logo pour lire l’article
6 rédactionsil y a 11 hLire
Factae.
The Factual News

L’actualité, et qui la rapporte. On détecte, on rassemble, on écarte le bruit, on dégage des faits.

Explorer

Le briefLe quiz de la semaineEn directScoopsFocusTendancesCartePropagationSujetsFilsTagsExplorer

Le site

À proposMéthodeLes rédactions luesMédias suivisNewsletterContactModèles d’IATradingPlan du site

Légal

Mentions légalesCGUConfidentialitéGérer mes choix

© 2026 Factae · Tous droits réservésDes signaux, du bruit, des faits…
UneDirectChercherMes sujets