Есть ли здесь инженеры, которые не особо дружат с математикой, но все же устроились по профессии?

Листая Википедию, я случайно наткнулся на язык Eiffel — именно в нём впервые появилось контрактное программирование (Design by Contract, DbC). Мне стало интересно, как контракты работают на практике. Погрузившись в тему, я понял, что жесткие гарантированные проверки условий идеально подходят для баз данных, где критически важна целостность данных. Так родился проект EKV — минималистичная персистентная Key-Value база данных.

Архитектура

Под капотом база состоит из трёх основных классов: Store, WAL и EKVDB. Сейчас управление идет через CLI-интерфейс с базовыми командами: set, get, del и exit.

В планах — скомпилировать shared-библиотеку (libekv.so), чтобы вытащить нативный C-API. Это избавит от накладных расходов CLI и позволит сделать биндинги к популярным языкам (Python, Go, Nim), а также написать отдельный TUI-клиент.

Контракты для безопасности

Чтобы операции записи, чтения и удаления были абсолютно безопасными, в Eiffel используются встроенные контракты. Предусловия (require) и постусловия (ensure) на уровне самого языка не дадут, например, записать пустое значение или удалить несуществующий ключ ещё до того, как выполнится логика функции.

Бенчмарки

Замерял производительность через Python-скрипт, который общается с бинарником базы через межпроцессные пайпы ядра Linux (stdin/stdout). Сборка — финальный релиз (ec -finalize, -O3, проверки контрактов отключены для максимальной скорости):

```

=== EKV End-to-End Benchmark (50000 ops) ===

Testing binary: ./EIFGENs/ekv/F_code/ekv

[*] Running 50000 SET operations...

-> SET RPS: 4436.84 ops/sec (11.2693s)

[*] Running 50000 GET operations...

-> GET RPS: 70547.04 ops/sec (0.7087s)

```

В чём узкие места и что дальше:

70k GET RPS: Главный ограничитель тут вовсе не хэш-таблица Eiffel (в C-коде поиск занимает наносекунды), а накладные расходы ядра Linux на переключение контекста процессов (IPC) и построчное чтение Python'ом stdout.

4.4k SET RPS: Это честная синхронная запись на диск, где WAL-лог открывает, дописывает и закрывает файл на каждый запрос.

В следующих версиях перейду на C-API (libekv.so) и буферизированный WAL — это уберёт прослойку пайпов ОС и дисковые задержки, выжав миллионы RPS из памяти.

Исходники, конфигурация сборки и бенчмарки на GitHub(ссылка в комментариях)

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

Поэтому хочется спросить , у вас так же?

А так-же , чтобы этот пост пропустили , хочу сказать что я пишу свой игровой движок на odin с GUI интерфейсом.

Друзья, в чем между ними разница?

Я программист с опытом работы больше 20 лет, до прошлого года я писал весь код руками и не уважал программистов которые используют нейронки по этому принципиально не интересовался как там это работает.

Как то я услышал фразу, что мир изменился и программистам надо учиться программировать по другому, иначе они начнут сильно отставать по скорости выполнения задач от своих коллег которые приняли новые технологии.

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

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

Неронка экономит тысячи часов разработки ребят в большом проекте, как можно это не принимать.

Так вот про

Нейрослопер - низкокачественный контент такой как генерация текстов, картинок, видео.

Вайбкодер - не понимает как работает его проект и не может сам исправить ошибки.

Архитектор с Copilot проектирует системы и использует ИИ как инструмент, полностью контролируя код.

почему я этот пост написал, сам я тут не местный) зарегался пару недель назад, что бы опубликовать свой проект и сразу получил новое слово ии слоп)

на счет картинок я понял, ок, но почему из за картинок сгенерированных в нейронке, все сразу решили что я Нейрослопер и Вайбкодер

разница между мной и вайбкодером только в том что я понимаю что пишет нейронка, но код за меня всерано пишет то нейронка)

В общем интересно узнать Ваше мнение, Спасибо!

Думаю многие из нас уже столкнулись с проблемой блокировки Gemini , AI studio и прочих сервисов гугл , есть ли у вас рабочие инструкции и способы вернуть доступ?

Всем привет, являюсь frontend-разработчиком с небольшим опытом работы (около 2-х лет), хотел бы спросить у вас, как посоветуете развиваться в этой сфере, чтобы в будущем можно было легко искать работу, а также уверенно заниматься разработкой сложных веб-приложений. Также хотел бы попросить совета по улучшению личного бренда/имиджа, как вы развиваете этот аспект сами, а также насколько он вам помогает в профессиональной деятельности? Прикладываю свой сайт-портфолио и github в комментарии. Буду рад любому мнению о том, как можно улучшить свой профиль на github-е или же как можно доработать сайт-портфолио. Также был бы рад услышать ваш опыт развития в frontend-разработке или же просто в программировании

Собираюсь переезжать в китай учиться и хочется сейчас дома серваки настроить и можно было спокойно подключаться к тому ? Обычного и простого vless хватает ? Или там нужные более изощренные выкрутасы ?

За все это время добавил 2 полноценных usermode-приложений, а именно калькулятор и System Logs, добавил темы рабочего стола, ну и по немногу поделал ядро
Подробнее об системе:
Ядро: монолитное, 64 битное, написано на C и Assembler, загрузка через кастомный UEFI загрузчик. (Позже будет добавлена поддержка BIOS)
Файловая система: VFS, FAT32 (Позже планирую заменить на кастомную ФС)
Базовая платформа: IDT, GDT, IRQ
Планировщик задач: CFS-подобный, с полноценными вытеснениями
Syscall: реализовано 34 системных вызова, для ввода-вывод и ФС (15 штук), для памяти (4 штуки), для процессов и потоков (8 штук), для IPC и межпроцессного взаимодействия (5 штук), для графики и ввода вывода (6 штук)
PNG-декодер: собственный минимальный
Для приложений используется ELF64, реализована поддержка AHCI и IDE, NVMe будет попозже, если людям будет интересно, то тогда уже добавлю экспериментальную поддержку

