Lightnews — Scholar-powered news

Laurent Cheylus @lcheylus.bsky.social · 3h

Incroyable histoire à #Lyon : comment le gérant d'un magasin d'instruments de musique s’est retrouvé en possession d’un violon datant de 1749, d’une valeur de 50 000 euros, et a réussi à retrouver son propriétaire 🎻 🎶 tribunedelyon.fr/culture/jere...

L’incroyable histoire de Jérémie Payan, sauveur d’un violon volé à 50 000 euros

À 31 ans, Jérémie Payan est gérant du magasin Poussineau Musique à la Croix-Rousse. Fin novembre 2024, il s’est retrouvé en possession d’un violon datant de 1749, d’une valeur de 50 000 euros, et a…

tribunedelyon.fr

1

Reposted by Laurent Cheylus

RE//verse @re-verse.io · 1d

RE//verse 2026 CFP is open! Got research? Prove it: sessionize.com/reverse-2026

4 3

Reposted by Laurent Cheylus

Hervé Schauer @herve-schauer.bsky.social · 22h

À #SecSea2k5 Aurélien Francillon d'Eurecom relate les expériences hallucinantes d'écoutes en reconnectant avec les documents NSA déclassifiés en parallèle 😁
✅ Bluetooth 😧
✅ JTAG fait tout fuiter "quand le 𝑗𝑖𝑡𝑡𝑒𝑟 révèle le calcul de la puce" 👏🏻
Génial 👍🏻

1 3 7

Reposted by Laurent Cheylus

