Google DeepMind describes an agentic framework powered by Gemini Carbon for formal verification of Signal protocol code in Lean, with human experts reviewing specifications. The article is free to read; the achievement is company-reported, and conflicting line counts in its body and metadata should not be treated as an independently verified measure.
Build or remix apps by describing a goal or adding screenshots and documents; Gemini generates the interface and logic, with options to iterate through feedback and share projects. The page includes example projects and an explanation of the workflow.
Why I recommend it: The Free plan has a modest quota; higher quotas and some models require paid plans or billed API usage. Google account, age and regional terms apply.
Google announcement of the Connected Apps Platform for building and managing apps that work inside Gemini and Search; developer access is through a preview sign-up.
Google Open Source's glossary of internal tool and process names, such as google3, Critique, Changelist and Forge, that appear in Google's open-source projects.
YouTube explains its invite-only Shorts bonus program, including regional eligibility, accepting an invitation in YouTube Studio and program requirements. This information is free to read; participation is not open to every creator.
Google announced the availability of Gemini 4 Argon in the Gemini app, featuring frontier reasoning and improved performance in complex tasks. The update includes agentic coding interfaces for macOS and expanded connections to over 40 third-party apps.
Google Research post on a three-month randomized controlled trial with patent attorneys: AI use raised work quality across the board, but only senior lawyers showed stronger unassisted judgment afterward; junior lawyers showed no average skill gain.
A personal statement dated September 14, 2026 by Daniel Selsam, an OpenAI researcher and early Lean Theorem Prover developer. He argues that models are becoming situationally aware enough that evaluators are losing the ability to test how they behave when they believe they are unobserved, and that more careful pacing of the frontier will not adequately limit long-term risk.
Tim Genewein, Matija Franklin, Alexander Lerchner, Laurent Orseau, Samuel Albanie, Adam Bales, Cole Wyeth, Stephanie Chan, Iason Gabriel, Joel Z. Leibo, Allan Dafoe, Marcus Hutter, Thore Graepel, Shane Legg
Venue
Google DeepMind research publication
Published
June 2026
A Google DeepMind report on how AI might keep developing after human-level AGI, focusing on the transition to artificial general superintelligence and grounding it in the theory of Universal AI.
Google Cloud's overview of 10+ AI tools with free usage tiers, from video and vision AI to app building. Requires a Google Cloud account; usage past free limits is billed.
Google Threat Intelligence and Mandiant document a May–June 2026 ShinyHunters campaign exploiting CVE-2026-35273 in Oracle PeopleSoft Environment Management. The report says Google notified more than 100 potentially exposed organizations, 68% in higher education, and provides investigation, remediation, and hardening guidance.
Research page of labour economist Kory Kantenga, with papers on labour markets, hiring and how technology changes work.
Why I recommend it: Academic papers — skim the abstracts first. Some linked journal versions may be paywalled; working-paper versions are usually free.
Google's agentic development platform: a full IDE, CLI, and SDK where agents can drive your editor, terminal, and browser to complete end-to-end tasks. Uses Gemini 3.
Why I recommend it: Free in public preview with rate limits — Google has not announced future pricing. Not supported for enterprise customers on the IDE. If you want to try agent-first coding without paying up front, this is currently the fullest free option.
Google's own free documentation for Apps Script, the JavaScript-based scripting language built into Google Workspace. You write code in a browser editor at script.google.com and automate Sheets, Docs, Gmail, Drive, Forms and Calendar — for example pulling job-application data into a Sheet, sending a templated follow-up email, or generating a document from a form response. The docs include quickstarts, per-service reference, triggers (time-based and event-based), and web app deployment. No install, no server, no card needed: a free personal Google account is enough. Daily quotas apply (for example a limited number of emails and script runtime per day) and a few features are Workspace-account only.
Why I recommend it: The cheapest real programming win for most people I coach: if you already live in Sheets and Gmail, Apps Script lets you automate the repetitive part of a job hunt or a small business without paying for Zapier or hosting anything. Start with a quickstart, not the reference. Two honest limits — the free quotas are generous for personal use but will stop a high-volume mailing, and scripts you copy from the web can read your whole Drive and inbox, so read the permission screen before you click Allow.
Free search across academic papers, theses and citations, with links to full text where it is public.
From the site: Google Scholar provides a simple way to broadly search for scholarly literature. Search across a wide variety of disciplines and sources: articles, theses, books, abstracts and court opinions.
Why I recommend it: The fastest way to check whether a claim in a news article traces back to an actual paper. Set an alert on a topic and it will email you new work.
Google Scholar profile listing Geoffrey Hinton's papers in citation order — backpropagation, dropout, AlexNet, t-SNE and the rest of the deep learning canon.
From the site: Emeritus Prof. Computer Science, University of Toronto - Cited by 1.089.325 - machine learning - psychology - artificial intelligence - cognitive science - computer science
Why I recommend it: The single best index of the papers that made current AI work. Sort by year to see the ideas arrive. Scholar blocks automated visits, so the picture may be a screenshot.
Google's image generation and editing model, built into the Gemini app. Free tier has daily usage limits; paid Gemini plans raise them.
From the site: Avec Nano Banana 2, le générateur d
Why I recommend it: Best of the free image tools for editing a picture you already have rather than starting from nothing — useful for slide graphics and profile images.
