Архив января 2025 - 77

в 13:45, , рубрики: Новости

Производитель электромобилей Tesla объявил о начале развёртывания новой версии своих зарядных станций Supercharger в Китае. Это событие станет важным шагом в развитии инфраструктуры зарядки электромобилей в стране.

Новые зарядные станции V4 Supercharger, которые будут запущены в 2025 году, будут иметь мощность до 500 кВт и будут доступны не только для автомобилей Tesla, но и для других брендов электромобилей в Китае. Это решение позволит улучшить эффективность зарядки, что является ключевым фактором для развития рынка электромобилей.

Читать полностью »

в 13:19, , рубрики: rp2040, uart

Привет ребята. Приступая к очередному проекту решил, наконец, мигрировать с ненавистного мне STM32 на что-то более простое, компактное и понятное. Чтобы закрыть вопрос с STMками, выскажу свое мнение, что они превратились в монстров, которых без графических «костылей» и сконфигурировать то с нуля невозможно. А чтение документации на железо превращается в пытку. Взять хотя бы настройку ШИМа в таймерах…

Читать полностью »

в 13:15, , рубрики: Новости

Электрический пикап Tesla Cybertruck, представленный в ноябре прошлого года, продолжает удивлять владельцев и экспертов своей конструкцией. В этот раз проблема возникла с фарами, которые оказались не приспособлены к зимним условиям.

Как сообщают владельцы Cybertruck в социальных сетях, снег легко забивает фары, что приводит к ухудшению видимости на дороге. Причина кроется в их конструкции: фары расположены в углублении, которое накапливает грязь, песок и снег. Это приводит к тому, что фары оказываются заблокированы снегом, и водителям приходится останавливаться на дороге, чтобы очистить их.

Читать полностью »

в 13:02, , рубрики: ruvds_переводы, автодополнение кода, валидация, проверка типов, системы типов, типы

Как типы делают сложные задачи простыми - 1


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

Написание кода в кодовой базе, полностью сделавшей упор на типы, похоже на жульничество. Часто я могу реализовать 80% новой фичи, ни разу не запустив код. Я начинаю работать над крупным рефакторингом, требующим нарушить допущение, принятое во всём коде, но вскоре выясняю, что благодаря системе типов изменения оказываются тривиальными. Простые фичи практически кодируют себя сами, потому что опечатки мгновенно отлавливаются, а половина моего кода пишется автодополнением. На вопросы от команды техподдержки о тонкостях работы какой-то фичи можно ответить при помощи Ctrl+F в коде, даже если письменной документации почти нет. Целые категории багов, с которыми мне приходилось бороться, попросту исчезли.

Я начал называть стиль кодинга, позволяющий реализовать подобное, Type Driven Development. В статье я приведу разрозненные мысли и ссылки на ресурсы, сильно повлиявшие на то, как я понимаю type driven development.
Читать полностью »

в 12:05, , рубрики: stm32

Решил по мере сил делиться примерами использования ассемблера в своих проектах. Я не буду рассуждать о том, надо это или не надо конкретно в вашем проекте. Просто показываю, а выводы делаете вы сами.

Вводные данные

В данный момент заканчиваю разработку цифрового синтезатора Kaleidoscope собственного авторства. Синтезатор работает на базе микроконтроллера stm32f446, процессор которого имеет ряд очень интересных и полезных инструкций, описанных в Programming Manual.

Читать полностью »

в 11:00, , рубрики: 1 января, 1970, IBM, UNIX, индустрия ПО, Программное обеспечение
1 января 1970 года. День создания индустрии программного обеспечения - 1

Эра Unix — это дата, которая жёстко закодирована в компьютерах повсеместно. Возможно, это самая известная дата в вычислительной технике, и она будет существовать до тех пор, пока у нас есть системы, основанные на Unix.

Читать полностью »

в 10:55, , рубрики: open source, ruby, selectel, Программирование, разработка, Софт
image

Привет! На связи команда Selectel. Разработчики Ruby молодцы: прошло всего два месяца — и уже готов новый выпуск языка, на этот раз 3.4.0. Напомню, что это динамически объектно-ориентированный язык программирования. Его хвалят за возможность быстро разработывать приложения.

Ruby вобрал в себя лучшие черты таких языков, как Perl, Java, Python, Smalltalk, Eiffel, Ada и Lisp, чтобы предложить разработчикам простой и гибкий инструмент для решения задач. Код Ruby распространяется под лицензиями BSD («2-clause BSDL») и «Ruby», которая совместима с GPLv3 и ссылается на последнюю версию лицензии GPL. Но хватит о языке, давайте, наконец, поговорим о его новом выпуске.
Читать полностью »

в 10:48, , рубрики: боль, депрессия, психология, серотонин

Всем привет. Меня зовут Александр, и я айтишник. Нет, я не торчок, но уже несколько лет я живу с постоянной болью, как morphiumsüchtig на ломке (хотя и не так страшно). В течение этого времени у меня сложилось понимание ( а оно всегда субъективно ), как работает регуляция боли, последствия ее нарушения, и почему это может коснуться каждого. Даже тебя, Анон. А скорее всего уже коснулось. Особенно, если ты, Анон, знаком с фразами "у вас остеохондроз", "сорвал спину", "что-то защемило", то статья про тебя и для тебя. Надеюсь, она будет полезна.

Дисклеймер.

Читать полностью »

в 10:07, , рубрики: agile, gtd, личная эффективность, планирование, продуктивность, саморазвитие, целеполагание

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

Читать полностью »

в 9:26, , рубрики: Calculus of constructions, coq, lambda calculus, theorem prover, type theory, zfc, фундамент знаний, Фундамент математики
1...1020...767778
Главная   |  Архив новостей  |   Android  |   Google  |   Apple  |   Microsoft  |   Информационная безопасность  |   Веб – разработка
Публикации RSS  |  Комментарии RSS
https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js