Emile `iMIl' Heitor @imil.net · 7h

Here's my latest experiment: a smolBSD microvm running an OpenSSH server with nitro github.com/NetBSDfr/smo...

3 5

Laurent Cheylus @lcheylus.bsky.social · 8h

Testé à la maison la semaine dernière (sans poêle en fonte) sur tes conseils, excellent 😋

1

Laurent Cheylus @lcheylus.bsky.social · 8h

C'est comme la « mode » de coder un nouveau terminal les reverse proxies ? Dans la liste, y'a déjà nginx, HAProxy, Traefik, Caddy, relayd (OpenBSD), Sozu et certainement d'autres que j'oublie.

1 2

Laurent Cheylus @lcheylus.bsky.social · 8h

During a livestream at the Automotive Testing Papenburg testing site in Germany, the electric chinese Hypercar YangWang U9 Extreme hit a top Speed of 496.22 km/h ! #EV #Hypercar www.engadget.com/transportati...

BYD's all-electric hypercar, the YangWang U9 Extreme, hits a record-breaking 308mph

There's a new top speed record to beat and it's from the YangWang U9 Extreme.

www.engadget.com

Laurent Cheylus @lcheylus.bsky.social · 20h

The Math Inc. team introduced Gauss, a first-of-its-kind autoformalization Agent for assisting Human Expert Mathematicians at formal Verification #Maths #AI www.math.inc/gauss

Introducing Gauss, an agent for autoformalization

The Math Inc. team is excited to introduce Gauss, a first-of-its-kind autoformalization agent for assisting human expert mathematicians at formal verification. Using Gauss, we have completed a…

www.math.inc

1

Laurent Cheylus @lcheylus.bsky.social · 1d

Je renchéris avec "Hallowed Be Thy Name" 🤗 youtu.be/-hBbT2N8jnI

Hallowed Be Thy Name - Iron Maiden 4K AI VIDEO ANIMATION

YouTube video by RB_Animation

youtu.be

2

Reposted by Laurent Cheylus

David Ho @davidho.bsky.social · 1d

They brick you because they can.

Logitech will brick its $100 Pop smart home buttons on October 15

Logitech’s interest in the smart home has appeared to wane in recent years.

arstechnica.com

3 19 85

Laurent Cheylus @lcheylus.bsky.social · 1d

Du "node facile" => rm 😛

Reposted by Laurent Cheylus

Damien Miller @damienmiller.bsky.social · 1d

OpenSSH 10.2 has just been released.

This release contains only non-security bugfixes, most notably for a bad regression that made interactive that used ControlPersist basically unusable

Full release notes at openssh.com/releasenotes...

OpenSSH: Release Notes

OpenSSH release notes

openssh.com

7 13

Laurent Cheylus @lcheylus.bsky.social · 1d

Dans les territoires ruraux, les collectivités ont installé, grâce à d’importantes subventions publiques, de vastes réseaux Internet à très haut débit. Mais leur exploitation coûte parfois très cher, rendant le modèle précaire - Article du Monde #Fibre #THD archive.is/4LRiY

archive.is

Laurent Cheylus @lcheylus.bsky.social · 1d

quBSD: a FreeBSD jails/bhyve wrapper which implements a Qubes inspired containerization schema. Written in shell, based on ZFS, and uses the underlying FreeBSD tools #QubesOS #FreeBSD github.com/BawdyAnarchi...

GitHub - BawdyAnarchist/quBSD: A FreeBSD jails and bhyve wrapper, which implements a Qubes inspired containerization schema

A FreeBSD jails and bhyve wrapper, which implements a Qubes inspired containerization schema - BawdyAnarchist/quBSD

github.com

1

Reposted by Laurent Cheylus

Bryan Steele 🦋🍁 @brynet.ca · 1d

Oral History of Ken Thompson

YouTube video by Computer History Museum

www.youtube.com

4 4

Laurent Cheylus @lcheylus.bsky.social · 1d

Better Syntax Error Messages with Python 3.14 - Article by Philipp Acsany #Python #Programming realpython.com/python314-er...

Python 3.14 Preview: Better Syntax Error Messages – Real Python

Python 3.14 includes ten improvements to error messages, which help you catch common coding mistakes and point you in the right direction.

realpython.com

1 2

Laurent Cheylus @lcheylus.bsky.social · 2d

2 câbles sous-marins relient désormais les îles bretonnes de Bréhat et de Batz au continent, ouvrant la voie à une desserte en fibre optique de leurs habitants et entreprises - Article chez Next #Network #Fibre next.ink/203388/en-br...

2

Reposted by Laurent Cheylus

Philippe Charrière 💜 @k33gorg.bsky.social · 3d

Hello, je cherche sur Lyon, un prof pour des cours particuliers de Math pour un étudiant à l'IAE - il faudrait que le prof ait un niveau pour enseigner des maths niveau prépa HEC. Contactez moi en DM. Merci 🙏

1 9 3

Reposted by Laurent Cheylus

LinuxFr.org @linuxfr.org · 2d

La #PyConFR 2025 a lieu du jeudi 30 octobre au dimanche 2 novembre au Campus René Cassin à @villedelyon. Le planning est en ligne et les inscriptions sont ouvertes !

🐍 linuxfr.org/news/pyconfr...

#Python

PyConFR 2025, planning et inscriptions - LinuxFr.org

PyConFR 2025, planning et inscriptions

linuxfr.org

3 4

Laurent Cheylus @lcheylus.bsky.social · 2d

Support for Python 3.14 added to uv and ruff tools - Blog post by Astral #Python astral.sh/blog/python-...

Python 3.14

Python 3.14 is out today along with updates for Ruff and uv.

astral.sh

1

Laurent Cheylus @lcheylus.bsky.social · 2d

My minimal configuration file for #Neovim:
- check if the necessary commands are available
- install Lazy as plugins manager
- install Monokai-pro theme
- install lualine and tree-sitter plugins
- create basic commands and keymaps
gist.github.com/lcheylus/512...

Minimal configuration file for Neovim

Minimal configuration file for Neovim. GitHub Gist: instantly share code, notes, and snippets.

gist.github.com

Reposted by Laurent Cheylus

Misty De Méo @cdrom.ca · 3d

A REQUEST: If you own a French CD-ROM computer game called "Pop Anim'", please let me know. I could use it for some research but haven't been able to find a circulating copy yet. (It's at the BnF but I can't get there right now.)

6 83 56

Laurent Cheylus @lcheylus.bsky.social · 2d

Vlang

Reposted by Laurent Cheylus

aurelsec @aurelsec.bsky.social · 4d

Interesting story how DES 56 became a 56-bit key algorithm (while having a 64-bit block size):
"NSA tried to convince IBM to reduce the length of the key from 64 to 48 bits. Ultimately, they compromised on a 56-bit key."

1 2 3

Reposted by Laurent Cheylus

Gabriel Thierry @gabrielthierry.bsky.social · 4d

Autre sujet qui vient de paraître: le Comcyber du ministère des Armées a pris possession cet été de son nouveau bâtiment près de Rennes, désormais sa place forte www.letelegramme.fr/ille-et-vila...

La Bretagne, nouvelle place forte de la cyberdéfense française

Le commandement de la cyberdéfense (Comcyber), basé à Saint-Jacques-de-la-Lande (35), près de Rennes, va considérablement se renforcer, d’ici à 2027.

www.letelegramme.fr

1 1