Фабрис Беллард ( французское произношение: [fa.bʁis bɛ.laʁ] ; род. 1972) — французский программист, известный написанием FFmpeg , QEMU и Tiny C Compiler . Он разработал формулу Белларда для вычисления однозначных чисел числа Пи . В 2012 году Беллард вместе с Франком Спинелли основал телекоммуникационную компанию Amarisoft.
Беллард родился в 1972 году в Гренобле , Франция, и учился в школе лицея Жоффра (Монпелье), где в 17 лет создал компрессор исполняемых файлов LZEXE. [2] После учебы в Политехнической школе он в 1996 году продолжил специализацию в Télécom Paris .
В 1997 году он открыл новую, более быструю формулу для вычисления однозначных чисел числа Пи в шестнадцатеричном представлении, известную как формула Белларда . Это вариант формулы Бейли-Борвейна-Плуффа .
Работы Белларда трижды выигрывали Международный конкурс запутанного кода C. [3] В 2000 году он выиграл в категории «Наиболее конкретный результат» [4] за программу, которая реализовала модульное быстрое преобразование Фурье и использовала его для вычисления самого большого известного на тот момент простого числа 2 6972593 −1 (в том смысле, что он печатает десятичное представление этого числа, которое само по себе считается известным). [5] В 2001 году он победил в категории «Лучшее нарушение правил» за крошечный компилятор ( исходный код размером всего 3 КБ ) строгого подмножества языка C для i386 Linux . Сама программа написана на этом подмножестве языка, т.е. является саморазмещающейся . В 2018 году он победил в номинации «Самая инфляционная» [6] за программу декомпрессии изображений. [7]
В 2002 году он разработал TinyGL, подмножество OpenGL, подходящее для встроенных сред.
В 2003 году он выдвинул первые коммиты QEMU , разработав его самостоятельно до версии 0.7.1 в 2005 году. [8]
В 2004 году он написал загрузчик TinyCC, который может скомпилировать и загрузить ядро Linux из исходного кода менее чем за 15 секунд. [9] В 2005 году он разработал систему, которая могла бы действовать как аналоговый или цифровой ТВ- передатчик DVB-T , напрямую генерируя УКВ-сигнал со стандартного ПК и карты VGA. [10] В 2011 году он создал минимальный эмулятор ПК, написанный на чистом JavaScript . Эмулируемое оборудование состоит из 32-разрядного x86- совместимого процессора , программируемого контроллера прерываний 8259 , программируемого таймера прерываний 8254 и UART 16450 . [11]
31 декабря 2009 года он установил мировой рекорд по вычислению числа Пи, вычислив его почти 2,7 триллиона знаков за 90 дней. Slashdot пишет: «Хотя улучшение может показаться небольшим, это выдающееся достижение, поскольку использовался только один настольный ПК стоимостью менее 3000 долларов США, а не суперкомпьютер стоимостью в несколько миллионов долларов, как в предыдущих отчетах». [12] [13] 2 августа 2010 года этот рекорд был побит Сигэру Кондо, который вычислил 5 триллионов цифр, хотя это было сделано с использованием машины серверного класса с двумя процессорами Intel Xeon, оснащенной 96 ГБ оперативной памяти.
В 2011 году он выиграл премию O'Reilly Open Source Award . [14]
В 2014 году он предложил формат изображений Better Portable Graphics (BPG) в качестве замены JPEG . [15]
В июле 2019 года он выпустил QuickJS, небольшой встраиваемый движок JavaScript. [16]
В апреле 2021 года его компрессор данных на основе искусственной нейронной сети NNCP занял первое место из сотен в тесте сжатия большого текста. [17] Компрессор использует собственную библиотеку искусственных нейронных сетей Bellard, LibNC («Библиотека C для тензорных манипуляций»), которая находится в открытом доступе. [18]
В августе 2023 года Беллард выпустил ts_zip — компрессор текста с потерями, использующий большие языковые модели . [19] [20] Он обновил его в марте 2024 года, сделав алгоритм значительно быстрее и аппаратно-независимым. [21]
В апреле 2024 года Bellard выпустила TSAC, утилиту сжатия звука, которая может достигать очень низких битрейтов 5,5 кбит/с (моно) или 7,5 кбит/с (стерео), сохраняя при этом приемлемое качество звука на частоте 44,1 кГц. [22]
{{cite web}}: CS1 maint: архивная копия в заголовке ( ссылка )