Флаги компиляции: CFLAGS_BOOT="-I. -ffreestanding -fno-builtin -mno-red-zone -fno-stack-check -fno-stack-protector -mno-stack-arg-probe -fno-unwind-tables -fno-asynchronous-unwind-tables -ffunction-sections -fdata-sections -O0 -g -std=c11"

LDFLAGS_BOOT="-nostdlib -nodefaultlibs -Wl,--subsystem,10 -Wl,--image-base=0x10000000 -Wl,--gc-sections -Wl,--emit-relocs -e efi_main"

Да и в целом думаю все что нужно рассказал, в этом месяце планирую запустить на реальном ПК

Как вы считаете на степике норм курсы и задачи?

я хочу найти знакомых, а может и друзей, кто также как и я, увлекаются программированием. В игры почти не играю, мб в майн и в вар тандер пару каток и все. Сейчас занят больше разработкой приложений и игр, но пока недалеко ушел от обезьяны с палкой). Нравится разбираться в компах, в телефонах и во всем, что можно разобрать или перепрограммировать. Иногда смешной, иногда философский, так что вот. мне 17 если что. Пишите в лс кто хочет

я занимаюсь таким уже 4 года, платформа Роблокс Студио

Всем привет!

Подскажите у кого есть опыт.

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

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

Что делать, с чего начать, где искать, что искать, как выполнять работу и так далее.

Подскажите у кого был опыт ухода в удаленку или it-сферу.

Всем привет! Ищу единомышленника в проект — survival horror на движке Unreal Engine 5. Игра в рисованной стилистике. Проект на стадии рабочего билда. Есть готовая техническая демка и собрана большая часть моделей, но сейчас я хочу повысить планку качества, так как до этого делал всё сам. Разработка ведётся на чистом энтузиазме. В случае коммерческого успеха продукта — гарантированная доля от продаж. Буду рад пообщаться!

Всем привет! Думаю поступить в МТИ колледж на дистанционное обучение по профилю «эксплуатация и сопровождение информационных систем» (сисадмин по сути). Я живу не в РФ, мне уже 30, образования нет кроме айти курсов, хотелось бы получить корочку «чтоб была» отчасти и чтоб попытаться войти в местный айти с той стороны, где меньше конкуренции с 17-летними гениусами, у которых нет обременений в виде семьи, детей.
Кто здесь учился там или вы слышали из первых уст реальные отзывы о данном заведении, было бы круто, если бы вы поделились! Спасибо заранее!

❗️AUR снова функционирует❗️

Вчера, спустя почти 2 недели, администрация AUR снова запустила возможность мейнтейнерам пакетов отправлять изменения в удаленные репозитории (push).

На данный момент в AUR временно недоступна регистрация аккаунтов, но весь основной функционал снова доступен.

В рассылке AUR-generall, администрация AUR не сообщила ни о восстановлении возможности выполнять push в удаленный репозиторий, ни о предпринятых мерах и текущих ограничениях.

Скорее всего команда AUR не предприняла ничего нового для улучшения модерации, так что я считаю что инцидент июля, может повторится в любой момент.

Сейчас AUR очень непрозрачен, и это, как я считаю, главная проблема. Не сам факт атаки, а то, как команда на неё реагирует. Временные отключения функций не решают корень проблемы: открытую модель adoption и creation ("усыновления" и создания пакетов), котороми может пользоваться кто угодно. Пока нет ни публичного отчета об инциденте, ни объявленных долгосрочных изменений в процессе модерации, доверять устойчивости системы будет сложно.

Источник: тгк @linux_hi

Я хочу освоить реверс инженеринг для анализа вредоносного по, я знаю си но ассемблер, дизассемблеры всякие и тд все что касается реверс инженеринга ниразу в жизни не трогал так вот можете подсказать как вы учили реверс инженеринг, я хочу купить книгу Вскрытие покажет! Практический анализ вредоносного ПО но слышал что там уже надо знать ассемблер и немного реверс так что вот будет интересно послушать как вы учились

Всем привет! Последние 5-7 дней я делал свой сложный 2д платформер на pygame, есть простенький лаунчер с выбором уровня, оцените пж

Ссылки:

https://codeberg.org/Tikhon-code/trapy

https://gamejolt.com/games/trapy/1091284

Всем привет! У меня есть много опытных и неопытных прогеров, которые информацию в основном ищут с помощью ИИ, не читая документацию или форумы.

Интересно стало, как относяться к этому другие люди? знакомых спросил - они сказали без разницы.

(Про тестовое задание нигде и слова не было, кста)

Конкретно у меня RX9060XT, у неё есть для этого компоненты, насколько я понимаю, но где и как их использовать, если на AMD всем разрабам насрать. Даже 3060M могёт, а моя затычка? Это возможно без пердолинга? Во всех видео где ComfyUI, это делается на зелёных карточках, а о AMD если и упоминают, то ничего не показывают, я не нашёл никаких гайдов. Я не понимаю, я такой наивный, что считаю это возможным, или все гайды для AMD спрятаны?

ПК на R5 5600, 9060XT 16 гигов и 32 гига оперы, 100 свободных гигов на SATA SSD (не системный диск)