Who Let The Dogs Out 🐾 · @ashed
138 followers · 10044 posts · Server mastodon.ml

...качество софта измеряется в FPM — «Fuck!!!»s per minute. Чем чаще работающий с софтом на него матерится — тем софт хуже.

#мысливслух #программирование

Last updated 1 year ago

𝕵𝖔𝖍𝖆𝖓 ⛧ · @johan
380 followers · 8218 posts · Server qoto.org

В 2006 году миссии THEMIS и STEREO работали на базе процессоров Intel 8085, выпущенных ещё в 1976 году.

habr.com/ru/companies/ru_mts/a

#хабр #программирование #языки #космос

Last updated 1 year ago

BeiZero · @BeiZero
112 followers · 396 posts · Server techhub.social

Если у вас парсились числа, а потом перестали на другой тачке -- чекните локаль. У нас сегодня всё утро коллеги недоумевали.

#программирование #баги

Last updated 1 year ago

BeiZero · @BeiZero
107 followers · 373 posts · Server techhub.social

Смотрю лекцию по слабым моделям памяти youtu.be/P4AnGeVFbzo и тут опять касаются формальной верификации, даже сюда хочется тащить.

#agda #формальнаяверификация #теориятипов #программирование

Last updated 1 year ago

BeiZero · @BeiZero
107 followers · 373 posts · Server techhub.social

Как говорил наш преподаватель "В математике все названия деляется на две категории -- плохие и очень плохие" и вот скажите, пожалуйста, кто придумал название "Пи исчисление(Pi Calculus)"? Если пытаться загуглить это на русском ютубе, то можно найти всё, что угодно кроме лекций по Пи исчислению, создаётся даже впечатление, что по этой теме никто ничего не снимал(но так же не может быть, ведь да?), а на английском половина видео это предложения посчитать число Пи, ну спасибо.

#математика #программирование

Last updated 1 year ago

⚛️Revertron · @Revertron
674 followers · 22983 posts · Server zhub.link

Делать рутину - самое ужасное, что может быть.
Вот сидишь, делаешь проект ради огромной функциональности, и она работает хорошо...

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

Удручает 😕

#программирование #Разработка

Last updated 1 year ago

Who Let The Dogs Out 🐾 · @ashed
118 followers · 9383 posts · Server mastodon.ml

- Твой код - говно!
- Это - твой.

#юмор #программирование

Last updated 1 year ago

Who Let The Dogs Out 🐾 · @ashed
118 followers · 9382 posts · Server mastodon.ml

pip install six-pack

ERROR: Cannot install six-packs 1.2.0 and gigachad 0.44 because these package versions have conflicted dependencies
Reverting back to Потная_Жиробасина 1.96.00

python

#юмор #программирование #gigachad

Last updated 1 year ago

Who Let The Dogs Out 🐾 · @ashed
118 followers · 9381 posts · Server mastodon.ml

Тридцать три коммита,
Тридцать три коммита,
В каждом изменялась
Лишь одна строка.

Тридцать три коммита,
Тридцать три коммита
С мастер-веткой слиты -
Говнокод тупого мудака.

#юмор #программирование

Last updated 1 year ago

ak545 · @ak545
54 followers · 765 posts · Server mastodon.ml

Наши пальчики писали
Наши пальчики устали.
Мы немножко отдохнём
И опять писать начнём 😉

Getting Google's current actual IP address ranges from ak545

get_google_ip_pull.py - Это простой python-скрипт для получения текущих фактических диапазонов IP-адресов Google.

github.com/ak545/get-google-ip

Документация на русском:
github.com/ak545/get-google-ip

#python #develop #программирование #скрипт

Last updated 1 year ago

named_leo · @named_leo
15 followers · 28 posts · Server mastodon.sdf.org

С дружбанами пишем проектик связанный с chatGpt. Прикольно что ему можно сказать: "Верни данные в формате json по такой-то схеме" и он вернёт. Очень удобно.

#программирование

Last updated 1 year ago

Brom · @brom
23 followers · 161 posts · Server mastodon.ml

У меня холиварный вопрос:
Сколько базовых принципов ООП?

#it #ООП #oop #программирование

Last updated 1 year ago

bojack horseman · @wolfar
14 followers · 37 posts · Server mastodon.ml

довольно продолжительное время играюсь с разными чат-ботами для решения рабочих и не очень задач.

пробовал практически все мейнистримные штуки, и смело могу сказать, что в плане помощи в кодинге сервис phind.com с GPT-4 и опцией Pair Programmer уделывает всех.

к тому же у него лимит 25 запросов каждые 24 часа в отличие от.

вторым местом могу с натяжкой поставить разве что Claude+ от Forefront.

#нейросети #ии #программирование

Last updated 1 year ago

German Tebiev · @turbobureaucrat
66 followers · 503 posts · Server hachyderm.io

Привет новой волне твиттерских эмигрантов!👋 Здесь я пишу про , , , и прочие небольшие моменты жизни.🙂

#чай #программирование #книги #родительство #твиттер

Last updated 1 year ago

· @universe
12 followers · 192 posts · Server mastodon.ml

Сидит программист глубоко в отладке. Подходит сынишка:
— Папа, почему солнышко каждый день встает на востоке, а садится на западе?
— Ты это проверял?
— Проверял.
— Хорошо проверял?
— Хорошо.
— Работает?
— Работает.
— Каждый день работает?
— Да, каждый день.
— Тогда ради бога, сынок, ничего не трогай, ничего не меняй!!!

#анекдот #программирование

Last updated 2 years ago

Who Let The Dogs Out · @ashed
56 followers · 7483 posts · Server mastodon.ml

Поэтический редактор: Rust + Tauri


В чём-то сочинение стихов похоже на написание кода — имеет значение только "чистый" текст, и этот текст, как и код, подчиняется определенным правилам. Поэту могли бы пригодиться те самые "автоподсказки" и подсветка кода стихов. Может, даже с какой-то поддержкой рефакторинга, помочь поэту найти слабое место. Но найти что-то подобное (особенно на русском языке) у меня не вышло. Например, на запрос poetry editor в основном выпадают сервисы по найму редакторов-людей. Проекты, конечно, есть, но они либо слабые, либо мёртвые (поправьте меня, если я неправ).

Значит, задумал я на коленках склепать IDE для поэтов…

habr.com/ru/post/710594/

github.com/sitandr/quickpoeter

#tauri #rust #программирование

Last updated 2 years ago

fgntfg :verified: · @fgntfg
149 followers · 4413 posts · Server lor.sh
Ténno Seremél · @tennoseremel
346 followers · 14755 posts · Server mstdn.io

> В общем виде только 67% участников группы, использовавшей AI-ассистент, смогли предоставить корректный и безопасный код, в то время как в другой группе этот показатель составил 79%.

> При этом показатели самооценки были обратными…

opennet.ru/opennews/art.shtml?

🤷

#lang_ru #программирование #ии #безопасность

Last updated 2 years ago

Митя Сошников · @shwars
53 followers · 146 posts · Server mastodon.ml

Готовлюсь рассказывать детям про

#программирование

Last updated 2 years ago

Who Let The Dogs Out · @ashed
68 followers · 6578 posts · Server mastodon.ml

Какой алгоритм пересортировки тасков будет наиболее эффективным?

#жиза #выгорание #программирование #юмор

Last updated 2 years ago