⚡️ Складання чистих Haskell-перевірок за допомогою HUnit і QuickCheck
У тексті розглядається питання, як складати чисті перевірки у HUnit чи QuickCheck у Haskell. Автор описує, чому це завдання не таке просте, як здається на перший погляд.
👉🏻 Канал | 💬 Чат | 📕 Каталог
У тексті розглядається питання, як складати чисті перевірки у HUnit чи QuickCheck у Haskell. Автор описує, чому це завдання не таке просте, як здається на перший погляд.
👉🏻 Канал | 💬 Чат | 📕 Каталог
ploeh blog
Composing pure Haskell assertions
With HUnit and QuickCheck examples.
❤2
⚡️ Заміна HTTPS на SSH у Git за допомогою insteadOf
У Git часто використовують HTTPS-адреси для репозиторіїв, але багато хто переходить на SSH для зручнішої авторизації через ключі. Налаштування insteadOf у Git дозволяє автоматично змінювати HTTPS-адреси на SSH, що особливо корисно для підмодулів.
👉🏻 Канал | 💬 Чат | 📕 Каталог
У Git часто використовують HTTPS-адреси для репозиторіїв, але багато хто переходить на SSH для зручнішої авторизації через ключі. Налаштування insteadOf у Git дозволяє автоматично змінювати HTTPS-адреси на SSH, що особливо корисно для підмодулів.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Meziantou's blog
Using Git insteadOf to Automatically Replace HTTPS URLs with SSH
In this post, I describe how to use Git's insteadOf configuration to automatically rewrite HTTPS URLs to SSH URLs for seamless authentication.
❤2
Forwarded from Kyiv IT News
⚡️ Тестування штучного інтелекту від OpenAI та Anthropic
Компанії OpenAI та Anthropic перевіряють, чи може штучний інтелект, як ChatGPT, Claude чи GPT-5, робити щось погане. Вони працюють зі стартапом Irregular, який має оцінку 450 мільйонів доларів, щоб дізнатися про можливі проблеми.
📝 Канал | 💻 Сайт
Компанії OpenAI та Anthropic перевіряють, чи може штучний інтелект, як ChatGPT, Claude чи GPT-5, робити щось погане. Вони працюють зі стартапом Irregular, який має оцінку 450 мільйонів доларів, щоб дізнатися про можливі проблеми.
📝 Канал | 💻 Сайт
Forbes
Потенціал ChatGPT, Claude та GPT-5 «чинити зло». Як завдяки стартапу Irregular з оцінкою $450 млн OpenAI та Anthropic тестують…
Стартап Irregular співпрацює з OpenAI та Anthropic, моделює кібератаки, досліджує ризики ChatGPT, Claude та GPT-5 і показує, чому «лінивість» ШІ копіює людську.
⚡️ Grok 4 з'явився в Azure AI Foundry
Microsoft разом з xAI додали модель Grok 4 у Azure AI Foundry. Це дає нові можливості для аналізу та контролю даних у середовищі для бізнесу.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft разом з xAI додали модель Grok 4 у Azure AI Foundry. Це дає нові можливості для аналізу та контролю даних у середовищі для бізнесу.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft Azure Blog
Grok 4 is now available in Microsoft Azure AI Foundry | Microsoft Azure Blog
Microsoft has partnered closely with xAI to bring Grok 4, their most advanced model delivering powerful reasoning, to Azure AI Foundry. Learn more.
⚡️ Нові можливості Data API builder 1.6 з HTTP-заголовками
Data API builder 1.6 дає доступ до REST та GraphQL endpoint для SQL Server, Azure Cosmos DB, PostgreSQL, MySQL та SQL Data Warehouse. REST-endpoint підтримує спеціальні HTTP-заголовки для контролю оновлень, кешування і пошуку нових ресурсів, наприклад, If-Match дозволяє робити лише оновлення існуючих даних.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Data API builder 1.6 дає доступ до REST та GraphQL endpoint для SQL Server, Azure Cosmos DB, PostgreSQL, MySQL та SQL Data Warehouse. REST-endpoint підтримує спеціальні HTTP-заголовки для контролю оновлень, кешування і пошуку нових ресурсів, наприклад, If-Match дозволяє робити лише оновлення існуючих даних.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft News
Data API builder 1.6: Advanced Behaviors with Special HTTP Headers
Customize Data API builder with HTTP headers for enhanced control over REST and GraphQL endpoints in your projects.
❤1
⚡️ .NET Aspire 9.5 спрощує AppHost та розширює підтримку AI
.NET Aspire 9.5 тепер має опцію AppHost у вигляді одного файлу і новий Generative AI Visualizer. Додано більше інтеграцій для GitHub Models, Azure AI Foundry та OpenAI, а також покращено керування життєвим циклом і логування для хмарних .NET застосунків.
👉🏻 Канал | 💬 Чат | 📕 Каталог
.NET Aspire 9.5 тепер має опцію AppHost у вигляді одного файлу і новий Generative AI Visualizer. Додано більше інтеграцій для GitHub Models, Azure AI Foundry та OpenAI, а також покращено керування життєвим циклом і логування для хмарних .NET застосунків.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Visual Studio Magazine
.NET Aspire 9.5 Simplifies AppHost, Expands AI Support -- Visual Studio Magazine
Microsoft released .NET Aspire 9.5 with a single-file AppHost option, a new Generative AI Visualizer, expanded integrations for GitHub Models, Azure AI Foundry, and OpenAI, along with lifecycle and logging improvements for distributed cloud-native .NET applications.
❤1👍1
⚡️ Microsoft запустила Windows ML
Корпорація Майкрософт оголосила про повний запуск Windows ML, вбудованого інструменту для локального висновування моделей штучного інтелекту на ПК з Windows 11. Новий фреймворк підтримує процесори, графіку та процесори AMD, Intel, NVIDIA та Qualcomm, що дозволяє розробникам створювати швидкі, безпечні та автономні рішення без залежності від хмари. Перші партнери, включаючи Adobe, McAfee та Topaz Labs, вже інтегрують Windows ML у свої програми, прокладаючи шлях до масового впровадження локального штучного інтелекту в екосистемі Windows.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Корпорація Майкрософт оголосила про повний запуск Windows ML, вбудованого інструменту для локального висновування моделей штучного інтелекту на ПК з Windows 11. Новий фреймворк підтримує процесори, графіку та процесори AMD, Intel, NVIDIA та Qualcomm, що дозволяє розробникам створювати швидкі, безпечні та автономні рішення без залежності від хмари. Перші партнери, включаючи Adobe, McAfee та Topaz Labs, вже інтегрують Windows ML у свої програми, прокладаючи шлях до масового впровадження локального штучного інтелекту в екосистемі Windows.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Windows Developer Blog
Windows ML is generally available: Empowering developers to scale local AI across Windows devices
The future of AI is hybrid, utilizing the respective strengths of cloud and client while harnessing every Windows device to achieve more. At Microsoft, we are reimagining what’s possible by bringing powerful AI compute directly to Windows devices,
👍4
⚡️ Легке розміщення NuGet пакунків через GitHub Actions
Цей текст розповідає про нову можливість Trusted Publishing на nuget.org. Вона дозволяє розміщати NuGet пакунки напряму з workflow у GitHub Actions.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Цей текст розповідає про нову можливість Trusted Publishing на nuget.org. Вона дозволяє розміщати NuGet пакунки напряму з workflow у GitHub Actions.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Andrew Lock | .NET Escapades
Publishing NuGet packages from GitHub actions the easy way with Trusted Publishing
In this post I describe how you can use nuget.org's new Trusted Publishing feature to publish NuGet packages from a GitHub Actions workflow
❤1
⚡️ Оновлення Visual Studio у вересні 2025 року
У вересневому оновленні Visual Studio 2022 (v17.14) з'явилася повністю інтегрована агентська AI для генерації коду, модернізації, профілювання та перевірки коду. Додано Profiler Agent, який тепер доступний у Visual Studio 2022.
👉🏻 Канал | 💬 Чат | 📕 Каталог
У вересневому оновленні Visual Studio 2022 (v17.14) з'явилася повністю інтегрована агентська AI для генерації коду, модернізації, профілювання та перевірки коду. Додано Profiler Agent, який тепер доступний у Visual Studio 2022.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft News
Visual Studio September Update – profiler agent, app modernization, and more
The September 2025 update for Visual Studio 2022 (v17.14) is now available, with fully integrated and game-changing agentic AI experience!
🚀 Подія, яка відкриє головні інсайди для отримання інвестицій у 2026 році!
🗓️ 8 жовтня 2025 | Online
💡 Велика онлайн-конференція: Як залучати інвестиції в українські стартапи у 2026 році?
🔥 5 зіркових спікерів — практики, які не просто аналізують тренди, а створюють їх.
📌 Програма та спікери
🗓️ 8 жовтня 2025 | Online
💡 Велика онлайн-конференція: Як залучати інвестиції в українські стартапи у 2026 році?
🔥 5 зіркових спікерів — практики, які не просто аналізують тренди, а створюють їх.
📌 Програма та спікери
⚡️ TypeScript 7 у Visual Studio 2026
У березні цього року було оголошено про TypeScript 7 native preview, а у травні сервіс Visual Studio 2026 Insiders отримав підтримку цієї версії. Під час роботи у новій preview компіляція проходить швидше, програма використовує менше памʼяті та працює швидше.
👉🏻 Канал | 💬 Чат | 📕 Каталог
У березні цього року було оголошено про TypeScript 7 native preview, а у травні сервіс Visual Studio 2026 Insiders отримав підтримку цієї версії. Під час роботи у новій preview компіляція проходить швидше, програма використовує менше памʼяті та працює швидше.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft News
TypeScript 7 native preview in Visual Studio 2026
In March of this year Anders Hejlsberg announced TypeScript 7 native preview and in May Daniel posted Announcing TypeScript Native Previews. Visual Studio 2026 Insiders now supports TypeScript’s Native Preview. Use the download link below to install the latest…
❤1
⚡️ Microsoft Agent Framework тепер у публічному попередньому перегляді
Microsoft представила Agent Framework у публічному попередньому перегляді. У Azure AI Foundry з’явилися нові можливості для простішого створення, спостереження та управління багатокомпонентними системами.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft представила Agent Framework у публічному попередньому перегляді. У Azure AI Foundry з’явилися нові можливості для простішого створення, спостереження та управління багатокомпонентними системами.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft Azure Blog
Introducing Microsoft Agent Framework | Microsoft Azure Blog
Find out how Microsoft Agent Framework can help simplify the orchestration of multi-agent systems and keep developers in flow.
⚡️ Огляд Microsoft Agent Framework (Preview)
Microsoft Agent Framework (Preview) дозволяє розробникам .NET швидше створювати, налаштовувати та керувати AI агентами. Він об’єднує створення агентів, організацію, інструменти, розміщення та спостереження за ними.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft Agent Framework (Preview) дозволяє розробникам .NET швидше створювати, налаштовувати та керувати AI агентами. Він об’єднує створення агентів, організацію, інструменти, розміщення та спостереження за ними.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft News
Introducing Microsoft Agent Framework (Preview): Making AI Agents Simple for Every Developer
Microsoft Agent Framework (Preview) unifies agent creation, orchestration, tooling, hosting, and observability so any .NET developer can ship production AI agents faster.
❤2👍1
⚡️ Бонуси підписки Visual Studio
На конференції Visual Studio Live! у Редмонді спікер розповів про цінні бонуси підписки Visual Studio.
З понад 400 розробників тільки близько 160 активували усі доступні переваги підписки.
👉🏻 Канал | 💬 Чат | 📕 Каталог
На конференції Visual Studio Live! у Редмонді спікер розповів про цінні бонуси підписки Visual Studio.
З понад 400 розробників тільки близько 160 активували усі доступні переваги підписки.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft News
The $150 Secret Hiding in Plain Sight
Unlock the hidden $150+ monthly value in your Visual Studio subnoscription! Discover how developers can access free Azure credits, premium Microsoft software, and exclusive training like Pluralsight and Cloud Academy. Don’t miss out—learn how to activate your…
⚡️ Відкрита Microsoft Agent Framework
Microsoft відкрила Microsoft Agent Framework. Ця система об'єднує Semantic Kernel та AutoGen, щоб спростити створення і запуск AI агентів і процесів у Python та .NET.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft відкрила Microsoft Agent Framework. Ця система об'єднує Semantic Kernel та AutoGen, щоб спростити створення і запуск AI агентів і процесів у Python та .NET.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Visual Studio Magazine
Semantic Kernel + AutoGen = Open-Source 'Microsoft Agent Framework' -- Visual Studio Magazine
Microsoft launched the open-source Microsoft Agent Framework, unifying Semantic Kernel and AutoGen to simplify building, orchestrating, and deploying AI agents and workflows in Python and .NET.
⚡️ Microsoft відключила сервіси Azure для Міністерства оборони Ізраїлю
Президент Microsoft Бред Сміт повідомив співробітникам, що компанія припинила надавати низку послуг підрозділу Міністерства оборони Ізраїлю.
Рішення було ухвалено після внутрішньої перевірки публікації The Guardian, в якій стверджувалося, що технології Azure використовувалися для масового зберігання даних із телефонних розмов жителів Гази та Західного берега.
Microsoft заявила, що її політика суворо забороняє використання продуктів для масового стеження за цивільними особами.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Президент Microsoft Бред Сміт повідомив співробітникам, що компанія припинила надавати низку послуг підрозділу Міністерства оборони Ізраїлю.
Рішення було ухвалено після внутрішньої перевірки публікації The Guardian, в якій стверджувалося, що технології Azure використовувалися для масового зберігання даних із телефонних розмов жителів Гази та Західного берега.
Microsoft заявила, що її політика суворо забороняє використання продуктів для масового стеження за цивільними особами.
👉🏻 Канал | 💬 Чат | 📕 Каталог
CNN
Microsoft terminates services for Israeli military after investigation into mass surveillance of Palestinians
Microsoft has terminated a set of services for the Israeli military after an investigation suggested Israel was using the company’s cloud computing technology for mass surveillance of Palestinians.
⚡️ Сумісність ReSharper з Visual Studio 2026
Вийшла нова версія Microsoft Visual Studio 2026 Insiders. ReSharper вже працює з цією версією, і головне оновлення Visual Studio скоро з'явиться. Є кроки для переходу та обіцяні швидші результати роботи.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Вийшла нова версія Microsoft Visual Studio 2026 Insiders. ReSharper вже працює з цією версією, і головне оновлення Visual Studio скоро з'явиться. Є кроки для переходу та обіцяні швидші результати роботи.
👉🏻 Канал | 💬 Чат | 📕 Каталог
The JetBrains Blog
ReSharper and Visual Studio 2026: Day-One Compatibility, Migration Steps, and Performance Gains | The .NET Tools Blog
Microsoft Visual Studio 2026 Insiders is here, and the next major VS update is on the horizon. As with any new Visual Studio version, one of the first questions developers ask is: "Will my extensions
⚡️ Вихід Azure SDK у вересні 2025 року
У вересні 2025 року відбувся новий випуск Azure SDK. Щомісяця публікуються основні оновлення та нотатки про випуск.
👉🏻 Канал | 💬 Чат | 📕 Каталог
У вересні 2025 року відбувся новий випуск Azure SDK. Щомісяця публікуються основні оновлення та нотатки про випуск.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft News
Azure SDK Release (September 2025)
Azure SDK releases every month. This post includes the September 2025's highlights and release notes.
⚡️ Конференція Visual Studio Live! у Орландо
З 16 по 21 листопада 2025 року у готелі Royal Pacific Resort в Орландо пройде подія Visual Studio Live! на Live 360 Tech Con. Тут учасники зможуть взяти участь у сесіях за 41 напрямком та поспілкуватися з іншими розробниками.
👉🏻 Канал | 💬 Чат | 📕 Каталог
З 16 по 21 листопада 2025 року у готелі Royal Pacific Resort в Орландо пройде подія Visual Studio Live! на Live 360 Tech Con. Тут учасники зможуть взяти участь у сесіях за 41 напрямком та поспілкуватися з іншими розробниками.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft News
VS Live! Orlando – Your Ultimate Learning Adventure
Join Visual Studio Live! Orlando, Nov 16–21, 2025. Hands-on labs, .NET & AI sessions, and up to $900 subscriber savings. Register today
⚡️ Попередній перегляд 'рідного' TypeScript 7 у Visual Studio 2026 Insiders
Microsoft додала Go-версію компілятора TypeScript до Visual Studio 2026 Insiders. Це дає до 10 разів швидшу роботу та працює поряд з нинішнім компілятором на JavaScript.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft додала Go-версію компілятора TypeScript до Visual Studio 2026 Insiders. Це дає до 10 разів швидшу роботу та працює поряд з нинішнім компілятором на JavaScript.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Visual Studio Magazine
'Native' TypeScript 7 Previews in Visual Studio 2026 Insiders -- Visual Studio Magazine
Microsoft has brought its Go-based native TypeScript compiler to Visual Studio 2026 Insiders, marking a major milestone in the move toward TypeScript 7 with up to 10x performance gains and a dual-track roadmap alongside the current JavaScript-based compiler.
⚡️ Microsoft представить Visual Studio 2026 у Орландо
Microsoft оголосила, що нова Visual Studio 2026 буде представлена на конференції Visual Studio Live! у листопаді в Орландо. Ця подія покаже нові можливості і зміни у Visual Studio 2026.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Microsoft оголосила, що нова Visual Studio 2026 буде представлена на конференції Visual Studio Live! у листопаді в Орландо. Ця подія покаже нові можливості і зміни у Visual Studio 2026.
👉🏻 Канал | 💬 Чат | 📕 Каталог
Visual Studio Magazine
Microsoft to Detail Visual Studio 2026 at Visual Studio Live! in Orlando -- Visual Studio Magazine
Microsoft today announced that the brand-new Visual Studio 2026 will be the star of the show at the Visual Studio Live! developer conference in Orlando in November.
❤1