← Feed

Posts

• Post #4539324

  Lea — An agent backbone for mathematician-led formalization. #lean #ai https://vida-nyu.github.io/Lea/

• Post #4496675

  TheoremDB · A public workspace for machine mathematics https://theoremdb.org/

• Post #4495410

  The Core Skills for 2030

• Post #4494972

  Anthropic va marquer tous les textes générés par Claude, mais l'idée a « ses limites » https://www.01net.com/actualites/anthropic-marquer-textes-generes-claude.html

• Post #4494754

  Gagner de l'argent sur YouTube devient beaucoup plus difficile https://www.01net.com/actualites/gagner-argent-sur-youtube-devient-beaucoup-plus-difficile.html

• Post #4487460

  Linux nameservers and DNS Resolution https://linuxblog.io/linux-nameservers-dns-resolution/

• Post #4484650

  Linux 7.2 - L'IA relit le code du noyau et Torvalds trouve la note salée https://korben.info/linux-7-2-torvalds-code-ia.html

• Post #4484579

  ai-for-developers/awesome-ai-coding-tools: A curated list of AI-powered coding tools https://github.com/ai-for-developers/awesome-ai-coding-tools

• Post #4483884

  Un agent IA pirate le site d'une salle de sport en Australie https://www.frandroid.com/culture-tech/intelligence-artificielle/3207437_il-demande-a-son-ia-de-reserver-un-cours-de-sport-elle-pirate-le-site-de-la-salle

• Post #4483757

  LibreFind : l'application pour remplacer les applications GAFAM par de l'open source https://www.frandroid.com/android/applications/3207271_calculez-votre-score-de-souverainete-mobile-avec-cette-application

• Post #4477971

  [Reticulum] Tdeck: rnsh + nomadnet + lxmf in MicroPython https://youtube.com/watch?v=qDcf-duqmv4

• Post #4475286

  Experts find AI agents can be tricked into 'remembering' fake facts for months — so how do we stop it? https://www.techradar.com/pro/security/experts-find-ai-agents-can-be-tricked-into-remembering-fake-facts-for-months-so-how-do-we-stop-it

• Post #4474581

  nixpkgs-multiverse: every version that ever existed https://fzakaria.com/2026/08/09/nixpkgs-multiverse-every-version-that-ever-existed

• Post #4469553

  En coulant un dôme de béton sur 85 000 m³ de déchets nucléaires en 1979, les États-Unis n'avaient pas prévu que l'océan monterait https://sciencepost.fr/en-coulant-un-dome-de-beton-sur-85-000-m%C2%B3-de-dechets-nucleaires-en-1979-les-etats-unis-navaient-pas-prevu-que-locean-monterait/

• Post #4446772

  Parsing NASDAQ ITCH on an FPGA https://medium.com/@probablysamir/parsing-nasdaq-itch-on-an-fpga-421dac8787ed

• Post #4444294

  Understand the AI landscape to choose the best model and provider for your use case https://artificialanalysis.ai/

• Post #4413120

  Censé masquer votre adresse IP, le relais privé d’Apple l’a laissée fuiter https://www.01net.com/actualites/cense-masquer-votre-adresse-ip-le-relais-prive-dapple-la-fait-fuiter.html

• Post #4410911

  Présidentielle 2027 : Marine Tondelier veut pouvoir «interdire X» en cas d’ingérences étrangères https://www.lejdd.fr/politique/presidentielle-2027-marine-tondelier-veut-pouvoir-interdire-x-en-cas-dingerences-etrangeres-180606

• Post #4410760

  Veridenz - use Nostr as a decentralized witness for photos https://apps.apple.com/us/app/veridenz/id6796029293

• Post #4410611

  OWASP 2026 LLM Top 10: "The model will be fooled" https://www.helpnetsecurity.com/2026/08/06/owasp-2026-llm-top-10-released/

• Post #4408912

  Etat prédateur : « Un Etat qui ne peut plus réformer ses dépenses se tourne vers ceux qui produisent encore de la richesse » https://www.lesechos.fr/idees-debats/cercle/etat-predateur-un-etat-qui-ne-peut-plus-reformer-ses-depenses-se-tourne-vers-ceux-qui-produisent-encore-de-la-richesse-2245813

• Post #4408767

  Entreprises. Facturation électronique dès le 1er septembre : pourquoi la note s'annonce salée pour les PME https://www.ledauphine.com/economie/2026/08/05/facturation-electronique-des-le-1er-septembre-pourquoi-la-note-s-annonce-salee-pour-les-pme

• Post #4405962

  Éclipse du 12 août : les applis ultimes et derniers conseils pour organiser VOTRE éclipse là où vous serez https://www.lesnumeriques.com/astronomie-conquete-spatiale/12-aout-les-applis-ultimes-et-derniers-conseils-pour-organiser-votre-eclipse-la-ou-vous-serez-n260044.html

• Post #4390318

  Nouvelles agressions de détenteurs de cryptomonnaies - Plus personne n'est à l'abri ? https://cryptoast.fr/nouvelles-agressions-detenteurs-cryptomonnaies-plus-personne-abri/

• Post #4386982

  Éclipse solaire du 12 août : y a-t-il des spots parfaits à Paris pour observer le phénomène ? https://www.numerama.com/sciences/2306461-eclipse-solaire-du-12-aout-y-a-t-il-des-spots-parfaits-a-paris-pour-observer-le-phenomene.html

• Post #4386960

  Budget de l'État : la charge de la dette française bondit de 5 milliards d'euros à cause de la "hausse des taux d'intérêt" https://www.tf1info.fr/economie/budget-de-l-etat-la-charge-de-la-dette-francaise-bondit-de-5-milliards-d-euros-a-cause-de-la-hausse-des-taux-d-interet-2456804.html

• Post #4385680

  Un étage de fusée SpaceX va s'écraser sur la Lune le 5 août 2026 https://www.sciencesetavenir.fr/espace/un-etage-de-fusee-va-s-ecraser-sur-la-lune_194053

• Post #4384381

  Non, il ne faut pas interdire les réseaux sociaux aux moins de 15 ans https://soufron.com/2026/07/28/interdiction-reseaux-sociaux-moins-15-ans/

• Post #4379161

  France Proposes Crypto Data Sharing with 48 Countries, Raising Security Concerns https://thecurrencyanalytics.com/bitcoin/france-proposes-crypto-data-sharing-with-48-countries-raising-security-concerns-281053

• Post #4379148

  France proposes international crypto data sharing to strengthen tax enforcement amid security fears https://noah-news.com/france-proposes-international-crypto-data-sharing-to-strengthen-tax-enforcement/