TGTGInsightтелеграм анализLIVE / telegram public index
← Такты, стеки, два колеса

TGINSIGHT SIMILAR POSTS

Намери подобно съдържание

Изходен канал @clockstackwheels · Post #721 · 26.12

Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev

Hashtags

Резултати

Намерени 74 подобни публикации

Търсене: #paper

当前筛选 #paper清除筛选
LESHER IS HERE!

@xlesherxishere · Post #17509 · 19.01.2026 г., 10:04

Почему новый альбом A$AP Rocky «Don’t Be Dumb» – провал 🤔 Свершилось! Почти 8 лет ожиданий, сотни слухов и несколько переносов – «Don’t Be Dumb», долгожданный альбом Ракима Майерса, всё же вышел. Казалось бы, повод для восторга. Но, как это часто бывает, всё оказалось не так однозначно. Давайте разбираться. Анонс альбома состоялся ещё в 2023 году, и с тех пор сопровождался тщательно продуманной визуальной кампанией, клипами и громкими коллаборациями – и даже для создания обложки Раким обратился к Тиму Бёртону. На первый взгляд всё выглядело как серьёзное возвращение большого артиста, но при ближайшем рассмотрении за эффектной оболочкой почти не обнаружилось содержания – живого и внятного художественного высказывания. Когда речь заходит о таком долгом ожидании, невольно вспоминается Playboi Carti и его «MUSIC». Да, альбом перегружен треками, но в нём есть идеи, энергия, риск, внутренняя динамика. «DBD» лишён всего этого – он не раздражает, не провоцирует, не вызывает споров. Пластинка просто проходит мимо. Главная проблема «DBD» в том, что он устарел ещё до своего выхода. И дело не в возрасте A$AP Rocky. Зрелые артисты умеют звучать свежо без оглядки на современное звучание или TikTok – Tyler, The Creator, Кендрик Ламар, Clipse или тандем Future с Metro Boomin это наглядно демонстрируют. Более того, Тайлер – давний соратник Майерса и соавтор «DBD» – последние годы показывает, как должна выглядеть эволюция артиста с амбициями. На таком фоне новый альбом Ракима выглядит не просто слабым – он устарел ещё на стадии концепции, если она вообще была. Можно не обращать внимания на целостность звучания, но сложно не заметить количество проходных песен. Здесь слишком много «базового» рэпа поверх вторичных битов, которые, наверное, могли бы впечатлить кого-то в 2018 году, но точно не сегодня. У некоторых композиций заметен странный эффект – вторая половина трека звучит так, что можно было бы обойтись и вовсе без неё. Что касается экспериментов на альбоме, они есть – «STFU» и «AIR FORCE (BLACK DEMARCO)», но в этих композициях Раким почему-то звучит потерянным, что сильно портит впечатление. Тем не менее, сильные эпизоды у альбома, конечно, есть. Прекрасная джазовая композиция «ROBBERY» с Doechii – редкий пример действительно удачной идеи с внятной реализацией. Можно также отметить «STOLE YA FLOW», «WHISKEY (RELEASE ME)» с Деймоном Албарном и «STOP SNITCHING» с чётко выстроенной атмосферой. И всё же эти треки скорее исключения, подтверждающие общее правило: «Don’t Be Dumb» не удерживает внимание и не оставляет никакого послевкусия. И здесь неизбежен главный вопрос: чем A$AP Rocky сегодня может удивить как артист? Тем, что у него трое детей от одной из самых красивых и ярких певиц XXI века – Рианны? Тем, что он снимается в фильмах, появляется на модных показах и обложках журналов? Всё это, безусловно, замечательно, но это не про музыку, и уж тем более не про релиз, которого слушатели и фанаты ждали почти 8 лет. «Don’t Be Dumb» – не провал в громком смысле слова, это куда более неприятная форма неудачи: альбом, о котором попросту нечего говорить, потому что в нём нет идей, за которые можно было бы зацепиться. Возможно, Ракиму действительно стоит взять паузу – не ради перезагрузки образа, а ради возвращения к самому важному: к искренней музыке, способной удивлять, вдохновлять и задерживаться в памяти. 🎧: VK • Apple Music • Spotify • YouTube #paper

