github
SidraChain / sidra-contracts

Genesis Smart Contracts for Sidra ChainGenesis Smart Contracts for Sidra Chain These are the genesis smart contracts designed specifically for the Sidra Chain. Libraries 1. Pausable.sol This library provides mechanisms to pause and unpause certain functionalities of a contract. It's essential for emergency situations or maintenance periods. Features: Pause and Unpause: Provides functions to pause and unpause the contract. Modifiers: Includes modifiers to easily check the pause status or o…

  • вторник, 31 октября 2023 г. в 00:00:04
github
i-am-alice / 2nd-devs

aidevs2 To install dependencies: bun install To run: bun run index.ts This project was created using bun init in bun v1.0.0. Bun is a fast all-in-one JavaScript runtime.

  • вторник, 31 октября 2023 г. в 00:00:03
habrahabr
Рендеринг трёхмерных развязок, мостов и тоннелей для реалистичных карт

Привет! Меня зовут Арсений Кононов. На прошлой неделе мы зарелизили трёхмерные развязки и тоннели, которые можно увидеть в режиме навигатора. Я расскажу о простой и гибкой технике, реализованной в графической подсистеме нашего графического движка для отображения плоских объектов на произвольной трехмерной поверхности. Например, линии маршрута на поверхности развязки.Надеюсь, пост будет полезен интересующимся компьютерной графикой на уровне, абстрагированном от конкретных графических API, но ни…

  • понедельник, 30 октября 2023 г. в 00:00:21
habrahabr
Войны битов

В своей прошлой публикации я вскользь упомянул так называемые «консольные войны» — битву маркетинговых кампаний конкурирующих видеоигровых платформ прошлого. Это не такое уж малоизвестное явление, о нём написаны книги, сняты фильмы, ему посвящены Youtube-каналы. Сегодня хочу углубиться в тему и рассказать о наиболее знаковом проявлении консольных войн — предложенной маркетингом метрике, которая смогла оставить настолько значительный след в общественном сознании, что многие до сих пор опериру…

  • понедельник, 30 октября 2023 г. в 00:00:20
habrahabr
Первый массовый советский домофон

Приветствую всех! Я уже не раз рассказывал о домофонах разных фирм и годов. Но те посты были преимущественно про ключи и их технологии, а не про сами устройства. Сегодня же рассмотрим несколько другую тему — как обстояли дела с такими устройствами в советское время, а заодно и рассмотрим одного из самых распространённых их представителей. Итак, в сегодняшней статье поговорим про ЗПУ «Визит», первый среди привычных нам домофонов, массово производившийся в СССР. Узнаем, как устроен и как раб…

  • понедельник, 30 октября 2023 г. в 00:00:19
habrahabr
Южно-Сахалинск: самый ̶я̶п̶о̶н̶с̶к̶и̶й̶ корейский город страны

Географическая близость к Японии предопределила развитие Сахалина как «моста» между нашими странами. Две трети населения пограничного региона живёт на самом юге острова, в агломерации Южно-Сахалинска. Японское прошлое города иногда выглядывает из-за угла и, показав игриво рожки, вновь прячется за стандартными советскими кварталами. Рожки — это в том числе пробки в центре и постоянно захлёбывающаяся ливневая канализация. Где же заканчивается Тоёхара и начинается современный Южно-Сахалинск, что…

  • понедельник, 30 октября 2023 г. в 00:00:19
habrahabr
Двухтрубные системы отопления тупикового и попутного типа. Мнимая магия «петли Тихельмана»

Двухтрубные системы отопления тупикового и попутного типа. В чём разница и что об этом говорят современные строительные нормы.Ранее в одной из статей я уже рассказывал об однотрубных системах отопления.Теперь настала очередь рассмотреть особенности проектирования и эксплуатации двухтрубных систем, которые крайне популярны у частных домовладельцев в ИЖС.Так же двухтрубные вертикально-стояковые системы отопления пытаются применять и в многоквартирных домах.Далее мы рассмотрим гидравлический расч…

  • понедельник, 30 октября 2023 г. в 00:00:18
github
RsaCtfTool / RsaCtfTool

RSA attack tool (mainly for ctf) - retreive private key from weak public key and/or uncipher dataRsaCtfTool The RSA Multi-Attack Tool is a sophisticated utility designed to uncipher data from weak public keys and attempt to recover the corresponding private key. This tool offers a comprehensive range of attack options, enabling users to apply various strategies to crack the encryption. RSA security, at its core, relies on the complexity of the integer factorization problem. This project…

  • понедельник, 30 октября 2023 г. в 00:00:15
github
leanprover / lean4

Lean 4 programming language and theorem proverThis is the repository for Lean 4. We provide nightly releases and have just begun regular stable point releases. About Quickstart Walkthrough installation video Quick tour video Homepage Theorem Proving Tutorial Functional Programming in Lean Manual Release notes starting at v4.0.0-m3 Examples External Contribution Guidelines FAQ Installation See Setting Up Lean. Contributing Please read our Contribution Guidelines first. Building from Source See…

  • понедельник, 30 октября 2023 г. в 00:00:13