kant2002

the shall

The shall The control system shall prevent engine overspeed

WHEN the shall When continuous ignition is commanded by the aircraft, the control system shall switch on continuous ignition

IF , THEN the shall If the computed airspeed fault flag is set, then the control system shall use modelled airspeed

kant2002

open System

// Type which represent simple expression.
type Expr =
| Int32 of int32
| Add of Expr * Expr
| Sub of Expr * Expr
| Mul of Expr * Expr
| Div of Expr * Expr
| Mod of Expr * Expr

kant2002

Я хочу зробити невелику книгарню котрий буде показувати 10 заздалегідь визначених книг з програмування. Для кожної книги буде збережено таку інформацію

• Назва книги
• Список авторів
• ISBN
• Опис книги
• Зображення книги
• Посилання на книгу у зовнішніх джерелах

Для зберігання каталогу потрібно використовувати JSON файл з наступною структурою

kant2002

module Tests

open System
open Xunit
open FsCheck
open FsCheck.FSharp
open FsCheck.Xunit
open System.IO
open TruePath

kant2002

Идея и организация челленджа по нагрузочному тестированию сервиса билетов

💡 Идея

Провести технический челлендж, в котором участники разрабатывают и нагрузочно тестируют сервис по продаже билетов. Цель — продемонстрировать устойчивость решений при высокой нагрузке (RPS — запросов в секунду).

🔧 Основная механика челленджа

• Организаторы публикуют условия и предоставляют инфраструктуру.
• Участники разворачивают собственные мини-сервисы на выделенных поддоменах.
• Выполняется стресс-тестирование всех решений.
• Производится сравнение по метрикам производительности (например, RPS).

kant2002

#nullable enable
global using Assert = Xunit.Assert;
//global using TheoryAttribute = Xunit.TheoryAttribute;
global using TheoryAttribute = global::Microsoft.VisualStudio.TestTools.UnitTesting.DataTestMethodAttribute;
//global using FactAttribute = Xunit.FactAttribute;
global using FactAttribute = global::Microsoft.VisualStudio.TestTools.UnitTesting.TestMethodAttribute;
global using InlineDataAttribute = Xunit.InlineDataAttribute;
global using MemberDataAttribute = Xunit.MemberDataAttribute;
using System.Diagnostics.CodeAnalysis;

kant2002

Аплікації

Репозиторій	Мій Опис	Опис Дії
android-diia	Андроід версій Дія.Апплікація
ios-diia	iOS версій Дія.Апплікація

Сервіси

Репозиторій	Опис	Опис Дії
be-auth-service	Керування авторізаціі через інші сервіси.	This repository contains the service which provides authorization functionality with different strategies for the application.

kant2002

Урок из Цезиума

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

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

kant2002

#r "nuget: FsCheck, 3.0.0-rc2"
#r "nuget: FSharp.Core.Ukrainian, 0.0.6"
open FsCheck
open FsCheck.FSharp

type ТипПалива = Дизель | Бензін | Електрика | Гибрид | REXГибрид
type НапрямокПродаж = Казахстан | Киргизстан

type Авто = {
    Паливо:ТипПалива

kant2002

<Project Sdk="Microsoft.NET.Sdk">

  <PropertyGroup>
    <OutputType>Exe</OutputType>
    <TargetFramework>net8.0</TargetFramework>
    <RootNamespace>_6___targets</RootNamespace>
    <ImplicitUsings>enable</ImplicitUsings>
    <Nullable>enable</Nullable>
  </PropertyGroup>