javascript
Type-level программирование в TypeScript: практические кейсы и новые возможности

Изображение, созданное DALL-E Type-level программирование в контексте TypeScript - это набор приемов и паттернов, позволяющих решать задачи уже на этапе компиляции, опираясь на возможности системы типов. Если описывать коротко:TypeScript умеет вычислять определенные конструкции во время компиляции, используя Generics, Conditional Types, Template Literal Types и другие механизмы.Результаты таких вычислений не попадают в итоговый JavaScript-код, но активно влияют на валидацию и безопасность к…

  • воскресенье, 5 января 2025 г. в 00:00:05
javascript
Руководство по Convex. Часть 3

Привет, друзья! В этой серии статей я рассказываю о Convex — новом открытом и бесплатном решении BaaS (Backend as a Service — бэкенд как услуга), которое выглядит очень многообещающе и быстро набирает популярность среди разработчиков. На сегодняшний день Convex предоставляет реактивную базу данных смешанного типа, механизм аутентификации/авторизации, файловое хранилище, планировщик задач и средство интеллектуального поиска. Эта третья и завершающая часть серии, в которой мы поговорим о планир…

  • воскресенье, 5 января 2025 г. в 00:00:05
github
kyegomez / swarms

The Enterprise-Grade Production-Ready Multi-Agent Orchestration Framework Join our Community: https://discord.com/servers/agora-999382051935506503 The Enterprise-Grade Production-Ready Multi-Agent Orchestration Framework 🐦 Twitter   •   📢 Discord   •   Swarms Platform   •   📙 Documentation ✨ Features Category Features Benefits 🏢 Enterprise Architecture • Production-Ready Infrastructure• High Reliability Systems• Modular Des…

  • воскресенье, 5 января 2025 г. в 00:00:03
github
alufers / mitmproxy2swagger

Automagically reverse-engineer REST APIs via capturing trafficmitmproxy2swagger video.mp4 A tool for automatically converting mitmproxy captures to OpenAPI 3.0 specifications. This means that you can automatically reverse-engineer REST APIs by just running the apps and capturing the traffic. 🆕 NEW! Added support for processing HAR exported from the browser DevTools. See Usage - HAR for more details. Installation First you will need python3 and pip3. $ pi…

  • воскресенье, 5 января 2025 г. в 00:00:01
habrahabr
Как типы делают сложные задачи простыми

Последнюю пару лет мой мозг программиста всё больше увлекался типами, принципами функционального программирования и Typescript. По большей мере на это повлияло огромное количество времени, потраченное мной на кодовую базу Heartbeat — фулстек-приложения из трёхсот тысяч строк на Typescript, включающего в себя веб-приложение React, мобильное приложение React Native и сервер Node.js. Мой опыт работы с этой кодовой базой показал мне, что чем больше я полагаюсь на систему типов, тем больше пользы и…

  • суббота, 4 января 2025 г. в 00:00:09
habrahabr
FreeRTOS для самых маленьких на примере ESP-IDF

Все мы знаем, что FreeRTOS — это операционная система для проектов, где каждой задаче установлены строгие рамки времени, чтобы любое действие было гарантированно обработано. На этом познания об этой системе у большинства айтишников заканчиваются, по той простой причине, что 99% из нас не собираются никогда в жизни разрабатывать ничего наподобие софта тормозной системы автомобиля или медицинского оборудования. Но я бы хотел сегодня немного рассказать об этой системе, потому как она вполне может…

  • суббота, 4 января 2025 г. в 00:00:08
habrahabr
Германская танковая проблема: торжество статистики и один из первых примеров военного OSINT'a

В разведке, где информация является ключевым фактором успеха, важнейшей задачей всегда была оценка потенциала и возможностей противника. Традиционные методы, основанные на сборе информации от шпионов, анализе открытых источников и допросах пленных, зачастую оказывались неэффективными, предоставляя неполные, неточные и противоречивые данные. Во время Второй мировой войны перед Союзниками встала острая необходимость определить реальные масштабы производства военной техники в нацистской Германии. …

  • суббота, 4 января 2025 г. в 00:00:06
habrahabr
Более 14 лет ставлю цели на год: рассказываю, как и почему этот процесс работает у меня

Привет, меня зовут Павел Комаровский – и я из тех душнил, которые в начале января усиленно строят всякие акульи планы на год. Так как делаю я это уже много лет, у меня выработался довольно своеобразный подход к процессу, которым я и хотел с вами поделиться – надеюсь, это поможет вам избежать ошибок, которых в свое время наделал я.Фото из Токио, куда мы с женой ездили в августе 2024. К прошлой моей статье про целеполагание был прикреплен заглавный портрет двухлетней давности, где я с длинными во…

  • суббота, 4 января 2025 г. в 00:00:06
habrahabr
«Сингулярностей не существует», — утверждает первооткрыватель чёрных дыр Рой Керр

Гениальный учёный, нашедший пространственно-временное решение для вращающихся чёрных дыр, утверждает, что сингулярности физически не существуют. Прав ли он?Эта визуализация показывает, как выглядит внутренняя часть вращающейся (керровской) чёрной дыры с точки зрения наблюдателя, который пересёк внутренний горизонт событий в местном пространстве-времени. Розовая область иллюстрирует вид изнутри предполагаемой кольцевой сингулярности, которая присутствует в математической формулировке пространств…

  • суббота, 4 января 2025 г. в 00:00:05