I may have found a way to spot U.S. at-sea strikes before they're announced https://old.reddit.com/r/OSINT/comments/1opjjyv/i_may_have_found_a_way_to_spot_us_atsea_strikes/
Reddit
From the OSINT community on Reddit
Explore this post and more from the OSINT community
Open Source Implementation of Apple's Private Compute Cloud https://github.com/openpcc/openpcc
GitHub
GitHub - openpcc/openpcc: An open-source framework for verifiably private AI inference
An open-source framework for verifiably private AI inference - openpcc/openpcc
Kimi K2 Thinking, a SOTA open-source trillion-parameter reasoning model https://moonshotai.github.io/Kimi-K2/thinking.html
moonshotai.github.io
Kimi K2 Thinking
Kimi K2 Thinking, Moonshot's best open-source thinking model.
Myna: Monospace typeface designed for symbol-heavy programming languages https://github.com/sayyadirfanali/Myna
GitHub
GitHub - sayyadirfanali/Myna: monospace typeface designed for symbol-rich programming
monospace typeface designed for symbol-rich programming - sayyadirfanali/Myna
Why is Zig so cool? https://nilostolte.github.io/tech/articles/ZigCool.html
Valdi – A cross-platform UI framework that delivers native performance https://github.com/Snapchat/Valdi
GitHub
GitHub - Snapchat/Valdi: Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer…
Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity. - Snapchat/Valdi
Study identifies weaknesses in how AI systems are evaluated https://www.oii.ox.ac.uk/news-events/study-identifies-weaknesses-in-how-ai-systems-are-evaluated/
www.oii.ox.ac.uk
OII | Study identifies weaknesses in how AI systems are evaluated
Largest systematic review of AI benchmarks highlights need for clearer definitions and stronger scientific standards.
Ironclad – formally verified, real-time capable, Unix-like OS kernel https://ironclad-os.org/
ironclad-os.org
Ironclad is a free software formally verified kernel written in SPARK/Ada
👍1
Montana becomes first state to enshrine 'right to compute' into law https://montananewsroom.com/montana-becomes-first-state-to-enshrine-right-to-compute-into-law/
Montana Newsroom
Montana Becomes First State to Enshrine ‘Right to Compute’ Into Law - Montana Newsroom
Montana has made history as the first state in the U.S. to legally protect its citizens’ right to access and use computational tools and artificial intelligence technologies. Governor Greg Gianforte signed Senate Bill 212, officially known as the Montana…
❤1
Marble Fountain https://willmorrison.net/posts/marble-fountain/
Will Morrison
Marble Fountain
I really enjoy procedural generation, especially systems designed to work with hardware outputs. After starting work at Formlabs in September of 2023 and gaining access to much nicer printers than I was used to, I started wanting to tackle some large algorithmic…
The Linux Kernel Looks to “Bite the Bullet” in Enabling Microsoft C Extensions https://www.phoronix.com/news/Linux-6.19-Patch-Would-MS-Ext
Phoronix
The Linux Kernel Looks To "Bite The Bullet" In Enabling Microsoft C Extensions
Two patches queued into the Linux kernel's build system development tree, kbuild-next, would enable the -fms-extensions compiler argument everywhere for allowing GCC and LLVM/Clang to use the Microsoft C Extensions when compiling the Linux kernel
Yt-dlp: External JavaScript runtime now required for full YouTube support https://github.com/yt-dlp/yt-dlp/issues/15012
GitHub
[Announcement] External JavaScript runtime now required for full YouTube support · Issue #15012 · yt-dlp/yt-dlp
This is a follow-up to #14404, which announced that yt-dlp will soon require an external JavaScript runtime (e.g. Deno) in order to fully support downloading from YouTube. With the release of yt-dl...
Fighting the New York Times' invasion of user privacy https://openai.com/index/fighting-nyt-user-privacy-invasion
Openai
Fighting the New York Times’ invasion of user privacy
OpenAI is fighting the New York Times’ demand for 20 million private ChatGPT conversations and accelerating new security and privacy protections to protect your data.
Android developer verification: Early access starts https://android-developers.googleblog.com/2025/11/android-developer-verification-early.html
Android Developers Blog
Android developer verification: Early access starts now as we continue to build with your feedback
News and insights on the Android platform, developer tools, and events.
Checkout.com hacked, refuses ransom payment, donates to security labs https://www.checkout.com/blog/protecting-our-merchants-standing-up-to-extortion
Checkout
Protecting our Merchants: Standing up to Extortion
Our statement detailing an incident concerning a legacy system. We outline our commitment to transparency, accountability, and planned investment in cyber security research.
Nano Banana can be prompt engineered for nuanced AI image generation https://minimaxir.com/2025/11/nano-banana-prompts/
Minimaxir
Nano Banana can be prompt engineered for extremely nuanced AI image generation
Nano Banana allows 32,768 input tokens and I’m going to try to use them all dammit.
'No One Lives Forever' turns 25 and you still can't buy it legitimately https://www.techdirt.com/2025/11/13/no-one-lives-forever-turns-25-you-still-cant-buy-it-legitimately/
Techdirt
‘No One Lives Forever’ Turns 25 & You Still Can’t Buy It Legitimately
One of my favorite things in all of professional sports is the unofficial holiday referred to as “Bobby Bonilla Day.” The short version of it is that Bonilla played for the New York Met…