News
The raw AI news stream — everything we ingest across RSS, Hacker News, arXiv, GitHub, Bluesky, YouTube and more, newest first.
| Source | Age | Title | Summary | Status |
|---|---|---|---|---|
bluesky bluesky-ai | 4h | アンソロピックのBlog記事。たいへん興味深い内容。 「現在、LLM（大規模言語モデル）は大規模な形式証明を生成できるようになり、セキュリティが証明された保証を含む新たなソフトウェア開発ワークフローが可能となった」 「モデルの能力が向上し続けるにつれ、形式検証はセキュアなソ… | アンソロピックのBlog記事。たいへん興味深い内容。 「現在、LLM（大規模言語モデル）は大規模な形式証明を生成できるようになり、セキュリティが証明された保証を含む新たなソフトウェア開発ワークフローが可能となった」 「モデルの能力が向上し続けるにつれ、形式検証はセ… | ↗Not briefed |
bluesky bluesky-ai | 4h | OpenAI and Poland’s NASK collaborate on AI safety research reut.rs/4BgT1sh | OpenAI and Poland’s NASK collaborate on AI safety research reut.rs/4BgT1sh | ↗Not briefed |
hn hn-ai | 4h | Show HN: A 200-item RLHF quality audit with Fleiss' Kappa (0.68) | — | ↗Not briefed |
bluesky bluesky-ai | 4h | I guess psychology is partly protected here because the reviews are so incoherent, using them is only going to give the model the AI-equiva… | I guess psychology is partly protected here because the reviews are so incoherent, using them is only going to give the model the AI-e… | ↗Not briefed |
hn hn-ai | 4h | Running Megabonk on an Apple Silicon Mac | — | ↗Not briefed |
bluesky bluesky-ai | 4h | This is a pretty good take. The only thing I'd add is to remind people that the regulation proposed by Anthropic and OpenAI is more or less… | This is a pretty good take. The only thing I'd add is to remind people that the regulation proposed by Anthropic and OpenAI is more or… | ↗Not briefed |
hn hn-ai | 4h | Show HN: Pear – A Windows Steam Launcher for Apple Silicon Macs | I first tried to play Megabonk on my Mac with Wine 11.0 and DXMT 0.80.<p>After successfully playing it, I thought it would be great to… | ↗Not briefed |
bluesky bluesky-ai | 4h | deliberately sticking your foot in the horse trap and declaring loudly that it is some sort of trap as it snaps shut around you is an inter… | deliberately sticking your foot in the horse trap and declaring loudly that it is some sort of trap as it snaps shut around you is an… | ↗Not briefed |
rss marktechpost | 4h | Google Cloud Launches Agent Compute Engine: A MicroVM per AI Agent | Google Cloud announced Agent Compute Engine, a compute service that gives every AI agent its own hardware-isolated microVM with no cre… | ↗Not briefed |
hn hn-ai | 4h | Show HN: An automated news site Distribute Software | I wanted to see what it would look like building a fully automated news site monitoring different newsrooms, desks, feeds etc on the w… | ↗Not briefed |
rss techmeme | 4h | SK Telecom unit SK Hyper is in talks with tech firms and investors to finance 15GW of data center capacity in South Korea by 2035; the first 5GW will cost $350B (Bloomberg) | Bloomberg: SK Telecom unit SK Hyper is in talks with tech firms and investors to finance 15GW of data center capacity in South Korea b… | ↗Not briefed |
hn hn-ai | 4h | The AI Expectations Gap [pdf] | — | ↗Not briefed |
bluesky bluesky-ai | 4h | astro-conversion-kit: Convert a WordPress site to static Astro with your coding agent, and get back the same site: the same URLs, the same … | astro-conversion-kit: Convert a WordPress site to static Astro with your coding agent, and get back the same site: the same URLs, the… | ↗Not briefed |
bluesky bluesky-ai | 4h | Funding news 20/34 Weflayr raises $2.5m pre-seed to route AI calls to the best model 13books Capital leads the round for the Station F sta… | Funding news 20/34 Weflayr raises $2.5m pre-seed to route AI calls to the best model 13books Capital leads the round for the Station… | ↗Not briefed |
hn hn-ai | 4h | The Latest Anthropic Claude Models Contain AI Text Watermarks | — | ↗Not briefed |
bluesky bluesky-ai | 5h | 多くのAIが「人間はひとりで正しくあるより、みんなで間違っている方を選ぶ」という考えを持っている https://gigazine.net/news/20261023-every-ai-model-controversial-humans/ | 多くのAIが「人間はひとりで正しくあるより、みんなで間違っている方を選ぶ」という考えを持っている https://gigazine.net/news/20261023-every-ai-model-controversial-humans/ | ↗Not briefed |
rss marktechpost | 5h | You.com Launches Inference Router: 12 Open-Weight Models With 99.9% Uptime SLA🔧 You.com | You.com launched Inference Router, an OpenAI-compatible API for 12 open-weight models with a 99.9% uptime SLA, zero data retention, 10… | ↗Not briefed |
bluesky bluesky-ai | 5h | とらのあな側の、とにかく滞留してるオタクブックを早く片付けたいという気持ちは分かるけどなんというか、さすが「同人お助けAI作ります！」「弊社では預かった同人誌はLLMに読み込ませます！」を行った会社だけあるな | とらのあな側の、とにかく滞留してるオタクブックを早く片付けたいという気持ちは分かるけどなんというか、さすが「同人お助けAI作ります！」「弊社では預かった同人誌はLLMに読み込ませます！」を行った会社だけあるな | ↗Not briefed |
bluesky bluesky-ai | 5h | GPT-6s are a direct result of the “two weeks of focusing on safety” at openai after the huggingface hack and they overshot the safety train… | GPT-6s are a direct result of the “two weeks of focusing on safety” at openai after the huggingface hack and they overshot the safety… | ↗Not briefed |
bluesky bluesky-ai | 5h | Califの動画は、「アニメ風のキャラが踊るなかで攻撃方法を示す」内容。煽っている。 今回の情報リークのひとつの背景は、このCalif社の売名行為かもしれない。「脆弱性診断のご用命はこちら」みたいな感じだ。 個人的な意見として、サイバーセキュリティ分野でこのノリは勘弁してほ… | Califの動画は、「アニメ風のキャラが踊るなかで攻撃方法を示す」内容。煽っている。 今回の情報リークのひとつの背景は、このCalif社の売名行為かもしれない。「脆弱性診断のご用命はこちら」みたいな感じだ。 個人的な意見として、サイバーセキュリティ分野でこのノリは… | ↗Not briefed |
rss techmeme | 5h | Oura sues Indian smart ring rival Ultrahuman again to block US sales of Ring Pro, months after a redesign helped Ultrahuman return following an import ban (Jagmeet Singh/TechCrunch) | Jagmeet Singh / TechCrunch: Oura sues Indian smart ring rival Ultrahuman again to block US sales of Ring Pro, months after a redesign… | ↗Not briefed |
hn hn-ai | 5h | Mapping Economic Theory with AI [pdf] | — | ↗Not briefed |
bluesky bluesky-ai | 5h | Chinese state media: DeepSeek and MiniMax completed registration and won approval to open-source and deploy AI models overseas under propos… | Chinese state media: DeepSeek and MiniMax completed registration and won approval to open-source and deploy AI models overseas under p… | ↗Not briefed |
rss techmeme | 5h | Chinese state media: DeepSeek and MiniMax completed registration and won approval to open-source and deploy AI models overseas under proposed export controls (Bloomberg) | Bloomberg: Chinese state media: DeepSeek and MiniMax completed registration and won approval to open-source and deploy AI models overs… | ↗Not briefed |
bluesky bluesky-ai | 5h | fascinating article about how most of the php vulnerability is LLM hype, and it's not as severe as the LLMs make it sound | fascinating article about how most of the php vulnerability is LLM hype, and it's not as severe as the LLMs make it sound | ↗Not briefed |
hn hn-ai | 5h | PHP2SHELL Patch for Older Versions | — | ↗Not briefed |
bluesky bluesky-ai | 5h | the php vulnerability openai claimed credit for | the php vulnerability openai claimed credit for | ↗Not briefed |
rss techmeme | 6h | SK Hynix says its SSD subsidiary Solidigm has halted a review of a potential US IPO to fund a new US chip fab, citing "market conditions and share price trends" (P.R. Venkat/Wall Street Journal) | P.R. Venkat / Wall Street Journal: SK Hynix says its SSD subsidiary Solidigm has halted a review of a potential US IPO to fund a new U… | ↗Not briefed |
hn hn-ai | 6h | Breakthrough vaccine for the deadliest skin cancer cut risk by almost half | — | ↗Not briefed |
bluesky bluesky-ai | 6h | Anthropic has announced Claude Duet, its new autonomous AI agents for task management and automation, competing with OpenAI Dots, Meta Muse… | Anthropic has announced Claude Duet, its new autonomous AI agents for task management and automation, competing with OpenAI Dots, Meta… | ↗Not briefed |
bluesky bluesky-ai | 6h | AI oversight needs a different model to banking ft.trib.al/4cieRJi | AI oversight needs a different model to banking ft.trib.al/4cieRJi | ↗Not briefed |
bluesky bluesky-ai | 6h | 対人関係の距離の取り方が上手い人が、LLMとのお付き合いはあんまり上手ではないケースをいくつか見て、フムー？と思っている | 対人関係の距離の取り方が上手い人が、LLMとのお付き合いはあんまり上手ではないケースをいくつか見て、フムー？と思っている | ↗Not briefed |
bluesky bluesky-ai | 6h | DeepSeek V4.1 Flash 1017いいじゃん | DeepSeek V4.1 Flash 1017いいじゃん | ↗Not briefed |
bluesky bluesky-ai | 6h | gotta say, SummoningSalt videos would be really boring if every monumental step just went “and then this person asked an LLM, and it said t… | gotta say, SummoningSalt videos would be really boring if every monumental step just went “and then this person asked an LLM, and it s… | ↗Not briefed |
hn hn-ai | 6h | We're addicted to social media. How do we get sober? | — | ↗Not briefed |
bluesky bluesky-ai | 6h | Anoche fue noche grande en La Zona 📻 con el estreno de nuestro radiodocumental «Archæa, Bacteria, Eukarya, Dæmonica, Synthetica, Machinica… | Anoche fue noche grande en La Zona 📻 con el estreno de nuestro radiodocumental «Archæa, Bacteria, Eukarya, Dæmonica, Synthetica, Mach… | ↗Not briefed |
bluesky bluesky-ai | 6h | noteにおけるLLM利用投稿の氾濫については、「まあ、自分とこの利用規約も遵守せずに、明確な人権侵害・中傷・差別扇動投稿をおもいっきり容認してるプラットフォームが何か手立てを打つはずもありませんわなあ。打てよ」という感想がございます。 （XやInstagram・Threads… | noteにおけるLLM利用投稿の氾濫については、「まあ、自分とこの利用規約も遵守せずに、明確な人権侵害・中傷・差別扇動投稿をおもいっきり容認してるプラットフォームが何か手立てを打つはずもありませんわなあ。打てよ」という感想がございます。 （XやInstagram・Th… | ↗Not briefed |
hn hn-ai | 6h | Show HN: Pristine – an agent skill that critiques and polishes web UI | — | ↗Not briefed |
hn hn-ai | 6h | Lima- Linux VMs with automatic file sharing and port forwarding(similar to WSL2) | — | ↗Not briefed |
rss techcrunch-ai | 6h | Uber rival inDrive eyes 2027 robotaxi tests in Central Asia with Pony.ai and Nvidia | inDrive plans to begin testing Pony.ai's robotaxis in Kazakhstan's capital in the first half of 2027. | ↗Not briefed |
bluesky bluesky-ai | 6h | 「バグのないソフトウェア」の実現を目指してAnthropicが「AIを用いて数学的にバグがないことを証明する」という手法を開発 https://gigazine.net/news/20261023-anthropic-formal-verification/ | 「バグのないソフトウェア」の実現を目指してAnthropicが「AIを用いて数学的にバグがないことを証明する」という手法を開発 https://gigazine.net/news/20261023-anthropic-formal-verification/ | ↗Not briefed |
bluesky bluesky-ai | 6h | what i tend not to see in the AI ethics debates is that it's not JUST that LLM-based work is lifted from existing work. it's not JUST tha… | what i tend not to see in the AI ethics debates is that it's not JUST that LLM-based work is lifted from existing work. it's not JUS… | ↗Not briefed |
bluesky bluesky-ai | 6h | Tim Bernard and Justin Hendrix break down 13 new complaints against OpenAI: eight from state attorneys general and five from private plaint… | Tim Bernard and Justin Hendrix break down 13 new complaints against OpenAI: eight from state attorneys general and five from private p… | ↗Not briefed |
hn hn-ai | 7h | Create Prospect focused sales collateral | — | ↗Not briefed |
hn hn-ai | 7h | Patching the Sony PS3 for RGB Scart When Playing DVDs and BluRay | — | ↗Not briefed |
bluesky bluesky-ai | 7h | I don't think they're using it for art, but I do wonder exactly to what extent LLM-generated code has seeped into first-party Nintendo game… | I don't think they're using it for art, but I do wonder exactly to what extent LLM-generated code has seeped into first-party Nintendo… | ↗Not briefed |
bluesky bluesky-ai | 7h | Showing how anti-LLM I am by writing an art project in Prolog. Connectionism shall not triumph this time! 🧐 | Showing how anti-LLM I am by writing an art project in Prolog. Connectionism shall not triumph this time! 🧐 | ↗Not briefed |
hn hn-ai | 7h | Show HN: What LLM fits my GPU? – VRAM measured on real hardware for 117 models | — | ↗Not briefed |
bluesky bluesky-ai | 7h | Here's what I'm curious about: will LLM -driven discovery of severe flaws like this slow down as the supply of these outstanding vulns is e… | Here's what I'm curious about: will LLM -driven discovery of severe flaws like this slow down as the supply of these outstanding vulns… | ↗Not briefed |
bluesky bluesky-ai | 7h | On one hand, my blanket anti-LLM stance is largely rooted in opposition to the irresponsible behaviour of the frontier labs and unethical t… | On one hand, my blanket anti-LLM stance is largely rooted in opposition to the irresponsible behaviour of the frontier labs and unethi… | ↗Not briefed |