[Translation] Main Challenges and Mistakes in Creating Your Design System

Design system creation and integration is a challenging and rather tedious task. It can simply the development process or make it even harder. Anton Polyakov, Project Management Director for Innotech’s Mobile Development Department shares his team’s experience to demonstrate the unforeseen challenges they encountered.

Read more
[Translation] Main Challenges and Mistakes in Creating Your Design System
Source: habrahabr

Proof's by induction using Rust's type-system

Rust’s type system is quite powerful as it allows to encode complex relationships between user-defined types using recursive rules that are automatically applied by the compiler. Idea behind this post is to use some of those rules to encode properties of our domain. Here we take a look at Peano axioms defined for natural numbers and try to derive some of them using traits, trait bounds and recursive impl blocks. We want to make the compiler work for us by verifying facts about our domain, so that we could invoke the compiler to check whether a particular statement holds or not. Our end goal is to encode natural numbers as types and their relationships as traits such that only valid relationships would compile. (e.g. in case we define types for 1 and 3 and relationship of less than, 1 < 3 should compile but 3 < 1 shouldn’t, that all would be encoded using Rust’s language syntax of course)

Let’s define some natural numbers on the type level first.

Read more
Proof's by induction using Rust's type-system
Source: habrahabr

[recovery mode] The potential Augmented Reality has to disrupt real sectors

Augmented reality (AR) has been gaining popularity in recent years, with companies such as Apple, Meta, Google and Microsoft investing heavily in the technology. AR technology allows users to see digital objects and information overlaid onto the real world. This technology has the potential to revolutionize multiple sectors in the future, from healthcare to education to entertainment. In this article, we will explore how AR is going to change these sectors and the potential impact it will have on society. 

We will have a closer look into three sectors and try to see how AR could change them in upcoming future.

Read more
[recovery mode] The potential Augmented Reality has to disrupt real sectors
Source: habrahabr

[Translation] Mocking RESP API in 20 minutes via Yakbak

Imagine this: you are an ordinary frontend developer. When you open your mailbox you found a message — tomorrow DevOps team will make an optimization with Kubernetes. You are experienced developer and you know that environment operation test might go sideways. Test environment is crucial for your job as frontend developer and you don’t want to miss a whole day on a job, so there are two possible solutions present:

  1. Setup all microservices on your laptop
  2. Prepare mocks for API

I will describe how to mock REST API request via Yakbak.

Read more →
[Translation] Mocking RESP API in 20 minutes via Yakbak
Source: habrahabr

The On-Line Encyclopedia of Integer Sequences today

You can encounter integer sequences all around combinatorics, number theory, and recreational mathematics. And if there is a multitude of objects of the similar form, then one can create an index for these objects. The On-Line Encyclopedia of Integer Sequences, OEIS, is such an index.

This article covers the On-Line Encyclopedia inclusion criteria, its editorial process, its role in mathematics, and its future.

This is a translation of my article The On-Line Encyclopedia of Integer Sequences in 2021, published in Mat. Pros. Ser. 3 28, 199–212 (2021).

Read more
The On-Line Encyclopedia of Integer Sequences today
Source: geektimes

Python Junior Plus, or the beginner's Roadmap to becoming a Python programmer

image

Hello! My name is Mikhail Emelyanov, I am embedded software engineer, and I was inspired to write this little roadmap on the capabilities of Python language by a certain commonality among the existing Python tutorials found on the web.

The usual suggestions to study, say, “Algorithms and Data Structures” or “Databases” are especially jarring. You can spend years studying these topics, and even after decades you’d still be able to find something you didn’t know yet even without ever venturing outside the scope of Algorithms!

Using video game analogies, we can say that novice programmers often stand on the shore of the lake of boiling lava with an island with the ever-coveted jobs in the center, while the islands in between, which you have to jump on, gradually increasing your skills in successive mini-quests, are either missing, or arranged haphazardly, or their fairly smooth sequence breaks off, never having managed to get you any farther from the shore. Let’s try to build a path of hint islands, a number of which, although not without effort, will finally allow us to reach our goal.

Read more →
Python Junior Plus, or the beginner's Roadmap to becoming a Python programmer
Source: habrahabr

How Can I Start My Own IPTV Provider?

IPTV is quickly rising to the top of the list of TV viewing options for viewers worldwide. other types of home entertainment, including music and video. This indicates a developing market for service providers and a potential new source of income. But how can you set up an IPTV service? Mware Solutions can assist you in establishing the required infrastructure for a successful entry into this cutthroat market.

TV delivered using an Internet Protocol Network is known as IPTV. This new technology has the potential to alter how we watch television at home, get training, utilize computers, and even use cell phones. From computer monitors and mobile phone screens to plasma and LCD televisions, it is used to provide television services to all of these devices. But how can you launch an IPTV company and become a provider of IPTV? An IPTV business solution is what?

We, therefore, decided to offer an eight-week boot camp to teach you everything you require to launch your own IPTV company. You may build the necessary infrastructure with the aid of Setplex to successfully enter this cutthroat market.

Read more
How Can I Start My Own IPTV Provider?
Source: geektimes

Кешируем API ответы для frontend приложения с помощью Yakbak

Представьте себе типичную ситуацию: вы frontend разработчик в обычный компании. После сытного обеда вы лениво скроллите Хабр и смотрите Ютуб. Вдруг в чат прилетает сообщение от девопсов: "Ребята, мы планируем сегодня вечером разгрузить мастер и перенести admission контроллер на ноду и чтобы два раза не вставать всем подам выделим 50 CPU. Завтра всё будет работать как обычно, но быстрее!"
Вы понимаете, что скорее всего всё пойдёт не так и штатной работы микросервисов можно ожидать не раньше чем через пару дней. Но есть более важная для вас задача: на сегодняшнем митинге вы обещали тимлиду показать МВП фичи уже послезавтра.
Остаётся два варианта: поднять зоопарк микросервисов на своей машине прямо сейчас (долгий кровавый путь) или закешировать все необходимые для frontend приложения API запросы.
Предлагаю простой вариант использования второго варианта.

Read more →
Кешируем API ответы для frontend приложения с помощью Yakbak
Source: habrahabr

WWDC22 hidden gems

For iOS developers, WWDC is always something of a New Year. We are presented with so many new products, and sometimes you can get lost in them. Most of my colleagues are trying to be in touch by watching “Platform State of Union” and all “What’s new” sessions. The event basically provides an opportunity to developers a glimpse of the features to expect from the software part. When Apple has a conference like this one, they want to make sure they have enough time to get everything done. In order to do this, they need to be able to work at their own pace and not worry about how long it will take them to get something done.

This means that if you have a small project, it may not be that important but once you move into larger projects with more people involved, every second saved can be worth several dollars in terms of money saved or profit made by the company. The platform tightly integrates programming languages, frameworks, and tools. Everyone gains when these three complement one another. Customers receive a consistent experience, such as scrolling that feels right every time. And developers may devote more time and attention to what distinguishes the app.

And it’s fine, you don’t need to spend so much time for this other unpopular stuff. However, in these, not-so-popular videos as couple of them may be called as “hidden gems” because of the content or a beautiful presentation/structure. Let me show couple of them!

Read more
WWDC22 hidden gems
Source: habrahabr