Hashtags

Iceyの彩虹糖

@Iceyour · Post #5 · 22.05.2022 г., 15:09

#Paper Here are some excellent mathematics article that don't requirepro fessional knowledge to understand. “What educated citizens should know about statistics and probability”|《你应该知道的概率统计》 “A Plea for Pure Science ”|《为纯科学呼吁》

Hashtags

Am Neumarkt 😱

@amneumarkt · Post #109 · 09.12.2020 г., 12:11

#ML#paper https://arxiv.org/abs/2012.00152 Every Model Learned by Gradient Descent Is Approximately a Kernel Machine Deep learning's successes are often attributed to its ability to automatically discover new representations of the data, rather than relying on handcrafted features like other learning methods.

Hashtags

Earth&Climate Tech

@earth_climate_tech · Post #391 · 18.09.2023 г., 18:17

​​Seismic Foundation Model от создателя FaultSeg3D Как говорится paper alert📖! Когда-то давно d 2018, тогда еще сотрудник Техасского Университета в Остине, Xinming Wu сделал синтетический датасет сейсмических моделей с разломами и обучил на нем довольно простую по нынешним временам сверточную нейронную сеть для сегментации разломов - FaultSeg3D. Написал статью и выкатил модель в октрытый доступ. На тот момент это был прорыв, так как модель работала во многом лучше существующих на тот момент инструментов. Совсем недавно, он же сделал первый шаг к созданию первой базовой модели (Foundation Model) для сейсмического анализа недр и выпустил статью - "Seismic Foundation Model (SFM): a new generation deep learning model in geophysics". Особенность базовых моеделей в том, что они обучены на огромном количестве данных и служат отправной точкой для разработки специализированных моделей и могут быть легко адаптированы к широкому спектру применений. Авторы накопали 192 сейсмических куба, >2 миллионов сейсмических разрезов и натренировали эту самую сейсмическую базовую модель, используя архитектуру Трансформера. Затем протестировали работу модели на различных задачах: классификация фаций, сегментация геологических тел, сейсмическая инверсия, подавление шумов и интерполяция сейсмической записи. Теперь они могут дообучать модель или использовать тонкую настройку для более узких задач. Побольше бы такого! В обсчем, что тут сказать, Data is a King 👑. Есть данные, будет и базовая модель. Но только, сдается мне, что даже с "номинально" открытыми данными все не так просто и там куча условностей. Видимо по этому, ссылка на гитхаб в статье не работает 😀. Статью можете нати во вложении! #ML#AI#paper

Hashtags

ИХР РАН / ISC RAS

@isc_ras · Post #984 · 10.08.2023 г., 08:43

В международном журнале Colloids and Surfaces A: Physicochemical and Engineering Aspects вышла новая статья ученых ИХР РАН к.х.н. Гуриной Дарьи Леонидовны и д. физ.-мат. н. Будкова Юрия Алексеевича. В этой статье представлено полноатомное моделирование классической молекулярной динамики процесса самосборки обратных мицелл в четыреххлористом углероде и сверхкритическом диоксиде углерода (scCO2). В исследовании изучалось влияние типа растворителя, структуры поверхностно-активного вещества (ПАВ), соотношения вода/ПАВ и концентрации ПАВ на самосборку, размер и форму обратных мицелл. Результаты получены с помощью суперкомпьютерных вычислений с привлечением GPU. https://www.sciencedirect.com/science/article/pii/S0927775723012840?via%3Dihub #paper#ИХРРАН

Am Neumarkt 😱

@amneumarkt · Post #140 · 09.01.2021 г., 09:17

#intelligence#paper#ML Superintelligence Cannot be Contained: Lessons from Computability Theory https://www.jair.org/index.php/jair/article/view/12202 > We argue that total containment is, in principle, impossible, due to fundamental limits inherent to computing itself. Assuming that a superintelligence will contain a program that includes all the programs that can be executed by a universal Turing machine on input potentially as complex as the state of the world, strict containment requires simulations of such a program, something theoretically (and practically) impossible.

123•••67
ПредишнаСтр. 1 от 7Следваща