# Paper Published articles for Paper. This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles. ## \[Aug 2026\] AI Community -- Activity Highlights and Achievements DevFeed: [\[Aug 2026\] AI Community -- Activity Highlights and Achievements]() Original publisher: [Read original article]() Author: Nari Yoon Published: 2026-09-17T05:12:15Z Content type: article Language: en Sources: [Google Developer Experts - Medium]() Topics: [Google AI](), [Google](), [google-antigravity](), [Artificial Intelligence](), [MCP Server](), [computer-use](), [Fine-tuning]() Tags: [2026](), [agentic-ai](), [ai](), [ai-coding-agents](), [ai-studio](), [antigravity](), [api](), [automation](), [community](), [computer-use](), [gemini](), [google](), [google-ai](), [google-cloud](), [mcp](), [mcp-server](), [multi-agent](), [ocr](), [paper](), [pitfalls]() ### AI overview A monthly roundup of Google AI community activities and achievements, covering Antigravity prototyping and engineering, AI coding agents, MCP-based remote control, computer-use agent orchestration, earthquake research, and TPU fine-tuning and migration guidance. ### Source excerpt We love sharing the accomplishments of the Google AI communities over the month. We appreciate all the hard work and dedication of our community members. Without further ado, here are the key highlights by products! Agentic DevelopmentAntigravityPrototype App: OCR and Text Extraction by the author Prototyping and Bringing Ideas to Application Using Google AI Studio and Antigravity 2.0 by AI GDE Joan Santoso (Indonesia) shares a rapid prototyping workflow building an AI-powered Form Extractor using the Gemini API, featuring a lightweight OCR and text extraction workflow. Antigravity Engineering Series by GDE Amulya Bhatia (Germany) focuses on key features of Antigravity 2.0 across 10 articles covering topics such as multi-agent orchestration, safety architecture, and workflow automation, accompanied by source code examples. (image soruce) Remote Control for Google Antigravity: Drive Your AI Coding Agent From Telegram 🛰 by GDE Nicola Guglielmi (Italy) introduces an open-source MCP server that turns Telegram into a remote control surface for AI coding agents. Before the Quake: How Antigravity CLI's AI Agents & IoT Data Predict Earthquakes by GDE Kanshi Tanaike (Japan) introduces the paper establishing Unified LAIC-AGW Theory by integrating ultra-dense IoT weather data with seismic moment tensors. It demonstrates a pre-seismic early warning capability by capturing enthalpy anomalies and acoustic-gravity waves. ADKAI GDE Henry Ruiz (US) and AI GDE Margaret Maynard-Reid (US) AI GDE Henry Ruiz (US) and AI GDE Margaret Maynard-Reid (US) introduced UISurf: An Operator-Centric Multi-Agent Platform for Observable and Cross-Environment UI Automation at the Agentic AI Summit 2026. They highlighted how the model-agnostic framework leverages the Google Cloud and Gemini ecosystems, such as GEAP and ADK, to orchestrate and evaluate computer-use agents across web, desktop, and mobile environments. Frameworks and ResearchTPU Introduction to SFT on TPU with Tunix -- 10 pitfalls until 2 ## New AI technique could make minimally invasive surgeries safer and more precise DevFeed: [New AI technique could make minimally invasive surgeries safer and more precise]() Original publisher: [Read original article]() Author: Adam Zewe | MIT News Published: 2026-09-16T15:00:00Z Content type: news Language: en Sources: [MIT AI News]() Topics: [Artificial Intelligence](), [AI Research](), [3D](), [navigation]() Tags: [3d](), [ai](), [artificial-intelligence](), [computer-science-and-artificial-intelligence-laboratory-csail](), [computer-science-and-technology](), [computer-vision](), [electrical-engineering-and-computer-science-eecs](), [health-care](), [images](), [imaging](), [jameel-clinic](), [machine-learning](), [medical-devices](), [medical-imaging](), [minimally-invasive-surgery](), [mit-ibm-computing-research-lab](), [mit-schwarzman-college-of-computing](), [model](), [national-institutes-of-health-nih](), [navigation](), [paper](), [polina-golland](), [precision](), [real-time](), [research](), [school-of-engineering](), [vision](), [vivek-gopalakrishnan]() ### AI overview MIT researchers and collaborators developed xvr, an AI method that adapts to individual patients and rapidly aligns intraoperative X-rays with preoperative 3D medical scans. The technique is intended to improve surgical navigation for minimally invasive procedures. ### Source excerpt This patient-specific method, called xvr, helps doctors use X-rays for surgical navigation in fields such as orthopedics and neurosurgery. ## MIT researchers develop a generative AI method for enforcing hard constraints in safety-critical applications DevFeed: [MIT researchers develop a generative AI method for enforcing hard constraints in safety-critical applications]() Original publisher: [Read original article]() Author: Adam Zewe | MIT News Published: 2026-09-14T04:00:00Z Content type: news Language: en Sources: [MIT AI News]() Topics: [Generative AI](), [AI Models](), [Algorithm](), [Requirements](), [Computer vision](), [Robotics]() Tags: [ai](), [ai-models](), [algorithm](), [algorithms](), [artificial-intelligence](), [computer-science-and-technology](), [computer-vision](), [diffusion-models](), [electrical-engineering-and-computer-science-eecs](), [flow-matching](), [generative-ai](), [hard-constrained-sampling](), [hardflow](), [idss](), [kaveh-alim](), [laboratory-for-information-and-decision-systems-lids](), [machine-learning](), [mechanical-engineering](), [mit-schwarzman-college-of-computing](), [navid-azizan](), [optimal-control](), [paper](), [requirements](), [research](), [robotics](), [safe-ai](), [school-of-engineering](), [trajectory-optimization](), [zeyang-li]() ### AI overview MIT researchers developed a deployment-time technique that lets pretrained generative AI models explore solutions while enforcing hard constraints on final outputs. Experiments in robotics, physical-process control, and computer vision found that the method satisfied required constraints and identified better solutions than existing techniques. ### Source excerpt The "HardFlow" algorithm could help generative AI models produce high-quality outputs that obey strict requirements when "pretty close" doesn't cut it. ## Some thoughts on the Navier-Stokes Millennium Prize Problem DevFeed: [Some thoughts on the Navier-Stokes Millennium Prize Problem]() Original publisher: [Read original article]() Author: Simon Willison Published: 2026-09-08T23:55:12Z Content type: opinion Language: en Sources: [Simon Willison](), [Simon Willison's Weblog]() Topics: [OpenAI](), [Mathematics](), [Claude](), [codex](), [Math and Logic](), [Lean]() Tags: [agents](), [ai](), [ai-2-235](), [ai-ethics](), [ai-ethics-342](), [claude](), [codex](), [generative-ai](), [generative-ai-1-981](), [llms](), [llms-1-947](), [mathematics](), [mathematics-22](), [openai](), [openai-463](), [paper](), [training-data](), [training-data-68]() ### AI overview This commentary examines OpenAI's reported resolution of the Navier-Stokes existence and smoothness problem with an unreleased model, alongside accusations that the effort may have drawn on information from related work by mathematicians using Claude and Codex. It also describes questions about timing, data access, authorship, and OpenAI's subsequent use of agents and Lean formalization. ### Source excerpt On the Navier-Stokes Millennium Prize Problem introduces an impressive result from OpenAI, who used an unreleased model to produce a resolution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems that have been subject to a $1,000,000 prize since May 24th, 2000. The discovery is somewhat overshadowed by accusations of skulduggery from Tristan Buckmaster, an NYU mathematics professor who was collaborating on related problems with Levent Alpöge, an accomplished mathematician who currently works for Anthropic. Tristan's complaint accompanied a hastily published version of their own results. Here's the PDF describing what happened. The very short version is that Tristan and Levent worked on the problem for almost a year, making extensive use of Claude and Codex (mainly GPT-5.6 Sol), then had a breakthrough on August 15th. The mathematical rumour mill kicked into gear and Tristan and Levent heard that OpenAI had heard that Anthropic had resolved "a major open problem", so they reached out and learned that OpenAI had a team working on a related problem, with a similar approach. Quoting Tristan: I asked when the first prompt had been sent by them. This question was not answered directly by OpenAI for some time. Eventually it was agreed that it had been sent in the past few days, after information about our work had reached OpenAI. I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts for the whole of this project. I was told the model did not look up user data. I asked again, about training, and I did not get an answer. It gets more complicated from there. The OpenAI team offered to wait for Tristan to publish, or to have him author a paper about their result, but were clear that Levent would not be invited as a co-author due to OpenAI's competitive relationship with his employer. Here's how OpenAI described their work: On Tuesday, September 1, we h ## AI helps design new materials that work in the real world DevFeed: [AI helps design new materials that work in the real world]() Original publisher: [Read original article]() Author: Zach Winn | MIT News Published: 2026-08-26T09:00:00Z Content type: news Language: en Sources: [MIT AI News]() Topics: [Artificial Intelligence](), [Framework](), [Simulation and Design](), [Crystal]() Tags: [ai](), [artificial-intelligence](), [bowen-yu](), [chemical-engineering](), [chemistry](), [computer-chips](), [computer-science-and-technology](), [crystal](), [crysvcd](), [data-centers](), [department-of-energy-doe](), [diffusion-models](), [dmse](), [hao-tang](), [heather-kulik](), [ju-li](), [machine-learning](), [materials-design](), [materials-discovery](), [materials-science-and-engineering](), [mingda-li](), [mouyang-cheng](), [national-science-foundation-nsf](), [nuclear-science-and-engineering](), [paper](), [physics](), [research](), [school-of-engineering](), [school-of-science](), [semiconductors](), [weiliang-luo](), [weiwei-xie](), [yongqiang-cheng]() ### AI overview MIT researchers developed CrysVCD, a framework that applies chemistry-based valence constraints before material generation to improve the stability of generated designs. In tests, it achieved high lattice-dynamics stability in nearly 70 percent of computational material generations and supported targeting properties such as high thermal conductivity and high dielectric constant. ### Source excerpt The "CrysVCD" tool developed at MIT could cut the huge amounts of time and money spent on screening out chemically unstable designs. ## Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration DevFeed: [Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration]() Original publisher: [Read original article]() Author: Ethereum Foundation Formal Verification team Published: 2026-08-20T00:00:00Z Content type: article Language: en Sources: [Ethereum Foundation Blog]() Topics: [Formal verification](), [Lean](), [Ethereum](), [AI research agents](), [AI Models](), [Library](), [Security]() Tags: [agentic](), [ai-agents](), [collaboration](), [ethereum](), [formal-verification](), [leaderboard](), [paper](), [research](), [research-development](), [security](), [verification]() ### AI overview The Ethereum Foundation's Formal Verification team launched better.codes, an open autoresearch challenge focused on raising the machine-checked soundness bound of the Lean-formalized koalaIRS12 Reed-Solomon proximity problem toward a fixed 128-bit target. Submissions are checked by the Lean kernel and promoted proofs are shared publicly. ### Source excerpt better.codes, an open autoresearch challenge built by the Ethereum Foundation Formal Verification team in collaboration with Yukon and zkSecurity, is now live. better.codes takes a self-contained problem from the Proximity Prize research, formalized in Lean, and puts its soundness bound on a public leaderboard that anyone can push forward.... ## When AI art has no author: Study finds generated images often can't be traced to training data DevFeed: [When AI art has no author: Study finds generated images often can't be traced to training data]() Original publisher: [Read original article]() Author: Rachel Gordon | MIT CSAIL Published: 2026-08-18T16:35:00Z Content type: news Language: en Sources: [MIT AI News]() Topics: [Artificial Intelligence](), [AI Research](), [datasets](), [Computer Science and Artificial Intelligence Laboratory (CSAIL)]() Tags: [ablation](), [ai](), [ai-and-copyright-law](), [ai-generated-images](), [ai-governance](), [artificial-intelligence](), [arts](), [arts-technology-and-society](), [attribution-decay](), [causal-inference](), [computer-science-and-artificial-intelligence-laboratory-csail](), [computer-science-and-technology](), [counterfactual-analysis](), [counterfactual-radius](), [data](), [data-attribution](), [datasets](), [david-gifford](), [diffusion-ensembles](), [electrical-engineering-and-computer-science-eecs](), [ethics](), [generative-ai-images](), [generative-diffusion-models](), [image-similarity-metrics](), [images](), [law](), [machine-learning](), [machine-unlearning](), [mit-csail](), [mit-schwarzman-college-of-computing](), [model](), [model-interpretability](), [paper](), [privacy-preserving-machine-learning](), [research](), [school-of-engineering](), [science](), [technology-and-policy](), [technology-and-society](), [training-data-attribution](), [training-data-influence](), [zheng-dai]() ### AI overview MIT CSAIL researchers describe attribution decay, a phenomenon in which the influence of individual training examples on a generative model's outputs diminishes as datasets grow. Their method removes training examples and retrains models to test whether generated samples change. ### Source excerpt A new method for surgically removing training examples from a model reveals that as datasets grow, the link between what a model learns and what it produces dissolves. ## GeoPT helps AI models simulate how objects respond to physical forces DevFeed: [GeoPT helps AI models simulate how objects respond to physical forces]() Original publisher: [Read original article]() Author: Alex Shipps | MIT CSAIL Published: 2026-08-10T19:25:00Z Content type: news Language: en Sources: [MIT AI News]() Topics: [AI Models](), [Simulation](), [AI Research](), [Computer Science and Artificial Intelligence Laboratory (CSAIL)](), [Robotics]() Tags: [3-d-imaging](), [ai](), [ai-models](), [artificial-intelligence](), [computational-fluid-dynamics-cfd](), [computer-graphics](), [computer-modeling](), [computer-science-and-artificial-intelligence-laboratory-csail](), [computer-science-and-technology](), [crash-simulation](), [design](), [electrical-engineering-and-computer-science-eecs](), [geometric-pre-training](), [geopt](), [haixu-wu](), [human-computer-interaction](), [kaiming-he](), [manufacturing](), [minghao-guo](), [mit-csail](), [mit-eecs](), [mit-schwarzman-college-of-computing](), [neural-physics-simulation](), [paper](), [physics](), [physics-aware-ai](), [physics-foundation-models](), [research](), [robotics](), [school-of-engineering](), [self-supervised-learning](), [simulation](), [surrogate-modeling](), [synthetic-dynamics](), [transformer-based-simulators](), [wojciech-matusik]() ### AI overview Researchers at MIT CSAIL and Tsinghua University developed GeoPT, a pre-training approach that uses 3D simulations of mechanical interactions to help AI models learn physics more efficiently. The article reports that models using the approach reached peak performance twice as fast and trained on up to 60 percent less data than leading models. ### Source excerpt "GeoPT" helps AI models understand the basics of physics so they can simulate how objects respond to things like wind and water more efficiently and accurately. ## OpenAI's Ten Mathematical Results Tested Through Lean Certificates DevFeed: [OpenAI's Ten Mathematical Results Tested Through Lean Certificates]() Original publisher: [Read original article]() Published: 2026-08-01T00:00:00Z Content type: article Language: en Sources: [Alex Korbonits]() Topics: [Lean](), [OpenAI](), [certificates](), [trust](), [Artificial Intelligence]() Tags: [ai](), [certificates](), [openai](), [paper](), [trust]() ### AI overview The article examines OpenAI's release of ten results on long-standing mathematical problems and reports independently building and checking the accompanying Lean certificates. It says all 38 headline theorems passed with no errors or non-standard axioms, while raising concerns about trusting definitions written by the same system that produced the proofs. ### Source excerpt OpenAI shipped ten open problems with Lean certificates. I built all 550,000 lines and checked what they rest on. Everything passed -- and the only thing left to trust is 1,700 lines of definitions written by the same system that wrote the proofs. ## A Career Journey from Cryptanalysis Research to SRE and Chief Editor at Microsoft DevFeed: [A Career Journey from Cryptanalysis Research to SRE and Chief Editor at Microsoft]() Original publisher: [Read original article]() Author: Alexandra Savelieva Published: 2026-07-07T07:16:01Z Content type: opinion Language: en Sources: [Data Science at Microsoft]() Topics: [Data Science](), [Microsoft](), [Cryptography](), [site-reliability-engineering](), [Algorithms, Complexity](), [audit trail]() Tags: [ai](), [algorithms](), [audit-trail](), [careers](), [crack](), [data-science](), [logs](), [machine-learning](), [microsoft](), [paper](), [sre]() ### AI overview The author reflects on becoming chief editor of Microsoft's Data Science + AI online publication and recounts a career spanning cryptanalysis research, Bing Ads R&D, and site reliability engineering. ### Source excerpt Thoughts on taking the helm of DS@MImage by the author (generated with ChatGPT). This week marks an important chapter of Data Science + AI at Microsoft, as well as in my own professional journey, as I step into the role of chief editor of this online publication after the farewell of its wonderful founder, Casey Doyle. This change is not something that I had planned -- rather it's a combination of unexpected circumstances have come together to make it happen, like many other things that have shaped my career and enabled this opportunity. If you read Casey's farewell article from last week, you may see why a metaphor of navigating the ocean came to mind when I was thinking about what's next for DS@M now that I'm "captaining the ship." The first chapter of my journey took place in 2010 as a Ph.D. intern in Microsoft Research. Under the supervision of Dmitry Khovratovich, I studied block hash functions. The paper that I coauthored ended up making a big splash in cryptanalysis (see Biclique attack -- Wikipedia), and a fun fact is that it took two years and several rejections at conferences and workshops for it to be recognized. Our approach involved surprisingly simple math and deterministic algorithms to crack a problem that was previously considered a "puzzle" requiring some craft with a bit of luck to solve. This was my main takeaway from the internship: twist and dissect the complex problems until they get reduced to an intuitively understood form, so that solving them becomes a matter of applying the right calculus. I returned in October 2012 as a full-time employee in Bing Ads R&D. I was expecting an applied research job and ended up as an SRE (Site Reliability Engineer) in the Audit Trail service working with logs collected for customer ads. It was "type 2" fun work -- absolutely not fun in the moment, but exciting when I look back. It served as a practical crash course that left the "bible" of SRE imprinted in my brain: how to design services for reliability, how t ## Capital One at ACL 2026 DevFeed: [Capital One at ACL 2026]() Original publisher: [Read original article]() Author: Capital One Tech Published: 2026-07-01T15:28:51Z Content type: article Language: en Sources: [Capital One Tech]() Topics: [Natural language processing](), [Large Language Model](), [LLM security](), [Machine Learning, Security Attacks](), [Reinforcement learning](), [Jailbreak](), [Security](), [Routing (disambiguation)](), [datasets]() Tags: [2026](), [ai](), [ai-ml](), [ai-research](), [conference](), [jailbreak](), [llm-security](), [natural-language-processing](), [paper](), [partners](), [red-teaming](), [reinforcement-learning](), [research](), [science]() ### AI overview Capital One describes its accepted ACL 2026 research on natural language processing, including work on adaptive LLM red teaming, query-only model routing with generated data, and language identification on web data. The article also highlights collaboration with academic partners. ### Source excerpt Discover how Capital One is advancing state-of-the-art AI/ML science through collaborative natural language processing research.Advancing AI and NLP Frontiers at ACL 2026 As language models grow more deeply integrated into technology ecosystems, pioneering robust, efficient, and reliable Natural Language Processing (NLP) techniques becomes paramount. Capital One continues to invest in state-of-the-art AI/ML science through deep multi-sector collaboration and peer-reviewed research. At the upcoming Annual Meeting of the Association for Computational Linguistics (ACL 2026), Capital One researchers and academic partners will showcase novel findings stretching from LLM security to multilingual capabilities. Through the Science & Academic Partnerships program, Capital One bridges industry needs with academic expertise, funding critical university research and engineering solutions that make technology safer and more powerful. Our accepted publications at ACL 2026 demonstrate this thriving flywheel of talent and collaborative innovation across multiple research categories. Main Conference Research Adaptive Instruction Composition for Automated LLM Red Teaming Routing with Generated Data: Annotation-Free LLM Skill Estimation and Expert Selection Capital One Authors: Jesse Zymet, Swapnil Shinde, Sahil Wadhwa, Andy Luo Overview: Standard red teaming approaches often struggle with a limited range of jailbreak strategies or rely on ineffective, randomized crowd-sourced tactics. This paper introduces a novel framework -- Adaptive Instruction Composition -- that utilizes reinforcement learning and a neural contextual bandit to tailor attack compositions dynamically, balancing diversity and effectiveness to proactively uncover target model vulnerabilities. Routing with Generated Data: Annotation-Free LLM Skill Estimation and Expert Selection Capital One Authors: Genta Winata, Sambit Sahu, Supriyo Chakraborty, Shixiong Zhang Overview: Emerging from our gifted research collaboration ## MIT researchers develop a real-time spatiotemporal memory framework for robots DevFeed: [MIT researchers develop a real-time spatiotemporal memory framework for robots]() Original publisher: [Read original article]() Author: Adam Zewe | MIT News Published: 2026-06-17T04:00:00Z Content type: news Language: en Sources: [MIT AI News]() Topics: [Robotics](), [Artificial Intelligence](), [Computer vision]() Tags: [3d-scene-graphs](), [aeronautical-and-astronautical-engineering](), [ai](), [algorithms](), [artificial-intelligence](), [autonomous-vehicles](), [computer-science-and-technology](), [computer-vision](), [daaam](), [describe-anything-anywhere-at-any-moment](), [electrical-engineering-and-computer-science-eecs](), [laboratory-for-information-and-decision-systems-lids](), [luca-carlone](), [machine-learning](), [map](), [memory](), [mit-schwarzman-college-of-computing](), [nicolas-gorlo](), [paper](), [real-time](), [research](), [robot-memory](), [robotic-perception](), [robotics](), [robots](), [school-of-engineering](), [spatial](), [spatiotemporal-mapping]() ### AI overview MIT researchers developed a long-term spatiotemporal memory framework that helps robots form and recall detailed models of large environments. The system combines map representations with language-based descriptions, answers environmental questions in plain language, and runs fast enough for real-time mobile-robot use. ### Source excerpt A new spatial memory system for robots efficiently captures details about the objects they see while exploring their environment. ## Who Verifies the Verifier DevFeed: [Who Verifies the Verifier]() Original publisher: [Read original article]() Published: 2026-05-28T00:00:00Z Content type: opinion Language: en Sources: [Alex Korbonits]() Topics: [Artificial Intelligence](), [Formal verification](), [Compiler](), [Lean](), [Math and Logic](), [Google](), [Inference](), [Language models]() Tags: [ai](), [compiler](), [formal-verification](), [google](), [inference](), [model](), [paper](), [research]() ### AI overview The article examines whether formal verification can make AI-generated mathematical proofs scalable. It contrasts human review of natural-language proofs with Google DeepMind's approach of generating proofs directly in Lean and using the Lean compiler to verify them, while noting that the system's ability to read existing mathematics remains limited. ### Source excerpt An AI built the machine I said mathematics needed -- a compiler that verifies proofs for cents instead of expert weekends. The catch is what it still can't read. ## Scalable Leader Leases for Distributed SQL Databases: CockroachDB at SIGMOD 2026 DevFeed: [Scalable Leader Leases for Distributed SQL Databases: CockroachDB at SIGMOD 2026]() Original publisher: [Read original article]() Author: Rebecca Taft Published: 2026-05-26T00:00:00Z Content type: release Language: en Sources: [Cockroach Labs]() Topics: [CockroachDB](), [distributed-systems](), [Databases](), [Cockroach Labs](), [SQL](), [Raft](), [systems](), [health checks]() Tags: [2026](), [cockroach-labs](), [cockroachdb](), [consensus](), [distributed](), [paper](), [sql]() ### AI overview Cockroach Labs announces a SIGMOD 2026 paper on scalable leader leases for multi-consensus groups in CockroachDB. The paper addresses lease-management overhead in distributed SQL databases, where coordinating leases across very large numbers of replicated data ranges can consume CPU and slow recovery from failures. ### Source excerpt We are pleased to announce that Cockroach Labs has a new paper appearing at SIGMOD 2026: Scalable Leader Leases For Multi Consensus Groups in CockroachDB. ## Why Reading Research Papers Can Accelerate Learning in Agentic Development DevFeed: [Why Reading Research Papers Can Accelerate Learning in Agentic Development]() Original publisher: [Read original article]() Author: hi@swizec.com (Swizec Teller) Published: 2026-04-20T00:00:00Z Content type: opinion Language: en Sources: [Swizec Teller]() Topics: [Agentic development](), [Development]() Tags: [agentic-development](), [agents](), [paper](), [reading](), [research]() ### AI overview The author argues that research papers are an efficient source of distilled knowledge for learning technical subjects. They describe using papers to build a mental framework for agentic development, while noting that expert conversations and books are better suited to very recent information or broad historical context. ### Source excerpt Read more papers. You can learn the latest and greatest in your field in one chill afternoon. ## Hedge 302: Communications in Biological Systems DevFeed: [Hedge 302: Communications in Biological Systems]() Original publisher: [Read original article]() Author: Russ Published: 2026-04-17T18:18:29Z Content type: article Language: en Sources: [rule 11 reader]() Topics: [networking](), [Networks](), [systems]() Tags: [audio](), [communications](), [hedge](), [networks](), [paper](), [talk]() ### AI overview This podcast episode discusses a recent paper comparing communication in computer networks with communication in biological systems. Emily Reeves and Joe Deweese join Russ and Tom to examine similarities in the problems and tools used by both types of communication systems. ### Source excerpt What does biology have to do with computer networks? Much more than you might think. Communications systems, after all, need to solve the same problems--and they often use the same kinds of tools. In this episode of the Hedge, Emily Reeves and Joe Deweese join Russ and Tom to talk about a recent paper comparing computer communications to biological communications. ## White Paper on Data Science Technical Program Management DevFeed: [White Paper on Data Science Technical Program Management]() Original publisher: [Read original article]() Author: Sonu Jain Published: 2026-02-27T12:41:46Z Content type: article Language: en Sources: [Walmart Global Tech]() Topics: [Data Science](), [Model Development](), [Development](), [Software Engineering]() Tags: [collaboration](), [coverage](), [data-science](), [experimental](), [leadership](), [machine-learning](), [management](), [paper](), [retail](), [software-engineering](), [technical](), [technical-program-manager](), [training](), [validation](), [white-paper]() ### AI overview This white paper presents a structured approach to managing Data Science programs through technical program management. It discusses business alignment, cross-functional collaboration, data validation, model training and retraining, governance, and phased execution, using an inventory forecasting initiative as a real-world example. ### Source excerpt 1. Abstract Managing Data Science programs requires a structured approach to handle the complexities of data, model development, and business alignment. This whitepaper provides a comprehensive guide on the effective program management of Data Science programs by technical program managers. It highlights the critical role of Technical Program Managers (TPMs) in driving successful execution and outlines the key phases, challenges, and recommended best practices at every stage for effectively managing Data Science programs This white paper is grounded in a real-world inventory forecasting initiative aimed at improving stock availability and reducing overstock across multiple retail categories. The program involved cross-functional collaboration between Data Science, Engineering, Product, and Business teams to build predictive models that could dynamically adjust inventory levels based on demand signals. 2. Introduction Data Science has become a critical pillar of decision-making across industries, but organizations continue to struggle with operationalizing these initiatives. Unlike software development, which follows predictable sprint cycles, Data Science programs are inherently experimental -- requiring repeated cycles of data validation, model training, and retraining before they reach acceptable performance levels. This uncertainty often leads to misaligned expectations, delays in delivery, and inconsistent business impact. The iterative nature of model development makes predictability especially challenging: teams may require multiple iterations to achieve coverage and accuracy thresholds that satisfy business needs. Without structured program management, these efforts risk becoming siloed experiments rather than scalable, value-generating solutions. This whitepaper aims to address this gap by providing a practical framework for Technical Program Managers (TPMs) to manage Data Science programs effectively. It draws on real-world experience from a large-scale inve ## Murat and Aleksey Read Papers: "Cloudspecs: Cloud Hardware Evolution Through the Looking Glass" DevFeed: [Murat and Aleksey Read Papers: "Cloudspecs: Cloud Hardware Evolution Through the Looking Glass"]() Original publisher: [Read original article]() Author: Aleksey Charapko Published: 2026-01-14T15:41:13Z Content type: opinion Language: en Sources: [Aleksey Charapko]() Topics: [Cloud](), [Amazon Web Services](), [Hardware](), [Benchmark](), [dataset]() Tags: [analysis](), [architectures](), [aws](), [benchmark](), [cloud](), [compute](), [cost](), [cpu](), [dataset](), [efficiency](), [graviton](), [hardware](), [network](), [other-thoughts](), [paper](), [papers](), [reading](), [summary]() ### AI overview This article reviews the CIDR paper "Cloudspecs: Cloud Hardware Evolution Through the Looking Glass," which examines AWS virtual hardware capabilities over ten years from a cost-efficiency perspective. The paper finds that cloud CPU cost efficiency improved about twofold, while core counts improved tenfold for non-Graviton offerings; network bandwidth cost efficiency improved substantially more. The article also notes limitations in the paper's analysis of memory bandwidth and specialized hardware features. ### Source excerpt The "Cloudspecs: Cloud Hardware Evolution Through the Looking Glass" CIDR paper by Till Steinert, Maximilian Kuschewski, and Viktor Leis was the first paper I and Murat read this year. It was a short, but interesting read. Below is our reading video and my one-paragraph summary. The paper discusses the evolution of AWS cloud (virtual) hardware [...] ## Lazy Linearity for a Core Functional Language (POPL 2026) DevFeed: [Lazy Linearity for a Core Functional Language (POPL 2026)]() Original publisher: [Read original article]() Published: 2025-11-26T00:00:00Z Content type: article Language: en Sources: [Romes' Musings]() Topics: [Haskell](), [Compiler]() Tags: [compiler](), [evaluation](), [functional](), [haskell](), [language](), [optimisations](), [paper](), [types]() ### AI overview The article announces that the paper "Lazy Linearity for a Core Functional Language" will be published at POPL 2026. It explains a type system that captures linearity under Haskell's non-strict evaluation and is intended to support optimisations of linear Core programs. ### Source excerpt I'm very proud to announce that Lazy Linearity for a Core Functional Language, a paper by myself and Bernardo Toninho, will be published at POPL 26! [DOI, ACM]. The extended version of the paper, which includes all proofs, is available here [arXiv, PDF, DOI]. The short-ish story: In 2023, for my Master's thesis, I reached out to Arnaud Spiwack to discuss how Linear Types had been implemented in GHC. I wanted to research compiler optimisations made possible by linearity. Arnaud was quick to tell me: "Well yes, but you can't!" "Even though Haskell is linearly typed, Core isn't!"1 Linearity is ignored in Core because, as soon as it's optimised, previously valid linear programs become invalid. It turns out that traditional linear type systems are too syntactic, or strict, about understanding linearity - but Haskell, regardless of linear types, is lazily evaluated. Improving optimisations would have to wait. Our paper presents a system which, in contrast, also accepts programs that can only be understood as linear under non-strict evaluation. Including the vast majority of optimised linear Core programs (with proofs!). The key ideas of this paper were developed during my Master's, but it took a few more years of on-and-off work (supported by my employer Well-Typed) with Bernardo to crystalize the understanding of a "lazy linearity" and strengthen the theoretical results. Now, the proof of the pudding is in the eating. Go read it! Abstract Traditionally, in linearly typed languages, consuming a linear resource is synonymous with its syntactic occurrence in the program. However, under the lens of non-strict evaluation, linearity can be further understood semantically, where a syntactic occurrence of a resource does not necessarily entail using that resource when the program is executed. While this distinction has been largely unexplored, it turns out to be inescapable in Haskell's optimising compiler, which heavily rewrites the source program in ways that break syntactic l ## Exploring a space-based, scalable AI infrastructure system design DevFeed: [Exploring a space-based, scalable AI infrastructure system design]() Original publisher: [Read original article]() Published: 2025-11-04T16:58:00Z Content type: article Language: en Sources: [The latest research from Google]() Topics: [AI Infrastructure](), [Google](), [AI Platform](), [AI Research]() Tags: [2025](), [ai](), [ai-infrastructure](), [compute](), [engineering](), [general-science](), [google](), [machine-learning](), [modular](), [orbit](), [paper](), [research](), [responsible-ai](), [science](), [solar](), [space]() ### AI overview Google describes Project Suncatcher, a research moonshot exploring solar-powered satellite constellations equipped with TPUs and connected by free-space optical links. The proposed system aims to scale machine learning compute in space while addressing communication, orbital dynamics, radiation, and modular satellite design challenges. ### Source excerpt General Science ## HTTP/1.1 must die: the desync endgame DevFeed: [HTTP/1.1 must die: the desync endgame]() Original publisher: [Read original article]() Author: James Kettle Published: 2025-08-06T22:20:00Z Content type: article Language: en Sources: [PortSwigger Research]() Topics: [HTTP](), [Security](), [Vulnerabilities](), [Parser](), [Open Source]() Tags: [2025](), [akamai](), [cloudflare](), [http](), [issue](), [netlify](), [open-source](), [paper](), [protocol](), [security](), [tcp](), [tls](), [vulnerabilities](), [web]() ### AI overview This paper argues that HTTP/1.1 has a fundamental request-boundary flaw that enables HTTP desync and request smuggling attacks. It presents attack techniques, case studies involving Akamai, Cloudflare, and Netlify, an open-source detection toolkit, and the case for replacing HTTP/1.1 with HTTP/2 or later. ### Source excerpt Abstract Upstream HTTP/1.1 is inherently insecure and regularly exposes millions of websites to hostile takeover. Six years of attempted mitigations have hidden the issue, but failed to fix it. This p ## Recursive Improvement: AI Singularity Or Just Benchmark Saturation? DevFeed: [Recursive Improvement: AI Singularity Or Just Benchmark Saturation?]() Original publisher: [Read original article]() Published: 2025-02-12T00:00:00Z Content type: opinion Language: en Sources: [Tim Kellogg]() Topics: [Artificial Intelligence](), [Large Language Model](), [Benchmark]() Tags: [ai](), [benchmark](), [llms](), [paper](), [self-improvement](), [training]() ### AI overview This opinion article examines a paper describing recursive self-improvement for large language models: models generate problems and answers, filter results through majority voting, and train on the resulting corpus. It argues that the approach may extend performance on incremental, objectively verifiable tasks, while facing limitations with ambiguous problems, creative writing, and cost. ### Source excerpt A fascinating new paper shows that LLMs can recursively self-improve. They can be trained on older versions of themselves and continuously get better. This immediately made me think, "this is it, it's the AI singularity", that moment when AI is able to autonomously self-improve forever and become a... (well that sentence can end a lot of ways) ## S1 paper explains inference-time scaling by extending an LLM's reasoning DevFeed: [S1 paper explains inference-time scaling by extending an LLM's reasoning]() Original publisher: [Read original article]() Published: 2025-02-03T00:00:00Z Content type: opinion Language: en Sources: [Tim Kellogg]() Topics: [Artificial Intelligence](), [Large Language Model](), [Inference](), [scaling laws](), [OpenAI]() Tags: [ai](), [inference](), [llm](), [openai](), [paper](), [scaling-laws](), [tokens](), [training]() ### AI overview This commentary discusses the S1 paper, which describes a model that is slightly below state of the art but can run on the author's laptop. It focuses on inference-time scaling and the paper's explanation of extending an LLM's reasoning by forcing it to continue after it tries to stop, along with connections to token selection and Entropix. ### Source excerpt A new paper released on Friday is making waves in the AI community, not because of the model it describes, but because it shows how close we are to some very large breakthroughs in AI. The model is just below state of the art, but it can run on my laptop. More important, it sheds light on how all this stuff works, and it's not complicated. ## Explainer: Latent Space Experts DevFeed: [Explainer: Latent Space Experts]() Original publisher: [Read original article]() Published: 2024-12-24T00:00:00Z Content type: opinion Language: en Sources: [Tim Kellogg]() Topics: [Large Language Model](), [Embeddings](), [Google](), [Retrieval Augmented Generation (RAG)](), [Cache]() Tags: [embeddings](), [explainer](), [google](), [llms](), [paper](), [rag](), [reasoning]() ### AI overview This explainer discusses Google DeepMind's paper "Deliberation in Latent Space via Differentiable Cache Augmentation." It describes pairing a generalist frozen LLM with a domain-specific coprocessor LLM that supplies additional embeddings, and compares this approach with retrieval-augmented generation and text-based communication. ### Source excerpt A new paper just dropped from Google DeepMind, Deliberation in Latent Space via Differentiable Cache Augmentation. I don't think this paper is very readable, but it also seems quite important so I wanted to take a moment to break it down, as I understand it. [Next page]()