(Linux news in previous posts)FOSS NEWSPeerTube 8.3 enhances moderation, user control & security for decentralized video hosting:https://alternativeto.net/news/2026/9/peertube-8-3-enhances-moderation-user-control-and-security-for-decentralized-video-hosting/Firefox 156 reduces CPU usage when viewing JPGs:https://www.omgubuntu.co.uk/2026/09/firefox-156-releasedMozilla Firefox 157 Enters Public Beta Testing with Brand-New Nova Design:https://9to5linux.com/mozilla-firefox-157-enters-public-beta-testing-with-brand-new-nova-designBonjour! Firefox Smart Window Users Now Get to Use a French AI:https://feed.itsfoss.com/link/24361/17465081/firefox-smart-window-mistral(Bonjour, Le Chat! Tu aime la baguette?)Pale Moon 35 targets modern site compatibility with shims:https://alternativeto.net/news/2026/9/pale-moon-35-targets-modern-site-compatibility-with-shims/(FosseryWeb is now rendered (almost) perfectly, with only a minor whitespace issue on cards with images, yay!)Brave 1.95 adds encrypted sha...
Related
"…and the proof is checked in Lean". ~ Kevin Buzzard. https://xenaproject.wordpress.com/2026/11/12/and-the-proof-is-chec...
"…and the proof is checked in Lean". ~ Kevin Buzzard. https://xenaproject.wordpress.com/2026/11/12/and-the-proof-is-checked-in-lean/ #LeanProver #LeanLang #Math #AI #AI4Math
Transformers didn't come out of nowhere.1958: Rosenblatt's perceptron, the first artificial neuron that could learn.1980...
Transformers didn't come out of nowhere.1958: Rosenblatt's perceptron, the first artificial neuron that could learn.1980s-90s: RNNs read text one word at a time, with memory that f...
Bing allows you to disable AI responses and return to classic search whenever you wish.https://gadgetflux.eu/bing-ti-per...
Bing allows you to disable AI responses and return to classic search whenever you wish.https://gadgetflux.eu/bing-ti-permite-sa-dezactivezi-raspunsurile-ai/#Bing #Microsoft #AI #Ar...