Swift вместо make

Sep. 23rd, 2025 11:07 pm
vak: (Daemon)
[personal profile] vak
Оказывается, можно использовать утилиту swift вместо make или cmake для чисто C/C++ проектов. Хоть на маке, хоть на Линуксе. Вот пример.

Создадим папку src и в ней файл main.cpp. Положим туда классический пример Hello World.
$ mkdir src
$ cat > src/hello.cpp
#include <iostream>

int main()
{
std::cout << "hello world!\n";
}
^D
Сделаем скрипт сборки для swift.
$ cat > Package.swift
// swift-tools-version: 6.2
import PackageDescription

let package = Package(
name: "Hello",
products: [
.executable(
name: "hello",
targets: ["Hello"],
),
],
targets: [
.executableTarget(
name: "Hello",
path: "src",
),
],
)
^D
Компилируем и запускаем.
$ swift run
Building for debugging...
[3/3] Linking hello
Build of product 'hello' complete! (0.49s)
hello world!
Напомню, что компилятор Swift на Линуксе ставится командами:
wget https://download.swift.org/swift-6.2-release/ubuntu2404/swift-6.2-RELEASE/swift-6.2-RELEASE-ubuntu24.04.tar.gz
tar xf swift-6.2-RELEASE-ubuntu24.04.tar.gz -C /opt
После этого в файле ~/.bashrc устанавливаем алиас:
alias swift='/opt/swift-6.2-RELEASE-ubuntu24.04/usr/bin/swift'
Проверяем:
$ swift --version
Swift version 6.2 (swift-6.2-RELEASE)
Target: x86_64-unknown-linux-gnu
vak: (Знайка)
[personal profile] vak
Один крутой чувак спаял из 700 дискретных транзисторов самопальный компьютер. Работает на частоте 1 кГц. На видео компьютер выполняет программу Hello World.

Исходники ассемблера: github.com/PolymathUnlimited/Subleq-CPU

Physical AI

Sep. 21st, 2025 09:56 pm
vak: (Робот 1)
[personal profile] vak
Наш президент дал интервью популярному корейскому видеоблогу. Тема блога - общество, экономика и инвестиции. А теперь и искусственный интеллект попал под раздачу. 😀



А это популярная нынче песенка среди коллег в нашем немецком офисе в Штутгарте. Каждый день напевают по одиночке и хором: "Let's get physical! Physical!" 😀

Чешем репу

Sep. 20th, 2025 10:05 pm
vak: (Аристипп)
[personal profile] vak
У современных математиков, перефразируя Канта, две вещи наполняют душу всё новым и всё более глубоким восхищением и благоговением, чем чаще и дольше о них размышляют. Эти две вещи: benign overfitting и grokking.
  • Benign overfitting - доброкачественное избыточное обучение. Означает, что модель способна идеально запомнить обучающие данные (включая шум), но при этом почему-то не ухудшается на незнакомых данных. Это происходит, когда модель слишком "толстая" (имеет сильно больше параметров чем нужно). Теоретически качество работы модели должно портиться при оверфиттинге. Но этого не происходит, и даже наоборот. Почему так? Математики ломают голову.
  • Grokking - фазовый переход при избыточном обучении, когда после множества итераций с ничтожным или нулевым улучшением, модель резко обретает способность к обобщению. Становится пугающе похоже на "сильный" интеллект. Механизм никто не понимает.
Это я прочитал книжку "Почему машины учатся". Разъясняется унутренняя неонка математика искусственного интеллекта, на отлично доступном уровне примерно старшеклассника. Со множеством исторических деталей и историй. Рекомендую желающим понять, как из умножения миллионов и миллиардов матриц возникает синекдоха отвечания понимания.

"Повторение - мать перемать обучения", говаривал про гроккинг наш институтский военрук майор Ходырев.

Тенденция однако

Sep. 16th, 2025 11:44 am
vak: (Default)
[personal profile] vak
Некая тенденция к повышению уровня океана действительно наблюдается. Примерно 2 сантиметра за 10 лет. Вдогонку к предыдущему посту. Но зачем тратить деньги на борьбу с ледниковым периодом? Динозавры небось тоже боролись. Силёнок не хватило - вымерли.

vak: (Робот 1)
[personal profile] vak
Израильский видео блогер подробно расспрашивает нашего президента про ИИ на 10-ваттном чипе.


