Please confirm you are human

This browser or connection looks automated. Press and continuously hold the control for 3 seconds to enable Google-hosted web results and, when separately allowed, AI-assisted answers.

A successful check enables 100 search requests. Interactive access does not authorize scraping, systematic collection, or reuse of search output.

Hold with a pointer, or hold Space or Enter.

News

Techmeme
techmeme.com > 260904 > p28

days to formalize the proof of Fermat's Last Theorem in the Lean programming language

1+ week, 1+ day ago   (12+ words) Top news and commentary for technology's leaders, from all around the web....

Techmeme
techmeme.com > 260821 > p9

DeepSeek unveils an experimental version of its V4 Flash model that can understand visual prompts, saying it nears the performance of Anthropic's Opus 4.8

3+ week, 1+ day ago   (12+ words) Top news and commentary for technology's leaders, from all around the web....

Techmeme
techmeme.com > 260817 > p4

Qwen 3.8 27B shows a 17GB open-weight general purpose model can have long context, effective tool calling, strong vision ability, and competent code generation

3+ week, 6+ day ago   (12+ words) Top news and commentary for technology's leaders, from all around the web....

Techmeme
techmeme.com > 260903 > p50

Vals analysis: open-weight models performing multi-stage tasks, like building a web app, can have an environmental impact 10K times greater than simple queries

1+ week, 2+ day ago   (12+ words) Top news and commentary for technology's leaders, from all around the web....

Techmeme
techmeme.com > 260821 > p23

Anthropic hires Amir Salek, who ran Google's TPU business until 2022, to join its compute team as part of a push to develop its own chips

3+ week, 1+ day ago   (12+ words) Top news and commentary for technology's leaders, from all around the web....

Techmeme
techmeme.com > 260823 > p1

Semiconductor cram schools are flourishing in Seoul as applications to Samsung and SK Hynix surge, fuelled by record earnings and eye-catching worker bonuses

3+ week, 3+ hour ago   (12+ words) Top news and commentary for technology's leaders, from all around the web....

Techmeme
techmeme.com > 260901 > p21

Sonos opens its platform to third-party AI assistants, upgrades Sonos 27voice assistant with an in-house LLM, and plans to let users create their own AI agents

1+ week, 4+ day ago   (12+ words) Top news and commentary for technology's leaders, from all around the web....

Techmeme
techmeme.com > 260825 > p27

Perplexity launches Portable Computer, a local AI agent platform running fully on-device with zero token costs, starting with Nvidia DGX Spark and RTX Linux PCs

2+ week, 4+ day ago   (12+ words) Top news and commentary for technology's leaders, from all around the web....

Techmeme
techmeme.com > 260904 > p2

Q&A with Jensen Huang and Clément Delangue on the Nvidia-Hugging Face deal, scaling open-source models, the rumored $1B talent retention plan, and more

1+ week, 2+ day ago   (12+ words) Top news and commentary for technology's leaders, from all around the web....

Techmeme
techmeme.com > 260830 > p8

Sources: OpenAI bought tens of thousands of Macs for RL, Anthropic rents them, Nvidia sees Apple as its main local AI rival as Macs gain traction with AI devs

1+ week, 6+ day ago   (12+ words) Top news and commentary for technology's leaders, from all around the web....

Web

External web results are waiting for the human check. Complete the press-and-hold control above. Google advertising and AI choices remain separate after verification.