Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASARyan chats with Leo de Moura, Senior Principal Applied Scientist at AWS and the creator of the Lean language, about proving correctness in AI agents with the Lean language, how automated reasoning complements probabilistic AI models, and the use of AI for continuous code optimization.
Lean is a functional programming language and proof assistant that allows developers to write programs and verify their mathematical correctness within the exact same system.
Connect with Leo on LinkedIn and check out his many badges on Stack Overflow.
Congrats to Populist badge winner Peter Lawrey for winning the badge on their answer to Check two float/double values for exact equality.
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Inside LinkedIn's cognitive memory agent for agentic personalization | 0 | 11.47 | 25-08-2026 |
| 2 | How to be fearlessly AI native | 0 | 6.52 | 07-08-2026 |
| 3 | Building an agentic SDLC with a QA engineering mindset | 0 | 10.4 | 18-08-2026 |
| 4 | From PHP to team lead of agents: rethinking judgment, review, and data with Google's Andi Gutmans (Part 1) | 0 | 8.34 | 20-08-2026 |
| 5 | Moving Towards Spec-Driven Development | 0 | 12.63 | 19-12-2025 |
| 6 | Configuring a Versatile LLM Harness & Scraping the Web With Scrapy | 0 | 8.36 | 24-07-2026 |
| 7 | Security Challenges of Autonomous AI Coding Agents: Insights from Early Real-World Use #programming #artificialintelligence | 0 | 10.35 | 26-05-2026 |
| 8 | Cut AI token usage by 96%? Here’s how AWS Strands Agents does it. | 0 | 14.09 | 29-04-2026 |
| 9 | [Видео] Воркшоп "Построение AI-агента: Говори с данными на языке бизнеса" | 0 | 13.07 | 20-03-2026 |
| 10 | Write a coding agent from first principles: better tools | 0 | 10 | 12-07-2026 |