Summary

Background

  • Krishna Rangasayee has 30+ years in semiconductors, software, and AI.
  • Formerly at Xilinx (18 years); founded SiMa six years ago to focus on physical AI.

SiMa’s Mission

  • Cloud AI dominated 2015–2025; 2025–2035 will be the decade of physical AI.
  • Physical AI will embed in robotics, automotive, medical, aerospace, and defense.
  • SiMa builds full-stack solutions: custom chips + AI software.

Key Innovations

  • Multimodality: supports audio, video, text inputs/outputs.
  • Broad model support: CNNs, transformers, LLMs, all on one chip.
  • Ultra-low power: <10 watts, 10x more efficient than typical alternatives.
  • Ease of use: models from Hugging Face can run with a button click.

Why Edge AI Matters

  • Security & privacy: critical for defense, medical, aerospace.
  • Latency: real-time decision-making (e.g., robotics, vehicles) needs on-device AI.
  • Cost: cloud compute is expensive; local AI reduces TCO.

Defense Use Cases

  • Drones, robotics, mobility platforms (land, sea, space), satellites.
  • Satellites can process images on-board and transmit only “delta” data.
  • Drones benefit from longer flight times via power-efficient AI.
  • Defense requires ruggedization, reliability, and long lifecycle support.

Future of Edge AI in Defense

  • AI-enabling existing equipment (not replacing, but upgrading).
  • Machine-to-machine communication: seamless data sharing across forces.
  • Faster innovation cycles: years-long defense adoption shrinking to 1–2 years.
  • Personalized compute for soldiers — context-aware, memory-enabled AI assistants.

Challenges

  • Bridging the fast pace of AI with slow defense upgrade cycles.
  • Ensuring 12–16 year reliability in harsh conditions.
  • Managing cybersecurity and ethical risks as devices proliferate.

Takeaway

SiMa is positioning itself at the core of the coming shift to physical AI: multimodal, power-efficient, secure, and future-proofed AI at the edge, with strong relevance for aerospace and defense.

vak: (Default)
[personal profile] vak
Чуваки сделали сенсор 8x8. Показывает магнитное поле каждого "пикселя" в реальном времени.

vak: (U.S.A.)
[personal profile] vak
Наш местный губернатор выделил $62 миллиона на "повышение устойчивости прибрежных районов для защиты наших домов, рабочих мест и инфраструктуры от растущих рисков повышения уровня моря".

Вообще-то уровень моря в наших краях за последние 50 лет колышется около нуля, от минус 5 дюймов (в 1975-м) до плюс 5 дюймов (в 2015). Вот тут есть график: earth.gov/sealevel. Плакали наши денежки.

vak: (Default)
[personal profile] vak
Написать программу "run", которая умеет загружать и выполнять произвольный объектный файл. Например:
$ run hello hello.o
hello world!
Здесь файл hello.o получен компиляцией Си-шного кода в обычный объектник:
сс -с hello.с
Для примера возьмём простейший код:
#include <stdio.h>
void hello() {
printf("hello world!\n");
}
Программа "run" получает два аргумента. Первый аргумент - имя функции, которую надо вызвать. Второй аргумент - имя объектного файла. Для определённости пусть дело происходит в Линуксе, на архитектуре x86_64. Хотя неплохо бы и на arm64 под MacOS.

Медицинское

Sep. 14th, 2025 11:04 am
vak: (Default)
[personal profile] vak
(отсюда)

В 2017 году журналист и продюсер Дел Бигтри встретился с доктором Маркусом Зервосом, руководителем отделения инфекционных заболеваний медицинского центра Henry Ford Health.

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

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

Что же показали данные? Проанализировав 18000 детей, среди них около 2000 полностью непривитых, исследователи обнаружили:

- Привитые в 4 раза чаще болели астмой.
- У привитых в 6.6 раз чаще встречались острые и хронические ушные инфекции.
- Нарушения речи - в 4.5 раз чаще.
- Задержки развития - в 5.5 раз чаще.
- Атопические заболевания - в 3 раза чаще.
- Аутоиммунные заболевания - в 6 раз чаще.

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

Среди непривитых у 17% было диагностировано какое-либо хроническое заболевание. Среди привитых хотя бы одной вакциной, хронические заболевания были у 57%.

