Pull to refresh

The proof of the Riemann hypothesis

Level of difficulty Hard

Hello dear Habrians, the text below outlines the proof of the Riemann hypothesis, which is awaiting verification at CMI (Clay mathematical institute). So let's get straight to the proof

2.6 If ƒ and g are power series with no constant term, then

T{1+f(s)] [1+ g(s)]} = T{1+f(s)+g(s)}.

Remark. Weakly analytic functions have a formal expansion as a power series near the origin. Formula 2.6 is just the linear approximation of this expansion (more precisely this is

on the branched double cover of the complex s-plane given by √5). This implies

2.6 T(3)T(s) or

2.7 √T(1+8)T(1+8/2)

which gives us the uniform constant 1/2 needed in 3.3 of section 3.

3. THE PROOF OF RH

In this section I will use the Todd function T(s) to prove RH. The proof will be by contradiction assume there is a zero & inside the critical strip but off the critical line. To prove RH, it is then sufficient to show that the existence of 6 leads to a contradiction..

Given b, take a = b in 2.1 then, on the rectangle Ka), T is a polynomial of degree k{a}.

(3.1)

F(s)T(1+((s+b)}-1

Consider the composite function of s, given by From its construction, and the hypothesis that ((b) = 0, it follows that 3.2 F is analytic at 80 and F(0) = 0. Now take fg F in 2.6 and we deduce the identity

3.3 F(s) 2F(s).

Since C is not of characteristic 2, it follows that F(s) is identically zero. 2.3 ensures that T is not the zero polynomial and so it is invertible in the field of meromorphic functions of s. The identity F(s)=0 then implies the identity ((s)= 0. This is clearly not the case and gives the required contradiction.

Read more

Preserving Line Breaks and Skips in Markdown with React: A Practical Solution (marked.js)

Level of difficulty Easy

Markdown is widely used for its simplicity and readability. However, when it comes to handling line breaks as they appear in a TextArea input, developers often face challenges. In this article, we discuss a common problem encountered in rendering Markdown in React applications, particularly preserving line breaks, and provide a practical solution that we've found effective.

Read more

Transitioning from JavaScript to TypeScript in React Projects: A Strategic Move for the Future

Level of difficulty Medium

In the dynamic world of software development, the choice of programming languages and tools can significantly impact the productivity and future-readiness of projects. My recent decision to transition our React project from JavaScript to TypeScript has sparked discussions, and I believe it's a story worth telling on a broader platform like Habr. Here, I want to delve into the rationale behind this move and the long-term benefits it presents.

TypeScript: A Steeper Curve for a Smoother Ride

TypeScript's reputation for complexity is not unwarranted, given its static typing and the need to master new concepts such as interfaces and generics. The setup and configuration require a meticulous approach. However, these hurdles are a small price to pay for the robustness and maintainability they introduce to your codebase. Drawing from my experiences with Angular, where TypeScript is employed by default, I've seen firsthand how TypeScript can elevate the quality of development, even if it demands a higher initial investment in learning and configuration.

The TypeScript Advantage in React Development

Read more

Breaking Down Barriers: Building a Transparent DevOps Culture

Level of difficulty Medium

Numerous organizations across the globe are increasingly investing in DevOps to gain a competitive edge within their region. A survey echoes the same in the form of a depiction of the DevOps market size predicted to touch the enormous amount of $25.5 billion by 2028 at a CAGR of 19.7%. Not only this, even 86% of organizations have valued DevOps a lot.

Such an increase in DevOps adoption has spiked a concern over creating a healthy DevOps culture. This post sheds light on DevOps culture's meaning and how to cultivate it within your organization using proven strategies and modern DevOps tools.

What is a DevOps culture?

A DevOps culture is mainly focused on adopting values that take the DevOps principles and integrate them into relevant tools and methodologies. In other words, you can call it a bunch of values that emphasize creating an environment of constant communication and learning and a strong feedback structure.

Read more

Как работает SSD, Flash-память (NAND)

Level of difficulty Easy

SSD очень быстрое запоминающее устройство и если разобрать его, то можно увидеть что он представляет собой печатную плату, с множеством чипов Flash памяти, типа NAND, именно они хранят информацию, а рядом с ними распаиваются контроллер и dram память.

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

Читать далее

Установка шахматного сервера Lichess на Windows (WSL, Ubuntu)

Lichess это популярный шахматный сервер, созданный французским программистом Тибо Дюплесси, на котором периодически играют известные Топ игроки, в том числе и всем известный Чемпион Мира Магнус Карлсен. Код сервера написан в большей степени на языке scala и является открытым и распространяется под свободной лицензией AGPL.

Читать далее

Нестандартная сегментация клиентов

Привет всем!

Я уже много лет занимаюсь клиентским опытом в IT-компаниях. Не раз приходилось сегментировать клиентов по множеству признаков. Но о них писать не буду, так как вы их найдете в любой статье, которыми полон интернет.

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

Британская ипотечная компания обучает своих сотрудников определять и распределять клиента по одному из профилей личности. Это позволяет представителю быстро определить, взаимодействуют ли они с “контролером”, “мыслителем”, “чувствующим” или “артистом”, и соответствующим образом адаптировать свои ответы. Стратегия сегментации улучшила качество обслуживания клиентов и снизила затраты за счет сокращения повторных звонков на впечатляющие 40%.

Тут мне стало интересно что это за типы личности, и я углубилась в этот вопрос. Делюсь своими изысканиями на эту тему. А главное - это реально полезно, так как и впрямь помогает улучшать работу с клиентами, повышая их лояльность.

Итак!

Читать далее

Как исключить папку из синхронизации Яндекс.Диск 3.0?

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

Яндекс предлагает широкий перечень возможностей для синхронизации данных со своим облачным хранилищем и между различными устройствами. Однако, на момент написания статьи, программа Яндекс.Диск v3.2.19 не позволяет добавлять папки в игнор, чтобы не синхронизировать их с облаком.

Это приводит к тому, что программа Яндекс.Диск, помимо полезных исходников, постоянно пытается синхронизировать тысячи не нужных файлов в папках:

Читать далее

XZing, ZBar. Зачем, когда есть нативные средства?

Привет!

Хочу поделиться с сообществом информацией о простом, и, главное внедренном в операционную систему (7.0+) возможностью распознания шрих-кодов, QR-кодов, и даже Aztec-кодов.
Как мне показалось, далеко не все в курсе этой возможности, и, надеюсь, эта информация будет для вас полезной.

Пример реализован на Swift.
Читать дальше →

Mysql: полезный трюк с count() и count(distinct)

Хочу поделиться одним интересным решением, к которому мне удалось прийти сегодня во время оптимизации запроса поиска пользователей. В выборке необходимо было возвращать количество общих групп текущего пользователя и меня — того, кто производит поиск. Что называется total shared groups. В итоге всё поместилось в один компактный запрос без подзапросов (что очень критично, позже объясню почему) с использованием одной таблицы в FROM, без GROUP BY и HAVING.
Читать дальше →

the.module

Приветствую!
О чём же я буду писать. Да в общем ни о чём. Даже не советую читать.
Как я потратил несколько недель на создание своего framework, как я его внедрял в проекты и как теперь с этим приходится бороться.

Вводная


Пару лет назад клиентские html 5 приложения в моей работе стали становиться всё сложнее и сложнее. Тогда я, как старший инженер, но крайне не опытный, стал придумывать свои велосипеды.

Велосипеды были разные, от уродливых:
function ClassName() {
	function ClassName() {
	}

	ClassName.prototype.method1 = function(){};
	return ClassName;
}

До совсем сахарных:
class ClassName {
	private function method() {
	}
}

Читать дальше →

Openvpn с напильником или как не перезаписать существующий сертификат

В работе использую openvpn, потому как это более гибкое в настройке решение, чем всякие pptp, да и идея с сертификатами мне нравится, особенно с их отзывом. А еще можно оставить клиенту его же интернет, но выдать свой DNS, в котором злостно блокировать всяких котиков/вконтакте… Но сейчас не об этом.
Читать дальше →

Micro Python на STM32F4 Discovery

image

Вводная

Micro Python суть реализация Python 3 для ARM-самодельщиков. Упоминался на хабре тут: habrahabr.ru/post/225131. По сути, проект micropython.org состоит из платы и софта. Так вот, платы у нас нет, а софт мало того, что доступен, так еще и неплохо работает (акселерометр не взлетает!) на STM32F4 Discovery. О том, как это завести, и расскажу вкратце. Принципиально нового ничего не скажу, описанное ниже — компиляция из следующих англоязычных источников:

gpio.kaltpost.de/?p=2082
github.com/texane/stlink/blob/master/README
forum.micropython.org/viewtopic.php?t=182&p=782
Читать дальше →

Асинхронный шаблонизатор для node.js (на основе jade)

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

Лишь бы купили

Действующие лица:

Аккаунт менеджер (АМ), Потенциальный заказчик (ПЗ), Сейлз менеджер (СМ)

Сцена 1

Пустая сцена, медленно выходит АМ, говорит по мобиле.

— Григорий, доброго! Как поживаете? Не…? Хорошо. В гости прошусь. На следующей неделе буду. У нас тут новые… Не, не, это вы не знаете – это база данных, мы теперь базами данных занимаемся. ERP у всех же работает. Ну кроме вас, конечно (громко смеётся). А ERP без современной базы данных не может справиться с вызовами… Да, да. Новый Челендж, мать его (громко смеётся). А теперь у нас и база данных и ERP, и еще, кстати, бизнес-процесс гроулинг. BPG называется. Не слышали? Ну, это если работники забыли, что они в едином информационном пространстве, то система им зычным голосом напоминает, что, блин, ёлки иголки, пора подтвердить отработанное время, ну или отчитаться о командировке. Не слышали группу Cannibal Corpse? Вот то, что делает вокалист – это типа и есть гроулинг.

Сцена 2

Стол. За ним сидит мужчина средних лет в зелено-сером пиджаке (ПЗ). Галстук и рубашка в той же гамме. На столе беспорядочно разбросаны протоколы, рекламные листовки и визитки. За спиной доска. На ней то ли недостертая, то ли недорисованная схема.
Кладет телефонную трубку.

— Базы данных – ну, ёптель, открытие. Нет чтоб картридж вечный изобрести.

Ищет на в интернете видео Cannibal Corpse. Находит, включает.
Слушает минуту.
Быстро выходит из кабинета. Через 2 минуты возвращается с ухмылкой на лице.

— Ну можно сказать что отчитался или подтвердил что на работе.

Смотрин в окно. Потягивается.

— Ну, допустим, BPG — это тема. А при чем здесь SAP то?
Читать дальше →

Я пиарюсь: Chrome. Интернет без интернета

image
Добрый день

Немного предыстории.
Есть у нас в Wargaming внутренний ресурс, что-то типо корпоративной википедии (а точнее Attlassian Conflunce), в которой хранятся формализованные требования по текущим проектам, и прочая полезная информация. Поэтому при возникновении вопросов, прежде чем бегать искать человека, стоит первым делом заглянуть туда. Ресурс довольно полезный и часто выручает. Все шло своим чередом, пока однажды наш сайтик не начал барахлить, причем примерно так: час работает, а потом полчаса отдыхает, а иногда и дольше. Все это продолжалась несколько дней. Самое обидное, что ресурс забарахлил в тот момент, когда он больше всего был мне нужен. Причем нужна была та страничка, на которую заходил не раз до этого, и требовалось уточнить некоторые небольшие, но важные детали.

Много раз ругал себя в сердцах: «почему я не сохранил страницу локально?» И тут родилась идея,
Читать дальше →