Searching We.Love.Privacy.Club

Twts matching #4:
Sort by: Newest, Oldest, Most Relevant

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons.

The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps.

Trust in the correctness c … ⌘ Read more

⤋ Read More

Security updates for Thursday
Security updates have been issued by AlmaLinux (.NET 10.0, compat-openssl10, compat-openssl11, delve, expat, httpd:2.4, libexif, mod_http2, openssl, ruby4.0, samba, thunderbird, unbound, and vim), Debian (ceph and sudo), Fedora (libsoup3, pie, roundcubemail, and xorg-x11-server-Xwayland), Mageia (lxc), Oracle (expat, gnutls, kernel, php:8.2, thunderbird, and uek-kernel), Slackware (httpd, net, proftpd, tigervnc, and xorg), SUSE (apache-sshd, apptainer, atril, bind, busybox, c … ⌘ Read more

⤋ Read More

Tom Holland Reveals Surprising Writer Involved With Spider-Man 4’s Final Draft
Spider-Man 4‘s final draft involved a writer many didn’t know about. Tom Holland just revealed the surprising writer who helped with Spider-Man: Brand New Day‘s last-minute script changes. Justin Kuritzkes was involved with Spider-Man 4’s final draft So far, Chris McKenna and Erik Sommers have been credited as the writers of the fourth Spider-Man installment. […]

The post [Tom Holland Reveals Su … ⌘ Read more

⤋ Read More

Steam Survey For May 2026 After Delay: Linux Just Under 4%
Back in March Steam on Linux skyrocketed to 5.33% with more than double the Steam gaming marketshare of macOS. Then for April Steam on Linux pulled back to a still-great 4.52%, well above the times when Steam on Linux was at 2% or less for many years. Now the May 2026 figures have been published overnight by Valve… ⌘ Read more

⤋ Read More

From Season 4 Episode 7 Release Date, Time, Where to Watch
From Season 4 Episode 7 release date and time are right around the corner, and fans are excited to learn where and when they can stream it online. In the upcoming episode, titled “Best Laid Plans,” viewers will get to see how the troubling past of Tabitha and Jade surfaces, causing chaos for another town resident. Meanwhile, […]

The post [From Season 4 Episode 7 Release Date, Time, Where to Watch](https: … ⌘ Read more

⤋ Read More

Staatsanleihen als Problem für USA
In den vergangenen Wochen hat sich auf den globalen Finanzmärkten Nervosität breitgemacht: Grund sind die weltweit steigenden Renditen auf Staatsanleihen. Die Renditen der richtungsweisenden zehnjährigen US-Staatsanleihe lagen am Mittwoch bei rund 4,5 Prozent und damit nahe den höchsten Niveaus der vergangenen Jahre. In den USA wächst die Sorge, dass diese Entwicklungen die US-Wirtschaft vor den Zwischenwahlen im Herbst ausbremsen könnten. Auch hierzulande steigen die Renditen auf Staatsanleihen, laut … ⌘ Read more

⤋ Read More

[$] LWN.net Weekly Edition for June 4, 2026
Inside this week’s LWN.net Weekly Edition:

  • Front: MeshCore; x32 ABI; Open-source security; Package-manager metadata; More LSFMM+BPF coverage; Loadable crypto module.

  • Briefs: Lightwell; jqwik protestware; RedHat package compromise; DistroWatch; Fedora election; Rust 1.96.0; rsync; Vim Classic 8.3; Quotes; …

  • Announcements: Newsletters, conferences, security updates, patch … ⌘ Read more

⤋ Read More

Sonic the Hedgehog 4 Gets Exciting Update from Amy Rose Actor Kristen Bell
Kristen Bell‘s latest update will surely stoke fans waiting for Sonic the Hedgehog 4. The actress behind the voice of Amy Rose in the upcoming film has shared an exciting announcement about her role in the project. Directed by Jeff Fowler, Sonic the Hedgehog 4’s voice cast includes Ben Schwartz, Idris Elba, Keanu Reeves, and […]

The post [Sonic the Hedgehog 4 Gets Exciti … ⌘ Read more

⤋ Read More

He-Man Movies Ranked, Including 2026’s Masters of the Universe
We’ve ranked all of the He-Man movies, including two animated movies. This list will be based on each film’s current Tomatometer ratings on Rotten Tomatoes. This comes ahead of the long-awaited theatrical release of the new live-action Masters of the Universe movie this Friday, June 5. All He-Man movies ranked by RT score 4) He-Man […]

The post [He-Man Movies Ranked, Including 2026’s Masters o … ⌘ Read more

⤋ Read More

Google Launches ‘Gemma 4 12B’ AI Model That Can Run On Your Laptop
Google has launched Gemma 4 12B, a 12-billion-parameter open AI model designed to run locally on your laptop without depending entirely on cloud infrastructure. WION reports: According to Google, the new model delivers performance close to much larger AI systems while requiring significantly less memory. The company says Gemma 4 12B can run … ⌘ Read more

⤋ Read More

**240 femmes droguées au diurétique par un haut fonctionnaire: «Ce dossier est traité comme une vulgaire histoire de pipi» **
Alors qu’une nouvelle audience a lieu jeudi 4 juin devant le tribunal administratif pour tenter de condamner l’État pour faute, de nombreuses victimes présumées intoxiquées par un ex-DRH du ministère de la culture sont en colère. Elles dénoncent la lenteur de la procédure et le fait que le mis en … ⌘ Read more

⤋ Read More

Prime Video’s Hit Fantasy TV Show Returns for Season 4 Today
Prime Video‘s popular fantasy TV show has finally returned with an all-new season. As of today, the first three episodes of The Legend of Vox Machina Season 4 are officially available to stream on Prime Video. What do we know about Prime Video’s The Legend of Vox Machina Season 4? The Legend of Vox Machina […]

The post [Prime Video’s Hit Fantasy TV Show Returns for Season 4 Today](https://www.comingsoon.net/ … ⌘ Read more

⤋ Read More

Security updates for Wednesday
Security updates have been issued by Debian (php-twig), Fedora (hplip, python-wsgidav, roundcubemail, and xorg-x11-server), Oracle (compat-openssl10, httpd:2.4, and kernel), Red Hat (osbuild-composer), SUSE (busybox, cloudflared, cockpit, cups, ffmpeg-4, gnutls, google-osconfig-agent, helm, hplip, kernel, kubelogin, libjxl, libsoup, libunbound8, LibVNCServer-devel, mapserver, nvidia-open-driver-G06-signed, nvidia-open-driver-G07-signed, openssh, python-idna, qemu, rqlite, shadowsocks … ⌘ Read more

⤋ Read More

Spider-Man: Brand New Day Gets Early Release Date for Some Fans
Spider-Man: Brand New Day just gave fans another reason to mark their calendars this July. Amazon revealed an exclusive early screening opportunity alongside a fresh new poster for the upcoming film. Amazon Prime members in the US can watch Spider-Man: Brand New Day early Amazon announced that US Prime members can watch Spider-Man: Brand New […]

The post [Spider-Man: Brand New Day Gets Early Relea … ⌘ Read more

⤋ Read More

Euphoria Season 4 Release Date Rumors: When’s It Coming Out?
The Euphoria Season 4 release date continues to attract attention among fans. Following the recent finale of the show’s third season, many viewers are wondering whether Euphoria will return for another installment. So, here’s all the information we know so far. Euphoria Season 4 release date rumors explained Euphoria Season 4 is not coming. According […]

The post [Euphoria Season 4 Release Date Rumors … ⌘ Read more

⤋ Read More

European Parliament Ditches Google For French Search Firm
The European Parliament is replacing Google with French search engine Qwant as the default on in-house computers, citing digital sovereignty and privacy concerns. Politico reports: As of Thursday June 4, “Qwant will replace Google as default search engine on European Parliament computers,” officials told lawmakers in an email seen by POLITICO. The change is be … ⌘ Read more

⤋ Read More

A Viral YouTube Show About an Unhinged AI Is Hitting Theaters. It’s a Big Test for Hollywood
The Amazing Digital Circus finale will hit more than 4,000 theaters around the world Thursday. Two weeks later it’ll be on YouTube, bucking Hollywood trends and testing the power of online fandom. ⌘ Read more

⤋ Read More

AMD Radeon RX 9070 GRE Linux Performance
Yesterday AMD kicked off Computex 2026 in announcing the Radeon RX 9070 GRE alongside a number of other product announcements. With the Radeon RX 9070 GRE going on sale today, the review embargo has now lifted on this new RDNA 4 consumer graphics card slated to be priced around $549 USD. Here is an initial look at the Linux performance benchmarks of this new AMD graphics card offering. ⌘ Read more

⤋ Read More

[$] Reconsidering x32 — again
The x32 ABI was meant
to be the best of both worlds, providing the expanded registers and
instruction set of the x86-64 architecture while preserving the lower
memory use of 32-bit systems. The Linux kernel has supported x32 since the
3.4 release in 2012. The initial excitement around x32 did not last,
though, and kernel developers are considering removing that support — and
not for the first time. Even the most unloved features tend to have a few
users, though, m … ⌘ Read more

⤋ Read More

Chinas Zwiespalt im Anti-Tabak-Kampf
Am Sonntag wird zum 39. Mal der Weltnichtrauchertag begangen. Eine nach wie vor schwer einzunehmende Bastion im Kampf gegen Tabak ist China: Ein Drittel bis die Hälfte der Männer rauchen, die rund 2,4 Billionen Zigaretten, die jedes Jahr in China verkauft werden, machen über vierzig Prozent des globalen Gesamtvolumens aus. Obwohl die gesundheitlichen Schäden enorm sind, geht die Regierung nur zögerlich gegen Tabakkonsum und -industrie vor – zu stark abhängig ist sie von den Einnahmen. ⌘ Read more

⤋ Read More

‘Call Of Duty: Warzone’ Is Shutting Down On PS4 And Xbox One
Call Of Duty: Warzone is shutting down on PS4 and Xbox One later this year, reports Kotaku.

As Call of Duty fully transitions to PS5 and Xbox Series X/S (and Switch 2), its popular battle royale spin-off, Warzone, is also ditching the old consoles. Later this year, Warzone will no longer be playable on PS4 or Xbox One…

Shortly after Modern Warfare 4 ( … ⌘ Read more

⤋ Read More

Rust Coreutils 0.9 Released With Additional Security Hardening, Zero-Copy I/O
Rust Coreutils 0.9 was tagged today as the latest major update to this GNU Coreutils implementation in the Rust programming language. Rust Coreutils 0.9 is up to a 90.4% pass rate against the GNU test suite!.. ⌘ Read more

⤋ Read More

Fwupd 2.1.4 Brings Many Fixes For Bugs Spotted By Anthrophic’s Mythos, Firmware Update Support For Intel Arc Pro B65/B70
Fresh off the funding round from HP, Fwupd 2.1.4 was christened today as the newest stable update to this open-source firmware updating solution for Linux systems… ⌘ Read more

⤋ Read More

AMD ROCm 7.2.4 Released With Performance & Stability Fixes
AMD’s ROCm open-source compute stack is up to version 7.2.4 stable as it continues seeing new fixes while on the tech preview feature side is the recent ROCm 7.13 release… ⌘ Read more

⤋ Read More