В течение пяти лет Дел Бигтри и его адвокат Аарон Сири пытались убедить Зервоса обнародовать результаты, но тот категорически отказывался.

Вчера, 9 сентября, сенатор Рон Джонсон провел слушания в сенатском комитете, где эти данные впервые были обнародованы.

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

Когда в 2017 году состоялась встреча Бигтри и Зервоса, подобных исследований ещё не существовало. С тех пор было опубликовано несколько работ с похожими результатами. Основная критика тех исследований сводилась к тому, что у непривитых детей реже диагностируют болезни, так как они реже обращаются к врачам. В этом исследовании этот фактор был учтён. Даже после исключения из анализа абсолютно здоровых детей, не посещавших врачей, у привитых всё равно выявлялся значительно более высокий риск хронических заболеваний.

9 сентября 2025 года может войти в историю как день начала конца эпохи вакцинации.

Головы или хвосты

Sep. 12th, 2025 11:34 pm
vak: (Знайка)
[personal profile] vak
Встретилось в английском тексте, что вместо "орёл или решка" используется выражение "heads or tails". Головы ладно, но откуда у монет хвосты? Пошёл выяснять.

Why is coin toss called heads or tails? Coins have no head or tail.

The phrase "heads or tails" in coin tossing refers to the two sides of a coin: the obverse (front) side, which typically features a portrait or "head" of a person, such as a monarch, president, or deity, and the reverse (back) side, which is simply the opposite and thus called the "tail" end in a metaphorical sense. This terminology doesn't mean coins literally have animal-like heads or tails but draws from the idea of opposites, much like how "head" and "tail" describe the front and back ends of a creature or object (e.g., the expression "can't make head or tail of it," meaning unable to understand something from beginning to end).

The practice itself dates back to ancient Rome, where coin tossing was known as "navia aut caput" (Latin for "ship or head"), based on Roman coins like the as or sestertius that often depicted a god's or emperor's head on one side and a ship's prow on the other. It was used as a game of chance for children, gambling among elites, and even reportedly by Julius Caesar to settle disputes. In medieval England, a similar game was called "cross and pile," referring to coins with a cross (representing "heads") on one side and the blank or stamped reverse (the "pile," from the French for the die used to strike coins) on the other.

The specific English phrase "heads or tails" evolved later, with the earliest recorded use of "tails" for a coin's reverse appearing in 1684 in Thomas Otway's play "The Atheist", where a character says, "As Boys do with their Farthings ... go to Heads or Tails for 'em." By then, "tail" had long carried connotations of the "backside" or opposite end (dating to around 1300 in English), making it a natural counterpart to "head." Today, it's a universal way to make fair, random decisions between two options, like starting a sports game or settling a bet.
vak: (Аристипп)
[personal profile] vak
Теорема: крокодил больше длинный чем широкий.

Введём две дополнительные леммы.

Лемма 1: крокодил больше длинный чем зелёный.

Лемма 2: крокодил больше зелёный чем широкий.

Докажем первую лемму. Крокодил длинный и сверху и снизу, а зелёный только сверху. Следовательно, он больше длинный чем зелёный. Лемма доказана.

Докажем вторую лемму. Крокодил зелёный и вдоль и поперёк, а широкий только поперёк. Следовательно, он больше зелёный чем широкий. Лемма доказана.

Основное доказательство. Согласно лемме 1, крокодил больше длинный чем зелёный, а согласно лемме 2, он больше зелёный чем широкий. Следовательно, крокодил больше длинный чем широкий. Теорема доказана.
vak: (Житель планеты Узм)
[personal profile] vak
Тут на днях в американском сенате народ прояснял тему неопознанных летающих тарелок. Член Палаты представителей Эрик Берлисон (республиканец от штата Миссури) продемонстрировал видеозапись, снятую октября 2024 года в Йемене. В летящий шар попадает ракета Hellfire. После удара шар продолжает движение по своим делам.



Подробности в статье: "Moskowitz accuses the US government of lying about UAP"

Видео отсюда: x.com/digijordan/status/1965450199175995504
vak: (Знайка)
[personal profile] vak
Как вам понравится шахматная доска, где фигурки сами перемещаются куда следует.

Page generated Sep. 24th, 2025 03:05 pm
Powered by Dreamwidth Studios